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-4255006-1501620628/watcher-4255006-1501620628 -o /tmp/evaluation-result-4255006-1501620628/solver-4255006-1501620628 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node135-1501617024-9377 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1695292292 HOME/instance-4255006-1501620628.xml
pid=14610
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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.11 1.81 1.77 3/198 14613
/proc/meminfo: memFree=31836112/32770624 swapFree=0/169260
[pid=14613] ppid=14610 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/14613/stat : 14613 (runsolver) D 14610 14613 3187 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 3973359 24240128 106 18446744073709551615 4194304 4338465 140729150839712 140729150837352 140111753491159 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 35135488 140729150840926 140729150841415 140729150841415 140729150844874 0
/proc/14613/statm: 5918 106 53 36 0 2156 0
[startup+0.100416 s]
/proc/loadavg: 2.11 1.81 1.77 3/198 14613
/proc/meminfo: memFree=31836112/32770624 swapFree=0/169260
[pid=14613] ppid=14610 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14613/stat : 14613 (xcsp3-exec) S 14610 14613 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3973359 9740288 345 18446744073709551615 4194304 5098028 140731031261776 140731031259880 140462536622716 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 17756160 140731031265692 140731031265896 140731031265896 140731031269355 0
/proc/14613/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200383 s]
/proc/loadavg: 2.11 1.81 1.77 3/198 14613
/proc/meminfo: memFree=31836112/32770624 swapFree=0/169260
[pid=14613] ppid=14610 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14613/stat : 14613 (xcsp3-exec) S 14610 14613 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3973359 9740288 345 18446744073709551615 4194304 5098028 140731031261776 140731031259880 140462536622716 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 17756160 140731031265692 140731031265896 140731031265896 140731031269355 0
/proc/14613/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300292 s]
/proc/loadavg: 2.11 1.81 1.77 3/198 14613
/proc/meminfo: memFree=31836112/32770624 swapFree=0/169260
[pid=14613] ppid=14610 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14613/stat : 14613 (xcsp3-exec) S 14610 14613 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3973359 9740288 345 18446744073709551615 4194304 5098028 140731031261776 140731031259880 140462536622716 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 17756160 140731031265692 140731031265896 140731031265896 140731031269355 0
/proc/14613/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.707266 s]
/proc/loadavg: 2.11 1.81 1.77 3/198 14613
/proc/meminfo: memFree=31836112/32770624 swapFree=0/169260
[pid=14613] ppid=14610 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14613/stat : 14613 (xcsp3-exec) S 14610 14613 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3973359 9740288 345 18446744073709551615 4194304 5098028 140731031261776 140731031259880 140462536622716 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 17756160 140731031265692 140731031265896 140731031265896 140731031269355 0
/proc/14613/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50109 s]
/proc/loadavg: 2.11 1.81 1.77 6/214 14629
/proc/meminfo: memFree=31754716/32770624 swapFree=0/169284
[pid=14613] ppid=14610 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14613/stat : 14613 (xcsp3-exec) S 14610 14613 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3973359 9740288 345 18446744073709551615 4194304 5098028 140731031261776 140731031259880 140462536622716 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 17756160 140731031265692 140731031265896 140731031265896 140731031269355 0
/proc/14613/statm: 2378 345 289 221 0 87 0
[pid=14615] ppid=14613 vsize=13980732 CPUtime=3.76 cores=0,2,4,6
/proc/14615/stat : 14615 (java) S 14613 14613 3187 0 -1 1077944320 22644 0 0 0 370 6 0 0 20 0 15 0 3973367 14316269568 27157 18446744073709551615 4194304 4196468 140725174407968 140725174390512 139699422748407 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
/proc/14615/statm: 3495183 27157 3184 1 0 3483484 0
[pid=14615/tid=14616] ppid=14613 vsize=13980732 CPUtime=1.31 cores=0,2,4,6
/proc/14615/task/14616/stat : 14616 (java) R 14613 14613 3187 0 -1 4202560 9128 0 0 0 128 3 0 0 20 0 15 0 3973367 14316269568 27157 18446744073709551615 4194304 4196468 140725174407968 139699426985320 139699068037758 0 4 1 16800974 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14617] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14617/stat : 14617 (java) S 14613 14613 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3973368 14316269568 27157 18446744073709551615 4194304 4196468 140725174407968 139699383646480 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14618] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14618/stat : 14618 (java) S 14613 14613 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3973368 14316269568 27157 18446744073709551615 4194304 4196468 140725174407968 139699382593936 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14619] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14619/stat : 14619 (java) S 14613 14613 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3973368 14316269568 27157 18446744073709551615 4194304 4196468 140725174407968 139699021081104 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14620] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14620/stat : 14620 (java) S 14613 14613 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3973368 14316269568 27157 18446744073709551615 4194304 4196468 140725174407968 139699020028560 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14621] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14621/stat : 14621 (java) S 14613 14613 3187 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 3973369 14316269568 27157 18446744073709551615 4194304 4196468 140725174407968 139698339269104 139699422759554 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14622] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14622/stat : 14622 (java) S 14613 14613 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3973370 14316269568 27157 18446744073709551615 4194304 4196468 140725174407968 139698338215328 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14623] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14623/stat : 14623 (java) S 14613 14613 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3973370 14316269568 27157 18446744073709551615 4194304 4196468 140725174407968 139698337162736 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14624] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14624/stat : 14624 (java) S 14613 14613 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3973373 14316269568 27157 18446744073709551615 4194304 4196468 140725174407968 139698336111312 139699422767003 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14625] ppid=14613 vsize=13980732 CPUtime=0.96 cores=0,2,4,6
/proc/14615/task/14625/stat : 14625 (java) R 14613 14613 3187 0 -1 4202560 3469 0 0 0 96 0 0 0 20 0 15 0 3973373 14316269568 27157 18446744073709551615 4194304 4196468 140725174407968 139698335057904 139699403924557 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14626] ppid=14613 vsize=13980732 CPUtime=0.94 cores=0,2,4,6
/proc/14615/task/14626/stat : 14626 (java) R 14613 14613 3187 0 -1 4202560 4791 0 0 0 94 0 0 0 20 0 15 0 3973373 14316269568 27157 18446744073709551615 4194304 4196468 140725174407968 139698334005360 139699404271803 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14627] ppid=14613 vsize=13980732 CPUtime=0.52 cores=0,2,4,6
/proc/14615/task/14627/stat : 14627 (java) S 14613 14613 3187 0 -1 1077944384 3936 0 0 0 51 1 0 0 20 0 15 0 3973373 14316269568 27157 18446744073709551615 4194304 4196468 140725174407968 139698332952816 139699422759554 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14628] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14628/stat : 14628 (java) S 14613 14613 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3973373 14316269568 27157 18446744073709551615 4194304 4196468 140725174407968 139698331900512 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14629] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14629/stat : 14629 (java) S 14613 14613 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3973381 14316269568 27157 18446744073709551615 4194304 4196468 140725174407968 139698330848048 139699422759554 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
Current children cumulated CPU time (s) 3.76
Current children cumulated vsize (KiB) 13990244
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 14615 sig 9
??? kill 14613 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60109 s]
/proc/loadavg: 2.11 1.81 1.77 6/214 14629
/proc/meminfo: memFree=31754716/32770624 swapFree=0/169284
[pid=14613] ppid=14610 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14613/stat : 14613 (xcsp3-exec) S 14610 14613 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3973359 9740288 345 18446744073709551615 4194304 5098028 140731031261776 140731031259880 140462536622716 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 17756160 140731031265692 140731031265896 140731031265896 140731031269355 0
/proc/14613/statm: 2378 345 289 221 0 87 0
[pid=14615] ppid=14613 vsize=13980732 CPUtime=4.06 cores=0,2,4,6
/proc/14615/stat : 14615 (java) S 14613 14613 3187 0 -1 1077944320 22853 0 0 0 400 6 0 0 20 0 15 0 3973367 14316269568 27791 18446744073709551615 4194304 4196468 140725174407968 140725174390512 139699422748407 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
/proc/14615/statm: 3495183 27791 3184 1 0 3483484 0
[pid=14615/tid=14616] ppid=14613 vsize=13980732 CPUtime=1.42 cores=0,2,4,6
/proc/14615/task/14616/stat : 14616 (java) R 14613 14613 3187 0 -1 4202560 9177 0 0 0 138 4 0 0 20 0 15 0 3973367 14316269568 27791 18446744073709551615 4194304 4196468 140725174407968 139699426987096 139699063594839 0 4 1 16800974 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14617] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14617/stat : 14617 (java) S 14613 14613 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3973368 14316269568 27791 18446744073709551615 4194304 4196468 140725174407968 139699383646480 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14618] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14618/stat : 14618 (java) S 14613 14613 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3973368 14316269568 27791 18446744073709551615 4194304 4196468 140725174407968 139699382593936 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14619] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14619/stat : 14619 (java) S 14613 14613 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3973368 14316269568 27791 18446744073709551615 4194304 4196468 140725174407968 139699021081104 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14620] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14620/stat : 14620 (java) S 14613 14613 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3973368 14316269568 27791 18446744073709551615 4194304 4196468 140725174407968 139699020028560 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14621] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14621/stat : 14621 (java) S 14613 14613 3187 0 -1 1077944384 17 0 0 0 0 0 0 0 20 0 15 0 3973369 14316269568 27791 18446744073709551615 4194304 4196468 140725174407968 139698339269104 139699422759554 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14622] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14622/stat : 14622 (java) S 14613 14613 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3973370 14316269568 27791 18446744073709551615 4194304 4196468 140725174407968 139698338215328 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14623] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14623/stat : 14623 (java) S 14613 14613 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3973370 14316269568 27791 18446744073709551615 4194304 4196468 140725174407968 139698337162736 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14624] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14624/stat : 14624 (java) S 14613 14613 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3973373 14316269568 27791 18446744073709551615 4194304 4196468 140725174407968 139698336111312 139699422767003 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14625] ppid=14613 vsize=13980732 CPUtime=1.05 cores=0,2,4,6
/proc/14615/task/14625/stat : 14625 (java) D 14613 14613 3187 0 -1 4202560 3582 0 0 0 105 0 0 0 20 0 15 0 3973373 14316269568 27791 18446744073709551615 4194304 4196468 140725174407968 139698335043784 139699415465559 0 4 1 16800974 18446744071582151463 0 0 -1 0 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14626] ppid=14613 vsize=13980732 CPUtime=1.04 cores=0,2,4,6
/proc/14615/task/14626/stat : 14626 (java) R 14613 14613 3187 0 -1 4202560 4808 0 0 0 104 0 0 0 20 0 15 0 3973373 14316269568 27791 18446744073709551615 4194304 4196468 140725174407968 139698333996192 139699407038651 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14627] ppid=14613 vsize=13980732 CPUtime=0.53 cores=0,2,4,6
/proc/14615/task/14627/stat : 14627 (java) S 14613 14613 3187 0 -1 1077944384 3966 0 0 0 52 1 0 0 20 0 15 0 3973373 14316269568 27791 18446744073709551615 4194304 4196468 140725174407968 139698332952816 139699422759554 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14628] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14628/stat : 14628 (java) S 14613 14613 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3973373 14316269568 27791 18446744073709551615 4194304 4196468 140725174407968 139698331900512 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14629] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14629/stat : 14629 (java) S 14613 14613 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3973381 14316269568 27791 18446744073709551615 4194304 4196468 140725174407968 139698330848048 139699422759554 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
Current children cumulated CPU time (s) 4.06
Current children cumulated vsize (KiB) 13990244
[startup+2.00107 s]
/proc/loadavg: 2.11 1.81 1.77 6/214 14629
/proc/meminfo: memFree=31754716/32770624 swapFree=0/169284
[pid=14613] ppid=14610 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14613/stat : 14613 (xcsp3-exec) S 14610 14613 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3973359 9740288 345 18446744073709551615 4194304 5098028 140731031261776 140731031259880 140462536622716 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 17756160 140731031265692 140731031265896 140731031265896 140731031269355 0
/proc/14613/statm: 2378 345 289 221 0 87 0
[pid=14615] ppid=14613 vsize=13980732 CPUtime=5.02 cores=0,2,4,6
/proc/14615/stat : 14615 (java) S 14613 14613 3187 0 -1 1077944320 23440 0 0 0 496 6 0 0 20 0 15 0 3973367 14316269568 31604 18446744073709551615 4194304 4196468 140725174407968 140725174390512 139699422748407 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
/proc/14615/statm: 3495183 31604 3192 1 0 3483484 0
[pid=14615/tid=14616] ppid=14613 vsize=13980732 CPUtime=1.81 cores=0,2,4,6
/proc/14615/task/14616/stat : 14616 (java) R 14613 14613 3187 0 -1 4202560 9188 0 0 0 177 4 0 0 20 0 15 0 3973367 14316269568 31604 18446744073709551615 4194304 4196468 140725174407968 139699426986376 139699067233318 0 4 1 16800974 0 0 0 -1 6 0 0 8 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14617] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14617/stat : 14617 (java) S 14613 14613 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3973368 14316269568 31604 18446744073709551615 4194304 4196468 140725174407968 139699383646480 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14618] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14618/stat : 14618 (java) S 14613 14613 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3973368 14316269568 31604 18446744073709551615 4194304 4196468 140725174407968 139699382593936 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14619] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14619/stat : 14619 (java) S 14613 14613 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3973368 14316269568 31604 18446744073709551615 4194304 4196468 140725174407968 139699021081104 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14620] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14620/stat : 14620 (java) S 14613 14613 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3973368 14316269568 31604 18446744073709551615 4194304 4196468 140725174407968 139699020028560 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14621] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14621/stat : 14621 (java) S 14613 14613 3187 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 3973369 14316269568 31604 18446744073709551615 4194304 4196468 140725174407968 139698339269104 139699422759554 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14622] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14622/stat : 14622 (java) S 14613 14613 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3973370 14316269568 31604 18446744073709551615 4194304 4196468 140725174407968 139698338215328 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14623] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14623/stat : 14623 (java) S 14613 14613 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3973370 14316269568 31604 18446744073709551615 4194304 4196468 140725174407968 139698337162736 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14624] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14624/stat : 14624 (java) S 14613 14613 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3973373 14316269568 31604 18446744073709551615 4194304 4196468 140725174407968 139698336111312 139699422767003 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14625] ppid=14613 vsize=13980732 CPUtime=1.32 cores=0,2,4,6
/proc/14615/task/14625/stat : 14625 (java) S 14613 14613 3187 0 -1 1077944384 3736 0 0 0 132 0 0 0 20 0 15 0 3973373 14316269568 31604 18446744073709551615 4194304 4196468 140725174407968 139698335057904 139699422759554 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14626] ppid=14613 vsize=13980732 CPUtime=1.27 cores=0,2,4,6
/proc/14615/task/14626/stat : 14626 (java) S 14613 14613 3187 0 -1 1077944384 5124 0 0 0 127 0 0 0 20 0 15 0 3973373 14316269568 31604 18446744073709551615 4194304 4196468 140725174407968 139698334005360 139699422759554 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14627] ppid=14613 vsize=13980732 CPUtime=0.58 cores=0,2,4,6
/proc/14615/task/14627/stat : 14627 (java) S 14613 14613 3187 0 -1 1077944384 4071 0 0 0 57 1 0 0 20 0 15 0 3973373 14316269568 31604 18446744073709551615 4194304 4196468 140725174407968 139698332952816 139699422759554 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14628] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14628/stat : 14628 (java) S 14613 14613 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3973373 14316269568 31604 18446744073709551615 4194304 4196468 140725174407968 139698331900512 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14629] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14629/stat : 14629 (java) S 14613 14613 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3973381 14316269568 31604 18446744073709551615 4194304 4196468 140725174407968 139698330848048 139699422759554 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
Current children cumulated CPU time (s) 5.02
Current children cumulated vsize (KiB) 13990244
[startup+2.20109 s]
/proc/loadavg: 2.11 1.81 1.77 3/214 14629
/proc/meminfo: memFree=31719056/32770624 swapFree=0/169284
[pid=14613] ppid=14610 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14613/stat : 14613 (xcsp3-exec) S 14610 14613 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3973359 9740288 345 18446744073709551615 4194304 5098028 140731031261776 140731031259880 140462536622716 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 17756160 140731031265692 140731031265896 140731031265896 140731031269355 0
/proc/14613/statm: 2378 345 289 221 0 87 0
[pid=14615] ppid=14613 vsize=13980732 CPUtime=5.39 cores=0,2,4,6
/proc/14615/stat : 14615 (java) S 14613 14613 3187 0 -1 1077944320 24229 0 0 0 533 6 0 0 20 0 15 0 3973367 14316269568 33233 18446744073709551615 4194304 4196468 140725174407968 140725174390512 139699422748407 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
/proc/14615/statm: 3495183 33233 3192 1 0 3483484 0
[pid=14615/tid=14616] ppid=14613 vsize=13980732 CPUtime=2.01 cores=0,2,4,6
/proc/14615/task/14616/stat : 14616 (java) R 14613 14613 3187 0 -1 4202560 9688 0 0 0 197 4 0 0 20 0 15 0 3973367 14316269568 33233 18446744073709551615 4194304 4196468 140725174407968 139699426985672 139699066827622 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14617] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14617/stat : 14617 (java) S 14613 14613 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3973368 14316269568 33233 18446744073709551615 4194304 4196468 140725174407968 139699383646480 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14618] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14618/stat : 14618 (java) S 14613 14613 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3973368 14316269568 33233 18446744073709551615 4194304 4196468 140725174407968 139699382593936 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14619] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14619/stat : 14619 (java) S 14613 14613 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3973368 14316269568 33233 18446744073709551615 4194304 4196468 140725174407968 139699021081104 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14620] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14620/stat : 14620 (java) S 14613 14613 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3973368 14316269568 33233 18446744073709551615 4194304 4196468 140725174407968 139699020028560 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14621] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14621/stat : 14621 (java) S 14613 14613 3187 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 3973369 14316269568 33233 18446744073709551615 4194304 4196468 140725174407968 139698339269104 139699422759554 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14622] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14622/stat : 14622 (java) S 14613 14613 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3973370 14316269568 33233 18446744073709551615 4194304 4196468 140725174407968 139698338215328 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14623] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14623/stat : 14623 (java) S 14613 14613 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3973370 14316269568 33233 18446744073709551615 4194304 4196468 140725174407968 139698337162736 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14624] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14624/stat : 14624 (java) S 14613 14613 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3973373 14316269568 33233 18446744073709551615 4194304 4196468 140725174407968 139698336111312 139699422767003 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14625] ppid=14613 vsize=13980732 CPUtime=1.38 cores=0,2,4,6
/proc/14615/task/14625/stat : 14625 (java) S 14613 14613 3187 0 -1 1077944384 3754 0 0 0 138 0 0 0 20 0 15 0 3973373 14316269568 33233 18446744073709551615 4194304 4196468 140725174407968 139698335057904 139699422759554 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14626] ppid=14613 vsize=13980732 CPUtime=1.36 cores=0,2,4,6
/proc/14615/task/14626/stat : 14626 (java) S 14613 14613 3187 0 -1 1077944384 5193 0 0 0 136 0 0 0 20 0 15 0 3973373 14316269568 33233 18446744073709551615 4194304 4196468 140725174407968 139698334005360 139699422759554 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14627] ppid=14613 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/14615/task/14627/stat : 14627 (java) S 14613 14613 3187 0 -1 1077944384 4273 0 0 0 59 1 0 0 20 0 15 0 3973373 14316269568 33233 18446744073709551615 4194304 4196468 140725174407968 139698332952816 139699422759554 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14628] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14628/stat : 14628 (java) S 14613 14613 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3973373 14316269568 33233 18446744073709551615 4194304 4196468 140725174407968 139698331900512 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14629] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14629/stat : 14629 (java) S 14613 14613 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3973381 14316269568 33233 18446744073709551615 4194304 4196468 140725174407968 139698330848048 139699422759554 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
Current children cumulated CPU time (s) 5.39
Current children cumulated vsize (KiB) 13990244
[startup+2.30657 s]
/proc/loadavg: 2.11 1.81 1.77 3/214 14629
/proc/meminfo: memFree=31719056/32770624 swapFree=0/169284
[pid=14613] ppid=14610 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/14613/stat : 14613 (xcsp3-exec) S 14610 14613 3187 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 3973359 9740288 345 18446744073709551615 4194304 5098028 140731031261776 140731031259880 140462536622716 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 17756160 140731031265692 140731031265896 140731031265896 140731031269355 0
/proc/14613/statm: 2378 345 289 221 0 87 0
[pid=14615] ppid=14613 vsize=13980732 CPUtime=5.67 cores=0,2,4,6
/proc/14615/stat : 14615 (java) S 14613 14613 3187 0 -1 1077944320 26513 0 0 0 561 6 0 0 20 0 15 0 3973367 14316269568 34312 18446744073709551615 4194304 4196468 140725174407968 140725174390512 139699422748407 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
/proc/14615/statm: 3495183 34312 3192 1 0 3483484 0
[pid=14615/tid=14616] ppid=14613 vsize=13980732 CPUtime=2.11 cores=0,2,4,6
/proc/14615/task/14616/stat : 14616 (java) R 14613 14613 3187 0 -1 4202560 9761 0 0 0 207 4 0 0 20 0 15 0 3973367 14316269568 34312 18446744073709551615 4194304 4196468 140725174407968 139699426985672 139699068331246 0 4 1 16800974 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14617] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14617/stat : 14617 (java) S 14613 14613 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3973368 14316269568 34312 18446744073709551615 4194304 4196468 140725174407968 139699383646480 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14618] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14618/stat : 14618 (java) S 14613 14613 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3973368 14316269568 34312 18446744073709551615 4194304 4196468 140725174407968 139699382593936 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14619] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14619/stat : 14619 (java) S 14613 14613 3187 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 3973368 14316269568 34312 18446744073709551615 4194304 4196468 140725174407968 139699021081104 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14620] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14620/stat : 14620 (java) S 14613 14613 3187 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 3973368 14316269568 34312 18446744073709551615 4194304 4196468 140725174407968 139699020028560 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14621] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14621/stat : 14621 (java) S 14613 14613 3187 0 -1 1077944384 18 0 0 0 0 0 0 0 20 0 15 0 3973369 14316269568 34312 18446744073709551615 4194304 4196468 140725174407968 139698339269104 139699422759554 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14622] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14622/stat : 14622 (java) S 14613 14613 3187 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 3973370 14316269568 34312 18446744073709551615 4194304 4196468 140725174407968 139698338215328 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14623] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14623/stat : 14623 (java) S 14613 14613 3187 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 3973370 14316269568 34312 18446744073709551615 4194304 4196468 140725174407968 139698337162736 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14624] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14624/stat : 14624 (java) S 14613 14613 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3973373 14316269568 34312 18446744073709551615 4194304 4196468 140725174407968 139698336111312 139699422767003 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14625] ppid=14613 vsize=13980732 CPUtime=1.46 cores=0,2,4,6
/proc/14615/task/14625/stat : 14625 (java) R 14613 14613 3187 0 -1 4202560 4887 0 0 0 146 0 0 0 20 0 15 0 3973373 14316269568 34312 18446744073709551615 4194304 4196468 140725174407968 139698335057904 139699415854109 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14626] ppid=14613 vsize=13980732 CPUtime=1.46 cores=0,2,4,6
/proc/14615/task/14626/stat : 14626 (java) R 14613 14613 3187 0 -1 4202560 6184 0 0 0 146 0 0 0 20 0 15 0 3973373 14316269568 34312 18446744073709551615 4194304 4196468 140725174407968 139698333992832 139699407145183 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14627] ppid=14613 vsize=13980732 CPUtime=0.6 cores=0,2,4,6
/proc/14615/task/14627/stat : 14627 (java) S 14613 14613 3187 0 -1 1077944384 4355 0 0 0 59 1 0 0 20 0 15 0 3973373 14316269568 34312 18446744073709551615 4194304 4196468 140725174407968 139698332952816 139699422759554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14628] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14628/stat : 14628 (java) S 14613 14613 3187 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 3973373 14316269568 34312 18446744073709551615 4194304 4196468 140725174407968 139698331900512 139699422758613 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
[pid=14615/tid=14629] ppid=14613 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/14615/task/14629/stat : 14629 (java) S 14613 14613 3187 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 3973381 14316269568 34312 18446744073709551615 4194304 4196468 140725174407968 139698330848048 139699422759554 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8642560 140725174411733 140725174411908 140725174411908 140725174415311 0
Current children cumulated CPU time (s) 5.67
Current children cumulated vsize (KiB) 13990244
Child status: 0
Real time (s): 2.35253
CPU time (s): 5.79528
CPU user time (s): 5.71831
CPU system time (s): 0.076975
CPU usage (%): 246.342
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.71831
system time used= 0.076975
maximum resident set size= 137924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28199
page faults= 0
swaps= 0
block input operations= 0
block output operations= 8
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2174
involuntary context switches= 19
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.012627 second user time and 0.019976 second system time
The end