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-4248442-1500692102/watcher-4248442-1500692102 -o /tmp/evaluation-result-4248442-1500692102/solver-4248442-1500692102 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node130-1500684118-8559 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1996032193 HOME/instance-4248442-1500692102.xml
pid=11637
running on 8 cores: 0,2,4,6,8,10,12,14
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: 15.38 13.75 13.25 3/263 11640
/proc/meminfo: memFree=20075576/32770624 swapFree=5656/329632
[pid=11640] ppid=11637 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11640/stat : 11640 (xcsp3-exec) S 11637 11640 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4477753 9740288 346 33554432000 4194304 5098028 140727281126832 140727281124936 140137934787196 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27897856 140727281132686 140727281132896 140727281132896 140727281135595 0
/proc/11640/statm: 2378 346 289 221 0 87 0
[startup+0.10007 s]
/proc/loadavg: 15.38 13.75 13.25 3/263 11640
/proc/meminfo: memFree=20075576/32770624 swapFree=5656/329632
[pid=11640] ppid=11637 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11640/stat : 11640 (xcsp3-exec) S 11637 11640 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4477753 9740288 346 33554432000 4194304 5098028 140727281126832 140727281124936 140137934787196 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27897856 140727281132686 140727281132896 140727281132896 140727281135595 0
/proc/11640/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200323 s]
/proc/loadavg: 15.38 13.75 13.25 3/263 11640
/proc/meminfo: memFree=20075576/32770624 swapFree=5656/329632
[pid=11640] ppid=11637 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11640/stat : 11640 (xcsp3-exec) S 11637 11640 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4477753 9740288 346 33554432000 4194304 5098028 140727281126832 140727281124936 140137934787196 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27897856 140727281132686 140727281132896 140727281132896 140727281135595 0
/proc/11640/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300315 s]
/proc/loadavg: 15.38 13.75 13.25 3/263 11640
/proc/meminfo: memFree=20075576/32770624 swapFree=5656/329632
[pid=11640] ppid=11637 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11640/stat : 11640 (xcsp3-exec) S 11637 11640 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4477753 9740288 346 33554432000 4194304 5098028 140727281126832 140727281124936 140137934787196 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27897856 140727281132686 140727281132896 140727281132896 140727281135595 0
/proc/11640/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700201 s]
/proc/loadavg: 15.38 13.75 13.25 3/263 11640
/proc/meminfo: memFree=20075576/32770624 swapFree=5656/329632
[pid=11640] ppid=11637 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11640/stat : 11640 (xcsp3-exec) S 11637 11640 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4477753 9740288 346 33554432000 4194304 5098028 140727281126832 140727281124936 140137934787196 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27897856 140727281132686 140727281132896 140727281132896 140727281135595 0
/proc/11640/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50115 s]
/proc/loadavg: 15.38 13.75 13.25 19/292 11779
/proc/meminfo: memFree=19898844/32770624 swapFree=5656/329664
[pid=11640] ppid=11637 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11640/stat : 11640 (xcsp3-exec) S 11637 11640 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4477753 9740288 346 33554432000 4194304 5098028 140727281126832 140727281124936 140137934787196 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27897856 140727281132686 140727281132896 140727281132896 140727281135595 0
/proc/11640/statm: 2378 346 289 221 0 87 0
[pid=11641] ppid=11640 vsize=13868332 CPUtime=7.73 cores=0,2,4,6,8,10,12,14
/proc/11641/stat : 11641 (java) S 11640 11640 7102 0 -1 1077944320 21593 0 0 0 761 12 0 0 20 0 28 0 4477754 14201171968 51176 33554432000 4194304 4196468 140737251725344 140737251707888 139763118980855 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
/proc/11641/statm: 3467083 51176 3244 1 0 3454316 0
[pid=11641/tid=11642] ppid=11640 vsize=13868332 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11642/stat : 11642 (java) S 11640 11640 7102 0 -1 1077944384 6718 0 0 0 45 3 0 0 20 0 28 0 4477754 14201171968 51176 33554432000 4194304 4196468 140737251725344 139763123221632 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11644] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11644/stat : 11644 (java) S 11640 11640 7102 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4477755 14201171968 51176 33554432000 4194304 4196468 140737251725344 139763071601680 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11645] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11645/stat : 11645 (java) S 11640 11640 7102 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4477755 14201171968 51176 33554432000 4194304 4196468 140737251725344 139763070549136 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11646] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11646/stat : 11646 (java) S 11640 11640 7102 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 28 0 4477755 14201171968 51176 33554432000 4194304 4196468 140737251725344 139763069496080 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11647] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11647/stat : 11647 (java) S 11640 11640 7102 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 4477755 14201171968 51176 33554432000 4194304 4196468 140737251725344 139762714737552 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11648] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11648/stat : 11648 (java) S 11640 11640 7102 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4477755 14201171968 51176 33554432000 4194304 4196468 140737251725344 139762713684496 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11649] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11649/stat : 11649 (java) S 11640 11640 7102 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 28 0 4477755 14201171968 51176 33554432000 4194304 4196468 140737251725344 139762712631952 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11650] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11650/stat : 11650 (java) S 11640 11640 7102 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 28 0 4477755 14201171968 51176 33554432000 4194304 4196468 140737251725344 139762711578896 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11651] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11651/stat : 11651 (java) S 11640 11640 7102 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 28 0 4477755 14201171968 51176 33554432000 4194304 4196468 140737251725344 139762710526352 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11652] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11652/stat : 11652 (java) S 11640 11640 7102 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 28 0 4477757 14201171968 51176 33554432000 4194304 4196468 140737251725344 139762581146352 139763118992002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11653] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11653/stat : 11653 (java) S 11640 11640 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4477758 14201171968 51176 33554432000 4194304 4196468 140737251725344 139762580092576 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11654] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11654/stat : 11654 (java) S 11640 11640 7102 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 4477758 14201171968 51176 33554432000 4194304 4196468 140737251725344 139762579039472 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11655] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11655/stat : 11655 (java) S 11640 11640 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4477762 14201171968 51176 33554432000 4194304 4196468 140737251725344 139762577988048 139763118999451 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11656] ppid=11640 vsize=13868332 CPUtime=0.75 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11656/stat : 11656 (java) R 11640 11640 7102 0 -1 4202560 2807 0 0 0 75 0 0 0 20 0 28 0 4477762 14201171968 51176 33554432000 4194304 4196468 140737251725344 139762576920928 139763102367439 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11657] ppid=11640 vsize=13868332 CPUtime=0.69 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11657/stat : 11657 (java) R 11640 11640 7102 0 -1 4202560 2420 0 0 0 69 0 0 0 20 0 28 0 4477762 14201171968 51176 33554432000 4194304 4196468 140737251725344 139762575869176 139763102475059 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11658] ppid=11640 vsize=13868332 CPUtime=0.62 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11658/stat : 11658 (java) R 11640 11640 7102 0 -1 4202560 3051 0 0 0 62 0 0 0 20 0 28 0 4477762 14201171968 51176 33554432000 4194304 4196468 140737251725344 139762574815432 139763104088428 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11659] ppid=11640 vsize=13868332 CPUtime=0.47 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11659/stat : 11659 (java) S 11640 11640 7102 0 -1 1077944384 2658 0 0 0 46 1 0 0 20 0 28 0 4477762 14201171968 51176 33554432000 4194304 4196468 140737251725344 139762573777008 139763118992002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11660] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11660/stat : 11660 (java) S 11640 11640 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4477762 14201171968 51176 33554432000 4194304 4196468 140737251725344 139762572725216 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11661] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11661/stat : 11661 (java) S 11640 11640 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4477771 14201171968 51176 33554432000 4194304 4196468 140737251725344 139762571672752 139763118992002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
Current children cumulated CPU time (s) 7.73
Current children cumulated vsize (KiB) 13877844
[startup+3.10159 s]
/proc/loadavg: 15.67 13.84 13.29 18/292 11810
/proc/meminfo: memFree=19871296/32770624 swapFree=5656/329664
[pid=11640] ppid=11637 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11640/stat : 11640 (xcsp3-exec) S 11637 11640 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4477753 9740288 346 33554432000 4194304 5098028 140727281126832 140727281124936 140137934787196 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27897856 140727281132686 140727281132896 140727281132896 140727281135595 0
/proc/11640/statm: 2378 346 289 221 0 87 0
[pid=11641] ppid=11640 vsize=13868332 CPUtime=20.38 cores=0,2,4,6,8,10,12,14
/proc/11641/stat : 11641 (java) S 11640 11640 7102 0 -1 1077944320 24870 0 0 0 2019 19 0 0 20 0 28 0 4477754 14201171968 55219 33554432000 4194304 4196468 140737251725344 140737251707888 139763118980855 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
/proc/11641/statm: 3467083 55219 3250 1 0 3454316 0
[pid=11641/tid=11642] ppid=11640 vsize=13868332 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11642/stat : 11642 (java) S 11640 11640 7102 0 -1 1077944384 6718 0 0 0 45 3 0 0 20 0 28 0 4477754 14201171968 55219 33554432000 4194304 4196468 140737251725344 139763123221632 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11644] ppid=11640 vsize=13868332 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11644/stat : 11644 (java) S 11640 11640 7102 0 -1 1077944384 14 0 0 0 0 1 0 0 20 0 28 0 4477755 14201171968 55219 33554432000 4194304 4196468 140737251725344 139763071601680 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11645] ppid=11640 vsize=13868332 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11645/stat : 11645 (java) S 11640 11640 7102 0 -1 1077944384 24 0 0 0 0 1 0 0 20 0 28 0 4477755 14201171968 55219 33554432000 4194304 4196468 140737251725344 139763070549136 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11646] ppid=11640 vsize=13868332 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11646/stat : 11646 (java) S 11640 11640 7102 0 -1 1077944384 25 0 0 0 0 1 0 0 20 0 28 0 4477755 14201171968 55219 33554432000 4194304 4196468 140737251725344 139763069496080 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11647] ppid=11640 vsize=13868332 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11647/stat : 11647 (java) S 11640 11640 7102 0 -1 1077944384 21 0 0 0 0 1 0 0 20 0 28 0 4477755 14201171968 55219 33554432000 4194304 4196468 140737251725344 139762714737552 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11648] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11648/stat : 11648 (java) S 11640 11640 7102 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 28 0 4477755 14201171968 55219 33554432000 4194304 4196468 140737251725344 139762713684496 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11649] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11649/stat : 11649 (java) S 11640 11640 7102 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 28 0 4477755 14201171968 55219 33554432000 4194304 4196468 140737251725344 139762712631952 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11650] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11650/stat : 11650 (java) S 11640 11640 7102 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 4477755 14201171968 55219 33554432000 4194304 4196468 140737251725344 139762711578896 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11651] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11651/stat : 11651 (java) S 11640 11640 7102 0 -1 1077944384 12 0 0 0 0 0 0 0 20 0 28 0 4477755 14201171968 55219 33554432000 4194304 4196468 140737251725344 139762710526352 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11652] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11652/stat : 11652 (java) S 11640 11640 7102 0 -1 1077944384 85 0 0 0 0 0 0 0 20 0 28 0 4477757 14201171968 55219 33554432000 4194304 4196468 140737251725344 139762581146352 139763118992002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11653] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11653/stat : 11653 (java) S 11640 11640 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4477758 14201171968 55219 33554432000 4194304 4196468 140737251725344 139762580092640 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11654] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11654/stat : 11654 (java) S 11640 11640 7102 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 4477758 14201171968 55219 33554432000 4194304 4196468 140737251725344 139762579039472 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11655] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11655/stat : 11655 (java) S 11640 11640 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4477762 14201171968 55219 33554432000 4194304 4196468 140737251725344 139762577988048 139763118999451 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11656] ppid=11640 vsize=13868332 CPUtime=1.42 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11656/stat : 11656 (java) S 11640 11640 7102 0 -1 1077944384 2875 0 0 0 142 0 0 0 20 0 28 0 4477762 14201171968 55219 33554432000 4194304 4196468 140737251725344 139762576935152 139763118992002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11657] ppid=11640 vsize=13868332 CPUtime=1.4 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11657/stat : 11657 (java) S 11640 11640 7102 0 -1 1077944384 2586 0 0 0 140 0 0 0 20 0 28 0 4477762 14201171968 55219 33554432000 4194304 4196468 140737251725344 139762575882608 139763118992002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11658] ppid=11640 vsize=13868332 CPUtime=1.47 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11658/stat : 11658 (java) S 11640 11640 7102 0 -1 1077944384 5247 0 0 0 146 1 0 0 20 0 28 0 4477762 14201171968 55219 33554432000 4194304 4196468 140737251725344 139762574829552 139763118992002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11659] ppid=11640 vsize=13868332 CPUtime=0.52 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11659/stat : 11659 (java) S 11640 11640 7102 0 -1 1077944384 2707 0 0 0 51 1 0 0 20 0 28 0 4477762 14201171968 55219 33554432000 4194304 4196468 140737251725344 139762573777008 139763118992002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11660] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11660/stat : 11660 (java) S 11640 11640 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4477762 14201171968 55219 33554432000 4194304 4196468 140737251725344 139762572725216 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11661] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11661/stat : 11661 (java) S 11640 11640 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4477771 14201171968 55219 33554432000 4194304 4196468 140737251725344 139762571672752 139763118992002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11803] ppid=11640 vsize=13868332 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11803/stat : 11803 (java) R 11640 11640 7102 0 -1 4202560 98 0 0 0 130 0 0 0 20 0 28 0 4477907 14201171968 55219 33554432000 4194304 4196468 140737251725344 139762556291600 139762752600149 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11804] ppid=11640 vsize=13868332 CPUtime=1.2 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11804/stat : 11804 (java) R 11640 11640 7102 0 -1 4202560 97 0 0 0 120 0 0 0 20 0 28 0 4477907 14201171968 55219 33554432000 4194304 4196468 140737251725344 139762560504520 139762753302520 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11805] ppid=11640 vsize=13868332 CPUtime=1.37 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11805/stat : 11805 (java) R 11640 11640 7102 0 -1 4202560 26 0 0 0 137 0 0 0 20 0 28 0 4477907 14201171968 55219 33554432000 4194304 4196468 140737251725344 139762559451408 139762753497278 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11806] ppid=11640 vsize=13868332 CPUtime=1.16 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11806/stat : 11806 (java) R 11640 11640 7102 0 -1 4202560 29 0 0 0 116 0 0 0 20 0 28 0 4477907 14201171968 55219 33554432000 4194304 4196468 140737251725344 139762562605088 139762753497175 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11807] ppid=11640 vsize=13868332 CPUtime=1.26 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11807/stat : 11807 (java) R 11640 11640 7102 0 -1 4202560 140 0 0 0 126 0 0 0 20 0 28 0 4477907 14201171968 55219 33554432000 4194304 4196468 140737251725344 139762555238544 139762753302531 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11808] ppid=11640 vsize=13868332 CPUtime=1.21 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11808/stat : 11808 (java) R 11640 11640 7102 0 -1 4202560 20 0 0 0 121 0 0 0 20 0 28 0 4477907 14201171968 55219 33554432000 4194304 4196468 140737251725344 139762557345992 139762752144307 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11809] ppid=11640 vsize=13868332 CPUtime=1.18 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11809/stat : 11809 (java) R 11640 11640 7102 0 -1 4202560 29 0 0 0 118 0 0 0 20 0 28 0 4477907 14201171968 55219 33554432000 4194304 4196468 140737251725344 139762558398296 139762753084390 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11810] ppid=11640 vsize=13868332 CPUtime=1.34 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11810/stat : 11810 (java) R 11640 11640 7102 0 -1 4202560 30 0 0 0 134 0 0 0 20 0 28 0 4477907 14201171968 55219 33554432000 4194304 4196468 140737251725344 139762563661200 139762753501357 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
Current children cumulated CPU time (s) 20.38
Current children cumulated vsize (KiB) 13877844
[startup+6.3016 s]
/proc/loadavg: 15.67 13.84 13.29 17/292 11810
/proc/meminfo: memFree=19734060/32770624 swapFree=5656/329680
[pid=11640] ppid=11637 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11640/stat : 11640 (xcsp3-exec) S 11637 11640 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4477753 9740288 346 33554432000 4194304 5098028 140727281126832 140727281124936 140137934787196 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27897856 140727281132686 140727281132896 140727281132896 140727281135595 0
/proc/11640/statm: 2378 346 289 221 0 87 0
[pid=11641] ppid=11640 vsize=13868332 CPUtime=45.23 cores=0,2,4,6,8,10,12,14
/proc/11641/stat : 11641 (java) S 11640 11640 7102 0 -1 1077944320 32531 0 0 0 4487 36 0 0 20 0 28 0 4477754 14201171968 119974 33554432000 4194304 4196468 140737251725344 140737251707888 139763118980855 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
/proc/11641/statm: 3467083 119974 3262 1 0 3454316 0
[pid=11641/tid=11642] ppid=11640 vsize=13868332 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11642/stat : 11642 (java) S 11640 11640 7102 0 -1 1077944384 6718 0 0 0 45 3 0 0 20 0 28 0 4477754 14201171968 119974 33554432000 4194304 4196468 140737251725344 139763123221632 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11644] ppid=11640 vsize=13868332 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11644/stat : 11644 (java) S 11640 11640 7102 0 -1 1077944384 92 0 0 0 1 2 0 0 20 0 28 0 4477755 14201171968 119974 33554432000 4194304 4196468 140737251725344 139763071601680 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11645] ppid=11640 vsize=13868332 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11645/stat : 11645 (java) S 11640 11640 7102 0 -1 1077944384 92 0 0 0 1 2 0 0 20 0 28 0 4477755 14201171968 119974 33554432000 4194304 4196468 140737251725344 139763070549136 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11646] ppid=11640 vsize=13868332 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11646/stat : 11646 (java) S 11640 11640 7102 0 -1 1077944384 82 0 0 0 1 2 0 0 20 0 28 0 4477755 14201171968 119974 33554432000 4194304 4196468 140737251725344 139763069496080 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11647] ppid=11640 vsize=13868332 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11647/stat : 11647 (java) S 11640 11640 7102 0 -1 1077944384 69 0 0 0 1 2 0 0 20 0 28 0 4477755 14201171968 119974 33554432000 4194304 4196468 140737251725344 139762714737552 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
################
# More data... #
################
/proc/11641/task/11653/stat : 11653 (java) S 11640 11640 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4477758 14201171968 119520 33554432000 4194304 4196468 140737251725344 139762580092640 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11654] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11654/stat : 11654 (java) S 11640 11640 7102 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 4477758 14201171968 119520 33554432000 4194304 4196468 140737251725344 139762579039472 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11655] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11655/stat : 11655 (java) S 11640 11640 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4477762 14201171968 119520 33554432000 4194304 4196468 140737251725344 139762577988048 139763118999451 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11656] ppid=11640 vsize=13868332 CPUtime=1.65 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11656/stat : 11656 (java) S 11640 11640 7102 0 -1 1077944384 4245 0 0 0 164 1 0 0 20 0 28 0 4477762 14201171968 119520 33554432000 4194304 4196468 140737251725344 139762576935152 139763118992002 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11657] ppid=11640 vsize=13868332 CPUtime=1.53 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11657/stat : 11657 (java) S 11640 11640 7102 0 -1 1077944384 3750 0 0 0 153 0 0 0 20 0 28 0 4477762 14201171968 119520 33554432000 4194304 4196468 140737251725344 139762575882608 139763118992002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11658] ppid=11640 vsize=13868332 CPUtime=2.26 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11658/stat : 11658 (java) S 11640 11640 7102 0 -1 1077944384 8797 0 0 0 225 1 0 0 20 0 28 0 4477762 14201171968 119520 33554432000 4194304 4196468 140737251725344 139762574829552 139763118992002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11659] ppid=11640 vsize=13868332 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11659/stat : 11659 (java) S 11640 11640 7102 0 -1 1077944384 3494 0 0 0 54 1 0 0 20 0 28 0 4477762 14201171968 119520 33554432000 4194304 4196468 140737251725344 139762573777008 139763118992002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11660] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11660/stat : 11660 (java) S 11640 11640 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4477762 14201171968 119520 33554432000 4194304 4196468 140737251725344 139762572725216 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11661] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11661/stat : 11661 (java) S 11640 11640 7102 0 -1 1077944384 718 0 0 0 0 0 0 0 20 0 28 0 4477771 14201171968 119520 33554432000 4194304 4196468 140737251725344 139762571672752 139763118992002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11803] ppid=11640 vsize=13868332 CPUtime=5.79 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11803/stat : 11803 (java) R 11640 11640 7102 0 -1 4202560 511 0 0 0 579 0 0 0 20 0 28 0 4477907 14201171968 119520 33554432000 4194304 4196468 140737251725344 139762556287768 139762752144402 0 4 0 16800975 0 0 0 -1 14 0 0 5 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11804] ppid=11640 vsize=13868332 CPUtime=5.96 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11804/stat : 11804 (java) R 11640 11640 7102 0 -1 4202560 192 0 0 0 596 0 0 0 20 0 28 0 4477907 14201171968 119520 33554432000 4194304 4196468 140737251725344 139762560500032 139762752144414 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11805] ppid=11640 vsize=13868332 CPUtime=5.91 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11805/stat : 11805 (java) R 11640 11640 7102 0 -1 4202560 305 0 0 0 591 0 0 0 20 0 28 0 4477907 14201171968 119520 33554432000 4194304 4196468 140737251725344 139762559450224 139763098705922 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11806] ppid=11640 vsize=13868332 CPUtime=5.6 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11806/stat : 11806 (java) R 11640 11640 7102 0 -1 4202560 242 0 0 0 560 0 0 0 20 0 28 0 4477907 14201171968 119520 33554432000 4194304 4196468 140737251725344 139762562605960 139763105048960 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11807] ppid=11640 vsize=13868332 CPUtime=5.9 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11807/stat : 11807 (java) R 11640 11640 7102 0 -1 4202560 519 0 0 0 589 1 0 0 20 0 28 0 4477907 14201171968 119520 33554432000 4194304 4196468 140737251725344 139762555237304 139762753184825 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11808] ppid=11640 vsize=13868332 CPUtime=5.88 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11808/stat : 11808 (java) R 11640 11640 7102 0 -1 4202560 79 0 0 0 588 0 0 0 20 0 28 0 4477907 14201171968 119520 33554432000 4194304 4196468 140737251725344 139762557342264 139763100387096 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11809] ppid=11640 vsize=13868332 CPUtime=5.91 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11809/stat : 11809 (java) R 11640 11640 7102 0 -1 4202560 175 0 0 0 591 0 0 0 20 0 28 0 4477907 14201171968 119520 33554432000 4194304 4196468 140737251725344 139762558395064 139762753308161 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11810] ppid=11640 vsize=13868332 CPUtime=5.94 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11810/stat : 11810 (java) R 11640 11640 7102 0 -1 4202560 168 0 0 0 593 1 0 0 20 0 28 0 4477907 14201171968 119520 33554432000 4194304 4196468 140737251725344 139762563657768 139763105048974 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
Current children cumulated CPU time (s) 58.69
Current children cumulated vsize (KiB) 13877844
[startup+8.80157 s]
/proc/loadavg: 15.86 13.91 13.31 17/292 11810
/proc/meminfo: memFree=19605812/32770624 swapFree=5656/329684
[pid=11640] ppid=11637 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11640/stat : 11640 (xcsp3-exec) S 11637 11640 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4477753 9740288 346 33554432000 4194304 5098028 140727281126832 140727281124936 140137934787196 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27897856 140727281132686 140727281132896 140727281132896 140727281135595 0
/proc/11640/statm: 2378 346 289 221 0 87 0
[pid=11641] ppid=11640 vsize=13868332 CPUtime=65.11 cores=0,2,4,6,8,10,12,14
/proc/11641/stat : 11641 (java) S 11640 11640 7102 0 -1 1077944320 35643 0 0 0 6471 40 0 0 20 0 28 0 4477754 14201171968 120038 33554432000 4194304 4196468 140737251725344 140737251707888 139763118980855 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
/proc/11641/statm: 3467083 120038 3263 1 0 3454316 0
[pid=11641/tid=11642] ppid=11640 vsize=13868332 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11642/stat : 11642 (java) S 11640 11640 7102 0 -1 1077944384 6718 0 0 0 45 3 0 0 20 0 28 0 4477754 14201171968 120038 33554432000 4194304 4196468 140737251725344 139763123221632 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11644] ppid=11640 vsize=13868332 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11644/stat : 11644 (java) S 11640 11640 7102 0 -1 1077944384 96 0 0 0 1 3 0 0 20 0 28 0 4477755 14201171968 120038 33554432000 4194304 4196468 140737251725344 139763071601680 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11645] ppid=11640 vsize=13868332 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11645/stat : 11645 (java) S 11640 11640 7102 0 -1 1077944384 99 0 0 0 2 3 0 0 20 0 28 0 4477755 14201171968 120038 33554432000 4194304 4196468 140737251725344 139763070549136 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11646] ppid=11640 vsize=13868332 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11646/stat : 11646 (java) S 11640 11640 7102 0 -1 1077944384 87 0 0 0 2 2 0 0 20 0 28 0 4477755 14201171968 120038 33554432000 4194304 4196468 140737251725344 139763069496080 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11647] ppid=11640 vsize=13868332 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11647/stat : 11647 (java) S 11640 11640 7102 0 -1 1077944384 73 0 0 0 1 2 0 0 20 0 28 0 4477755 14201171968 120038 33554432000 4194304 4196468 140737251725344 139762714737552 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11648] ppid=11640 vsize=13868332 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11648/stat : 11648 (java) S 11640 11640 7102 0 -1 1077944384 192 0 0 0 2 2 0 0 20 0 28 0 4477755 14201171968 120038 33554432000 4194304 4196468 140737251725344 139762713684496 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11649] ppid=11640 vsize=13868332 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11649/stat : 11649 (java) S 11640 11640 7102 0 -1 1077944384 89 0 0 0 2 2 0 0 20 0 28 0 4477755 14201171968 120038 33554432000 4194304 4196468 140737251725344 139762712631952 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11650] ppid=11640 vsize=13868332 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11650/stat : 11650 (java) S 11640 11640 7102 0 -1 1077944384 95 0 0 0 2 2 0 0 20 0 28 0 4477755 14201171968 120038 33554432000 4194304 4196468 140737251725344 139762711578896 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11651] ppid=11640 vsize=13868332 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11651/stat : 11651 (java) S 11640 11640 7102 0 -1 1077944384 144 0 0 0 2 2 0 0 20 0 28 0 4477755 14201171968 120038 33554432000 4194304 4196468 140737251725344 139762710526352 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11652] ppid=11640 vsize=13868332 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11652/stat : 11652 (java) S 11640 11640 7102 0 -1 1077944384 719 0 0 0 1 1 0 0 20 0 28 0 4477757 14201171968 120038 33554432000 4194304 4196468 140737251725344 139762581146352 139763118992002 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11653] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11653/stat : 11653 (java) S 11640 11640 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4477758 14201171968 120038 33554432000 4194304 4196468 140737251725344 139762580092640 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11654] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11654/stat : 11654 (java) S 11640 11640 7102 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 4477758 14201171968 120038 33554432000 4194304 4196468 140737251725344 139762579039472 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11655] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11655/stat : 11655 (java) S 11640 11640 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4477762 14201171968 120038 33554432000 4194304 4196468 140737251725344 139762577988048 139763118999451 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11656] ppid=11640 vsize=13868332 CPUtime=1.65 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11656/stat : 11656 (java) S 11640 11640 7102 0 -1 1077944384 4245 0 0 0 164 1 0 0 20 0 28 0 4477762 14201171968 120038 33554432000 4194304 4196468 140737251725344 139762576935152 139763118992002 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11657] ppid=11640 vsize=13868332 CPUtime=1.54 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11657/stat : 11657 (java) S 11640 11640 7102 0 -1 1077944384 3841 0 0 0 154 0 0 0 20 0 28 0 4477762 14201171968 120038 33554432000 4194304 4196468 140737251725344 139762575882608 139763118992002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11658] ppid=11640 vsize=13868332 CPUtime=2.26 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11658/stat : 11658 (java) S 11640 11640 7102 0 -1 1077944384 8797 0 0 0 225 1 0 0 20 0 28 0 4477762 14201171968 120038 33554432000 4194304 4196468 140737251725344 139762574829552 139763118992002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11659] ppid=11640 vsize=13868332 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11659/stat : 11659 (java) S 11640 11640 7102 0 -1 1077944384 3494 0 0 0 54 1 0 0 20 0 28 0 4477762 14201171968 120038 33554432000 4194304 4196468 140737251725344 139762573777008 139763118992002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11660] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11660/stat : 11660 (java) S 11640 11640 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4477762 14201171968 120038 33554432000 4194304 4196468 140737251725344 139762572725216 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11661] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11661/stat : 11661 (java) S 11640 11640 7102 0 -1 1077944384 718 0 0 0 0 0 0 0 20 0 28 0 4477771 14201171968 120038 33554432000 4194304 4196468 140737251725344 139762571672752 139763118992002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11803] ppid=11640 vsize=13868332 CPUtime=6.57 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11803/stat : 11803 (java) R 11640 11640 7102 0 -1 4202560 511 0 0 0 657 0 0 0 20 0 28 0 4477907 14201171968 120038 33554432000 4194304 4196468 140737251725344 139762556288376 139762754315070 0 4 0 16800975 0 0 0 -1 14 0 0 5 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11804] ppid=11640 vsize=13868332 CPUtime=6.76 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11804/stat : 11804 (java) R 11640 11640 7102 0 -1 4202560 193 0 0 0 676 0 0 0 20 0 28 0 4477907 14201171968 120038 33554432000 4194304 4196468 140737251725344 139762560502768 139762753307956 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11805] ppid=11640 vsize=13868332 CPUtime=6.71 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11805/stat : 11805 (java) R 11640 11640 7102 0 -1 4202560 306 0 0 0 671 0 0 0 20 0 28 0 4477907 14201171968 120038 33554432000 4194304 4196468 140737251725344 139762559448248 139762754313555 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11806] ppid=11640 vsize=13868332 CPUtime=6.41 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11806/stat : 11806 (java) R 11640 11640 7102 0 -1 4202560 242 0 0 0 641 0 0 0 20 0 28 0 4477907 14201171968 120038 33554432000 4194304 4196468 140737251725344 139762562605960 139762753173701 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11807] ppid=11640 vsize=13868332 CPUtime=6.71 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11807/stat : 11807 (java) R 11640 11640 7102 0 -1 4202560 519 0 0 0 670 1 0 0 20 0 28 0 4477907 14201171968 120038 33554432000 4194304 4196468 140737251725344 139762555240464 139762753182773 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11808] ppid=11640 vsize=13868332 CPUtime=6.69 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11808/stat : 11808 (java) R 11640 11640 7102 0 -1 4202560 80 0 0 0 669 0 0 0 20 0 28 0 4477907 14201171968 120038 33554432000 4194304 4196468 140737251725344 139762557345992 139762752144302 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11809] ppid=11640 vsize=13868332 CPUtime=6.72 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11809/stat : 11809 (java) R 11640 11640 7102 0 -1 4202560 175 0 0 0 672 0 0 0 20 0 28 0 4477907 14201171968 120038 33554432000 4194304 4196468 140737251725344 139762558395064 139762753084390 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11810] ppid=11640 vsize=13868332 CPUtime=6.74 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11810/stat : 11810 (java) R 11640 11640 7102 0 -1 4202560 168 0 0 0 673 1 0 0 20 0 28 0 4477907 14201171968 120038 33554432000 4194304 4196468 140737251725344 139762563656832 139762752144279 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
Current children cumulated CPU time (s) 65.11
Current children cumulated vsize (KiB) 13877844
[startup+9.00141 s]
/proc/loadavg: 15.86 13.91 13.31 17/292 11810
/proc/meminfo: memFree=19605812/32770624 swapFree=5656/329684
[pid=11640] ppid=11637 vsize=9512 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11640/stat : 11640 (xcsp3-exec) S 11637 11640 7102 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4477753 9740288 346 33554432000 4194304 5098028 140727281126832 140727281124936 140137934787196 0 65536 4100 65538 18446744071579417331 0 0 17 12 0 0 0 0 0 7196144 7232144 27897856 140727281132686 140727281132896 140727281132896 140727281135595 0
/proc/11640/statm: 2378 346 289 221 0 87 0
[pid=11641] ppid=11640 vsize=13868332 CPUtime=66.59 cores=0,2,4,6,8,10,12,14
/proc/11641/stat : 11641 (java) S 11640 11640 7102 0 -1 1077944320 35661 0 0 0 6618 41 0 0 20 0 28 0 4477754 14201171968 120421 33554432000 4194304 4196468 140737251725344 140737251707888 139763118980855 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
/proc/11641/statm: 3467083 120421 3263 1 0 3454316 0
[pid=11641/tid=11642] ppid=11640 vsize=13868332 CPUtime=0.48 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11642/stat : 11642 (java) S 11640 11640 7102 0 -1 1077944384 6718 0 0 0 45 3 0 0 20 0 28 0 4477754 14201171968 120421 33554432000 4194304 4196468 140737251725344 139763123221632 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11644] ppid=11640 vsize=13868332 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11644/stat : 11644 (java) S 11640 11640 7102 0 -1 1077944384 97 0 0 0 1 3 0 0 20 0 28 0 4477755 14201171968 120421 33554432000 4194304 4196468 140737251725344 139763071601680 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11645] ppid=11640 vsize=13868332 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11645/stat : 11645 (java) S 11640 11640 7102 0 -1 1077944384 102 0 0 0 2 3 0 0 20 0 28 0 4477755 14201171968 120421 33554432000 4194304 4196468 140737251725344 139763070549136 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11646] ppid=11640 vsize=13868332 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11646/stat : 11646 (java) S 11640 11640 7102 0 -1 1077944384 88 0 0 0 2 3 0 0 20 0 28 0 4477755 14201171968 120421 33554432000 4194304 4196468 140737251725344 139763069496080 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11647] ppid=11640 vsize=13868332 CPUtime=0.03 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11647/stat : 11647 (java) S 11640 11640 7102 0 -1 1077944384 74 0 0 0 1 2 0 0 20 0 28 0 4477755 14201171968 120421 33554432000 4194304 4196468 140737251725344 139762714737552 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11648] ppid=11640 vsize=13868332 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11648/stat : 11648 (java) S 11640 11640 7102 0 -1 1077944384 193 0 0 0 2 2 0 0 20 0 28 0 4477755 14201171968 120421 33554432000 4194304 4196468 140737251725344 139762713684496 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11649] ppid=11640 vsize=13868332 CPUtime=0.05 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11649/stat : 11649 (java) S 11640 11640 7102 0 -1 1077944384 93 0 0 0 2 3 0 0 20 0 28 0 4477755 14201171968 120421 33554432000 4194304 4196468 140737251725344 139762712631952 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11650] ppid=11640 vsize=13868332 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11650/stat : 11650 (java) S 11640 11640 7102 0 -1 1077944384 95 0 0 0 2 2 0 0 20 0 28 0 4477755 14201171968 120421 33554432000 4194304 4196468 140737251725344 139762711578896 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11651] ppid=11640 vsize=13868332 CPUtime=0.04 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11651/stat : 11651 (java) S 11640 11640 7102 0 -1 1077944384 146 0 0 0 2 2 0 0 20 0 28 0 4477755 14201171968 120421 33554432000 4194304 4196468 140737251725344 139762710526352 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11652] ppid=11640 vsize=13868332 CPUtime=0.02 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11652/stat : 11652 (java) S 11640 11640 7102 0 -1 1077944384 719 0 0 0 1 1 0 0 20 0 28 0 4477757 14201171968 120421 33554432000 4194304 4196468 140737251725344 139762581146352 139763118992002 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11653] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11653/stat : 11653 (java) S 11640 11640 7102 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 28 0 4477758 14201171968 120421 33554432000 4194304 4196468 140737251725344 139762580092640 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11654] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11654/stat : 11654 (java) S 11640 11640 7102 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 4477758 14201171968 120421 33554432000 4194304 4196468 140737251725344 139762579039472 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11655] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11655/stat : 11655 (java) S 11640 11640 7102 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4477762 14201171968 120421 33554432000 4194304 4196468 140737251725344 139762577988048 139763118999451 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11656] ppid=11640 vsize=13868332 CPUtime=1.65 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11656/stat : 11656 (java) S 11640 11640 7102 0 -1 1077944384 4245 0 0 0 164 1 0 0 20 0 28 0 4477762 14201171968 120421 33554432000 4194304 4196468 140737251725344 139762576935152 139763118992002 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11657] ppid=11640 vsize=13868332 CPUtime=1.54 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11657/stat : 11657 (java) S 11640 11640 7102 0 -1 1077944384 3841 0 0 0 154 0 0 0 20 0 28 0 4477762 14201171968 120421 33554432000 4194304 4196468 140737251725344 139762575882608 139763118992002 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11658] ppid=11640 vsize=13868332 CPUtime=2.26 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11658/stat : 11658 (java) S 11640 11640 7102 0 -1 1077944384 8797 0 0 0 225 1 0 0 20 0 28 0 4477762 14201171968 120421 33554432000 4194304 4196468 140737251725344 139762574829552 139763118992002 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11659] ppid=11640 vsize=13868332 CPUtime=0.55 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11659/stat : 11659 (java) S 11640 11640 7102 0 -1 1077944384 3494 0 0 0 54 1 0 0 20 0 28 0 4477762 14201171968 120421 33554432000 4194304 4196468 140737251725344 139762573777008 139763118992002 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11660] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11660/stat : 11660 (java) S 11640 11640 7102 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4477762 14201171968 120421 33554432000 4194304 4196468 140737251725344 139762572725216 139763118991061 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11661] ppid=11640 vsize=13868332 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11661/stat : 11661 (java) S 11640 11640 7102 0 -1 1077944384 718 0 0 0 0 0 0 0 20 0 28 0 4477771 14201171968 120421 33554432000 4194304 4196468 140737251725344 139762571672752 139763118992002 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11803] ppid=11640 vsize=13868332 CPUtime=6.75 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11803/stat : 11803 (java) R 11640 11640 7102 0 -1 4202560 511 0 0 0 675 0 0 0 20 0 28 0 4477907 14201171968 120421 33554432000 4194304 4196468 140737251725344 139762556288456 139762752144344 0 4 0 16800975 0 0 0 -1 14 0 0 5 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11804] ppid=11640 vsize=13868332 CPUtime=6.94 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11804/stat : 11804 (java) R 11640 11640 7102 0 -1 4202560 193 0 0 0 694 0 0 0 20 0 28 0 4477907 14201171968 120421 33554432000 4194304 4196468 140737251725344 139762560500792 139763104191100 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11805] ppid=11640 vsize=13868332 CPUtime=6.88 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11805/stat : 11805 (java) R 11640 11640 7102 0 -1 4202560 307 0 0 0 688 0 0 0 20 0 28 0 4477907 14201171968 120421 33554432000 4194304 4196468 140737251725344 139762559448328 139762754315440 0 4 0 16800975 0 0 0 -1 6 0 0 6 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11806] ppid=11640 vsize=13868332 CPUtime=6.58 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11806/stat : 11806 (java) R 11640 11640 7102 0 -1 4202560 242 0 0 0 658 0 0 0 20 0 28 0 4477907 14201171968 120421 33554432000 4194304 4196468 140737251725344 139762562608064 139762752739973 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11807] ppid=11640 vsize=13868332 CPUtime=6.88 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11807/stat : 11807 (java) R 11640 11640 7102 0 -1 4202560 520 0 0 0 687 1 0 0 20 0 28 0 4477907 14201171968 120421 33554432000 4194304 4196468 140737251725344 139762555237136 139763103353152 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11808] ppid=11640 vsize=13868332 CPUtime=6.87 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11808/stat : 11808 (java) R 11640 11640 7102 0 -1 4202560 81 0 0 0 687 0 0 0 20 0 28 0 4477907 14201171968 120421 33554432000 4194304 4196468 140737251725344 139762557342264 139762753431793 0 4 0 16800975 0 0 0 -1 10 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11809] ppid=11640 vsize=13868332 CPUtime=6.89 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11809/stat : 11809 (java) R 11640 11640 7102 0 -1 4202560 176 0 0 0 689 0 0 0 20 0 28 0 4477907 14201171968 120421 33554432000 4194304 4196468 140737251725344 139762558395144 139762753085611 0 4 0 16800975 0 0 0 -1 8 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
[pid=11641/tid=11810] ppid=11640 vsize=13868332 CPUtime=6.92 cores=0,2,4,6,8,10,12,14
/proc/11641/task/11810/stat : 11810 (java) R 11640 11640 7102 0 -1 4202560 169 0 0 0 691 1 0 0 20 0 28 0 4477907 14201171968 120421 33554432000 4194304 4196468 140737251725344 139762563657768 139763098705888 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 17350656 140737251730620 140737251730796 140737251730796 140737251733455 0
Current children cumulated CPU time (s) 66.59
Current children cumulated vsize (KiB) 13877844
Child status: 0
Real time (s): 9.08297
CPU time (s): 67.194
CPU user time (s): 66.7706
CPU system time (s): 0.423438
CPU usage (%): 739.78
Max. virtual memory (cumulated for all children) (KiB): 13879836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 66.7706
system time used= 0.423438
maximum resident set size= 484224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36796
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5281
involuntary context switches= 5115
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.115901 second user time and 0.137977 second system time
The end