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-4250046-1500696306/watcher-4250046-1500696306 -o /tmp/evaluation-result-4250046-1500696306/solver-4250046-1500696306 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1500682495-14658 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 397456168 HOME/instance-4250046-1500696306.xml
pid=18411
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: 9.63 11.39 12.68 10/271 18414
/proc/meminfo: memFree=25343600/32770624 swapFree=5972/274896
[pid=18414] ppid=18411 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18414/stat : 18414 (xcsp3-exec) S 18411 18414 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4900090 9740288 346 33554432000 4194304 5098028 140732270934608 140732270932712 140223498162812 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 20107264 140732270937231 140732270937440 140732270937440 140732270940139 0
/proc/18414/statm: 2378 346 289 221 0 87 0
[startup+0.100063 s]
/proc/loadavg: 9.63 11.39 12.68 10/271 18414
/proc/meminfo: memFree=25343600/32770624 swapFree=5972/274896
[pid=18414] ppid=18411 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18414/stat : 18414 (xcsp3-exec) S 18411 18414 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4900090 9740288 346 33554432000 4194304 5098028 140732270934608 140732270932712 140223498162812 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 20107264 140732270937231 140732270937440 140732270937440 140732270940139 0
/proc/18414/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200341 s]
/proc/loadavg: 9.63 11.39 12.68 10/271 18414
/proc/meminfo: memFree=25343600/32770624 swapFree=5972/274896
[pid=18414] ppid=18411 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18414/stat : 18414 (xcsp3-exec) S 18411 18414 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4900090 9740288 346 33554432000 4194304 5098028 140732270934608 140732270932712 140223498162812 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 20107264 140732270937231 140732270937440 140732270937440 140732270940139 0
/proc/18414/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300283 s]
/proc/loadavg: 9.63 11.39 12.68 10/271 18414
/proc/meminfo: memFree=25343600/32770624 swapFree=5972/274896
[pid=18414] ppid=18411 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18414/stat : 18414 (xcsp3-exec) S 18411 18414 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4900090 9740288 346 33554432000 4194304 5098028 140732270934608 140732270932712 140223498162812 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 20107264 140732270937231 140732270937440 140732270937440 140732270940139 0
/proc/18414/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700244 s]
/proc/loadavg: 9.63 11.39 12.68 10/271 18414
/proc/meminfo: memFree=25343600/32770624 swapFree=5972/274896
[pid=18414] ppid=18411 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18414/stat : 18414 (xcsp3-exec) S 18411 18414 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4900090 9740288 346 33554432000 4194304 5098028 140732270934608 140732270932712 140223498162812 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 20107264 140732270937231 140732270937440 140732270937440 140732270940139 0
/proc/18414/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50125 s]
/proc/loadavg: 9.63 11.39 12.68 14/292 18435
/proc/meminfo: memFree=25195976/32770624 swapFree=5972/274964
[pid=18414] ppid=18411 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18414/stat : 18414 (xcsp3-exec) S 18411 18414 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4900090 9740288 346 33554432000 4194304 5098028 140732270934608 140732270932712 140223498162812 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 20107264 140732270937231 140732270937440 140732270937440 140732270940139 0
/proc/18414/statm: 2378 346 289 221 0 87 0
[pid=18415] ppid=18414 vsize=13269256 CPUtime=5.43 cores=1,3,5,7,9,11,13,15
/proc/18415/stat : 18415 (java) S 18414 18414 14626 0 -1 1077944320 22009 0 0 0 522 21 0 0 20 0 20 0 4900090 13587718144 58612 33554432000 4194304 4196468 140730092736784 140730092719328 140684428623607 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
/proc/18415/statm: 3317314 58612 3252 1 0 3304547 0
[pid=18415/tid=18416] ppid=18414 vsize=13269256 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18416/stat : 18416 (java) S 18414 18414 14626 0 -1 1077944384 7387 0 0 0 137 4 0 0 20 0 20 0 4900091 13587718144 58612 33554432000 4194304 4196468 140730092736784 140684432862560 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18418] ppid=18414 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18418/stat : 18418 (java) R 18414 18414 14626 0 -1 4202560 88 0 0 0 1 1 0 0 20 0 20 0 4900091 13587718144 58612 33554432000 4194304 4196468 140730092736784 140684347103704 140684410249610 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18419] ppid=18414 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18419/stat : 18419 (java) R 18414 18414 14626 0 -1 4202560 20 0 0 0 1 1 0 0 20 0 20 0 4900091 13587718144 58612 33554432000 4194304 4196468 140730092736784 140684346051160 140684410249552 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18420] ppid=18414 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18420/stat : 18420 (java) R 18414 18414 14626 0 -1 4202560 29 0 0 0 2 2 0 0 20 0 20 0 4900091 13587718144 58612 33554432000 4194304 4196468 140730092736784 140684344998616 140684413071822 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18421] ppid=18414 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18421/stat : 18421 (java) R 18414 18414 14626 0 -1 4202560 42 0 0 0 2 2 0 0 20 0 20 0 4900092 13587718144 58612 33554432000 4194304 4196468 140730092736784 140684343946072 140684421727214 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18422] ppid=18414 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18422/stat : 18422 (java) R 18414 18414 14626 0 -1 4202560 48 0 0 0 1 1 0 0 20 0 20 0 4900092 13587718144 58612 33554432000 4194304 4196468 140730092736784 140684342893528 140684421730153 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18423] ppid=18414 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18423/stat : 18423 (java) R 18414 18414 14626 0 -1 4202560 56 0 0 0 1 1 0 0 20 0 20 0 4900092 13587718144 58612 33554432000 4194304 4196468 140730092736784 140684341840984 140684413071639 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18424] ppid=18414 vsize=13269256 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18424/stat : 18424 (java) R 18414 18414 14626 0 -1 4202560 19 0 0 0 1 1 0 0 20 0 20 0 4900092 13587718144 58612 33554432000 4194304 4196468 140730092736784 140684340788440 140684413651026 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18425] ppid=18414 vsize=13269256 CPUtime=0.03 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18425/stat : 18425 (java) R 18414 18414 14626 0 -1 4202560 28 0 0 0 2 1 0 0 20 0 20 0 4900092 13587718144 58612 33554432000 4194304 4196468 140730092736784 140684339735584 140684413645800 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18426] ppid=18414 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18426/stat : 18426 (java) S 18414 18414 14626 0 -1 1077944384 186 0 0 0 0 0 0 0 20 0 20 0 4900094 13587718144 58612 33554432000 4194304 4196468 140730092736784 140683890889248 140684428633813 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18427] ppid=18414 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18427/stat : 18427 (java) S 18414 18414 14626 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 20 0 4900094 13587718144 58612 33554432000 4194304 4196468 140730092736784 140683889836960 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18428] ppid=18414 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18428/stat : 18428 (java) S 18414 18414 14626 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4900095 13587718144 58612 33554432000 4194304 4196468 140730092736784 140683888784368 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18429] ppid=18414 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18429/stat : 18429 (java) S 18414 18414 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4900098 13587718144 58612 33554432000 4194304 4196468 140730092736784 140683887732944 140684428642203 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18430] ppid=18414 vsize=13269256 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18430/stat : 18430 (java) S 18414 18414 14626 0 -1 1077944384 3762 0 0 0 102 0 0 0 20 0 20 0 4900098 13587718144 58612 33554432000 4194304 4196468 140730092736784 140683886671664 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18431] ppid=18414 vsize=13269256 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18431/stat : 18431 (java) S 18414 18414 14626 0 -1 1077944384 3226 0 0 0 104 0 0 0 20 0 20 0 4900098 13587718144 58612 33554432000 4194304 4196468 140730092736784 140683885607824 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18432] ppid=18414 vsize=13269256 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18432/stat : 18432 (java) S 18414 18414 14626 0 -1 1077944384 2972 0 0 0 98 1 0 0 20 0 20 0 4900098 13587718144 58612 33554432000 4194304 4196468 140730092736784 140683884566576 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18433] ppid=18414 vsize=13269256 CPUtime=0.63 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18433/stat : 18433 (java) S 18414 18414 14626 0 -1 1077944384 2804 0 0 0 62 1 0 0 20 0 20 0 4900098 13587718144 58612 33554432000 4194304 4196468 140730092736784 140683883522928 140684428634754 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18434] ppid=18414 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18434/stat : 18434 (java) S 18414 18414 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4900098 13587718144 58612 33554432000 4194304 4196468 140730092736784 140683882469600 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18435] ppid=18414 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18435/stat : 18435 (java) S 18414 18414 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4900099 13587718144 58612 33554432000 4194304 4196468 140730092736784 140683881417136 140684428634754 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
Current children cumulated CPU time (s) 5.43
Current children cumulated vsize (KiB) 13278768
[startup+3.10128 s]
/proc/loadavg: 9.63 11.39 12.68 10/292 18435
/proc/meminfo: memFree=24925556/32770624 swapFree=5972/274964
[pid=18414] ppid=18411 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18414/stat : 18414 (xcsp3-exec) S 18411 18414 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4900090 9740288 346 33554432000 4194304 5098028 140732270934608 140732270932712 140223498162812 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 20107264 140732270937231 140732270937440 140732270937440 140732270940139 0
/proc/18414/statm: 2378 346 289 221 0 87 0
[pid=18415] ppid=18414 vsize=13801768 CPUtime=14.03 cores=1,3,5,7,9,11,13,15
/proc/18415/stat : 18415 (java) S 18414 18414 14626 0 -1 1077944320 26479 0 0 0 1314 89 0 0 20 0 28 0 4900090 14133010432 122083 33554432000 4194304 4196468 140730092736784 140730092719328 140684428623607 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
/proc/18415/statm: 3450442 122083 3269 1 0 3437675 0
[pid=18415/tid=18416] ppid=18414 vsize=13801768 CPUtime=1.94 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18416/stat : 18416 (java) S 18414 18414 14626 0 -1 1077944384 7531 0 0 0 188 6 0 0 20 0 28 0 4900091 14133010432 122083 33554432000 4194304 4196468 140730092736784 140684432864384 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18418] ppid=18414 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18418/stat : 18418 (java) R 18414 18414 14626 0 -1 4202560 146 0 0 0 8 10 0 0 20 0 28 0 4900091 14133010432 122083 33554432000 4194304 4196468 140730092736784 140684347103704 140684407818774 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18419] ppid=18414 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18419/stat : 18419 (java) R 18414 18414 14626 0 -1 4202560 79 0 0 0 8 9 0 0 20 0 28 0 4900091 14133010432 122083 33554432000 4194304 4196468 140730092736784 140684346051160 140684413645728 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18420] ppid=18414 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18420/stat : 18420 (java) R 18414 18414 14626 0 -1 4202560 91 0 0 0 9 10 0 0 20 0 28 0 4900091 14133010432 122083 33554432000 4194304 4196468 140730092736784 140684344998616 140684413071819 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18421] ppid=18414 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18421/stat : 18421 (java) R 18414 18414 14626 0 -1 4202560 97 0 0 0 9 9 0 0 20 0 28 0 4900092 14133010432 122083 33554432000 4194304 4196468 140730092736784 140684343946072 140684410249399 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18422] ppid=18414 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18422/stat : 18422 (java) R 18414 18414 14626 0 -1 4202560 99 0 0 0 8 8 0 0 20 0 28 0 4900092 14133010432 122083 33554432000 4194304 4196468 140730092736784 140684342893216 140684413651026 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18423] ppid=18414 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18423/stat : 18423 (java) R 18414 18414 14626 0 -1 4202560 118 0 0 0 9 9 0 0 20 0 28 0 4900092 14133010432 122083 33554432000 4194304 4196468 140730092736784 140684341840984 140684413651026 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18424] ppid=18414 vsize=13801768 CPUtime=0.15 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18424/stat : 18424 (java) R 18414 18414 14626 0 -1 4202560 76 0 0 0 7 8 0 0 20 0 28 0 4900092 14133010432 122083 33554432000 4194304 4196468 140730092736784 140684340788440 140684413651657 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18425] ppid=18414 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18425/stat : 18425 (java) R 18414 18414 14626 0 -1 4202560 83 0 0 0 9 7 0 0 20 0 28 0 4900092 14133010432 122083 33554432000 4194304 4196468 140730092736784 140684339735896 140684410249694 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18426] ppid=18414 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18426/stat : 18426 (java) S 18414 18414 14626 0 -1 1077944384 317 0 0 0 0 0 0 0 20 0 28 0 4900094 14133010432 122083 33554432000 4194304 4196468 140730092736784 140683890889248 140684428633813 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18427] ppid=18414 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18427/stat : 18427 (java) S 18414 18414 14626 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4900094 14133010432 122083 33554432000 4194304 4196468 140730092736784 140683889837024 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18428] ppid=18414 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18428/stat : 18428 (java) S 18414 18414 14626 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4900095 14133010432 122083 33554432000 4194304 4196468 140730092736784 140683888784384 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18429] ppid=18414 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18429/stat : 18429 (java) S 18414 18414 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4900098 14133010432 122083 33554432000 4194304 4196468 140730092736784 140683887732944 140684428642203 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18430] ppid=18414 vsize=13801768 CPUtime=1.93 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18430/stat : 18430 (java) S 18414 18414 14626 0 -1 1077944384 4491 0 0 0 192 1 0 0 20 0 28 0 4900098 14133010432 122083 33554432000 4194304 4196468 140730092736784 140683886665552 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18431] ppid=18414 vsize=13801768 CPUtime=1.85 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18431/stat : 18431 (java) S 18414 18414 14626 0 -1 1077944384 3989 0 0 0 184 1 0 0 20 0 28 0 4900098 14133010432 122083 33554432000 4194304 4196468 140730092736784 140683885606800 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18432] ppid=18414 vsize=13801768 CPUtime=1.9 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18432/stat : 18432 (java) S 18414 18414 14626 0 -1 1077944384 4271 0 0 0 189 1 0 0 20 0 28 0 4900098 14133010432 122083 33554432000 4194304 4196468 140730092736784 140683884554480 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 16 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18433] ppid=18414 vsize=13801768 CPUtime=0.91 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18433/stat : 18433 (java) S 18414 18414 14626 0 -1 1077944384 3416 0 0 0 89 2 0 0 20 0 28 0 4900098 14133010432 122083 33554432000 4194304 4196468 140730092736784 140683883522928 140684428634754 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18434] ppid=18414 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18434/stat : 18434 (java) S 18414 18414 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4900098 14133010432 122083 33554432000 4194304 4196468 140730092736784 140683882469600 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18435] ppid=18414 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18435/stat : 18435 (java) S 18414 18414 14626 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 28 0 4900099 14133010432 122083 33554432000 4194304 4196468 140730092736784 140683881417136 140684428634754 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
Current children cumulated CPU time (s) 14.03
Current children cumulated vsize (KiB) 13811280
[startup+6.30169 s]
/proc/loadavg: 10.06 11.45 12.69 17/300 18443
/proc/meminfo: memFree=24798128/32770624 swapFree=5972/274972
[pid=18414] ppid=18411 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18414/stat : 18414 (xcsp3-exec) S 18411 18414 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4900090 9740288 346 33554432000 4194304 5098028 140732270934608 140732270932712 140223498162812 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 20107264 140732270937231 140732270937440 140732270937440 140732270940139 0
/proc/18414/statm: 2378 346 289 221 0 87 0
[pid=18415] ppid=18414 vsize=13801768 CPUtime=39.42 cores=1,3,5,7,9,11,13,15
/proc/18415/stat : 18415 (java) S 18414 18414 14626 0 -1 1077944320 33111 0 0 0 3821 121 0 0 20 0 28 0 4900090 14133010432 139414 33554432000 4194304 4196468 140730092736784 140730092719328 140684428623607 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
/proc/18415/statm: 3450442 139414 3285 1 0 3437675 0
[pid=18415/tid=18416] ppid=18414 vsize=13801768 CPUtime=1.94 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18416/stat : 18416 (java) S 18414 18414 14626 0 -1 1077944384 7531 0 0 0 188 6 0 0 20 0 28 0 4900091 14133010432 139414 33554432000 4194304 4196468 140730092736784 140684432864384 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18418] ppid=18414 vsize=13801768 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18418/stat : 18418 (java) S 18414 18414 14626 0 -1 1077944384 169 0 0 0 12 13 0 0 20 0 28 0 4900091 14133010432 139414 33554432000 4194304 4196468 140730092736784 140684347103504 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18419] ppid=18414 vsize=13801768 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18419/stat : 18419 (java) S 18414 18414 14626 0 -1 1077944384 104 0 0 0 11 12 0 0 20 0 28 0 4900091 14133010432 139414 33554432000 4194304 4196468 140730092736784 140684346050960 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18420] ppid=18414 vsize=13801768 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18420/stat : 18420 (java) S 18414 18414 14626 0 -1 1077944384 114 0 0 0 13 14 0 0 20 0 28 0 4900091 14133010432 139414 33554432000 4194304 4196468 140730092736784 140684344998416 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18421] ppid=18414 vsize=13801768 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18421/stat : 18421 (java) S 18414 18414 14626 0 -1 1077944384 130 0 0 0 12 13 0 0 20 0 28 0 4900092 14133010432 139414 33554432000 4194304 4196468 140730092736784 140684343945872 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18422] ppid=18414 vsize=13801768 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18422/stat : 18422 (java) S 18414 18414 14626 0 -1 1077944384 126 0 0 0 12 11 0 0 20 0 28 0 4900092 14133010432 139414 33554432000 4194304 4196468 140730092736784 140684342893328 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18423] ppid=18414 vsize=13801768 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18423/stat : 18423 (java) S 18414 18414 14626 0 -1 1077944384 140 0 0 0 13 12 0 0 20 0 28 0 4900092 14133010432 139414 33554432000 4194304 4196468 140730092736784 140684341840784 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18424] ppid=18414 vsize=13801768 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18424/stat : 18424 (java) S 18414 18414 14626 0 -1 1077944384 100 0 0 0 10 13 0 0 20 0 28 0 4900092 14133010432 139414 33554432000 4194304 4196468 140730092736784 140684340788240 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18425] ppid=18414 vsize=13801768 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18425/stat : 18425 (java) S 18414 18414 14626 0 -1 1077944384 110 0 0 0 12 11 0 0 20 0 28 0 4900092 14133010432 139414 33554432000 4194304 4196468 140730092736784 140684339735696 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18426] ppid=18414 vsize=13801768 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18426/stat : 18426 (java) S 18414 18414 14626 0 -1 1077944384 441 0 0 0 1 0 0 0 20 0 28 0 4900094 14133010432 139414 33554432000 4194304 4196468 140730092736784 140683890890736 140684428634754 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18427] ppid=18414 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18427/stat : 18427 (java) S 18414 18414 14626 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 4900094 14133010432 139414 33554432000 4194304 4196468 140730092736784 140683889837024 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18428] ppid=18414 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18428/stat : 18428 (java) S 18414 18414 14626 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 28 0 4900095 14133010432 139414 33554432000 4194304 4196468 140730092736784 140683888784384 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18429] ppid=18414 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18429/stat : 18429 (java) S 18414 18414 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4900098 14133010432 139414 33554432000 4194304 4196468 140730092736784 140683887732944 140684428642203 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
################
# More data... #
################
/proc/18415/task/18427/stat : 18427 (java) S 18414 18414 14626 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4900094 14133010432 243245 33554432000 4194304 4196468 140730092736784 140683889837024 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18428] ppid=18414 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18428/stat : 18428 (java) S 18414 18414 14626 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 4900095 14133010432 243245 33554432000 4194304 4196468 140730092736784 140683888784384 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18429] ppid=18414 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18429/stat : 18429 (java) S 18414 18414 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4900098 14133010432 243245 33554432000 4194304 4196468 140730092736784 140683887732944 140684428642203 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18430] ppid=18414 vsize=13801768 CPUtime=4.95 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18430/stat : 18430 (java) S 18414 18414 14626 0 -1 1077944384 16544 0 0 0 492 3 0 0 20 0 28 0 4900098 14133010432 243245 33554432000 4194304 4196468 140730092736784 140683886680560 140684428634754 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18431] ppid=18414 vsize=13801768 CPUtime=4.88 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18431/stat : 18431 (java) S 18414 18414 14626 0 -1 1077944384 15003 0 0 0 485 3 0 0 20 0 28 0 4900098 14133010432 243245 33554432000 4194304 4196468 140730092736784 140683885628016 140684428634754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18432] ppid=18414 vsize=13801768 CPUtime=4.33 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18432/stat : 18432 (java) S 18414 18414 14626 0 -1 1077944384 13983 0 0 0 430 3 0 0 20 0 28 0 4900098 14133010432 243245 33554432000 4194304 4196468 140730092736784 140683884575472 140684428634754 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 16 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18433] ppid=18414 vsize=13801768 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18433/stat : 18433 (java) S 18414 18414 14626 0 -1 1077944384 7713 0 0 0 125 3 0 0 20 0 28 0 4900098 14133010432 243245 33554432000 4194304 4196468 140730092736784 140683883522928 140684428634754 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18434] ppid=18414 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18434/stat : 18434 (java) S 18414 18414 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4900098 14133010432 243245 33554432000 4194304 4196468 140730092736784 140683882469600 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18435] ppid=18414 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18435/stat : 18435 (java) S 18414 18414 14626 0 -1 1077944384 464 0 0 0 1 1 0 0 20 0 28 0 4900099 14133010432 243245 33554432000 4194304 4196468 140730092736784 140683881417136 140684428634754 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18436] ppid=18414 vsize=13801768 CPUtime=36.72 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18436/stat : 18436 (java) R 18414 18414 14626 0 -1 4202560 520 0 0 0 3672 0 0 0 20 0 28 0 4900320 14133010432 243245 33554432000 4194304 4196468 140730092736784 140683873401720 140684027599880 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18437] ppid=18414 vsize=13801768 CPUtime=36.84 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18437/stat : 18437 (java) R 18414 18414 14626 0 -1 4202560 1372 0 0 0 3684 0 0 0 20 0 28 0 4900320 14133010432 243245 33554432000 4194304 4196468 140730092736784 140683872350120 140684028557125 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18438] ppid=18414 vsize=13801768 CPUtime=37.09 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18438/stat : 18438 (java) R 18414 18414 14626 0 -1 4202560 1285 0 0 0 3707 2 0 0 20 0 28 0 4900320 14133010432 243245 33554432000 4194304 4196468 140730092736784 140683871297720 140684027925514 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18439] ppid=18414 vsize=13801768 CPUtime=37 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18439/stat : 18439 (java) R 18414 18414 14626 0 -1 4202560 1557 0 0 0 3698 2 0 0 20 0 28 0 4900320 14133010432 243245 33554432000 4194304 4196468 140730092736784 140683870245160 140684028137919 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18440] ppid=18414 vsize=13801768 CPUtime=37.25 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18440/stat : 18440 (java) R 18414 18414 14626 0 -1 4202560 1185 0 0 0 3723 2 0 0 20 0 28 0 4900320 14133010432 243245 33554432000 4194304 4196468 140730092736784 140683801251984 140684027579809 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18441] ppid=18414 vsize=13801768 CPUtime=37.4 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18441/stat : 18441 (java) R 18414 18414 14626 0 -1 4202560 633 0 0 0 3740 0 0 0 20 0 28 0 4900320 14133010432 243245 33554432000 4194304 4196468 140730092736784 140683800199384 140684028977254 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18442] ppid=18414 vsize=13801768 CPUtime=37.04 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18442/stat : 18442 (java) R 18414 18414 14626 0 -1 4202560 868 0 0 0 3702 2 0 0 20 0 28 0 4900321 14133010432 243245 33554432000 4194304 4196468 140730092736784 140683799145960 140684027580681 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18443] ppid=18414 vsize=13801768 CPUtime=37.04 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18443/stat : 18443 (java) R 18414 18414 14626 0 -1 4202560 674 0 0 0 3704 0 0 0 20 0 28 0 4900321 14133010432 243245 33554432000 4194304 4196468 140730092736784 140683798093512 140684027600023 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
Current children cumulated CPU time (s) 316.76
Current children cumulated vsize (KiB) 13811280
[startup+41.6016 s]
/proc/loadavg: 12.24 11.80 12.76 17/300 18631
/proc/meminfo: memFree=28582876/32770624 swapFree=5972/275092
[pid=18414] ppid=18411 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18414/stat : 18414 (xcsp3-exec) S 18411 18414 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4900090 9740288 346 33554432000 4194304 5098028 140732270934608 140732270932712 140223498162812 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 20107264 140732270937231 140732270937440 140732270937440 140732270940139 0
/proc/18414/statm: 2378 346 289 221 0 87 0
[pid=18415] ppid=18414 vsize=13801768 CPUtime=319.94 cores=1,3,5,7,9,11,13,15
/proc/18415/stat : 18415 (java) S 18414 18414 14626 0 -1 1077944320 74084 0 0 0 31823 171 0 0 20 0 28 0 4900090 14133010432 245293 33554432000 4194304 4196468 140730092736784 140730092719328 140684428623607 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
/proc/18415/statm: 3450442 245293 3289 1 0 3437675 0
[pid=18415/tid=18416] ppid=18414 vsize=13801768 CPUtime=1.94 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18416/stat : 18416 (java) S 18414 18414 14626 0 -1 1077944384 7531 0 0 0 188 6 0 0 20 0 28 0 4900091 14133010432 245293 33554432000 4194304 4196468 140730092736784 140684432864384 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18418] ppid=18414 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18418/stat : 18418 (java) S 18414 18414 14626 0 -1 1077944384 352 0 0 0 18 16 0 0 20 0 28 0 4900091 14133010432 245293 33554432000 4194304 4196468 140730092736784 140684347103504 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18419] ppid=18414 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18419/stat : 18419 (java) S 18414 18414 14626 0 -1 1077944384 721 0 0 0 17 17 0 0 20 0 28 0 4900091 14133010432 245293 33554432000 4194304 4196468 140730092736784 140684346050960 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18420] ppid=18414 vsize=13801768 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18420/stat : 18420 (java) S 18414 18414 14626 0 -1 1077944384 170 0 0 0 18 18 0 0 20 0 28 0 4900091 14133010432 245293 33554432000 4194304 4196468 140730092736784 140684344998416 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18421] ppid=18414 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18421/stat : 18421 (java) S 18414 18414 14626 0 -1 1077944384 164 0 0 0 18 16 0 0 20 0 28 0 4900092 14133010432 245293 33554432000 4194304 4196468 140730092736784 140684343945872 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18422] ppid=18414 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18422/stat : 18422 (java) S 18414 18414 14626 0 -1 1077944384 178 0 0 0 17 16 0 0 20 0 28 0 4900092 14133010432 245293 33554432000 4194304 4196468 140730092736784 140684342893328 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18423] ppid=18414 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18423/stat : 18423 (java) S 18414 18414 14626 0 -1 1077944384 195 0 0 0 18 16 0 0 20 0 28 0 4900092 14133010432 245293 33554432000 4194304 4196468 140730092736784 140684341840784 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18424] ppid=18414 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18424/stat : 18424 (java) S 18414 18414 14626 0 -1 1077944384 160 0 0 0 15 16 0 0 20 0 28 0 4900092 14133010432 245293 33554432000 4194304 4196468 140730092736784 140684340788240 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18425] ppid=18414 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18425/stat : 18425 (java) S 18414 18414 14626 0 -1 1077944384 154 0 0 0 18 14 0 0 20 0 28 0 4900092 14133010432 245293 33554432000 4194304 4196468 140730092736784 140684339735696 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18426] ppid=18414 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18426/stat : 18426 (java) S 18414 18414 14626 0 -1 1077944384 1282 0 0 0 3 4 0 0 20 0 28 0 4900094 14133010432 245293 33554432000 4194304 4196468 140730092736784 140683890890736 140684428634754 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18427] ppid=18414 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18427/stat : 18427 (java) S 18414 18414 14626 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4900094 14133010432 245293 33554432000 4194304 4196468 140730092736784 140683889837024 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18428] ppid=18414 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18428/stat : 18428 (java) S 18414 18414 14626 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 4900095 14133010432 245293 33554432000 4194304 4196468 140730092736784 140683888784384 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18429] ppid=18414 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18429/stat : 18429 (java) S 18414 18414 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4900098 14133010432 245293 33554432000 4194304 4196468 140730092736784 140683887732944 140684428642203 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18430] ppid=18414 vsize=13801768 CPUtime=4.95 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18430/stat : 18430 (java) S 18414 18414 14626 0 -1 1077944384 16544 0 0 0 492 3 0 0 20 0 28 0 4900098 14133010432 245293 33554432000 4194304 4196468 140730092736784 140683886680560 140684428634754 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18431] ppid=18414 vsize=13801768 CPUtime=4.88 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18431/stat : 18431 (java) S 18414 18414 14626 0 -1 1077944384 15003 0 0 0 485 3 0 0 20 0 28 0 4900098 14133010432 245293 33554432000 4194304 4196468 140730092736784 140683885628016 140684428634754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18432] ppid=18414 vsize=13801768 CPUtime=4.33 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18432/stat : 18432 (java) S 18414 18414 14626 0 -1 1077944384 13983 0 0 0 430 3 0 0 20 0 28 0 4900098 14133010432 245293 33554432000 4194304 4196468 140730092736784 140683884575472 140684428634754 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 16 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18433] ppid=18414 vsize=13801768 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18433/stat : 18433 (java) S 18414 18414 14626 0 -1 1077944384 7713 0 0 0 125 3 0 0 20 0 28 0 4900098 14133010432 245293 33554432000 4194304 4196468 140730092736784 140683883522928 140684428634754 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18434] ppid=18414 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18434/stat : 18434 (java) S 18414 18414 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4900098 14133010432 245293 33554432000 4194304 4196468 140730092736784 140683882469600 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18435] ppid=18414 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18435/stat : 18435 (java) S 18414 18414 14626 0 -1 1077944384 464 0 0 0 1 1 0 0 20 0 28 0 4900099 14133010432 245293 33554432000 4194304 4196468 140730092736784 140683881417136 140684428634754 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18436] ppid=18414 vsize=13801768 CPUtime=37.12 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18436/stat : 18436 (java) R 18414 18414 14626 0 -1 4202560 520 0 0 0 3712 0 0 0 20 0 28 0 4900320 14133010432 245293 33554432000 4194304 4196468 140730092736784 140683873401720 140684028976576 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18437] ppid=18414 vsize=13801768 CPUtime=37.24 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18437/stat : 18437 (java) R 18414 18414 14626 0 -1 4202560 1372 0 0 0 3724 0 0 0 20 0 28 0 4900320 14133010432 245293 33554432000 4194304 4196468 140730092736784 140683872350120 140684028976750 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18438] ppid=18414 vsize=13801768 CPUtime=37.49 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18438/stat : 18438 (java) R 18414 18414 14626 0 -1 4202560 1285 0 0 0 3747 2 0 0 20 0 28 0 4900320 14133010432 245293 33554432000 4194304 4196468 140730092736784 140683871297720 140684027599880 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18439] ppid=18414 vsize=13801768 CPUtime=37.39 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18439/stat : 18439 (java) R 18414 18414 14626 0 -1 4202560 1562 0 0 0 3737 2 0 0 20 0 28 0 4900320 14133010432 245293 33554432000 4194304 4196468 140730092736784 140683870245160 140684028137919 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18440] ppid=18414 vsize=13801768 CPUtime=37.65 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18440/stat : 18440 (java) R 18414 18414 14626 0 -1 4202560 1186 0 0 0 3763 2 0 0 20 0 28 0 4900320 14133010432 245293 33554432000 4194304 4196468 140730092736784 140683801251984 140684029804172 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18441] ppid=18414 vsize=13801768 CPUtime=37.8 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18441/stat : 18441 (java) R 18414 18414 14626 0 -1 4202560 633 0 0 0 3780 0 0 0 20 0 28 0 4900320 14133010432 245293 33554432000 4194304 4196468 140730092736784 140683800199384 140684028738228 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18442] ppid=18414 vsize=13801768 CPUtime=37.43 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18442/stat : 18442 (java) R 18414 18414 14626 0 -1 4202560 868 0 0 0 3741 2 0 0 20 0 28 0 4900321 14133010432 245293 33554432000 4194304 4196468 140730092736784 140683799145960 140684030706815 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18443] ppid=18414 vsize=13801768 CPUtime=37.44 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18443/stat : 18443 (java) R 18414 18414 14626 0 -1 4202560 674 0 0 0 3744 0 0 0 20 0 28 0 4900321 14133010432 245293 33554432000 4194304 4196468 140730092736784 140683798093512 140684027579704 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
Current children cumulated CPU time (s) 319.94
Current children cumulated vsize (KiB) 13811280
[startup+41.7016 s]
/proc/loadavg: 12.24 11.80 12.76 17/300 18631
/proc/meminfo: memFree=28582876/32770624 swapFree=5972/275092
[pid=18414] ppid=18411 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18414/stat : 18414 (xcsp3-exec) S 18411 18414 14626 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4900090 9740288 346 33554432000 4194304 5098028 140732270934608 140732270932712 140223498162812 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 20107264 140732270937231 140732270937440 140732270937440 140732270940139 0
/proc/18414/statm: 2378 346 289 221 0 87 0
[pid=18415] ppid=18414 vsize=13801768 CPUtime=320.74 cores=1,3,5,7,9,11,13,15
/proc/18415/stat : 18415 (java) S 18414 18414 14626 0 -1 1077944320 74088 0 0 0 31903 171 0 0 20 0 28 0 4900090 14133010432 245805 33554432000 4194304 4196468 140730092736784 140730092719328 140684428623607 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
/proc/18415/statm: 3450442 245805 3289 1 0 3437675 0
[pid=18415/tid=18416] ppid=18414 vsize=13801768 CPUtime=1.94 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18416/stat : 18416 (java) S 18414 18414 14626 0 -1 1077944384 7531 0 0 0 188 6 0 0 20 0 28 0 4900091 14133010432 245805 33554432000 4194304 4196468 140730092736784 140684432864384 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18418] ppid=18414 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18418/stat : 18418 (java) S 18414 18414 14626 0 -1 1077944384 352 0 0 0 18 16 0 0 20 0 28 0 4900091 14133010432 245805 33554432000 4194304 4196468 140730092736784 140684347103504 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18419] ppid=18414 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18419/stat : 18419 (java) S 18414 18414 14626 0 -1 1077944384 721 0 0 0 17 17 0 0 20 0 28 0 4900091 14133010432 245805 33554432000 4194304 4196468 140730092736784 140684346050960 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18420] ppid=18414 vsize=13801768 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18420/stat : 18420 (java) S 18414 18414 14626 0 -1 1077944384 170 0 0 0 18 18 0 0 20 0 28 0 4900091 14133010432 245805 33554432000 4194304 4196468 140730092736784 140684344998416 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18421] ppid=18414 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18421/stat : 18421 (java) S 18414 18414 14626 0 -1 1077944384 164 0 0 0 18 16 0 0 20 0 28 0 4900092 14133010432 245805 33554432000 4194304 4196468 140730092736784 140684343945872 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18422] ppid=18414 vsize=13801768 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18422/stat : 18422 (java) S 18414 18414 14626 0 -1 1077944384 178 0 0 0 17 16 0 0 20 0 28 0 4900092 14133010432 245805 33554432000 4194304 4196468 140730092736784 140684342893328 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18423] ppid=18414 vsize=13801768 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18423/stat : 18423 (java) S 18414 18414 14626 0 -1 1077944384 195 0 0 0 18 16 0 0 20 0 28 0 4900092 14133010432 245805 33554432000 4194304 4196468 140730092736784 140684341840784 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18424] ppid=18414 vsize=13801768 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18424/stat : 18424 (java) S 18414 18414 14626 0 -1 1077944384 160 0 0 0 15 16 0 0 20 0 28 0 4900092 14133010432 245805 33554432000 4194304 4196468 140730092736784 140684340788240 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18425] ppid=18414 vsize=13801768 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18425/stat : 18425 (java) S 18414 18414 14626 0 -1 1077944384 154 0 0 0 18 14 0 0 20 0 28 0 4900092 14133010432 245805 33554432000 4194304 4196468 140730092736784 140684339735696 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18426] ppid=18414 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18426/stat : 18426 (java) S 18414 18414 14626 0 -1 1077944384 1282 0 0 0 3 4 0 0 20 0 28 0 4900094 14133010432 245805 33554432000 4194304 4196468 140730092736784 140683890890736 140684428634754 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18427] ppid=18414 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18427/stat : 18427 (java) S 18414 18414 14626 0 -1 1077944384 60 0 0 0 0 0 0 0 20 0 28 0 4900094 14133010432 245805 33554432000 4194304 4196468 140730092736784 140683889837024 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18428] ppid=18414 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18428/stat : 18428 (java) S 18414 18414 14626 0 -1 1077944384 70 0 0 0 0 0 0 0 20 0 28 0 4900095 14133010432 245805 33554432000 4194304 4196468 140730092736784 140683888784384 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18429] ppid=18414 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18429/stat : 18429 (java) S 18414 18414 14626 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4900098 14133010432 245805 33554432000 4194304 4196468 140730092736784 140683887732944 140684428642203 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18430] ppid=18414 vsize=13801768 CPUtime=4.95 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18430/stat : 18430 (java) S 18414 18414 14626 0 -1 1077944384 16544 0 0 0 492 3 0 0 20 0 28 0 4900098 14133010432 245805 33554432000 4194304 4196468 140730092736784 140683886680560 140684428634754 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18431] ppid=18414 vsize=13801768 CPUtime=4.88 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18431/stat : 18431 (java) S 18414 18414 14626 0 -1 1077944384 15003 0 0 0 485 3 0 0 20 0 28 0 4900098 14133010432 245805 33554432000 4194304 4196468 140730092736784 140683885628016 140684428634754 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18432] ppid=18414 vsize=13801768 CPUtime=4.33 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18432/stat : 18432 (java) S 18414 18414 14626 0 -1 1077944384 13983 0 0 0 430 3 0 0 20 0 28 0 4900098 14133010432 245805 33554432000 4194304 4196468 140730092736784 140683884575472 140684428634754 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 16 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18433] ppid=18414 vsize=13801768 CPUtime=1.28 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18433/stat : 18433 (java) S 18414 18414 14626 0 -1 1077944384 7713 0 0 0 125 3 0 0 20 0 28 0 4900098 14133010432 245805 33554432000 4194304 4196468 140730092736784 140683883522928 140684428634754 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18434] ppid=18414 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18434/stat : 18434 (java) S 18414 18414 14626 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4900098 14133010432 245805 33554432000 4194304 4196468 140730092736784 140683882469600 140684428633813 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18435] ppid=18414 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18435/stat : 18435 (java) S 18414 18414 14626 0 -1 1077944384 464 0 0 0 1 1 0 0 20 0 28 0 4900099 14133010432 245805 33554432000 4194304 4196468 140730092736784 140683881417136 140684428634754 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18436] ppid=18414 vsize=13801768 CPUtime=37.22 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18436/stat : 18436 (java) R 18414 18414 14626 0 -1 4202560 520 0 0 0 3722 0 0 0 20 0 28 0 4900320 14133010432 245805 33554432000 4194304 4196468 140730092736784 140683873401720 140684027599852 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18437] ppid=18414 vsize=13801768 CPUtime=37.34 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18437/stat : 18437 (java) R 18414 18414 14626 0 -1 4202560 1372 0 0 0 3734 0 0 0 20 0 28 0 4900320 14133010432 245805 33554432000 4194304 4196468 140730092736784 140683872350120 140684027580578 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18438] ppid=18414 vsize=13801768 CPUtime=37.59 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18438/stat : 18438 (java) R 18414 18414 14626 0 -1 4202560 1285 0 0 0 3757 2 0 0 20 0 28 0 4900320 14133010432 245805 33554432000 4194304 4196468 140730092736784 140683871297720 140684029173111 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18439] ppid=18414 vsize=13801768 CPUtime=37.49 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18439/stat : 18439 (java) R 18414 18414 14626 0 -1 4202560 1564 0 0 0 3747 2 0 0 20 0 28 0 4900320 14133010432 245805 33554432000 4194304 4196468 140730092736784 140683870245160 140684029804167 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18440] ppid=18414 vsize=13801768 CPUtime=37.75 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18440/stat : 18440 (java) R 18414 18414 14626 0 -1 4202560 1186 0 0 0 3773 2 0 0 20 0 28 0 4900320 14133010432 245805 33554432000 4194304 4196468 140730092736784 140683801251984 140684027580703 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18441] ppid=18414 vsize=13801768 CPUtime=37.9 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18441/stat : 18441 (java) R 18414 18414 14626 0 -1 4202560 633 0 0 0 3790 0 0 0 20 0 28 0 4900320 14133010432 245805 33554432000 4194304 4196468 140730092736784 140683800199384 140684027600748 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18442] ppid=18414 vsize=13801768 CPUtime=37.53 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18442/stat : 18442 (java) R 18414 18414 14626 0 -1 4202560 870 0 0 0 3751 2 0 0 20 0 28 0 4900321 14133010432 245805 33554432000 4194304 4196468 140730092736784 140683799145960 140684030706815 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
[pid=18415/tid=18443] ppid=18414 vsize=13801768 CPUtime=37.54 cores=1,3,5,7,9,11,13,15
/proc/18415/task/18443/stat : 18443 (java) R 18414 18414 14626 0 -1 4202560 674 0 0 0 3754 0 0 0 20 0 28 0 4900321 14133010432 245805 33554432000 4194304 4196468 140730092736784 140683798093512 140684029173022 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 36204544 140730092741820 140730092741996 140730092741996 140730092744655 0
Current children cumulated CPU time (s) 320.74
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 41.7968
CPU time (s): 321.39
CPU user time (s): 319.655
CPU system time (s): 1.73504
CPU usage (%): 768.935
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 319.655
system time used= 1.73504
maximum resident set size= 991068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 76571
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6372
involuntary context switches= 23647
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.519315 second user time and 0.629688 second system time
The end