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-4245385-1500685947/watcher-4245385-1500685947 -o /tmp/evaluation-result-4245385-1500685947/solver-4245385-1500685947 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node143-1500683785-15436 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 1200728153 HOME/instance-4245385-1500685947.xml
pid=28175
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: 15.74 15.87 14.45 10/273 28178
/proc/meminfo: memFree=31555552/32770624 swapFree=5804/223256
[pid=28178] ppid=28175 vsize=23104 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28178/stat : 28178 (runsolver) D 28175 28178 14782 0 -1 4202560 117 0 0 0 0 0 0 0 20 0 1 0 3861016 23658496 101 33554432000 4194304 4338465 140732994779648 140732994777288 140361970348759 0 0 4096 24578 18446744071580418449 0 0 17 13 0 0 0 0 0 6438912 6441760 23629824 140732994782028 140732994782527 140732994782527 140732994785226 0
/proc/28178/statm: 5776 101 53 36 0 2156 0
[startup+0.100084 s]
/proc/loadavg: 15.74 15.87 14.45 10/273 28178
/proc/meminfo: memFree=31555552/32770624 swapFree=5804/223256
[pid=28178] ppid=28175 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28178/stat : 28178 (xcsp3-exec) S 28175 28178 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3861016 9740288 346 33554432000 4194304 5098028 140737209091440 140737209089544 140148640711292 0 65536 4100 65538 18446744071579417331 0 0 17 15 0 0 3 0 0 7196144 7232144 28573696 140737209099406 140737209099616 140737209099616 140737209102315 0
/proc/28178/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200275 s]
/proc/loadavg: 15.74 15.87 14.45 10/273 28178
/proc/meminfo: memFree=31555552/32770624 swapFree=5804/223256
[pid=28178] ppid=28175 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28178/stat : 28178 (xcsp3-exec) S 28175 28178 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3861016 9740288 346 33554432000 4194304 5098028 140737209091440 140737209089544 140148640711292 0 65536 4100 65538 18446744071579417331 0 0 17 15 0 0 3 0 0 7196144 7232144 28573696 140737209099406 140737209099616 140737209099616 140737209102315 0
/proc/28178/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300285 s]
/proc/loadavg: 15.74 15.87 14.45 10/273 28178
/proc/meminfo: memFree=31555552/32770624 swapFree=5804/223256
[pid=28178] ppid=28175 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28178/stat : 28178 (xcsp3-exec) S 28175 28178 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3861016 9740288 346 33554432000 4194304 5098028 140737209091440 140737209089544 140148640711292 0 65536 4100 65538 18446744071579417331 0 0 17 15 0 0 3 0 0 7196144 7232144 28573696 140737209099406 140737209099616 140737209099616 140737209102315 0
/proc/28178/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.706099 s]
/proc/loadavg: 15.74 15.87 14.45 10/273 28178
/proc/meminfo: memFree=31555552/32770624 swapFree=5804/223256
[pid=28178] ppid=28175 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28178/stat : 28178 (xcsp3-exec) S 28175 28178 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3861016 9740288 346 33554432000 4194304 5098028 140737209091440 140737209089544 140148640711292 0 65536 4100 65538 18446744071579417331 0 0 17 15 0 0 3 0 0 7196144 7232144 28573696 140737209099406 140737209099616 140737209099616 140737209102315 0
/proc/28178/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50088 s]
/proc/loadavg: 15.74 15.87 14.45 11/294 28199
/proc/meminfo: memFree=31357196/32770624 swapFree=5804/223124
[pid=28178] ppid=28175 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28178/stat : 28178 (xcsp3-exec) S 28175 28178 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3861016 9740288 346 33554432000 4194304 5098028 140737209091440 140737209089544 140148640711292 0 65536 4100 65538 18446744071579417331 0 0 17 15 0 0 3 0 0 7196144 7232144 28573696 140737209099406 140737209099616 140737209099616 140737209102315 0
/proc/28178/statm: 2378 346 289 221 0 87 0
[pid=28180] ppid=28178 vsize=13269256 CPUtime=3.37 cores=1,3,5,7,9,11,13,15
/proc/28180/stat : 28180 (java) S 28178 28178 14782 0 -1 1077944320 13337 0 0 0 300 37 0 0 20 0 20 0 3861020 13587718144 89376 33554432000 4194304 4196468 140726523415920 140726523398464 140366745571063 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
/proc/28180/statm: 3317314 89376 3220 1 0 3304547 0
[pid=28180/tid=28181] ppid=28178 vsize=13269256 CPUtime=1.36 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28181/stat : 28181 (java) R 28178 28178 14782 0 -1 4202560 6370 0 0 0 130 6 0 0 20 0 20 0 3861020 13587718144 89376 33554432000 4194304 4196468 140726523415920 140366749808360 140366385204774 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28182] ppid=28178 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28182/stat : 28182 (java) S 28178 28178 14782 0 -1 1077944384 36 0 0 0 2 3 0 0 20 0 20 0 3861021 13587718144 89376 33554432000 4194304 4196468 140726523415920 140366713129616 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28183] ppid=28178 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28183/stat : 28183 (java) S 28178 28178 14782 0 -1 1077944384 31 0 0 0 3 3 0 0 20 0 20 0 3861021 13587718144 89376 33554432000 4194304 4196468 140726523415920 140366344030736 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28184] ppid=28178 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28184/stat : 28184 (java) S 28178 28178 14782 0 -1 1077944384 27 0 0 0 3 3 0 0 20 0 20 0 3861021 13587718144 89376 33554432000 4194304 4196468 140726523415920 140366342977936 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28185] ppid=28178 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28185/stat : 28185 (java) S 28178 28178 14782 0 -1 1077944384 36 0 0 0 3 3 0 0 20 0 20 0 3861021 13587718144 89376 33554432000 4194304 4196468 140726523415920 140366341925136 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28186] ppid=28178 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28186/stat : 28186 (java) S 28178 28178 14782 0 -1 1077944384 30 0 0 0 2 3 0 0 20 0 20 0 3861021 13587718144 89376 33554432000 4194304 4196468 140726523415920 140366340873360 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28187] ppid=28178 vsize=13269256 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28187/stat : 28187 (java) S 28178 28178 14782 0 -1 1077944384 35 0 0 0 3 3 0 0 20 0 20 0 3861021 13587718144 89376 33554432000 4194304 4196468 140726523415920 140366339820560 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28188] ppid=28178 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28188/stat : 28188 (java) S 28178 28178 14782 0 -1 1077944384 32 0 0 0 2 3 0 0 20 0 20 0 3861021 13587718144 89376 33554432000 4194304 4196468 140726523415920 140366338767760 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28189] ppid=28178 vsize=13269256 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28189/stat : 28189 (java) S 28178 28178 14782 0 -1 1077944384 30 0 0 0 3 2 0 0 20 0 20 0 3861021 13587718144 89376 33554432000 4194304 4196468 140726523415920 140366337714960 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28190] ppid=28178 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28190/stat : 28190 (java) S 28178 28178 14782 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 20 0 3861024 13587718144 89376 33554432000 4194304 4196468 140726523415920 140366207920496 140366745582210 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28191] ppid=28178 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28191/stat : 28191 (java) S 28178 28178 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3861024 13587718144 89376 33554432000 4194304 4196468 140726523415920 140366206866528 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28192] ppid=28178 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28192/stat : 28192 (java) S 28178 28178 14782 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3861025 13587718144 89376 33554432000 4194304 4196468 140726523415920 140366205813632 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28193] ppid=28178 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28193/stat : 28193 (java) S 28178 28178 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3861028 13587718144 89376 33554432000 4194304 4196468 140726523415920 140366204761936 140366745589659 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28194] ppid=28178 vsize=13269256 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28194/stat : 28194 (java) S 28178 28178 14782 0 -1 1077944384 1282 0 0 0 32 0 0 0 20 0 20 0 3861028 13587718144 89376 33554432000 4194304 4196468 140726523415920 140366203710320 140366745582210 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28195] ppid=28178 vsize=13269256 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28195/stat : 28195 (java) S 28178 28178 14782 0 -1 1077944384 1185 0 0 0 34 0 0 0 20 0 20 0 3861028 13587718144 89376 33554432000 4194304 4196468 140726523415920 140366202657520 140366745582210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28196] ppid=28178 vsize=13269256 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28196/stat : 28196 (java) S 28178 28178 14782 0 -1 1077944384 1142 0 0 0 38 0 0 0 20 0 20 0 3861028 13587718144 89376 33554432000 4194304 4196468 140726523415920 140366201604720 140366745582210 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28197] ppid=28178 vsize=13269256 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28197/stat : 28197 (java) S 28178 28178 14782 0 -1 1077944384 1595 0 0 0 40 1 0 0 20 0 20 0 3861028 13587718144 89376 33554432000 4194304 4196468 140726523415920 140366200551920 140366745582210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28198] ppid=28178 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28198/stat : 28198 (java) S 28178 28178 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3861029 13587718144 89376 33554432000 4194304 4196468 140726523415920 140366199499360 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28199] ppid=28178 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28199/stat : 28199 (java) S 28178 28178 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3861029 13587718144 89376 33554432000 4194304 4196468 140726523415920 140366198446640 140366745582210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
Current children cumulated CPU time (s) 3.37
Current children cumulated vsize (KiB) 13278768
[startup+3.10087 s]
/proc/loadavg: 15.74 15.87 14.45 17/294 28199
/proc/meminfo: memFree=30919464/32770624 swapFree=5804/223124
[pid=28178] ppid=28175 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28178/stat : 28178 (xcsp3-exec) S 28175 28178 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3861016 9740288 346 33554432000 4194304 5098028 140737209091440 140737209089544 140148640711292 0 65536 4100 65538 18446744071579417331 0 0 17 15 0 0 3 0 0 7196144 7232144 28573696 140737209099406 140737209099616 140737209099616 140737209102315 0
/proc/28178/statm: 2378 346 289 221 0 87 0
[pid=28180] ppid=28178 vsize=13269256 CPUtime=6.44 cores=1,3,5,7,9,11,13,15
/proc/28180/stat : 28180 (java) S 28178 28178 14782 0 -1 1077944320 16367 0 0 0 533 111 0 0 20 0 20 0 3861020 13587718144 180073 33554432000 4194304 4196468 140726523415920 140726523398464 140366745571063 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
/proc/28180/statm: 3317314 180073 3232 1 0 3304547 0
[pid=28180/tid=28181] ppid=28178 vsize=13269256 CPUtime=2.78 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28181/stat : 28181 (java) R 28178 28178 14782 0 -1 4202560 6618 0 0 0 268 10 0 0 20 0 20 0 3861020 13587718144 180073 33554432000 4194304 4196468 140726523415920 140366749807736 140366385718912 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28182] ppid=28178 vsize=13269256 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28182/stat : 28182 (java) S 28178 28178 14782 0 -1 1077944384 98 0 0 0 12 10 0 0 20 0 20 0 3861021 13587718144 180073 33554432000 4194304 4196468 140726523415920 140366713129616 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28183] ppid=28178 vsize=13269256 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28183/stat : 28183 (java) S 28178 28178 14782 0 -1 1077944384 103 0 0 0 11 12 0 0 20 0 20 0 3861021 13587718144 180073 33554432000 4194304 4196468 140726523415920 140366344030736 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28184] ppid=28178 vsize=13269256 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28184/stat : 28184 (java) S 28178 28178 14782 0 -1 1077944384 95 0 0 0 11 11 0 0 20 0 20 0 3861021 13587718144 180073 33554432000 4194304 4196468 140726523415920 140366342977936 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28185] ppid=28178 vsize=13269256 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28185/stat : 28185 (java) S 28178 28178 14782 0 -1 1077944384 335 0 0 0 11 11 0 0 20 0 20 0 3861021 13587718144 180073 33554432000 4194304 4196468 140726523415920 140366341925136 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28186] ppid=28178 vsize=13269256 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28186/stat : 28186 (java) S 28178 28178 14782 0 -1 1077944384 101 0 0 0 10 13 0 0 20 0 20 0 3861021 13587718144 180073 33554432000 4194304 4196468 140726523415920 140366340873360 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28187] ppid=28178 vsize=13269256 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28187/stat : 28187 (java) S 28178 28178 14782 0 -1 1077944384 101 0 0 0 11 12 0 0 20 0 20 0 3861021 13587718144 180073 33554432000 4194304 4196468 140726523415920 140366339820560 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28188] ppid=28178 vsize=13269256 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28188/stat : 28188 (java) S 28178 28178 14782 0 -1 1077944384 103 0 0 0 11 12 0 0 20 0 20 0 3861021 13587718144 180073 33554432000 4194304 4196468 140726523415920 140366338767760 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28189] ppid=28178 vsize=13269256 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28189/stat : 28189 (java) S 28178 28178 14782 0 -1 1077944384 93 0 0 0 10 10 0 0 20 0 20 0 3861021 13587718144 180073 33554432000 4194304 4196468 140726523415920 140366337714960 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28190] ppid=28178 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28190/stat : 28190 (java) S 28178 28178 14782 0 -1 1077944384 505 0 0 0 0 0 0 0 20 0 20 0 3861024 13587718144 180073 33554432000 4194304 4196468 140726523415920 140366207920496 140366745582210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28191] ppid=28178 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28191/stat : 28191 (java) S 28178 28178 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 3861024 13587718144 180073 33554432000 4194304 4196468 140726523415920 140366206866528 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28192] ppid=28178 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28192/stat : 28192 (java) S 28178 28178 14782 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 20 0 3861025 13587718144 180073 33554432000 4194304 4196468 140726523415920 140366205813632 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28193] ppid=28178 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28193/stat : 28193 (java) S 28178 28178 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 3861028 13587718144 180073 33554432000 4194304 4196468 140726523415920 140366204761936 140366745589659 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28194] ppid=28178 vsize=13269256 CPUtime=0.34 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28194/stat : 28194 (java) S 28178 28178 14782 0 -1 1077944384 1300 0 0 0 34 0 0 0 20 0 20 0 3861028 13587718144 180073 33554432000 4194304 4196468 140726523415920 140366203710320 140366745582210 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28195] ppid=28178 vsize=13269256 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28195/stat : 28195 (java) S 28178 28178 14782 0 -1 1077944384 1198 0 0 0 36 0 0 0 20 0 20 0 3861028 13587718144 180073 33554432000 4194304 4196468 140726523415920 140366202657520 140366745582210 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28196] ppid=28178 vsize=13269256 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28196/stat : 28196 (java) S 28178 28178 14782 0 -1 1077944384 2047 0 0 0 54 0 0 0 20 0 20 0 3861028 13587718144 180073 33554432000 4194304 4196468 140726523415920 140366201604720 140366745582210 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28197] ppid=28178 vsize=13269256 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28197/stat : 28197 (java) S 28178 28178 14782 0 -1 1077944384 2371 0 0 0 50 1 0 0 20 0 20 0 3861028 13587718144 180073 33554432000 4194304 4196468 140726523415920 140366200551920 140366745582210 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28198] ppid=28178 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28198/stat : 28198 (java) S 28178 28178 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3861029 13587718144 180073 33554432000 4194304 4196468 140726523415920 140366199499360 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28199] ppid=28178 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28199/stat : 28199 (java) S 28178 28178 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 3861029 13587718144 180073 33554432000 4194304 4196468 140726523415920 140366198446640 140366745582210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
Current children cumulated CPU time (s) 6.44
Current children cumulated vsize (KiB) 13278768
[startup+6.30158 s]
/proc/loadavg: 15.36 15.79 14.43 17/302 28207
/proc/meminfo: memFree=30835800/32770624 swapFree=5804/223136
[pid=28178] ppid=28175 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28178/stat : 28178 (xcsp3-exec) S 28175 28178 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3861016 9740288 346 33554432000 4194304 5098028 140737209091440 140737209089544 140148640711292 0 65536 4100 65538 18446744071579417331 0 0 17 15 0 0 3 0 0 7196144 7232144 28573696 140737209099406 140737209099616 140737209099616 140737209102315 0
/proc/28178/statm: 2378 346 289 221 0 87 0
[pid=28180] ppid=28178 vsize=13801768 CPUtime=31.64 cores=1,3,5,7,9,11,13,15
/proc/28180/stat : 28180 (java) S 28178 28178 14782 0 -1 1077944320 26251 0 0 0 3050 114 0 0 20 0 28 0 3861020 14133010432 184107 33554432000 4194304 4196468 140726523415920 140726523398464 140366745571063 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
/proc/28180/statm: 3450442 184107 3257 1 0 3437675 0
[pid=28180/tid=28181] ppid=28178 vsize=13801768 CPUtime=2.8 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28181/stat : 28181 (java) S 28178 28178 14782 0 -1 1077944384 6679 0 0 0 270 10 0 0 20 0 28 0 3861020 14133010432 184107 33554432000 4194304 4196468 140726523415920 140366749811840 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28182] ppid=28178 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28182/stat : 28182 (java) S 28178 28178 14782 0 -1 1077944384 98 0 0 0 12 10 0 0 20 0 28 0 3861021 14133010432 184107 33554432000 4194304 4196468 140726523415920 140366713129616 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28183] ppid=28178 vsize=13801768 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28183/stat : 28183 (java) S 28178 28178 14782 0 -1 1077944384 103 0 0 0 11 12 0 0 20 0 28 0 3861021 14133010432 184107 33554432000 4194304 4196468 140726523415920 140366344030736 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28184] ppid=28178 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28184/stat : 28184 (java) S 28178 28178 14782 0 -1 1077944384 95 0 0 0 11 11 0 0 20 0 28 0 3861021 14133010432 184107 33554432000 4194304 4196468 140726523415920 140366342977936 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28185] ppid=28178 vsize=13801768 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28185/stat : 28185 (java) S 28178 28178 14782 0 -1 1077944384 335 0 0 0 11 11 0 0 20 0 28 0 3861021 14133010432 184107 33554432000 4194304 4196468 140726523415920 140366341925136 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28186] ppid=28178 vsize=13801768 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28186/stat : 28186 (java) S 28178 28178 14782 0 -1 1077944384 101 0 0 0 10 13 0 0 20 0 28 0 3861021 14133010432 184107 33554432000 4194304 4196468 140726523415920 140366340873360 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28187] ppid=28178 vsize=13801768 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28187/stat : 28187 (java) S 28178 28178 14782 0 -1 1077944384 101 0 0 0 11 12 0 0 20 0 28 0 3861021 14133010432 184107 33554432000 4194304 4196468 140726523415920 140366339820560 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28188] ppid=28178 vsize=13801768 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28188/stat : 28188 (java) S 28178 28178 14782 0 -1 1077944384 103 0 0 0 11 12 0 0 20 0 28 0 3861021 14133010432 184107 33554432000 4194304 4196468 140726523415920 140366338767760 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28189] ppid=28178 vsize=13801768 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28189/stat : 28189 (java) S 28178 28178 14782 0 -1 1077944384 93 0 0 0 10 10 0 0 20 0 28 0 3861021 14133010432 184107 33554432000 4194304 4196468 140726523415920 140366337714960 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28190] ppid=28178 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28190/stat : 28190 (java) S 28178 28178 14782 0 -1 1077944384 561 0 0 0 1 1 0 0 20 0 28 0 3861024 14133010432 184107 33554432000 4194304 4196468 140726523415920 140366207920496 140366745582210 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28191] ppid=28178 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28191/stat : 28191 (java) S 28178 28178 14782 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 3861024 14133010432 184107 33554432000 4194304 4196468 140726523415920 140366206866528 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28192] ppid=28178 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28192/stat : 28192 (java) S 28178 28178 14782 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 28 0 3861025 14133010432 184107 33554432000 4194304 4196468 140726523415920 140366205813632 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28193] ppid=28178 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28193/stat : 28193 (java) S 28178 28178 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3861028 14133010432 184107 33554432000 4194304 4196468 140726523415920 140366204761936 140366745589659 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
################
# More data... #
################
/proc/28180/task/28191/stat : 28191 (java) S 28178 28178 14782 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 3861024 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366206866528 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28192] ppid=28178 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28192/stat : 28192 (java) S 28178 28178 14782 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3861025 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366205813632 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28193] ppid=28178 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28193/stat : 28193 (java) S 28178 28178 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3861028 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366204761936 140366745589659 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28194] ppid=28178 vsize=13801768 CPUtime=1.61 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28194/stat : 28194 (java) S 28178 28178 14782 0 -1 1077944384 5176 0 0 0 161 0 0 0 20 0 28 0 3861028 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366203710320 140366745582210 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28195] ppid=28178 vsize=13801768 CPUtime=1.59 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28195/stat : 28195 (java) S 28178 28178 14782 0 -1 1077944384 6814 0 0 0 159 0 0 0 20 0 28 0 3861028 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366202657520 140366745582210 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28196] ppid=28178 vsize=13801768 CPUtime=1.8 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28196/stat : 28196 (java) S 28178 28178 14782 0 -1 1077944384 4108 0 0 0 179 1 0 0 20 0 28 0 3861028 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366201604720 140366745582210 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28197] ppid=28178 vsize=13801768 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28197/stat : 28197 (java) S 28178 28178 14782 0 -1 1077944384 5474 0 0 0 81 2 0 0 20 0 28 0 3861028 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366200551920 140366745582210 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28198] ppid=28178 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28198/stat : 28198 (java) S 28178 28178 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3861029 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366199499360 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28199] ppid=28178 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28199/stat : 28199 (java) S 28178 28178 14782 0 -1 1077944384 758 0 0 0 1 1 0 0 20 0 28 0 3861029 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366198446640 140366745582210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28200] ppid=28178 vsize=13801768 CPUtime=53.49 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28200/stat : 28200 (java) R 28178 28178 14782 0 -1 4202560 1174 0 0 0 5348 1 0 0 20 0 28 0 3861328 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366190433728 140366387999332 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28201] ppid=28178 vsize=13801768 CPUtime=53.28 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28201/stat : 28201 (java) R 28178 28178 14782 0 -1 4202560 775 0 0 0 5328 0 0 0 20 0 28 0 3861329 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366189378928 140366388002576 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28202] ppid=28178 vsize=13801768 CPUtime=51.88 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28202/stat : 28202 (java) R 28178 28178 14782 0 -1 4202560 1786 0 0 0 5184 4 0 0 20 0 28 0 3861329 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366188327400 140366388000787 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28203] ppid=28178 vsize=13801768 CPUtime=53.51 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28203/stat : 28203 (java) R 28178 28178 14782 0 -1 4202560 1364 0 0 0 5349 2 0 0 20 0 28 0 3861329 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366187274600 140366388001101 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28204] ppid=28178 vsize=13801768 CPUtime=53.1 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28204/stat : 28204 (java) R 28178 28178 14782 0 -1 4202560 812 0 0 0 5309 1 0 0 20 0 28 0 3861329 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366186222008 140366388001191 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28205] ppid=28178 vsize=13801768 CPUtime=53.58 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28205/stat : 28205 (java) R 28178 28178 14782 0 -1 4202560 476 0 0 0 5358 0 0 0 20 0 28 0 3861329 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366185169224 140366388082882 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28206] ppid=28178 vsize=13801768 CPUtime=53.1 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28206/stat : 28206 (java) R 28178 28178 14782 0 -1 4202560 649 0 0 0 5310 0 0 0 20 0 28 0 3861329 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366184116616 140366389405283 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28207] ppid=28178 vsize=13801768 CPUtime=53.02 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28207/stat : 28207 (java) R 28178 28178 14782 0 -1 4202560 779 0 0 0 5301 1 0 0 20 0 28 0 3861329 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366183063512 140366387999515 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
Current children cumulated CPU time (s) 436.95
Current children cumulated vsize (KiB) 13811280
[startup+57.6017 s]
/proc/loadavg: 15.55 15.75 14.49 17/302 28606
/proc/meminfo: memFree=30205728/32770624 swapFree=5804/223520
[pid=28178] ppid=28175 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28178/stat : 28178 (xcsp3-exec) S 28175 28178 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3861016 9740288 346 33554432000 4194304 5098028 140737209091440 140737209089544 140148640711292 0 65536 4100 65538 18446744071579417331 0 0 17 15 0 0 3 0 0 7196144 7232144 28573696 140737209099406 140737209099616 140737209099616 140737209102315 0
/proc/28178/statm: 2378 346 289 221 0 87 0
[pid=28180] ppid=28178 vsize=13801768 CPUtime=440.02 cores=1,3,5,7,9,11,13,15
/proc/28180/stat : 28180 (java) S 28178 28178 14782 0 -1 1077944320 43652 0 0 0 43806 196 0 0 20 0 28 0 3861020 14133010432 334193 33554432000 4194304 4196468 140726523415920 140726523398464 140366745571063 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
/proc/28180/statm: 3450442 334193 3258 1 0 3437675 0
[pid=28180/tid=28181] ppid=28178 vsize=13801768 CPUtime=2.8 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28181/stat : 28181 (java) S 28178 28178 14782 0 -1 1077944384 6679 0 0 0 270 10 0 0 20 0 28 0 3861020 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366749811840 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28182] ppid=28178 vsize=13801768 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28182/stat : 28182 (java) S 28178 28178 14782 0 -1 1077944384 986 0 0 0 19 19 0 0 20 0 28 0 3861021 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366713129616 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28183] ppid=28178 vsize=13801768 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28183/stat : 28183 (java) S 28178 28178 14782 0 -1 1077944384 227 0 0 0 19 21 0 0 20 0 28 0 3861021 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366344030736 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28184] ppid=28178 vsize=13801768 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28184/stat : 28184 (java) S 28178 28178 14782 0 -1 1077944384 486 0 0 0 19 20 0 0 20 0 28 0 3861021 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366342977936 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28185] ppid=28178 vsize=13801768 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28185/stat : 28185 (java) S 28178 28178 14782 0 -1 1077944384 813 0 0 0 18 20 0 0 20 0 28 0 3861021 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366341925136 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28186] ppid=28178 vsize=13801768 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28186/stat : 28186 (java) S 28178 28178 14782 0 -1 1077944384 240 0 0 0 17 22 0 0 20 0 28 0 3861021 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366340873360 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28187] ppid=28178 vsize=13801768 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28187/stat : 28187 (java) S 28178 28178 14782 0 -1 1077944384 274 0 0 0 19 21 0 0 20 0 28 0 3861021 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366339820560 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28188] ppid=28178 vsize=13801768 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28188/stat : 28188 (java) S 28178 28178 14782 0 -1 1077944384 343 0 0 0 18 21 0 0 20 0 28 0 3861021 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366338767760 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28189] ppid=28178 vsize=13801768 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28189/stat : 28189 (java) S 28178 28178 14782 0 -1 1077944384 521 0 0 0 18 19 0 0 20 0 28 0 3861021 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366337714960 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28190] ppid=28178 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28190/stat : 28190 (java) S 28178 28178 14782 0 -1 1077944384 1599 0 0 0 1 1 0 0 20 0 28 0 3861024 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366207920496 140366745582210 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28191] ppid=28178 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28191/stat : 28191 (java) S 28178 28178 14782 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 3861024 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366206866528 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28192] ppid=28178 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28192/stat : 28192 (java) S 28178 28178 14782 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3861025 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366205813632 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28193] ppid=28178 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28193/stat : 28193 (java) S 28178 28178 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3861028 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366204761936 140366745589659 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28194] ppid=28178 vsize=13801768 CPUtime=1.61 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28194/stat : 28194 (java) S 28178 28178 14782 0 -1 1077944384 5176 0 0 0 161 0 0 0 20 0 28 0 3861028 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366203710320 140366745582210 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28195] ppid=28178 vsize=13801768 CPUtime=1.59 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28195/stat : 28195 (java) S 28178 28178 14782 0 -1 1077944384 6814 0 0 0 159 0 0 0 20 0 28 0 3861028 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366202657520 140366745582210 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28196] ppid=28178 vsize=13801768 CPUtime=1.8 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28196/stat : 28196 (java) S 28178 28178 14782 0 -1 1077944384 4108 0 0 0 179 1 0 0 20 0 28 0 3861028 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366201604720 140366745582210 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28197] ppid=28178 vsize=13801768 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28197/stat : 28197 (java) S 28178 28178 14782 0 -1 1077944384 5474 0 0 0 81 2 0 0 20 0 28 0 3861028 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366200551920 140366745582210 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28198] ppid=28178 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28198/stat : 28198 (java) S 28178 28178 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3861029 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366199499360 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28199] ppid=28178 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28199/stat : 28199 (java) S 28178 28178 14782 0 -1 1077944384 758 0 0 0 1 1 0 0 20 0 28 0 3861029 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366198446640 140366745582210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28200] ppid=28178 vsize=13801768 CPUtime=53.87 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28200/stat : 28200 (java) R 28178 28178 14782 0 -1 4202560 1175 0 0 0 5386 1 0 0 20 0 28 0 3861328 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366190433728 140366388082099 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28201] ppid=28178 vsize=13801768 CPUtime=53.67 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28201/stat : 28201 (java) R 28178 28178 14782 0 -1 4202560 775 0 0 0 5367 0 0 0 20 0 28 0 3861329 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366189378928 140366388000556 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28202] ppid=28178 vsize=13801768 CPUtime=52.26 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28202/stat : 28202 (java) R 28178 28178 14782 0 -1 4202560 1786 0 0 0 5222 4 0 0 20 0 28 0 3861329 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366188327400 140366388082765 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28203] ppid=28178 vsize=13801768 CPUtime=53.9 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28203/stat : 28203 (java) R 28178 28178 14782 0 -1 4202560 1364 0 0 0 5388 2 0 0 20 0 28 0 3861329 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366187274600 140366388207244 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28204] ppid=28178 vsize=13801768 CPUtime=53.48 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28204/stat : 28204 (java) R 28178 28178 14782 0 -1 4202560 812 0 0 0 5347 1 0 0 20 0 28 0 3861329 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366186222008 140366388082997 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28205] ppid=28178 vsize=13801768 CPUtime=53.96 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28205/stat : 28205 (java) R 28178 28178 14782 0 -1 4202560 476 0 0 0 5396 0 0 0 20 0 28 0 3861329 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366185169224 140366388000764 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28206] ppid=28178 vsize=13801768 CPUtime=53.48 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28206/stat : 28206 (java) R 28178 28178 14782 0 -1 4202560 650 0 0 0 5348 0 0 0 20 0 28 0 3861329 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366184116616 140366388082619 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28207] ppid=28178 vsize=13801768 CPUtime=53.41 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28207/stat : 28207 (java) R 28178 28178 14782 0 -1 4202560 780 0 0 0 5340 1 0 0 20 0 28 0 3861329 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366183063512 140366388082828 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
Current children cumulated CPU time (s) 440.02
Current children cumulated vsize (KiB) 13811280
[startup+57.7016 s]
/proc/loadavg: 15.55 15.75 14.49 17/302 28606
/proc/meminfo: memFree=30205728/32770624 swapFree=5804/223520
[pid=28178] ppid=28175 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28178/stat : 28178 (xcsp3-exec) S 28175 28178 14782 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 3861016 9740288 346 33554432000 4194304 5098028 140737209091440 140737209089544 140148640711292 0 65536 4100 65538 18446744071579417331 0 0 17 15 0 0 3 0 0 7196144 7232144 28573696 140737209099406 140737209099616 140737209099616 140737209102315 0
/proc/28178/statm: 2378 346 289 221 0 87 0
[pid=28180] ppid=28178 vsize=13801768 CPUtime=440.82 cores=1,3,5,7,9,11,13,15
/proc/28180/stat : 28180 (java) S 28178 28178 14782 0 -1 1077944320 43655 0 0 0 43886 196 0 0 20 0 28 0 3861020 14133010432 334193 33554432000 4194304 4196468 140726523415920 140726523398464 140366745571063 0 0 0 16800975 18446744073709551615 0 0 17 11 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
/proc/28180/statm: 3450442 334193 3258 1 0 3437675 0
[pid=28180/tid=28181] ppid=28178 vsize=13801768 CPUtime=2.8 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28181/stat : 28181 (java) S 28178 28178 14782 0 -1 1077944384 6679 0 0 0 270 10 0 0 20 0 28 0 3861020 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366749811840 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28182] ppid=28178 vsize=13801768 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28182/stat : 28182 (java) S 28178 28178 14782 0 -1 1077944384 986 0 0 0 19 19 0 0 20 0 28 0 3861021 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366713129616 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28183] ppid=28178 vsize=13801768 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28183/stat : 28183 (java) S 28178 28178 14782 0 -1 1077944384 227 0 0 0 19 21 0 0 20 0 28 0 3861021 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366344030736 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28184] ppid=28178 vsize=13801768 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28184/stat : 28184 (java) S 28178 28178 14782 0 -1 1077944384 486 0 0 0 19 20 0 0 20 0 28 0 3861021 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366342977936 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28185] ppid=28178 vsize=13801768 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28185/stat : 28185 (java) S 28178 28178 14782 0 -1 1077944384 813 0 0 0 18 20 0 0 20 0 28 0 3861021 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366341925136 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28186] ppid=28178 vsize=13801768 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28186/stat : 28186 (java) S 28178 28178 14782 0 -1 1077944384 240 0 0 0 17 22 0 0 20 0 28 0 3861021 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366340873360 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28187] ppid=28178 vsize=13801768 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28187/stat : 28187 (java) S 28178 28178 14782 0 -1 1077944384 274 0 0 0 19 21 0 0 20 0 28 0 3861021 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366339820560 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28188] ppid=28178 vsize=13801768 CPUtime=0.39 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28188/stat : 28188 (java) S 28178 28178 14782 0 -1 1077944384 343 0 0 0 18 21 0 0 20 0 28 0 3861021 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366338767760 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28189] ppid=28178 vsize=13801768 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28189/stat : 28189 (java) S 28178 28178 14782 0 -1 1077944384 521 0 0 0 18 19 0 0 20 0 28 0 3861021 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366337714960 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28190] ppid=28178 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28190/stat : 28190 (java) S 28178 28178 14782 0 -1 1077944384 1599 0 0 0 1 1 0 0 20 0 28 0 3861024 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366207920496 140366745582210 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28191] ppid=28178 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28191/stat : 28191 (java) S 28178 28178 14782 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 28 0 3861024 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366206866528 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28192] ppid=28178 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28192/stat : 28192 (java) S 28178 28178 14782 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 28 0 3861025 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366205813632 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28193] ppid=28178 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28193/stat : 28193 (java) S 28178 28178 14782 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 3861028 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366204761936 140366745589659 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28194] ppid=28178 vsize=13801768 CPUtime=1.61 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28194/stat : 28194 (java) S 28178 28178 14782 0 -1 1077944384 5176 0 0 0 161 0 0 0 20 0 28 0 3861028 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366203710320 140366745582210 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28195] ppid=28178 vsize=13801768 CPUtime=1.59 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28195/stat : 28195 (java) S 28178 28178 14782 0 -1 1077944384 6814 0 0 0 159 0 0 0 20 0 28 0 3861028 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366202657520 140366745582210 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28196] ppid=28178 vsize=13801768 CPUtime=1.8 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28196/stat : 28196 (java) S 28178 28178 14782 0 -1 1077944384 4108 0 0 0 179 1 0 0 20 0 28 0 3861028 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366201604720 140366745582210 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28197] ppid=28178 vsize=13801768 CPUtime=0.83 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28197/stat : 28197 (java) S 28178 28178 14782 0 -1 1077944384 5474 0 0 0 81 2 0 0 20 0 28 0 3861028 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366200551920 140366745582210 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28198] ppid=28178 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28198/stat : 28198 (java) S 28178 28178 14782 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 3861029 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366199499360 140366745581269 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28199] ppid=28178 vsize=13801768 CPUtime=0.02 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28199/stat : 28199 (java) S 28178 28178 14782 0 -1 1077944384 758 0 0 0 1 1 0 0 20 0 28 0 3861029 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366198446640 140366745582210 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28200] ppid=28178 vsize=13801768 CPUtime=53.97 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28200/stat : 28200 (java) R 28178 28178 14782 0 -1 4202560 1175 0 0 0 5396 1 0 0 20 0 28 0 3861328 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366190433728 140366388001334 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28201] ppid=28178 vsize=13801768 CPUtime=53.77 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28201/stat : 28201 (java) R 28178 28178 14782 0 -1 4202560 775 0 0 0 5377 0 0 0 20 0 28 0 3861329 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366189378928 140366388001191 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28202] ppid=28178 vsize=13801768 CPUtime=52.36 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28202/stat : 28202 (java) R 28178 28178 14782 0 -1 4202560 1786 0 0 0 5232 4 0 0 20 0 28 0 3861329 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366188327400 140366388001115 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28203] ppid=28178 vsize=13801768 CPUtime=54 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28203/stat : 28203 (java) R 28178 28178 14782 0 -1 4202560 1367 0 0 0 5398 2 0 0 20 0 28 0 3861329 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366187274600 140366388001191 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28204] ppid=28178 vsize=13801768 CPUtime=53.58 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28204/stat : 28204 (java) R 28178 28178 14782 0 -1 4202560 812 0 0 0 5357 1 0 0 20 0 28 0 3861329 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366186222008 140366388082997 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28205] ppid=28178 vsize=13801768 CPUtime=54.06 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28205/stat : 28205 (java) R 28178 28178 14782 0 -1 4202560 476 0 0 0 5406 0 0 0 20 0 28 0 3861329 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366185169224 140366387999164 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28206] ppid=28178 vsize=13801768 CPUtime=53.58 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28206/stat : 28206 (java) R 28178 28178 14782 0 -1 4202560 650 0 0 0 5358 0 0 0 20 0 28 0 3861329 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366184116616 140366388001410 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
[pid=28180/tid=28207] ppid=28178 vsize=13801768 CPUtime=53.51 cores=1,3,5,7,9,11,13,15
/proc/28180/task/28207/stat : 28207 (java) R 28178 28178 14782 0 -1 4202560 780 0 0 0 5350 1 0 0 20 0 28 0 3861329 14133010432 334193 33554432000 4194304 4196468 140726523415920 140366183063512 140366388001138 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 23252992 140726523417788 140726523417964 140726523417964 140726523420623 0
Current children cumulated CPU time (s) 440.82
Current children cumulated vsize (KiB) 13811280
Child status: 0
Real time (s): 57.7844
CPU time (s): 441.41
CPU user time (s): 439.43
CPU system time (s): 1.97974
CPU usage (%): 763.891
Max. virtual memory (cumulated for all children) (KiB): 13811280
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 439.43
system time used= 1.97974
maximum resident set size= 1336940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 45126
page faults= 0
swaps= 0
block input operations= 0
block output operations= 152
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5795
involuntary context switches= 35309
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.729718 second user time and 0.948174 second system time
The end