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-4249155-1500694060/watcher-4249155-1500694060 -o /tmp/evaluation-result-4249155-1500694060/solver-4249155-1500694060 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node145-1500682809-15228 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 2059391091 HOME/instance-4249155-1500694060.xml
pid=10280
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: 13.54 15.11 15.13 3/262 10283
/proc/meminfo: memFree=31820944/32770624 swapFree=5808/121808
[pid=10283] ppid=10280 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10283/stat : 10283 (xcsp3-exec) S 10280 10283 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4671068 9740288 346 33554432000 4194304 5098028 140732958472224 140732958470328 139950440620668 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 30789632 140732958479502 140732958479712 140732958479712 140732958482411 0
/proc/10283/statm: 2378 346 289 221 0 87 0
[startup+0.100123 s]
/proc/loadavg: 13.54 15.11 15.13 3/262 10283
/proc/meminfo: memFree=31820944/32770624 swapFree=5808/121808
[pid=10283] ppid=10280 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10283/stat : 10283 (xcsp3-exec) S 10280 10283 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4671068 9740288 346 33554432000 4194304 5098028 140732958472224 140732958470328 139950440620668 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 30789632 140732958479502 140732958479712 140732958479712 140732958482411 0
/proc/10283/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200306 s]
/proc/loadavg: 13.54 15.11 15.13 3/262 10283
/proc/meminfo: memFree=31820944/32770624 swapFree=5808/121808
[pid=10283] ppid=10280 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10283/stat : 10283 (xcsp3-exec) S 10280 10283 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4671068 9740288 346 33554432000 4194304 5098028 140732958472224 140732958470328 139950440620668 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 30789632 140732958479502 140732958479712 140732958479712 140732958482411 0
/proc/10283/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300288 s]
/proc/loadavg: 13.54 15.11 15.13 3/262 10283
/proc/meminfo: memFree=31820944/32770624 swapFree=5808/121808
[pid=10283] ppid=10280 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10283/stat : 10283 (xcsp3-exec) S 10280 10283 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4671068 9740288 346 33554432000 4194304 5098028 140732958472224 140732958470328 139950440620668 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 30789632 140732958479502 140732958479712 140732958479712 140732958482411 0
/proc/10283/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700258 s]
/proc/loadavg: 13.54 15.11 15.13 3/262 10283
/proc/meminfo: memFree=31820944/32770624 swapFree=5808/121808
[pid=10283] ppid=10280 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10283/stat : 10283 (xcsp3-exec) S 10280 10283 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4671068 9740288 346 33554432000 4194304 5098028 140732958472224 140732958470328 139950440620668 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 30789632 140732958479502 140732958479712 140732958479712 140732958482411 0
/proc/10283/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50073 s]
/proc/loadavg: 13.54 15.11 15.13 4/283 10304
/proc/meminfo: memFree=31701592/32770624 swapFree=5808/121804
[pid=10283] ppid=10280 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10283/stat : 10283 (xcsp3-exec) S 10280 10283 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4671068 9740288 346 33554432000 4194304 5098028 140732958472224 140732958470328 139950440620668 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 30789632 140732958479502 140732958479712 140732958479712 140732958482411 0
/proc/10283/statm: 2378 346 289 221 0 87 0
[pid=10284] ppid=10283 vsize=13269256 CPUtime=2.56 cores=1,3,5,7,9,11,13,15
/proc/10284/stat : 10284 (java) S 10283 10283 15196 0 -1 1077944320 14223 0 0 0 251 5 0 0 20 0 20 0 4671068 13587718144 26225 33554432000 4194304 4196468 140735821134224 140735821116768 139980995661559 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
/proc/10284/statm: 3317314 26225 3199 1 0 3304547 0
[pid=10284/tid=10285] ppid=10283 vsize=13269256 CPUtime=1.47 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10285/stat : 10285 (java) R 10283 10283 15196 0 -1 4202560 6469 0 0 0 144 3 0 0 20 0 20 0 4671068 13587718144 26225 33554432000 4194304 4196468 140735821134224 139980999896848 139980588069766 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10287] ppid=10283 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10287/stat : 10287 (java) S 10283 10283 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4671069 13587718144 26225 33554432000 4194304 4196468 140735821134224 139980914141840 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10288] ppid=10283 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10288/stat : 10288 (java) S 10283 10283 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4671069 13587718144 26225 33554432000 4194304 4196468 140735821134224 139980913089040 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10289] ppid=10283 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10289/stat : 10289 (java) S 10283 10283 15196 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 4671069 13587718144 26225 33554432000 4194304 4196468 140735821134224 139980912036240 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10290] ppid=10283 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10290/stat : 10290 (java) S 10283 10283 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4671069 13587718144 26225 33554432000 4194304 4196468 140735821134224 139980910983440 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10291] ppid=10283 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10291/stat : 10291 (java) S 10283 10283 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4671069 13587718144 26225 33554432000 4194304 4196468 140735821134224 139980909931664 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10292] ppid=10283 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10292/stat : 10292 (java) S 10283 10283 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4671069 13587718144 26225 33554432000 4194304 4196468 140735821134224 139980908878864 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10293] ppid=10283 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10293/stat : 10293 (java) S 10283 10283 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4671069 13587718144 26225 33554432000 4194304 4196468 140735821134224 139980907826064 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10294] ppid=10283 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10294/stat : 10294 (java) S 10283 10283 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4671069 13587718144 26225 33554432000 4194304 4196468 140735821134224 139980906773264 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10295] ppid=10283 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10295/stat : 10295 (java) S 10283 10283 15196 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 4671071 13587718144 26225 33554432000 4194304 4196468 140735821134224 139980189583728 139980995672706 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10296] ppid=10283 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10296/stat : 10296 (java) S 10283 10283 15196 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 4671072 13587718144 26225 33554432000 4194304 4196468 140735821134224 139980188529696 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10297] ppid=10283 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10297/stat : 10297 (java) S 10283 10283 15196 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 4671072 13587718144 26225 33554432000 4194304 4196468 140735821134224 139980187476848 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10298] ppid=10283 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10298/stat : 10298 (java) S 10283 10283 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4671075 13587718144 26225 33554432000 4194304 4196468 140735821134224 139980186425168 139980995680155 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10299] ppid=10283 vsize=13269256 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10299/stat : 10299 (java) S 10283 10283 15196 0 -1 1077944384 2160 0 0 0 24 0 0 0 20 0 20 0 4671075 13587718144 26225 33554432000 4194304 4196468 140735821134224 139980185373552 139980995672706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10300] ppid=10283 vsize=13269256 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10300/stat : 10300 (java) S 10283 10283 15196 0 -1 1077944384 1486 0 0 0 23 0 0 0 20 0 20 0 4671075 13587718144 26225 33554432000 4194304 4196468 140735821134224 139980184320752 139980995672706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10301] ppid=10283 vsize=13269256 CPUtime=0.25 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10301/stat : 10301 (java) S 10283 10283 15196 0 -1 1077944384 1110 0 0 0 25 0 0 0 20 0 20 0 4671075 13587718144 26225 33554432000 4194304 4196468 140735821134224 139980183267952 139980995672706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10302] ppid=10283 vsize=13269256 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10302/stat : 10302 (java) S 10283 10283 15196 0 -1 1077944384 1651 0 0 0 34 0 0 0 20 0 20 0 4671075 13587718144 26225 33554432000 4194304 4196468 140735821134224 139980182215152 139980995672706 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10303] ppid=10283 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10303/stat : 10303 (java) S 10283 10283 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4671076 13587718144 26225 33554432000 4194304 4196468 140735821134224 139980181162592 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10304] ppid=10283 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10304/stat : 10304 (java) S 10283 10283 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4671076 13587718144 26225 33554432000 4194304 4196468 140735821134224 139980180109872 139980995672706 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
Current children cumulated CPU time (s) 2.56
Current children cumulated vsize (KiB) 13278768
[startup+3.10137 s]
/proc/loadavg: 13.54 15.11 15.13 3/283 10304
/proc/meminfo: memFree=31524988/32770624 swapFree=5808/122012
[pid=10283] ppid=10280 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10283/stat : 10283 (xcsp3-exec) S 10280 10283 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4671068 9740288 346 33554432000 4194304 5098028 140732958472224 140732958470328 139950440620668 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 30789632 140732958479502 140732958479712 140732958479712 140732958482411 0
/proc/10283/statm: 2378 346 289 221 0 87 0
[pid=10284] ppid=10283 vsize=13269256 CPUtime=5.61 cores=1,3,5,7,9,11,13,15
/proc/10284/stat : 10284 (java) S 10283 10283 15196 0 -1 1077944320 23859 0 0 0 522 39 0 0 20 0 20 0 4671068 13587718144 67380 33554432000 4194304 4196468 140735821134224 140735821116768 139980995661559 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
/proc/10284/statm: 3317314 67380 3231 1 0 3304547 0
[pid=10284/tid=10285] ppid=10283 vsize=13269256 CPUtime=3 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10285/stat : 10285 (java) R 10283 10283 15196 0 -1 4202560 8107 0 0 0 296 4 0 0 20 0 20 0 4671068 13587718144 67380 33554432000 4194304 4196468 140735821134224 139980999897976 139980588069739 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10287] ppid=10283 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10287/stat : 10287 (java) S 10283 10283 15196 0 -1 1077944384 139 0 0 0 2 3 0 0 20 0 20 0 4671069 13587718144 67380 33554432000 4194304 4196468 140735821134224 139980914141840 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10288] ppid=10283 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10288/stat : 10288 (java) S 10283 10283 15196 0 -1 1077944384 49 0 0 0 2 4 0 0 20 0 20 0 4671069 13587718144 67380 33554432000 4194304 4196468 140735821134224 139980913089040 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10289] ppid=10283 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10289/stat : 10289 (java) S 10283 10283 15196 0 -1 1077944384 150 0 0 0 2 4 0 0 20 0 20 0 4671069 13587718144 67380 33554432000 4194304 4196468 140735821134224 139980912036240 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10290] ppid=10283 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10290/stat : 10290 (java) S 10283 10283 15196 0 -1 1077944384 83 0 0 0 3 3 0 0 20 0 20 0 4671069 13587718144 67380 33554432000 4194304 4196468 140735821134224 139980910983440 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10291] ppid=10283 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10291/stat : 10291 (java) S 10283 10283 15196 0 -1 1077944384 41 0 0 0 2 3 0 0 20 0 20 0 4671069 13587718144 67380 33554432000 4194304 4196468 140735821134224 139980909931664 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10292] ppid=10283 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10292/stat : 10292 (java) S 10283 10283 15196 0 -1 1077944384 44 0 0 0 2 3 0 0 20 0 20 0 4671069 13587718144 67380 33554432000 4194304 4196468 140735821134224 139980908878864 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10293] ppid=10283 vsize=13269256 CPUtime=0.07 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10293/stat : 10293 (java) S 10283 10283 15196 0 -1 1077944384 76 0 0 0 3 4 0 0 20 0 20 0 4671069 13587718144 67380 33554432000 4194304 4196468 140735821134224 139980907826064 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10294] ppid=10283 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10294/stat : 10294 (java) S 10283 10283 15196 0 -1 1077944384 76 0 0 0 2 4 0 0 20 0 20 0 4671069 13587718144 67380 33554432000 4194304 4196468 140735821134224 139980906773264 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10295] ppid=10283 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10295/stat : 10295 (java) S 10283 10283 15196 0 -1 1077944384 287 0 0 0 0 0 0 0 20 0 20 0 4671071 13587718144 67380 33554432000 4194304 4196468 140735821134224 139980189583728 139980995672706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10296] ppid=10283 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10296/stat : 10296 (java) S 10283 10283 15196 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4671072 13587718144 67380 33554432000 4194304 4196468 140735821134224 139980188529696 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10297] ppid=10283 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10297/stat : 10297 (java) S 10283 10283 15196 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4671072 13587718144 67380 33554432000 4194304 4196468 140735821134224 139980187476848 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10298] ppid=10283 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10298/stat : 10298 (java) S 10283 10283 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4671075 13587718144 67380 33554432000 4194304 4196468 140735821134224 139980186425168 139980995680155 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10299] ppid=10283 vsize=13269256 CPUtime=0.67 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10299/stat : 10299 (java) R 10283 10283 15196 0 -1 4202560 5566 0 0 0 67 0 0 0 20 0 20 0 4671075 13587718144 67380 33554432000 4194304 4196468 140735821134224 139980185359432 139980977205777 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10300] ppid=10283 vsize=13269256 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10300/stat : 10300 (java) S 10283 10283 15196 0 -1 1077944384 2550 0 0 0 42 0 0 0 20 0 20 0 4671075 13587718144 67380 33554432000 4194304 4196468 140735821134224 139980184320752 139980995672706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10301] ppid=10283 vsize=13269256 CPUtime=0.43 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10301/stat : 10301 (java) S 10283 10283 15196 0 -1 1077944384 2327 0 0 0 43 0 0 0 20 0 20 0 4671075 13587718144 67380 33554432000 4194304 4196468 140735821134224 139980183267952 139980995672706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10302] ppid=10283 vsize=13269256 CPUtime=0.49 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10302/stat : 10302 (java) S 10283 10283 15196 0 -1 1077944384 2988 0 0 0 49 0 0 0 20 0 20 0 4671075 13587718144 67380 33554432000 4194304 4196468 140735821134224 139980182215152 139980995672706 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10303] ppid=10283 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10303/stat : 10303 (java) S 10283 10283 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4671076 13587718144 67380 33554432000 4194304 4196468 140735821134224 139980181162592 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10304] ppid=10283 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10304/stat : 10304 (java) S 10283 10283 15196 0 -1 1077944384 36 0 0 0 0 0 0 0 20 0 20 0 4671076 13587718144 67380 33554432000 4194304 4196468 140735821134224 139980180109872 139980995672706 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
Current children cumulated CPU time (s) 5.61
Current children cumulated vsize (KiB) 13278768
[startup+6.30078 s]
/proc/loadavg: 12.70 14.91 15.07 3/283 10304
/proc/meminfo: memFree=31127716/32770624 swapFree=5808/122024
[pid=10283] ppid=10280 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10283/stat : 10283 (xcsp3-exec) S 10280 10283 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4671068 9740288 346 33554432000 4194304 5098028 140732958472224 140732958470328 139950440620668 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 30789632 140732958479502 140732958479712 140732958479712 140732958482411 0
/proc/10283/statm: 2378 346 289 221 0 87 0
[pid=10284] ppid=10283 vsize=13269256 CPUtime=10.58 cores=1,3,5,7,9,11,13,15
/proc/10284/stat : 10284 (java) S 10283 10283 15196 0 -1 1077944320 26169 0 0 0 953 105 0 0 20 0 20 0 4671068 13587718144 95530 33554432000 4194304 4196468 140735821134224 140735821116768 139980995661559 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
/proc/10284/statm: 3317314 95530 3241 1 0 3304547 0
[pid=10284/tid=10285] ppid=10283 vsize=13269256 CPUtime=6.06 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10285/stat : 10285 (java) R 10283 10283 15196 0 -1 4202560 8147 0 0 0 602 4 0 0 20 0 20 0 4671068 13587718144 95530 33554432000 4194304 4196468 140735821134224 139980999898008 139980588069696 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10287] ppid=10283 vsize=13269256 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10287/stat : 10287 (java) S 10283 10283 15196 0 -1 1077944384 222 0 0 0 5 12 0 0 20 0 20 0 4671069 13587718144 95530 33554432000 4194304 4196468 140735821134224 139980914141840 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10288] ppid=10283 vsize=13269256 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10288/stat : 10288 (java) S 10283 10283 15196 0 -1 1077944384 121 0 0 0 6 11 0 0 20 0 20 0 4671069 13587718144 95530 33554432000 4194304 4196468 140735821134224 139980913089040 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10289] ppid=10283 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10289/stat : 10289 (java) S 10283 10283 15196 0 -1 1077944384 232 0 0 0 6 12 0 0 20 0 20 0 4671069 13587718144 95530 33554432000 4194304 4196468 140735821134224 139980912036240 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10290] ppid=10283 vsize=13269256 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10290/stat : 10290 (java) S 10283 10283 15196 0 -1 1077944384 155 0 0 0 7 12 0 0 20 0 20 0 4671069 13587718144 95530 33554432000 4194304 4196468 140735821134224 139980910983440 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10291] ppid=10283 vsize=13269256 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10291/stat : 10291 (java) S 10283 10283 15196 0 -1 1077944384 109 0 0 0 5 11 0 0 20 0 20 0 4671069 13587718144 95530 33554432000 4194304 4196468 140735821134224 139980909931664 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10292] ppid=10283 vsize=13269256 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10292/stat : 10292 (java) S 10283 10283 15196 0 -1 1077944384 116 0 0 0 6 12 0 0 20 0 20 0 4671069 13587718144 95530 33554432000 4194304 4196468 140735821134224 139980908878864 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10293] ppid=10283 vsize=13269256 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10293/stat : 10293 (java) S 10283 10283 15196 0 -1 1077944384 165 0 0 0 8 11 0 0 20 0 20 0 4671069 13587718144 95530 33554432000 4194304 4196468 140735821134224 139980907826064 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10294] ppid=10283 vsize=13269256 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10294/stat : 10294 (java) S 10283 10283 15196 0 -1 1077944384 162 0 0 0 6 13 0 0 20 0 20 0 4671069 13587718144 95530 33554432000 4194304 4196468 140735821134224 139980906773264 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10295] ppid=10283 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10295/stat : 10295 (java) S 10283 10283 15196 0 -1 1077944384 289 0 0 0 0 0 0 0 20 0 20 0 4671071 13587718144 95530 33554432000 4194304 4196468 140735821134224 139980189583728 139980995672706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10296] ppid=10283 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10296/stat : 10296 (java) S 10283 10283 15196 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 20 0 4671072 13587718144 95530 33554432000 4194304 4196468 140735821134224 139980188529760 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10297] ppid=10283 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10297/stat : 10297 (java) S 10283 10283 15196 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4671072 13587718144 95530 33554432000 4194304 4196468 140735821134224 139980187476864 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10298] ppid=10283 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10298/stat : 10298 (java) S 10283 10283 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4671075 13587718144 95530 33554432000 4194304 4196468 140735821134224 139980186425168 139980995680155 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
################
# More data... #
################
/proc/10284/task/10297/stat : 10297 (java) S 10283 10283 15196 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 20 0 4671072 13587718144 96077 33554432000 4194304 4196468 140735821134224 139980187476864 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10298] ppid=10283 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10298/stat : 10298 (java) S 10283 10283 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4671075 13587718144 96077 33554432000 4194304 4196468 140735821134224 139980186425168 139980995680155 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10299] ppid=10283 vsize=13269256 CPUtime=1.11 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10299/stat : 10299 (java) S 10283 10283 15196 0 -1 1077944384 5644 0 0 0 111 0 0 0 20 0 20 0 4671075 13587718144 96077 33554432000 4194304 4196468 140735821134224 139980185373552 139980995672706 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10300] ppid=10283 vsize=13269256 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10300/stat : 10300 (java) S 10283 10283 15196 0 -1 1077944384 2615 0 0 0 54 0 0 0 20 0 20 0 4671075 13587718144 96077 33554432000 4194304 4196468 140735821134224 139980184320752 139980995672706 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10301] ppid=10283 vsize=13269256 CPUtime=0.82 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10301/stat : 10301 (java) S 10283 10283 15196 0 -1 1077944384 3808 0 0 0 82 0 0 0 20 0 20 0 4671075 13587718144 96077 33554432000 4194304 4196468 140735821134224 139980183267952 139980995672706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10302] ppid=10283 vsize=13269256 CPUtime=0.55 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10302/stat : 10302 (java) S 10283 10283 15196 0 -1 1077944384 3067 0 0 0 55 0 0 0 20 0 20 0 4671075 13587718144 96077 33554432000 4194304 4196468 140735821134224 139980182215152 139980995672706 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10303] ppid=10283 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10303/stat : 10303 (java) S 10283 10283 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4671076 13587718144 96077 33554432000 4194304 4196468 140735821134224 139980181162592 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10304] ppid=10283 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10304/stat : 10304 (java) S 10283 10283 15196 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 20 0 4671076 13587718144 96077 33554432000 4194304 4196468 140735821134224 139980180109872 139980995672706 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 13278768
[startup+8.50114 s]
/proc/loadavg: 12.70 14.91 15.07 3/283 10304
/proc/meminfo: memFree=31080800/32770624 swapFree=5808/122024
[pid=10283] ppid=10280 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10283/stat : 10283 (xcsp3-exec) S 10280 10283 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4671068 9740288 346 33554432000 4194304 5098028 140732958472224 140732958470328 139950440620668 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 30789632 140732958479502 140732958479712 140732958479712 140732958482411 0
/proc/10283/statm: 2378 346 289 221 0 87 0
[pid=10284] ppid=10283 vsize=13801768 CPUtime=15.08 cores=1,3,5,7,9,11,13,15
/proc/10284/stat : 10284 (java) S 10283 10283 15196 0 -1 1077944320 27763 0 0 0 1402 106 0 0 20 0 28 0 4671068 14133010432 103648 33554432000 4194304 4196468 140735821134224 140735821116768 139980995661559 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
/proc/10284/statm: 3450442 103648 3247 1 0 3437675 0
[pid=10284/tid=10285] ppid=10283 vsize=13801768 CPUtime=7.93 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10285/stat : 10285 (java) S 10283 10283 15196 0 -1 1077944384 8423 0 0 0 789 4 0 0 20 0 28 0 4671068 14133010432 103648 33554432000 4194304 4196468 140735821134224 139980999902336 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10287] ppid=10283 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10287/stat : 10287 (java) S 10283 10283 15196 0 -1 1077944384 222 0 0 0 5 12 0 0 20 0 28 0 4671069 14133010432 103648 33554432000 4194304 4196468 140735821134224 139980914141840 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10288] ppid=10283 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10288/stat : 10288 (java) S 10283 10283 15196 0 -1 1077944384 121 0 0 0 6 11 0 0 20 0 28 0 4671069 14133010432 103648 33554432000 4194304 4196468 140735821134224 139980913089040 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10289] ppid=10283 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10289/stat : 10289 (java) S 10283 10283 15196 0 -1 1077944384 232 0 0 0 6 12 0 0 20 0 28 0 4671069 14133010432 103648 33554432000 4194304 4196468 140735821134224 139980912036240 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10290] ppid=10283 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10290/stat : 10290 (java) S 10283 10283 15196 0 -1 1077944384 155 0 0 0 7 12 0 0 20 0 28 0 4671069 14133010432 103648 33554432000 4194304 4196468 140735821134224 139980910983440 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10291] ppid=10283 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10291/stat : 10291 (java) S 10283 10283 15196 0 -1 1077944384 109 0 0 0 5 11 0 0 20 0 28 0 4671069 14133010432 103648 33554432000 4194304 4196468 140735821134224 139980909931664 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10292] ppid=10283 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10292/stat : 10292 (java) S 10283 10283 15196 0 -1 1077944384 116 0 0 0 6 12 0 0 20 0 28 0 4671069 14133010432 103648 33554432000 4194304 4196468 140735821134224 139980908878864 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10293] ppid=10283 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10293/stat : 10293 (java) S 10283 10283 15196 0 -1 1077944384 165 0 0 0 8 11 0 0 20 0 28 0 4671069 14133010432 103648 33554432000 4194304 4196468 140735821134224 139980907826064 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10294] ppid=10283 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10294/stat : 10294 (java) S 10283 10283 15196 0 -1 1077944384 162 0 0 0 6 13 0 0 20 0 28 0 4671069 14133010432 103648 33554432000 4194304 4196468 140735821134224 139980906773264 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10295] ppid=10283 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10295/stat : 10295 (java) S 10283 10283 15196 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 28 0 4671071 14133010432 103648 33554432000 4194304 4196468 140735821134224 139980189583728 139980995672706 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10296] ppid=10283 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10296/stat : 10296 (java) S 10283 10283 15196 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4671072 14133010432 103648 33554432000 4194304 4196468 140735821134224 139980188529760 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10297] ppid=10283 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10297/stat : 10297 (java) S 10283 10283 15196 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4671072 14133010432 103648 33554432000 4194304 4196468 140735821134224 139980187476864 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10298] ppid=10283 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10298/stat : 10298 (java) S 10283 10283 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4671075 14133010432 103648 33554432000 4194304 4196468 140735821134224 139980186425168 139980995680155 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10299] ppid=10283 vsize=13801768 CPUtime=1.41 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10299/stat : 10299 (java) R 10283 10283 15196 0 -1 4202560 5707 0 0 0 141 0 0 0 20 0 28 0 4671075 14133010432 103648 33554432000 4194304 4196468 140735821134224 139980185360120 139980975903923 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10300] ppid=10283 vsize=13801768 CPUtime=0.78 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10300/stat : 10300 (java) R 10283 10283 15196 0 -1 4202560 2684 0 0 0 78 0 0 0 20 0 28 0 4671075 14133010432 103648 33554432000 4194304 4196468 140735821134224 139980184305520 139980977205999 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10301] ppid=10283 vsize=13801768 CPUtime=1.07 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10301/stat : 10301 (java) R 10283 10283 15196 0 -1 4202560 4257 0 0 0 107 0 0 0 20 0 28 0 4671075 14133010432 103648 33554432000 4194304 4196468 140735821134224 139980183249152 139980980050979 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10302] ppid=10283 vsize=13801768 CPUtime=0.68 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10302/stat : 10302 (java) S 10283 10283 15196 0 -1 1077944384 3224 0 0 0 67 1 0 0 20 0 28 0 4671075 14133010432 103648 33554432000 4194304 4196468 140735821134224 139980182215280 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10303] ppid=10283 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10303/stat : 10303 (java) S 10283 10283 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4671076 14133010432 103648 33554432000 4194304 4196468 140735821134224 139980181162592 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10304] ppid=10283 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10304/stat : 10304 (java) S 10283 10283 15196 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 4671076 14133010432 103648 33554432000 4194304 4196468 140735821134224 139980180109872 139980995672706 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
Current children cumulated CPU time (s) 15.08
Current children cumulated vsize (KiB) 13811280
[startup+8.70115 s]
/proc/loadavg: 12.70 14.91 15.07 3/283 10304
/proc/meminfo: memFree=31080800/32770624 swapFree=5808/122024
[pid=10283] ppid=10280 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10283/stat : 10283 (xcsp3-exec) S 10280 10283 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4671068 9740288 346 33554432000 4194304 5098028 140732958472224 140732958470328 139950440620668 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 30789632 140732958479502 140732958479712 140732958479712 140732958482411 0
/proc/10283/statm: 2378 346 289 221 0 87 0
[pid=10284] ppid=10283 vsize=13801768 CPUtime=16.65 cores=1,3,5,7,9,11,13,15
/proc/10284/stat : 10284 (java) S 10283 10283 15196 0 -1 1077944320 29420 0 0 0 1558 107 0 0 20 0 28 0 4671068 14133010432 105187 33554432000 4194304 4196468 140735821134224 140735821116768 139980995661559 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
/proc/10284/statm: 3450442 105187 3247 1 0 3437675 0
[pid=10284/tid=10285] ppid=10283 vsize=13801768 CPUtime=7.93 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10285/stat : 10285 (java) S 10283 10283 15196 0 -1 1077944384 8423 0 0 0 789 4 0 0 20 0 28 0 4671068 14133010432 105187 33554432000 4194304 4196468 140735821134224 139980999902336 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10287] ppid=10283 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10287/stat : 10287 (java) S 10283 10283 15196 0 -1 1077944384 222 0 0 0 5 12 0 0 20 0 28 0 4671069 14133010432 105187 33554432000 4194304 4196468 140735821134224 139980914141840 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10288] ppid=10283 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10288/stat : 10288 (java) S 10283 10283 15196 0 -1 1077944384 121 0 0 0 6 11 0 0 20 0 28 0 4671069 14133010432 105187 33554432000 4194304 4196468 140735821134224 139980913089040 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10289] ppid=10283 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10289/stat : 10289 (java) S 10283 10283 15196 0 -1 1077944384 232 0 0 0 6 12 0 0 20 0 28 0 4671069 14133010432 105187 33554432000 4194304 4196468 140735821134224 139980912036240 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10290] ppid=10283 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10290/stat : 10290 (java) S 10283 10283 15196 0 -1 1077944384 155 0 0 0 7 12 0 0 20 0 28 0 4671069 14133010432 105187 33554432000 4194304 4196468 140735821134224 139980910983440 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10291] ppid=10283 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10291/stat : 10291 (java) S 10283 10283 15196 0 -1 1077944384 109 0 0 0 5 11 0 0 20 0 28 0 4671069 14133010432 105187 33554432000 4194304 4196468 140735821134224 139980909931664 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10292] ppid=10283 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10292/stat : 10292 (java) S 10283 10283 15196 0 -1 1077944384 116 0 0 0 6 12 0 0 20 0 28 0 4671069 14133010432 105187 33554432000 4194304 4196468 140735821134224 139980908878864 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10293] ppid=10283 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10293/stat : 10293 (java) S 10283 10283 15196 0 -1 1077944384 165 0 0 0 8 11 0 0 20 0 28 0 4671069 14133010432 105187 33554432000 4194304 4196468 140735821134224 139980907826064 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10294] ppid=10283 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10294/stat : 10294 (java) S 10283 10283 15196 0 -1 1077944384 162 0 0 0 6 13 0 0 20 0 28 0 4671069 14133010432 105187 33554432000 4194304 4196468 140735821134224 139980906773264 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10295] ppid=10283 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10295/stat : 10295 (java) S 10283 10283 15196 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 28 0 4671071 14133010432 105187 33554432000 4194304 4196468 140735821134224 139980189583728 139980995672706 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10296] ppid=10283 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10296/stat : 10296 (java) S 10283 10283 15196 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4671072 14133010432 105187 33554432000 4194304 4196468 140735821134224 139980188529760 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10297] ppid=10283 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10297/stat : 10297 (java) S 10283 10283 15196 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4671072 14133010432 105187 33554432000 4194304 4196468 140735821134224 139980187476864 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10298] ppid=10283 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10298/stat : 10298 (java) S 10283 10283 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4671075 14133010432 105187 33554432000 4194304 4196468 140735821134224 139980186425168 139980995680155 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10299] ppid=10283 vsize=13801768 CPUtime=1.62 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10299/stat : 10299 (java) R 10283 10283 15196 0 -1 4202560 5793 0 0 0 161 1 0 0 20 0 28 0 4671075 14133010432 105187 33554432000 4194304 4196468 140735821134224 139980185360096 139980976853809 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10300] ppid=10283 vsize=13801768 CPUtime=0.92 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10300/stat : 10300 (java) R 10283 10283 15196 0 -1 4202560 3202 0 0 0 92 0 0 0 20 0 28 0 4671075 14133010432 105187 33554432000 4194304 4196468 140735821134224 139980184306632 139980980345407 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10301] ppid=10283 vsize=13801768 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10301/stat : 10301 (java) R 10283 10283 15196 0 -1 4202560 5216 0 0 0 121 1 0 0 20 0 28 0 4671075 14133010432 105187 33554432000 4194304 4196468 140735821134224 139980183248944 139980975501180 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10302] ppid=10283 vsize=13801768 CPUtime=0.72 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10302/stat : 10302 (java) S 10283 10283 15196 0 -1 1077944384 3277 0 0 0 71 1 0 0 20 0 28 0 4671075 14133010432 105187 33554432000 4194304 4196468 140735821134224 139980182215152 139980995672706 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10303] ppid=10283 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10303/stat : 10303 (java) S 10283 10283 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4671076 14133010432 105187 33554432000 4194304 4196468 140735821134224 139980181162592 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10304] ppid=10283 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10304/stat : 10304 (java) S 10283 10283 15196 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 4671076 14133010432 105187 33554432000 4194304 4196468 140735821134224 139980180109872 139980995672706 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
Current children cumulated CPU time (s) 16.65
Current children cumulated vsize (KiB) 13811280
[startup+8.80122 s]
/proc/loadavg: 12.70 14.91 15.07 3/283 10304
/proc/meminfo: memFree=31080800/32770624 swapFree=5808/122024
[pid=10283] ppid=10280 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10283/stat : 10283 (xcsp3-exec) S 10280 10283 15196 0 -1 4202496 519 0 0 0 0 0 0 0 20 0 1 0 4671068 9740288 346 33554432000 4194304 5098028 140732958472224 140732958470328 139950440620668 0 65536 4100 65538 18446744071579417331 0 0 17 13 0 0 0 0 0 7196144 7232144 30789632 140732958479502 140732958479712 140732958479712 140732958482411 0
/proc/10283/statm: 2378 346 289 221 0 87 0
[pid=10284] ppid=10283 vsize=13801768 CPUtime=17.44 cores=1,3,5,7,9,11,13,15
/proc/10284/stat : 10284 (java) S 10283 10283 15196 0 -1 1077944320 30009 0 0 0 1637 107 0 0 20 0 28 0 4671068 14133010432 105847 33554432000 4194304 4196468 140735821134224 140735821116768 139980995661559 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
/proc/10284/statm: 3450442 105847 3247 1 0 3437675 0
[pid=10284/tid=10285] ppid=10283 vsize=13801768 CPUtime=7.93 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10285/stat : 10285 (java) S 10283 10283 15196 0 -1 1077944384 8423 0 0 0 789 4 0 0 20 0 28 0 4671068 14133010432 105847 33554432000 4194304 4196468 140735821134224 139980999902336 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10287] ppid=10283 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10287/stat : 10287 (java) S 10283 10283 15196 0 -1 1077944384 222 0 0 0 5 12 0 0 20 0 28 0 4671069 14133010432 105847 33554432000 4194304 4196468 140735821134224 139980914141840 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10288] ppid=10283 vsize=13801768 CPUtime=0.17 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10288/stat : 10288 (java) S 10283 10283 15196 0 -1 1077944384 121 0 0 0 6 11 0 0 20 0 28 0 4671069 14133010432 105847 33554432000 4194304 4196468 140735821134224 139980913089040 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10289] ppid=10283 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10289/stat : 10289 (java) S 10283 10283 15196 0 -1 1077944384 232 0 0 0 6 12 0 0 20 0 28 0 4671069 14133010432 105847 33554432000 4194304 4196468 140735821134224 139980912036240 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10290] ppid=10283 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10290/stat : 10290 (java) S 10283 10283 15196 0 -1 1077944384 155 0 0 0 7 12 0 0 20 0 28 0 4671069 14133010432 105847 33554432000 4194304 4196468 140735821134224 139980910983440 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10291] ppid=10283 vsize=13801768 CPUtime=0.16 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10291/stat : 10291 (java) S 10283 10283 15196 0 -1 1077944384 109 0 0 0 5 11 0 0 20 0 28 0 4671069 14133010432 105847 33554432000 4194304 4196468 140735821134224 139980909931664 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10292] ppid=10283 vsize=13801768 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10292/stat : 10292 (java) S 10283 10283 15196 0 -1 1077944384 116 0 0 0 6 12 0 0 20 0 28 0 4671069 14133010432 105847 33554432000 4194304 4196468 140735821134224 139980908878864 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10293] ppid=10283 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10293/stat : 10293 (java) S 10283 10283 15196 0 -1 1077944384 165 0 0 0 8 11 0 0 20 0 28 0 4671069 14133010432 105847 33554432000 4194304 4196468 140735821134224 139980907826064 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10294] ppid=10283 vsize=13801768 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10294/stat : 10294 (java) S 10283 10283 15196 0 -1 1077944384 162 0 0 0 6 13 0 0 20 0 28 0 4671069 14133010432 105847 33554432000 4194304 4196468 140735821134224 139980906773264 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10295] ppid=10283 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10295/stat : 10295 (java) S 10283 10283 15196 0 -1 1077944384 293 0 0 0 0 0 0 0 20 0 28 0 4671071 14133010432 105847 33554432000 4194304 4196468 140735821134224 139980189583728 139980995672706 0 0 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10296] ppid=10283 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10296/stat : 10296 (java) S 10283 10283 15196 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 28 0 4671072 14133010432 105888 33554432000 4194304 4196468 140735821134224 139980188529760 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10297] ppid=10283 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10297/stat : 10297 (java) S 10283 10283 15196 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4671072 14133010432 105888 33554432000 4194304 4196468 140735821134224 139980187476864 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10298] ppid=10283 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10298/stat : 10298 (java) S 10283 10283 15196 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4671075 14133010432 105888 33554432000 4194304 4196468 140735821134224 139980186425168 139980995680155 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10299] ppid=10283 vsize=13801768 CPUtime=1.68 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10299/stat : 10299 (java) R 10283 10283 15196 0 -1 4202560 5797 0 0 0 167 1 0 0 20 0 28 0 4671075 14133010432 105888 33554432000 4194304 4196468 140735821134224 139980185366800 139980979161757 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10300] ppid=10283 vsize=13801768 CPUtime=1.02 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10300/stat : 10300 (java) R 10283 10283 15196 0 -1 4202560 3344 0 0 0 102 0 0 0 20 0 28 0 4671075 14133010432 105888 33554432000 4194304 4196468 140735821134224 139980184306776 139980974907407 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10301] ppid=10283 vsize=13801768 CPUtime=1.32 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10301/stat : 10301 (java) R 10283 10283 15196 0 -1 4202560 5638 0 0 0 131 1 0 0 20 0 28 0 4671075 14133010432 105888 33554432000 4194304 4196468 140735821134224 139980183253000 139980977207336 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10302] ppid=10283 vsize=13801768 CPUtime=0.74 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10302/stat : 10302 (java) R 10283 10283 15196 0 -1 4202560 3303 0 0 0 73 1 0 0 20 0 28 0 4671075 14133010432 105888 33554432000 4194304 4196468 140735821134224 139980182212408 139980988758395 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10303] ppid=10283 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10303/stat : 10303 (java) S 10283 10283 15196 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4671076 14133010432 105888 33554432000 4194304 4196468 140735821134224 139980181162592 139980995671765 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
[pid=10284/tid=10304] ppid=10283 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/10284/task/10304/stat : 10304 (java) S 10283 10283 15196 0 -1 1077944384 38 0 0 0 0 0 0 0 20 0 28 0 4671076 14133010432 105888 33554432000 4194304 4196468 140735821134224 139980180109872 139980995672706 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 38805504 140735821137084 140735821137260 140735821137260 140735821139919 0
Current children cumulated CPU time (s) 17.44
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 8.89765
CPU time (s): 18.092
CPU user time (s): 17.0027
CPU system time (s): 1.0893
CPU usage (%): 203.335
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.0027
system time used= 1.0893
maximum resident set size= 431352
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31900
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3770
involuntary context switches= 1445
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.06224 second user time and 0.09183 second system time
The end