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-4245011-1500685103/watcher-4245011-1500685103 -o /tmp/evaluation-result-4245011-1500685103/solver-4245011-1500685103 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node131-1500682620-7802 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2077933026 HOME/instance-4245011-1500685103.xml
pid=13640
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: 14.91 15.61 15.06 3/262 13643
/proc/meminfo: memFree=31544164/32770624 swapFree=5860/234656
[pid=13643] ppid=13640 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13643/stat : 13643 (xcsp3-exec) S 13640 13643 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3777771 9740288 345 33554432000 4194304 5098028 140727116323712 140727116321816 140507093971580 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 27910144 140727116330126 140727116330336 140727116330336 140727116333035 0
/proc/13643/statm: 2378 345 289 221 0 87 0
[startup+0.100144 s]
/proc/loadavg: 14.91 15.61 15.06 3/262 13643
/proc/meminfo: memFree=31544164/32770624 swapFree=5860/234656
[pid=13643] ppid=13640 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13643/stat : 13643 (xcsp3-exec) S 13640 13643 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3777771 9740288 345 33554432000 4194304 5098028 140727116323712 140727116321816 140507093971580 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 27910144 140727116330126 140727116330336 140727116330336 140727116333035 0
/proc/13643/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200322 s]
/proc/loadavg: 14.91 15.61 15.06 3/262 13643
/proc/meminfo: memFree=31544164/32770624 swapFree=5860/234656
[pid=13643] ppid=13640 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13643/stat : 13643 (xcsp3-exec) S 13640 13643 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3777771 9740288 345 33554432000 4194304 5098028 140727116323712 140727116321816 140507093971580 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 27910144 140727116330126 140727116330336 140727116330336 140727116333035 0
/proc/13643/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300219 s]
/proc/loadavg: 14.91 15.61 15.06 3/262 13643
/proc/meminfo: memFree=31544164/32770624 swapFree=5860/234656
[pid=13643] ppid=13640 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13643/stat : 13643 (xcsp3-exec) S 13640 13643 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3777771 9740288 345 33554432000 4194304 5098028 140727116323712 140727116321816 140507093971580 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 27910144 140727116330126 140727116330336 140727116330336 140727116333035 0
/proc/13643/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700194 s]
/proc/loadavg: 14.91 15.61 15.06 3/262 13643
/proc/meminfo: memFree=31544164/32770624 swapFree=5860/234656
[pid=13643] ppid=13640 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13643/stat : 13643 (xcsp3-exec) S 13640 13643 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3777771 9740288 345 33554432000 4194304 5098028 140727116323712 140727116321816 140507093971580 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 27910144 140727116330126 140727116330336 140727116330336 140727116333035 0
/proc/13643/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50092 s]
/proc/loadavg: 14.91 15.61 15.06 3/283 13664
/proc/meminfo: memFree=30820820/32770624 swapFree=5860/235304
[pid=13643] ppid=13640 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13643/stat : 13643 (xcsp3-exec) S 13640 13643 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3777771 9740288 345 33554432000 4194304 5098028 140727116323712 140727116321816 140507093971580 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 27910144 140727116330126 140727116330336 140727116330336 140727116333035 0
/proc/13643/statm: 2378 345 289 221 0 87 0
[pid=13644] ppid=13643 vsize=13267208 CPUtime=3.4 cores=1,3,5,7,9,11,13,15
/proc/13644/stat : 13644 (java) S 13643 13643 7411 0 -1 1077944320 13593 0 0 0 290 50 0 0 20 0 20 0 3777771 13585620992 117224 33554432000 4194304 4196468 140733078966768 140733078949312 140609650331383 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
/proc/13644/statm: 3316802 117224 3214 1 0 3304035 0
[pid=13644/tid=13645] ppid=13643 vsize=13267208 CPUtime=1.35 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13645/stat : 13645 (java) R 13643 13643 7411 0 -1 4202560 6552 0 0 0 128 7 0 0 20 0 20 0 3777772 13585620992 117224 33554432000 4194304 4196468 140733078966768 140609654569368 140609262931225 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13647] ppid=13643 vsize=13267208 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13647/stat : 13647 (java) S 13643 13643 7411 0 -1 1077944384 60 0 0 0 4 6 0 0 20 0 20 0 3777773 13585620992 117224 33554432000 4194304 4196468 140733078966768 140609582467728 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13648] ppid=13643 vsize=13267208 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13648/stat : 13648 (java) S 13643 13643 7411 0 -1 1077944384 55 0 0 0 5 5 0 0 20 0 20 0 3777773 13585620992 117224 33554432000 4194304 4196468 140733078966768 140609581414928 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13649] ppid=13643 vsize=13267208 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13649/stat : 13649 (java) S 13643 13643 7411 0 -1 1077944384 45 0 0 0 5 4 0 0 20 0 20 0 3777773 13585620992 117224 33554432000 4194304 4196468 140733078966768 140609580362128 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13650] ppid=13643 vsize=13267208 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13650/stat : 13650 (java) S 13643 13643 7411 0 -1 1077944384 56 0 0 0 3 5 0 0 20 0 20 0 3777773 13585620992 117224 33554432000 4194304 4196468 140733078966768 140609246431504 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13651] ppid=13643 vsize=13267208 CPUtime=0.08 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13651/stat : 13651 (java) S 13643 13643 7411 0 -1 1077944384 57 0 0 0 4 4 0 0 20 0 20 0 3777773 13585620992 117224 33554432000 4194304 4196468 140733078966768 140609245379728 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13652] ppid=13643 vsize=13267208 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13652/stat : 13652 (java) S 13643 13643 7411 0 -1 1077944384 52 0 0 0 6 4 0 0 20 0 20 0 3777773 13585620992 117224 33554432000 4194304 4196468 140733078966768 140609244326928 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13653] ppid=13643 vsize=13267208 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13653/stat : 13653 (java) S 13643 13643 7411 0 -1 1077944384 53 0 0 0 4 5 0 0 20 0 20 0 3777773 13585620992 117224 33554432000 4194304 4196468 140733078966768 140609243274128 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13654] ppid=13643 vsize=13267208 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13654/stat : 13654 (java) S 13643 13643 7411 0 -1 1077944384 46 0 0 0 3 3 0 0 20 0 20 0 3777773 13585620992 117224 33554432000 4194304 4196468 140733078966768 140609242221328 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13655] ppid=13643 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13655/stat : 13655 (java) S 13643 13643 7411 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 3777775 13585620992 117224 33554432000 4194304 4196468 140733078966768 140609179814256 140609650342530 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13656] ppid=13643 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13656/stat : 13656 (java) S 13643 13643 7411 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3777776 13585620992 117224 33554432000 4194304 4196468 140733078966768 140609178760288 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13657] ppid=13643 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13657/stat : 13657 (java) S 13643 13643 7411 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3777776 13585620992 117224 33554432000 4194304 4196468 140733078966768 140609177707392 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13658] ppid=13643 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13658/stat : 13658 (java) S 13643 13643 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3777780 13585620992 117224 33554432000 4194304 4196468 140733078966768 140608974874448 140609650349979 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13659] ppid=13643 vsize=13267208 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13659/stat : 13659 (java) S 13643 13643 7411 0 -1 1077944384 1028 0 0 0 29 0 0 0 20 0 20 0 3777780 13585620992 117224 33554432000 4194304 4196468 140733078966768 140608973822832 140609650342530 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13660] ppid=13643 vsize=13267208 CPUtime=0.31 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13660/stat : 13660 (java) S 13643 13643 7411 0 -1 1077944384 1093 0 0 0 31 0 0 0 20 0 20 0 3777780 13585620992 117224 33554432000 4194304 4196468 140733078966768 140608972770032 140609650342530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13661] ppid=13643 vsize=13267208 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13661/stat : 13661 (java) S 13643 13643 7411 0 -1 1077944384 1551 0 0 0 33 0 0 0 20 0 20 0 3777780 13585620992 117224 33554432000 4194304 4196468 140733078966768 140608971717232 140609650342530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13662] ppid=13643 vsize=13267208 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13662/stat : 13662 (java) S 13643 13643 7411 0 -1 1077944384 1439 0 0 0 27 0 0 0 20 0 20 0 3777780 13585620992 117224 33554432000 4194304 4196468 140733078966768 140608970664432 140609650342530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13663] ppid=13643 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13663/stat : 13663 (java) S 13643 13643 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3777780 13585620992 117224 33554432000 4194304 4196468 140733078966768 140608969611872 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13664] ppid=13643 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13664/stat : 13664 (java) S 13643 13643 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3777780 13585620992 117224 33554432000 4194304 4196468 140733078966768 140608968559152 140609650342530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
Current children cumulated CPU time (s) 3.4
Current children cumulated vsize (KiB) 13276720
[startup+3.10086 s]
/proc/loadavg: 14.91 15.61 15.06 4/283 13664
/proc/meminfo: memFree=30474020/32770624 swapFree=5860/235304
[pid=13643] ppid=13640 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13643/stat : 13643 (xcsp3-exec) S 13640 13643 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3777771 9740288 345 33554432000 4194304 5098028 140727116323712 140727116321816 140507093971580 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 27910144 140727116330126 140727116330336 140727116330336 140727116333035 0
/proc/13643/statm: 2378 345 289 221 0 87 0
[pid=13644] ppid=13643 vsize=13267208 CPUtime=5.6 cores=1,3,5,7,9,11,13,15
/proc/13644/stat : 13644 (java) S 13643 13643 7411 0 -1 1077944320 15027 0 0 0 494 66 0 0 20 0 20 0 3777771 13585620992 183556 33554432000 4194304 4196468 140733078966768 140733078949312 140609650331383 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
/proc/13644/statm: 3316802 183556 3225 1 0 3304035 0
[pid=13644/tid=13645] ppid=13643 vsize=13267208 CPUtime=2.93 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13645/stat : 13645 (java) R 13643 13643 7411 0 -1 4202560 7161 0 0 0 282 11 0 0 20 0 20 0 3777772 13585620992 183556 33554432000 4194304 4196468 140733078966768 140609654568920 140609632739489 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13647] ppid=13643 vsize=13267208 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13647/stat : 13647 (java) S 13643 13643 7411 0 -1 1077944384 76 0 0 0 6 7 0 0 20 0 20 0 3777773 13585620992 183556 33554432000 4194304 4196468 140733078966768 140609582467728 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13648] ppid=13643 vsize=13267208 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13648/stat : 13648 (java) S 13643 13643 7411 0 -1 1077944384 74 0 0 0 6 7 0 0 20 0 20 0 3777773 13585620992 183556 33554432000 4194304 4196468 140733078966768 140609581414928 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13649] ppid=13643 vsize=13267208 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13649/stat : 13649 (java) S 13643 13643 7411 0 -1 1077944384 63 0 0 0 7 5 0 0 20 0 20 0 3777773 13585620992 183556 33554432000 4194304 4196468 140733078966768 140609580362128 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13650] ppid=13643 vsize=13267208 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13650/stat : 13650 (java) S 13643 13643 7411 0 -1 1077944384 77 0 0 0 5 7 0 0 20 0 20 0 3777773 13585620992 183556 33554432000 4194304 4196468 140733078966768 140609246431504 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13651] ppid=13643 vsize=13267208 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13651/stat : 13651 (java) S 13643 13643 7411 0 -1 1077944384 76 0 0 0 5 6 0 0 20 0 20 0 3777773 13585620992 183556 33554432000 4194304 4196468 140733078966768 140609245379728 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13652] ppid=13643 vsize=13267208 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13652/stat : 13652 (java) S 13643 13643 7411 0 -1 1077944384 68 0 0 0 7 6 0 0 20 0 20 0 3777773 13585620992 183556 33554432000 4194304 4196468 140733078966768 140609244326928 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13653] ppid=13643 vsize=13267208 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13653/stat : 13653 (java) S 13643 13643 7411 0 -1 1077944384 73 0 0 0 6 7 0 0 20 0 20 0 3777773 13585620992 183556 33554432000 4194304 4196468 140733078966768 140609243274128 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13654] ppid=13643 vsize=13267208 CPUtime=0.1 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13654/stat : 13654 (java) S 13643 13643 7411 0 -1 1077944384 65 0 0 0 5 5 0 0 20 0 20 0 3777773 13585620992 183556 33554432000 4194304 4196468 140733078966768 140609242221328 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13655] ppid=13643 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13655/stat : 13655 (java) S 13643 13643 7411 0 -1 1077944384 519 0 0 0 0 0 0 0 20 0 20 0 3777775 13585620992 183556 33554432000 4194304 4196468 140733078966768 140609179814256 140609650342530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13656] ppid=13643 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13656/stat : 13656 (java) S 13643 13643 7411 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3777776 13585620992 183556 33554432000 4194304 4196468 140733078966768 140609178760288 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13657] ppid=13643 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13657/stat : 13657 (java) S 13643 13643 7411 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3777776 13585620992 183556 33554432000 4194304 4196468 140733078966768 140609177707392 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13658] ppid=13643 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13658/stat : 13658 (java) S 13643 13643 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3777780 13585620992 183556 33554432000 4194304 4196468 140733078966768 140608974874448 140609650349979 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13659] ppid=13643 vsize=13267208 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13659/stat : 13659 (java) S 13643 13643 7411 0 -1 1077944384 1090 0 0 0 41 0 0 0 20 0 20 0 3777780 13585620992 183556 33554432000 4194304 4196468 140733078966768 140608973822832 140609650342530 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13660] ppid=13643 vsize=13267208 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13660/stat : 13660 (java) S 13643 13643 7411 0 -1 1077944384 1304 0 0 0 44 0 0 0 20 0 20 0 3777780 13585620992 183556 33554432000 4194304 4196468 140733078966768 140608972770032 140609650342530 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13661] ppid=13643 vsize=13267208 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13661/stat : 13661 (java) S 13643 13643 7411 0 -1 1077944384 1607 0 0 0 44 0 0 0 20 0 20 0 3777780 13585620992 183556 33554432000 4194304 4196468 140733078966768 140608971717232 140609650342530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13662] ppid=13643 vsize=13267208 CPUtime=0.3 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13662/stat : 13662 (java) S 13643 13643 7411 0 -1 1077944384 1475 0 0 0 30 0 0 0 20 0 20 0 3777780 13585620992 183556 33554432000 4194304 4196468 140733078966768 140608970664432 140609650342530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13663] ppid=13643 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13663/stat : 13663 (java) S 13643 13643 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3777780 13585620992 183556 33554432000 4194304 4196468 140733078966768 140608969611872 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13664] ppid=13643 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13664/stat : 13664 (java) S 13643 13643 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3777780 13585620992 183556 33554432000 4194304 4196468 140733078966768 140608968559152 140609650342530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
Current children cumulated CPU time (s) 5.6
Current children cumulated vsize (KiB) 13276720
[startup+6.30096 s]
/proc/loadavg: 13.88 15.39 14.99 3/283 13664
/proc/meminfo: memFree=30435416/32770624 swapFree=5860/235304
[pid=13643] ppid=13640 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13643/stat : 13643 (xcsp3-exec) S 13640 13643 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3777771 9740288 345 33554432000 4194304 5098028 140727116323712 140727116321816 140507093971580 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 27910144 140727116330126 140727116330336 140727116330336 140727116333035 0
/proc/13643/statm: 2378 345 289 221 0 87 0
[pid=13644] ppid=13643 vsize=13267208 CPUtime=9.41 cores=1,3,5,7,9,11,13,15
/proc/13644/stat : 13644 (java) S 13643 13643 7411 0 -1 1077944320 20043 0 0 0 856 85 0 0 20 0 20 0 3777771 13585620992 192649 33554432000 4194304 4196468 140733078966768 140733078949312 140609650331383 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
/proc/13644/statm: 3316802 192649 3230 1 0 3304035 0
[pid=13644/tid=13645] ppid=13643 vsize=13267208 CPUtime=6.07 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13645/stat : 13645 (java) R 13643 13643 7411 0 -1 4202560 8377 0 0 0 596 11 0 0 20 0 20 0 3777772 13585620992 192649 33554432000 4194304 4196468 140733078966768 140609654566416 140609264155921 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13647] ppid=13643 vsize=13267208 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13647/stat : 13647 (java) S 13643 13643 7411 0 -1 1077944384 125 0 0 0 8 10 0 0 20 0 20 0 3777773 13585620992 192649 33554432000 4194304 4196468 140733078966768 140609582467728 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13648] ppid=13643 vsize=13267208 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13648/stat : 13648 (java) S 13643 13643 7411 0 -1 1077944384 123 0 0 0 8 9 0 0 20 0 20 0 3777773 13585620992 192649 33554432000 4194304 4196468 140733078966768 140609581414928 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13649] ppid=13643 vsize=13267208 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13649/stat : 13649 (java) S 13643 13643 7411 0 -1 1077944384 309 0 0 0 9 8 0 0 20 0 20 0 3777773 13585620992 192649 33554432000 4194304 4196468 140733078966768 140609580362128 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13650] ppid=13643 vsize=13267208 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13650/stat : 13650 (java) S 13643 13643 7411 0 -1 1077944384 157 0 0 0 7 9 0 0 20 0 20 0 3777773 13585620992 192649 33554432000 4194304 4196468 140733078966768 140609246431504 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13651] ppid=13643 vsize=13267208 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13651/stat : 13651 (java) S 13643 13643 7411 0 -1 1077944384 135 0 0 0 8 8 0 0 20 0 20 0 3777773 13585620992 192649 33554432000 4194304 4196468 140733078966768 140609245379728 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13652] ppid=13643 vsize=13267208 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13652/stat : 13652 (java) S 13643 13643 7411 0 -1 1077944384 351 0 0 0 9 8 0 0 20 0 20 0 3777773 13585620992 192649 33554432000 4194304 4196468 140733078966768 140609244326928 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13653] ppid=13643 vsize=13267208 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13653/stat : 13653 (java) S 13643 13643 7411 0 -1 1077944384 127 0 0 0 8 8 0 0 20 0 20 0 3777773 13585620992 192649 33554432000 4194304 4196468 140733078966768 140609243274128 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13654] ppid=13643 vsize=13267208 CPUtime=0.14 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13654/stat : 13654 (java) S 13643 13643 7411 0 -1 1077944384 285 0 0 0 7 7 0 0 20 0 20 0 3777773 13585620992 192649 33554432000 4194304 4196468 140733078966768 140609242221328 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13655] ppid=13643 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13655/stat : 13655 (java) S 13643 13643 7411 0 -1 1077944384 815 0 0 0 0 0 0 0 20 0 20 0 3777775 13585620992 192649 33554432000 4194304 4196468 140733078966768 140609179814256 140609650342530 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13656] ppid=13643 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13656/stat : 13656 (java) S 13643 13643 7411 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 20 0 3777776 13585620992 192649 33554432000 4194304 4196468 140733078966768 140609178760288 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13657] ppid=13643 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13657/stat : 13657 (java) S 13643 13643 7411 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 20 0 3777776 13585620992 192649 33554432000 4194304 4196468 140733078966768 140609177707392 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13658] ppid=13643 vsize=13267208 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13658/stat : 13658 (java) S 13643 13643 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3777780 13585620992 192649 33554432000 4194304 4196468 140733078966768 140608974874448 140609650349979 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
################
# More data... #
################
/proc/13644/task/13657/stat : 13657 (java) S 13643 13643 7411 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 20 0 3777776 13587718144 1242881 33554432000 4194304 4196468 140733078966768 140609177707392 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13658] ppid=13643 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13658/stat : 13658 (java) S 13643 13643 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3777780 13587718144 1242881 33554432000 4194304 4196468 140733078966768 140608974874448 140609650349979 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13659] ppid=13643 vsize=13269256 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13659/stat : 13659 (java) S 13643 13643 7411 0 -1 1077944384 4227 0 0 0 68 1 0 0 20 0 20 0 3777780 13587718144 1242881 33554432000 4194304 4196468 140733078966768 140608973822832 140609650342530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13660] ppid=13643 vsize=13269256 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13660/stat : 13660 (java) S 13643 13643 7411 0 -1 1077944384 4833 0 0 0 85 1 0 0 20 0 20 0 3777780 13587718144 1242881 33554432000 4194304 4196468 140733078966768 140608972770032 140609650342530 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13661] ppid=13643 vsize=13269256 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13661/stat : 13661 (java) S 13643 13643 7411 0 -1 1077944384 4116 0 0 0 69 1 0 0 20 0 20 0 3777780 13587718144 1242881 33554432000 4194304 4196468 140733078966768 140608971717232 140609650342530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13662] ppid=13643 vsize=13269256 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13662/stat : 13662 (java) S 13643 13643 7411 0 -1 1077944384 4945 0 0 0 49 1 0 0 20 0 20 0 3777780 13587718144 1242881 33554432000 4194304 4196468 140733078966768 140608970664432 140609650342530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13663] ppid=13643 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13663/stat : 13663 (java) S 13643 13643 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3777780 13587718144 1242881 33554432000 4194304 4196468 140733078966768 140608969611872 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13664] ppid=13643 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13664/stat : 13664 (java) S 13643 13643 7411 0 -1 1077944384 439 0 0 0 3 4 0 0 20 0 20 0 3777780 13587718144 1242881 33554432000 4194304 4196468 140733078966768 140608968559152 140609650342530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
Current children cumulated CPU time (s) 148.44
Current children cumulated vsize (KiB) 13278768
[startup+113.701 s]
/proc/loadavg: 4.22 11.49 13.63 3/282 13715
/proc/meminfo: memFree=26469976/32770624 swapFree=5860/235420
[pid=13643] ppid=13640 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13643/stat : 13643 (xcsp3-exec) S 13640 13643 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3777771 9740288 345 33554432000 4194304 5098028 140727116323712 140727116321816 140507093971580 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 27910144 140727116330126 140727116330336 140727116330336 140727116333035 0
/proc/13643/statm: 2378 345 289 221 0 87 0
[pid=13644] ppid=13643 vsize=13269256 CPUtime=150.04 cores=1,3,5,7,9,11,13,15
/proc/13644/stat : 13644 (java) S 13643 13643 7411 0 -1 1077944320 108111 0 0 0 14174 830 0 0 20 0 20 0 3777771 13587718144 1242881 33554432000 4194304 4196468 140733078966768 140733078949312 140609650331383 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
/proc/13644/statm: 3317314 1242881 3256 1 0 3304547 0
[pid=13644/tid=13645] ppid=13643 vsize=13269256 CPUtime=102.37 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13645/stat : 13645 (java) R 13643 13643 7411 0 -1 4202560 23833 0 0 0 10204 33 0 0 20 0 20 0 3777772 13587718144 1242881 33554432000 4194304 4196468 140733078966768 140609654568984 140609264155951 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13647] ppid=13643 vsize=13269256 CPUtime=4.81 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13647/stat : 13647 (java) S 13643 13643 7411 0 -1 1077944384 7687 0 0 0 384 97 0 0 20 0 20 0 3777773 13587718144 1242881 33554432000 4194304 4196468 140733078966768 140609582467728 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13648] ppid=13643 vsize=13269256 CPUtime=4.8 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13648/stat : 13648 (java) S 13643 13643 7411 0 -1 1077944384 5100 0 0 0 380 100 0 0 20 0 20 0 3777773 13587718144 1242881 33554432000 4194304 4196468 140733078966768 140609581414928 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13649] ppid=13643 vsize=13269256 CPUtime=4.81 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13649/stat : 13649 (java) S 13643 13643 7411 0 -1 1077944384 4917 0 0 0 376 105 0 0 20 0 20 0 3777773 13587718144 1242881 33554432000 4194304 4196468 140733078966768 140609580362128 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13650] ppid=13643 vsize=13269256 CPUtime=4.75 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13650/stat : 13650 (java) S 13643 13643 7411 0 -1 1077944384 5338 0 0 0 378 97 0 0 20 0 20 0 3777773 13587718144 1242881 33554432000 4194304 4196468 140733078966768 140609246431504 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13651] ppid=13643 vsize=13269256 CPUtime=4.77 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13651/stat : 13651 (java) S 13643 13643 7411 0 -1 1077944384 6295 0 0 0 390 87 0 0 20 0 20 0 3777773 13587718144 1242881 33554432000 4194304 4196468 140733078966768 140609245379728 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13652] ppid=13643 vsize=13269256 CPUtime=4.81 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13652/stat : 13652 (java) S 13643 13643 7411 0 -1 1077944384 6579 0 0 0 393 88 0 0 20 0 20 0 3777773 13587718144 1242881 33554432000 4194304 4196468 140733078966768 140609244326928 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13653] ppid=13643 vsize=13269256 CPUtime=4.77 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13653/stat : 13653 (java) S 13643 13643 7411 0 -1 1077944384 8177 0 0 0 382 95 0 0 20 0 20 0 3777773 13587718144 1242881 33554432000 4194304 4196468 140733078966768 140609243274128 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13654] ppid=13643 vsize=13269256 CPUtime=4.78 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13654/stat : 13654 (java) S 13643 13643 7411 0 -1 1077944384 9818 0 0 0 368 110 0 0 20 0 20 0 3777773 13587718144 1242881 33554432000 4194304 4196468 140733078966768 140609242221328 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13655] ppid=13643 vsize=13269256 CPUtime=6.4 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13655/stat : 13655 (java) S 13643 13643 7411 0 -1 1077944384 10346 0 0 0 635 5 0 0 20 0 20 0 3777775 13587718144 1242881 33554432000 4194304 4196468 140733078966768 140609179814256 140609650342530 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13656] ppid=13643 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13656/stat : 13656 (java) S 13643 13643 7411 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 20 0 3777776 13587718144 1242881 33554432000 4194304 4196468 140733078966768 140609178760288 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13657] ppid=13643 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13657/stat : 13657 (java) S 13643 13643 7411 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 20 0 3777776 13587718144 1242881 33554432000 4194304 4196468 140733078966768 140609177707392 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13658] ppid=13643 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13658/stat : 13658 (java) S 13643 13643 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3777780 13587718144 1242881 33554432000 4194304 4196468 140733078966768 140608974874448 140609650349979 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13659] ppid=13643 vsize=13269256 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13659/stat : 13659 (java) S 13643 13643 7411 0 -1 1077944384 4227 0 0 0 68 1 0 0 20 0 20 0 3777780 13587718144 1242881 33554432000 4194304 4196468 140733078966768 140608973822832 140609650342530 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13660] ppid=13643 vsize=13269256 CPUtime=0.86 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13660/stat : 13660 (java) S 13643 13643 7411 0 -1 1077944384 4833 0 0 0 85 1 0 0 20 0 20 0 3777780 13587718144 1242881 33554432000 4194304 4196468 140733078966768 140608972770032 140609650342530 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13661] ppid=13643 vsize=13269256 CPUtime=0.7 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13661/stat : 13661 (java) S 13643 13643 7411 0 -1 1077944384 4116 0 0 0 69 1 0 0 20 0 20 0 3777780 13587718144 1242881 33554432000 4194304 4196468 140733078966768 140608971717232 140609650342530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13662] ppid=13643 vsize=13269256 CPUtime=0.5 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13662/stat : 13662 (java) S 13643 13643 7411 0 -1 1077944384 4945 0 0 0 49 1 0 0 20 0 20 0 3777780 13587718144 1242881 33554432000 4194304 4196468 140733078966768 140608970664432 140609650342530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13663] ppid=13643 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13663/stat : 13663 (java) S 13643 13643 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3777780 13587718144 1242881 33554432000 4194304 4196468 140733078966768 140608969611872 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13664] ppid=13643 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13664/stat : 13664 (java) S 13643 13643 7411 0 -1 1077944384 439 0 0 0 3 4 0 0 20 0 20 0 3777780 13587718144 1242881 33554432000 4194304 4196468 140733078966768 140608968559152 140609650342530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
Current children cumulated CPU time (s) 150.04
Current children cumulated vsize (KiB) 13278768
[startup+114.102 s]
/proc/loadavg: 4.22 11.49 13.63 3/282 13715
/proc/meminfo: memFree=26469976/32770624 swapFree=5860/235420
[pid=13643] ppid=13640 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13643/stat : 13643 (xcsp3-exec) S 13640 13643 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3777771 9740288 345 33554432000 4194304 5098028 140727116323712 140727116321816 140507093971580 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 27910144 140727116330126 140727116330336 140727116330336 140727116333035 0
/proc/13643/statm: 2378 345 289 221 0 87 0
[pid=13644] ppid=13643 vsize=13801768 CPUtime=152.22 cores=1,3,5,7,9,11,13,15
/proc/13644/stat : 13644 (java) S 13643 13643 7411 0 -1 1077944320 115801 0 0 0 14390 832 0 0 20 0 28 0 3777771 14133010432 1243158 33554432000 4194304 4196468 140733078966768 140733078949312 140609650331383 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
/proc/13644/statm: 3450442 1243158 3259 1 0 3437675 0
[pid=13644/tid=13645] ppid=13643 vsize=13801768 CPUtime=102.51 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13645/stat : 13645 (java) S 13643 13643 7411 0 -1 1077944384 24337 0 0 0 10218 33 0 0 20 0 28 0 3777772 14133010432 1243158 33554432000 4194304 4196468 140733078966768 140609654572160 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13647] ppid=13643 vsize=13801768 CPUtime=4.81 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13647/stat : 13647 (java) S 13643 13643 7411 0 -1 1077944384 7687 0 0 0 384 97 0 0 20 0 28 0 3777773 14133010432 1243158 33554432000 4194304 4196468 140733078966768 140609582467728 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13648] ppid=13643 vsize=13801768 CPUtime=4.8 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13648/stat : 13648 (java) S 13643 13643 7411 0 -1 1077944384 5100 0 0 0 380 100 0 0 20 0 28 0 3777773 14133010432 1243158 33554432000 4194304 4196468 140733078966768 140609581414928 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13649] ppid=13643 vsize=13801768 CPUtime=4.81 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13649/stat : 13649 (java) S 13643 13643 7411 0 -1 1077944384 4917 0 0 0 376 105 0 0 20 0 28 0 3777773 14133010432 1243158 33554432000 4194304 4196468 140733078966768 140609580362128 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13650] ppid=13643 vsize=13801768 CPUtime=4.75 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13650/stat : 13650 (java) S 13643 13643 7411 0 -1 1077944384 5338 0 0 0 378 97 0 0 20 0 28 0 3777773 14133010432 1243158 33554432000 4194304 4196468 140733078966768 140609246431504 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13651] ppid=13643 vsize=13801768 CPUtime=4.77 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13651/stat : 13651 (java) S 13643 13643 7411 0 -1 1077944384 6295 0 0 0 390 87 0 0 20 0 28 0 3777773 14133010432 1243158 33554432000 4194304 4196468 140733078966768 140609245379728 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13652] ppid=13643 vsize=13801768 CPUtime=4.81 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13652/stat : 13652 (java) S 13643 13643 7411 0 -1 1077944384 6579 0 0 0 393 88 0 0 20 0 28 0 3777773 14133010432 1243158 33554432000 4194304 4196468 140733078966768 140609244326928 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13653] ppid=13643 vsize=13801768 CPUtime=4.77 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13653/stat : 13653 (java) S 13643 13643 7411 0 -1 1077944384 8177 0 0 0 382 95 0 0 20 0 28 0 3777773 14133010432 1243158 33554432000 4194304 4196468 140733078966768 140609243274128 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13654] ppid=13643 vsize=13801768 CPUtime=4.78 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13654/stat : 13654 (java) S 13643 13643 7411 0 -1 1077944384 9818 0 0 0 368 110 0 0 20 0 28 0 3777773 14133010432 1243158 33554432000 4194304 4196468 140733078966768 140609242221328 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13655] ppid=13643 vsize=13801768 CPUtime=6.4 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13655/stat : 13655 (java) S 13643 13643 7411 0 -1 1077944384 10356 0 0 0 635 5 0 0 20 0 28 0 3777775 14133010432 1243158 33554432000 4194304 4196468 140733078966768 140609179814256 140609650342530 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13656] ppid=13643 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13656/stat : 13656 (java) S 13643 13643 7411 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 3777776 14133010432 1243158 33554432000 4194304 4196468 140733078966768 140609178760288 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13657] ppid=13643 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13657/stat : 13657 (java) S 13643 13643 7411 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 28 0 3777776 14133010432 1243158 33554432000 4194304 4196468 140733078966768 140609177707392 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13658] ppid=13643 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13658/stat : 13658 (java) S 13643 13643 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3777780 14133010432 1243158 33554432000 4194304 4196468 140733078966768 140608974874448 140609650349979 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13659] ppid=13643 vsize=13801768 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13659/stat : 13659 (java) R 13643 13643 7411 0 -1 4202560 4879 0 0 0 77 1 0 0 20 0 28 0 3777780 14133010432 1243158 33554432000 4194304 4196468 140733078966768 140608973809400 140609635242527 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13660] ppid=13643 vsize=13801768 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13660/stat : 13660 (java) R 13643 13643 7411 0 -1 4202560 5478 0 0 0 92 1 0 0 20 0 28 0 3777780 14133010432 1243158 33554432000 4194304 4196468 140733078966768 140608972757280 140609634298965 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13661] ppid=13643 vsize=13801768 CPUtime=0.79 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13661/stat : 13661 (java) R 13643 13643 7411 0 -1 4202560 4536 0 0 0 78 1 0 0 20 0 28 0 3777780 14133010432 1243158 33554432000 4194304 4196468 140733078966768 140608971703800 140609642620832 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13662] ppid=13643 vsize=13801768 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13662/stat : 13662 (java) S 13643 13643 7411 0 -1 1077944384 5466 0 0 0 57 1 0 0 20 0 28 0 3777780 14133010432 1243158 33554432000 4194304 4196468 140733078966768 140608970664272 140609650352573 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13663] ppid=13643 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13663/stat : 13663 (java) S 13643 13643 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3777780 14133010432 1243158 33554432000 4194304 4196468 140733078966768 140608969611872 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13664] ppid=13643 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13664/stat : 13664 (java) S 13643 13643 7411 0 -1 1077944384 439 0 0 0 3 4 0 0 20 0 28 0 3777780 14133010432 1243158 33554432000 4194304 4196468 140733078966768 140608968559152 140609650342530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
Current children cumulated CPU time (s) 152.22
Current children cumulated vsize (KiB) 13811280
[startup+114.301 s]
/proc/loadavg: 4.22 11.49 13.63 3/282 13715
/proc/meminfo: memFree=26469976/32770624 swapFree=5860/235420
[pid=13643] ppid=13640 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13643/stat : 13643 (xcsp3-exec) S 13640 13643 7411 0 -1 4202496 517 0 0 0 0 0 0 0 20 0 1 0 3777771 9740288 345 33554432000 4194304 5098028 140727116323712 140727116321816 140507093971580 0 65536 4100 65538 18446744071579417331 0 0 17 11 0 0 0 0 0 7196144 7232144 27910144 140727116330126 140727116330336 140727116330336 140727116333035 0
/proc/13643/statm: 2378 345 289 221 0 87 0
[pid=13644] ppid=13643 vsize=13801768 CPUtime=153.77 cores=1,3,5,7,9,11,13,15
/proc/13644/stat : 13644 (java) S 13643 13643 7411 0 -1 1077944320 117154 0 0 0 14545 832 0 0 20 0 28 0 3777771 14133010432 1243240 33554432000 4194304 4196468 140733078966768 140733078949312 140609650331383 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
/proc/13644/statm: 3450442 1243240 3260 1 0 3437675 0
[pid=13644/tid=13645] ppid=13643 vsize=13801768 CPUtime=102.51 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13645/stat : 13645 (java) S 13643 13643 7411 0 -1 1077944384 24337 0 0 0 10218 33 0 0 20 0 28 0 3777772 14133010432 1243240 33554432000 4194304 4196468 140733078966768 140609654572160 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13647] ppid=13643 vsize=13801768 CPUtime=4.81 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13647/stat : 13647 (java) S 13643 13643 7411 0 -1 1077944384 7687 0 0 0 384 97 0 0 20 0 28 0 3777773 14133010432 1243240 33554432000 4194304 4196468 140733078966768 140609582467728 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13648] ppid=13643 vsize=13801768 CPUtime=4.8 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13648/stat : 13648 (java) S 13643 13643 7411 0 -1 1077944384 5100 0 0 0 380 100 0 0 20 0 28 0 3777773 14133010432 1243240 33554432000 4194304 4196468 140733078966768 140609581414928 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13649] ppid=13643 vsize=13801768 CPUtime=4.81 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13649/stat : 13649 (java) S 13643 13643 7411 0 -1 1077944384 4917 0 0 0 376 105 0 0 20 0 28 0 3777773 14133010432 1243240 33554432000 4194304 4196468 140733078966768 140609580362128 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13650] ppid=13643 vsize=13801768 CPUtime=4.75 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13650/stat : 13650 (java) S 13643 13643 7411 0 -1 1077944384 5338 0 0 0 378 97 0 0 20 0 28 0 3777773 14133010432 1243240 33554432000 4194304 4196468 140733078966768 140609246431504 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13651] ppid=13643 vsize=13801768 CPUtime=4.77 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13651/stat : 13651 (java) S 13643 13643 7411 0 -1 1077944384 6295 0 0 0 390 87 0 0 20 0 28 0 3777773 14133010432 1243240 33554432000 4194304 4196468 140733078966768 140609245379728 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13652] ppid=13643 vsize=13801768 CPUtime=4.81 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13652/stat : 13652 (java) S 13643 13643 7411 0 -1 1077944384 6579 0 0 0 393 88 0 0 20 0 28 0 3777773 14133010432 1243240 33554432000 4194304 4196468 140733078966768 140609244326928 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13653] ppid=13643 vsize=13801768 CPUtime=4.77 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13653/stat : 13653 (java) S 13643 13643 7411 0 -1 1077944384 8177 0 0 0 382 95 0 0 20 0 28 0 3777773 14133010432 1243240 33554432000 4194304 4196468 140733078966768 140609243274128 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13654] ppid=13643 vsize=13801768 CPUtime=4.78 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13654/stat : 13654 (java) S 13643 13643 7411 0 -1 1077944384 9818 0 0 0 368 110 0 0 20 0 28 0 3777773 14133010432 1243240 33554432000 4194304 4196468 140733078966768 140609242221328 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13655] ppid=13643 vsize=13801768 CPUtime=6.4 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13655/stat : 13655 (java) S 13643 13643 7411 0 -1 1077944384 10356 0 0 0 635 5 0 0 20 0 28 0 3777775 14133010432 1243240 33554432000 4194304 4196468 140733078966768 140609179814256 140609650342530 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13656] ppid=13643 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13656/stat : 13656 (java) S 13643 13643 7411 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 28 0 3777776 14133010432 1243240 33554432000 4194304 4196468 140733078966768 140609178760288 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13657] ppid=13643 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13657/stat : 13657 (java) S 13643 13643 7411 0 -1 1077944384 157 0 0 0 0 0 0 0 20 0 28 0 3777776 14133010432 1243240 33554432000 4194304 4196468 140733078966768 140609177707392 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13658] ppid=13643 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13658/stat : 13658 (java) S 13643 13643 7411 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3777780 14133010432 1243240 33554432000 4194304 4196468 140733078966768 140608974874448 140609650349979 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13659] ppid=13643 vsize=13801768 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13659/stat : 13659 (java) S 13643 13643 7411 0 -1 1077944384 4999 0 0 0 82 1 0 0 20 0 28 0 3777780 14133010432 1243240 33554432000 4194304 4196468 140733078966768 140608973822832 140609650342530 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13660] ppid=13643 vsize=13801768 CPUtime=1.1 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13660/stat : 13660 (java) R 13643 13643 7411 0 -1 4202560 6078 0 0 0 109 1 0 0 20 0 28 0 3777780 14133010432 1243240 33554432000 4194304 4196468 140733078966768 140608972751024 140609636487728 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13661] ppid=13643 vsize=13801768 CPUtime=0.93 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13661/stat : 13661 (java) S 13643 13643 7411 0 -1 1077944384 5006 0 0 0 92 1 0 0 20 0 28 0 3777780 14133010432 1243240 33554432000 4194304 4196468 140733078966768 140608971717232 140609650342530 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13662] ppid=13643 vsize=13801768 CPUtime=0.59 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13662/stat : 13662 (java) S 13643 13643 7411 0 -1 1077944384 5487 0 0 0 58 1 0 0 20 0 28 0 3777780 14133010432 1243240 33554432000 4194304 4196468 140733078966768 140608970664432 140609650342530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13663] ppid=13643 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13663/stat : 13663 (java) S 13643 13643 7411 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3777780 14133010432 1243240 33554432000 4194304 4196468 140733078966768 140608969611872 140609650341589 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
[pid=13644/tid=13664] ppid=13643 vsize=13801768 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/13644/task/13664/stat : 13664 (java) S 13643 13643 7411 0 -1 1077944384 439 0 0 0 3 4 0 0 20 0 28 0 3777780 14133010432 1243240 33554432000 4194304 4196468 140733078966768 140608968559152 140609650342530 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21635072 140733078975676 140733078975852 140733078975852 140733078978511 0
Current children cumulated CPU time (s) 153.77
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 114.384
CPU time (s): 153.925
CPU user time (s): 145.576
CPU system time (s): 8.34859
CPU usage (%): 134.569
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 145.576
system time used= 8.34859
maximum resident set size= 4973776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 118141
page faults= 0
swaps= 0
block input operations= 0
block output operations= 232
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9965
involuntary context switches= 8793
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.819585 second user time and 1.01605 second system time
The end