runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4264627-1502288435/watcher-4264627-1502288435 -o /tmp/evaluation-result-4264627-1502288435/solver-4264627-1502288435 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502257024-9066 --watchdog 2580 java -jar HOME/AbsCon-basic.jar HOME/instance-4264627-1502288435.xml
pid=15519
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.03 2.03 2.04 2/200 15522
/proc/meminfo: memFree=30522988/32770624 swapFree=0/412632
[pid=15522] ppid=15519 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/15522/stat : 15522 (runsolver) D 15519 15522 4525 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 128496535 24240128 106 18446744073709551615 4194304 4338465 140734729079712 140734729077352 140197903327959 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 8331264 140734729085088 140734729085513 140734729085513 140734729088970 0
/proc/15522/statm: 5918 106 53 36 0 2156 0
[startup+0.100149 s]
/proc/loadavg: 2.03 2.03 2.04 2/200 15522
/proc/meminfo: memFree=30522988/32770624 swapFree=0/412632
[pid=15522] ppid=15519 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/15522/stat : 15522 (runsolver) D 15519 15522 4525 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 128496535 24240128 106 18446744073709551615 4194304 4338465 140734729079712 140734729077352 140197903327959 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 8331264 140734729085088 140734729085513 140734729085513 140734729088970 0
/proc/15522/statm: 5918 106 53 36 0 2156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 23672
[startup+0.200297 s]
/proc/loadavg: 2.03 2.03 2.04 2/200 15522
/proc/meminfo: memFree=30522988/32770624 swapFree=0/412632
[pid=15522] ppid=15519 vsize=10484492 CPUtime=0.05 cores=0,2,4,6
/proc/15522/stat : 15522 (java) S 15519 15522 4525 0 -1 1077944320 4544 0 0 0 4 1 0 0 20 0 14 0 128496535 10736119808 5584 18446744073709551615 4194304 4196468 140729123054384 140729123036928 139955010064119 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 11 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
/proc/15522/statm: 2621123 5584 2576 1 0 2610620 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10484492
[startup+0.302377 s]
/proc/loadavg: 2.03 2.03 2.04 2/200 15522
/proc/meminfo: memFree=30522988/32770624 swapFree=0/412632
[pid=15522] ppid=15519 vsize=10551180 CPUtime=0.13 cores=0,2,4,6
/proc/15522/stat : 15522 (java) S 15519 15522 4525 0 -1 1077944320 5158 0 0 0 12 1 0 0 20 0 15 0 128496535 10804408320 7234 18446744073709551615 4194304 4196468 140729123054384 140729123036928 139955010064119 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 11 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
/proc/15522/statm: 2637795 7234 2803 1 0 2627261 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 10551180
[startup+0.701019 s]
/proc/loadavg: 2.03 2.03 2.04 2/200 15522
/proc/meminfo: memFree=30522988/32770624 swapFree=0/412632
[pid=15522] ppid=15519 vsize=10621952 CPUtime=1.1 cores=0,2,4,6
/proc/15522/stat : 15522 (java) S 15519 15522 4525 0 -1 1077944320 13432 0 0 0 106 4 0 0 20 0 16 0 128496535 10876878848 20077 18446744073709551615 4194304 4196468 140729123054384 140729123036928 139955010064119 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 11 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
/proc/15522/statm: 2655488 20077 3064 1 0 2644414 0
Current children cumulated CPU time (s) 1.1
Current children cumulated vsize (KiB) 10621952
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 15522 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+0.802938 s]
/proc/loadavg: 2.03 2.03 2.04 2/200 15522
/proc/meminfo: memFree=30522988/32770624 swapFree=0/412632
[pid=15522] ppid=15519 vsize=10621952 CPUtime=1.47 cores=0,2,4,6
/proc/15522/stat : 15522 (java) S 15519 15522 4525 0 -1 1077944320 14290 0 0 0 142 5 0 0 20 0 16 0 128496535 10876878848 25107 18446744073709551615 4194304 4196468 140729123054384 140729123036928 139955010064119 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 11 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
/proc/15522/statm: 2655488 25118 3083 1 0 2644414 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 10621952
[startup+1.20702 s]
/proc/loadavg: 2.03 2.03 2.04 6/216 15538
/proc/meminfo: memFree=30401232/32770624 swapFree=0/412684
[pid=15522] ppid=15519 vsize=10621952 CPUtime=2.76 cores=0,2,4,6
/proc/15522/stat : 15522 (java) S 15519 15522 4525 0 -1 1077944320 15948 0 0 0 270 6 0 0 20 0 16 0 128496535 10876878848 39478 18446744073709551615 4194304 4196468 140729123054384 140729123036928 139955010064119 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 11 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
/proc/15522/statm: 2655488 39478 3098 1 0 2644414 0
[pid=15522/tid=15524] ppid=15519 vsize=10621952 CPUtime=0.21 cores=0,2,4,6
/proc/15522/task/15524/stat : 15524 (java) S 15519 15522 4525 0 -1 1077944384 5737 0 0 0 19 2 0 0 20 0 16 0 128496547 10876878848 39478 18446744073709551615 4194304 4196468 140729123054384 139955014306992 139955010074325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
[pid=15522/tid=15525] ppid=15519 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/15522/task/15525/stat : 15525 (java) S 15519 15522 4525 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 128496548 10876878848 39478 18446744073709551615 4194304 4196468 140729123054384 139954940484496 139955010074325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
[pid=15522/tid=15526] ppid=15519 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/15522/task/15526/stat : 15526 (java) S 15519 15522 4525 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 128496548 10876878848 39478 18446744073709551615 4194304 4196468 140729123054384 139954939431696 139955010074325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
[pid=15522/tid=15527] ppid=15519 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/15522/task/15527/stat : 15527 (java) S 15519 15522 4525 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 128496548 10876878848 39478 18446744073709551615 4194304 4196468 140729123054384 139954938379408 139955010074325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
[pid=15522/tid=15528] ppid=15519 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/15522/task/15528/stat : 15528 (java) S 15519 15522 4525 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 128496548 10876878848 39478 18446744073709551615 4194304 4196468 140729123054384 139954937326608 139955010074325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
[pid=15522/tid=15529] ppid=15519 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/15522/task/15529/stat : 15529 (java) S 15519 15522 4525 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 128496549 10876878848 39478 18446744073709551615 4194304 4196468 140729123054384 139954506106992 139955010075266 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
[pid=15522/tid=15530] ppid=15519 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/15522/task/15530/stat : 15530 (java) S 15519 15522 4525 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 128496549 10876878848 39478 18446744073709551615 4194304 4196468 140729123054384 139954505052960 139955010074325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
[pid=15522/tid=15531] ppid=15519 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/15522/task/15531/stat : 15531 (java) S 15519 15522 4525 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 128496550 10876878848 39478 18446744073709551615 4194304 4196468 140729123054384 139954504000624 139955010074325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
[pid=15522/tid=15532] ppid=15519 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/15522/task/15532/stat : 15532 (java) S 15519 15522 4525 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 128496552 10876878848 39478 18446744073709551615 4194304 4196468 140729123054384 139954502948944 139955010082715 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
[pid=15522/tid=15533] ppid=15519 vsize=10621952 CPUtime=0.61 cores=0,2,4,6
/proc/15522/task/15533/stat : 15533 (java) R 15519 15522 4525 0 -1 4202560 1799 0 0 0 61 0 0 0 20 0 16 0 128496552 10876878848 39478 18446744073709551615 4194304 4196468 140729123054384 139954501885488 139954989316260 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
[pid=15522/tid=15534] ppid=15519 vsize=10621952 CPUtime=0.6 cores=0,2,4,6
/proc/15522/task/15534/stat : 15534 (java) R 15519 15522 4525 0 -1 4202560 1655 0 0 0 60 0 0 0 20 0 16 0 128496552 10876878848 39478 18446744073709551615 4194304 4196468 140729123054384 139954500830040 139955010077968 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
[pid=15522/tid=15535] ppid=15519 vsize=10621952 CPUtime=0.52 cores=0,2,4,6
/proc/15522/task/15535/stat : 15535 (java) S 15519 15522 4525 0 -1 1077944384 2354 0 0 0 52 0 0 0 20 0 16 0 128496552 10876878848 39478 18446744073709551615 4194304 4196468 140729123054384 139954499791728 139955010075266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
[pid=15522/tid=15536] ppid=15519 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/15522/task/15536/stat : 15536 (java) S 15519 15522 4525 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 128496552 10876878848 39478 18446744073709551615 4194304 4196468 140729123054384 139954498739168 139955010074325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
[pid=15522/tid=15537] ppid=15519 vsize=10621952 CPUtime=0 cores=0,2,4,6
/proc/15522/task/15537/stat : 15537 (java) S 15519 15522 4525 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 128496560 10876878848 39478 18446744073709551615 4194304 4196468 140729123054384 139954497685936 139955010075266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
[pid=15522/tid=15538] ppid=15519 vsize=10621952 CPUtime=0.77 cores=0,2,4,6
/proc/15522/task/15538/stat : 15538 (java) R 15519 15522 4525 0 -1 4202560 3034 0 0 0 75 2 0 0 20 0 16 0 128496577 10876878848 39478 18446744073709551615 4194304 4196468 140729123054384 139954494490152 139954619004441 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
Current children cumulated CPU time (s) 2.76
Current children cumulated vsize (KiB) 10621952
[startup+1.30078 s]
/proc/loadavg: 2.03 2.03 2.04 6/216 15538
/proc/meminfo: memFree=30401232/32770624 swapFree=0/412684
[pid=15522] ppid=15519 vsize=10624000 CPUtime=3.07 cores=0,2,4,6
/proc/15522/stat : 15522 (java) S 15519 15522 4525 0 -1 1077944320 17628 0 0 0 301 6 0 0 20 0 16 0 128496535 10878976000 43180 18446744073709551615 4194304 4196468 140729123054384 140729123036928 139955010064119 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 11 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
/proc/15522/statm: 2656000 43180 3105 1 0 2644926 0
[pid=15522/tid=15524] ppid=15519 vsize=10624000 CPUtime=0.21 cores=0,2,4,6
/proc/15522/task/15524/stat : 15524 (java) S 15519 15522 4525 0 -1 1077944384 5737 0 0 0 19 2 0 0 20 0 16 0 128496547 10878976000 43180 18446744073709551615 4194304 4196468 140729123054384 139955014306992 139955010074325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
[pid=15522/tid=15525] ppid=15519 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15522/task/15525/stat : 15525 (java) S 15519 15522 4525 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 128496548 10878976000 43180 18446744073709551615 4194304 4196468 140729123054384 139954940484496 139955010074325 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
[pid=15522/tid=15526] ppid=15519 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15522/task/15526/stat : 15526 (java) S 15519 15522 4525 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 128496548 10878976000 43180 18446744073709551615 4194304 4196468 140729123054384 139954939431696 139955010074325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
[pid=15522/tid=15527] ppid=15519 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15522/task/15527/stat : 15527 (java) S 15519 15522 4525 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 16 0 128496548 10878976000 43180 18446744073709551615 4194304 4196468 140729123054384 139954938379408 139955010074325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
[pid=15522/tid=15528] ppid=15519 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15522/task/15528/stat : 15528 (java) S 15519 15522 4525 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 16 0 128496548 10878976000 43180 18446744073709551615 4194304 4196468 140729123054384 139954937326608 139955010074325 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
[pid=15522/tid=15529] ppid=15519 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15522/task/15529/stat : 15529 (java) S 15519 15522 4525 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 16 0 128496549 10878976000 43180 18446744073709551615 4194304 4196468 140729123054384 139954506106992 139955010075266 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
[pid=15522/tid=15530] ppid=15519 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15522/task/15530/stat : 15530 (java) S 15519 15522 4525 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 16 0 128496549 10878976000 43180 18446744073709551615 4194304 4196468 140729123054384 139954505052960 139955010074325 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
[pid=15522/tid=15531] ppid=15519 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15522/task/15531/stat : 15531 (java) S 15519 15522 4525 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 16 0 128496550 10878976000 43180 18446744073709551615 4194304 4196468 140729123054384 139954504000624 139955010074325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
[pid=15522/tid=15532] ppid=15519 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15522/task/15532/stat : 15532 (java) S 15519 15522 4525 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 128496552 10878976000 43180 18446744073709551615 4194304 4196468 140729123054384 139954502948944 139955010082715 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
[pid=15522/tid=15533] ppid=15519 vsize=10624000 CPUtime=0.7 cores=0,2,4,6
/proc/15522/task/15533/stat : 15533 (java) R 15519 15522 4525 0 -1 4202560 2379 0 0 0 70 0 0 0 20 0 16 0 128496552 10878976000 43180 18446744073709551615 4194304 4196468 140729123054384 139954501877832 139954993970359 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
[pid=15522/tid=15534] ppid=15519 vsize=10624000 CPUtime=0.69 cores=0,2,4,6
/proc/15522/task/15534/stat : 15534 (java) R 15519 15522 4525 0 -1 4202560 1909 0 0 0 69 0 0 0 20 0 16 0 128496552 10878976000 43180 18446744073709551615 4194304 4196468 140729123054384 139954500822352 139954993475013 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
[pid=15522/tid=15535] ppid=15519 vsize=10624000 CPUtime=0.56 cores=0,2,4,6
/proc/15522/task/15535/stat : 15535 (java) S 15519 15522 4525 0 -1 1077944384 2978 0 0 0 56 0 0 0 20 0 16 0 128496552 10878976000 43180 18446744073709551615 4194304 4196468 140729123054384 139954499791728 139955010075266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
[pid=15522/tid=15536] ppid=15519 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15522/task/15536/stat : 15536 (java) S 15519 15522 4525 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 128496552 10878976000 43180 18446744073709551615 4194304 4196468 140729123054384 139954498739168 139955010074325 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
[pid=15522/tid=15537] ppid=15519 vsize=10624000 CPUtime=0 cores=0,2,4,6
/proc/15522/task/15537/stat : 15537 (java) S 15519 15522 4525 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 16 0 128496560 10878976000 43180 18446744073709551615 4194304 4196468 140729123054384 139954497685936 139955010075266 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
[pid=15522/tid=15538] ppid=15519 vsize=10624000 CPUtime=0.86 cores=0,2,4,6
/proc/15522/task/15538/stat : 15538 (java) R 15519 15522 4525 0 -1 1077944384 3256 0 0 0 84 2 0 0 20 0 16 0 128496577 10878976000 43180 18446744073709551615 4194304 4196468 140729123054384 139954494493424 139955010074325 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 36696064 140729123058125 140729123058254 140729123058254 140729123061711 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 10624000
Child status: 0
Real time (s): 1.3724
CPU time (s): 3.28809
CPU user time (s): 3.21012
CPU system time (s): 0.077974
CPU usage (%): 239.586
Max. virtual memory (cumulated for all children) (KiB): 10624000
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.21012
system time used= 0.077974
maximum resident set size= 187000
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18173
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1751
involuntary context switches= 15
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.010901 second user time and 0.008721 second system time
The end