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-4244796-1500684696/watcher-4244796-1500684696 -o /tmp/evaluation-result-4244796-1500684696/solver-4244796-1500684696 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500683785-15436 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 20065244 HOME/instance-4244796-1500684696.xml
pid=16619
running on 8 cores: 1,3,5,7,9,11,13,15
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: 16.02 15.16 10.74 10/272 16622
/proc/meminfo: memFree=31610856/32770624 swapFree=5804/220932
[pid=16622] ppid=16619 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16622/stat : 16622 (xcsp3-exec) S 16619 16622 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3735841 9740288 346 33554432000 4194304 5098028 140723674494096 140723674492200 139832592142972 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 7835648 140723674502288 140723674502496 140723674502496 140723674505195 0
/proc/16622/statm: 2378 346 289 221 0 87 0
[startup+0.100072 s]
/proc/loadavg: 16.02 15.16 10.74 10/272 16622
/proc/meminfo: memFree=31610856/32770624 swapFree=5804/220932
[pid=16622] ppid=16619 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16622/stat : 16622 (xcsp3-exec) S 16619 16622 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3735841 9740288 346 33554432000 4194304 5098028 140723674494096 140723674492200 139832592142972 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 7835648 140723674502288 140723674502496 140723674502496 140723674505195 0
/proc/16622/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200344 s]
/proc/loadavg: 16.02 15.16 10.74 10/272 16622
/proc/meminfo: memFree=31610856/32770624 swapFree=5804/220932
[pid=16622] ppid=16619 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16622/stat : 16622 (xcsp3-exec) S 16619 16622 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3735841 9740288 346 33554432000 4194304 5098028 140723674494096 140723674492200 139832592142972 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 7835648 140723674502288 140723674502496 140723674502496 140723674505195 0
/proc/16622/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300264 s]
/proc/loadavg: 16.02 15.16 10.74 10/272 16622
/proc/meminfo: memFree=31610856/32770624 swapFree=5804/220932
[pid=16622] ppid=16619 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16622/stat : 16622 (xcsp3-exec) S 16619 16622 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3735841 9740288 346 33554432000 4194304 5098028 140723674494096 140723674492200 139832592142972 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 7835648 140723674502288 140723674502496 140723674502496 140723674505195 0
/proc/16622/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700183 s]
/proc/loadavg: 16.02 15.16 10.74 10/272 16622
/proc/meminfo: memFree=31610856/32770624 swapFree=5804/220932
[pid=16622] ppid=16619 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16622/stat : 16622 (xcsp3-exec) S 16619 16622 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3735841 9740288 346 33554432000 4194304 5098028 140723674494096 140723674492200 139832592142972 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 7835648 140723674502288 140723674502496 140723674502496 140723674505195 0
/proc/16622/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50123 s]
/proc/loadavg: 16.02 15.16 10.74 19/301 16651
/proc/meminfo: memFree=31480736/32770624 swapFree=5804/220968
[pid=16622] ppid=16619 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16622/stat : 16622 (xcsp3-exec) S 16619 16622 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3735841 9740288 346 33554432000 4194304 5098028 140723674494096 140723674492200 139832592142972 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 7835648 140723674502288 140723674502496 140723674502496 140723674505195 0
/proc/16622/statm: 2378 346 289 221 0 87 0
[pid=16623] ppid=16622 vsize=13868332 CPUtime=6.28 cores=1,3,5,7,9,11,13,15
/proc/16623/stat : 16623 (java) S 16622 16622 14782 0 -1 1077944320 30412 0 0 0 603 25 0 0 20 0 28 0 3735841 14201171968 81388 33554432000 4194304 4196468 140734969918624 140734969901168 140619425677047 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
/proc/16623/statm: 3467083 81388 3246 1 0 3454316 0
[pid=16623/tid=16624] ppid=16622 vsize=13868332 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16624/stat : 16624 (java) S 16622 16622 14782 0 -1 1077944384 7949 0 0 0 96 6 0 0 20 0 28 0 3735842 14201171968 81388 33554432000 4194304 4196468 140734969918624 140619429917824 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16626] ppid=16622 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16626/stat : 16626 (java) S 16622 16622 14782 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 28 0 3735843 14201171968 81388 33554432000 4194304 4196468 140734969918624 140619378297104 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16627] ppid=16622 vsize=13868332 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16627/stat : 16627 (java) S 16622 16622 14782 0 -1 1077944384 21 0 0 0 1 0 0 0 20 0 28 0 3735843 14201171968 81388 33554432000 4194304 4196468 140734969918624 140619023841680 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16628] ppid=16622 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16628/stat : 16628 (java) S 16622 16622 14782 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 3735843 14201171968 81388 33554432000 4194304 4196468 140734969918624 140619022789136 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16629] ppid=16622 vsize=13868332 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16629/stat : 16629 (java) S 16622 16622 14782 0 -1 1077944384 48 0 0 0 1 1 0 0 20 0 28 0 3735843 14201171968 81388 33554432000 4194304 4196468 140734969918624 140619021736592 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16630] ppid=16622 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16630/stat : 16630 (java) S 16622 16622 14782 0 -1 1077944384 119 0 0 0 0 0 0 0 20 0 28 0 3735843 14201171968 81388 33554432000 4194304 4196468 140734969918624 140619020684048 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16631] ppid=16622 vsize=13868332 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16631/stat : 16631 (java) S 16622 16622 14782 0 -1 1077944384 16 0 0 0 0 1 0 0 20 0 28 0 3735843 14201171968 81388 33554432000 4194304 4196468 140734969918624 140619019631504 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16632] ppid=16622 vsize=13868332 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16632/stat : 16632 (java) S 16622 16622 14782 0 -1 1077944384 21 0 0 0 0 1 0 0 20 0 28 0 3735843 14201171968 81388 33554432000 4194304 4196468 140734969918624 140619018578960 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16633] ppid=16622 vsize=13868332 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16633/stat : 16633 (java) S 16622 16622 14782 0 -1 1077944384 20 0 0 0 1 1 0 0 20 0 28 0 3735843 14201171968 81388 33554432000 4194304 4196468 140734969918624 140619017526416 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16634] ppid=16622 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16634/stat : 16634 (java) S 16622 16622 14782 0 -1 1077944384 128 0 0 0 0 0 0 0 20 0 28 0 3735845 14201171968 81388 33554432000 4194304 4196468 140734969918624 140618888009712 140619425688194 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16635] ppid=16622 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16635/stat : 16635 (java) S 16622 16622 14782 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3735846 14201171968 81388 33554432000 4194304 4196468 140734969918624 140618886955936 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16636] ppid=16622 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16636/stat : 16636 (java) S 16622 16622 14782 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3735846 14201171968 81388 33554432000 4194304 4196468 140734969918624 140618885903344 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16637] ppid=16622 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16637/stat : 16637 (java) S 16622 16622 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3735850 14201171968 81388 33554432000 4194304 4196468 140734969918624 140618884851920 140619425695643 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16638] ppid=16622 vsize=13868332 CPUtime=0.8 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16638/stat : 16638 (java) R 16622 16622 14782 0 -1 1077944384 3850 0 0 0 79 1 0 0 20 0 28 0 3735850 14201171968 81388 33554432000 4194304 4196468 140734969918624 140618883788096 140619425687253 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16639] ppid=16622 vsize=13868332 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16639/stat : 16639 (java) R 16622 16622 14782 0 -1 4202560 3574 0 0 0 90 0 0 0 20 0 28 0 3735850 14201171968 81388 33554432000 4194304 4196468 140734969918624 140618882733312 140619410438676 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16640] ppid=16622 vsize=13868332 CPUtime=0.85 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16640/stat : 16640 (java) R 16622 16622 14782 0 -1 4202560 4077 0 0 0 84 1 0 0 20 0 28 0 3735850 14201171968 81388 33554432000 4194304 4196468 140734969918624 140618881680472 140619410794120 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16641] ppid=16622 vsize=13868332 CPUtime=0.84 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16641/stat : 16641 (java) S 16622 16622 14782 0 -1 1077944384 4731 0 0 0 83 1 0 0 20 0 28 0 3735850 14201171968 81388 33554432000 4194304 4196468 140734969918624 140618880641904 140619425688194 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16642] ppid=16622 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16642/stat : 16642 (java) S 16622 16622 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3735850 14201171968 81388 33554432000 4194304 4196468 140734969918624 140618879588576 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16643] ppid=16622 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16643/stat : 16643 (java) S 16622 16622 14782 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 28 0 3735850 14201171968 81388 33554432000 4194304 4196468 140734969918624 140618878536112 140619425688194 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 13877844
[startup+3.10164 s]
/proc/loadavg: 16.02 15.16 10.74 20/301 16859
/proc/meminfo: memFree=31270060/32770624 swapFree=5804/220968
[pid=16622] ppid=16619 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16622/stat : 16622 (xcsp3-exec) S 16619 16622 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3735841 9740288 346 33554432000 4194304 5098028 140723674494096 140723674492200 139832592142972 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 7835648 140723674502288 140723674502496 140723674502496 140723674505195 0
/proc/16622/statm: 2378 346 289 221 0 87 0
[pid=16623] ppid=16622 vsize=13868332 CPUtime=18.98 cores=1,3,5,7,9,11,13,15
/proc/16623/stat : 16623 (java) S 16622 16622 14782 0 -1 1077944320 33798 0 0 0 1866 32 0 0 20 0 28 0 3735841 14201171968 88727 33554432000 4194304 4196468 140734969918624 140734969901168 140619425677047 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
/proc/16623/statm: 3467083 88727 3272 1 0 3454316 0
[pid=16623/tid=16624] ppid=16622 vsize=13868332 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16624/stat : 16624 (java) S 16622 16622 14782 0 -1 1077944384 7949 0 0 0 96 6 0 0 20 0 28 0 3735842 14201171968 88727 33554432000 4194304 4196468 140734969918624 140619429917824 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16626] ppid=16622 vsize=13868332 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16626/stat : 16626 (java) S 16622 16622 14782 0 -1 1077944384 78 0 0 0 1 1 0 0 20 0 28 0 3735843 14201171968 88727 33554432000 4194304 4196468 140734969918624 140619378297104 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16627] ppid=16622 vsize=13868332 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16627/stat : 16627 (java) S 16622 16622 14782 0 -1 1077944384 25 0 0 0 1 1 0 0 20 0 28 0 3735843 14201171968 88727 33554432000 4194304 4196468 140734969918624 140619023841680 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16628] ppid=16622 vsize=13868332 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16628/stat : 16628 (java) S 16622 16622 14782 0 -1 1077944384 19 0 0 0 1 1 0 0 20 0 28 0 3735843 14201171968 88727 33554432000 4194304 4196468 140734969918624 140619022789136 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16629] ppid=16622 vsize=13868332 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16629/stat : 16629 (java) S 16622 16622 14782 0 -1 1077944384 54 0 0 0 2 2 0 0 20 0 28 0 3735843 14201171968 88727 33554432000 4194304 4196468 140734969918624 140619021736592 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16630] ppid=16622 vsize=13868332 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16630/stat : 16630 (java) S 16622 16622 14782 0 -1 1077944384 125 0 0 0 1 0 0 0 20 0 28 0 3735843 14201171968 88727 33554432000 4194304 4196468 140734969918624 140619020684048 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16631] ppid=16622 vsize=13868332 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16631/stat : 16631 (java) S 16622 16622 14782 0 -1 1077944384 28 0 0 0 0 2 0 0 20 0 28 0 3735843 14201171968 88727 33554432000 4194304 4196468 140734969918624 140619019631504 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16632] ppid=16622 vsize=13868332 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16632/stat : 16632 (java) S 16622 16622 14782 0 -1 1077944384 29 0 0 0 1 1 0 0 20 0 28 0 3735843 14201171968 88727 33554432000 4194304 4196468 140734969918624 140619018578960 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16633] ppid=16622 vsize=13868332 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16633/stat : 16633 (java) S 16622 16622 14782 0 -1 1077944384 29 0 0 0 1 2 0 0 20 0 28 0 3735843 14201171968 88727 33554432000 4194304 4196468 140734969918624 140619017526416 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16634] ppid=16622 vsize=13868332 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16634/stat : 16634 (java) S 16622 16622 14782 0 -1 1077944384 279 0 0 0 1 0 0 0 20 0 28 0 3735845 14201171968 88727 33554432000 4194304 4196468 140734969918624 140618888009712 140619425688194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16635] ppid=16622 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16635/stat : 16635 (java) S 16622 16622 14782 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3735846 14201171968 88727 33554432000 4194304 4196468 140734969918624 140618886955936 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16636] ppid=16622 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16636/stat : 16636 (java) S 16622 16622 14782 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3735846 14201171968 88727 33554432000 4194304 4196468 140734969918624 140618885903344 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16637] ppid=16622 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16637/stat : 16637 (java) S 16622 16622 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3735850 14201171968 88727 33554432000 4194304 4196468 140734969918624 140618884851920 140619425695643 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16638] ppid=16622 vsize=13868332 CPUtime=1.89 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16638/stat : 16638 (java) R 16622 16622 14782 0 -1 4202560 4746 0 0 0 188 1 0 0 20 0 28 0 3735850 14201171968 88727 33554432000 4194304 4196468 140734969918624 140618883780720 140619406312980 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16639] ppid=16622 vsize=13868332 CPUtime=2.11 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16639/stat : 16639 (java) R 16622 16622 14782 0 -1 4202560 4068 0 0 0 211 0 0 0 20 0 28 0 3735850 14201171968 88727 33554432000 4194304 4196468 140734969918624 140618882733040 140619409063835 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16640] ppid=16622 vsize=13868332 CPUtime=2.05 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16640/stat : 16640 (java) R 16622 16622 14782 0 -1 4202560 4892 0 0 0 204 1 0 0 20 0 28 0 3735850 14201171968 88727 33554432000 4194304 4196468 140734969918624 140618881680544 140619410066435 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16641] ppid=16622 vsize=13868332 CPUtime=1 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16641/stat : 16641 (java) R 16622 16622 14782 0 -1 4202560 5115 0 0 0 98 2 0 0 20 0 28 0 3735850 14201171968 88727 33554432000 4194304 4196468 140734969918624 140618880639696 140619405086992 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16642] ppid=16622 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16642/stat : 16642 (java) S 16622 16622 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3735850 14201171968 88727 33554432000 4194304 4196468 140734969918624 140618879588576 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16643] ppid=16622 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16643/stat : 16643 (java) S 16622 16622 14782 0 -1 1077944384 13 0 0 0 0 0 0 0 20 0 28 0 3735850 14201171968 88727 33554432000 4194304 4196468 140734969918624 140618878536112 140619425688194 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16852] ppid=16622 vsize=13868332 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16852/stat : 16852 (java) R 16622 16622 14782 0 -1 4202560 111 0 0 0 123 0 0 0 20 0 28 0 3735990 14201171968 88727 33554432000 4194304 4196468 140734969918624 140618865258712 140619410248007 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16853] ppid=16622 vsize=13868332 CPUtime=1.24 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16853/stat : 16853 (java) R 16622 16622 14782 0 -1 4202560 93 0 0 0 124 0 0 0 20 0 28 0 3735990 14201171968 88727 33554432000 4194304 4196468 140734969918624 140618863152496 140619066137758 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16854] ppid=16622 vsize=13868332 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16854/stat : 16854 (java) R 16622 16622 14782 0 -1 4202560 81 0 0 0 93 0 0 0 20 0 28 0 3735990 14201171968 88727 33554432000 4194304 4196468 140734969918624 140618870521816 140619065273582 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16855] ppid=16622 vsize=13868332 CPUtime=0.9 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16855/stat : 16855 (java) R 16622 16622 14782 0 -1 4202560 166 0 0 0 90 0 0 0 20 0 28 0 3735990 14201171968 88727 33554432000 4194304 4196468 140734969918624 140618866311056 140619066380630 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16856] ppid=16622 vsize=13868332 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16856/stat : 16856 (java) R 16622 16622 14782 0 -1 4202560 120 0 0 0 118 0 0 0 20 0 28 0 3735990 14201171968 88727 33554432000 4194304 4196468 140734969918624 140618862102176 140619425698394 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16857] ppid=16622 vsize=13868332 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16857/stat : 16857 (java) R 16622 16622 14782 0 -1 4202560 81 0 0 0 119 0 0 0 20 0 28 0 3735990 14201171968 88727 33554432000 4194304 4196468 140734969918624 140618869469448 140619065501406 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16858] ppid=16622 vsize=13868332 CPUtime=1.17 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16858/stat : 16858 (java) R 16622 16622 14782 0 -1 4202560 25 0 0 0 117 0 0 0 20 0 28 0 3735990 14201171968 88727 33554432000 4194304 4196468 140734969918624 140618867362976 140619064972078 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16859] ppid=16622 vsize=13868332 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16859/stat : 16859 (java) R 16622 16622 14782 0 -1 4202560 40 0 0 0 113 0 0 0 20 0 28 0 3735990 14201171968 88727 33554432000 4194304 4196468 140734969918624 140618864207760 140619066178412 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
Current children cumulated CPU time (s) 18.98
Current children cumulated vsize (KiB) 13877844
[startup+6.30245 s]
/proc/loadavg: 16.17 15.21 10.78 18/301 16867
/proc/meminfo: memFree=31204436/32770624 swapFree=5804/220976
[pid=16622] ppid=16619 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16622/stat : 16622 (xcsp3-exec) S 16619 16622 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3735841 9740288 346 33554432000 4194304 5098028 140723674494096 140723674492200 139832592142972 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 7835648 140723674502288 140723674502496 140723674502496 140723674505195 0
/proc/16622/statm: 2378 346 289 221 0 87 0
[pid=16623] ppid=16622 vsize=13868332 CPUtime=44.32 cores=1,3,5,7,9,11,13,15
/proc/16623/stat : 16623 (java) S 16622 16622 14782 0 -1 1077944320 36284 0 0 0 4381 51 0 0 20 0 28 0 3735841 14201171968 156692 33554432000 4194304 4196468 140734969918624 140734969901168 140619425677047 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
/proc/16623/statm: 3467083 156692 3280 1 0 3454316 0
[pid=16623/tid=16624] ppid=16622 vsize=13868332 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16624/stat : 16624 (java) S 16622 16622 14782 0 -1 1077944384 7991 0 0 0 96 6 0 0 20 0 28 0 3735842 14201171968 156692 33554432000 4194304 4196468 140734969918624 140619429917824 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16626] ppid=16622 vsize=13868332 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16626/stat : 16626 (java) S 16622 16622 14782 0 -1 1077944384 97 0 0 0 2 3 0 0 20 0 28 0 3735843 14201171968 156692 33554432000 4194304 4196468 140734969918624 140619378297104 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16627] ppid=16622 vsize=13868332 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16627/stat : 16627 (java) S 16622 16622 14782 0 -1 1077944384 45 0 0 0 2 2 0 0 20 0 28 0 3735843 14201171968 156692 33554432000 4194304 4196468 140734969918624 140619023841680 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16628] ppid=16622 vsize=13868332 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16628/stat : 16628 (java) S 16622 16622 14782 0 -1 1077944384 39 0 0 0 2 2 0 0 20 0 28 0 3735843 14201171968 156692 33554432000 4194304 4196468 140734969918624 140619022789136 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16629] ppid=16622 vsize=13868332 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16629/stat : 16629 (java) S 16622 16622 14782 0 -1 1077944384 72 0 0 0 3 3 0 0 20 0 28 0 3735843 14201171968 156692 33554432000 4194304 4196468 140734969918624 140619021736592 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
################
# More data... #
################
/proc/16623/task/16635/stat : 16635 (java) S 16622 16622 14782 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3735846 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618886955936 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16636] ppid=16622 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16636/stat : 16636 (java) S 16622 16622 14782 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3735846 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618885903344 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16637] ppid=16622 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16637/stat : 16637 (java) S 16622 16622 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3735850 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618884851920 140619425695643 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16638] ppid=16622 vsize=13868332 CPUtime=2.92 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16638/stat : 16638 (java) S 16622 16622 14782 0 -1 1077944384 7698 0 0 0 290 2 0 0 20 0 28 0 3735850 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618883799536 140619425688194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16639] ppid=16622 vsize=13868332 CPUtime=2.99 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16639/stat : 16639 (java) S 16622 16622 14782 0 -1 1077944384 7058 0 0 0 298 1 0 0 20 0 28 0 3735850 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618882746992 140619425688194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16640] ppid=16622 vsize=13868332 CPUtime=2.9 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16640/stat : 16640 (java) S 16622 16622 14782 0 -1 1077944384 7966 0 0 0 289 1 0 0 20 0 28 0 3735850 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618881694448 140619425688194 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16641] ppid=16622 vsize=13868332 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16641/stat : 16641 (java) S 16622 16622 14782 0 -1 1077944384 6268 0 0 0 108 2 0 0 20 0 28 0 3735850 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618880641904 140619425688194 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16642] ppid=16622 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16642/stat : 16642 (java) S 16622 16622 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3735850 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618879588576 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16643] ppid=16622 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16643/stat : 16643 (java) S 16622 16622 14782 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 3735850 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618878536112 140619425688194 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16860] ppid=16622 vsize=13868332 CPUtime=9.23 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16860/stat : 16860 (java) R 16622 16622 14782 0 -1 4202560 402 0 0 0 923 0 0 0 20 0 28 0 3736344 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618866309832 140619064971999 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16861] ppid=16622 vsize=13868332 CPUtime=8.95 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16861/stat : 16861 (java) R 16622 16622 14782 0 -1 4202560 372 0 0 0 895 0 0 0 20 0 28 0 3736344 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618863153592 140619065733334 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16862] ppid=16622 vsize=13868332 CPUtime=9.16 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16862/stat : 16862 (java) R 16622 16622 14782 0 -1 4202560 396 0 0 0 916 0 0 0 20 0 28 0 3736344 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618864206584 140619065580614 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16863] ppid=16622 vsize=13868332 CPUtime=8.94 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16863/stat : 16863 (java) R 16622 16622 14782 0 -1 4202560 1403 0 0 0 884 10 0 0 20 0 28 0 3736344 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618862101368 140619065242541 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16864] ppid=16622 vsize=13868332 CPUtime=9.31 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16864/stat : 16864 (java) R 16622 16622 14782 0 -1 4202560 351 0 0 0 931 0 0 0 20 0 28 0 3736344 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618870521920 140619064972168 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16865] ppid=16622 vsize=13868332 CPUtime=9.18 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16865/stat : 16865 (java) R 16622 16622 14782 0 -1 4202560 553 0 0 0 918 0 0 0 20 0 28 0 3736344 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618867364984 140619066378704 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16866] ppid=16622 vsize=13868332 CPUtime=9.2 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16866/stat : 16866 (java) R 16622 16622 14782 0 -1 4202560 181 0 0 0 920 0 0 0 20 0 28 0 3736344 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618869469432 140619065275720 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16867] ppid=16622 vsize=13868332 CPUtime=9.13 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16867/stat : 16867 (java) R 16622 16622 14782 0 -1 4202560 537 0 0 0 913 0 0 0 20 0 28 0 3736344 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618865258168 140619065499970 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
Current children cumulated CPU time (s) 108.77
Current children cumulated vsize (KiB) 13877844
[startup+14.6016 s]
/proc/loadavg: 16.15 15.23 10.84 17/301 16867
/proc/meminfo: memFree=30480492/32770624 swapFree=5804/220984
[pid=16622] ppid=16619 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16622/stat : 16622 (xcsp3-exec) S 16619 16622 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3735841 9740288 346 33554432000 4194304 5098028 140723674494096 140723674492200 139832592142972 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 7835648 140723674502288 140723674502496 140723674502496 140723674505195 0
/proc/16622/statm: 2378 346 289 221 0 87 0
[pid=16623] ppid=16622 vsize=13868332 CPUtime=110.25 cores=1,3,5,7,9,11,13,15
/proc/16623/stat : 16623 (java) S 16622 16622 14782 0 -1 1077944320 53461 0 0 0 10953 72 0 0 20 0 28 0 3735841 14201171968 286498 33554432000 4194304 4196468 140734969918624 140734969901168 140619425677047 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
/proc/16623/statm: 3467083 286498 3281 1 0 3454316 0
[pid=16623/tid=16624] ppid=16622 vsize=13868332 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16624/stat : 16624 (java) S 16622 16622 14782 0 -1 1077944384 7991 0 0 0 96 6 0 0 20 0 28 0 3735842 14201171968 286498 33554432000 4194304 4196468 140734969918624 140619429917824 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16626] ppid=16622 vsize=13868332 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16626/stat : 16626 (java) S 16622 16622 14782 0 -1 1077944384 186 0 0 0 4 4 0 0 20 0 28 0 3735843 14201171968 286498 33554432000 4194304 4196468 140734969918624 140619378297104 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16627] ppid=16622 vsize=13868332 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16627/stat : 16627 (java) S 16622 16622 14782 0 -1 1077944384 1052 0 0 0 3 3 0 0 20 0 28 0 3735843 14201171968 286498 33554432000 4194304 4196468 140734969918624 140619023841680 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16628] ppid=16622 vsize=13868332 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16628/stat : 16628 (java) S 16622 16622 14782 0 -1 1077944384 60 0 0 0 3 3 0 0 20 0 28 0 3735843 14201171968 286498 33554432000 4194304 4196468 140734969918624 140619022789136 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16629] ppid=16622 vsize=13868332 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16629/stat : 16629 (java) S 16622 16622 14782 0 -1 1077944384 1164 0 0 0 4 5 0 0 20 0 28 0 3735843 14201171968 286498 33554432000 4194304 4196468 140734969918624 140619021736592 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16630] ppid=16622 vsize=13868332 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16630/stat : 16630 (java) S 16622 16622 14782 0 -1 1077944384 735 0 0 0 4 4 0 0 20 0 28 0 3735843 14201171968 286498 33554432000 4194304 4196468 140734969918624 140619020684048 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16631] ppid=16622 vsize=13868332 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16631/stat : 16631 (java) S 16622 16622 14782 0 -1 1077944384 171 0 0 0 3 4 0 0 20 0 28 0 3735843 14201171968 286498 33554432000 4194304 4196468 140734969918624 140619019631504 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16632] ppid=16622 vsize=13868332 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16632/stat : 16632 (java) S 16622 16622 14782 0 -1 1077944384 156 0 0 0 3 4 0 0 20 0 28 0 3735843 14201171968 286498 33554432000 4194304 4196468 140734969918624 140619018578960 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16633] ppid=16622 vsize=13868332 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16633/stat : 16633 (java) S 16622 16622 14782 0 -1 1077944384 610 0 0 0 4 5 0 0 20 0 28 0 3735843 14201171968 286498 33554432000 4194304 4196468 140734969918624 140619017526416 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16634] ppid=16622 vsize=13868332 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16634/stat : 16634 (java) S 16622 16622 14782 0 -1 1077944384 1522 0 0 0 3 1 0 0 20 0 28 0 3735845 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618888009712 140619425688194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16635] ppid=16622 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16635/stat : 16635 (java) S 16622 16622 14782 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3735846 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618886955936 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16636] ppid=16622 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16636/stat : 16636 (java) S 16622 16622 14782 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3735846 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618885903344 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16637] ppid=16622 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16637/stat : 16637 (java) S 16622 16622 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3735850 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618884851920 140619425695643 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16638] ppid=16622 vsize=13868332 CPUtime=2.92 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16638/stat : 16638 (java) S 16622 16622 14782 0 -1 1077944384 7698 0 0 0 290 2 0 0 20 0 28 0 3735850 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618883799536 140619425688194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16639] ppid=16622 vsize=13868332 CPUtime=2.99 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16639/stat : 16639 (java) S 16622 16622 14782 0 -1 1077944384 7058 0 0 0 298 1 0 0 20 0 28 0 3735850 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618882746992 140619425688194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16640] ppid=16622 vsize=13868332 CPUtime=2.9 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16640/stat : 16640 (java) S 16622 16622 14782 0 -1 1077944384 7974 0 0 0 289 1 0 0 20 0 28 0 3735850 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618881694448 140619425688194 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16641] ppid=16622 vsize=13868332 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16641/stat : 16641 (java) S 16622 16622 14782 0 -1 1077944384 6268 0 0 0 108 2 0 0 20 0 28 0 3735850 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618880641904 140619425688194 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16642] ppid=16622 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16642/stat : 16642 (java) S 16622 16622 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3735850 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618879588576 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16643] ppid=16622 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16643/stat : 16643 (java) S 16622 16622 14782 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 3735850 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618878536112 140619425688194 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16860] ppid=16622 vsize=13868332 CPUtime=9.42 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16860/stat : 16860 (java) R 16622 16622 14782 0 -1 4202560 406 0 0 0 942 0 0 0 20 0 28 0 3736344 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618866309832 140619065284609 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16861] ppid=16622 vsize=13868332 CPUtime=9.14 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16861/stat : 16861 (java) R 16622 16622 14782 0 -1 4202560 372 0 0 0 914 0 0 0 20 0 28 0 3736344 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618863153592 140619065580979 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16862] ppid=16622 vsize=13868332 CPUtime=9.34 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16862/stat : 16862 (java) R 16622 16622 14782 0 -1 4202560 399 0 0 0 934 0 0 0 20 0 28 0 3736344 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618864206584 140619065502680 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16863] ppid=16622 vsize=13868332 CPUtime=9.12 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16863/stat : 16863 (java) R 16622 16622 14782 0 -1 4202560 1408 0 0 0 902 10 0 0 20 0 28 0 3736344 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618862101368 140619066781008 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16864] ppid=16622 vsize=13868332 CPUtime=9.49 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16864/stat : 16864 (java) R 16622 16622 14782 0 -1 4202560 351 0 0 0 949 0 0 0 20 0 28 0 3736344 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618870521920 140619066276932 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16865] ppid=16622 vsize=13868332 CPUtime=9.36 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16865/stat : 16865 (java) R 16622 16622 14782 0 -1 4202560 556 0 0 0 936 0 0 0 20 0 28 0 3736344 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618867364984 140619065241565 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16866] ppid=16622 vsize=13868332 CPUtime=9.39 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16866/stat : 16866 (java) R 16622 16622 14782 0 -1 4202560 183 0 0 0 939 0 0 0 20 0 28 0 3736344 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618869469432 140619065502405 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16867] ppid=16622 vsize=13868332 CPUtime=9.31 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16867/stat : 16867 (java) R 16622 16622 14782 0 -1 4202560 541 0 0 0 931 0 0 0 20 0 28 0 3736344 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618865258616 140619065283228 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
Current children cumulated CPU time (s) 110.25
Current children cumulated vsize (KiB) 13877844
[startup+14.7017 s]
/proc/loadavg: 16.15 15.23 10.84 17/301 16867
/proc/meminfo: memFree=30480492/32770624 swapFree=5804/220984
[pid=16622] ppid=16619 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16622/stat : 16622 (xcsp3-exec) S 16619 16622 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3735841 9740288 346 33554432000 4194304 5098028 140723674494096 140723674492200 139832592142972 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 7835648 140723674502288 140723674502496 140723674502496 140723674505195 0
/proc/16622/statm: 2378 346 289 221 0 87 0
[pid=16623] ppid=16622 vsize=13868332 CPUtime=111.05 cores=1,3,5,7,9,11,13,15
/proc/16623/stat : 16623 (java) S 16622 16622 14782 0 -1 1077944320 53473 0 0 0 11033 72 0 0 20 0 28 0 3735841 14201171968 286498 33554432000 4194304 4196468 140734969918624 140734969901168 140619425677047 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
/proc/16623/statm: 3467083 286498 3281 1 0 3454316 0
[pid=16623/tid=16624] ppid=16622 vsize=13868332 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16624/stat : 16624 (java) S 16622 16622 14782 0 -1 1077944384 7991 0 0 0 96 6 0 0 20 0 28 0 3735842 14201171968 286498 33554432000 4194304 4196468 140734969918624 140619429917824 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16626] ppid=16622 vsize=13868332 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16626/stat : 16626 (java) S 16622 16622 14782 0 -1 1077944384 186 0 0 0 4 4 0 0 20 0 28 0 3735843 14201171968 286498 33554432000 4194304 4196468 140734969918624 140619378297104 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16627] ppid=16622 vsize=13868332 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16627/stat : 16627 (java) S 16622 16622 14782 0 -1 1077944384 1052 0 0 0 3 3 0 0 20 0 28 0 3735843 14201171968 286498 33554432000 4194304 4196468 140734969918624 140619023841680 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16628] ppid=16622 vsize=13868332 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16628/stat : 16628 (java) S 16622 16622 14782 0 -1 1077944384 60 0 0 0 3 3 0 0 20 0 28 0 3735843 14201171968 286498 33554432000 4194304 4196468 140734969918624 140619022789136 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16629] ppid=16622 vsize=13868332 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16629/stat : 16629 (java) S 16622 16622 14782 0 -1 1077944384 1164 0 0 0 4 5 0 0 20 0 28 0 3735843 14201171968 286498 33554432000 4194304 4196468 140734969918624 140619021736592 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16630] ppid=16622 vsize=13868332 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16630/stat : 16630 (java) S 16622 16622 14782 0 -1 1077944384 735 0 0 0 4 4 0 0 20 0 28 0 3735843 14201171968 286498 33554432000 4194304 4196468 140734969918624 140619020684048 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16631] ppid=16622 vsize=13868332 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16631/stat : 16631 (java) S 16622 16622 14782 0 -1 1077944384 171 0 0 0 3 4 0 0 20 0 28 0 3735843 14201171968 286498 33554432000 4194304 4196468 140734969918624 140619019631504 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16632] ppid=16622 vsize=13868332 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16632/stat : 16632 (java) S 16622 16622 14782 0 -1 1077944384 156 0 0 0 3 4 0 0 20 0 28 0 3735843 14201171968 286498 33554432000 4194304 4196468 140734969918624 140619018578960 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16633] ppid=16622 vsize=13868332 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16633/stat : 16633 (java) S 16622 16622 14782 0 -1 1077944384 610 0 0 0 4 5 0 0 20 0 28 0 3735843 14201171968 286498 33554432000 4194304 4196468 140734969918624 140619017526416 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16634] ppid=16622 vsize=13868332 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16634/stat : 16634 (java) S 16622 16622 14782 0 -1 1077944384 1522 0 0 0 3 1 0 0 20 0 28 0 3735845 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618888009712 140619425688194 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16635] ppid=16622 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16635/stat : 16635 (java) S 16622 16622 14782 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 28 0 3735846 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618886955936 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16636] ppid=16622 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16636/stat : 16636 (java) S 16622 16622 14782 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 28 0 3735846 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618885903344 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16637] ppid=16622 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16637/stat : 16637 (java) S 16622 16622 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3735850 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618884851920 140619425695643 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16638] ppid=16622 vsize=13868332 CPUtime=2.92 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16638/stat : 16638 (java) S 16622 16622 14782 0 -1 1077944384 7698 0 0 0 290 2 0 0 20 0 28 0 3735850 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618883799536 140619425688194 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16639] ppid=16622 vsize=13868332 CPUtime=2.99 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16639/stat : 16639 (java) S 16622 16622 14782 0 -1 1077944384 7058 0 0 0 298 1 0 0 20 0 28 0 3735850 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618882746992 140619425688194 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16640] ppid=16622 vsize=13868332 CPUtime=2.9 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16640/stat : 16640 (java) S 16622 16622 14782 0 -1 1077944384 7974 0 0 0 289 1 0 0 20 0 28 0 3735850 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618881694448 140619425688194 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16641] ppid=16622 vsize=13868332 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16641/stat : 16641 (java) S 16622 16622 14782 0 -1 1077944384 6268 0 0 0 108 2 0 0 20 0 28 0 3735850 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618880641904 140619425688194 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16642] ppid=16622 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16642/stat : 16642 (java) S 16622 16622 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3735850 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618879588576 140619425687253 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16643] ppid=16622 vsize=13868332 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16643/stat : 16643 (java) S 16622 16622 14782 0 -1 1077944384 75 0 0 0 0 0 0 0 20 0 28 0 3735850 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618878536112 140619425688194 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16860] ppid=16622 vsize=13868332 CPUtime=9.52 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16860/stat : 16860 (java) R 16622 16622 14782 0 -1 4202560 406 0 0 0 952 0 0 0 20 0 28 0 3736344 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618866309832 140619065734614 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16861] ppid=16622 vsize=13868332 CPUtime=9.24 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16861/stat : 16861 (java) R 16622 16622 14782 0 -1 4202560 374 0 0 0 924 0 0 0 20 0 28 0 3736344 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618863153592 140619065502178 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16862] ppid=16622 vsize=13868332 CPUtime=9.44 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16862/stat : 16862 (java) R 16622 16622 14782 0 -1 4202560 399 0 0 0 944 0 0 0 20 0 28 0 3736344 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618864206584 140619064971905 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16863] ppid=16622 vsize=13868332 CPUtime=9.22 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16863/stat : 16863 (java) R 16622 16622 14782 0 -1 4202560 1410 0 0 0 912 10 0 0 20 0 28 0 3736344 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618862101368 140619065984406 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16864] ppid=16622 vsize=13868332 CPUtime=9.59 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16864/stat : 16864 (java) R 16622 16622 14782 0 -1 4202560 353 0 0 0 959 0 0 0 20 0 28 0 3736344 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618870521920 140619066628448 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16865] ppid=16622 vsize=13868332 CPUtime=9.46 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16865/stat : 16865 (java) R 16622 16622 14782 0 -1 4202560 560 0 0 0 946 0 0 0 20 0 28 0 3736344 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618867364984 140619066818224 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16866] ppid=16622 vsize=13868332 CPUtime=9.49 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16866/stat : 16866 (java) R 16622 16622 14782 0 -1 4202560 183 0 0 0 949 0 0 0 20 0 28 0 3736344 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618869469432 140619410015825 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
[pid=16623/tid=16867] ppid=16622 vsize=13868332 CPUtime=9.41 cores=1,3,5,7,9,11,13,15
/proc/16623/task/16867/stat : 16867 (java) R 16622 16622 14782 0 -1 4202560 543 0 0 0 941 0 0 0 20 0 28 0 3736344 14201171968 286498 33554432000 4194304 4196468 140734969918624 140618865258616 140619065731902 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 34406400 140734969922748 140734969922924 140734969922924 140734969925583 0
Current children cumulated CPU time (s) 111.05
Current children cumulated vsize (KiB) 13877844
Child status: 0
Real time (s): 14.7649
CPU time (s): 111.491
CPU user time (s): 110.751
CPU system time (s): 0.739384
CPU usage (%): 755.106
Max. virtual memory (cumulated for all children) (KiB): 13877844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 110.751
system time used= 0.739384
maximum resident set size= 1145992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 54389
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= 6960
involuntary context switches= 8777
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.201208 second user time and 0.232978 second system time
The end