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-4246995-1502091906/watcher-4246995-1502091906 -o /tmp/evaluation-result-4246995-1502091906/solver-4246995-1502091906 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502078046-15621 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 4 -ml 10000 -tdir HOME -seed 1394786473 HOME/instance-4246995-1502091906.xml
pid=21836
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: 7.68 8.06 7.76 6/208 21839
/proc/meminfo: memFree=31190332/32770624 swapFree=0/373900
[pid=21839] ppid=21836 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/21839/stat : 21839 (runsolver) D 21836 21839 2911 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 108843775 24240128 106 18446744073709551615 4194304 4338465 140733945129072 140733945126712 140347374895831 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 11128832 140733945131094 140733945131593 140733945131593 140733945135050 0
/proc/21839/statm: 5918 106 53 36 0 2156 0
[startup+0.100161 s]
/proc/loadavg: 7.68 8.06 7.76 6/208 21839
/proc/meminfo: memFree=31190332/32770624 swapFree=0/373900
[pid=21839] ppid=21836 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21839/stat : 21839 (xcsp3-exec) S 21836 21839 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108843775 9740288 344 18446744073709551615 4194304 5098028 140729710194128 140729710192232 139680922137212 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 20230144 140729710195096 140729710195306 140729710195306 140729710198763 0
/proc/21839/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200351 s]
/proc/loadavg: 7.68 8.06 7.76 6/208 21839
/proc/meminfo: memFree=31190332/32770624 swapFree=0/373900
[pid=21839] ppid=21836 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21839/stat : 21839 (xcsp3-exec) S 21836 21839 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108843775 9740288 344 18446744073709551615 4194304 5098028 140729710194128 140729710192232 139680922137212 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 20230144 140729710195096 140729710195306 140729710195306 140729710198763 0
/proc/21839/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300309 s]
/proc/loadavg: 7.68 8.06 7.76 6/208 21839
/proc/meminfo: memFree=31190332/32770624 swapFree=0/373900
[pid=21839] ppid=21836 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21839/stat : 21839 (xcsp3-exec) S 21836 21839 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108843775 9740288 344 18446744073709551615 4194304 5098028 140729710194128 140729710192232 139680922137212 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 20230144 140729710195096 140729710195306 140729710195306 140729710198763 0
/proc/21839/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.701178 s]
/proc/loadavg: 7.68 8.06 7.76 6/208 21839
/proc/meminfo: memFree=31190332/32770624 swapFree=0/373900
[pid=21839] ppid=21836 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21839/stat : 21839 (xcsp3-exec) S 21836 21839 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108843775 9740288 344 18446744073709551615 4194304 5098028 140729710194128 140729710192232 139680922137212 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 20230144 140729710195096 140729710195306 140729710195306 140729710198763 0
/proc/21839/statm: 2378 344 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50074 s]
/proc/loadavg: 7.68 8.06 7.76 7/224 21855
/proc/meminfo: memFree=31036832/32770624 swapFree=0/373912
[pid=21839] ppid=21836 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21839/stat : 21839 (xcsp3-exec) S 21836 21839 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108843775 9740288 344 18446744073709551615 4194304 5098028 140729710194128 140729710192232 139680922137212 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 20230144 140729710195096 140729710195306 140729710195306 140729710198763 0
/proc/21839/statm: 2378 344 289 221 0 87 0
[pid=21841] ppid=21839 vsize=12919328 CPUtime=3.2 cores=0,2,4,6
/proc/21841/stat : 21841 (java) S 21839 21839 2911 0 -1 1077944320 23173 0 0 0 309 11 0 0 20 0 15 0 108843785 13229391872 51419 18446744073709551615 4194304 4196468 140734850764976 140734850747520 139678377103095 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
/proc/21841/statm: 3229832 51419 3223 1 0 3218124 0
[pid=21841/tid=21842] ppid=21839 vsize=12919328 CPUtime=1.33 cores=0,2,4,6
/proc/21841/task/21842/stat : 21842 (java) R 21839 21839 2911 0 -1 4202560 9986 0 0 0 127 6 0 0 20 0 15 0 108843785 13229391872 51419 18446744073709551615 4194304 4196468 140734850764976 139678381340224 139678359511253 0 4 1 16800974 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21843] ppid=21839 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21843/stat : 21843 (java) S 21839 21839 2911 0 -1 1077944384 138 0 0 0 0 0 0 0 20 0 15 0 108843786 13229391872 51419 18446744073709551615 4194304 4196468 140734850764976 139678313585680 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21844] ppid=21839 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21844/stat : 21844 (java) S 21839 21839 2911 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 15 0 108843786 13229391872 51419 18446744073709551615 4194304 4196468 140734850764976 139678312533136 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21845] ppid=21839 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21845/stat : 21845 (java) S 21839 21839 2911 0 -1 1077944384 392 0 0 0 0 0 0 0 20 0 15 0 108843786 13229391872 51419 18446744073709551615 4194304 4196468 140734850764976 139678311480080 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21846] ppid=21839 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21846/stat : 21846 (java) S 21839 21839 2911 0 -1 1077944384 402 0 0 0 0 0 0 0 20 0 15 0 108843786 13229391872 51419 18446744073709551615 4194304 4196468 140734850764976 139678310427536 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21847] ppid=21839 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21847/stat : 21847 (java) S 21839 21839 2911 0 -1 1077944384 335 0 0 0 0 0 0 0 20 0 15 0 108843787 13229391872 51419 18446744073709551615 4194304 4196468 140734850764976 139677861161200 139678377114242 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21848] ppid=21839 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21848/stat : 21848 (java) S 21839 21839 2911 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 15 0 108843788 13229391872 51419 18446744073709551615 4194304 4196468 140734850764976 139677860107424 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21849] ppid=21839 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21849/stat : 21849 (java) S 21839 21839 2911 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 108843788 13229391872 51419 18446744073709551615 4194304 4196468 140734850764976 139677859054320 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21850] ppid=21839 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21850/stat : 21850 (java) S 21839 21839 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108843790 13229391872 51419 18446744073709551615 4194304 4196468 140734850764976 139677858002896 139678377121691 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21851] ppid=21839 vsize=12919328 CPUtime=0.67 cores=0,2,4,6
/proc/21841/task/21851/stat : 21851 (java) S 21839 21839 2911 0 -1 1077944384 3579 0 0 0 67 0 0 0 20 0 15 0 108843791 13229391872 51419 18446744073709551615 4194304 4196468 140734850764976 139677856951024 139678377114242 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21852] ppid=21839 vsize=12919328 CPUtime=0.62 cores=0,2,4,6
/proc/21841/task/21852/stat : 21852 (java) S 21839 21839 2911 0 -1 1077944384 2593 0 0 0 62 0 0 0 20 0 15 0 108843791 13229391872 51419 18446744073709551615 4194304 4196468 140734850764976 139677855898480 139678377114242 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21853] ppid=21839 vsize=12919328 CPUtime=0.5 cores=0,2,4,6
/proc/21841/task/21853/stat : 21853 (java) S 21839 21839 2911 0 -1 1077944384 4211 0 0 0 49 1 0 0 20 0 15 0 108843791 13229391872 51419 18446744073709551615 4194304 4196468 140734850764976 139677854845424 139678377114242 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21854] ppid=21839 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21854/stat : 21854 (java) S 21839 21839 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 108843791 13229391872 51419 18446744073709551615 4194304 4196468 140734850764976 139677853793120 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21855] ppid=21839 vsize=12919328 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21855/stat : 21855 (java) S 21839 21839 2911 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 108843795 13229391872 51419 18446744073709551615 4194304 4196468 140734850764976 139677852740144 139678377114242 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
Current children cumulated CPU time (s) 3.2
Current children cumulated vsize (KiB) 12928840
[startup+3.10063 s]
/proc/loadavg: 7.68 8.06 7.76 13/228 21867
/proc/meminfo: memFree=30957964/32770624 swapFree=0/373912
[pid=21839] ppid=21836 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21839/stat : 21839 (xcsp3-exec) S 21836 21839 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108843775 9740288 344 18446744073709551615 4194304 5098028 140729710194128 140729710192232 139680922137212 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 20230144 140729710195096 140729710195306 140729710195306 140729710198763 0
/proc/21839/statm: 2378 344 289 221 0 87 0
[pid=21841] ppid=21839 vsize=13186612 CPUtime=9.41 cores=0,2,4,6
/proc/21841/stat : 21841 (java) S 21839 21839 2911 0 -1 1077944320 26301 0 0 0 926 15 0 0 20 0 19 0 108843785 13503090688 61855 18446744073709551615 4194304 4196468 140734850764976 140734850747520 139678377103095 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
/proc/21841/statm: 3296653 61855 3250 1 0 3284945 0
[pid=21841/tid=21842] ppid=21839 vsize=13186612 CPUtime=1.39 cores=0,2,4,6
/proc/21841/task/21842/stat : 21842 (java) S 21839 21839 2911 0 -1 1077944384 10345 0 0 0 133 6 0 0 20 0 19 0 108843785 13503090688 61855 18446744073709551615 4194304 4196468 140734850764976 139678381343872 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21843] ppid=21839 vsize=13186612 CPUtime=0.03 cores=0,2,4,6
/proc/21841/task/21843/stat : 21843 (java) S 21839 21839 2911 0 -1 1077944384 157 0 0 0 2 1 0 0 20 0 19 0 108843786 13503090688 61855 18446744073709551615 4194304 4196468 140734850764976 139678313585680 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21844] ppid=21839 vsize=13186612 CPUtime=0.02 cores=0,2,4,6
/proc/21841/task/21844/stat : 21844 (java) S 21839 21839 2911 0 -1 1077944384 154 0 0 0 1 1 0 0 20 0 19 0 108843786 13503090688 61855 18446744073709551615 4194304 4196468 140734850764976 139678312533136 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21845] ppid=21839 vsize=13186612 CPUtime=0.03 cores=0,2,4,6
/proc/21841/task/21845/stat : 21845 (java) S 21839 21839 2911 0 -1 1077944384 424 0 0 0 2 1 0 0 20 0 19 0 108843786 13503090688 61855 18446744073709551615 4194304 4196468 140734850764976 139678311480080 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21846] ppid=21839 vsize=13186612 CPUtime=0.03 cores=0,2,4,6
/proc/21841/task/21846/stat : 21846 (java) S 21839 21839 2911 0 -1 1077944384 421 0 0 0 2 1 0 0 20 0 19 0 108843786 13503090688 61855 18446744073709551615 4194304 4196468 140734850764976 139678310427536 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21847] ppid=21839 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21847/stat : 21847 (java) S 21839 21839 2911 0 -1 1077944384 344 0 0 0 0 0 0 0 20 0 19 0 108843787 13503090688 61855 18446744073709551615 4194304 4196468 140734850764976 139677861161200 139678377114242 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21848] ppid=21839 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21848/stat : 21848 (java) S 21839 21839 2911 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 108843788 13503090688 61855 18446744073709551615 4194304 4196468 140734850764976 139677860107488 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21849] ppid=21839 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21849/stat : 21849 (java) S 21839 21839 2911 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 108843788 13503090688 61855 18446744073709551615 4194304 4196468 140734850764976 139677859054336 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21850] ppid=21839 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21850/stat : 21850 (java) S 21839 21839 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108843790 13503090688 61855 18446744073709551615 4194304 4196468 140734850764976 139677858002896 139678377121691 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21851] ppid=21839 vsize=13186612 CPUtime=1.73 cores=0,2,4,6
/proc/21841/task/21851/stat : 21851 (java) R 21839 21839 2911 0 -1 4202560 3805 0 0 0 173 0 0 0 20 0 19 0 108843791 13503090688 61855 18446744073709551615 4194304 4196468 140734850764976 139677856941888 139678361984784 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21852] ppid=21839 vsize=13186612 CPUtime=1.85 cores=0,2,4,6
/proc/21841/task/21852/stat : 21852 (java) R 21839 21839 2911 0 -1 4202560 3983 0 0 0 185 0 0 0 20 0 19 0 108843791 13503090688 61855 18446744073709551615 4194304 4196468 140734850764976 139677855884984 139678362025042 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21853] ppid=21839 vsize=13186612 CPUtime=0.76 cores=0,2,4,6
/proc/21841/task/21853/stat : 21853 (java) R 21839 21839 2911 0 -1 1077944384 4765 0 0 0 75 1 0 0 20 0 19 0 108843791 13503090688 61855 18446744073709551615 4194304 4196468 140734850764976 139677854845424 139678377114242 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21854] ppid=21839 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21854/stat : 21854 (java) S 21839 21839 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108843791 13503090688 61855 18446744073709551615 4194304 4196468 140734850764976 139677853793120 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21855] ppid=21839 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21855/stat : 21855 (java) S 21839 21839 2911 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 19 0 108843795 13503090688 61855 18446744073709551615 4194304 4196468 140734850764976 139677852740144 139678377114242 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
Current children cumulated CPU time (s) 9.41
Current children cumulated vsize (KiB) 13196124
[startup+6.30107 s]
/proc/loadavg: 7.47 8.01 7.75 10/228 21879
/proc/meminfo: memFree=30955164/32770624 swapFree=0/373908
[pid=21839] ppid=21836 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21839/stat : 21839 (xcsp3-exec) S 21836 21839 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108843775 9740288 344 18446744073709551615 4194304 5098028 140729710194128 140729710192232 139680922137212 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 20230144 140729710195096 140729710195306 140729710195306 140729710198763 0
/proc/21839/statm: 2378 344 289 221 0 87 0
[pid=21841] ppid=21839 vsize=13186612 CPUtime=22.12 cores=0,2,4,6
/proc/21841/stat : 21841 (java) S 21839 21839 2911 0 -1 1077944320 27147 0 0 0 2196 16 0 0 20 0 19 0 108843785 13503090688 61448 18446744073709551615 4194304 4196468 140734850764976 140734850747520 139678377103095 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
/proc/21841/statm: 3296653 61448 3258 1 0 3284945 0
[pid=21841/tid=21842] ppid=21839 vsize=13186612 CPUtime=1.39 cores=0,2,4,6
/proc/21841/task/21842/stat : 21842 (java) S 21839 21839 2911 0 -1 1077944384 10347 0 0 0 133 6 0 0 20 0 19 0 108843785 13503090688 61448 18446744073709551615 4194304 4196468 140734850764976 139678381343872 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21843] ppid=21839 vsize=13186612 CPUtime=0.03 cores=0,2,4,6
/proc/21841/task/21843/stat : 21843 (java) S 21839 21839 2911 0 -1 1077944384 157 0 0 0 2 1 0 0 20 0 19 0 108843786 13503090688 61448 18446744073709551615 4194304 4196468 140734850764976 139678313585680 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21844] ppid=21839 vsize=13186612 CPUtime=0.02 cores=0,2,4,6
/proc/21841/task/21844/stat : 21844 (java) S 21839 21839 2911 0 -1 1077944384 154 0 0 0 1 1 0 0 20 0 19 0 108843786 13503090688 61448 18446744073709551615 4194304 4196468 140734850764976 139678312533136 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21845] ppid=21839 vsize=13186612 CPUtime=0.03 cores=0,2,4,6
/proc/21841/task/21845/stat : 21845 (java) S 21839 21839 2911 0 -1 1077944384 424 0 0 0 2 1 0 0 20 0 19 0 108843786 13503090688 61448 18446744073709551615 4194304 4196468 140734850764976 139678311480080 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21846] ppid=21839 vsize=13186612 CPUtime=0.03 cores=0,2,4,6
/proc/21841/task/21846/stat : 21846 (java) S 21839 21839 2911 0 -1 1077944384 421 0 0 0 2 1 0 0 20 0 19 0 108843786 13503090688 61448 18446744073709551615 4194304 4196468 140734850764976 139678310427536 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21847] ppid=21839 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21847/stat : 21847 (java) S 21839 21839 2911 0 -1 1077944384 345 0 0 0 0 0 0 0 20 0 19 0 108843787 13503090688 61448 18446744073709551615 4194304 4196468 140734850764976 139677861161200 139678377114242 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21848] ppid=21839 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21848/stat : 21848 (java) S 21839 21839 2911 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 19 0 108843788 13503090688 61448 18446744073709551615 4194304 4196468 140734850764976 139677860107488 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21849] ppid=21839 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21849/stat : 21849 (java) S 21839 21839 2911 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 19 0 108843788 13503090688 61448 18446744073709551615 4194304 4196468 140734850764976 139677859054336 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21850] ppid=21839 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21850/stat : 21850 (java) S 21839 21839 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108843790 13503090688 61448 18446744073709551615 4194304 4196468 140734850764976 139677858002896 139678377121691 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21851] ppid=21839 vsize=13186612 CPUtime=2.91 cores=0,2,4,6
/proc/21841/task/21851/stat : 21851 (java) S 21839 21839 2911 0 -1 1077944384 4006 0 0 0 290 1 0 0 20 0 19 0 108843791 13503090688 61448 18446744073709551615 4194304 4196468 140734850764976 139677856951024 139678377114242 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21852] ppid=21839 vsize=13186612 CPUtime=3.12 cores=0,2,4,6
/proc/21841/task/21852/stat : 21852 (java) S 21839 21839 2911 0 -1 1077944384 4176 0 0 0 312 0 0 0 20 0 19 0 108843791 13503090688 61448 18446744073709551615 4194304 4196468 140734850764976 139677855898480 139678377114242 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21853] ppid=21839 vsize=13186612 CPUtime=0.89 cores=0,2,4,6
/proc/21841/task/21853/stat : 21853 (java) S 21839 21839 2911 0 -1 1077944384 4949 0 0 0 88 1 0 0 20 0 19 0 108843791 13503090688 61448 18446744073709551615 4194304 4196468 140734850764976 139677854845424 139678377114242 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21854] ppid=21839 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21854/stat : 21854 (java) S 21839 21839 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108843791 13503090688 61448 18446744073709551615 4194304 4196468 140734850764976 139677853793120 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21855] ppid=21839 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21855/stat : 21855 (java) S 21839 21839 2911 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 19 0 108843795 13503090688 61448 18446744073709551615 4194304 4196468 140734850764976 139677852740144 139678377114242 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21876] ppid=21839 vsize=13186612 CPUtime=1.34 cores=0,2,4,6
/proc/21841/task/21876/stat : 21876 (java) R 21839 21839 2911 0 -1 4202560 25 0 0 0 134 0 0 0 20 0 19 0 108844268 13503090688 61448 18446744073709551615 4194304 4196468 140734850764976 139677844725032 139677996821066 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21877] ppid=21839 vsize=13186612 CPUtime=1.28 cores=0,2,4,6
/proc/21841/task/21877/stat : 21877 (java) R 21839 21839 2911 0 -1 4202560 111 0 0 0 128 0 0 0 20 0 19 0 108844268 13503090688 61448 18446744073709551615 4194304 4196468 140734850764976 139677842621096 139677997314028 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21878] ppid=21839 vsize=13186612 CPUtime=1.12 cores=0,2,4,6
/proc/21841/task/21878/stat : 21878 (java) R 21839 21839 2911 0 -1 4202560 22 0 0 0 112 0 0 0 20 0 19 0 108844268 13503090688 61448 18446744073709551615 4194304 4196468 140734850764976 139677843673864 139677996821089 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21879] ppid=21839 vsize=13186612 CPUtime=1.07 cores=0,2,4,6
/proc/21841/task/21879/stat : 21879 (java) R 21839 21839 2911 0 -1 4202560 20 0 0 0 107 0 0 0 20 0 19 0 108844268 13503090688 61448 18446744073709551615 4194304 4196468 140734850764976 139677841568056 139677996821089 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
Current children cumulated CPU time (s) 22.12
Current children cumulated vsize (KiB) 13196124
[startup+12.7011 s]
/proc/loadavg: 7.51 8.01 7.75 9/228 21879
/proc/meminfo: memFree=30897396/32770624 swapFree=0/373908
[pid=21839] ppid=21836 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21839/stat : 21839 (xcsp3-exec) S 21836 21839 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108843775 9740288 344 18446744073709551615 4194304 5098028 140729710194128 140729710192232 139680922137212 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 20230144 140729710195096 140729710195306 140729710195306 140729710198763 0
/proc/21839/statm: 2378 344 289 221 0 87 0
[pid=21841] ppid=21839 vsize=13186612 CPUtime=47.62 cores=0,2,4,6
################
# More data... #
################
/proc/21841/task/21849/stat : 21849 (java) S 21839 21839 2911 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 19 0 108843788 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677859054336 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21850] ppid=21839 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21850/stat : 21850 (java) S 21839 21839 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108843790 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677858002896 139678377121691 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21851] ppid=21839 vsize=13186612 CPUtime=3.42 cores=0,2,4,6
/proc/21841/task/21851/stat : 21851 (java) S 21839 21839 2911 0 -1 1077944384 10032 0 0 0 341 1 0 0 20 0 19 0 108843791 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677856951024 139678377114242 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21852] ppid=21839 vsize=13186612 CPUtime=3.81 cores=0,2,4,6
/proc/21841/task/21852/stat : 21852 (java) S 21839 21839 2911 0 -1 1077944384 13848 0 0 0 380 1 0 0 20 0 19 0 108843791 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677855898480 139678377114242 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21853] ppid=21839 vsize=13186612 CPUtime=0.94 cores=0,2,4,6
/proc/21841/task/21853/stat : 21853 (java) S 21839 21839 2911 0 -1 1077944384 6623 0 0 0 93 1 0 0 20 0 19 0 108843791 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677854845424 139678377114242 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21854] ppid=21839 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21854/stat : 21854 (java) S 21839 21839 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108843791 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677853793120 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21855] ppid=21839 vsize=13186612 CPUtime=0.04 cores=0,2,4,6
/proc/21841/task/21855/stat : 21855 (java) S 21839 21839 2911 0 -1 1077944384 529 0 0 0 0 4 0 0 20 0 19 0 108843795 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677852740144 139678377114242 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21876] ppid=21839 vsize=13186612 CPUtime=117.63 cores=0,2,4,6
/proc/21841/task/21876/stat : 21876 (java) R 21839 21839 2911 0 -1 4202560 1447 0 0 0 11762 1 0 0 20 0 19 0 108844268 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677844728080 139677997313327 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21877] ppid=21839 vsize=13186612 CPUtime=117.53 cores=0,2,4,6
/proc/21841/task/21877/stat : 21877 (java) R 21839 21839 2911 0 -1 4202560 1745 0 0 0 11752 1 0 0 20 0 19 0 108844268 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677842622392 139677996820608 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21878] ppid=21839 vsize=13186612 CPUtime=116.87 cores=0,2,4,6
/proc/21841/task/21878/stat : 21878 (java) R 21839 21839 2911 0 -1 4202560 3615 0 0 0 11677 10 0 0 20 0 19 0 108844268 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677843673720 139677997314234 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21879] ppid=21839 vsize=13186612 CPUtime=117.05 cores=0,2,4,6
/proc/21841/task/21879/stat : 21879 (java) R 21839 21839 2911 0 -1 4202560 968 0 0 0 11705 0 0 0 20 0 19 0 108844268 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677841568152 139677996821424 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
Current children cumulated CPU time (s) 488.1
Current children cumulated vsize (KiB) 13196124
[startup+123.601 s]
/proc/loadavg: 8.40 8.13 7.82 9/225 21883
/proc/meminfo: memFree=30086100/32770624 swapFree=0/373964
[pid=21839] ppid=21836 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21839/stat : 21839 (xcsp3-exec) S 21836 21839 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108843775 9740288 344 18446744073709551615 4194304 5098028 140729710194128 140729710192232 139680922137212 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 20230144 140729710195096 140729710195306 140729710195306 140729710198763 0
/proc/21839/statm: 2378 344 289 221 0 87 0
[pid=21841] ppid=21839 vsize=13186612 CPUtime=489.68 cores=0,2,4,6
/proc/21841/stat : 21841 (java) S 21839 21839 2911 0 -1 1077944320 59675 0 0 0 48921 47 0 0 20 0 19 0 108843785 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 140734850747520 139678377103095 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
/proc/21841/statm: 3296653 285099 3261 1 0 3284945 0
[pid=21841/tid=21842] ppid=21839 vsize=13186612 CPUtime=1.39 cores=0,2,4,6
/proc/21841/task/21842/stat : 21842 (java) S 21839 21839 2911 0 -1 1077944384 10347 0 0 0 133 6 0 0 20 0 19 0 108843785 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139678381343872 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21843] ppid=21839 vsize=13186612 CPUtime=0.13 cores=0,2,4,6
/proc/21841/task/21843/stat : 21843 (java) S 21839 21839 2911 0 -1 1077944384 1937 0 0 0 8 5 0 0 20 0 19 0 108843786 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139678313585680 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21844] ppid=21839 vsize=13186612 CPUtime=0.12 cores=0,2,4,6
/proc/21841/task/21844/stat : 21844 (java) S 21839 21839 2911 0 -1 1077944384 1088 0 0 0 7 5 0 0 20 0 19 0 108843786 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139678312533136 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21845] ppid=21839 vsize=13186612 CPUtime=0.13 cores=0,2,4,6
/proc/21841/task/21845/stat : 21845 (java) S 21839 21839 2911 0 -1 1077944384 838 0 0 0 8 5 0 0 20 0 19 0 108843786 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139678311480080 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21846] ppid=21839 vsize=13186612 CPUtime=0.13 cores=0,2,4,6
/proc/21841/task/21846/stat : 21846 (java) S 21839 21839 2911 0 -1 1077944384 2820 0 0 0 8 5 0 0 20 0 19 0 108843786 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139678310427536 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21847] ppid=21839 vsize=13186612 CPUtime=0.03 cores=0,2,4,6
/proc/21841/task/21847/stat : 21847 (java) S 21839 21839 2911 0 -1 1077944384 1739 0 0 0 2 1 0 0 20 0 19 0 108843787 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677861161200 139678377114242 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21848] ppid=21839 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21848/stat : 21848 (java) S 21839 21839 2911 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 19 0 108843788 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677860107488 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21849] ppid=21839 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21849/stat : 21849 (java) S 21839 21839 2911 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 19 0 108843788 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677859054336 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21850] ppid=21839 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21850/stat : 21850 (java) S 21839 21839 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108843790 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677858002896 139678377121691 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21851] ppid=21839 vsize=13186612 CPUtime=3.42 cores=0,2,4,6
/proc/21841/task/21851/stat : 21851 (java) S 21839 21839 2911 0 -1 1077944384 10032 0 0 0 341 1 0 0 20 0 19 0 108843791 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677856951024 139678377114242 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21852] ppid=21839 vsize=13186612 CPUtime=3.81 cores=0,2,4,6
/proc/21841/task/21852/stat : 21852 (java) S 21839 21839 2911 0 -1 1077944384 13848 0 0 0 380 1 0 0 20 0 19 0 108843791 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677855898480 139678377114242 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21853] ppid=21839 vsize=13186612 CPUtime=0.94 cores=0,2,4,6
/proc/21841/task/21853/stat : 21853 (java) S 21839 21839 2911 0 -1 1077944384 6721 0 0 0 93 1 0 0 20 0 19 0 108843791 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677854845424 139678377114242 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21854] ppid=21839 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21854/stat : 21854 (java) S 21839 21839 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108843791 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677853793120 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21855] ppid=21839 vsize=13186612 CPUtime=0.04 cores=0,2,4,6
/proc/21841/task/21855/stat : 21855 (java) S 21839 21839 2911 0 -1 1077944384 529 0 0 0 0 4 0 0 20 0 19 0 108843795 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677852740144 139678377114242 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21876] ppid=21839 vsize=13186612 CPUtime=118.02 cores=0,2,4,6
/proc/21841/task/21876/stat : 21876 (java) R 21839 21839 2911 0 -1 4202560 1447 0 0 0 11801 1 0 0 20 0 19 0 108844268 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677844728080 139677996821089 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21877] ppid=21839 vsize=13186612 CPUtime=117.92 cores=0,2,4,6
/proc/21841/task/21877/stat : 21877 (java) R 21839 21839 2911 0 -1 4202560 1745 0 0 0 11791 1 0 0 20 0 19 0 108844268 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677842622888 139677992926194 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21878] ppid=21839 vsize=13186612 CPUtime=117.26 cores=0,2,4,6
/proc/21841/task/21878/stat : 21878 (java) R 21839 21839 2911 0 -1 4202560 3615 0 0 0 11716 10 0 0 20 0 19 0 108844268 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677843675992 139677997313327 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21879] ppid=21839 vsize=13186612 CPUtime=117.45 cores=0,2,4,6
/proc/21841/task/21879/stat : 21879 (java) R 21839 21839 2911 0 -1 4202560 968 0 0 0 11745 0 0 0 20 0 19 0 108844268 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677841568152 139677997313927 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
Current children cumulated CPU time (s) 489.68
Current children cumulated vsize (KiB) 13196124
[startup+123.801 s]
/proc/loadavg: 8.40 8.13 7.82 9/225 21883
/proc/meminfo: memFree=30086100/32770624 swapFree=0/373964
[pid=21839] ppid=21836 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21839/stat : 21839 (xcsp3-exec) S 21836 21839 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108843775 9740288 344 18446744073709551615 4194304 5098028 140729710194128 140729710192232 139680922137212 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 20230144 140729710195096 140729710195306 140729710195306 140729710198763 0
/proc/21839/statm: 2378 344 289 221 0 87 0
[pid=21841] ppid=21839 vsize=13186612 CPUtime=490.47 cores=0,2,4,6
/proc/21841/stat : 21841 (java) S 21839 21839 2911 0 -1 1077944320 59680 0 0 0 49000 47 0 0 20 0 19 0 108843785 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 140734850747520 139678377103095 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
/proc/21841/statm: 3296653 285099 3261 1 0 3284945 0
[pid=21841/tid=21842] ppid=21839 vsize=13186612 CPUtime=1.39 cores=0,2,4,6
/proc/21841/task/21842/stat : 21842 (java) S 21839 21839 2911 0 -1 1077944384 10347 0 0 0 133 6 0 0 20 0 19 0 108843785 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139678381343872 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21843] ppid=21839 vsize=13186612 CPUtime=0.13 cores=0,2,4,6
/proc/21841/task/21843/stat : 21843 (java) S 21839 21839 2911 0 -1 1077944384 1937 0 0 0 8 5 0 0 20 0 19 0 108843786 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139678313585680 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21844] ppid=21839 vsize=13186612 CPUtime=0.12 cores=0,2,4,6
/proc/21841/task/21844/stat : 21844 (java) S 21839 21839 2911 0 -1 1077944384 1088 0 0 0 7 5 0 0 20 0 19 0 108843786 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139678312533136 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21845] ppid=21839 vsize=13186612 CPUtime=0.13 cores=0,2,4,6
/proc/21841/task/21845/stat : 21845 (java) S 21839 21839 2911 0 -1 1077944384 838 0 0 0 8 5 0 0 20 0 19 0 108843786 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139678311480080 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21846] ppid=21839 vsize=13186612 CPUtime=0.13 cores=0,2,4,6
/proc/21841/task/21846/stat : 21846 (java) S 21839 21839 2911 0 -1 1077944384 2820 0 0 0 8 5 0 0 20 0 19 0 108843786 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139678310427536 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21847] ppid=21839 vsize=13186612 CPUtime=0.03 cores=0,2,4,6
/proc/21841/task/21847/stat : 21847 (java) S 21839 21839 2911 0 -1 1077944384 1741 0 0 0 2 1 0 0 20 0 19 0 108843787 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677861161200 139678377114242 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21848] ppid=21839 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21848/stat : 21848 (java) S 21839 21839 2911 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 19 0 108843788 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677860107488 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21849] ppid=21839 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21849/stat : 21849 (java) S 21839 21839 2911 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 19 0 108843788 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677859054336 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21850] ppid=21839 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21850/stat : 21850 (java) S 21839 21839 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108843790 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677858002896 139678377121691 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21851] ppid=21839 vsize=13186612 CPUtime=3.42 cores=0,2,4,6
/proc/21841/task/21851/stat : 21851 (java) S 21839 21839 2911 0 -1 1077944384 10032 0 0 0 341 1 0 0 20 0 19 0 108843791 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677856951024 139678377114242 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21852] ppid=21839 vsize=13186612 CPUtime=3.81 cores=0,2,4,6
/proc/21841/task/21852/stat : 21852 (java) S 21839 21839 2911 0 -1 1077944384 13848 0 0 0 380 1 0 0 20 0 19 0 108843791 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677855898480 139678377114242 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21853] ppid=21839 vsize=13186612 CPUtime=0.94 cores=0,2,4,6
/proc/21841/task/21853/stat : 21853 (java) S 21839 21839 2911 0 -1 1077944384 6721 0 0 0 93 1 0 0 20 0 19 0 108843791 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677854845424 139678377114242 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21854] ppid=21839 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21854/stat : 21854 (java) S 21839 21839 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108843791 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677853793120 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21855] ppid=21839 vsize=13186612 CPUtime=0.04 cores=0,2,4,6
/proc/21841/task/21855/stat : 21855 (java) S 21839 21839 2911 0 -1 1077944384 529 0 0 0 0 4 0 0 20 0 19 0 108843795 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677852740144 139678377114242 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21876] ppid=21839 vsize=13186612 CPUtime=118.22 cores=0,2,4,6
/proc/21841/task/21876/stat : 21876 (java) R 21839 21839 2911 0 -1 4202560 1447 0 0 0 11821 1 0 0 20 0 19 0 108844268 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677844724976 139677997315801 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21877] ppid=21839 vsize=13186612 CPUtime=118.12 cores=0,2,4,6
/proc/21841/task/21877/stat : 21877 (java) R 21839 21839 2911 0 -1 4202560 1748 0 0 0 11811 1 0 0 20 0 19 0 108844268 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677842620176 139677997314160 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21878] ppid=21839 vsize=13186612 CPUtime=117.46 cores=0,2,4,6
/proc/21841/task/21878/stat : 21878 (java) R 21839 21839 2911 0 -1 4202560 3615 0 0 0 11736 10 0 0 20 0 19 0 108844268 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677843673512 139677996821424 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21879] ppid=21839 vsize=13186612 CPUtime=117.65 cores=0,2,4,6
/proc/21841/task/21879/stat : 21879 (java) R 21839 21839 2911 0 -1 4202560 968 0 0 0 11765 0 0 0 20 0 19 0 108844268 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677841567640 139677996820951 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
Current children cumulated CPU time (s) 490.47
Current children cumulated vsize (KiB) 13196124
[startup+123.901 s]
/proc/loadavg: 8.40 8.13 7.82 9/225 21883
/proc/meminfo: memFree=30086100/32770624 swapFree=0/373964
[pid=21839] ppid=21836 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/21839/stat : 21839 (xcsp3-exec) S 21836 21839 2911 0 -1 4202496 508 0 0 0 0 0 0 0 20 0 1 0 108843775 9740288 344 18446744073709551615 4194304 5098028 140729710194128 140729710192232 139680922137212 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 9 0 0 7196144 7232144 20230144 140729710195096 140729710195306 140729710195306 140729710198763 0
/proc/21839/statm: 2378 344 289 221 0 87 0
[pid=21841] ppid=21839 vsize=13186612 CPUtime=490.87 cores=0,2,4,6
/proc/21841/stat : 21841 (java) S 21839 21839 2911 0 -1 1077944320 59680 0 0 0 49040 47 0 0 20 0 19 0 108843785 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 140734850747520 139678377103095 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
/proc/21841/statm: 3296653 285099 3261 1 0 3284945 0
[pid=21841/tid=21842] ppid=21839 vsize=13186612 CPUtime=1.39 cores=0,2,4,6
/proc/21841/task/21842/stat : 21842 (java) S 21839 21839 2911 0 -1 1077944384 10347 0 0 0 133 6 0 0 20 0 19 0 108843785 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139678381343872 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21843] ppid=21839 vsize=13186612 CPUtime=0.13 cores=0,2,4,6
/proc/21841/task/21843/stat : 21843 (java) S 21839 21839 2911 0 -1 1077944384 1937 0 0 0 8 5 0 0 20 0 19 0 108843786 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139678313585680 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21844] ppid=21839 vsize=13186612 CPUtime=0.12 cores=0,2,4,6
/proc/21841/task/21844/stat : 21844 (java) S 21839 21839 2911 0 -1 1077944384 1088 0 0 0 7 5 0 0 20 0 19 0 108843786 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139678312533136 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21845] ppid=21839 vsize=13186612 CPUtime=0.13 cores=0,2,4,6
/proc/21841/task/21845/stat : 21845 (java) S 21839 21839 2911 0 -1 1077944384 838 0 0 0 8 5 0 0 20 0 19 0 108843786 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139678311480080 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21846] ppid=21839 vsize=13186612 CPUtime=0.13 cores=0,2,4,6
/proc/21841/task/21846/stat : 21846 (java) S 21839 21839 2911 0 -1 1077944384 2820 0 0 0 8 5 0 0 20 0 19 0 108843786 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139678310427536 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21847] ppid=21839 vsize=13186612 CPUtime=0.03 cores=0,2,4,6
/proc/21841/task/21847/stat : 21847 (java) S 21839 21839 2911 0 -1 1077944384 1741 0 0 0 2 1 0 0 20 0 19 0 108843787 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677861161200 139678377114242 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21848] ppid=21839 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21848/stat : 21848 (java) S 21839 21839 2911 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 19 0 108843788 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677860107488 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21849] ppid=21839 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21849/stat : 21849 (java) S 21839 21839 2911 0 -1 1077944384 88 0 0 0 0 0 0 0 20 0 19 0 108843788 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677859054336 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21850] ppid=21839 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21850/stat : 21850 (java) S 21839 21839 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108843790 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677858002896 139678377121691 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21851] ppid=21839 vsize=13186612 CPUtime=3.42 cores=0,2,4,6
/proc/21841/task/21851/stat : 21851 (java) S 21839 21839 2911 0 -1 1077944384 10032 0 0 0 341 1 0 0 20 0 19 0 108843791 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677856951024 139678377114242 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21852] ppid=21839 vsize=13186612 CPUtime=3.81 cores=0,2,4,6
/proc/21841/task/21852/stat : 21852 (java) S 21839 21839 2911 0 -1 1077944384 13848 0 0 0 380 1 0 0 20 0 19 0 108843791 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677855898480 139678377114242 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21853] ppid=21839 vsize=13186612 CPUtime=0.94 cores=0,2,4,6
/proc/21841/task/21853/stat : 21853 (java) S 21839 21839 2911 0 -1 1077944384 6721 0 0 0 93 1 0 0 20 0 19 0 108843791 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677854845424 139678377114242 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21854] ppid=21839 vsize=13186612 CPUtime=0 cores=0,2,4,6
/proc/21841/task/21854/stat : 21854 (java) S 21839 21839 2911 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 19 0 108843791 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677853793120 139678377113301 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21855] ppid=21839 vsize=13186612 CPUtime=0.04 cores=0,2,4,6
/proc/21841/task/21855/stat : 21855 (java) S 21839 21839 2911 0 -1 1077944384 529 0 0 0 0 4 0 0 20 0 19 0 108843795 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677852740144 139678377114242 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21876] ppid=21839 vsize=13186612 CPUtime=118.32 cores=0,2,4,6
/proc/21841/task/21876/stat : 21876 (java) R 21839 21839 2911 0 -1 4202560 1447 0 0 0 11831 1 0 0 20 0 19 0 108844268 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677844724976 139677996821089 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21877] ppid=21839 vsize=13186612 CPUtime=118.22 cores=0,2,4,6
/proc/21841/task/21877/stat : 21877 (java) R 21839 21839 2911 0 -1 4202560 1748 0 0 0 11821 1 0 0 20 0 19 0 108844268 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677842620176 139677997713399 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21878] ppid=21839 vsize=13186612 CPUtime=117.56 cores=0,2,4,6
/proc/21841/task/21878/stat : 21878 (java) R 21839 21839 2911 0 -1 4202560 3615 0 0 0 11746 10 0 0 20 0 19 0 108844268 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677843673512 139677996820868 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
[pid=21841/tid=21879] ppid=21839 vsize=13186612 CPUtime=117.74 cores=0,2,4,6
/proc/21841/task/21879/stat : 21879 (java) R 21839 21839 2911 0 -1 4202560 968 0 0 0 11774 0 0 0 20 0 19 0 108844268 13503090688 285099 18446744073709551615 4194304 4196468 140734850764976 139677841567640 139677997314439 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 39456768 140734850773462 140734850773638 140734850773638 140734850777039 0
Current children cumulated CPU time (s) 490.87
Current children cumulated vsize (KiB) 13196124
Child status: 0
Real time (s): 123.963
CPU time (s): 491.014
CPU user time (s): 490.528
CPU system time (s): 0.486245
CPU usage (%): 396.098
Max. virtual memory (cumulated for all children) (KiB): 13196124
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 490.528
system time used= 0.486245
maximum resident set size= 1158932
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 60698
page faults= 0
swaps= 0
block input operations= 0
block output operations= 272
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6154
involuntary context switches= 9029
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.609346 second user time and 0.932547 second system time
The end