Trace number 4298284

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Solver of Xavier Schul & Yvhan Smal 2018-04-28? (NS) 11.5257 5.69569

General information on the benchmark

NameRlfap_mini/Rlfap-opt_mini/
Rlfap-ext-scen-04-opt_c18.xml
MD5SUM617c7fbe4ff46dae5ed8ccf637b784a5
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark46
Best CPU time to get the best result obtained on this benchmark0.615974
Satisfiable
(Un)Satisfiability was proved
Number of variables680
Number of constraints4247
Number of domains5
Minimum domain size6
Maximum domain size44
Distribution of domain sizes[{"size":6,"count":2},{"size":22,"count":10},{"size":24,"count":4},{"size":36,"count":336},{"size":44,"count":328}]
Minimum variable degree3
Maximum variable degree64
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":16},{"degree":5,"count":22},{"degree":6,"count":62},{"degree":7,"count":42},{"degree":8,"count":62},{"degree":9,"count":40},{"degree":10,"count":55},{"degree":11,"count":55},{"degree":12,"count":47},{"degree":13,"count":41},{"degree":14,"count":26},{"degree":15,"count":25},{"degree":16,"count":24},{"degree":17,"count":19},{"degree":18,"count":19},{"degree":19,"count":19},{"degree":20,"count":10},{"degree":21,"count":10},{"degree":22,"count":17},{"degree":23,"count":8},{"degree":24,"count":6},{"degree":25,"count":10},{"degree":26,"count":9},{"degree":27,"count":10},{"degree":28,"count":3},{"degree":29,"count":2},{"degree":31,"count":4},{"degree":32,"count":3},{"degree":33,"count":1},{"degree":35,"count":1},{"degree":36,"count":1},{"degree":40,"count":3},{"degree":41,"count":1},{"degree":44,"count":2},{"degree":45,"count":1},{"degree":47,"count":1},{"degree":57,"count":1},{"degree":64,"count":1}]
Minimum constraint arity1
Maximum constraint arity2
Distribution of constraint arities[{"arity":1,"count":280},{"arity":2,"count":3967}]
Number of extensional constraints3967
Number of intensional constraints280
Distribution of constraint types[{"type":"extension","count":3967},{"type":"intension","count":280}]
Optimization problemYES
Type of objectivemin NVALUES

Solver Data 

0.12/0.13	c version: 2018-04-11
0.12/0.13	c seed: 1811631
0.12/0.13	c timeout: -1
0.12/0.13	c memlimit: -1
0.12/0.13	c nbcore: -1
11.38/5.67	c Caught NotImplementedException
11.38/5.67	c 	xcsp3.XCSP3.buildObjToMinimize(XCSP3.java:528)
11.38/5.67	c 	org.xcsp.parser.XCallbacks.loadObj(XCallbacks.java:573)
11.38/5.67	c 	org.xcsp.parser.XCallbacks.lambda$loadObjectives$7(XCallbacks.java:542)
11.38/5.67	c 	java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
11.38/5.67	c 	java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580)
11.38/5.67	c 	org.xcsp.parser.XCallbacks.loadObjectives(XCallbacks.java:542)
11.38/5.67	c 	org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:300)
11.38/5.67	c 	org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:320)
11.38/5.67	c 	xcsp3.XCSP3.<init>(XCSP3.java:72)
11.38/5.67	c 	xcsp3.CompetitionApp.runSolver(CompetitionApp.java:63)
11.38/5.67	c 	xcsp3.CompetitionApp.main(CompetitionApp.java:51)
11.38/5.67	s UNSUPPORTED

Verifier Data


Watcher Data 

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 (9929 MiB free)
  memory of node 1: 16384 MiB (10856 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298284-1532751523/watcher-4298284-1532751523 -o /tmp/evaluation-result-4298284-1532751523/solver-4298284-1532751523 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532741422-28016 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298284-1532751523.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=29838, runsolver pid=29835

[startup+0.100058 s]*
/proc/loadavg: 2.87 1.84 1.59 4/215 29853
/proc/meminfo: memFree=21269568/32770624 swapFree=67108860/67108860
[pid=29838] ppid=29835 vsize=10661052 memory=27772 CPUtime=0.12 cores=0,2,4,6
/proc/29838/stat : 29838 (java) S 29835 29838 27985 0 -1 1077944320 5293 0 0 0 11 1 0 0 20 0 15 0 92715504 10916917248 6943 33554432000 4194304 4196468 140725012688896 140725012671440 139887799148279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
/proc/29838/statm: 2665263 6943 2839 1 0 2627263 0
[pid=29838/tid=29840] ppid=29835 vsize=10661052 memory=-8269626465541459580 CPUtime=0.09 cores=0,2,4,6
/proc/29838/task/29840/stat : 29840 (java) R 29835 29838 27985 0 -1 4202560 3160 0 0 0 8 1 0 0 20 0 15 0 92715505 10916917248 6943 33554432000 4194304 4196468 140725012688896 139887803378544 139887791385406 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29841] ppid=29835 vsize=10661052 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29841/stat : 29841 (java) S 29835 29838 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92715505 10916917248 6943 33554432000 4194304 4196468 140725012688896 139887757908368 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29842] ppid=29835 vsize=10661052 memory=140264611206784 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29842/stat : 29842 (java) S 29835 29838 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92715505 10916917248 6943 33554432000 4194304 4196468 140725012688896 139887404460304 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29843] ppid=29835 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29843/stat : 29843 (java) S 29835 29838 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92715505 10916917248 6943 33554432000 4194304 4196468 140725012688896 139887403408016 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29844] ppid=29835 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29844/stat : 29844 (java) S 29835 29838 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92715505 10916917248 6943 33554432000 4194304 4196468 140725012688896 139887402355216 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29845] ppid=29835 vsize=10661052 memory=140264611206784 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29845/stat : 29845 (java) S 29835 29838 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92715507 10916917248 6943 33554432000 4194304 4196468 140725012688896 139887374862960 139887799159426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29846] ppid=29835 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29846/stat : 29846 (java) S 29835 29838 27985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92715507 10916917248 6943 33554432000 4194304 4196468 140725012688896 139887373808928 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29847] ppid=29835 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29847/stat : 29847 (java) S 29835 29838 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92715507 10916917248 6943 33554432000 4194304 4196468 140725012688896 139887372756592 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29848] ppid=29835 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29848/stat : 29848 (java) S 29835 29838 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92715510 10916917248 6943 33554432000 4194304 4196468 140725012688896 139887371704912 139887799166875 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29849] ppid=29835 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29849/stat : 29849 (java) S 29835 29838 27985 0 -1 1077944384 432 0 0 0 0 0 0 0 20 0 15 0 92715510 10916917248 6943 33554432000 4194304 4196468 140725012688896 139887370651760 139887799159426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29850] ppid=29835 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29850/stat : 29850 (java) S 29835 29838 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92715510 10916917248 6943 33554432000 4194304 4196468 140725012688896 139887369598960 139887799159426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29851] ppid=29835 vsize=10661052 memory=140264611206784 CPUtime=0.02 cores=0,2,4,6
/proc/29838/task/29851/stat : 29851 (java) S 29835 29838 27985 0 -1 1077944384 332 0 0 0 2 0 0 0 20 0 15 0 92715510 10916917248 6943 33554432000 4194304 4196468 140725012688896 139887368546672 139887799159426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29852] ppid=29835 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29852/stat : 29852 (java) S 29835 29838 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92715510 10916917248 6943 33554432000 4194304 4196468 140725012688896 139887367494112 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29853] ppid=29835 vsize=10661052 memory=140264611206784 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29853/stat : 29853 (java) S 29835 29838 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92715510 10916917248 6943 33554432000 4194304 4196468 140725012688896 139887366441904 139887799159426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 27772 KiB

[startup+0.210618 s]*
/proc/loadavg: 2.87 1.84 1.59 4/215 29853
/proc/meminfo: memFree=21257840/32770624 swapFree=67108860/67108860
[pid=29838] ppid=29835 vsize=10661052 memory=41032 CPUtime=0.35 cores=0,2,4,6
/proc/29838/stat : 29838 (java) S 29835 29838 27985 0 -1 1077944320 8381 0 0 0 33 2 0 0 20 0 15 0 92715504 10916917248 10258 33554432000 4194304 4196468 140725012688896 140725012671440 139887799148279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
/proc/29838/statm: 2665263 10258 2991 1 0 2627263 0
[pid=29838/tid=29840] ppid=29835 vsize=10661052 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/29838/task/29840/stat : 29840 (java) R 29835 29838 27985 0 -1 4202560 5127 0 0 0 19 1 0 0 20 0 15 0 92715505 10916917248 10258 33554432000 4194304 4196468 140725012688896 139887803387600 139887799170205 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29841] ppid=29835 vsize=10661052 memory=345 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29841/stat : 29841 (java) S 29835 29838 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92715505 10916917248 10258 33554432000 4194304 4196468 140725012688896 139887757908368 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29842] ppid=29835 vsize=10661052 memory=3835018256542291616 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29842/stat : 29842 (java) S 29835 29838 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92715505 10916917248 10258 33554432000 4194304 4196468 140725012688896 139887404460304 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29843] ppid=29835 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29843/stat : 29843 (java) S 29835 29838 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92715505 10916917248 10258 33554432000 4194304 4196468 140725012688896 139887403408016 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29844] ppid=29835 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29844/stat : 29844 (java) S 29835 29838 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92715505 10916917248 10258 33554432000 4194304 4196468 140725012688896 139887402355216 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29845] ppid=29835 vsize=10661052 memory=140264611206784 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29845/stat : 29845 (java) S 29835 29838 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92715507 10916917248 10258 33554432000 4194304 4196468 140725012688896 139887374862960 139887799159426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29846] ppid=29835 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29846/stat : 29846 (java) S 29835 29838 27985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92715507 10916917248 10258 33554432000 4194304 4196468 140725012688896 139887373808928 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29847] ppid=29835 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29847/stat : 29847 (java) S 29835 29838 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92715507 10916917248 10258 33554432000 4194304 4196468 140725012688896 139887372756592 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29848] ppid=29835 vsize=10661052 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29848/stat : 29848 (java) S 29835 29838 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92715510 10916917248 10258 33554432000 4194304 4196468 140725012688896 139887371704912 139887799166875 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29849] ppid=29835 vsize=10661052 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/29838/task/29849/stat : 29849 (java) R 29835 29838 27985 0 -1 4202560 671 0 0 0 3 0 0 0 20 0 15 0 92715510 10916917248 10258 33554432000 4194304 4196468 140725012688896 139887370651760 139887778402638 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29850] ppid=29835 vsize=10661052 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/29838/task/29850/stat : 29850 (java) R 29835 29838 27985 0 -1 1077944384 318 0 0 0 2 0 0 0 20 0 15 0 92715510 10916917248 10258 33554432000 4194304 4196468 140725012688896 139887369598960 139887799159426 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29851] ppid=29835 vsize=10661052 memory=140264611206784 CPUtime=0.08 cores=0,2,4,6
/proc/29838/task/29851/stat : 29851 (java) S 29835 29838 27985 0 -1 1077944384 896 0 0 0 8 0 0 0 20 0 15 0 92715510 10916917248 10258 33554432000 4194304 4196468 140725012688896 139887368544464 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29852] ppid=29835 vsize=10661052 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29852/stat : 29852 (java) S 29835 29838 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92715510 10916917248 10258 33554432000 4194304 4196468 140725012688896 139887367494112 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29853] ppid=29835 vsize=10661052 memory=140264611206784 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29853/stat : 29853 (java) S 29835 29838 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92715510 10916917248 10258 33554432000 4194304 4196468 140725012688896 139887366441904 139887799159426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
Current children cumulated CPU time: 0.35 s
Current children cumulated vsize: 10661052 KiB
Current children cumulated memory: 41032 KiB

[startup+0.310708 s]*
/proc/loadavg: 2.87 1.84 1.59 7/215 29853
/proc/meminfo: memFree=21244144/32770624 swapFree=67108860/67108860
[pid=29838] ppid=29835 vsize=10661128 memory=55064 CPUtime=0.68 cores=0,2,4,6
/proc/29838/stat : 29838 (java) S 29835 29838 27985 0 -1 1077944320 10323 0 0 0 66 2 0 0 20 0 15 0 92715504 10916995072 13766 33554432000 4194304 4196468 140725012688896 140725012671440 139887799148279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
/proc/29838/statm: 2665282 13766 3076 1 0 2627263 0
[pid=29838/tid=29840] ppid=29835 vsize=10661128 memory=7311146985107750967 CPUtime=0.29 cores=0,2,4,6
/proc/29838/task/29840/stat : 29840 (java) R 29835 29838 27985 0 -1 4202560 5405 0 0 0 28 1 0 0 20 0 15 0 92715505 10916995072 13766 33554432000 4194304 4196468 140725012688896 139887803386736 139887783228766 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29841] ppid=29835 vsize=10661128 memory=304556157652172823 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29841/stat : 29841 (java) S 29835 29838 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92715505 10916995072 13766 33554432000 4194304 4196468 140725012688896 139887757908368 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29842] ppid=29835 vsize=10661128 memory=3904824050766534304 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29842/stat : 29842 (java) S 29835 29838 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92715505 10916995072 13766 33554432000 4194304 4196468 140725012688896 139887404460304 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29843] ppid=29835 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29843/stat : 29843 (java) S 29835 29838 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92715505 10916995072 13766 33554432000 4194304 4196468 140725012688896 139887403408016 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29844] ppid=29835 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29844/stat : 29844 (java) S 29835 29838 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92715505 10916995072 13766 33554432000 4194304 4196468 140725012688896 139887402355216 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29845] ppid=29835 vsize=10661128 memory=140264611206784 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29845/stat : 29845 (java) S 29835 29838 27985 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 92715507 10916995072 13766 33554432000 4194304 4196468 140725012688896 139887374862960 139887799159426 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29846] ppid=29835 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29846/stat : 29846 (java) S 29835 29838 27985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92715507 10916995072 13766 33554432000 4194304 4196468 140725012688896 139887373808928 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29847] ppid=29835 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29847/stat : 29847 (java) S 29835 29838 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92715507 10916995072 13766 33554432000 4194304 4196468 140725012688896 139887372756592 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29848] ppid=29835 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29848/stat : 29848 (java) S 29835 29838 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92715510 10916995072 13766 33554432000 4194304 4196468 140725012688896 139887371704912 139887799166875 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29849] ppid=29835 vsize=10661128 memory=0 CPUtime=0.13 cores=0,2,4,6
/proc/29838/task/29849/stat : 29849 (java) R 29835 29838 27985 0 -1 4202560 1130 0 0 0 13 0 0 0 20 0 15 0 92715510 10916995072 13766 33554432000 4194304 4196468 140725012688896 139887370641552 139887782535188 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29850] ppid=29835 vsize=10661128 memory=-1 CPUtime=0.1 cores=0,2,4,6
/proc/29838/task/29850/stat : 29850 (java) R 29835 29838 27985 0 -1 4202560 1231 0 0 0 10 0 0 0 20 0 15 0 92715510 10916995072 13766 33554432000 4194304 4196468 140725012688896 139887369584984 139887780669670 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29851] ppid=29835 vsize=10661128 memory=140264611206784 CPUtime=0.13 cores=0,2,4,6
/proc/29838/task/29851/stat : 29851 (java) R 29835 29838 27985 0 -1 4202560 1188 0 0 0 13 0 0 0 20 0 15 0 92715510 10916995072 13766 33554432000 4194304 4196468 140725012688896 139887368544464 139887783228766 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29852] ppid=29835 vsize=10661128 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29852/stat : 29852 (java) S 29835 29838 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92715510 10916995072 13766 33554432000 4194304 4196468 140725012688896 139887367494112 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29853] ppid=29835 vsize=10661128 memory=140264611206784 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29853/stat : 29853 (java) S 29835 29838 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92715510 10916995072 13766 33554432000 4194304 4196468 140725012688896 139887366441904 139887799159426 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 55064 KiB

[startup+0.700734 s]
/proc/loadavg: 3.04 1.89 1.61 5/215 29853
/proc/meminfo: memFree=21207340/32770624 swapFree=67108860/67108860
[pid=29838] ppid=29835 vsize=10661128 memory=173764 CPUtime=1.92 cores=0,2,4,6
/proc/29838/stat : 29838 (java) S 29835 29838 27985 0 -1 1077944320 11839 0 0 0 186 6 0 0 20 0 15 0 92715504 10916995072 43441 33554432000 4194304 4196468 140725012688896 140725012671440 139887799148279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
/proc/29838/statm: 2665282 43441 3102 1 0 2627263 0
[pid=29838/tid=29840] ppid=29835 vsize=10661128 memory=1836 CPUtime=0.67 cores=0,2,4,6
/proc/29838/task/29840/stat : 29840 (java) R 29835 29838 27985 0 -1 4202560 5569 0 0 0 63 4 0 0 20 0 15 0 92715505 10916995072 43441 33554432000 4194304 4196468 140725012688896 139887803386240 139887438261906 0 4 0 16800975 0 0 0 -1 4 0 0 1 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29841] ppid=29835 vsize=10661128 memory=13044 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29841/stat : 29841 (java) S 29835 29838 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92715505 10916995072 43441 33554432000 4194304 4196468 140725012688896 139887757908368 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29842] ppid=29835 vsize=10661128 memory=792 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29842/stat : 29842 (java) S 29835 29838 27985 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92715505 10916995072 43441 33554432000 4194304 4196468 140725012688896 139887404460304 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29843] ppid=29835 vsize=10661128 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29843/stat : 29843 (java) S 29835 29838 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92715505 10916995072 43441 33554432000 4194304 4196468 140725012688896 139887403408016 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29844] ppid=29835 vsize=10661128 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29844/stat : 29844 (java) S 29835 29838 27985 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92715505 10916995072 43441 33554432000 4194304 4196468 140725012688896 139887402355216 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29845] ppid=29835 vsize=10661128 memory=8556 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29845/stat : 29845 (java) S 29835 29838 27985 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 92715507 10916995072 43441 33554432000 4194304 4196468 140725012688896 139887374862960 139887799159426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29846] ppid=29835 vsize=10661128 memory=1712 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29846/stat : 29846 (java) S 29835 29838 27985 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92715507 10916995072 43441 33554432000 4194304 4196468 140725012688896 139887373808928 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29847] ppid=29835 vsize=10661128 memory=5412 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29847/stat : 29847 (java) S 29835 29838 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92715507 10916995072 43441 33554432000 4194304 4196468 140725012688896 139887372756592 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29848] ppid=29835 vsize=10661128 memory=7668879548562892096 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29848/stat : 29848 (java) S 29835 29838 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92715510 10916995072 43441 33554432000 4194304 4196468 140725012688896 139887371704912 139887799166875 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29849] ppid=29835 vsize=10661128 memory=7881696724453321575 CPUtime=0.49 cores=0,2,4,6
/proc/29838/task/29849/stat : 29849 (java) R 29835 29838 27985 0 -1 4202560 1874 0 0 0 49 0 0 0 20 0 15 0 92715510 10916995072 43441 33554432000 4194304 4196468 140725012688896 139887370635120 139887780668308 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29850] ppid=29835 vsize=10661128 memory=5787213827063244903 CPUtime=0.45 cores=0,2,4,6
/proc/29838/task/29850/stat : 29850 (java) R 29835 29838 27985 0 -1 4202560 1425 0 0 0 45 0 0 0 20 0 15 0 92715510 10916995072 43441 33554432000 4194304 4196468 140725012688896 139887369592152 139887780693797 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29851] ppid=29835 vsize=10661128 memory=0 CPUtime=0.28 cores=0,2,4,6
/proc/29838/task/29851/stat : 29851 (java) S 29835 29838 27985 0 -1 1077944384 1597 0 0 0 27 1 0 0 20 0 15 0 92715510 10916995072 43441 33554432000 4194304 4196468 140725012688896 139887368546672 139887799159426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29852] ppid=29835 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29852/stat : 29852 (java) S 29835 29838 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92715510 10916995072 43441 33554432000 4194304 4196468 140725012688896 139887367494112 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29853] ppid=29835 vsize=10661128 memory=33 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29853/stat : 29853 (java) S 29835 29838 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92715510 10916995072 43441 33554432000 4194304 4196468 140725012688896 139887366441904 139887799159426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
Current children cumulated CPU time: 1.92 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 173764 KiB

[startup+1.50069 s]
/proc/loadavg: 3.04 1.89 1.61 6/215 29853
/proc/meminfo: memFree=21104668/32770624 swapFree=67108860/67108860
[pid=29838] ppid=29835 vsize=10661128 memory=244908 CPUtime=4.23 cores=0,2,4,6
/proc/29838/stat : 29838 (java) S 29835 29838 27985 0 -1 1077944320 14039 0 0 0 409 14 0 0 20 0 15 0 92715504 10916995072 61227 33554432000 4194304 4196468 140725012688896 140725012671440 139887799148279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
/proc/29838/statm: 2665282 61227 3160 1 0 2627263 0
[pid=29838/tid=29840] ppid=29835 vsize=10661128 memory=6791534058613427641 CPUtime=1.41 cores=0,2,4,6
/proc/29838/task/29840/stat : 29840 (java) R 29835 29838 27985 0 -1 4202560 5650 0 0 0 137 4 0 0 20 0 15 0 92715505 10916995072 61227 33554432000 4194304 4196468 140725012688896 139887803386224 139887439986465 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29841] ppid=29835 vsize=10661128 memory=-6951259422114956437 CPUtime=0.04 cores=0,2,4,6
/proc/29838/task/29841/stat : 29841 (java) S 29835 29838 27985 0 -1 1077944384 102 0 0 0 3 1 0 0 20 0 15 0 92715505 10916995072 61227 33554432000 4194304 4196468 140725012688896 139887757908368 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29842] ppid=29835 vsize=10661128 memory=-6509546260019855295 CPUtime=0.04 cores=0,2,4,6
/proc/29838/task/29842/stat : 29842 (java) S 29835 29838 27985 0 -1 1077944384 107 0 0 0 3 1 0 0 20 0 15 0 92715505 10916995072 61227 33554432000 4194304 4196468 140725012688896 139887404460304 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29843] ppid=29835 vsize=10661128 memory=-7390251449858225344 CPUtime=0.05 cores=0,2,4,6
/proc/29838/task/29843/stat : 29843 (java) S 29835 29838 27985 0 -1 1077944384 104 0 0 0 3 2 0 0 20 0 15 0 92715505 10916995072 61227 33554432000 4194304 4196468 140725012688896 139887403408016 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29844] ppid=29835 vsize=10661128 memory=4134692831991786133 CPUtime=0.04 cores=0,2,4,6
/proc/29838/task/29844/stat : 29844 (java) S 29835 29838 27985 0 -1 1077944384 92 0 0 0 3 1 0 0 20 0 15 0 92715505 10916995072 61227 33554432000 4194304 4196468 140725012688896 139887402355216 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29845] ppid=29835 vsize=10661128 memory=-7165351541977658656 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29845/stat : 29845 (java) S 29835 29838 27985 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 92715507 10916995072 61227 33554432000 4194304 4196468 140725012688896 139887374862960 139887799159426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0

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

[startup+5.69564 s]
# the end of solver process 29838 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=11.0762 s, system=0.449509 s

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

[startup+3.20085 s]
/proc/loadavg: 3.04 1.89 1.61 3/215 29853
/proc/meminfo: memFree=20957600/32770624 swapFree=67108860/67108860
[pid=29838] ppid=29835 vsize=10661128 memory=360260 CPUtime=6.29 cores=0,2,4,6
/proc/29838/stat : 29838 (java) S 29835 29838 27985 0 -1 1077944320 14839 0 0 0 614 15 0 0 20 0 15 0 92715504 10916995072 90065 33554432000 4194304 4196468 140725012688896 140725012671440 139887799148279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
/proc/29838/statm: 2665282 90065 3160 1 0 2627263 0
[pid=29838/tid=29840] ppid=29835 vsize=10661128 memory=280529010308208 CPUtime=3.11 cores=0,2,4,6
/proc/29838/task/29840/stat : 29840 (java) R 29835 29838 27985 0 -1 4202560 6266 0 0 0 306 5 0 0 20 0 15 0 92715505 10916995072 90065 33554432000 4194304 4196468 140725012688896 139887803384216 139887439986218 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29841] ppid=29835 vsize=10661128 memory=280529010308656 CPUtime=0.04 cores=0,2,4,6
/proc/29838/task/29841/stat : 29841 (java) S 29835 29838 27985 0 -1 1077944384 102 0 0 0 3 1 0 0 20 0 15 0 92715505 10916995072 90065 33554432000 4194304 4196468 140725012688896 139887757908368 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29842] ppid=29835 vsize=10661128 memory=280529010308592 CPUtime=0.04 cores=0,2,4,6
/proc/29838/task/29842/stat : 29842 (java) S 29835 29838 27985 0 -1 1077944384 107 0 0 0 3 1 0 0 20 0 15 0 92715505 10916995072 90065 33554432000 4194304 4196468 140725012688896 139887404460304 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29843] ppid=29835 vsize=10661128 memory=280529010703856 CPUtime=0.05 cores=0,2,4,6
/proc/29838/task/29843/stat : 29843 (java) S 29835 29838 27985 0 -1 1077944384 104 0 0 0 3 2 0 0 20 0 15 0 92715505 10916995072 90065 33554432000 4194304 4196468 140725012688896 139887403408016 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29844] ppid=29835 vsize=10661128 memory=4140 CPUtime=0.04 cores=0,2,4,6
/proc/29838/task/29844/stat : 29844 (java) S 29835 29838 27985 0 -1 1077944384 92 0 0 0 3 1 0 0 20 0 15 0 92715505 10916995072 90065 33554432000 4194304 4196468 140725012688896 139887402355216 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29845] ppid=29835 vsize=10661128 memory=26884 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29845/stat : 29845 (java) S 29835 29838 27985 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 92715507 10916995072 90065 33554432000 4194304 4196468 140725012688896 139887374862960 139887799159426 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29846] ppid=29835 vsize=10661128 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29846/stat : 29846 (java) S 29835 29838 27985 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 92715507 10916995072 90065 33554432000 4194304 4196468 140725012688896 139887373808928 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29847] ppid=29835 vsize=10661128 memory=2400 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29847/stat : 29847 (java) S 29835 29838 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92715507 10916995072 90065 33554432000 4194304 4196468 140725012688896 139887372756592 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29848] ppid=29835 vsize=10661128 memory=1836 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29848/stat : 29848 (java) S 29835 29838 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92715510 10916995072 90065 33554432000 4194304 4196468 140725012688896 139887371704912 139887799166875 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29849] ppid=29835 vsize=10661128 memory=13044 CPUtime=1.21 cores=0,2,4,6
/proc/29838/task/29849/stat : 29849 (java) S 29835 29838 27985 0 -1 1077944384 2421 0 0 0 121 0 0 0 20 0 15 0 92715510 10916995072 90065 33554432000 4194304 4196468 140725012688896 139887370651760 139887799159426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29850] ppid=29835 vsize=10661128 memory=792 CPUtime=1.25 cores=0,2,4,6
/proc/29838/task/29850/stat : 29850 (java) S 29835 29838 27985 0 -1 1077944384 1937 0 0 0 125 0 0 0 20 0 15 0 92715510 10916995072 90065 33554432000 4194304 4196468 140725012688896 139887369598960 139887799159426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29851] ppid=29835 vsize=10661128 memory=1952 CPUtime=0.46 cores=0,2,4,6
/proc/29838/task/29851/stat : 29851 (java) S 29835 29838 27985 0 -1 1077944384 2344 0 0 0 45 1 0 0 20 0 15 0 92715510 10916995072 90065 33554432000 4194304 4196468 140725012688896 139887368546672 139887799159426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29852] ppid=29835 vsize=10661128 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29852/stat : 29852 (java) S 29835 29838 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92715510 10916995072 90065 33554432000 4194304 4196468 140725012688896 139887367494112 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29853] ppid=29835 vsize=10661128 memory=8556 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29853/stat : 29853 (java) S 29835 29838 27985 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 92715510 10916995072 90065 33554432000 4194304 4196468 140725012688896 139887366441904 139887799159426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 360260 KiB

[startup+4.80065 s]
/proc/loadavg: 3.04 1.89 1.61 6/215 29853
/proc/meminfo: memFree=20689500/32770624 swapFree=67108860/67108860
[pid=29838] ppid=29835 vsize=10661128 memory=609548 CPUtime=10.46 cores=0,2,4,6
/proc/29838/stat : 29838 (java) S 29835 29838 27985 0 -1 1077944320 19988 0 0 0 1003 43 0 0 20 0 15 0 92715504 10916995072 152387 33554432000 4194304 4196468 140725012688896 140725012671440 139887799148279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
/proc/29838/statm: 2665282 152387 3183 1 0 2627263 0
[pid=29838/tid=29840] ppid=29835 vsize=10661128 memory=140264505332320 CPUtime=3.83 cores=0,2,4,6
/proc/29838/task/29840/stat : 29840 (java) R 29835 29838 27985 0 -1 4202560 6339 0 0 0 378 5 0 0 20 0 15 0 92715505 10916995072 152387 33554432000 4194304 4196468 140725012688896 139887803383704 139887439986480 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29841] ppid=29835 vsize=10661128 memory=0 CPUtime=0.9 cores=0,2,4,6
/proc/29838/task/29841/stat : 29841 (java) S 29835 29838 27985 0 -1 1077944384 749 0 0 0 82 8 0 0 20 0 15 0 92715505 10916995072 152387 33554432000 4194304 4196468 140725012688896 139887757908368 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29842] ppid=29835 vsize=10661128 memory=6655300316396806240 CPUtime=0.89 cores=0,2,4,6
/proc/29838/task/29842/stat : 29842 (java) S 29835 29838 27985 0 -1 1077944384 890 0 0 0 81 8 0 0 20 0 15 0 92715505 10916995072 152387 33554432000 4194304 4196468 140725012688896 139887404460304 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29843] ppid=29835 vsize=10661128 memory=0 CPUtime=0.89 cores=0,2,4,6
/proc/29838/task/29843/stat : 29843 (java) S 29835 29838 27985 0 -1 1077944384 338 0 0 0 81 8 0 0 20 0 15 0 92715505 10916995072 152387 33554432000 4194304 4196468 140725012688896 139887403408016 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29844] ppid=29835 vsize=10661128 memory=0 CPUtime=0.89 cores=0,2,4,6
/proc/29838/task/29844/stat : 29844 (java) S 29835 29838 27985 0 -1 1077944384 423 0 0 0 81 8 0 0 20 0 15 0 92715505 10916995072 152387 33554432000 4194304 4196468 140725012688896 139887402355216 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29845] ppid=29835 vsize=10661128 memory=587128 CPUtime=0.01 cores=0,2,4,6
/proc/29838/task/29845/stat : 29845 (java) S 29835 29838 27985 0 -1 1077944384 2615 0 0 0 1 0 0 0 20 0 15 0 92715507 10916995072 152387 33554432000 4194304 4196468 140725012688896 139887374862960 139887799159426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29846] ppid=29835 vsize=10661128 memory=26884 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29846/stat : 29846 (java) S 29835 29838 27985 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 92715507 10916995072 152387 33554432000 4194304 4196468 140725012688896 139887373808928 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29847] ppid=29835 vsize=10661128 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29847/stat : 29847 (java) S 29835 29838 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92715507 10916995072 152387 33554432000 4194304 4196468 140725012688896 139887372756592 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29848] ppid=29835 vsize=10661128 memory=2400 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29848/stat : 29848 (java) S 29835 29838 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92715510 10916995072 152387 33554432000 4194304 4196468 140725012688896 139887371704912 139887799166875 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29849] ppid=29835 vsize=10661128 memory=1836 CPUtime=1.23 cores=0,2,4,6
/proc/29838/task/29849/stat : 29849 (java) S 29835 29838 27985 0 -1 1077944384 2737 0 0 0 123 0 0 0 20 0 15 0 92715510 10916995072 152387 33554432000 4194304 4196468 140725012688896 139887370651760 139887799159426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29850] ppid=29835 vsize=10661128 memory=13044 CPUtime=1.25 cores=0,2,4,6
/proc/29838/task/29850/stat : 29850 (java) S 29835 29838 27985 0 -1 1077944384 2127 0 0 0 125 0 0 0 20 0 15 0 92715510 10916995072 152387 33554432000 4194304 4196468 140725012688896 139887369598960 139887799159426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29851] ppid=29835 vsize=10661128 memory=792 CPUtime=0.46 cores=0,2,4,6
/proc/29838/task/29851/stat : 29851 (java) S 29835 29838 27985 0 -1 1077944384 2385 0 0 0 45 1 0 0 20 0 15 0 92715510 10916995072 152387 33554432000 4194304 4196468 140725012688896 139887368546672 139887799159426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29852] ppid=29835 vsize=10661128 memory=1952 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29852/stat : 29852 (java) S 29835 29838 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92715510 10916995072 152387 33554432000 4194304 4196468 140725012688896 139887367494112 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29853] ppid=29835 vsize=10661128 memory=1232 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29853/stat : 29853 (java) S 29835 29838 27985 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 15 0 92715510 10916995072 152387 33554432000 4194304 4196468 140725012688896 139887366441904 139887799159426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
Current children cumulated CPU time: 10.46 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 609548 KiB

[startup+5.20061 s]
/proc/loadavg: 3.04 1.89 1.61 3/215 29853
/proc/meminfo: memFree=20688136/32770624 swapFree=67108860/67108860
[pid=29838] ppid=29835 vsize=10661128 memory=606228 CPUtime=10.88 cores=0,2,4,6
/proc/29838/stat : 29838 (java) S 29835 29838 27985 0 -1 1077944320 20763 0 0 0 1045 43 0 0 20 0 15 0 92715504 10916995072 151557 33554432000 4194304 4196468 140725012688896 140725012671440 139887799148279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
/proc/29838/statm: 2665282 151557 3183 1 0 2627263 0
[pid=29838/tid=29840] ppid=29835 vsize=10661128 memory=580 CPUtime=4.23 cores=0,2,4,6
/proc/29838/task/29840/stat : 29840 (java) R 29835 29838 27985 0 -1 4202560 6363 0 0 0 418 5 0 0 20 0 15 0 92715505 10916995072 151557 33554432000 4194304 4196468 140725012688896 139887803383248 139887439986195 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29841] ppid=29835 vsize=10661128 memory=280529010894848 CPUtime=0.9 cores=0,2,4,6
/proc/29838/task/29841/stat : 29841 (java) S 29835 29838 27985 0 -1 1077944384 749 0 0 0 82 8 0 0 20 0 15 0 92715505 10916995072 151557 33554432000 4194304 4196468 140725012688896 139887757908368 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29842] ppid=29835 vsize=10661128 memory=320881719102406967 CPUtime=0.89 cores=0,2,4,6
/proc/29838/task/29842/stat : 29842 (java) S 29835 29838 27985 0 -1 1077944384 890 0 0 0 81 8 0 0 20 0 15 0 92715505 10916995072 151557 33554432000 4194304 4196468 140725012688896 139887404460304 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29843] ppid=29835 vsize=10661128 memory=0 CPUtime=0.89 cores=0,2,4,6
/proc/29838/task/29843/stat : 29843 (java) S 29835 29838 27985 0 -1 1077944384 338 0 0 0 81 8 0 0 20 0 15 0 92715505 10916995072 151557 33554432000 4194304 4196468 140725012688896 139887403408016 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29844] ppid=29835 vsize=10661128 memory=0 CPUtime=0.89 cores=0,2,4,6
/proc/29838/task/29844/stat : 29844 (java) S 29835 29838 27985 0 -1 1077944384 423 0 0 0 81 8 0 0 20 0 15 0 92715505 10916995072 151557 33554432000 4194304 4196468 140725012688896 139887402355216 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29845] ppid=29835 vsize=10661128 memory=3472468560732870960 CPUtime=0.01 cores=0,2,4,6
/proc/29838/task/29845/stat : 29845 (java) S 29835 29838 27985 0 -1 1077944384 2615 0 0 0 1 0 0 0 20 0 15 0 92715507 10916995072 151557 33554432000 4194304 4196468 140725012688896 139887374862960 139887799159426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29846] ppid=29835 vsize=10661128 memory=6944656592455097440 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29846/stat : 29846 (java) S 29835 29838 27985 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 92715507 10916995072 151557 33554432000 4194304 4196468 140725012688896 139887373808928 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29847] ppid=29835 vsize=10661128 memory=6655300316396806240 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29847/stat : 29847 (java) S 29835 29838 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92715507 10916995072 151557 33554432000 4194304 4196468 140725012688896 139887372756592 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29848] ppid=29835 vsize=10661128 memory=-3284643825843719562 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29848/stat : 29848 (java) S 29835 29838 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92715510 10916995072 151557 33554432000 4194304 4196468 140725012688896 139887371704912 139887799166875 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29849] ppid=29835 vsize=10661128 memory=-3689385055762157364 CPUtime=1.24 cores=0,2,4,6
/proc/29838/task/29849/stat : 29849 (java) S 29835 29838 27985 0 -1 1077944384 2819 0 0 0 124 0 0 0 20 0 15 0 92715510 10916995072 151557 33554432000 4194304 4196468 140725012688896 139887370651760 139887799159426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29850] ppid=29835 vsize=10661128 memory=6944613755495348631 CPUtime=1.26 cores=0,2,4,6
/proc/29838/task/29850/stat : 29850 (java) S 29835 29838 27985 0 -1 1077944384 2127 0 0 0 126 0 0 0 20 0 15 0 92715510 10916995072 151557 33554432000 4194304 4196468 140725012688896 139887369598960 139887799159426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29851] ppid=29835 vsize=10661128 memory=6525858347538544147 CPUtime=0.47 cores=0,2,4,6
/proc/29838/task/29851/stat : 29851 (java) S 29835 29838 27985 0 -1 1077944384 2704 0 0 0 46 1 0 0 20 0 15 0 92715510 10916995072 151557 33554432000 4194304 4196468 140725012688896 139887368546672 139887799159426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29852] ppid=29835 vsize=10661128 memory=-7745799325366387508 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29852/stat : 29852 (java) S 29835 29838 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92715510 10916995072 151557 33554432000 4194304 4196468 140725012688896 139887367494112 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29853] ppid=29835 vsize=10661128 memory=-8851153767425282410 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29853/stat : 29853 (java) S 29835 29838 27985 0 -1 1077944384 374 0 0 0 0 0 0 0 20 0 15 0 92715510 10916995072 151557 33554432000 4194304 4196468 140725012688896 139887366441904 139887799159426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
Current children cumulated CPU time: 10.88 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 606228 KiB

[startup+5.6051 s]
/proc/loadavg: 3.04 1.89 1.61 3/215 29853
/proc/meminfo: memFree=20688136/32770624 swapFree=67108860/67108860
[pid=29838] ppid=29835 vsize=10661128 memory=606704 CPUtime=11.38 cores=0,2,4,6
/proc/29838/stat : 29838 (java) S 29835 29838 27985 0 -1 1077944320 21631 0 0 0 1094 44 0 0 20 0 15 0 92715504 10916995072 151676 33554432000 4194304 4196468 140725012688896 140725012671440 139887799148279 0 0 0 16800975 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
/proc/29838/statm: 2665282 151676 3185 1 0 2627263 0
[pid=29838/tid=29840] ppid=29835 vsize=10661128 memory=284484 CPUtime=4.64 cores=0,2,4,6
/proc/29838/task/29840/stat : 29840 (java) R 29835 29838 27985 0 -1 4202560 6503 0 0 0 459 5 0 0 20 0 15 0 92715505 10916995072 151676 33554432000 4194304 4196468 140725012688896 139887803384448 139887440337456 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29841] ppid=29835 vsize=10661128 memory=6791534058613427641 CPUtime=0.9 cores=0,2,4,6
/proc/29838/task/29841/stat : 29841 (java) S 29835 29838 27985 0 -1 1077944384 749 0 0 0 82 8 0 0 20 0 15 0 92715505 10916995072 151676 33554432000 4194304 4196468 140725012688896 139887757908368 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29842] ppid=29835 vsize=10661128 memory=609548 CPUtime=0.89 cores=0,2,4,6
/proc/29838/task/29842/stat : 29842 (java) S 29835 29838 27985 0 -1 1077944384 890 0 0 0 81 8 0 0 20 0 15 0 92715505 10916995072 151676 33554432000 4194304 4196468 140725012688896 139887404460304 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29843] ppid=29835 vsize=10661128 memory=3 CPUtime=0.89 cores=0,2,4,6
/proc/29838/task/29843/stat : 29843 (java) S 29835 29838 27985 0 -1 1077944384 338 0 0 0 81 8 0 0 20 0 15 0 92715505 10916995072 151676 33554432000 4194304 4196468 140725012688896 139887403408016 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29844] ppid=29835 vsize=10661128 memory=254 CPUtime=0.89 cores=0,2,4,6
/proc/29838/task/29844/stat : 29844 (java) S 29835 29838 27985 0 -1 1077944384 423 0 0 0 81 8 0 0 20 0 15 0 92715505 10916995072 151676 33554432000 4194304 4196468 140725012688896 139887402355216 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29845] ppid=29835 vsize=10661128 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/29838/task/29845/stat : 29845 (java) S 29835 29838 27985 0 -1 1077944384 2615 0 0 0 1 0 0 0 20 0 15 0 92715507 10916995072 151676 33554432000 4194304 4196468 140725012688896 139887374862960 139887799159426 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29846] ppid=29835 vsize=10661128 memory=7322 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29846/stat : 29846 (java) S 29835 29838 27985 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 92715507 10916995072 151676 33554432000 4194304 4196468 140725012688896 139887373808928 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29847] ppid=29835 vsize=10661128 memory=1 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29847/stat : 29847 (java) S 29835 29838 27985 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92715507 10916995072 151676 33554432000 4194304 4196468 140725012688896 139887372756592 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29848] ppid=29835 vsize=10661128 memory=0 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29848/stat : 29848 (java) S 29835 29838 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92715510 10916995072 151676 33554432000 4194304 4196468 140725012688896 139887371704912 139887799166875 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29849] ppid=29835 vsize=10661128 memory=0 CPUtime=1.27 cores=0,2,4,6
/proc/29838/task/29849/stat : 29849 (java) S 29835 29838 27985 0 -1 1077944384 2838 0 0 0 127 0 0 0 20 0 15 0 92715510 10916995072 151676 33554432000 4194304 4196468 140725012688896 139887370651760 139887799159426 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29850] ppid=29835 vsize=10661128 memory=26884 CPUtime=1.29 cores=0,2,4,6
/proc/29838/task/29850/stat : 29850 (java) S 29835 29838 27985 0 -1 1077944384 2427 0 0 0 129 0 0 0 20 0 15 0 92715510 10916995072 151676 33554432000 4194304 4196468 140725012688896 139887369598960 139887799159426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29851] ppid=29835 vsize=10661128 memory=1296 CPUtime=0.51 cores=0,2,4,6
/proc/29838/task/29851/stat : 29851 (java) S 29835 29838 27985 0 -1 1077944384 3113 0 0 0 49 2 0 0 20 0 15 0 92715510 10916995072 151676 33554432000 4194304 4196468 140725012688896 139887368546672 139887799159426 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 1 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29852] ppid=29835 vsize=10661128 memory=2400 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29852/stat : 29852 (java) S 29835 29838 27985 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92715510 10916995072 151676 33554432000 4194304 4196468 140725012688896 139887367494112 139887799158485 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
[pid=29838/tid=29853] ppid=29835 vsize=10661128 memory=1836 CPUtime=0 cores=0,2,4,6
/proc/29838/task/29853/stat : 29853 (java) S 29835 29838 27985 0 -1 1077944384 374 0 0 0 0 0 0 0 20 0 15 0 92715510 10916995072 151676 33554432000 4194304 4196468 140725012688896 139887366441904 139887799159426 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28745728 140725012694189 140725012694281 140725012694281 140725012697039 0
Current children cumulated CPU time: 11.38 s
Current children cumulated vsize: 10661128 KiB
Current children cumulated memory: 606704 KiB

Child status: 0
Real time (s): 5.69569
CPU time (s): 11.5257
CPU user time (s): 11.0762
CPU system time (s): 0.449509
CPU usage (%): 202.358
Max. virtual memory (cumulated for all children) (KiB): 10661128
Max. memory (cumulated for all children) (KiB): 609548

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.0762
system time used= 0.449509
maximum resident set size= 609552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21881
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1886
involuntary context switches= 60


# summary of solver processes directly reported to runsolver:
#   pid: 29838
#   total CPU time (s): 11.5257
#   total CPU user time (s): 11.0762
#   total CPU system time (s): 0.449509

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.062316 second user time and 0.090641 second system time

The end

Launcher Data 

Begin job on node107 at 2018-07-28 06:18:43
IDJOB=4298284
IDBENCH=141095
IDSOLVER=2766
FILE ID=node107/4298284-1532751523
RUNJOBID= node107-1532741422-28016
PBS_JOBID= 21022454
Free space on /tmp= 54448 MiB

SOLVER NAME= Solver of Xavier Schul & Yvhan Smal 2018-04-28
BENCH NAME= XCSP18/Rlfap_mini/Rlfap-opt_mini/Rlfap-ext-scen-04-opt_c18.xml
COMMAND LINE= java -jar minicp-1.0.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298284-1532751523/watcher-4298284-1532751523 -o /tmp/evaluation-result-4298284-1532751523/solver-4298284-1532751523 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532741422-28016 --watchdog 2580  java -jar minicp-1.0.jar HOME/instance-4298284-1532751523.xml

TIME LIMIT= 2520 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 4

MD5SUM BENCH= 617c7fbe4ff46dae5ed8ccf637b784a5
RANDOM SEED=759249945

node107.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.40
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        21285436 kB
MemAvailable:   29962296 kB
Buffers:          223100 kB
Cached:          8690248 kB
SwapCached:            0 kB
Active:          5809540 kB
Inactive:        5128928 kB
Active(anon):    1974312 kB
Inactive(anon):    78596 kB
Active(file):    3835228 kB
Inactive(file):  5050332 kB
Unevictable:        7164 kB
Mlocked:            7164 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              2136 kB
Writeback:             0 kB
AnonPages:       2035452 kB
Mapped:            54748 kB
Shmem:             25228 kB
Slab:             243136 kB
SReclaimable:     214272 kB
SUnreclaim:        28864 kB
KernelStack:        3696 kB
PageTables:         9136 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4057200 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1925120 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:       91520 kB
DirectMap2M:    33454080 kB

Free space on /tmp at the end= 54444 MiB
End job on node107 at 2018-07-28 06:18:49