runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (14876 MiB free)
memory of node 1: 16384 MiB (15306 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272867-1502683032/watcher-4272867-1502683032 -o /tmp/evaluation-result-4272867-1502683032/solver-4272867-1502683032 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node128-1502649221-29001 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 534802683 HOME/instance-4272867-1502683032.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=2927, runsolver pid=2924
[startup+0.10011 s]*
/proc/loadavg: 1.69 1.65 1.67 2/200 2930
/proc/meminfo: memFree=30903768/32770624 swapFree=67108860/67108860
[pid=2927] ppid=2924 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2927/stat : 2927 (xcsp3-exec) S 2924 2927 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 22185836 9740288 345 18446744073709551615 4194304 5098028 140737286734784 140737286732888 140067820634748 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 15650816 140737286742394 140737286742598 140737286742598 140737286746091 0
/proc/2927/statm: 2378 345 289 221 0 87 0
[pid=2929] ppid=2927 vsize=13358712 memory=13840 CPUtime=0 cores=1,3,5,7
/proc/2929/stat : 2929 (java) S 2927 2927 7968 0 -1 1077944320 3218 0 0 0 0 0 0 0 20 0 6 0 22185845 13679321088 3460 18446744073709551615 4194304 4196468 140724573958928 140724573941472 139770438450935 0 0 1 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
/proc/2929/statm: 3339678 3460 1867 1 0 3329175 0
[pid=2929/tid=2930] ppid=2927 vsize=13358712 memory=8508281356422318496 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2930/stat : 2930 (java) R 2927 2927 7968 0 -1 4202560 2064 0 0 0 0 0 0 0 20 0 6 0 22185845 13679321088 3526 18446744073709551615 4194304 4196468 140724573958928 139770442687056 139770422531422 0 4 1 16784584 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2931] ppid=2927 vsize=13358712 memory=3691042058319900680 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2931/stat : 2931 (java) S 2927 2927 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 22185846 13679321088 3526 18446744073709551615 4194304 4196468 140724573958928 139770395417616 139770438461141 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2932] ppid=2927 vsize=13358712 memory=139791146321536 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2932/stat : 2932 (java) S 2927 2927 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 22185846 13679321088 3526 18446744073709551615 4194304 4196468 140724573958928 139770394365072 139770438461141 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2933] ppid=2927 vsize=13358712 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2933/stat : 2933 (java) S 2927 2927 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 22185846 13679321088 3526 18446744073709551615 4194304 4196468 140724573958928 139770393312016 139770438461141 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2934] ppid=2927 vsize=13358712 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2934/stat : 2934 (java) S 2927 2927 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 22185846 13679321088 3526 18446744073709551615 4194304 4196468 140724573958928 139770392259472 139770438461141 0 4 1 16784584 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13368224 KiB
Current children cumulated memory: 15220 KiB
[startup+0.213053 s]*
/proc/loadavg: 1.69 1.65 1.67 3/213 2943
/proc/meminfo: memFree=30895080/32770624 swapFree=67108860/67108860
[pid=2927] ppid=2924 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2927/stat : 2927 (xcsp3-exec) S 2924 2927 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 22185836 9740288 345 18446744073709551615 4194304 5098028 140737286734784 140737286732888 140067820634748 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 15650816 140737286742394 140737286742598 140737286742598 140737286746091 0
/proc/2927/statm: 2378 345 289 221 0 87 0
[pid=2929] ppid=2927 vsize=13974352 memory=25592 CPUtime=0.08 cores=1,3,5,7
/proc/2929/stat : 2929 (java) S 2927 2927 7968 0 -1 1077944320 5305 0 0 0 7 1 0 0 20 0 15 0 22185845 14309736448 6398 18446744073709551615 4194304 4196468 140724573958928 140724573941472 139770438450935 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
/proc/2929/statm: 3493588 6398 2730 1 0 3482964 0
[pid=2929/tid=2930] ppid=2927 vsize=13974352 memory=7022364594140610616 CPUtime=0.06 cores=1,3,5,7
/proc/2929/task/2930/stat : 2930 (java) R 2927 2927 7968 0 -1 4202560 3480 0 0 0 6 0 0 0 20 0 15 0 22185845 14309736448 6910 18446744073709551615 4194304 4196468 140724573958928 139770442676624 139770419844666 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2931] ppid=2927 vsize=13974352 memory=4294978898 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2931/stat : 2931 (java) S 2927 2927 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22185846 14309736448 6910 18446744073709551615 4194304 4196468 140724573958928 139770395417616 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2932] ppid=2927 vsize=13974352 memory=139791146411339 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2932/stat : 2932 (java) S 2927 2927 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22185846 14309736448 6910 18446744073709551615 4194304 4196468 140724573958928 139770394365072 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2933] ppid=2927 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2933/stat : 2933 (java) S 2927 2927 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 22185846 14309736448 6910 18446744073709551615 4194304 4196468 140724573958928 139770393312016 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2934] ppid=2927 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2934/stat : 2934 (java) S 2927 2927 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22185846 14309736448 6910 18446744073709551615 4194304 4196468 140724573958928 139770392259472 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2935] ppid=2927 vsize=13974352 memory=139791146321536 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2935/stat : 2935 (java) S 2927 2927 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 22185847 14309736448 6910 18446744073709551615 4194304 4196468 140724573958928 139769984215280 139770438462082 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2936] ppid=2927 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2936/stat : 2936 (java) S 2927 2927 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 22185848 14309736448 6910 18446744073709551615 4194304 4196468 140724573958928 139769983161504 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2937] ppid=2927 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2937/stat : 2937 (java) S 2927 2927 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 22185848 14309736448 6910 18446744073709551615 4194304 4196468 140724573958928 139769982108400 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2938] ppid=2927 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2938/stat : 2938 (java) S 2927 2927 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22185850 14309736448 6910 18446744073709551615 4194304 4196468 140724573958928 139769981056976 139770438469531 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2939] ppid=2927 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2939/stat : 2939 (java) S 2927 2927 7968 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 22185850 14309736448 6910 18446744073709551615 4194304 4196468 140724573958928 139769778531056 139770438462082 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2940] ppid=2927 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2940/stat : 2940 (java) R 2927 2927 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22185851 14309736448 6910 18446744073709551615 4194304 4196468 140724573958928 139769777478512 139770438462082 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2941] ppid=2927 vsize=13974352 memory=139791146321536 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2941/stat : 2941 (java) R 2927 2927 7968 0 -1 1077944384 231 0 0 0 0 0 0 0 20 0 15 0 22185851 14309736448 6910 18446744073709551615 4194304 4196468 140724573958928 139769776425456 139770438462082 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2942] ppid=2927 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2942/stat : 2942 (java) S 2927 2927 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22185851 14309736448 6910 18446744073709551615 4194304 4196468 140724573958928 139769775373152 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2943] ppid=2927 vsize=13974352 memory=139791146321536 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2943/stat : 2943 (java) S 2927 2927 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22185856 14309736448 6910 18446744073709551615 4194304 4196468 140724573958928 139769774320176 139770438462082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 26972 KiB
[startup+0.310377 s]*
/proc/loadavg: 1.69 1.65 1.67 3/213 2943
/proc/meminfo: memFree=30881508/32770624 swapFree=67108860/67108860
[pid=2927] ppid=2924 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2927/stat : 2927 (xcsp3-exec) S 2924 2927 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 22185836 9740288 345 18446744073709551615 4194304 5098028 140737286734784 140737286732888 140067820634748 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 15650816 140737286742394 140737286742598 140737286742598 140737286746091 0
/proc/2927/statm: 2378 345 289 221 0 87 0
[pid=2929] ppid=2927 vsize=13974352 memory=37028 CPUtime=0.25 cores=1,3,5,7
/proc/2929/stat : 2929 (java) S 2927 2927 7968 0 -1 1077944320 8846 0 0 0 23 2 0 0 20 0 15 0 22185845 14309736448 9257 18446744073709551615 4194304 4196468 140724573958928 140724573941472 139770438450935 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
/proc/2929/statm: 3493588 9257 2975 1 0 3482964 0
[pid=2929/tid=2930] ppid=2927 vsize=13974352 memory=4278483708103473607 CPUtime=0.15 cores=1,3,5,7
/proc/2929/task/2930/stat : 2930 (java) R 2927 2927 7968 0 -1 4202560 6126 0 0 0 14 1 0 0 20 0 15 0 22185845 14309736448 9257 18446744073709551615 4194304 4196468 140724573958928 139770442678704 139770438472861 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2931] ppid=2927 vsize=13974352 memory=4126316290023845779 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2931/stat : 2931 (java) S 2927 2927 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22185846 14309736448 9257 18446744073709551615 4194304 4196468 140724573958928 139770395417616 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2932] ppid=2927 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2932/stat : 2932 (java) S 2927 2927 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22185846 14309736448 9257 18446744073709551615 4194304 4196468 140724573958928 139770394365072 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2933] ppid=2927 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2933/stat : 2933 (java) S 2927 2927 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 22185846 14309736448 9257 18446744073709551615 4194304 4196468 140724573958928 139770393312016 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2934] ppid=2927 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2934/stat : 2934 (java) S 2927 2927 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22185846 14309736448 9257 18446744073709551615 4194304 4196468 140724573958928 139770392259472 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2935] ppid=2927 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2935/stat : 2935 (java) S 2927 2927 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 22185847 14309736448 9257 18446744073709551615 4194304 4196468 140724573958928 139769984215280 139770438462082 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2936] ppid=2927 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2936/stat : 2936 (java) S 2927 2927 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 22185848 14309736448 9257 18446744073709551615 4194304 4196468 140724573958928 139769983161504 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2937] ppid=2927 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2937/stat : 2937 (java) S 2927 2927 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 22185848 14309736448 9257 18446744073709551615 4194304 4196468 140724573958928 139769982108400 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2938] ppid=2927 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2938/stat : 2938 (java) S 2927 2927 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22185850 14309736448 9257 18446744073709551615 4194304 4196468 140724573958928 139769981056976 139770438469531 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2939] ppid=2927 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/2929/task/2939/stat : 2939 (java) R 2927 2927 7968 0 -1 4202560 507 0 0 0 1 0 0 0 20 0 15 0 22185850 14309736448 9257 18446744073709551615 4194304 4196468 140724573958928 139769778531056 139770419975293 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2940] ppid=2927 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/2929/task/2940/stat : 2940 (java) S 2927 2927 7968 0 -1 1077944384 216 0 0 0 1 0 0 0 20 0 15 0 22185851 14309736448 9257 18446744073709551615 4194304 4196468 140724573958928 139769777478512 139770438462082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2941] ppid=2927 vsize=13974352 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/2929/task/2941/stat : 2941 (java) S 2927 2927 7968 0 -1 1077944384 698 0 0 0 5 0 0 0 20 0 15 0 22185851 14309736448 9257 18446744073709551615 4194304 4196468 140724573958928 139769776425456 139770438462082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2942] ppid=2927 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2942/stat : 2942 (java) S 2927 2927 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22185851 14309736448 9257 18446744073709551615 4194304 4196468 140724573958928 139769775373152 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2943] ppid=2927 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2943/stat : 2943 (java) S 2927 2927 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22185856 14309736448 9257 18446744073709551615 4194304 4196468 140724573958928 139769774320176 139770438462082 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
Current children cumulated CPU time: 0.25 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 38408 KiB
[startup+0.700792 s]
/proc/loadavg: 1.69 1.65 1.67 6/213 2943
/proc/meminfo: memFree=30869708/32770624 swapFree=67108860/67108860
[pid=2927] ppid=2924 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2927/stat : 2927 (xcsp3-exec) S 2924 2927 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 22185836 9740288 345 18446744073709551615 4194304 5098028 140737286734784 140737286732888 140067820634748 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 15650816 140737286742394 140737286742598 140737286742598 140737286746091 0
/proc/2927/statm: 2378 345 289 221 0 87 0
[pid=2929] ppid=2927 vsize=13980732 memory=65408 CPUtime=1.11 cores=1,3,5,7
/proc/2929/stat : 2929 (java) S 2927 2927 7968 0 -1 1077944320 13941 0 0 0 106 5 0 0 20 0 15 0 22185845 14316269568 16352 18446744073709551615 4194304 4196468 140724573958928 140724573941472 139770438450935 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
/proc/2929/statm: 3495183 16352 3166 1 0 3483476 0
[pid=2929/tid=2930] ppid=2927 vsize=13980732 memory=6935649255845028672 CPUtime=0.54 cores=1,3,5,7
/proc/2929/task/2930/stat : 2930 (java) R 2927 2927 7968 0 -1 4202560 9197 0 0 0 51 3 0 0 20 0 15 0 22185845 14316269568 16352 18446744073709551615 4194304 4196468 140724573958928 139770442680416 139770438462870 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2931] ppid=2927 vsize=13980732 memory=132482923 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2931/stat : 2931 (java) S 2927 2927 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22185846 14316269568 16352 18446744073709551615 4194304 4196468 140724573958928 139770395417616 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2932] ppid=2927 vsize=13980732 memory=33 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2932/stat : 2932 (java) S 2927 2927 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22185846 14316269568 16352 18446744073709551615 4194304 4196468 140724573958928 139770394365072 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2933] ppid=2927 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2933/stat : 2933 (java) S 2927 2927 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 22185846 14316269568 16352 18446744073709551615 4194304 4196468 140724573958928 139770393312016 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2934] ppid=2927 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2934/stat : 2934 (java) S 2927 2927 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22185846 14316269568 16352 18446744073709551615 4194304 4196468 140724573958928 139770392259472 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2935] ppid=2927 vsize=13980732 memory=279581969878800 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2935/stat : 2935 (java) S 2927 2927 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 22185847 14316269568 16352 18446744073709551615 4194304 4196468 140724573958928 139769984215280 139770438462082 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2936] ppid=2927 vsize=13980732 memory=2553894930177 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2936/stat : 2936 (java) S 2927 2927 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 22185848 14316269568 16352 18446744073709551615 4194304 4196468 140724573958928 139769983161504 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2937] ppid=2927 vsize=13980732 memory=2558189897473 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2937/stat : 2937 (java) S 2927 2927 7968 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 22185848 14316269568 16352 18446744073709551615 4194304 4196468 140724573958928 139769982108400 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2938] ppid=2927 vsize=13980732 memory=2562484864769 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2938/stat : 2938 (java) S 2927 2927 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22185850 14316269568 16352 18446744073709551615 4194304 4196468 140724573958928 139769981056976 139770438469531 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2939] ppid=2927 vsize=13980732 memory=2588254668545 CPUtime=0.12 cores=1,3,5,7
/proc/2929/task/2939/stat : 2939 (java) S 2927 2927 7968 0 -1 1077944384 1121 0 0 0 12 0 0 0 20 0 15 0 22185850 14316269568 16352 18446744073709551615 4194304 4196468 140724573958928 139769778531056 139770438462082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2940] ppid=2927 vsize=13980732 memory=2635499308801 CPUtime=0.14 cores=1,3,5,7
/proc/2929/task/2940/stat : 2940 (java) S 2927 2927 7968 0 -1 1077944384 783 0 0 0 14 0 0 0 20 0 15 0 22185851 14316269568 16352 18446744073709551615 4194304 4196468 140724573958928 139769777478512 139770438462082 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2941] ppid=2927 vsize=13980732 memory=2678448981761 CPUtime=0.28 cores=1,3,5,7
/proc/2929/task/2941/stat : 2941 (java) R 2927 2927 7968 0 -1 4202560 1533 0 0 0 28 0 0 0 20 0 15 0 22185851 14316269568 16352 18446744073709551615 4194304 4196468 140724573958928 139769776425264 139770423616480 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2942] ppid=2927 vsize=13980732 memory=2807298000385 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2942/stat : 2942 (java) S 2927 2927 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22185851 14316269568 16352 18446744073709551615 4194304 4196468 140724573958928 139769775373152 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2943] ppid=2927 vsize=13980732 memory=3833795184129 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2943/stat : 2943 (java) S 2927 2927 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22185856 14316269568 16352 18446744073709551615 4194304 4196468 140724573958928 139769774320176 139770438462082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
Current children cumulated CPU time: 1.11 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 66788 KiB
[startup+1.50083 s]
/proc/loadavg: 1.69 1.65 1.67 6/213 2943
/proc/meminfo: memFree=30837200/32770624 swapFree=67108860/67108860
[pid=2927] ppid=2924 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2927/stat : 2927 (xcsp3-exec) S 2924 2927 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 22185836 9740288 345 18446744073709551615 4194304 5098028 140737286734784 140737286732888 140067820634748 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 15650816 140737286742394 140737286742598 140737286742598 140737286746091 0
/proc/2927/statm: 2378 345 289 221 0 87 0
[pid=2929] ppid=2927 vsize=13983688 memory=136904 CPUtime=3.59 cores=1,3,5,7
/proc/2929/stat : 2929 (java) S 2927 2927 7968 0 -1 1077944320 43330 0 0 0 350 9 0 0 20 0 15 0 22185845 14319296512 34226 18446744073709551615 4194304 4196468 140724573958928 140724573941472 139770438450935 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
/proc/2929/statm: 3495922 34226 3185 1 0 3484215 0
[pid=2929/tid=2930] ppid=2927 vsize=13983688 memory=55 CPUtime=1.34 cores=1,3,5,7
/proc/2929/task/2930/stat : 2930 (java) R 2927 2927 7968 0 -1 4202560 9592 0 0 0 131 3 0 0 20 0 15 0 22185845 14319296512 34226 18446744073709551615 4194304 4196468 140724573958928 139770442689480 139770067306935 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2931] ppid=2927 vsize=13983688 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2931/stat : 2931 (java) S 2927 2927 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22185846 14319296512 34226 18446744073709551615 4194304 4196468 140724573958928 139770395417616 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2932] ppid=2927 vsize=13983688 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2932/stat : 2932 (java) S 2927 2927 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22185846 14319296512 34226 18446744073709551615 4194304 4196468 140724573958928 139770394365072 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2933] ppid=2927 vsize=13983688 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2933/stat : 2933 (java) S 2927 2927 7968 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 22185846 14319296512 34226 18446744073709551615 4194304 4196468 140724573958928 139770393312016 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2934] ppid=2927 vsize=13983688 memory=5795117241467496816 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2934/stat : 2934 (java) S 2927 2927 7968 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 22185846 14319296512 34226 18446744073709551615 4194304 4196468 140724573958928 139770392259472 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2935] ppid=2927 vsize=13983688 memory=6935652554363134804 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2935/stat : 2935 (java) S 2927 2927 7968 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 22185847 14319296512 34226 18446744073709551615 4194304 4196468 140724573958928 139769984215280 139770438462082 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2936] ppid=2927 vsize=13983688 memory=0 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2936/stat : 2936 (java) S 2927 2927 7968 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 22185848 14319296512 34226 18446744073709551615 4194304 4196468 140724573958928 139769983161504 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2937] ppid=2927 vsize=13983688 memory=0 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/2927/stat : 2927 (xcsp3-exec) S 2924 2927 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 22185836 9740288 345 18446744073709551615 4194304 5098028 140737286734784 140737286732888 140067820634748 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 15650816 140737286742394 140737286742598 140737286742598 140737286746091 0
/proc/2927/statm: 2378 345 289 221 0 87 0
[pid=2929] ppid=2927 vsize=13980732 memory=324444 CPUtime=1500.94 cores=1,3,5,7
/proc/2929/stat : 2929 (java) S 2927 2927 7968 0 -1 1077944320 201497 0 0 0 149949 145 0 0 20 0 15 0 22185845 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 140724573941472 139770438450935 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
/proc/2929/statm: 3495183 81111 3267 1 0 3483476 0
[pid=2929/tid=2930] ppid=2927 vsize=13980732 memory=792 CPUtime=1444.72 cores=1,3,5,7
/proc/2929/task/2930/stat : 2930 (java) R 2927 2927 7968 0 -1 4202560 32067 0 0 0 144462 10 0 0 20 0 15 0 22185845 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139770442690496 139770071325541 0 4 1 16800974 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2931] ppid=2927 vsize=13980732 memory=7680170660397595203 CPUtime=9.6 cores=1,3,5,7
/proc/2929/task/2931/stat : 2931 (java) S 2927 2927 7968 0 -1 1077944384 8541 0 0 0 939 21 0 0 20 0 15 0 22185846 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139770395417616 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2932] ppid=2927 vsize=13980732 memory=1380 CPUtime=9.57 cores=1,3,5,7
/proc/2929/task/2932/stat : 2932 (java) S 2927 2927 7968 0 -1 1077944384 8686 0 0 0 937 20 0 0 20 0 15 0 22185846 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139770394365072 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2933] ppid=2927 vsize=13980732 memory=1380 CPUtime=9.6 cores=1,3,5,7
/proc/2929/task/2933/stat : 2933 (java) S 2927 2927 7968 0 -1 1077944384 8299 0 0 0 940 20 0 0 20 0 15 0 22185846 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139770393312016 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2934] ppid=2927 vsize=13980732 memory=324444 CPUtime=9.57 cores=1,3,5,7
/proc/2929/task/2934/stat : 2934 (java) S 2927 2927 7968 0 -1 1077944384 6885 0 0 0 937 20 0 0 20 0 15 0 22185846 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139770392259472 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2935] ppid=2927 vsize=13980732 memory=1236 CPUtime=1.36 cores=1,3,5,7
/proc/2929/task/2935/stat : 2935 (java) S 2927 2927 7968 0 -1 1077944384 32030 0 0 0 123 13 0 0 20 0 15 0 22185847 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769984215280 139770438462082 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2936] ppid=2927 vsize=13980732 memory=640 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2936/stat : 2936 (java) S 2927 2927 7968 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 22185848 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769983161504 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2937] ppid=2927 vsize=13980732 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2937/stat : 2937 (java) S 2927 2927 7968 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 22185848 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769982108400 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2938] ppid=2927 vsize=13980732 memory=960 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2938/stat : 2938 (java) S 2927 2927 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22185850 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769981056976 139770438469531 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2939] ppid=2927 vsize=13980732 memory=2248 CPUtime=7.52 cores=1,3,5,7
/proc/2929/task/2939/stat : 2939 (java) S 2927 2927 7968 0 -1 1077944384 40989 0 0 0 747 5 0 0 20 0 15 0 22185850 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769778531056 139770438462082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2940] ppid=2927 vsize=13980732 memory=7680170660397595203 CPUtime=7.33 cores=1,3,5,7
/proc/2929/task/2940/stat : 2940 (java) S 2927 2927 7968 0 -1 1077944384 47066 0 0 0 729 4 0 0 20 0 15 0 22185851 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769777478512 139770438462082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2941] ppid=2927 vsize=13980732 memory=1440 CPUtime=0.99 cores=1,3,5,7
/proc/2929/task/2941/stat : 2941 (java) S 2927 2927 7968 0 -1 1077944384 14566 0 0 0 96 3 0 0 20 0 15 0 22185851 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769776425456 139770438462082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2942] ppid=2927 vsize=13980732 memory=9916 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2942/stat : 2942 (java) S 2927 2927 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22185851 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769775373152 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2943] ppid=2927 vsize=13980732 memory=1200 CPUtime=0.58 cores=1,3,5,7
/proc/2929/task/2943/stat : 2943 (java) S 2927 2927 7968 0 -1 1077944384 1011 0 0 0 25 33 0 0 20 0 15 0 22185856 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769774320176 139770438462082 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
Current children cumulated CPU time: 1500.94 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 325824 KiB
[startup+1457.6 s]
/proc/loadavg: 1.53 1.50 1.56 3/213 3097
/proc/meminfo: memFree=30618252/32770624 swapFree=67108860/67108860
[pid=2927] ppid=2924 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2927/stat : 2927 (xcsp3-exec) S 2924 2927 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 22185836 9740288 345 18446744073709551615 4194304 5098028 140737286734784 140737286732888 140067820634748 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 15650816 140737286742394 140737286742598 140737286742598 140737286746091 0
/proc/2927/statm: 2378 345 289 221 0 87 0
[pid=2929] ppid=2927 vsize=13980732 memory=324444 CPUtime=1501.76 cores=1,3,5,7
/proc/2929/stat : 2929 (java) S 2927 2927 7968 0 -1 1077944320 201499 0 0 0 150031 145 0 0 20 0 15 0 22185845 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 140724573941472 139770438450935 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
/proc/2929/statm: 3495183 81111 3267 1 0 3483476 0
[pid=2929/tid=2930] ppid=2927 vsize=13980732 memory=1200 CPUtime=1445.52 cores=1,3,5,7
/proc/2929/task/2930/stat : 2930 (java) R 2927 2927 7968 0 -1 4202560 32068 0 0 0 144542 10 0 0 20 0 15 0 22185845 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139770442690448 139770070277919 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2931] ppid=2927 vsize=13980732 memory=840 CPUtime=9.6 cores=1,3,5,7
/proc/2929/task/2931/stat : 2931 (java) S 2927 2927 7968 0 -1 1077944384 8541 0 0 0 939 21 0 0 20 0 15 0 22185846 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139770395417616 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2932] ppid=2927 vsize=13980732 memory=4060 CPUtime=9.58 cores=1,3,5,7
/proc/2929/task/2932/stat : 2932 (java) S 2927 2927 7968 0 -1 1077944384 8686 0 0 0 938 20 0 0 20 0 15 0 22185846 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139770394365072 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2933] ppid=2927 vsize=13980732 memory=1160 CPUtime=9.6 cores=1,3,5,7
/proc/2929/task/2933/stat : 2933 (java) S 2927 2927 7968 0 -1 1077944384 8299 0 0 0 940 20 0 0 20 0 15 0 22185846 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139770393312016 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2934] ppid=2927 vsize=13980732 memory=7680170660397595203 CPUtime=9.57 cores=1,3,5,7
/proc/2929/task/2934/stat : 2934 (java) S 2927 2927 7968 0 -1 1077944384 6885 0 0 0 937 20 0 0 20 0 15 0 22185846 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139770392259472 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2935] ppid=2927 vsize=13980732 memory=324444 CPUtime=1.36 cores=1,3,5,7
/proc/2929/task/2935/stat : 2935 (java) S 2927 2927 7968 0 -1 1077944384 32031 0 0 0 123 13 0 0 20 0 15 0 22185847 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769984215280 139770438462082 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2936] ppid=2927 vsize=13980732 memory=928 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2936/stat : 2936 (java) S 2927 2927 7968 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 22185848 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769983161504 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2937] ppid=2927 vsize=13980732 memory=2164 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2937/stat : 2937 (java) S 2927 2927 7968 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 22185848 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769982108400 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2938] ppid=2927 vsize=13980732 memory=1296 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2938/stat : 2938 (java) S 2927 2927 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22185850 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769981056976 139770438469531 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2939] ppid=2927 vsize=13980732 memory=1732 CPUtime=7.52 cores=1,3,5,7
/proc/2929/task/2939/stat : 2939 (java) S 2927 2927 7968 0 -1 1077944384 40989 0 0 0 747 5 0 0 20 0 15 0 22185850 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769778531056 139770438462082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2940] ppid=2927 vsize=13980732 memory=1700 CPUtime=7.33 cores=1,3,5,7
/proc/2929/task/2940/stat : 2940 (java) S 2927 2927 7968 0 -1 1077944384 47066 0 0 0 729 4 0 0 20 0 15 0 22185851 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769777478512 139770438462082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2941] ppid=2927 vsize=13980732 memory=1228 CPUtime=0.99 cores=1,3,5,7
/proc/2929/task/2941/stat : 2941 (java) S 2927 2927 7968 0 -1 1077944384 14566 0 0 0 96 3 0 0 20 0 15 0 22185851 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769776425456 139770438462082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2942] ppid=2927 vsize=13980732 memory=3868 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2942/stat : 2942 (java) S 2927 2927 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22185851 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769775373152 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2943] ppid=2927 vsize=13980732 memory=3904 CPUtime=0.58 cores=1,3,5,7
/proc/2929/task/2943/stat : 2943 (java) S 2927 2927 7968 0 -1 1077944384 1011 0 0 0 25 33 0 0 20 0 15 0 22185856 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769774320176 139770438462082 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
Current children cumulated CPU time: 1501.76 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 325824 KiB
[startup+1458 s]*
/proc/loadavg: 1.53 1.50 1.56 3/213 3097
/proc/meminfo: memFree=30618252/32770624 swapFree=67108860/67108860
[pid=2927] ppid=2924 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2927/stat : 2927 (xcsp3-exec) S 2924 2927 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 22185836 9740288 345 18446744073709551615 4194304 5098028 140737286734784 140737286732888 140067820634748 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 15650816 140737286742394 140737286742598 140737286742598 140737286746091 0
/proc/2927/statm: 2378 345 289 221 0 87 0
[pid=2929] ppid=2927 vsize=13980732 memory=324444 CPUtime=1502.18 cores=1,3,5,7
/proc/2929/stat : 2929 (java) S 2927 2927 7968 0 -1 1077944320 201501 0 0 0 150073 145 0 0 20 0 15 0 22185845 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 140724573941472 139770438450935 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
/proc/2929/statm: 3495183 81111 3267 1 0 3483476 0
[pid=2929/tid=2930] ppid=2927 vsize=13980732 memory=4278483708103473607 CPUtime=1445.92 cores=1,3,5,7
/proc/2929/task/2930/stat : 2930 (java) R 2927 2927 7968 0 -1 4202560 32069 0 0 0 144582 10 0 0 20 0 15 0 22185845 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139770442690336 139770073238286 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2931] ppid=2927 vsize=13980732 memory=4126316290023845779 CPUtime=9.61 cores=1,3,5,7
/proc/2929/task/2931/stat : 2931 (java) S 2927 2927 7968 0 -1 1077944384 8541 0 0 0 940 21 0 0 20 0 15 0 22185846 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139770395417616 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2932] ppid=2927 vsize=13980732 memory=1152 CPUtime=9.58 cores=1,3,5,7
/proc/2929/task/2932/stat : 2932 (java) S 2927 2927 7968 0 -1 1077944384 8686 0 0 0 938 20 0 0 20 0 15 0 22185846 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139770394365072 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2933] ppid=2927 vsize=13980732 memory=3324 CPUtime=9.6 cores=1,3,5,7
/proc/2929/task/2933/stat : 2933 (java) S 2927 2927 7968 0 -1 1077944384 8299 0 0 0 940 20 0 0 20 0 15 0 22185846 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139770393312016 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2934] ppid=2927 vsize=13980732 memory=1380 CPUtime=9.57 cores=1,3,5,7
/proc/2929/task/2934/stat : 2934 (java) S 2927 2927 7968 0 -1 1077944384 6886 0 0 0 937 20 0 0 20 0 15 0 22185846 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139770392259472 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2935] ppid=2927 vsize=13980732 memory=324444 CPUtime=1.36 cores=1,3,5,7
/proc/2929/task/2935/stat : 2935 (java) S 2927 2927 7968 0 -1 1077944384 32031 0 0 0 123 13 0 0 20 0 15 0 22185847 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769984215280 139770438462082 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2936] ppid=2927 vsize=13980732 memory=3880 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2936/stat : 2936 (java) S 2927 2927 7968 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 22185848 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769983161504 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2937] ppid=2927 vsize=13980732 memory=928 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2937/stat : 2937 (java) S 2927 2927 7968 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 22185848 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769982108400 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2938] ppid=2927 vsize=13980732 memory=2164 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2938/stat : 2938 (java) S 2927 2927 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22185850 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769981056976 139770438469531 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2939] ppid=2927 vsize=13980732 memory=840 CPUtime=7.52 cores=1,3,5,7
/proc/2929/task/2939/stat : 2939 (java) S 2927 2927 7968 0 -1 1077944384 40989 0 0 0 747 5 0 0 20 0 15 0 22185850 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769778531056 139770438462082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2940] ppid=2927 vsize=13980732 memory=4060 CPUtime=7.33 cores=1,3,5,7
/proc/2929/task/2940/stat : 2940 (java) S 2927 2927 7968 0 -1 1077944384 47066 0 0 0 729 4 0 0 20 0 15 0 22185851 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769777478512 139770438462082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2941] ppid=2927 vsize=13980732 memory=1160 CPUtime=0.99 cores=1,3,5,7
/proc/2929/task/2941/stat : 2941 (java) S 2927 2927 7968 0 -1 1077944384 14566 0 0 0 96 3 0 0 20 0 15 0 22185851 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769776425456 139770438462082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2942] ppid=2927 vsize=13980732 memory=3248 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2942/stat : 2942 (java) S 2927 2927 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22185851 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769775373152 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2943] ppid=2927 vsize=13980732 memory=1376 CPUtime=0.58 cores=1,3,5,7
/proc/2929/task/2943/stat : 2943 (java) S 2927 2927 7968 0 -1 1077944384 1011 0 0 0 25 33 0 0 20 0 15 0 22185856 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769774320176 139770438462082 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
Current children cumulated CPU time: 1502.18 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 325824 KiB
[startup+1458.11 s]
/proc/loadavg: 1.53 1.50 1.56 3/213 3097
/proc/meminfo: memFree=30618252/32770624 swapFree=67108860/67108860
[pid=2927] ppid=2924 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2927/stat : 2927 (xcsp3-exec) S 2924 2927 7968 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 22185836 9740288 345 18446744073709551615 4194304 5098028 140737286734784 140737286732888 140067820634748 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 9 0 0 7196144 7232144 15650816 140737286742394 140737286742598 140737286742598 140737286746091 0
/proc/2927/statm: 2378 345 289 221 0 87 0
[pid=2929] ppid=2927 vsize=13980732 memory=324444 CPUtime=1502.28 cores=1,3,5,7
/proc/2929/stat : 2929 (java) S 2927 2927 7968 0 -1 1077944320 201501 0 0 0 150083 145 0 0 20 0 15 0 22185845 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 140724573941472 139770438450935 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
/proc/2929/statm: 3495183 81111 3267 1 0 3483476 0
[pid=2929/tid=2930] ppid=2927 vsize=13980732 memory=324444 CPUtime=1446.02 cores=1,3,5,7
/proc/2929/task/2930/stat : 2930 (java) R 2927 2927 7968 0 -1 4202560 32069 0 0 0 144592 10 0 0 20 0 15 0 22185845 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139770442690336 139770071323780 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2931] ppid=2927 vsize=13980732 memory=1380 CPUtime=9.61 cores=1,3,5,7
/proc/2929/task/2931/stat : 2931 (java) S 2927 2927 7968 0 -1 1077944384 8541 0 0 0 940 21 0 0 20 0 15 0 22185846 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139770395417616 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2932] ppid=2927 vsize=13980732 memory=324444 CPUtime=9.58 cores=1,3,5,7
/proc/2929/task/2932/stat : 2932 (java) S 2927 2927 7968 0 -1 1077944384 8686 0 0 0 938 20 0 0 20 0 15 0 22185846 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139770394365072 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2933] ppid=2927 vsize=13980732 memory=324444 CPUtime=9.6 cores=1,3,5,7
/proc/2929/task/2933/stat : 2933 (java) S 2927 2927 7968 0 -1 1077944384 8299 0 0 0 940 20 0 0 20 0 15 0 22185846 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139770393312016 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2934] ppid=2927 vsize=13980732 memory=324444 CPUtime=9.57 cores=1,3,5,7
/proc/2929/task/2934/stat : 2934 (java) S 2927 2927 7968 0 -1 1077944384 6886 0 0 0 937 20 0 0 20 0 15 0 22185846 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139770392259472 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2935] ppid=2927 vsize=13980732 memory=1380 CPUtime=1.36 cores=1,3,5,7
/proc/2929/task/2935/stat : 2935 (java) S 2927 2927 7968 0 -1 1077944384 32031 0 0 0 123 13 0 0 20 0 15 0 22185847 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769984215280 139770438462082 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2936] ppid=2927 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2936/stat : 2936 (java) S 2927 2927 7968 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 22185848 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769983161504 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2937] ppid=2927 vsize=13980732 memory=324444 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2937/stat : 2937 (java) S 2927 2927 7968 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 22185848 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769982108400 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2938] ppid=2927 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2938/stat : 2938 (java) S 2927 2927 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22185850 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769981056976 139770438469531 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2939] ppid=2927 vsize=13980732 memory=2836 CPUtime=7.52 cores=1,3,5,7
/proc/2929/task/2939/stat : 2939 (java) S 2927 2927 7968 0 -1 1077944384 40989 0 0 0 747 5 0 0 20 0 15 0 22185850 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769778531056 139770438462082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2940] ppid=2927 vsize=13980732 memory=2752 CPUtime=7.33 cores=1,3,5,7
/proc/2929/task/2940/stat : 2940 (java) S 2927 2927 7968 0 -1 1077944384 47066 0 0 0 729 4 0 0 20 0 15 0 22185851 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769777478512 139770438462082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2941] ppid=2927 vsize=13980732 memory=1380 CPUtime=0.99 cores=1,3,5,7
/proc/2929/task/2941/stat : 2941 (java) S 2927 2927 7968 0 -1 1077944384 14566 0 0 0 96 3 0 0 20 0 15 0 22185851 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769776425456 139770438462082 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2942] ppid=2927 vsize=13980732 memory=324444 CPUtime=0 cores=1,3,5,7
/proc/2929/task/2942/stat : 2942 (java) S 2927 2927 7968 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 22185851 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769775373152 139770438461141 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
[pid=2929/tid=2943] ppid=2927 vsize=13980732 memory=1296 CPUtime=0.58 cores=1,3,5,7
/proc/2929/task/2943/stat : 2943 (java) S 2927 2927 7968 0 -1 1077944384 1011 0 0 0 25 33 0 0 20 0 15 0 22185856 14316269568 81111 18446744073709551615 4194304 4196468 140724573958928 139769774320176 139770438462082 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34500608 140724573966770 140724573966946 140724573966946 140724573970383 0
Current children cumulated CPU time: 1502.28 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 325824 KiB
Child status: 0
Real time (s): 1458.12
CPU time (s): 1502.31
CPU user time (s): 1500.84
CPU system time (s): 1.4619
CPU usage (%): 103.03
Max. virtual memory (cumulated for all children) (KiB): 13994020
Max. memory (cumulated for all children) (KiB): 531412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1500.84
system time used= 1.4619
maximum resident set size= 548444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 202126
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 63831
involuntary context switches= 2276
# summary of solver processes directly reported to runsolver:
# pid: 2927
# total CPU time (s): 1502.31
# total CPU user time (s): 1500.84
# total CPU system time (s): 1.4619
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.40038 second user time and 14.0303 second system time
The end