2018 XCSP3 competition: parallel solvers tracks competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
OscaR - Parallel with EPS 2018-08-14	SAT	7.39114	3.53241
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (13430 MiB free)
  memory of node 1: 16384 MiB (10544 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309182-1534369466/watcher-4309182-1534369466 -o /tmp/evaluation-result-4309182-1534369466/solver-4309182-1534369466 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1534361781-454 --watchdog 2580 java -Xmx22000m -jar oscarCPXcsp3-parallel.jar --randomseed 1853623256 --timelimit 20160 --memlimit 22000 --nbcore 8 HOME/instance-4309182-1534369466.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=1184, runsolver pid=1181

[startup+0.100173 s]*
/proc/loadavg: 8.81 8.71 8.24 3/199 1205
/proc/meminfo: memFree=24533592/32770624 swapFree=67108172/67108860
[pid=1184] ppid=1181 vsize=26103420 memory=30124 CPUtime=0.11 cores=0-7
/proc/1184/stat : 1184 (java) S 1181 1184 424 0 -1 1077944320 7024 0 0 0 9 2 0 0 20 0 20 0 254509751 26729902080 7531 33554432000 4194304 4196468 140734074668480 140734074651024 140255346372343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
/proc/1184/statm: 6525855 7531 3140 1 0 6487932 0
[pid=1184/tid=1187] ppid=1181 vsize=26103420 memory=8318255677412212789 CPUtime=0.08 cores=0-7
/proc/1184/task/1187/stat : 1187 (java) R 1181 1184 424 0 -1 4202560 5149 0 0 0 7 1 0 0 20 0 20 0 254509752 26729902080 7597 33554432000 4194304 4196468 140734074668480 140255350598032 140255326648171 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1188] ppid=1181 vsize=26103420 memory=330 CPUtime=0 cores=0-7
/proc/1184/task/1188/stat : 1188 (java) S 1181 1184 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254509753 26729902080 7663 33554432000 4194304 4196468 140734074668480 140254904634512 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1189] ppid=1181 vsize=26103420 memory=288370934509819520 CPUtime=0 cores=0-7
/proc/1184/task/1189/stat : 1189 (java) S 1181 1184 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254509753 26729902080 7663 33554432000 4194304 4196468 140734074668480 140254903581712 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1190] ppid=1181 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1190/stat : 1190 (java) S 1181 1184 424 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254509753 26729902080 7663 33554432000 4194304 4196468 140734074668480 140254902528912 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1191] ppid=1181 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/1184/task/1191/stat : 1191 (java) S 1181 1184 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254509753 26729902080 7663 33554432000 4194304 4196468 140734074668480 140254901476112 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1192] ppid=1181 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1192/stat : 1192 (java) S 1181 1184 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254509753 26729902080 7663 33554432000 4194304 4196468 140734074668480 140254900423312 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1193] ppid=1181 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/1184/task/1193/stat : 1193 (java) S 1181 1184 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254509753 26729902080 7663 33554432000 4194304 4196468 140734074668480 140254899370512 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1194] ppid=1181 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1194/stat : 1194 (java) S 1181 1184 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254509753 26729902080 7663 33554432000 4194304 4196468 140734074668480 140254898317712 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1195] ppid=1181 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1195/stat : 1195 (java) S 1181 1184 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254509753 26729902080 7663 33554432000 4194304 4196468 140734074668480 140254897264912 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1196] ppid=1181 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1196/stat : 1196 (java) S 1181 1184 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254509754 26729902080 7663 33554432000 4194304 4196468 140734074668480 140253888191344 140255346383490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1197] ppid=1181 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1197/stat : 1197 (java) S 1181 1184 424 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 254509755 26729902080 7663 33554432000 4194304 4196468 140734074668480 140253887137312 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1198] ppid=1181 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1198/stat : 1198 (java) S 1181 1184 424 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 254509755 26729902080 7663 33554432000 4194304 4196468 140734074668480 140253886084464 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1199] ppid=1181 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1199/stat : 1199 (java) S 1181 1184 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254509757 26729902080 7729 33554432000 4194304 4196468 140734074668480 140253885032784 140255346390939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1200] ppid=1181 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1200/stat : 1200 (java) S 1181 1184 424 0 -1 1077944384 316 0 0 0 0 0 0 0 20 0 20 0 254509757 26729902080 7729 33554432000 4194304 4196468 140734074668480 140253883980144 140255346383490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1201] ppid=1181 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1201/stat : 1201 (java) S 1181 1184 424 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 254509757 26729902080 7729 33554432000 4194304 4196468 140734074668480 140253882927344 140255346383490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1202] ppid=1181 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/1184/task/1202/stat : 1202 (java) S 1181 1184 424 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254509757 26729902080 7729 33554432000 4194304 4196468 140734074668480 140253881874544 140255346383490 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1203] ppid=1181 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/1184/task/1203/stat : 1203 (java) S 1181 1184 424 0 -1 1077944384 238 0 0 0 0 0 0 0 20 0 20 0 254509757 26729902080 7729 33554432000 4194304 4196468 140734074668480 140253880821744 140255346383490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1204] ppid=1181 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1204/stat : 1204 (java) S 1181 1184 424 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254509758 26729902080 7729 33554432000 4194304 4196468 140734074668480 140253879770208 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1205] ppid=1181 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/1184/task/1205/stat : 1205 (java) S 1181 1184 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254509758 26729902080 7729 33554432000 4194304 4196468 140734074668480 140253878717488 140255346383490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 30124 KiB

[startup+0.210115 s]*
/proc/loadavg: 8.81 8.71 8.24 3/199 1205
/proc/meminfo: memFree=24520376/32770624 swapFree=67108172/67108860
[pid=1184] ppid=1181 vsize=26103420 memory=43460 CPUtime=0.29 cores=0-7
/proc/1184/stat : 1184 (java) S 1181 1184 424 0 -1 1077944320 10586 0 0 0 26 3 0 0 20 0 20 0 254509751 26729902080 10865 33554432000 4194304 4196468 140734074668480 140734074651024 140255346372343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
/proc/1184/statm: 6525855 10865 3302 1 0 6487932 0
[pid=1184/tid=1187] ppid=1181 vsize=26103420 memory=7882827048052850738 CPUtime=0.19 cores=0-7
/proc/1184/task/1187/stat : 1187 (java) R 1181 1184 424 0 -1 4202560 8373 0 0 0 17 2 0 0 20 0 20 0 254509752 26729902080 10865 33554432000 4194304 4196468 140734074668480 140255350601904 140254983784367 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1188] ppid=1181 vsize=26103420 memory=326 CPUtime=0 cores=0-7
/proc/1184/task/1188/stat : 1188 (java) S 1181 1184 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254509753 26729902080 10865 33554432000 4194304 4196468 140734074668480 140254904634512 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1189] ppid=1181 vsize=26103420 memory=288370934509819520 CPUtime=0 cores=0-7
/proc/1184/task/1189/stat : 1189 (java) S 1181 1184 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254509753 26729902080 10865 33554432000 4194304 4196468 140734074668480 140254903581712 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1190] ppid=1181 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1190/stat : 1190 (java) S 1181 1184 424 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254509753 26729902080 10865 33554432000 4194304 4196468 140734074668480 140254902528912 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1191] ppid=1181 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/1184/task/1191/stat : 1191 (java) S 1181 1184 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254509753 26729902080 10865 33554432000 4194304 4196468 140734074668480 140254901476112 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1192] ppid=1181 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1192/stat : 1192 (java) S 1181 1184 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254509753 26729902080 10865 33554432000 4194304 4196468 140734074668480 140254900423312 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1193] ppid=1181 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/1184/task/1193/stat : 1193 (java) S 1181 1184 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254509753 26729902080 10865 33554432000 4194304 4196468 140734074668480 140254899370512 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1194] ppid=1181 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1194/stat : 1194 (java) S 1181 1184 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254509753 26729902080 10865 33554432000 4194304 4196468 140734074668480 140254898317712 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1195] ppid=1181 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1195/stat : 1195 (java) S 1181 1184 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254509753 26729902080 10865 33554432000 4194304 4196468 140734074668480 140254897264912 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1196] ppid=1181 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1196/stat : 1196 (java) S 1181 1184 424 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 254509754 26729902080 10865 33554432000 4194304 4196468 140734074668480 140253888191344 140255346383490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1197] ppid=1181 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1197/stat : 1197 (java) S 1181 1184 424 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 254509755 26729902080 10865 33554432000 4194304 4196468 140734074668480 140253887137312 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1198] ppid=1181 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1198/stat : 1198 (java) S 1181 1184 424 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 254509755 26729902080 10865 33554432000 4194304 4196468 140734074668480 140253886084464 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1199] ppid=1181 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1199/stat : 1199 (java) S 1181 1184 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254509757 26729902080 10865 33554432000 4194304 4196468 140734074668480 140253885032784 140255346390939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1200] ppid=1181 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1200/stat : 1200 (java) S 1181 1184 424 0 -1 1077944384 321 0 0 0 0 0 0 0 20 0 20 0 254509757 26729902080 10865 33554432000 4194304 4196468 140734074668480 140253883980144 140255346383490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1201] ppid=1181 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1201/stat : 1201 (java) S 1181 1184 424 0 -1 1077944384 53 0 0 0 0 0 0 0 20 0 20 0 254509757 26729902080 10865 33554432000 4194304 4196468 140734074668480 140253882927344 140255346383490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1202] ppid=1181 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/1184/task/1202/stat : 1202 (java) S 1181 1184 424 0 -1 1077944384 178 0 0 0 1 0 0 0 20 0 20 0 254509757 26729902080 10865 33554432000 4194304 4196468 140734074668480 140253881874544 140255346383490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1203] ppid=1181 vsize=26103420 memory=-1 CPUtime=0.06 cores=0-7
/proc/1184/task/1203/stat : 1203 (java) R 1181 1184 424 0 -1 4202560 280 0 0 0 6 0 0 0 20 0 20 0 254509757 26729902080 10865 33554432000 4194304 4196468 140734074668480 140253880817504 140255324994405 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1204] ppid=1181 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1204/stat : 1204 (java) S 1181 1184 424 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254509758 26729902080 10865 33554432000 4194304 4196468 140734074668480 140253879770208 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1205] ppid=1181 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/1184/task/1205/stat : 1205 (java) S 1181 1184 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254509758 26729902080 10865 33554432000 4194304 4196468 140734074668480 140253878717488 140255346383490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
Current children cumulated CPU time: 0.29 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 43460 KiB

[startup+0.309573 s]*
/proc/loadavg: 8.81 8.71 8.24 2/199 1205
/proc/meminfo: memFree=24517480/32770624 swapFree=67108172/67108860
[pid=1184] ppid=1181 vsize=26103420 memory=47280 CPUtime=0.43 cores=0-7
/proc/1184/stat : 1184 (java) S 1181 1184 424 0 -1 1077944320 11019 0 0 0 39 4 0 0 20 0 20 0 254509751 26729902080 11820 33554432000 4194304 4196468 140734074668480 140734074651024 140255346372343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
/proc/1184/statm: 6525855 11820 3348 1 0 6487932 0
[pid=1184/tid=1187] ppid=1181 vsize=26103420 memory=0 CPUtime=0.3 cores=0-7
/proc/1184/task/1187/stat : 1187 (java) R 1181 1184 424 0 -1 4202560 8703 0 0 0 27 3 0 0 20 0 20 0 254509752 26729902080 11820 33554432000 4194304 4196468 140734074668480 140255350593480 140255327935872 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1188] ppid=1181 vsize=26103420 memory=67 CPUtime=0 cores=0-7
/proc/1184/task/1188/stat : 1188 (java) S 1181 1184 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254509753 26729902080 11820 33554432000 4194304 4196468 140734074668480 140254904634512 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1189] ppid=1181 vsize=26103420 memory=140558358107776 CPUtime=0 cores=0-7
/proc/1184/task/1189/stat : 1189 (java) S 1181 1184 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254509753 26729902080 11820 33554432000 4194304 4196468 140734074668480 140254903581712 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1190] ppid=1181 vsize=26103420 memory=281116481358816 CPUtime=0 cores=0-7
/proc/1184/task/1190/stat : 1190 (java) S 1181 1184 424 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254509753 26729902080 11820 33554432000 4194304 4196468 140734074668480 140254902528912 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1191] ppid=1181 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/1184/task/1191/stat : 1191 (java) S 1181 1184 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254509753 26729902080 11820 33554432000 4194304 4196468 140734074668480 140254901476112 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1192] ppid=1181 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1192/stat : 1192 (java) S 1181 1184 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254509753 26729902080 11820 33554432000 4194304 4196468 140734074668480 140254900423312 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1193] ppid=1181 vsize=26103420 memory=330 CPUtime=0 cores=0-7
/proc/1184/task/1193/stat : 1193 (java) S 1181 1184 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254509753 26729902080 11820 33554432000 4194304 4196468 140734074668480 140254899370512 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1194] ppid=1181 vsize=26103420 memory=1322103 CPUtime=0 cores=0-7
/proc/1184/task/1194/stat : 1194 (java) S 1181 1184 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254509753 26729902080 11820 33554432000 4194304 4196468 140734074668480 140254898317712 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1195] ppid=1181 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1195/stat : 1195 (java) S 1181 1184 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254509753 26729902080 11820 33554432000 4194304 4196468 140734074668480 140254897264912 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1196] ppid=1181 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1196/stat : 1196 (java) S 1181 1184 424 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 254509754 26729902080 11820 33554432000 4194304 4196468 140734074668480 140253888191344 140255346383490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1197] ppid=1181 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1197/stat : 1197 (java) S 1181 1184 424 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 254509755 26729902080 11820 33554432000 4194304 4196468 140734074668480 140253887137312 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1198] ppid=1181 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1198/stat : 1198 (java) S 1181 1184 424 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 254509755 26729902080 11820 33554432000 4194304 4196468 140734074668480 140253886084464 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1199] ppid=1181 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1199/stat : 1199 (java) S 1181 1184 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254509757 26729902080 11820 33554432000 4194304 4196468 140734074668480 140253885032784 140255346390939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1200] ppid=1181 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/1184/task/1200/stat : 1200 (java) S 1181 1184 424 0 -1 1077944384 400 0 0 0 1 0 0 0 20 0 20 0 254509757 26729902080 11820 33554432000 4194304 4196468 140734074668480 140253883980144 140255346383490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1201] ppid=1181 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/1184/task/1201/stat : 1201 (java) S 1181 1184 424 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 20 0 254509757 26729902080 11820 33554432000 4194304 4196468 140734074668480 140253882927344 140255346383490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1202] ppid=1181 vsize=26103420 memory=0 CPUtime=0.01 cores=0-7
/proc/1184/task/1202/stat : 1202 (java) S 1181 1184 424 0 -1 1077944384 187 0 0 0 1 0 0 0 20 0 20 0 254509757 26729902080 11820 33554432000 4194304 4196468 140734074668480 140253881874544 140255346383490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1203] ppid=1181 vsize=26103420 memory=0 CPUtime=0.07 cores=0-7
/proc/1184/task/1203/stat : 1203 (java) S 1181 1184 424 0 -1 1077944384 288 0 0 0 7 0 0 0 20 0 20 0 254509757 26729902080 11820 33554432000 4194304 4196468 140734074668480 140253880821744 140255346383490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1204] ppid=1181 vsize=26103420 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1204/stat : 1204 (java) S 1181 1184 424 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254509758 26729902080 11820 33554432000 4194304 4196468 140734074668480 140253879770208 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1205] ppid=1181 vsize=26103420 memory=-1 CPUtime=0 cores=0-7
/proc/1184/task/1205/stat : 1205 (java) S 1181 1184 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254509758 26729902080 11820 33554432000 4194304 4196468 140734074668480 140253878717488 140255346383490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
Current children cumulated CPU time: 0.43 s
Current children cumulated vsize: 26103420 KiB
Current children cumulated memory: 47280 KiB

[startup+0.700861 s]
/proc/loadavg: 8.81 8.71 8.24 3/199 1205
/proc/meminfo: memFree=24493296/32770624 swapFree=67108172/67108860
[pid=1184] ppid=1181 vsize=26105488 memory=89484 CPUtime=0.98 cores=0-7
/proc/1184/stat : 1184 (java) S 1181 1184 424 0 -1 1077944320 17763 0 0 0 92 6 0 0 20 0 20 0 254509751 26732019712 22371 33554432000 4194304 4196468 140734074668480 140734074651024 140255346372343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
/proc/1184/statm: 6526372 22371 3484 1 0 6488444 0
[pid=1184/tid=1187] ppid=1181 vsize=26105488 memory=2148 CPUtime=0.68 cores=0-7
/proc/1184/task/1187/stat : 1187 (java) R 1181 1184 424 0 -1 4202560 15080 0 0 0 63 5 0 0 20 0 20 0 254509752 26732019712 22371 33554432000 4194304 4196468 140734074668480 140255350596512 140255330452830 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1188] ppid=1181 vsize=26105488 memory=1196 CPUtime=0 cores=0-7
/proc/1184/task/1188/stat : 1188 (java) S 1181 1184 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254509753 26732019712 22371 33554432000 4194304 4196468 140734074668480 140254904634512 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1189] ppid=1181 vsize=26105488 memory=140558240586273 CPUtime=0 cores=0-7
/proc/1184/task/1189/stat : 1189 (java) S 1181 1184 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254509753 26732019712 22371 33554432000 4194304 4196468 140734074668480 140254903581712 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1190] ppid=1181 vsize=26105488 memory=5672 CPUtime=0 cores=0-7
/proc/1184/task/1190/stat : 1190 (java) S 1181 1184 424 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 254509753 26732019712 22371 33554432000 4194304 4196468 140734074668480 140254902528912 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1191] ppid=1181 vsize=26105488 memory=756 CPUtime=0 cores=0-7
/proc/1184/task/1191/stat : 1191 (java) S 1181 1184 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254509753 26732019712 22371 33554432000 4194304 4196468 140734074668480 140254901476112 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1192] ppid=1181 vsize=26105488 memory=13940 CPUtime=0 cores=0-7
/proc/1184/task/1192/stat : 1192 (java) S 1181 1184 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254509753 26732019712 22371 33554432000 4194304 4196468 140734074668480 140254900423312 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1193] ppid=1181 vsize=26105488 memory=4108 CPUtime=0 cores=0-7
/proc/1184/task/1193/stat : 1193 (java) S 1181 1184 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 254509753 26732019712 22371 33554432000 4194304 4196468 140734074668480 140254899370512 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1194] ppid=1181 vsize=26105488 memory=12552 CPUtime=0 cores=0-7
/proc/1184/task/1194/stat : 1194 (java) S 1181 1184 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254509753 26732019712 22371 33554432000 4194304 4196468 140734074668480 140254898317712 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1195] ppid=1181 vsize=26105488 memory=38164 CPUtime=0 cores=0-7
/proc/1184/task/1195/stat : 1195 (java) S 1181 1184 424 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 254509753 26732019712 22371 33554432000 4194304 4196468 140734074668480 140254897264912 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1196] ppid=1181 vsize=26105488 memory=912 CPUtime=0 cores=0-7
/proc/1184/task/1196/stat : 1196 (java) S 1181 1184 424 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 254509754 26732019712 22371 33554432000 4194304 4196468 140734074668480 140253888191344 140255346383490 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0

################
# More data... #
################

Current children cumulated CPU time: 5.75 s
Current children cumulated vsize: 26246808 KiB
Current children cumulated memory: 267816 KiB

[startup+3.53236 s]
# the end of solver process 1184 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=7.17867 s, system=0.21247 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20111 s]
/proc/loadavg: 8.51 8.64 8.22 2/200 1206
/proc/meminfo: memFree=24312020/32770624 swapFree=67108172/67108860
[pid=1184] ppid=1181 vsize=26248856 memory=274480 CPUtime=5.95 cores=0-7
/proc/1184/stat : 1184 (java) S 1181 1184 424 0 -1 1077944320 37308 0 0 0 577 18 0 0 20 0 22 0 254509751 26878828544 68620 33554432000 4194304 4196468 140734074668480 140734074651024 140255346372343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
/proc/1184/statm: 6562214 68620 3586 1 0 6524286 0
[pid=1184/tid=1187] ppid=1181 vsize=26248856 memory=6656426216303648864 CPUtime=3.09 cores=0-7
/proc/1184/task/1187/stat : 1187 (java) R 1181 1184 424 0 -1 4202560 22180 0 0 0 301 8 0 0 20 0 22 0 254509752 26878828544 68620 33554432000 4194304 4196468 140734074668480 140255350583888 140255327935847 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1188] ppid=1181 vsize=26248856 memory=6655300316396806240 CPUtime=0.03 cores=0-7
/proc/1184/task/1188/stat : 1188 (java) S 1181 1184 424 0 -1 1077944384 79 0 0 0 3 0 0 0 20 0 22 0 254509753 26878828544 68620 33554432000 4194304 4196468 140734074668480 140254904634512 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1189] ppid=1181 vsize=26248856 memory=8112282956445269571 CPUtime=0.02 cores=0-7
/proc/1184/task/1189/stat : 1189 (java) S 1181 1184 424 0 -1 1077944384 25 0 0 0 2 0 0 0 20 0 22 0 254509753 26878828544 68620 33554432000 4194304 4196468 140734074668480 140254903581712 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1190] ppid=1181 vsize=26248856 memory=0 CPUtime=0.01 cores=0-7
/proc/1184/task/1190/stat : 1190 (java) S 1181 1184 424 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 22 0 254509753 26878828544 68620 33554432000 4194304 4196468 140734074668480 140254902528912 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1191] ppid=1181 vsize=26248856 memory=0 CPUtime=0.02 cores=0-7
/proc/1184/task/1191/stat : 1191 (java) S 1181 1184 424 0 -1 1077944384 157 0 0 0 2 0 0 0 20 0 22 0 254509753 26878828544 68620 33554432000 4194304 4196468 140734074668480 140254901476112 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1192] ppid=1181 vsize=26248856 memory=0 CPUtime=0.02 cores=0-7
/proc/1184/task/1192/stat : 1192 (java) S 1181 1184 424 0 -1 1077944384 565 0 0 0 2 0 0 0 20 0 22 0 254509753 26878828544 68620 33554432000 4194304 4196468 140734074668480 140254900423312 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1193] ppid=1181 vsize=26248856 memory=0 CPUtime=0.02 cores=0-7
/proc/1184/task/1193/stat : 1193 (java) S 1181 1184 424 0 -1 1077944384 35 0 0 0 2 0 0 0 20 0 22 0 254509753 26878828544 68620 33554432000 4194304 4196468 140734074668480 140254899370512 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1194] ppid=1181 vsize=26248856 memory=0 CPUtime=0.02 cores=0-7
/proc/1184/task/1194/stat : 1194 (java) S 1181 1184 424 0 -1 1077944384 147 0 0 0 2 0 0 0 20 0 22 0 254509753 26878828544 68620 33554432000 4194304 4196468 140734074668480 140254898317712 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1195] ppid=1181 vsize=26248856 memory=0 CPUtime=0.02 cores=0-7
/proc/1184/task/1195/stat : 1195 (java) S 1181 1184 424 0 -1 1077944384 41 0 0 0 2 0 0 0 20 0 22 0 254509753 26878828544 68620 33554432000 4194304 4196468 140734074668480 140254897264912 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1196] ppid=1181 vsize=26248856 memory=0 CPUtime=0.03 cores=0-7
/proc/1184/task/1196/stat : 1196 (java) S 1181 1184 424 0 -1 1077944384 1212 0 0 0 2 1 0 0 20 0 22 0 254509754 26878828544 68620 33554432000 4194304 4196468 140734074668480 140253888191344 140255346383490 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1197] ppid=1181 vsize=26248856 memory=140558240887232 CPUtime=0 cores=0-7
/proc/1184/task/1197/stat : 1197 (java) S 1181 1184 424 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 22 0 254509755 26878828544 68620 33554432000 4194304 4196468 140734074668480 140253887137376 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1198] ppid=1181 vsize=26248856 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1198/stat : 1198 (java) S 1181 1184 424 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 22 0 254509755 26878828544 68620 33554432000 4194304 4196468 140734074668480 140253886084480 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1199] ppid=1181 vsize=26248856 memory=7302417923764414567 CPUtime=0 cores=0-7
/proc/1184/task/1199/stat : 1199 (java) S 1181 1184 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 22 0 254509757 26878828544 68620 33554432000 4194304 4196468 140734074668480 140253885032784 140255346390939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1200] ppid=1181 vsize=26248856 memory=288230574492221466 CPUtime=0.61 cores=0-7
/proc/1184/task/1200/stat : 1200 (java) S 1181 1184 424 0 -1 1077944384 3192 0 0 0 59 2 0 0 20 0 22 0 254509757 26878828544 68620 33554432000 4194304 4196468 140734074668480 140253883980144 140255346383490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1201] ppid=1181 vsize=26248856 memory=0 CPUtime=0.59 cores=0-7
/proc/1184/task/1201/stat : 1201 (java) S 1181 1184 424 0 -1 1077944384 2067 0 0 0 57 2 0 0 20 0 22 0 254509757 26878828544 68620 33554432000 4194304 4196468 140734074668480 140253882927344 140255346383490 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1202] ppid=1181 vsize=26248856 memory=0 CPUtime=0.56 cores=0-7
/proc/1184/task/1202/stat : 1202 (java) S 1181 1184 424 0 -1 1077944384 2070 0 0 0 56 0 0 0 20 0 22 0 254509757 26878828544 68620 33554432000 4194304 4196468 140734074668480 140253881874544 140255346383490 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1203] ppid=1181 vsize=26248856 memory=0 CPUtime=0.78 cores=0-7
/proc/1184/task/1203/stat : 1203 (java) S 1181 1184 424 0 -1 1077944384 4014 0 0 0 78 0 0 0 20 0 22 0 254509757 26878828544 68620 33554432000 4194304 4196468 140734074668480 140253880821744 140255346383490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1204] ppid=1181 vsize=26248856 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1204/stat : 1204 (java) S 1181 1184 424 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 22 0 254509758 26878828544 68620 33554432000 4194304 4196468 140734074668480 140253879770208 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1205] ppid=1181 vsize=26248856 memory=6656426216303648864 CPUtime=0 cores=0-7
/proc/1184/task/1205/stat : 1205 (java) S 1181 1184 424 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 22 0 254509758 26878828544 68620 33554432000 4194304 4196468 140734074668480 140253878717488 140255346383490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1206] ppid=1181 vsize=26248856 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1206/stat : 1206 (java) S 1181 1184 424 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 22 0 254510038 26878828544 68620 33554432000 4194304 4196468 140734074668480 140253867373696 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
Current children cumulated CPU time: 5.95 s
Current children cumulated vsize: 26248856 KiB
Current children cumulated memory: 274480 KiB

[startup+3.40314 s]
/proc/loadavg: 8.51 8.64 8.22 2/200 1206
/proc/meminfo: memFree=24312020/32770624 swapFree=67108172/67108860
[pid=1184] ppid=1181 vsize=26983108 memory=277768 CPUtime=6.7 cores=0-7
/proc/1184/stat : 1184 (java) S 1181 1184 424 0 -1 1077944320 38548 0 0 0 651 19 0 0 20 0 33 0 254509751 27630702592 69442 33554432000 4194304 4196468 140734074668480 140734074651024 140255346372343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
/proc/1184/statm: 6745777 69442 3587 1 0 6707849 0
[pid=1184/tid=1187] ppid=1181 vsize=26983108 memory=2609 CPUtime=3.22 cores=0-7
/proc/1184/task/1187/stat : 1187 (java) S 1181 1184 424 0 -1 1077944384 22738 0 0 0 314 8 0 0 20 0 33 0 254509752 27630702592 69442 33554432000 4194304 4196468 140734074668480 140255350609808 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1188] ppid=1181 vsize=26983108 memory=6944656575208382560 CPUtime=0.03 cores=0-7
/proc/1184/task/1188/stat : 1188 (java) S 1181 1184 424 0 -1 1077944384 79 0 0 0 3 0 0 0 20 0 33 0 254509753 27630702592 69442 33554432000 4194304 4196468 140734074668480 140254904634512 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1189] ppid=1181 vsize=26983108 memory=6944652177228980320 CPUtime=0.02 cores=0-7
/proc/1184/task/1189/stat : 1189 (java) S 1181 1184 424 0 -1 1077944384 25 0 0 0 2 0 0 0 20 0 33 0 254509753 27630702592 69442 33554432000 4194304 4196468 140734074668480 140254903581712 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1190] ppid=1181 vsize=26983108 memory=6944656575208382560 CPUtime=0.01 cores=0-7
/proc/1184/task/1190/stat : 1190 (java) S 1181 1184 424 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 33 0 254509753 27630702592 69442 33554432000 4194304 4196468 140734074668480 140254902528912 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1191] ppid=1181 vsize=26983108 memory=8547763363015199892 CPUtime=0.02 cores=0-7
/proc/1184/task/1191/stat : 1191 (java) S 1181 1184 424 0 -1 1077944384 157 0 0 0 2 0 0 0 20 0 33 0 254509753 27630702592 69442 33554432000 4194304 4196468 140734074668480 140254901476112 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1192] ppid=1181 vsize=26983108 memory=6656426216303648864 CPUtime=0.02 cores=0-7
/proc/1184/task/1192/stat : 1192 (java) S 1181 1184 424 0 -1 1077944384 565 0 0 0 2 0 0 0 20 0 33 0 254509753 27630702592 69442 33554432000 4194304 4196468 140734074668480 140254900423312 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1193] ppid=1181 vsize=26983108 memory=8112282956445269571 CPUtime=0.02 cores=0-7
/proc/1184/task/1193/stat : 1193 (java) S 1181 1184 424 0 -1 1077944384 35 0 0 0 2 0 0 0 20 0 33 0 254509753 27630702592 69442 33554432000 4194304 4196468 140734074668480 140254899370512 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1194] ppid=1181 vsize=26983108 memory=1964 CPUtime=0.02 cores=0-7
/proc/1184/task/1194/stat : 1194 (java) S 1181 1184 424 0 -1 1077944384 147 0 0 0 2 0 0 0 20 0 33 0 254509753 27630702592 69442 33554432000 4194304 4196468 140734074668480 140254898317712 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1195] ppid=1181 vsize=26983108 memory=1572 CPUtime=0.02 cores=0-7
/proc/1184/task/1195/stat : 1195 (java) S 1181 1184 424 0 -1 1077944384 41 0 0 0 2 0 0 0 20 0 33 0 254509753 27630702592 69442 33554432000 4194304 4196468 140734074668480 140254897264912 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1196] ppid=1181 vsize=26983108 memory=924 CPUtime=0.03 cores=0-7
/proc/1184/task/1196/stat : 1196 (java) S 1181 1184 424 0 -1 1077944384 1213 0 0 0 2 1 0 0 20 0 33 0 254509754 27630702592 69442 33554432000 4194304 4196468 140734074668480 140253888191344 140255346383490 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1197] ppid=1181 vsize=26983108 memory=1992 CPUtime=0 cores=0-7
/proc/1184/task/1197/stat : 1197 (java) S 1181 1184 424 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 33 0 254509755 27630702592 69442 33554432000 4194304 4196468 140734074668480 140253887137376 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1198] ppid=1181 vsize=26983108 memory=2528 CPUtime=0 cores=0-7
/proc/1184/task/1198/stat : 1198 (java) S 1181 1184 424 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 33 0 254509755 27630702592 69442 33554432000 4194304 4196468 140734074668480 140253886084480 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1199] ppid=1181 vsize=26983108 memory=1880 CPUtime=0 cores=0-7
/proc/1184/task/1199/stat : 1199 (java) S 1181 1184 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 33 0 254509757 27630702592 69442 33554432000 4194304 4196468 140734074668480 140253885032784 140255346390939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1200] ppid=1181 vsize=26983108 memory=7528 CPUtime=0.69 cores=0-7
/proc/1184/task/1200/stat : 1200 (java) R 1181 1184 424 0 -1 4202560 3230 0 0 0 67 2 0 0 20 0 33 0 254509757 27630702592 69442 33554432000 4194304 4196468 140734074668480 140253883980272 140255329871274 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1201] ppid=1181 vsize=26983108 memory=2241 CPUtime=0.64 cores=0-7
/proc/1184/task/1201/stat : 1201 (java) S 1181 1184 424 0 -1 1077944384 2089 0 0 0 62 2 0 0 20 0 33 0 254509757 27630702592 69442 33554432000 4194304 4196468 140734074668480 140253882927344 140255346383490 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1202] ppid=1181 vsize=26983108 memory=0 CPUtime=0.62 cores=0-7
/proc/1184/task/1202/stat : 1202 (java) S 1181 1184 424 0 -1 1077944384 2098 0 0 0 62 0 0 0 20 0 33 0 254509757 27630702592 69442 33554432000 4194304 4196468 140734074668480 140253881874544 140255346383490 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1203] ppid=1181 vsize=26983108 memory=0 CPUtime=0.86 cores=0-7
/proc/1184/task/1203/stat : 1203 (java) R 1181 1184 424 0 -1 4202560 4145 0 0 0 85 1 0 0 20 0 33 0 254509757 27630702592 69442 33554432000 4194304 4196468 140734074668480 140253880819536 140255346393690 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1204] ppid=1181 vsize=26983108 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1204/stat : 1204 (java) S 1181 1184 424 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 33 0 254509758 27630702592 69442 33554432000 4194304 4196468 140734074668480 140253879770208 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1205] ppid=1181 vsize=26983108 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1205/stat : 1205 (java) S 1181 1184 424 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 33 0 254509758 27630702592 69442 33554432000 4194304 4196468 140734074668480 140253878717488 140255346383490 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1206] ppid=1181 vsize=26983108 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1206/stat : 1206 (java) S 1181 1184 424 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 33 0 254510038 27630702592 69442 33554432000 4194304 4196468 140734074668480 140253867373696 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
Current children cumulated CPU time: 6.7 s
Current children cumulated vsize: 26983108 KiB
Current children cumulated memory: 277768 KiB

[startup+3.50094 s]
/proc/loadavg: 8.51 8.64 8.22 2/200 1206
/proc/meminfo: memFree=24312020/32770624 swapFree=67108172/67108860
[pid=1184] ppid=1181 vsize=27517704 memory=279196 CPUtime=7.32 cores=0-7
/proc/1184/stat : 1184 (java) S 1181 1184 424 0 -1 1077944320 39357 0 0 0 713 19 0 0 20 0 41 0 254509751 28178128896 69799 33554432000 4194304 4196468 140734074668480 140734074651024 140255346372343 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
/proc/1184/statm: 6879426 69799 3589 1 0 6840977 0
[pid=1184/tid=1187] ppid=1181 vsize=27517704 memory=276400 CPUtime=3.22 cores=0-7
/proc/1184/task/1187/stat : 1187 (java) S 1181 1184 424 0 -1 1077944384 22738 0 0 0 314 8 0 0 20 0 41 0 254509752 28178128896 69799 33554432000 4194304 4196468 140734074668480 140255350609808 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1188] ppid=1181 vsize=27517704 memory=69448 CPUtime=0.03 cores=0-7
/proc/1184/task/1188/stat : 1188 (java) S 1181 1184 424 0 -1 1077944384 79 0 0 0 3 0 0 0 20 0 41 0 254509753 28178128896 69799 33554432000 4194304 4196468 140734074668480 140254904634512 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1189] ppid=1181 vsize=27517704 memory=6944656592455359580 CPUtime=0.02 cores=0-7
/proc/1184/task/1189/stat : 1189 (java) S 1181 1184 424 0 -1 1077944384 25 0 0 0 2 0 0 0 20 0 41 0 254509753 28178128896 69799 33554432000 4194304 4196468 140734074668480 140254903581712 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1190] ppid=1181 vsize=27517704 memory=6944656592455360604 CPUtime=0.01 cores=0-7
/proc/1184/task/1190/stat : 1190 (java) S 1181 1184 424 0 -1 1077944384 33 0 0 0 1 0 0 0 20 0 41 0 254509753 28178128896 69799 33554432000 4194304 4196468 140734074668480 140254902528912 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1191] ppid=1181 vsize=27517704 memory=140562653075071 CPUtime=0.02 cores=0-7
/proc/1184/task/1191/stat : 1191 (java) S 1181 1184 424 0 -1 1077944384 157 0 0 0 2 0 0 0 20 0 41 0 254509753 28178128896 69799 33554432000 4194304 4196468 140734074668480 140254901476112 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1192] ppid=1181 vsize=27517704 memory=0 CPUtime=0.02 cores=0-7
/proc/1184/task/1192/stat : 1192 (java) S 1181 1184 424 0 -1 1077944384 565 0 0 0 2 0 0 0 20 0 41 0 254509753 28178128896 69799 33554432000 4194304 4196468 140734074668480 140254900423312 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1193] ppid=1181 vsize=27517704 memory=0 CPUtime=0.02 cores=0-7
/proc/1184/task/1193/stat : 1193 (java) S 1181 1184 424 0 -1 1077944384 35 0 0 0 2 0 0 0 20 0 41 0 254509753 28178128896 69799 33554432000 4194304 4196468 140734074668480 140254899370512 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1194] ppid=1181 vsize=27517704 memory=281116481204952 CPUtime=0.02 cores=0-7
/proc/1184/task/1194/stat : 1194 (java) S 1181 1184 424 0 -1 1077944384 147 0 0 0 2 0 0 0 20 0 41 0 254509753 28178128896 69799 33554432000 4194304 4196468 140734074668480 140254898317712 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1195] ppid=1181 vsize=27517704 memory=7259635583466 CPUtime=0.02 cores=0-7
/proc/1184/task/1195/stat : 1195 (java) S 1181 1184 424 0 -1 1077944384 41 0 0 0 2 0 0 0 20 0 41 0 254509753 28178128896 69799 33554432000 4194304 4196468 140734074668480 140254897264912 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1196] ppid=1181 vsize=27517704 memory=7259635583466 CPUtime=0.03 cores=0-7
/proc/1184/task/1196/stat : 1196 (java) S 1181 1184 424 0 -1 1077944384 1213 0 0 0 2 1 0 0 20 0 41 0 254509754 28178128896 69799 33554432000 4194304 4196468 140734074668480 140253888191344 140255346383490 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1197] ppid=1181 vsize=27517704 memory=7259635583210 CPUtime=0 cores=0-7
/proc/1184/task/1197/stat : 1197 (java) S 1181 1184 424 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 41 0 254509755 28178128896 69799 33554432000 4194304 4196468 140734074668480 140253887137376 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1198] ppid=1181 vsize=27517704 memory=2 CPUtime=0 cores=0-7
/proc/1184/task/1198/stat : 1198 (java) S 1181 1184 424 0 -1 1077944384 55 0 0 0 0 0 0 0 20 0 41 0 254509755 28178128896 69799 33554432000 4194304 4196468 140734074668480 140253886084480 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1199] ppid=1181 vsize=27517704 memory=3 CPUtime=0 cores=0-7
/proc/1184/task/1199/stat : 1199 (java) S 1181 1184 424 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 41 0 254509757 28178128896 69799 33554432000 4194304 4196468 140734074668480 140253885032784 140255346390939 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1200] ppid=1181 vsize=27517704 memory=0 CPUtime=0.75 cores=0-7
/proc/1184/task/1200/stat : 1200 (java) R 1181 1184 424 0 -1 4202560 3255 0 0 0 73 2 0 0 20 0 41 0 254509757 28178128896 69799 33554432000 4194304 4196468 140734074668480 140253883961600 140255330345943 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1201] ppid=1181 vsize=27517704 memory=0 CPUtime=0.7 cores=0-7
/proc/1184/task/1201/stat : 1201 (java) R 1181 1184 424 0 -1 4202560 2102 0 0 0 68 2 0 0 20 0 41 0 254509757 28178128896 69799 33554432000 4194304 4196468 140734074668480 140253882914176 140255338613733 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1202] ppid=1181 vsize=27517704 memory=0 CPUtime=0.7 cores=0-7
/proc/1184/task/1202/stat : 1202 (java) R 1181 1184 424 0 -1 4202560 2150 0 0 0 70 0 0 0 20 0 41 0 254509757 28178128896 69799 33554432000 4194304 4196468 140734074668480 140253881853072 140255327917610 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1203] ppid=1181 vsize=27517704 memory=0 CPUtime=0.9 cores=0-7
/proc/1184/task/1203/stat : 1203 (java) S 1181 1184 424 0 -1 1077944384 4207 0 0 0 89 1 0 0 20 0 41 0 254509757 28178128896 69799 33554432000 4194304 4196468 140734074668480 140253880821744 140255346383490 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1204] ppid=1181 vsize=27517704 memory=4580 CPUtime=0 cores=0-7
/proc/1184/task/1204/stat : 1204 (java) S 1181 1184 424 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 41 0 254509758 28178128896 69799 33554432000 4194304 4196468 140734074668480 140253879770208 140255346382549 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
[pid=1184/tid=1205] ppid=1181 vsize=27517704 memory=0 CPUtime=0 cores=0-7
/proc/1184/task/1205/stat : 1205 (java) S 1181 1184 424 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 41 0 254509758 28178128896 69799 33554432000 4194304 4196468 140734074668480 140253878717488 140255346383490 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 27385856 140734074676301 140734074676485 140734074676485 140734074679247 0
Current children cumulated CPU time: 7.32 s
Current children cumulated vsize: 27517704 KiB
Current children cumulated memory: 279196 KiB

Child status: 0
Real time (s): 3.53241
CPU time (s): 7.39114
CPU user time (s): 7.17867
CPU system time (s): 0.21247
CPU usage (%): 209.238
Max. virtual memory (cumulated for all children) (KiB): 27517704
Max. memory (cumulated for all children) (KiB): 279196

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.17867
system time used= 0.21247
maximum resident set size= 281396
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39492
page faults= 0
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6066
involuntary context switches= 112


# summary of solver processes directly reported to runsolver:
#   pid: 1184
#   total CPU time (s): 7.39114
#   total CPU user time (s): 7.17867
#   total CPU system time (s): 0.21247

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.040814 second user time and 0.077832 second system time

The end
Name	PseudoBoolean-dec/ Pb-robin08_c18.xml
MD5SUM	1bc3f3e5ba546c0eba55cc781441057a
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	4.45957
Satisfiable
(Un)Satisfiability was proved
Number of variables	784
Number of constraints	256
Number of domains	1
Minimum domain size	2
Maximum domain size	2
Distribution of domain sizes	[{"size":2,"count":784}]
Minimum variable degree	10
Maximum variable degree	10
Distribution of variable degrees	[{"degree":10,"count":784}]
Minimum constraint arity	28
Maximum constraint arity	49
Distribution of constraint arities	[{"arity":28,"count":224},{"arity":49,"count":32}]
Number of extensional constraints	0
Number of intensional constraints	0
Distribution of constraint types	[{"type":"sum","count":256}]
Optimization problem	NO
Type of objective
Trace number 4309182

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
