Trace number 4298248

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
slowpoke 2018-04-29? (NS) 14.0398 4.25515

General information on the benchmark

NameRlfap_mini/Rlfap-opt_mini/
Rlfap-ext-graph-14-opt_c18.xml
MD5SUM8ca8b1dfd302123404cd8e6125777478
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark14
Best CPU time to get the best result obtained on this benchmark2520.08
Satisfiable
(Un)Satisfiability was proved
Number of variables916
Number of constraints4638
Number of domains6
Minimum domain size22
Maximum domain size44
Distribution of domain sizes[{"size":22,"count":4},{"size":24,"count":2},{"size":36,"count":426},{"size":42,"count":26},{"size":44,"count":458}]
Minimum variable degree6
Maximum variable degree27
Distribution of variable degrees[{"degree":6,"count":2},{"degree":8,"count":62},{"degree":9,"count":41},{"degree":10,"count":352},{"degree":11,"count":180},{"degree":12,"count":118},{"degree":13,"count":63},{"degree":14,"count":34},{"degree":15,"count":20},{"degree":16,"count":22},{"degree":17,"count":6},{"degree":19,"count":4},{"degree":21,"count":6},{"degree":23,"count":2},{"degree":24,"count":2},{"degree":27,"count":2}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":4638}]
Number of extensional constraints4638
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":4638}]
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: 2520
0.12/0.13	c memlimit: -1
0.12/0.13	c nbcore: -1
13.96/4.22	c Caught NotImplementedException
13.96/4.22	c 	xcsp3.XCSP3.buildObjToMinimize(XCSP3.java:629)
13.96/4.22	c 	org.xcsp.parser.XCallbacks.loadObj(XCallbacks.java:573)
13.96/4.22	c 	org.xcsp.parser.XCallbacks.lambda$loadObjectives$7(XCallbacks.java:542)
13.96/4.22	c 	java.util.ArrayList$ArrayListSpliterator.forEachRemaining(ArrayList.java:1374)
13.96/4.22	c 	java.util.stream.ReferencePipeline$Head.forEach(ReferencePipeline.java:580)
13.96/4.22	c 	org.xcsp.parser.XCallbacks.loadObjectives(XCallbacks.java:542)
13.96/4.22	c 	org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:300)
13.96/4.22	c 	org.xcsp.parser.XCallbacks.loadInstance(XCallbacks.java:320)
13.96/4.22	c 	xcsp3.XCSP3.<init>(XCSP3.java:84)
13.96/4.22	c 	xcsp3.CompetitionApp.runSolver(CompetitionApp.java:63)
13.96/4.22	c 	xcsp3.CompetitionApp.main(CompetitionApp.java:51)
13.96/4.22	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 (12748 MiB free)
  memory of node 1: 16384 MiB (12083 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4298248-1532752681/watcher-4298248-1532752681 -o /tmp/evaluation-result-4298248-1532752681/solver-4298248-1532752681 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532740162-2004 --watchdog 2580 java -jar minicp-1.0.jar HOME/instance-4298248-1532752681.xml --timelimit 2520 

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
solver pid=3547, runsolver pid=3544
Current StackSize limit: 8192 KiB


[startup+0.100084 s]*
/proc/loadavg: 2.13 2.15 2.11 5/215 3562
/proc/meminfo: memFree=25411904/32770624 swapFree=67108792/67108860
[pid=3547] ppid=3544 vsize=10661056 memory=27688 CPUtime=0.12 cores=0,2,4,6
/proc/3547/stat : 3547 (java) S 3544 3547 1972 0 -1 1077944320 5270 0 0 0 11 1 0 0 20 0 15 0 92831386 10916921344 6922 33554432000 4194304 4196468 140725542661360 140725542643904 140635200802551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
/proc/3547/statm: 2665264 6922 2844 1 0 2627263 0
[pid=3547/tid=3549] ppid=3544 vsize=10661056 memory=-8391715128652690624 CPUtime=0.09 cores=0,2,4,6
/proc/3547/task/3549/stat : 3549 (java) R 3544 3547 1972 0 -1 4202560 3139 0 0 0 9 0 0 0 20 0 15 0 92831386 10916921344 6922 33554432000 4194304 4196468 140725542661360 140635205025136 140635193043941 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3550] ppid=3544 vsize=10661056 memory=-7522837583129502606 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3550/stat : 3550 (java) S 3544 3547 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92831387 10916921344 6922 33554432000 4194304 4196468 140725542661360 140635153423120 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3551] ppid=3544 vsize=10661056 memory=139902325630592 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3551/stat : 3551 (java) S 3544 3547 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92831387 10916921344 6922 33554432000 4194304 4196468 140725542661360 140635152370576 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3552] ppid=3544 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3552/stat : 3552 (java) S 3544 3547 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92831387 10916921344 6922 33554432000 4194304 4196468 140725542661360 140635151318032 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3553] ppid=3544 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3553/stat : 3553 (java) S 3544 3547 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92831387 10916921344 6922 33554432000 4194304 4196468 140725542661360 140635150265488 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3554] ppid=3544 vsize=10661056 memory=139902325630592 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3554/stat : 3554 (java) S 3544 3547 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92831388 10916921344 6922 33554432000 4194304 4196468 140725542661360 140634759976944 140635200813698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3555] ppid=3544 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3555/stat : 3555 (java) S 3544 3547 1972 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92831389 10916921344 6922 33554432000 4194304 4196468 140725542661360 140634758923168 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3556] ppid=3544 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3556/stat : 3556 (java) S 3544 3547 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92831389 10916921344 6922 33554432000 4194304 4196468 140725542661360 140634757870576 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3557] ppid=3544 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3557/stat : 3557 (java) S 3544 3547 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92831391 10916921344 6922 33554432000 4194304 4196468 140725542661360 140634756819152 140635200821147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3558] ppid=3544 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3558/stat : 3558 (java) S 3544 3547 1972 0 -1 1077944384 430 0 0 0 0 0 0 0 20 0 15 0 92831391 10916921344 6922 33554432000 4194304 4196468 140725542661360 140634755766768 140635200813698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3559] ppid=3544 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3559/stat : 3559 (java) S 3544 3547 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92831391 10916921344 6922 33554432000 4194304 4196468 140725542661360 140634754714224 140635200813698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3560] ppid=3544 vsize=10661056 memory=139902325630592 CPUtime=0.01 cores=0,2,4,6
/proc/3547/task/3560/stat : 3560 (java) R 3544 3547 1972 0 -1 4202560 335 0 0 0 1 0 0 0 20 0 15 0 92831391 10916921344 6922 33554432000 4194304 4196468 140725542661360 140634753661680 140635200814486 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3561] ppid=3544 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3561/stat : 3561 (java) S 3544 3547 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92831391 10916921344 6922 33554432000 4194304 4196468 140725542661360 140634752609376 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3562] ppid=3544 vsize=10661056 memory=139902325630592 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3562/stat : 3562 (java) S 3544 3547 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92831392 10916921344 6922 33554432000 4194304 4196468 140725542661360 140634751555888 140635200813698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 27688 KiB

[startup+0.210412 s]*
/proc/loadavg: 2.13 2.15 2.11 4/215 3562
/proc/meminfo: memFree=25400492/32770624 swapFree=67108792/67108860
[pid=3547] ppid=3544 vsize=10661056 memory=40196 CPUtime=0.34 cores=0,2,4,6
/proc/3547/stat : 3547 (java) S 3544 3547 1972 0 -1 1077944320 8164 0 0 0 32 2 0 0 20 0 15 0 92831386 10916921344 10049 33554432000 4194304 4196468 140725542661360 140725542643904 140635200802551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
/proc/3547/statm: 2665264 10049 2997 1 0 2627263 0
[pid=3547/tid=3549] ppid=3544 vsize=10661056 memory=7022364594140610616 CPUtime=0.2 cores=0,2,4,6
/proc/3547/task/3549/stat : 3549 (java) R 3544 3547 1972 0 -1 4202560 5107 0 0 0 19 1 0 0 20 0 15 0 92831386 10916921344 10049 33554432000 4194304 4196468 140725542661360 140635205040160 140635200814486 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3550] ppid=3544 vsize=10661056 memory=343 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3550/stat : 3550 (java) S 3544 3547 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92831387 10916921344 10049 33554432000 4194304 4196468 140725542661360 140635153423120 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3551] ppid=3544 vsize=10661056 memory=139902326118788 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3551/stat : 3551 (java) S 3544 3547 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92831387 10916921344 10049 33554432000 4194304 4196468 140725542661360 140635152370576 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3552] ppid=3544 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3552/stat : 3552 (java) S 3544 3547 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92831387 10916921344 10049 33554432000 4194304 4196468 140725542661360 140635151318032 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3553] ppid=3544 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3553/stat : 3553 (java) S 3544 3547 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92831387 10916921344 10049 33554432000 4194304 4196468 140725542661360 140635150265488 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3554] ppid=3544 vsize=10661056 memory=139902325630592 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3554/stat : 3554 (java) S 3544 3547 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92831388 10916921344 10049 33554432000 4194304 4196468 140725542661360 140634759976944 140635200813698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3555] ppid=3544 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3555/stat : 3555 (java) S 3544 3547 1972 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92831389 10916921344 10049 33554432000 4194304 4196468 140725542661360 140634758923168 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3556] ppid=3544 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3556/stat : 3556 (java) S 3544 3547 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92831389 10916921344 10049 33554432000 4194304 4196468 140725542661360 140634757870576 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3557] ppid=3544 vsize=10661056 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3557/stat : 3557 (java) S 3544 3547 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92831391 10916921344 10049 33554432000 4194304 4196468 140725542661360 140634756819152 140635200821147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3558] ppid=3544 vsize=10661056 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/3547/task/3558/stat : 3558 (java) S 3544 3547 1972 0 -1 1077944384 677 0 0 0 3 0 0 0 20 0 15 0 92831391 10916921344 10049 33554432000 4194304 4196468 140725542661360 140634755766768 140635200813698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3559] ppid=3544 vsize=10661056 memory=-1 CPUtime=0.01 cores=0,2,4,6
/proc/3547/task/3559/stat : 3559 (java) S 3544 3547 1972 0 -1 1077944384 102 0 0 0 1 0 0 0 20 0 15 0 92831391 10916921344 10049 33554432000 4194304 4196468 140725542661360 140634754714224 140635200813698 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3560] ppid=3544 vsize=10661056 memory=139902325630592 CPUtime=0.08 cores=0,2,4,6
/proc/3547/task/3560/stat : 3560 (java) R 3544 3547 1972 0 -1 4202560 909 0 0 0 8 0 0 0 20 0 15 0 92831391 10916921344 10049 33554432000 4194304 4196468 140725542661360 140634753659488 140635179675792 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3561] ppid=3544 vsize=10661056 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3561/stat : 3561 (java) S 3544 3547 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92831391 10916921344 10049 33554432000 4194304 4196468 140725542661360 140634752609376 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3562] ppid=3544 vsize=10661056 memory=139902325630592 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3562/stat : 3562 (java) S 3544 3547 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92831392 10916921344 10049 33554432000 4194304 4196468 140725542661360 140634751555888 140635200813698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 10661056 KiB
Current children cumulated memory: 40196 KiB

[startup+0.310733 s]*
/proc/loadavg: 2.13 2.15 2.11 6/215 3562
/proc/meminfo: memFree=25388188/32770624 swapFree=67108792/67108860
[pid=3547] ppid=3544 vsize=10661132 memory=52944 CPUtime=0.69 cores=0,2,4,6
/proc/3547/stat : 3547 (java) S 3544 3547 1972 0 -1 1077944320 10337 0 0 0 66 3 0 0 20 0 15 0 92831386 10916999168 13236 33554432000 4194304 4196468 140725542661360 140725542643904 140635200802551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
/proc/3547/statm: 2665283 13236 3076 1 0 2627263 0
[pid=3547/tid=3549] ppid=3544 vsize=10661132 memory=7022364594140610616 CPUtime=0.29 cores=0,2,4,6
/proc/3547/task/3549/stat : 3549 (java) R 3544 3547 1972 0 -1 4202560 5412 0 0 0 28 1 0 0 20 0 15 0 92831386 10916999168 13302 33554432000 4194304 4196468 140725542661360 140635205036496 140635200814486 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3550] ppid=3544 vsize=10661132 memory=4294977868 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3550/stat : 3550 (java) S 3544 3547 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92831387 10916999168 13302 33554432000 4194304 4196468 140725542661360 140635153423120 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3551] ppid=3544 vsize=10661132 memory=139902326109310 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3551/stat : 3551 (java) S 3544 3547 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92831387 10916999168 13302 33554432000 4194304 4196468 140725542661360 140635152370576 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3552] ppid=3544 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3552/stat : 3552 (java) S 3544 3547 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92831387 10916999168 13302 33554432000 4194304 4196468 140725542661360 140635151318032 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3553] ppid=3544 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3553/stat : 3553 (java) S 3544 3547 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92831387 10916999168 13302 33554432000 4194304 4196468 140725542661360 140635150265488 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3554] ppid=3544 vsize=10661132 memory=139902325630592 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3554/stat : 3554 (java) S 3544 3547 1972 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 92831388 10916999168 13302 33554432000 4194304 4196468 140725542661360 140634759976944 140635200813698 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3555] ppid=3544 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3555/stat : 3555 (java) S 3544 3547 1972 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92831389 10916999168 13302 33554432000 4194304 4196468 140725542661360 140634758923168 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3556] ppid=3544 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3556/stat : 3556 (java) S 3544 3547 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92831389 10916999168 13302 33554432000 4194304 4196468 140725542661360 140634757870576 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3557] ppid=3544 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3557/stat : 3557 (java) S 3544 3547 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92831391 10916999168 13302 33554432000 4194304 4196468 140725542661360 140634756819152 140635200821147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3558] ppid=3544 vsize=10661132 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/3547/task/3558/stat : 3558 (java) R 3544 3547 1972 0 -1 4202560 1464 0 0 0 11 0 0 0 20 0 15 0 92831391 10916999168 13302 33554432000 4194304 4196468 140725542661360 140634755752648 140635200816400 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3559] ppid=3544 vsize=10661132 memory=-1 CPUtime=0.1 cores=0,2,4,6
/proc/3547/task/3559/stat : 3559 (java) R 3544 3547 1972 0 -1 4202560 732 0 0 0 10 0 0 0 20 0 15 0 92831391 10916999168 13302 33554432000 4194304 4196468 140725542661360 140634754693056 140635181502848 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3560] ppid=3544 vsize=10661132 memory=139902325630592 CPUtime=0.15 cores=0,2,4,6
/proc/3547/task/3560/stat : 3560 (java) R 3544 3547 1972 0 -1 4202560 1370 0 0 0 15 0 0 0 20 0 15 0 92831391 10916999168 13302 33554432000 4194304 4196468 140725542661360 140634753661680 140635185057600 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3561] ppid=3544 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3561/stat : 3561 (java) S 3544 3547 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92831391 10916999168 13302 33554432000 4194304 4196468 140725542661360 140634752609376 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3562] ppid=3544 vsize=10661132 memory=139902325630592 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3562/stat : 3562 (java) S 3544 3547 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92831392 10916999168 13302 33554432000 4194304 4196468 140725542661360 140634751555888 140635200813698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 52944 KiB

[startup+0.700892 s]
/proc/loadavg: 2.13 2.15 2.11 6/215 3562
/proc/meminfo: memFree=25357348/32770624 swapFree=67108792/67108860
[pid=3547] ppid=3544 vsize=10661132 memory=128696 CPUtime=1.94 cores=0,2,4,6
/proc/3547/stat : 3547 (java) S 3544 3547 1972 0 -1 1077944320 11870 0 0 0 190 4 0 0 20 0 15 0 92831386 10916999168 32174 33554432000 4194304 4196468 140725542661360 140725542643904 140635200802551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
/proc/3547/statm: 2665283 32174 3113 1 0 2627263 0
[pid=3547/tid=3549] ppid=3544 vsize=10661132 memory=155166498103617 CPUtime=0.68 cores=0,2,4,6
/proc/3547/task/3549/stat : 3549 (java) R 3544 3547 1972 0 -1 4202560 5615 0 0 0 65 3 0 0 20 0 15 0 92831386 10916999168 32174 33554432000 4194304 4196468 140725542661360 140635205040128 140635200814486 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3550] ppid=3544 vsize=10661132 memory=551299 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3550/stat : 3550 (java) S 3544 3547 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92831387 10916999168 32174 33554432000 4194304 4196468 140725542661360 140635153423120 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3551] ppid=3544 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3551/stat : 3551 (java) S 3544 3547 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92831387 10916999168 32174 33554432000 4194304 4196468 140725542661360 140635152370576 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3552] ppid=3544 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3552/stat : 3552 (java) S 3544 3547 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92831387 10916999168 32174 33554432000 4194304 4196468 140725542661360 140635151318032 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3553] ppid=3544 vsize=10661132 memory=7809523229951467576 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3553/stat : 3553 (java) S 3544 3547 1972 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 92831387 10916999168 32174 33554432000 4194304 4196468 140725542661360 140635150265488 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3554] ppid=3544 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3554/stat : 3554 (java) S 3544 3547 1972 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 92831388 10916999168 32174 33554432000 4194304 4196468 140725542661360 140634759976944 140635200813698 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3555] ppid=3544 vsize=10661132 memory=-3535359994705171810 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3555/stat : 3555 (java) S 3544 3547 1972 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92831389 10916999168 32174 33554432000 4194304 4196468 140725542661360 140634758923168 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3556] ppid=3544 vsize=10661132 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3556/stat : 3556 (java) S 3544 3547 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92831389 10916999168 32174 33554432000 4194304 4196468 140725542661360 140634757870576 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3557] ppid=3544 vsize=10661132 memory=6944656592387989600 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3557/stat : 3557 (java) S 3544 3547 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92831391 10916999168 32174 33554432000 4194304 4196468 140725542661360 140634756819152 140635200821147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3558] ppid=3544 vsize=10661132 memory=0 CPUtime=0.45 cores=0,2,4,6
/proc/3547/task/3558/stat : 3558 (java) R 3544 3547 1972 0 -1 4202560 1729 0 0 0 45 0 0 0 20 0 15 0 92831391 10916999168 32174 33554432000 4194304 4196468 140725542661360 140634755750848 140635185927292 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3559] ppid=3544 vsize=10661132 memory=0 CPUtime=0.44 cores=0,2,4,6
/proc/3547/task/3559/stat : 3559 (java) R 3544 3547 1972 0 -1 4202560 1184 0 0 0 44 0 0 0 20 0 15 0 92831391 10916999168 32174 33554432000 4194304 4196468 140725542661360 140634754702816 140635184792877 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3560] ppid=3544 vsize=10661132 memory=0 CPUtime=0.33 cores=0,2,4,6
/proc/3547/task/3560/stat : 3560 (java) R 3544 3547 1972 0 -1 1077944384 1969 0 0 0 33 0 0 0 20 0 15 0 92831391 10916999168 32174 33554432000 4194304 4196468 140725542661360 140634753661680 140635200813698 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3561] ppid=3544 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3561/stat : 3561 (java) S 3544 3547 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92831391 10916999168 32174 33554432000 4194304 4196468 140725542661360 140634752609376 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3562] ppid=3544 vsize=10661132 memory=18268 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3562/stat : 3562 (java) S 3544 3547 1972 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 92831392 10916999168 32174 33554432000 4194304 4196468 140725542661360 140634751555888 140635200813698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
Current children cumulated CPU time: 1.94 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 128696 KiB

[startup+1.50078 s]
/proc/loadavg: 2.13 2.15 2.11 5/215 3562
/proc/meminfo: memFree=25191192/32770624 swapFree=67108792/67108860
[pid=3547] ppid=3544 vsize=10661132 memory=594624 CPUtime=4.42 cores=0,2,4,6
/proc/3547/stat : 3547 (java) S 3544 3547 1972 0 -1 1077944320 13821 0 0 0 393 49 0 0 20 0 15 0 92831386 10916999168 148656 33554432000 4194304 4196468 140725542661360 140725542643904 140635200802551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
/proc/3547/statm: 2665283 148656 3157 1 0 2627263 0
[pid=3547/tid=3549] ppid=3544 vsize=10661132 memory=10799 CPUtime=1.16 cores=0,2,4,6
/proc/3547/task/3549/stat : 3549 (java) S 3544 3547 1972 0 -1 1077944384 5717 0 0 0 111 5 0 0 20 0 15 0 92831386 10916999168 148656 33554432000 4194304 4196468 140725542661360 140635205040544 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3550] ppid=3544 vsize=10661132 memory=8112282956445269571 CPUtime=0.29 cores=0,2,4,6
/proc/3547/task/3550/stat : 3550 (java) R 3544 3547 1972 0 -1 4202560 238 0 0 0 19 10 0 0 20 0 15 0 92831387 10916999168 148656 33554432000 4194304 4196468 140725542661360 140635153423320 140635185830411 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3551] ppid=3544 vsize=10661132 memory=0 CPUtime=0.29 cores=0,2,4,6
/proc/3547/task/3551/stat : 3551 (java) R 3544 3547 1972 0 -1 4202560 149 0 0 0 19 10 0 0 20 0 15 0 92831387 10916999168 148656 33554432000 4194304 4196468 140725542661360 140635152370776 140635185829970 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3552] ppid=3544 vsize=10661132 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/3547/task/3552/stat : 3552 (java) R 3544 3547 1972 0 -1 4202560 246 0 0 0 20 10 0 0 20 0 15 0 92831387 10916999168 148656 33554432000 4194304 4196468 140725542661360 140635151318032 140635185830438 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3553] ppid=3544 vsize=10661132 memory=6943526294502006880 CPUtime=0.3 cores=0,2,4,6
/proc/3547/task/3553/stat : 3553 (java) R 3544 3547 1972 0 -1 4202560 249 0 0 0 20 10 0 0 20 0 15 0 92831387 10916999168 148656 33554432000 4194304 4196468 140725542661360 140635150265488 140635185826606 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3554] ppid=3544 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3554/stat : 3554 (java) S 3544 3547 1972 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 92831388 10916999168 148656 33554432000 4194304 4196468 140725542661360 140634759975456 140635200812757 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0

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

[startup+3.11074 s]
/proc/loadavg: 2.36 2.20 2.13 7/215 3562
/proc/meminfo: memFree=24450928/32770624 swapFree=67108792/67108860
[pid=3547] ppid=3544 vsize=10661132 memory=1067788 CPUtime=10.13 cores=0,2,4,6
/proc/3547/stat : 3547 (java) S 3544 3547 1972 0 -1 1077944320 63006 0 0 0 913 100 0 0 20 0 15 0 92831386 10916999168 266947 33554432000 4194304 4196468 140725542661360 140725542643904 140635200802551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
/proc/3547/statm: 2665283 266947 3172 1 0 2627263 0
[pid=3547/tid=3549] ppid=3544 vsize=10661132 memory=0 CPUtime=1.39 cores=0,2,4,6
/proc/3547/task/3549/stat : 3549 (java) S 3544 3547 1972 0 -1 1077944384 5844 0 0 0 134 5 0 0 20 0 15 0 92831386 10916999168 266947 33554432000 4194304 4196468 140725542661360 140635205040544 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3550] ppid=3544 vsize=10661132 memory=895484 CPUtime=1.64 cores=0,2,4,6
/proc/3547/task/3550/stat : 3550 (java) R 3544 3547 1972 0 -1 4202560 12460 0 0 0 141 23 0 0 20 0 15 0 92831387 10916999168 266947 33554432000 4194304 4196468 140725542661360 140635153423320 140635182428310 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3551] ppid=3544 vsize=10661132 memory=0 CPUtime=1.64 cores=0,2,4,6
/proc/3547/task/3551/stat : 3551 (java) R 3544 3547 1972 0 -1 4202560 12594 0 0 0 142 22 0 0 20 0 15 0 92831387 10916999168 266947 33554432000 4194304 4196468 140725542661360 140635152370776 140635182428461 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3552] ppid=3544 vsize=10661132 memory=139902184596088 CPUtime=1.66 cores=0,2,4,6
/proc/3547/task/3552/stat : 3552 (java) R 3544 3547 1972 0 -1 4202560 12513 0 0 0 144 22 0 0 20 0 15 0 92831387 10916999168 266947 33554432000 4194304 4196468 140725542661360 140635151317920 140635182428310 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3553] ppid=3544 vsize=10661132 memory=30571577220044 CPUtime=1.67 cores=0,2,4,6
/proc/3547/task/3553/stat : 3553 (java) R 3544 3547 1972 0 -1 4202560 11739 0 0 0 144 23 0 0 20 0 15 0 92831387 10916999168 266947 33554432000 4194304 4196468 140725542661360 140635150265688 140635179997795 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3554] ppid=3544 vsize=10661132 memory=139902184613831 CPUtime=0.01 cores=0,2,4,6
/proc/3547/task/3554/stat : 3554 (java) S 3544 3547 1972 0 -1 1077944384 709 0 0 0 1 0 0 0 20 0 15 0 92831388 10916999168 266947 33554432000 4194304 4196468 140725542661360 140634759975456 140635200812757 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3555] ppid=3544 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3555/stat : 3555 (java) S 3544 3547 1972 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92831389 10916999168 266947 33554432000 4194304 4196468 140725542661360 140634758923168 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3556] ppid=3544 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3556/stat : 3556 (java) S 3544 3547 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92831389 10916999168 266947 33554432000 4194304 4196468 140725542661360 140634757870576 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3557] ppid=3544 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3557/stat : 3557 (java) S 3544 3547 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92831391 10916999168 266947 33554432000 4194304 4196468 140725542661360 140634756819152 140635200821147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3558] ppid=3544 vsize=10661132 memory=0 CPUtime=0.83 cores=0,2,4,6
/proc/3547/task/3558/stat : 3558 (java) S 3544 3547 1972 0 -1 1077944384 1955 0 0 0 83 0 0 0 20 0 15 0 92831391 10916999168 266947 33554432000 4194304 4196468 140725542661360 140634755766768 140635200813698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3559] ppid=3544 vsize=10661132 memory=162064 CPUtime=0.8 cores=0,2,4,6
/proc/3547/task/3559/stat : 3559 (java) S 3544 3547 1972 0 -1 1077944384 1654 0 0 0 80 0 0 0 20 0 15 0 92831391 10916999168 266947 33554432000 4194304 4196468 140725542661360 140634754714224 140635200813698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3560] ppid=3544 vsize=10661132 memory=279804368987632 CPUtime=0.39 cores=0,2,4,6
/proc/3547/task/3560/stat : 3560 (java) S 3544 3547 1972 0 -1 1077944384 2174 0 0 0 39 0 0 0 20 0 15 0 92831391 10916999168 266947 33554432000 4194304 4196468 140725542661360 140634753661680 140635200813698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3561] ppid=3544 vsize=10661132 memory=644 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3561/stat : 3561 (java) S 3544 3547 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92831391 10916999168 266947 33554432000 4194304 4196468 140725542661360 140634752609376 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3562] ppid=3544 vsize=10661132 memory=1792 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3562/stat : 3562 (java) S 3544 3547 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92831392 10916999168 266947 33554432000 4194304 4196468 140725542661360 140634751555888 140635200813698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
Current children cumulated CPU time: 10.13 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1067788 KiB

[startup+4.25509 s]
# the end of solver process 3547 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=12.9946 s, system=1.04525 s

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

[startup+3.20178 s]
/proc/loadavg: 2.36 2.20 2.13 7/215 3562
/proc/meminfo: memFree=24450928/32770624 swapFree=67108792/67108860
[pid=3547] ppid=3544 vsize=10661132 memory=1096500 CPUtime=10.49 cores=0,2,4,6
/proc/3547/stat : 3547 (java) S 3544 3547 1972 0 -1 1077944320 63578 0 0 0 948 101 0 0 20 0 15 0 92831386 10916999168 274125 33554432000 4194304 4196468 140725542661360 140725542643904 140635200802551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
/proc/3547/statm: 2665283 274125 3172 1 0 2627263 0
[pid=3547/tid=3549] ppid=3544 vsize=10661132 memory=956 CPUtime=1.39 cores=0,2,4,6
/proc/3547/task/3549/stat : 3549 (java) S 3544 3547 1972 0 -1 1077944384 5844 0 0 0 134 5 0 0 20 0 15 0 92831386 10916999168 274125 33554432000 4194304 4196468 140725542661360 140635205040544 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3550] ppid=3544 vsize=10661132 memory=2464 CPUtime=1.74 cores=0,2,4,6
/proc/3547/task/3550/stat : 3550 (java) R 3544 3547 1972 0 -1 4202560 12644 0 0 0 150 24 0 0 20 0 15 0 92831387 10916999168 274125 33554432000 4194304 4196468 140725542661360 140635153423320 140635185753171 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3551] ppid=3544 vsize=10661132 memory=6153431502485415267 CPUtime=1.73 cores=0,2,4,6
/proc/3547/task/3551/stat : 3551 (java) R 3544 3547 1972 0 -1 4202560 12681 0 0 0 151 22 0 0 20 0 15 0 92831387 10916999168 274125 33554432000 4194304 4196468 140725542661360 140635152370576 140635185256576 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3552] ppid=3544 vsize=10661132 memory=7881696724453321575 CPUtime=1.75 cores=0,2,4,6
/proc/3547/task/3552/stat : 3552 (java) R 3544 3547 1972 0 -1 4202560 12723 0 0 0 152 23 0 0 20 0 15 0 92831387 10916999168 274125 33554432000 4194304 4196468 140725542661360 140635151318032 140635185500190 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3553] ppid=3544 vsize=10661132 memory=6154538792250073449 CPUtime=1.75 cores=0,2,4,6
/proc/3547/task/3553/stat : 3553 (java) R 3544 3547 1972 0 -1 4202560 11830 0 0 0 152 23 0 0 20 0 15 0 92831387 10916999168 274125 33554432000 4194304 4196468 140725542661360 140635150265688 140635185500376 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3554] ppid=3544 vsize=10661132 memory=7440052414108952401 CPUtime=0.01 cores=0,2,4,6
/proc/3547/task/3554/stat : 3554 (java) S 3544 3547 1972 0 -1 1077944384 709 0 0 0 1 0 0 0 20 0 15 0 92831388 10916999168 274125 33554432000 4194304 4196468 140725542661360 140634759975264 140635200812757 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3555] ppid=3544 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3555/stat : 3555 (java) S 3544 3547 1972 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92831389 10916999168 274125 33554432000 4194304 4196468 140725542661360 140634758923168 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3556] ppid=3544 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3556/stat : 3556 (java) S 3544 3547 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92831389 10916999168 274125 33554432000 4194304 4196468 140725542661360 140634757870576 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3557] ppid=3544 vsize=10661132 memory=1428 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3557/stat : 3557 (java) S 3544 3547 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92831391 10916999168 274125 33554432000 4194304 4196468 140725542661360 140634756819152 140635200821147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3558] ppid=3544 vsize=10661132 memory=0 CPUtime=0.83 cores=0,2,4,6
/proc/3547/task/3558/stat : 3558 (java) S 3544 3547 1972 0 -1 1077944384 1955 0 0 0 83 0 0 0 20 0 15 0 92831391 10916999168 274125 33554432000 4194304 4196468 140725542661360 140634755766768 140635200813698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3559] ppid=3544 vsize=10661132 memory=4580 CPUtime=0.8 cores=0,2,4,6
/proc/3547/task/3559/stat : 3559 (java) S 3544 3547 1972 0 -1 1077944384 1654 0 0 0 80 0 0 0 20 0 15 0 92831391 10916999168 274125 33554432000 4194304 4196468 140725542661360 140634754714224 140635200813698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3560] ppid=3544 vsize=10661132 memory=-1161699032755964503 CPUtime=0.39 cores=0,2,4,6
/proc/3547/task/3560/stat : 3560 (java) S 3544 3547 1972 0 -1 1077944384 2174 0 0 0 39 0 0 0 20 0 15 0 92831391 10916999168 274125 33554432000 4194304 4196468 140725542661360 140634753661680 140635200813698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3561] ppid=3544 vsize=10661132 memory=279804368672480 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3561/stat : 3561 (java) S 3544 3547 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92831391 10916999168 274125 33554432000 4194304 4196468 140725542661360 140634752609376 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3562] ppid=3544 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3562/stat : 3562 (java) S 3544 3547 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92831392 10916999168 274125 33554432000 4194304 4196468 140725542661360 140634751555888 140635200813698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
Current children cumulated CPU time: 10.49 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1096500 KiB

[startup+4.00742 s]*
/proc/loadavg: 2.36 2.20 2.13 6/215 3562
/proc/meminfo: memFree=24324220/32770624 swapFree=67108792/67108860
[pid=3547] ppid=3544 vsize=10661132 memory=1115140 CPUtime=13.65 cores=0,2,4,6
/proc/3547/stat : 3547 (java) S 3544 3547 1972 0 -1 1077944320 69024 0 0 0 1263 102 0 0 20 0 15 0 92831386 10916999168 278785 33554432000 4194304 4196468 140725542661360 140725542643904 140635200802551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
/proc/3547/statm: 2665283 278785 3174 1 0 2627263 0
[pid=3547/tid=3549] ppid=3544 vsize=10661132 memory=8112282956445269571 CPUtime=1.41 cores=0,2,4,6
/proc/3547/task/3549/stat : 3549 (java) R 3544 3547 1972 0 -1 4202560 5938 0 0 0 136 5 0 0 20 0 15 0 92831386 10916999168 278785 33554432000 4194304 4196468 140725542661360 140635205040544 140634833215468 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3550] ppid=3544 vsize=10661132 memory=0 CPUtime=2.51 cores=0,2,4,6
/proc/3547/task/3550/stat : 3550 (java) S 3544 3547 1972 0 -1 1077944384 12760 0 0 0 227 24 0 0 20 0 15 0 92831387 10916999168 278785 33554432000 4194304 4196468 140725542661360 140635153423120 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3551] ppid=3544 vsize=10661132 memory=4122121279667001271 CPUtime=2.5 cores=0,2,4,6
/proc/3547/task/3551/stat : 3551 (java) S 3544 3547 1972 0 -1 1077944384 12754 0 0 0 228 22 0 0 20 0 15 0 92831387 10916999168 278785 33554432000 4194304 4196468 140725542661360 140635152370576 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3552] ppid=3544 vsize=10661132 memory=7090706938310715250 CPUtime=2.53 cores=0,2,4,6
/proc/3547/task/3552/stat : 3552 (java) S 3544 3547 1972 0 -1 1077944384 12853 0 0 0 230 23 0 0 20 0 15 0 92831387 10916999168 278785 33554432000 4194304 4196468 140725542661360 140635151318032 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3553] ppid=3544 vsize=10661132 memory=279804368979664 CPUtime=2.52 cores=0,2,4,6
/proc/3547/task/3553/stat : 3553 (java) S 3544 3547 1972 0 -1 1077944384 11859 0 0 0 229 23 0 0 20 0 15 0 92831387 10916999168 278785 33554432000 4194304 4196468 140725542661360 140635150265488 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3554] ppid=3544 vsize=10661132 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/3547/task/3554/stat : 3554 (java) S 3544 3547 1972 0 -1 1077944384 4737 0 0 0 2 0 0 0 20 0 15 0 92831388 10916999168 278785 33554432000 4194304 4196468 140725542661360 140634759976944 140635200813698 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3555] ppid=3544 vsize=10661132 memory=32 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3555/stat : 3555 (java) S 3544 3547 1972 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92831389 10916999168 278785 33554432000 4194304 4196468 140725542661360 140634758923168 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3556] ppid=3544 vsize=10661132 memory=288230596050954561 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3556/stat : 3556 (java) S 3544 3547 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92831389 10916999168 278785 33554432000 4194304 4196468 140725542661360 140634757870576 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3557] ppid=3544 vsize=10661132 memory=16106991471319462 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3557/stat : 3557 (java) S 3544 3547 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92831391 10916999168 278785 33554432000 4194304 4196468 140725542661360 140634756819152 140635200821147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3558] ppid=3544 vsize=10661132 memory=0 CPUtime=0.85 cores=0,2,4,6
/proc/3547/task/3558/stat : 3558 (java) S 3544 3547 1972 0 -1 1077944384 2245 0 0 0 85 0 0 0 20 0 15 0 92831391 10916999168 278785 33554432000 4194304 4196468 140725542661360 140634755766768 140635200813698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3559] ppid=3544 vsize=10661132 memory=-1 CPUtime=0.82 cores=0,2,4,6
/proc/3547/task/3559/stat : 3559 (java) R 3544 3547 1972 0 -1 4202560 2255 0 0 0 82 0 0 0 20 0 15 0 92831391 10916999168 278785 33554432000 4194304 4196468 140725542661360 140634754695600 140635181981273 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3560] ppid=3544 vsize=10661132 memory=139902325630592 CPUtime=0.39 cores=0,2,4,6
/proc/3547/task/3560/stat : 3560 (java) S 3544 3547 1972 0 -1 1077944384 2247 0 0 0 39 0 0 0 20 0 15 0 92831391 10916999168 278785 33554432000 4194304 4196468 140725542661360 140634753661680 140635200813698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3561] ppid=3544 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3561/stat : 3561 (java) S 3544 3547 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92831391 10916999168 278785 33554432000 4194304 4196468 140725542661360 140634752609376 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3562] ppid=3544 vsize=10661132 memory=139902325630592 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3562/stat : 3562 (java) S 3544 3547 1972 0 -1 1077944384 25 0 0 0 0 0 0 0 20 0 15 0 92831392 10916999168 278785 33554432000 4194304 4196468 140725542661360 140634751555888 140635200813698 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
Current children cumulated CPU time: 13.65 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1115140 KiB

[startup+4.20074 s]
/proc/loadavg: 2.36 2.20 2.13 6/215 3562
/proc/meminfo: memFree=24324220/32770624 swapFree=67108792/67108860
[pid=3547] ppid=3544 vsize=10661132 memory=1115208 CPUtime=13.96 cores=0,2,4,6
/proc/3547/stat : 3547 (java) S 3544 3547 1972 0 -1 1077944320 70090 0 0 0 1294 102 0 0 20 0 15 0 92831386 10916999168 278802 33554432000 4194304 4196468 140725542661360 140725542643904 140635200802551 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
/proc/3547/statm: 2665283 278802 3182 1 0 2627263 0
[pid=3547/tid=3549] ppid=3544 vsize=10661132 memory=10885 CPUtime=1.6 cores=0,2,4,6
/proc/3547/task/3549/stat : 3549 (java) R 3544 3547 1972 0 -1 4202560 6100 0 0 0 155 5 0 0 20 0 15 0 92831386 10916999168 278802 33554432000 4194304 4196468 140725542661360 140635205037760 140634833215948 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3550] ppid=3544 vsize=10661132 memory=15822192223483835 CPUtime=2.51 cores=0,2,4,6
/proc/3547/task/3550/stat : 3550 (java) S 3544 3547 1972 0 -1 1077944384 12760 0 0 0 227 24 0 0 20 0 15 0 92831387 10916999168 278802 33554432000 4194304 4196468 140725542661360 140635153423120 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3551] ppid=3544 vsize=10661132 memory=-7677921907076152471 CPUtime=2.5 cores=0,2,4,6
/proc/3547/task/3551/stat : 3551 (java) S 3544 3547 1972 0 -1 1077944384 12754 0 0 0 228 22 0 0 20 0 15 0 92831387 10916999168 278802 33554432000 4194304 4196468 140725542661360 140635152370576 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3552] ppid=3544 vsize=10661132 memory=-8452003606095185085 CPUtime=2.53 cores=0,2,4,6
/proc/3547/task/3552/stat : 3552 (java) S 3544 3547 1972 0 -1 1077944384 12853 0 0 0 230 23 0 0 20 0 15 0 92831387 10916999168 278802 33554432000 4194304 4196468 140725542661360 140635151318032 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3553] ppid=3544 vsize=10661132 memory=0 CPUtime=2.52 cores=0,2,4,6
/proc/3547/task/3553/stat : 3553 (java) S 3544 3547 1972 0 -1 1077944384 11859 0 0 0 229 23 0 0 20 0 15 0 92831387 10916999168 278802 33554432000 4194304 4196468 140725542661360 140635150265488 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3554] ppid=3544 vsize=10661132 memory=-6083357482974729054 CPUtime=0.02 cores=0,2,4,6
/proc/3547/task/3554/stat : 3554 (java) S 3544 3547 1972 0 -1 1077944384 4742 0 0 0 2 0 0 0 20 0 15 0 92831388 10916999168 278802 33554432000 4194304 4196468 140725542661360 140634759976944 140635200813698 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3555] ppid=3544 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3555/stat : 3555 (java) S 3544 3547 1972 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 92831389 10916999168 278802 33554432000 4194304 4196468 140725542661360 140634758923168 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3556] ppid=3544 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3556/stat : 3556 (java) S 3544 3547 1972 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 92831389 10916999168 278802 33554432000 4194304 4196468 140725542661360 140634757870576 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3557] ppid=3544 vsize=10661132 memory=0 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3557/stat : 3557 (java) S 3544 3547 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92831391 10916999168 278802 33554432000 4194304 4196468 140725542661360 140634756819152 140635200821147 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3558] ppid=3544 vsize=10661132 memory=7229510325598512960 CPUtime=0.91 cores=0,2,4,6
/proc/3547/task/3558/stat : 3558 (java) R 3544 3547 1972 0 -1 4202560 2894 0 0 0 91 0 0 0 20 0 15 0 92831391 10916999168 278802 33554432000 4194304 4196468 140725542661360 140634755766768 140635182346274 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3559] ppid=3544 vsize=10661132 memory=5859271421084521832 CPUtime=0.88 cores=0,2,4,6
/proc/3547/task/3559/stat : 3559 (java) S 3544 3547 1972 0 -1 1077944384 2522 0 0 0 88 0 0 0 20 0 15 0 92831391 10916999168 278802 33554432000 4194304 4196468 140725542661360 140634754714224 140635200813698 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3560] ppid=3544 vsize=10661132 memory=5788626802952987989 CPUtime=0.39 cores=0,2,4,6
/proc/3547/task/3560/stat : 3560 (java) S 3544 3547 1972 0 -1 1077944384 2256 0 0 0 39 0 0 0 20 0 15 0 92831391 10916999168 278802 33554432000 4194304 4196468 140725542661360 140634753661680 140635200813698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3561] ppid=3544 vsize=10661132 memory=279804368650480 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3561/stat : 3561 (java) S 3544 3547 1972 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 92831391 10916999168 278802 33554432000 4194304 4196468 140725542661360 140634752609376 140635200812757 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
[pid=3547/tid=3562] ppid=3544 vsize=10661132 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/3547/task/3562/stat : 3562 (java) S 3544 3547 1972 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 15 0 92831392 10916999168 278802 33554432000 4194304 4196468 140725542661360 140634751555888 140635200813698 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 10207232 140725542663324 140725542663433 140725542663433 140725542666191 0
Current children cumulated CPU time: 13.96 s
Current children cumulated vsize: 10661132 KiB
Current children cumulated memory: 1115208 KiB

Child status: 0
Real time (s): 4.25515
CPU time (s): 14.0398
CPU user time (s): 12.9946
CPU system time (s): 1.04525
CPU usage (%): 329.949
Max. virtual memory (cumulated for all children) (KiB): 10661132
Max. memory (cumulated for all children) (KiB): 1115208

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.9946
system time used= 1.04525
maximum resident set size= 1115552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 70358
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= 2000
involuntary context switches= 115


# summary of solver processes directly reported to runsolver:
#   pid: 3547
#   total CPU time (s): 14.0398
#   total CPU user time (s): 12.9946
#   total CPU system time (s): 1.04525

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.060384 second user time and 0.074055 second system time

The end

Launcher Data 

Begin job on node150 at 2018-07-28 06:38:01
IDJOB=4298248
IDBENCH=141090
IDSOLVER=2765
FILE ID=node150/4298248-1532752681
RUNJOBID= node150-1532740162-2004
PBS_JOBID= 21022443
Free space on /tmp= 53092 MiB

SOLVER NAME= slowpoke 2018-04-29
BENCH NAME= XCSP18/Rlfap_mini/Rlfap-opt_mini/Rlfap-ext-graph-14-opt_c18.xml
COMMAND LINE= java -jar minicp-1.0.jar BENCHNAME --timelimit TIMEOUT
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4298248-1532752681/watcher-4298248-1532752681 -o /tmp/evaluation-result-4298248-1532752681/solver-4298248-1532752681 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1532740162-2004 --watchdog 2580  java -jar minicp-1.0.jar HOME/instance-4298248-1532752681.xml --timelimit 2520

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

MD5SUM BENCH= 8ca8b1dfd302123404cd8e6125777478
RANDOM SEED=462187837

node150.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.76
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.76
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.76
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.76
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:        25427652 kB
MemAvailable:   29226116 kB
Buffers:          196136 kB
Cached:          3842100 kB
SwapCached:           32 kB
Active:          4172648 kB
Inactive:        2626520 kB
Active(anon):    2713144 kB
Inactive(anon):    76192 kB
Active(file):    1459504 kB
Inactive(file):  2550328 kB
Unevictable:        7752 kB
Mlocked:            7752 kB
SwapTotal:      67108860 kB
SwapFree:       67108792 kB
Dirty:              1448 kB
Writeback:            16 kB
AnonPages:       2768448 kB
Mapped:            54464 kB
Shmem:             25156 kB
Slab:             237456 kB
SReclaimable:     208932 kB
SUnreclaim:        28524 kB
KernelStack:        3520 kB
PageTables:        10912 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4084824 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2607104 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      126336 kB
DirectMap2M:    33419264 kB

Free space on /tmp at the end= 53092 MiB
End job on node150 at 2018-07-28 06:38:06