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-4247022-1502060034/watcher-4247022-1502060034 -o /tmp/evaluation-result-4247022-1502060034/solver-4247022-1502060034 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502042263-31898 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 138410690 HOME/instance-4247022-1502060034.xml
pid=10775
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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: 8.18 8.37 8.29 8/204 10778
/proc/meminfo: memFree=31312048/32770624 swapFree=0/329348
[pid=10778] ppid=10775 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/10778/stat : 10778 (runsolver) D 10775 10778 25100 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 53818627 24240128 107 18446744073709551615 4194304 4338465 140725217764352 140725217761992 139726511248087 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 11333632 140725217767511 140725217768009 140725217768009 140725217771466 0
/proc/10778/statm: 5918 107 54 36 0 2156 0
[startup+0.104675 s]
/proc/loadavg: 8.18 8.37 8.29 8/204 10778
/proc/meminfo: memFree=31312048/32770624 swapFree=0/329348
[pid=10778] ppid=10775 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10778/stat : 10778 (xcsp3-exec) S 10775 10778 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53818627 9740288 345 18446744073709551615 4194304 5098028 140730139893968 140730139892072 140685897511548 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 38457344 140730139902361 140730139902570 140730139902570 140730139906027 0
/proc/10778/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200294 s]
/proc/loadavg: 8.18 8.37 8.29 8/204 10778
/proc/meminfo: memFree=31312048/32770624 swapFree=0/329348
[pid=10778] ppid=10775 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10778/stat : 10778 (xcsp3-exec) S 10775 10778 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53818627 9740288 345 18446744073709551615 4194304 5098028 140730139893968 140730139892072 140685897511548 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 38457344 140730139902361 140730139902570 140730139902570 140730139906027 0
/proc/10778/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300312 s]
/proc/loadavg: 8.18 8.37 8.29 8/204 10778
/proc/meminfo: memFree=31312048/32770624 swapFree=0/329348
[pid=10778] ppid=10775 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10778/stat : 10778 (xcsp3-exec) S 10775 10778 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53818627 9740288 345 18446744073709551615 4194304 5098028 140730139893968 140730139892072 140685897511548 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 38457344 140730139902361 140730139902570 140730139902570 140730139906027 0
/proc/10778/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700708 s]
/proc/loadavg: 8.18 8.37 8.29 8/204 10778
/proc/meminfo: memFree=31312048/32770624 swapFree=0/329348
[pid=10778] ppid=10775 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10778/stat : 10778 (xcsp3-exec) S 10775 10778 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53818627 9740288 345 18446744073709551615 4194304 5098028 140730139893968 140730139892072 140685897511548 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 38457344 140730139902361 140730139902570 140730139902570 140730139906027 0
/proc/10778/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50062 s]
/proc/loadavg: 8.18 8.37 8.29 9/220 10794
/proc/meminfo: memFree=31145056/32770624 swapFree=0/329564
[pid=10778] ppid=10775 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10778/stat : 10778 (xcsp3-exec) S 10775 10778 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53818627 9740288 345 18446744073709551615 4194304 5098028 140730139893968 140730139892072 140685897511548 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 38457344 140730139902361 140730139902570 140730139902570 140730139906027 0
/proc/10778/statm: 2378 345 289 221 0 87 0
[pid=10780] ppid=10778 vsize=12919328 CPUtime=3.19 cores=0,2,4,6
/proc/10780/stat : 10780 (java) S 10778 10778 25100 0 -1 1077944320 23772 0 0 0 308 11 0 0 20 0 15 0 53818635 13229391872 51493 18446744073709551615 4194304 4196468 140723330073456 140723330056000 140141629865719 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
/proc/10780/statm: 3229832 51493 3223 1 0 3218124 0
[pid=10780/tid=10781] ppid=10778 vsize=12919328 CPUtime=1.31 cores=0,2,4,6
/proc/10780/task/10781/stat : 10781 (java) R 10778 10778 25100 0 -1 4202560 9971 0 0 0 126 5 0 0 20 0 15 0 53818636 13229391872 51493 18446744073709551615 4194304 4196468 140723330073456 140141634102080 140141246899779 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10782] ppid=10778 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10782/stat : 10782 (java) S 10778 10778 25100 0 -1 1077944384 147 0 0 0 0 0 0 0 20 0 15 0 53818636 13229391872 51493 18446744073709551615 4194304 4196468 140723330073456 140141566347920 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10783] ppid=10778 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10783/stat : 10783 (java) S 10778 10778 25100 0 -1 1077944384 134 0 0 0 0 0 0 0 20 0 15 0 53818636 13229391872 51493 18446744073709551615 4194304 4196468 140723330073456 140141565295120 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10784] ppid=10778 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10784/stat : 10784 (java) S 10778 10778 25100 0 -1 1077944384 379 0 0 0 0 0 0 0 20 0 15 0 53818636 13229391872 51493 18446744073709551615 4194304 4196468 140723330073456 140141564242320 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10785] ppid=10778 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10785/stat : 10785 (java) S 10778 10778 25100 0 -1 1077944384 362 0 0 0 0 0 0 0 20 0 15 0 53818636 13229391872 51493 18446744073709551615 4194304 4196468 140723330073456 140141563189520 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10786] ppid=10778 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10786/stat : 10786 (java) S 10778 10778 25100 0 -1 1077944384 335 0 0 0 0 0 0 0 20 0 15 0 53818638 13229391872 51493 18446744073709551615 4194304 4196468 140723330073456 140141113920368 140141629876866 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10787] ppid=10778 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10787/stat : 10787 (java) S 10778 10778 25100 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 53818638 13229391872 51493 18446744073709551615 4194304 4196468 140723330073456 140141112866336 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10788] ppid=10778 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10788/stat : 10788 (java) S 10778 10778 25100 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 53818638 13229391872 51493 18446744073709551615 4194304 4196468 140723330073456 140141111813488 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10789] ppid=10778 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10789/stat : 10789 (java) S 10778 10778 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53818641 13229391872 51493 18446744073709551615 4194304 4196468 140723330073456 140141110761808 140141629884315 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10790] ppid=10778 vsize=12919328 CPUtime=0.66 cores=0,2,4,6
/proc/10780/task/10790/stat : 10790 (java) S 10778 10778 25100 0 -1 1077944384 3288 0 0 0 66 0 0 0 20 0 15 0 53818641 13229391872 51493 18446744073709551615 4194304 4196468 140723330073456 140141109709168 140141629876866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10791] ppid=10778 vsize=12919328 CPUtime=0.63 cores=0,2,4,6
/proc/10780/task/10791/stat : 10791 (java) S 10778 10778 25100 0 -1 1077944384 3373 0 0 0 63 0 0 0 20 0 15 0 53818641 13229391872 51493 18446744073709551615 4194304 4196468 140723330073456 140141108656368 140141629876866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10792] ppid=10778 vsize=12919328 CPUtime=0.49 cores=0,2,4,6
/proc/10780/task/10792/stat : 10792 (java) S 10778 10778 25100 0 -1 1077944384 4395 0 0 0 48 1 0 0 20 0 15 0 53818641 13229391872 51493 18446744073709551615 4194304 4196468 140723330073456 140141107603568 140141629876866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10793] ppid=10778 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10793/stat : 10793 (java) S 10778 10778 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 53818641 13229391872 51493 18446744073709551615 4194304 4196468 140723330073456 140141106551008 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10794] ppid=10778 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10794/stat : 10794 (java) S 10778 10778 25100 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 53818649 13229391872 51493 18446744073709551615 4194304 4196468 140723330073456 140141105499312 140141629876866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 12928840
[startup+3.10071 s]
/proc/loadavg: 8.08 8.35 8.28 12/224 10814
/proc/meminfo: memFree=31062028/32770624 swapFree=0/329564
[pid=10778] ppid=10775 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10778/stat : 10778 (xcsp3-exec) S 10775 10778 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53818627 9740288 345 18446744073709551615 4194304 5098028 140730139893968 140730139892072 140685897511548 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 38457344 140730139902361 140730139902570 140730139902570 140730139906027 0
/proc/10778/statm: 2378 345 289 221 0 87 0
[pid=10780] ppid=10778 vsize=13186612 CPUtime=9.29 cores=0,2,4,6
/proc/10780/stat : 10780 (java) S 10778 10778 25100 0 -1 1077944320 27622 0 0 0 913 16 0 0 20 0 19 0 53818635 13503090688 61813 18446744073709551615 4194304 4196468 140723330073456 140723330056000 140141629865719 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
/proc/10780/statm: 3296653 61813 3251 1 0 3284945 0
[pid=10780/tid=10781] ppid=10778 vsize=13186612 CPUtime=1.38 cores=0,2,4,6
/proc/10780/task/10781/stat : 10781 (java) S 10778 10778 25100 0 -1 1077944384 10327 0 0 0 133 5 0 0 20 0 19 0 53818636 13503090688 61813 18446744073709551615 4194304 4196468 140723330073456 140141634106496 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10782] ppid=10778 vsize=13186612 CPUtime=0.03 cores=0,2,4,6
/proc/10780/task/10782/stat : 10782 (java) S 10778 10778 25100 0 -1 1077944384 169 0 0 0 2 1 0 0 20 0 19 0 53818636 13503090688 61813 18446744073709551615 4194304 4196468 140723330073456 140141566347920 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10783] ppid=10778 vsize=13186612 CPUtime=0.03 cores=0,2,4,6
/proc/10780/task/10783/stat : 10783 (java) S 10778 10778 25100 0 -1 1077944384 157 0 0 0 2 1 0 0 20 0 19 0 53818636 13503090688 61813 18446744073709551615 4194304 4196468 140723330073456 140141565295120 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10784] ppid=10778 vsize=13186612 CPUtime=0.03 cores=0,2,4,6
/proc/10780/task/10784/stat : 10784 (java) S 10778 10778 25100 0 -1 1077944384 401 0 0 0 2 1 0 0 20 0 19 0 53818636 13503090688 61813 18446744073709551615 4194304 4196468 140723330073456 140141564242320 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10785] ppid=10778 vsize=13186612 CPUtime=0.02 cores=0,2,4,6
/proc/10780/task/10785/stat : 10785 (java) S 10778 10778 25100 0 -1 1077944384 373 0 0 0 1 1 0 0 20 0 19 0 53818636 13503090688 61813 18446744073709551615 4194304 4196468 140723330073456 140141563189520 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10786] ppid=10778 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10786/stat : 10786 (java) S 10778 10778 25100 0 -1 1077944384 348 0 0 0 0 0 0 0 20 0 19 0 53818638 13503090688 61813 18446744073709551615 4194304 4196468 140723330073456 140141113920368 140141629876866 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10787] ppid=10778 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10787/stat : 10787 (java) S 10778 10778 25100 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 53818638 13503090688 61813 18446744073709551615 4194304 4196468 140723330073456 140141112866400 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10788] ppid=10778 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10788/stat : 10788 (java) S 10778 10778 25100 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 53818638 13503090688 61813 18446744073709551615 4194304 4196468 140723330073456 140141111813504 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10789] ppid=10778 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10789/stat : 10789 (java) S 10778 10778 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53818641 13503090688 61813 18446744073709551615 4194304 4196468 140723330073456 140141110761808 140141629884315 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10790] ppid=10778 vsize=13186612 CPUtime=1.64 cores=0,2,4,6
/proc/10780/task/10790/stat : 10790 (java) R 10778 10778 25100 0 -1 4202560 4507 0 0 0 163 1 0 0 20 0 19 0 53818641 13503090688 61813 18446744073709551615 4194304 4196468 140723330073456 140141109709184 140141609265101 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10791] ppid=10778 vsize=13186612 CPUtime=1.84 cores=0,2,4,6
/proc/10780/task/10791/stat : 10791 (java) R 10778 10778 25100 0 -1 4202560 4296 0 0 0 184 0 0 0 20 0 19 0 53818641 13503090688 61813 18446744073709551615 4194304 4196468 140723330073456 140141108642912 140141613364477 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10792] ppid=10778 vsize=13186612 CPUtime=0.77 cores=0,2,4,6
/proc/10780/task/10792/stat : 10792 (java) R 10778 10778 25100 0 -1 4202560 5131 0 0 0 76 1 0 0 20 0 19 0 53818641 13503090688 61813 18446744073709551615 4194304 4196468 140723330073456 140141107600504 140141608886656 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10793] ppid=10778 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10793/stat : 10793 (java) S 10778 10778 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53818641 13503090688 61813 18446744073709551615 4194304 4196468 140723330073456 140141106551008 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10794] ppid=10778 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10794/stat : 10794 (java) S 10778 10778 25100 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 19 0 53818649 13503090688 61813 18446744073709551615 4194304 4196468 140723330073456 140141105499312 140141629876866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10811] ppid=10778 vsize=13186612 CPUtime=0.77 cores=0,2,4,6
/proc/10780/task/10811/stat : 10811 (java) R 10778 10778 25100 0 -1 4202560 18 0 0 0 77 0 0 0 20 0 19 0 53818840 13503090688 61813 18446744073709551615 4194304 4196468 140723330073456 140141095378000 140141249966876 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10812] ppid=10778 vsize=13186612 CPUtime=0.51 cores=0,2,4,6
/proc/10780/task/10812/stat : 10812 (java) R 10778 10778 25100 0 -1 4202560 25 0 0 0 51 0 0 0 20 0 19 0 53818840 13503090688 61813 18446744073709551615 4194304 4196468 140723330073456 140141094326376 140141250418047 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10813] ppid=10778 vsize=13186612 CPUtime=0.49 cores=0,2,4,6
/proc/10780/task/10813/stat : 10813 (java) R 10778 10778 25100 0 -1 4202560 20 0 0 0 49 0 0 0 20 0 19 0 53818840 13503090688 61813 18446744073709551615 4194304 4196468 140723330073456 140141096430720 140141249966514 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10814] ppid=10778 vsize=13186612 CPUtime=0.55 cores=0,2,4,6
/proc/10780/task/10814/stat : 10814 (java) R 10778 10778 25100 0 -1 4202560 18 0 0 0 55 0 0 0 20 0 19 0 53818840 13503090688 61813 18446744073709551615 4194304 4196468 140723330073456 140141093274280 140141249970013 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
Current children cumulated CPU time (s) 9.29
Current children cumulated vsize (KiB) 13196124
[startup+6.30171 s]
/proc/loadavg: 8.08 8.35 8.28 8/224 10826
/proc/meminfo: memFree=31062900/32770624 swapFree=0/329568
[pid=10778] ppid=10775 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10778/stat : 10778 (xcsp3-exec) S 10775 10778 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53818627 9740288 345 18446744073709551615 4194304 5098028 140730139893968 140730139892072 140685897511548 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 38457344 140730139902361 140730139902570 140730139902570 140730139906027 0
/proc/10778/statm: 2378 345 289 221 0 87 0
[pid=10780] ppid=10778 vsize=13186612 CPUtime=21.98 cores=0,2,4,6
/proc/10780/stat : 10780 (java) S 10778 10778 25100 0 -1 1077944320 29012 0 0 0 2180 18 0 0 20 0 19 0 53818635 13503090688 62050 18446744073709551615 4194304 4196468 140723330073456 140723330056000 140141629865719 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
/proc/10780/statm: 3296653 62050 3256 1 0 3284945 0
[pid=10780/tid=10781] ppid=10778 vsize=13186612 CPUtime=1.39 cores=0,2,4,6
/proc/10780/task/10781/stat : 10781 (java) S 10778 10778 25100 0 -1 1077944384 10328 0 0 0 134 5 0 0 20 0 19 0 53818636 13503090688 62050 18446744073709551615 4194304 4196468 140723330073456 140141634106496 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10782] ppid=10778 vsize=13186612 CPUtime=0.03 cores=0,2,4,6
/proc/10780/task/10782/stat : 10782 (java) S 10778 10778 25100 0 -1 1077944384 169 0 0 0 2 1 0 0 20 0 19 0 53818636 13503090688 62050 18446744073709551615 4194304 4196468 140723330073456 140141566347920 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10783] ppid=10778 vsize=13186612 CPUtime=0.03 cores=0,2,4,6
/proc/10780/task/10783/stat : 10783 (java) S 10778 10778 25100 0 -1 1077944384 157 0 0 0 2 1 0 0 20 0 19 0 53818636 13503090688 62050 18446744073709551615 4194304 4196468 140723330073456 140141565295120 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10784] ppid=10778 vsize=13186612 CPUtime=0.03 cores=0,2,4,6
/proc/10780/task/10784/stat : 10784 (java) S 10778 10778 25100 0 -1 1077944384 401 0 0 0 2 1 0 0 20 0 19 0 53818636 13503090688 62050 18446744073709551615 4194304 4196468 140723330073456 140141564242320 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10785] ppid=10778 vsize=13186612 CPUtime=0.02 cores=0,2,4,6
/proc/10780/task/10785/stat : 10785 (java) S 10778 10778 25100 0 -1 1077944384 373 0 0 0 1 1 0 0 20 0 19 0 53818636 13503090688 62050 18446744073709551615 4194304 4196468 140723330073456 140141563189520 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10786] ppid=10778 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10786/stat : 10786 (java) S 10778 10778 25100 0 -1 1077944384 349 0 0 0 0 0 0 0 20 0 19 0 53818638 13503090688 62050 18446744073709551615 4194304 4196468 140723330073456 140141113920368 140141629876866 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10787] ppid=10778 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10787/stat : 10787 (java) S 10778 10778 25100 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 53818638 13503090688 62050 18446744073709551615 4194304 4196468 140723330073456 140141112866400 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10788] ppid=10778 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10788/stat : 10788 (java) S 10778 10778 25100 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 53818638 13503090688 62050 18446744073709551615 4194304 4196468 140723330073456 140141111813504 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10789] ppid=10778 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10789/stat : 10789 (java) S 10778 10778 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53818641 13503090688 62050 18446744073709551615 4194304 4196468 140723330073456 140141110761808 140141629884315 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10790] ppid=10778 vsize=13186612 CPUtime=2.76 cores=0,2,4,6
/proc/10780/task/10790/stat : 10790 (java) S 10778 10778 25100 0 -1 1077944384 5364 0 0 0 275 1 0 0 20 0 19 0 53818641 13503090688 62050 18446744073709551615 4194304 4196468 140723330073456 140141109709168 140141629876866 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10791] ppid=10778 vsize=13186612 CPUtime=2.97 cores=0,2,4,6
/proc/10780/task/10791/stat : 10791 (java) S 10778 10778 25100 0 -1 1077944384 4458 0 0 0 296 1 0 0 20 0 19 0 53818641 13503090688 62050 18446744073709551615 4194304 4196468 140723330073456 140141108656368 140141629876866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10792] ppid=10778 vsize=13186612 CPUtime=0.89 cores=0,2,4,6
/proc/10780/task/10792/stat : 10792 (java) S 10778 10778 25100 0 -1 1077944384 5283 0 0 0 88 1 0 0 20 0 19 0 53818641 13503090688 62050 18446744073709551615 4194304 4196468 140723330073456 140141107603568 140141629876866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10793] ppid=10778 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10793/stat : 10793 (java) S 10778 10778 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53818641 13503090688 62050 18446744073709551615 4194304 4196468 140723330073456 140141106551008 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10794] ppid=10778 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10794/stat : 10794 (java) S 10778 10778 25100 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 19 0 53818649 13503090688 62050 18446744073709551615 4194304 4196468 140723330073456 140141105499312 140141629876866 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10823] ppid=10778 vsize=13186612 CPUtime=1.1 cores=0,2,4,6
/proc/10780/task/10823/stat : 10823 (java) R 10778 10778 25100 0 -1 4202560 37 0 0 0 110 0 0 0 20 0 19 0 53819112 13503090688 62050 18446744073709551615 4194304 4196468 140723330073456 140141096430840 140141248872877 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10824] ppid=10778 vsize=13186612 CPUtime=1.28 cores=0,2,4,6
/proc/10780/task/10824/stat : 10824 (java) R 10778 10778 25100 0 -1 4202560 54 0 0 0 128 0 0 0 20 0 19 0 53819112 13503090688 62050 18446744073709551615 4194304 4196468 140723330073456 140141093275016 140141249121609 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10825] ppid=10778 vsize=13186612 CPUtime=1.33 cores=0,2,4,6
/proc/10780/task/10825/stat : 10825 (java) R 10778 10778 25100 0 -1 4202560 21 0 0 0 133 0 0 0 20 0 19 0 53819112 13503090688 62050 18446744073709551615 4194304 4196468 140723330073456 140141095380872 140141246096668 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10826] ppid=10778 vsize=13186612 CPUtime=1.21 cores=0,2,4,6
/proc/10780/task/10826/stat : 10826 (java) R 10778 10778 25100 0 -1 4202560 19 0 0 0 121 0 0 0 20 0 19 0 53819112 13503090688 62050 18446744073709551615 4194304 4196468 140723330073456 140141094326696 140141248872860 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
Current children cumulated CPU time (s) 21.98
Current children cumulated vsize (KiB) 13196124
################
# More data... #
################
/proc/10780/task/10788/stat : 10788 (java) S 10778 10778 25100 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 53818638 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141111813504 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10789] ppid=10778 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10789/stat : 10789 (java) S 10778 10778 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53818641 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141110761808 140141629884315 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10790] ppid=10778 vsize=13186612 CPUtime=3.33 cores=0,2,4,6
/proc/10780/task/10790/stat : 10790 (java) S 10778 10778 25100 0 -1 1077944384 11367 0 0 0 332 1 0 0 20 0 19 0 53818641 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141109709168 140141629876866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10791] ppid=10778 vsize=13186612 CPUtime=3.55 cores=0,2,4,6
/proc/10780/task/10791/stat : 10791 (java) S 10778 10778 25100 0 -1 1077944384 10447 0 0 0 354 1 0 0 20 0 19 0 53818641 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141108656368 140141629876866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10792] ppid=10778 vsize=13186612 CPUtime=0.94 cores=0,2,4,6
/proc/10780/task/10792/stat : 10792 (java) S 10778 10778 25100 0 -1 1077944384 7031 0 0 0 92 2 0 0 20 0 19 0 53818641 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141107603568 140141629876866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10793] ppid=10778 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10793/stat : 10793 (java) S 10778 10778 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53818641 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141106551008 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10794] ppid=10778 vsize=13186612 CPUtime=0.02 cores=0,2,4,6
/proc/10780/task/10794/stat : 10794 (java) S 10778 10778 25100 0 -1 1077944384 316 0 0 0 0 2 0 0 20 0 19 0 53818649 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141105499312 140141629876866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10823] ppid=10778 vsize=13186612 CPUtime=53.42 cores=0,2,4,6
/proc/10780/task/10823/stat : 10823 (java) R 10778 10778 25100 0 -1 4202560 1241 0 0 0 5342 0 0 0 20 0 19 0 53819112 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141096430536 140141248872722 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10824] ppid=10778 vsize=13186612 CPUtime=53.57 cores=0,2,4,6
/proc/10780/task/10824/stat : 10824 (java) R 10778 10778 25100 0 -1 4202560 1104 0 0 0 5357 0 0 0 20 0 19 0 53819112 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141093275272 140141249967468 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10825] ppid=10778 vsize=13186612 CPUtime=53.69 cores=0,2,4,6
/proc/10780/task/10825/stat : 10825 (java) R 10778 10778 25100 0 -1 4202560 2404 0 0 0 5366 3 0 0 20 0 19 0 53819112 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141095378728 140141249967177 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10826] ppid=10778 vsize=13186612 CPUtime=53.58 cores=0,2,4,6
/proc/10780/task/10826/stat : 10826 (java) R 10778 10778 25100 0 -1 4202560 595 0 0 0 5358 0 0 0 20 0 19 0 53819112 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141094326384 140141249968033 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
Current children cumulated CPU time (s) 232.78
Current children cumulated vsize (KiB) 13196124
[startup+60.8017 s]
/proc/loadavg: 8.24 8.34 8.28 9/228 10843
/proc/meminfo: memFree=30645060/32770624 swapFree=0/329632
[pid=10778] ppid=10775 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10778/stat : 10778 (xcsp3-exec) S 10775 10778 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53818627 9740288 345 18446744073709551615 4194304 5098028 140730139893968 140730139892072 140685897511548 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 38457344 140730139902361 140730139902570 140730139902570 140730139906027 0
/proc/10778/statm: 2378 345 289 221 0 87 0
[pid=10780] ppid=10778 vsize=13186612 CPUtime=239.16 cores=0,2,4,6
/proc/10780/stat : 10780 (java) S 10778 10778 25100 0 -1 1077944320 53155 0 0 0 23884 32 0 0 20 0 19 0 53818635 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140723330056000 140141629865719 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
/proc/10780/statm: 3296653 160455 3261 1 0 3284945 0
[pid=10780/tid=10781] ppid=10778 vsize=13186612 CPUtime=1.39 cores=0,2,4,6
/proc/10780/task/10781/stat : 10781 (java) S 10778 10778 25100 0 -1 1077944384 10328 0 0 0 134 5 0 0 20 0 19 0 53818636 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141634106496 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10782] ppid=10778 vsize=13186612 CPUtime=0.09 cores=0,2,4,6
/proc/10780/task/10782/stat : 10782 (java) S 10778 10778 25100 0 -1 1077944384 544 0 0 0 6 3 0 0 20 0 19 0 53818636 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141566347920 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10783] ppid=10778 vsize=13186612 CPUtime=0.09 cores=0,2,4,6
/proc/10780/task/10783/stat : 10783 (java) S 10778 10778 25100 0 -1 1077944384 1994 0 0 0 5 4 0 0 20 0 19 0 53818636 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141565295120 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10784] ppid=10778 vsize=13186612 CPUtime=0.08 cores=0,2,4,6
/proc/10780/task/10784/stat : 10784 (java) S 10778 10778 25100 0 -1 1077944384 1561 0 0 0 5 3 0 0 20 0 19 0 53818636 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141564242320 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10785] ppid=10778 vsize=13186612 CPUtime=0.08 cores=0,2,4,6
/proc/10780/task/10785/stat : 10785 (java) S 10778 10778 25100 0 -1 1077944384 730 0 0 0 5 3 0 0 20 0 19 0 53818636 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141563189520 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10786] ppid=10778 vsize=13186612 CPUtime=0.02 cores=0,2,4,6
/proc/10780/task/10786/stat : 10786 (java) S 10778 10778 25100 0 -1 1077944384 1516 0 0 0 1 1 0 0 20 0 19 0 53818638 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141113920368 140141629876866 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10787] ppid=10778 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10787/stat : 10787 (java) S 10778 10778 25100 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 53818638 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141112866400 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10788] ppid=10778 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10788/stat : 10788 (java) S 10778 10778 25100 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 53818638 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141111813504 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10789] ppid=10778 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10789/stat : 10789 (java) S 10778 10778 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53818641 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141110761808 140141629884315 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10790] ppid=10778 vsize=13186612 CPUtime=3.33 cores=0,2,4,6
/proc/10780/task/10790/stat : 10790 (java) S 10778 10778 25100 0 -1 1077944384 11367 0 0 0 332 1 0 0 20 0 19 0 53818641 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141109709168 140141629876866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10791] ppid=10778 vsize=13186612 CPUtime=3.55 cores=0,2,4,6
/proc/10780/task/10791/stat : 10791 (java) S 10778 10778 25100 0 -1 1077944384 10447 0 0 0 354 1 0 0 20 0 19 0 53818641 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141108656368 140141629876866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10792] ppid=10778 vsize=13186612 CPUtime=0.94 cores=0,2,4,6
/proc/10780/task/10792/stat : 10792 (java) S 10778 10778 25100 0 -1 1077944384 7031 0 0 0 92 2 0 0 20 0 19 0 53818641 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141107603568 140141629876866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10793] ppid=10778 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10793/stat : 10793 (java) S 10778 10778 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53818641 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141106551008 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10794] ppid=10778 vsize=13186612 CPUtime=0.02 cores=0,2,4,6
/proc/10780/task/10794/stat : 10794 (java) S 10778 10778 25100 0 -1 1077944384 316 0 0 0 0 2 0 0 20 0 19 0 53818649 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141105499312 140141629876866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10823] ppid=10778 vsize=13186612 CPUtime=55.02 cores=0,2,4,6
/proc/10780/task/10823/stat : 10823 (java) R 10778 10778 25100 0 -1 4202560 1241 0 0 0 5502 0 0 0 20 0 19 0 53819112 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141096430536 140141248872738 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10824] ppid=10778 vsize=13186612 CPUtime=55.17 cores=0,2,4,6
/proc/10780/task/10824/stat : 10824 (java) R 10778 10778 25100 0 -1 4202560 1105 0 0 0 5517 0 0 0 20 0 19 0 53819112 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141093275272 140141248872855 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10825] ppid=10778 vsize=13186612 CPUtime=55.27 cores=0,2,4,6
/proc/10780/task/10825/stat : 10825 (java) R 10778 10778 25100 0 -1 4202560 2404 0 0 0 5524 3 0 0 20 0 19 0 53819112 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141095378728 140141249968866 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10826] ppid=10778 vsize=13186612 CPUtime=55.18 cores=0,2,4,6
/proc/10780/task/10826/stat : 10826 (java) R 10778 10778 25100 0 -1 4202560 596 0 0 0 5518 0 0 0 20 0 19 0 53819112 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141094326384 140141249966365 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
Current children cumulated CPU time (s) 239.16
Current children cumulated vsize (KiB) 13196124
[startup+61.6017 s]
/proc/loadavg: 8.22 8.33 8.28 9/228 10843
/proc/meminfo: memFree=30645184/32770624 swapFree=0/329632
[pid=10778] ppid=10775 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10778/stat : 10778 (xcsp3-exec) S 10775 10778 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53818627 9740288 345 18446744073709551615 4194304 5098028 140730139893968 140730139892072 140685897511548 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 38457344 140730139902361 140730139902570 140730139902570 140730139906027 0
/proc/10778/statm: 2378 345 289 221 0 87 0
[pid=10780] ppid=10778 vsize=13186612 CPUtime=242.37 cores=0,2,4,6
/proc/10780/stat : 10780 (java) S 10778 10778 25100 0 -1 1077944320 53158 0 0 0 24205 32 0 0 20 0 19 0 53818635 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140723330056000 140141629865719 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
/proc/10780/statm: 3296653 160455 3261 1 0 3284945 0
[pid=10780/tid=10781] ppid=10778 vsize=13186612 CPUtime=1.39 cores=0,2,4,6
/proc/10780/task/10781/stat : 10781 (java) S 10778 10778 25100 0 -1 1077944384 10328 0 0 0 134 5 0 0 20 0 19 0 53818636 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141634106496 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10782] ppid=10778 vsize=13186612 CPUtime=0.09 cores=0,2,4,6
/proc/10780/task/10782/stat : 10782 (java) S 10778 10778 25100 0 -1 1077944384 544 0 0 0 6 3 0 0 20 0 19 0 53818636 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141566347920 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10783] ppid=10778 vsize=13186612 CPUtime=0.09 cores=0,2,4,6
/proc/10780/task/10783/stat : 10783 (java) S 10778 10778 25100 0 -1 1077944384 1994 0 0 0 5 4 0 0 20 0 19 0 53818636 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141565295120 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10784] ppid=10778 vsize=13186612 CPUtime=0.08 cores=0,2,4,6
/proc/10780/task/10784/stat : 10784 (java) S 10778 10778 25100 0 -1 1077944384 1561 0 0 0 5 3 0 0 20 0 19 0 53818636 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141564242320 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10785] ppid=10778 vsize=13186612 CPUtime=0.08 cores=0,2,4,6
/proc/10780/task/10785/stat : 10785 (java) S 10778 10778 25100 0 -1 1077944384 730 0 0 0 5 3 0 0 20 0 19 0 53818636 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141563189520 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10786] ppid=10778 vsize=13186612 CPUtime=0.02 cores=0,2,4,6
/proc/10780/task/10786/stat : 10786 (java) S 10778 10778 25100 0 -1 1077944384 1516 0 0 0 1 1 0 0 20 0 19 0 53818638 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141113920368 140141629876866 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10787] ppid=10778 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10787/stat : 10787 (java) S 10778 10778 25100 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 53818638 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141112866400 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10788] ppid=10778 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10788/stat : 10788 (java) S 10778 10778 25100 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 53818638 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141111813504 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10789] ppid=10778 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10789/stat : 10789 (java) S 10778 10778 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53818641 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141110761808 140141629884315 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10790] ppid=10778 vsize=13186612 CPUtime=3.33 cores=0,2,4,6
/proc/10780/task/10790/stat : 10790 (java) S 10778 10778 25100 0 -1 1077944384 11370 0 0 0 332 1 0 0 20 0 19 0 53818641 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141109709168 140141629876866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10791] ppid=10778 vsize=13186612 CPUtime=3.55 cores=0,2,4,6
/proc/10780/task/10791/stat : 10791 (java) S 10778 10778 25100 0 -1 1077944384 10447 0 0 0 354 1 0 0 20 0 19 0 53818641 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141108656368 140141629876866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10792] ppid=10778 vsize=13186612 CPUtime=0.94 cores=0,2,4,6
/proc/10780/task/10792/stat : 10792 (java) S 10778 10778 25100 0 -1 1077944384 7031 0 0 0 92 2 0 0 20 0 19 0 53818641 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141107603568 140141629876866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10793] ppid=10778 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10793/stat : 10793 (java) S 10778 10778 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53818641 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141106551008 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10794] ppid=10778 vsize=13186612 CPUtime=0.02 cores=0,2,4,6
/proc/10780/task/10794/stat : 10794 (java) S 10778 10778 25100 0 -1 1077944384 316 0 0 0 0 2 0 0 20 0 19 0 53818649 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141105499312 140141629876866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10823] ppid=10778 vsize=13186612 CPUtime=55.83 cores=0,2,4,6
/proc/10780/task/10823/stat : 10823 (java) R 10778 10778 25100 0 -1 4202560 1241 0 0 0 5583 0 0 0 20 0 19 0 53819112 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141096430536 140141249968639 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10824] ppid=10778 vsize=13186612 CPUtime=55.98 cores=0,2,4,6
/proc/10780/task/10824/stat : 10824 (java) R 10778 10778 25100 0 -1 4202560 1105 0 0 0 5598 0 0 0 20 0 19 0 53819112 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141093275272 140141248872599 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10825] ppid=10778 vsize=13186612 CPUtime=56.06 cores=0,2,4,6
/proc/10780/task/10825/stat : 10825 (java) R 10778 10778 25100 0 -1 4202560 2404 0 0 0 5603 3 0 0 20 0 19 0 53819112 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141095379208 140141249968797 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10826] ppid=10778 vsize=13186612 CPUtime=55.98 cores=0,2,4,6
/proc/10780/task/10826/stat : 10826 (java) R 10778 10778 25100 0 -1 4202560 596 0 0 0 5598 0 0 0 20 0 19 0 53819112 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141094326384 140141249368202 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
Current children cumulated CPU time (s) 242.37
Current children cumulated vsize (KiB) 13196124
[startup+61.8017 s]
/proc/loadavg: 8.22 8.33 8.28 9/228 10843
/proc/meminfo: memFree=30645184/32770624 swapFree=0/329632
[pid=10778] ppid=10775 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/10778/stat : 10778 (xcsp3-exec) S 10775 10778 25100 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 53818627 9740288 345 18446744073709551615 4194304 5098028 140730139893968 140730139892072 140685897511548 0 65536 5 65538 18446744071579417331 0 0 17 0 0 0 7 0 0 7196144 7232144 38457344 140730139902361 140730139902570 140730139902570 140730139906027 0
/proc/10778/statm: 2378 345 289 221 0 87 0
[pid=10780] ppid=10778 vsize=13186612 CPUtime=243.14 cores=0,2,4,6
/proc/10780/stat : 10780 (java) S 10778 10778 25100 0 -1 1077944320 53158 0 0 0 24282 32 0 0 20 0 19 0 53818635 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140723330056000 140141629865719 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
/proc/10780/statm: 3296653 160455 3261 1 0 3284945 0
[pid=10780/tid=10781] ppid=10778 vsize=13186612 CPUtime=1.39 cores=0,2,4,6
/proc/10780/task/10781/stat : 10781 (java) S 10778 10778 25100 0 -1 1077944384 10328 0 0 0 134 5 0 0 20 0 19 0 53818636 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141634106496 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10782] ppid=10778 vsize=13186612 CPUtime=0.09 cores=0,2,4,6
/proc/10780/task/10782/stat : 10782 (java) S 10778 10778 25100 0 -1 1077944384 544 0 0 0 6 3 0 0 20 0 19 0 53818636 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141566347920 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10783] ppid=10778 vsize=13186612 CPUtime=0.09 cores=0,2,4,6
/proc/10780/task/10783/stat : 10783 (java) S 10778 10778 25100 0 -1 1077944384 1994 0 0 0 5 4 0 0 20 0 19 0 53818636 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141565295120 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10784] ppid=10778 vsize=13186612 CPUtime=0.08 cores=0,2,4,6
/proc/10780/task/10784/stat : 10784 (java) S 10778 10778 25100 0 -1 1077944384 1561 0 0 0 5 3 0 0 20 0 19 0 53818636 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141564242320 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10785] ppid=10778 vsize=13186612 CPUtime=0.08 cores=0,2,4,6
/proc/10780/task/10785/stat : 10785 (java) S 10778 10778 25100 0 -1 1077944384 730 0 0 0 5 3 0 0 20 0 19 0 53818636 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141563189520 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10786] ppid=10778 vsize=13186612 CPUtime=0.02 cores=0,2,4,6
/proc/10780/task/10786/stat : 10786 (java) S 10778 10778 25100 0 -1 1077944384 1516 0 0 0 1 1 0 0 20 0 19 0 53818638 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141113920368 140141629876866 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10787] ppid=10778 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10787/stat : 10787 (java) S 10778 10778 25100 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 19 0 53818638 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141112866400 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10788] ppid=10778 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10788/stat : 10788 (java) S 10778 10778 25100 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 53818638 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141111813504 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10789] ppid=10778 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10789/stat : 10789 (java) S 10778 10778 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53818641 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141110761808 140141629884315 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10790] ppid=10778 vsize=13186612 CPUtime=3.33 cores=0,2,4,6
/proc/10780/task/10790/stat : 10790 (java) S 10778 10778 25100 0 -1 1077944384 11370 0 0 0 332 1 0 0 20 0 19 0 53818641 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141109709168 140141629876866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10791] ppid=10778 vsize=13186612 CPUtime=3.55 cores=0,2,4,6
/proc/10780/task/10791/stat : 10791 (java) S 10778 10778 25100 0 -1 1077944384 10447 0 0 0 354 1 0 0 20 0 19 0 53818641 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141108656368 140141629876866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10792] ppid=10778 vsize=13186612 CPUtime=0.94 cores=0,2,4,6
/proc/10780/task/10792/stat : 10792 (java) S 10778 10778 25100 0 -1 1077944384 7031 0 0 0 92 2 0 0 20 0 19 0 53818641 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141107603568 140141629876866 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10793] ppid=10778 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/10780/task/10793/stat : 10793 (java) S 10778 10778 25100 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 53818641 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141106551008 140141629875925 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10794] ppid=10778 vsize=13186612 CPUtime=0.02 cores=0,2,4,6
/proc/10780/task/10794/stat : 10794 (java) S 10778 10778 25100 0 -1 1077944384 316 0 0 0 0 2 0 0 20 0 19 0 53818649 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141105499312 140141629876866 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10823] ppid=10778 vsize=13186612 CPUtime=56.02 cores=0,2,4,6
/proc/10780/task/10823/stat : 10823 (java) R 10778 10778 25100 0 -1 4202560 1241 0 0 0 5602 0 0 0 20 0 19 0 53819112 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141096430536 140141248872860 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10824] ppid=10778 vsize=13186612 CPUtime=56.17 cores=0,2,4,6
/proc/10780/task/10824/stat : 10824 (java) R 10778 10778 25100 0 -1 4202560 1105 0 0 0 5617 0 0 0 20 0 19 0 53819112 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141093275272 140141248872824 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10825] ppid=10778 vsize=13186612 CPUtime=56.26 cores=0,2,4,6
/proc/10780/task/10825/stat : 10825 (java) R 10778 10778 25100 0 -1 4202560 2404 0 0 0 5623 3 0 0 20 0 19 0 53819112 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141095379208 140141248872559 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
[pid=10780/tid=10826] ppid=10778 vsize=13186612 CPUtime=56.18 cores=0,2,4,6
/proc/10780/task/10826/stat : 10826 (java) R 10778 10778 25100 0 -1 4202560 596 0 0 0 5618 0 0 0 20 0 19 0 53819112 13503090688 160455 18446744073709551615 4194304 4196468 140723330073456 140141094326384 140141249968376 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 37625856 140723330081238 140723330081414 140723330081414 140723330084815 0
Current children cumulated CPU time (s) 243.14
Current children cumulated vsize (KiB) 13196124
Child status: 0
Real time (s): 61.8736
CPU time (s): 243.403
CPU user time (s): 243.041
CPU system time (s): 0.362596
CPU usage (%): 393.388
Max. virtual memory (cumulated for all children) (KiB): 13196124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 243.041
system time used= 0.362596
maximum resident set size= 666192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54257
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4561
involuntary context switches= 6486
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.328077 second user time and 0.451858 second system time
The end