Trace number 4292785

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 NameAnswerCPU timeWall clock time
Concrete 3.8-SuperNG 2018-06-13UNSAT 9.29737 4.61045

General information on the benchmark

NameColouredQueens/
ColouredQueens-06_c18.xml
MD5SUM7b867b166641a9e2c5ffb0d7a40768d4
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.015727
Satisfiable
(Un)Satisfiability was proved
Number of variables36
Number of constraints30
Number of domains1
Minimum domain size6
Maximum domain size6
Distribution of domain sizes[{"size":6,"count":36}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":4},{"degree":4,"count":32}]
Minimum constraint arity2
Maximum constraint arity6
Distribution of constraint arities[{"arity":2,"count":4},{"arity":3,"count":4},{"arity":4,"count":4},{"arity":5,"count":4},{"arity":6,"count":14}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"allDifferent","count":30}]
Optimization problemNO
Type of objective

Solver Data 

0.91/0.79	c Concrete v3.8.1528841891564 running
9.12/4.59	s UNSATISFIABLE

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4292785-1532293260/watcher-4292785-1532293260 -o /tmp/evaluation-result-4292785-1532293260/solver-4292785-1532293260 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532293260-9184 --watchdog 2580 concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=68360016 -superng HOME/instance-4292785-1532293260.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
9213, runsolver pid=9209
Starting watchdog threadCurrent StackSize limit: 8192 KiB


[startup+0.10447 s]*
/proc/loadavg: 2.00 2.02 1.98 4/214 9290
/proc/meminfo: memFree=18077396/32770624 swapFree=67108860/67108860
[pid=9213] ppid=9209 vsize=113256 memory=1612 CPUtime=0.01 cores=0,2,4,6
/proc/9213/stat : 9213 (bash) S 9209 9213 3751 0 -1 4202496 877 5683 0 1 0 0 0 1 20 0 1 0 46888958 115974144 403 33554432000 4194304 5098028 140720536652432 140720536646440 140482427358208 0 0 4100 65536 18446744071580971376 0 0 17 4 0 0 0 0 0 7196144 7232144 17129472 140720536659095 140720536659240 140720536659240 140720536661998 0
/proc/9213/statm: 28314 403 319 221 0 119 0
[pid=9270] ppid=9213 vsize=113256 memory=716 CPUtime=0 cores=0,2,4,6
/proc/9270/stat : 9270 (bash) S 9213 9213 3751 0 -1 4202560 154 0 0 0 0 0 0 0 20 0 1 0 46888962 115974144 179 33554432000 4194304 5098028 140720536652432 140720536645112 140482427183740 0 65536 4096 65538 18446744071579417331 0 0 17 6 0 0 0 0 0 7196144 7232144 17129472 140720536659095 140720536659240 140720536659240 140720536661998 0
/proc/9270/statm: 28314 179 95 221 0 119 0
[pid=9273] ppid=9270 vsize=10260324 memory=20656 CPUtime=0.03 cores=0,2,4,6
/proc/9273/stat : 9273 (java) S 9270 9213 3751 0 -1 1077944320 3965 0 0 0 3 0 0 0 20 0 9 0 46888962 10506571776 5164 33554432000 4194304 4196468 140725069621824 140725069604368 139937267904247 0 0 0 16800971 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 7127040 140725069628707 140725069628721 140725069628721 140725069631439 0
/proc/9273/statm: 2565081 5164 2160 1 0 2527622 0
[pid=9273/tid=9276] ppid=9270 vsize=10260324 memory=-8412654372658052764 CPUtime=0.03 cores=0,2,4,6
/proc/9273/task/9276/stat : 9276 (java) D 9270 9213 3751 0 -1 1077944384 2627 0 0 0 3 0 0 0 20 0 9 0 46888962 10506571776 5164 33554432000 4194304 4196468 140725069621824 139937272139640 139937260583536 0 4 0 16800971 18446744072101572132 0 0 -1 0 0 0 0 0 0 6293624 6294260 7127040 140725069628707 140725069628721 140725069628721 140725069631439 0
[pid=9273/tid=9278] ppid=9270 vsize=10260324 memory=664964232733811010 CPUtime=0 cores=0,2,4,6
/proc/9273/task/9278/stat : 9278 (java) S 9270 9213 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 46888965 10506571776 5164 33554432000 4194304 4196468 140725069621824 139937220525072 139937267914453 0 4 0 16800971 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7127040 140725069628707 140725069628721 140725069628721 140725069631439 0
[pid=9273/tid=9280] ppid=9270 vsize=10260324 memory=140699348170368 CPUtime=0 cores=0,2,4,6
/proc/9273/task/9280/stat : 9280 (java) S 9270 9213 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 46888965 10506571776 5164 33554432000 4194304 4196468 140725069621824 139937219472528 139937267914453 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7127040 140725069628707 140725069628721 140725069628721 140725069631439 0
[pid=9273/tid=9282] ppid=9270 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9273/task/9282/stat : 9282 (java) S 9270 9213 3751 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 46888965 10506571776 5164 33554432000 4194304 4196468 140725069621824 139937218419472 139937267914453 0 4 0 16800971 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7127040 140725069628707 140725069628721 140725069628721 140725069631439 0
[pid=9273/tid=9284] ppid=9270 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9273/task/9284/stat : 9284 (java) S 9270 9213 3751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 46888965 10506571776 5164 33554432000 4194304 4196468 140725069621824 139937217366928 139937267914453 0 4 0 16800971 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7127040 140725069628707 140725069628721 140725069628721 140725069631439 0
[pid=9273/tid=9286] ppid=9270 vsize=10260324 memory=140699348170368 CPUtime=0 cores=0,2,4,6
/proc/9273/task/9286/stat : 9286 (java) S 9270 9213 3751 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 46888966 10506571776 5164 33554432000 4194304 4196468 140725069621824 139936827062512 139937267915394 0 0 0 16800971 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7127040 140725069628707 140725069628721 140725069628721 140725069631439 0
[pid=9273/tid=9288] ppid=9270 vsize=10260324 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/9273/task/9288/stat : 9288 (java) S 9270 9213 3751 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 46888967 10506571776 5164 33554432000 4194304 4196468 140725069621824 139936826008736 139937267914453 0 4 0 16800971 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7127040 140725069628707 140725069628721 140725069628721 140725069631439 0
[pid=9273/tid=9289] ppid=9270 vsize=10260324 memory=0 CPUtime=0 cores=0,2,4,6
/proc/9273/task/9289/stat : 9289 (java) S 9270 9213 3751 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 46888967 10506571776 5164 33554432000 4194304 4196468 140725069621824 139936824955632 139937267914453 0 4 0 16800971 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7127040 140725069628707 140725069628721 140725069628721 140725069631439 0
[pid=9274] ppid=9270 vsize=113488 memory=972 CPUtime=0 cores=0,2,4,6
/proc/9274/stat : 9274 (awk) S 9270 9213 3751 0 -1 4202496 425 0 0 0 0 0 0 0 20 0 1 0 46888962 116211712 243 33554432000 4194304 4609284 140729568703360 140729568702536 140145321872384 0 0 4096 1216 18446744071580971376 0 0 17 6 0 0 0 0 0 6708720 6711756 31055872 140729568712019 140729568712049 140729568712049 140729568714735 0
/proc/9274/statm: 28372 243 204 102 0 88 0
Current children cumulated CPU time: 0.04 s
Current children cumulated vsize: 10600324 KiB
Current children cumulated memory: 23956 KiB

[startup+0.212187 s]*
/proc/loadavg: 2.00 2.02 1.98 5/220 9348
/proc/meminfo: memFree=18061472/32770624 swapFree=67108860/67108860
[pid=9213] ppid=9209 vsize=10818856 memory=32792 CPUtime=0.17 cores=0,2,4,6
/proc/9213/stat : 9213 (java) S 9209 9213 3751 0 -1 1077944320 6423 13014 0 1 8 1 5 3 20 0 15 0 46888958 11078508544 8198 33554432000 4194304 4196468 140729840111568 140729840094112 139940002991863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
/proc/9213/statm: 2704714 8198 2823 1 0 2667149 0
[pid=9213/tid=9322] ppid=9209 vsize=10818856 memory=7022364594140610616 CPUtime=0.14 cores=0,2,4,6
/proc/9213/task/9322/stat : 9322 (java) R 9209 9213 3751 0 -1 4202560 3220 13014 0 1 6 0 5 3 20 0 15 0 46888972 11078508544 8198 33554432000 4194304 4196468 140729840111568 139939974832016 139940003003798 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9327] ppid=9209 vsize=10818856 memory=342 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9327/stat : 9327 (java) S 9209 9213 3751 0 -1 1077944384 2 13014 0 1 0 0 5 3 20 0 15 0 46888973 11078508544 8198 33554432000 4194304 4196468 140729840111568 139940007234064 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9328] ppid=9209 vsize=10818856 memory=140699348179832 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9328/stat : 9328 (java) S 9209 9213 3751 0 -1 1077944384 2 13014 0 1 0 0 5 3 20 0 15 0 46888973 11078508544 8198 33554432000 4194304 4196468 140729840111568 139939906124432 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9329] ppid=9209 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9329/stat : 9329 (java) S 9209 9213 3751 0 -1 1077944384 1 13014 0 1 0 0 5 3 20 0 15 0 46888973 11078508544 8198 33554432000 4194304 4196468 140729840111568 139939905071376 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9330] ppid=9209 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9330/stat : 9330 (java) S 9209 9213 3751 0 -1 1077944384 2 13014 0 1 0 0 5 3 20 0 15 0 46888973 11078508544 8198 33554432000 4194304 4196468 140729840111568 139939904018832 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9334] ppid=9209 vsize=10818856 memory=140699348170368 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9334/stat : 9334 (java) S 9209 9213 3751 0 -1 1077944384 2 13014 0 1 0 0 5 3 20 0 15 0 46888975 11078508544 8198 33554432000 4194304 4196468 140729840111568 139939462007536 139940003003010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9335] ppid=9209 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9335/stat : 9335 (java) S 9209 9213 3751 0 -1 1077944384 13 13014 0 1 0 0 5 3 20 0 15 0 46888975 11078508544 8198 33554432000 4194304 4196468 140729840111568 139938892867232 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9336] ppid=9209 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9336/stat : 9336 (java) S 9209 9213 3751 0 -1 1077944384 1 13014 0 1 0 0 5 3 20 0 15 0 46888975 11078508544 8198 33554432000 4194304 4196468 140729840111568 139938758649072 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9343] ppid=9209 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9343/stat : 9343 (java) S 9209 9213 3751 0 -1 1077944384 3 13014 0 1 0 0 5 3 20 0 15 0 46888978 11078508544 8198 33554432000 4194304 4196468 140729840111568 139938518358480 139940003010459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9344] ppid=9209 vsize=10818856 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9344/stat : 9344 (java) S 9209 9213 3751 0 -1 1077944384 442 13014 0 1 0 0 5 3 20 0 15 0 46888978 11078508544 8198 33554432000 4194304 4196468 140729840111568 139939460954352 139940003003010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9345] ppid=9209 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9345/stat : 9345 (java) S 9209 9213 3751 0 -1 1077944384 9 13014 0 1 0 0 5 3 20 0 15 0 46888978 11078508544 8198 33554432000 4194304 4196468 140729840111568 139939459901808 139940003003010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9346] ppid=9209 vsize=10818856 memory=140699348170368 CPUtime=0.09 cores=0,2,4,6
/proc/9213/task/9346/stat : 9346 (java) R 9209 9213 3751 0 -1 4202560 533 13014 0 1 1 0 5 3 20 0 15 0 46888978 11078508544 8198 33554432000 4194304 4196468 140729840111568 139939458848752 139940003013210 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9347] ppid=9209 vsize=10818856 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9347/stat : 9347 (java) S 9209 9213 3751 0 -1 1077944384 3 13014 0 1 0 0 5 3 20 0 15 0 46888978 11078508544 8198 33554432000 4194304 4196468 140729840111568 139938484799840 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9348] ppid=9209 vsize=10818856 memory=140699348170368 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9348/stat : 9348 (java) S 9209 9213 3751 0 -1 1077944384 1 13014 0 1 0 0 5 3 20 0 15 0 46888979 11078508544 8198 33554432000 4194304 4196468 140729840111568 139939457797168 139940003003010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
Current children cumulated CPU time: 0.17 s
Current children cumulated vsize: 10818856 KiB
Current children cumulated memory: 32792 KiB

[startup+0.310394 s]*
/proc/loadavg: 2.00 2.02 1.98 5/220 9348
/proc/meminfo: memFree=18030136/32770624 swapFree=67108860/67108860
[pid=9213] ppid=9209 vsize=10819352 memory=49076 CPUtime=0.32 cores=0,2,4,6
/proc/9213/stat : 9213 (java) S 9209 9213 3751 0 -1 1077944320 9746 13014 0 1 22 2 5 3 20 0 15 0 46888958 11079016448 12269 33554432000 4194304 4196468 140729840111568 140729840094112 139940002991863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
/proc/9213/statm: 2704838 12269 3042 1 0 2667149 0
[pid=9213/tid=9322] ppid=9209 vsize=10819352 memory=590597216962636211 CPUtime=0.23 cores=0,2,4,6
/proc/9213/task/9322/stat : 9322 (java) R 9209 9213 3751 0 -1 4202560 6390 13014 0 1 14 1 5 3 20 0 15 0 46888972 11079016448 12269 33554432000 4194304 4196468 140729840111568 139939974783696 139939987072350 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9327] ppid=9209 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9327/stat : 9327 (java) S 9209 9213 3751 0 -1 1077944384 2 13014 0 1 0 0 5 3 20 0 15 0 46888973 11079016448 12269 33554432000 4194304 4196468 140729840111568 139940007234064 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9328] ppid=9209 vsize=10819352 memory=140699348445230 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9328/stat : 9328 (java) S 9209 9213 3751 0 -1 1077944384 2 13014 0 1 0 0 5 3 20 0 15 0 46888973 11079016448 12269 33554432000 4194304 4196468 140729840111568 139939906124432 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9329] ppid=9209 vsize=10819352 memory=7228388883869491304 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9329/stat : 9329 (java) S 9209 9213 3751 0 -1 1077944384 1 13014 0 1 0 0 5 3 20 0 15 0 46888973 11079016448 12269 33554432000 4194304 4196468 140729840111568 139939905071376 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9330] ppid=9209 vsize=10819352 memory=3760822589597300024 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9330/stat : 9330 (java) S 9209 9213 3751 0 -1 1077944384 2 13014 0 1 0 0 5 3 20 0 15 0 46888973 11079016448 12269 33554432000 4194304 4196468 140729840111568 139939904018832 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9334] ppid=9209 vsize=10819352 memory=3760963284583460530 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9334/stat : 9334 (java) S 9209 9213 3751 0 -1 1077944384 2 13014 0 1 0 0 5 3 20 0 15 0 46888975 11079016448 12269 33554432000 4194304 4196468 140729840111568 139939462007536 139940003003010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9335] ppid=9209 vsize=10819352 memory=3760822563877958964 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9335/stat : 9335 (java) S 9209 9213 3751 0 -1 1077944384 13 13014 0 1 0 0 5 3 20 0 15 0 46888975 11079016448 12269 33554432000 4194304 4196468 140729840111568 139938892867232 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9336] ppid=9209 vsize=10819352 memory=281398472705560 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9336/stat : 9336 (java) S 9209 9213 3751 0 -1 1077944384 1 13014 0 1 0 0 5 3 20 0 15 0 46888975 11079016448 12269 33554432000 4194304 4196468 140729840111568 139938758649072 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9343] ppid=9209 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9343/stat : 9343 (java) S 9209 9213 3751 0 -1 1077944384 3 13014 0 1 0 0 5 3 20 0 15 0 46888978 11079016448 12269 33554432000 4194304 4196468 140729840111568 139938518358480 139940003010459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9344] ppid=9209 vsize=10819352 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9213/task/9344/stat : 9344 (java) S 9209 9213 3751 0 -1 1077944384 521 13014 0 1 1 0 5 3 20 0 15 0 46888978 11079016448 12269 33554432000 4194304 4196468 140729840111568 139939460954352 139940003003010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9345] ppid=9209 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9345/stat : 9345 (java) S 9209 9213 3751 0 -1 1077944384 56 13014 0 1 0 0 5 3 20 0 15 0 46888978 11079016448 12269 33554432000 4194304 4196468 140729840111568 139939459901808 139940003003010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9346] ppid=9209 vsize=10819352 memory=140699348170368 CPUtime=0.12 cores=0,2,4,6
/proc/9213/task/9346/stat : 9346 (java) S 9209 9213 3751 0 -1 1077944384 564 13014 0 1 4 0 5 3 20 0 15 0 46888978 11079016448 12269 33554432000 4194304 4196468 140729840111568 139939458848752 139940003003010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9347] ppid=9209 vsize=10819352 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9347/stat : 9347 (java) S 9209 9213 3751 0 -1 1077944384 3 13014 0 1 0 0 5 3 20 0 15 0 46888978 11079016448 12269 33554432000 4194304 4196468 140729840111568 139938484799840 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9348] ppid=9209 vsize=10819352 memory=140699348170368 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9348/stat : 9348 (java) S 9209 9213 3751 0 -1 1077944384 1 13014 0 1 0 0 5 3 20 0 15 0 46888979 11079016448 12269 33554432000 4194304 4196468 140729840111568 139939457797168 139940003003010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 49076 KiB

[startup+0.700673 s]
/proc/loadavg: 2.00 2.02 1.98 5/225 9356
/proc/meminfo: memFree=18005440/32770624 swapFree=67108860/67108860
[pid=9213] ppid=9209 vsize=10819352 memory=83324 CPUtime=0.91 cores=0,2,4,6
/proc/9213/stat : 9213 (java) S 9209 9213 3751 0 -1 1077944320 16486 13014 0 1 80 3 5 3 20 0 15 0 46888958 11079016448 20831 33554432000 4194304 4196468 140729840111568 140729840094112 139940002991863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
/proc/9213/statm: 2704838 20831 3235 1 0 2667149 0
[pid=9213/tid=9322] ppid=9209 vsize=10819352 memory=0 CPUtime=0.61 cores=0,2,4,6
/proc/9213/task/9322/stat : 9322 (java) R 9209 9213 3751 0 -1 4202560 12181 13014 0 1 51 2 5 3 20 0 15 0 46888972 11079016448 20831 33554432000 4194304 4196468 140729840111568 139939974812152 139939983267197 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9327] ppid=9209 vsize=10819352 memory=2276 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9327/stat : 9327 (java) S 9209 9213 3751 0 -1 1077944384 2 13014 0 1 0 0 5 3 20 0 15 0 46888973 11079016448 20831 33554432000 4194304 4196468 140729840111568 139940007234064 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9328] ppid=9209 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9328/stat : 9328 (java) S 9209 9213 3751 0 -1 1077944384 2 13014 0 1 0 0 5 3 20 0 15 0 46888973 11079016448 20831 33554432000 4194304 4196468 140729840111568 139939906124432 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9329] ppid=9209 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9329/stat : 9329 (java) S 9209 9213 3751 0 -1 1077944384 1 13014 0 1 0 0 5 3 20 0 15 0 46888973 11079016448 20831 33554432000 4194304 4196468 140729840111568 139939905071376 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9330] ppid=9209 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9330/stat : 9330 (java) S 9209 9213 3751 0 -1 1077944384 2 13014 0 1 0 0 5 3 20 0 15 0 46888973 11079016448 20831 33554432000 4194304 4196468 140729840111568 139939904018832 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9334] ppid=9209 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9334/stat : 9334 (java) S 9209 9213 3751 0 -1 1077944384 5 13014 0 1 0 0 5 3 20 0 15 0 46888975 11079016448 20831 33554432000 4194304 4196468 140729840111568 139939462007536 139940003003010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9335] ppid=9209 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9335/stat : 9335 (java) S 9209 9213 3751 0 -1 1077944384 13 13014 0 1 0 0 5 3 20 0 15 0 46888975 11079016448 20831 33554432000 4194304 4196468 140729840111568 139938892867232 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9336] ppid=9209 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9336/stat : 9336 (java) S 9209 9213 3751 0 -1 1077944384 1 13014 0 1 0 0 5 3 20 0 15 0 46888975 11079016448 20831 33554432000 4194304 4196468 140729840111568 139938758649072 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9343] ppid=9209 vsize=10819352 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9343/stat : 9343 (java) S 9209 9213 3751 0 -1 1077944384 3 13014 0 1 0 0 5 3 20 0 15 0 46888978 11079016448 20831 33554432000 4194304 4196468 140729840111568 139938518358480 139940003010459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9344] ppid=9209 vsize=10819352 memory=0 CPUtime=0.16 cores=0,2,4,6
/proc/9213/task/9344/stat : 9344 (java) R 9209 9213 3751 0 -1 4202560 1028 13014 0 1 8 0 5 3 20 0 15 0 46888978 11079016448 20831 33554432000 4194304 4196468 140729840111568 139939460943152 139939983692160 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9345] ppid=9209 vsize=10819352 memory=0 CPUtime=0.14 cores=0,2,4,6
/proc/9213/task/9345/stat : 9345 (java) S 9209 9213 3751 0 -1 1077944384 420 13014 0 1 6 0 5 3 20 0 15 0 46888978 11079016448 20831 33554432000 4194304 4196468 140729840111568 139939459901808 139940003003010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9346] ppid=9209 vsize=10819352 memory=8242257093008242997 CPUtime=0.21 cores=0,2,4,6
/proc/9213/task/9346/stat : 9346 (java) S 9209 9213 3751 0 -1 1077944384 638 13014 0 1 13 0 5 3 20 0 15 0 46888978 11079016448 20831 33554432000 4194304 4196468 140729840111568 139939458848752 139940003003010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9347] ppid=9209 vsize=10819352 memory=5787220424115905362 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9347/stat : 9347 (java) S 9209 9213 3751 0 -1 1077944384 3 13014 0 1 0 0 5 3 20 0 15 0 46888978 11079016448 20831 33554432000 4194304 4196468 140729840111568 139938484799840 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9348] ppid=9209 vsize=10819352 memory=7666364995466192728 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9348/stat : 9348 (java) S 9209 9213 3751 0 -1 1077944384 1 13014 0 1 0 0 5 3 20 0 15 0 46888979 11079016448 20831 33554432000 4194304 4196468 140729840111568 139939457797168 139940003003010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
Current children cumulated CPU time: 0.91 s
Current children cumulated vsize: 10819352 KiB
Current children cumulated memory: 83324 KiB

[startup+1.50067 s]
/proc/loadavg: 2.00 2.02 1.98 6/220 9369
/proc/meminfo: memFree=17919592/32770624 swapFree=67108860/67108860
[pid=9213] ppid=9209 vsize=10834252 memory=176744 CPUtime=2.18 cores=0,2,4,6
/proc/9213/stat : 9213 (java) S 9209 9213 3751 0 -1 1077944320 23818 13014 0 1 202 8 5 3 20 0 15 0 46888958 11094274048 44186 33554432000 4194304 4196468 140729840111568 140729840094112 139940002991863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
/proc/9213/statm: 2708563 44186 3468 1 0 2670221 0
[pid=9213/tid=9322] ppid=9209 vsize=10834252 memory=12834 CPUtime=1.38 cores=0,2,4,6
/proc/9213/task/9322/stat : 9322 (java) R 9209 9213 3751 0 -1 4202560 17761 13014 0 1 125 5 5 3 20 0 15 0 46888972 11094274048 44186 33554432000 4194304 4196468 140729840111568 139939974823232 139939989177810 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9327] ppid=9209 vsize=10834252 memory=25331 CPUtime=0.09 cores=0,2,4,6
/proc/9213/task/9327/stat : 9327 (java) S 9209 9213 3751 0 -1 1077944384 74 13014 0 1 1 0 5 3 20 0 15 0 46888973 11094274048 44186 33554432000 4194304 4196468 140729840111568 139940007234064 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9328] ppid=9209 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9213/task/9328/stat : 9328 (java) S 9209 9213 3751 0 -1 1077944384 16 13014 0 1 1 0 5 3 20 0 15 0 46888973 11094274048 44186 33554432000 4194304 4196468 140729840111568 139939906124432 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9329] ppid=9209 vsize=10834252 memory=281398473481200 CPUtime=0.09 cores=0,2,4,6
/proc/9213/task/9329/stat : 9329 (java) S 9209 9213 3751 0 -1 1077944384 248 13014 0 1 1 0 5 3 20 0 15 0 46888973 11094274048 44186 33554432000 4194304 4196468 140729840111568 139939905071376 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9330] ppid=9209 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9213/task/9330/stat : 9330 (java) S 9209 9213 3751 0 -1 1077944384 35 13014 0 1 1 0 5 3 20 0 15 0 46888973 11094274048 44186 33554432000 4194304 4196468 140729840111568 139939904018832 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9334] ppid=9209 vsize=10834252 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/9213/task/9334/stat : 9334 (java) S 9209 9213 3751 0 -1 1077944384 59 13014 0 1 1 0 5 3 20 0 15 0 46888975 11094274048 44186 33554432000 4194304 4196468 140729840111568 139939462007536 139940003003010 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9335] ppid=9209 vsize=10834252 memory=7084560586640155732 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9335/stat : 9335 (java) S 9209 9213 3751 0 -1 1077944384 13 13014 0 1 0 0 5 3 20 0 15 0 46888975 11094274048 44186 33554432000 4194304 4196468 140729840111568 139938892867296 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9336] ppid=9209 vsize=10834252 memory=7307184289356141163 CPUtime=0.08 cores=0,2,4,6

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

/proc/9213/task/9322/stat : 9322 (java) R 9209 9213 3751 0 -1 4202560 26222 13014 0 1 276 10 5 3 20 0 15 0 46888972 11106877440 62443 33554432000 4194304 4196468 140729840111568 139939974809424 139939988157449 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9327] ppid=9209 vsize=10846560 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/9213/task/9327/stat : 9327 (java) S 9209 9213 3751 0 -1 1077944384 85 13014 0 1 3 0 5 3 20 0 15 0 46888973 11106877440 62443 33554432000 4194304 4196468 140729840111568 139940007234064 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9328] ppid=9209 vsize=10846560 memory=7306916055891837009 CPUtime=0.11 cores=0,2,4,6
/proc/9213/task/9328/stat : 9328 (java) S 9209 9213 3751 0 -1 1077944384 34 13014 0 1 3 0 5 3 20 0 15 0 46888973 11106877440 62443 33554432000 4194304 4196468 140729840111568 139939906124432 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9329] ppid=9209 vsize=10846560 memory=288291069224049812 CPUtime=0.11 cores=0,2,4,6
/proc/9213/task/9329/stat : 9329 (java) S 9209 9213 3751 0 -1 1077944384 266 13014 0 1 3 0 5 3 20 0 15 0 46888973 11106877440 62443 33554432000 4194304 4196468 140729840111568 139939905071376 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9330] ppid=9209 vsize=10846560 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/9213/task/9330/stat : 9330 (java) S 9209 9213 3751 0 -1 1077944384 57 13014 0 1 3 0 5 3 20 0 15 0 46888973 11106877440 62443 33554432000 4194304 4196468 140729840111568 139939904018832 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9334] ppid=9209 vsize=10846560 memory=186772 CPUtime=0.11 cores=0,2,4,6
/proc/9213/task/9334/stat : 9334 (java) S 9209 9213 3751 0 -1 1077944384 285 13014 0 1 3 0 5 3 20 0 15 0 46888975 11106877440 62443 33554432000 4194304 4196468 140729840111568 139939462007536 139940003003010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9335] ppid=9209 vsize=10846560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9335/stat : 9335 (java) S 9209 9213 3751 0 -1 1077944384 13 13014 0 1 0 0 5 3 20 0 15 0 46888975 11106877440 62443 33554432000 4194304 4196468 140729840111568 139938892867296 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9336] ppid=9209 vsize=10846560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9336/stat : 9336 (java) S 9209 9213 3751 0 -1 1077944384 2 13014 0 1 0 0 5 3 20 0 15 0 46888975 11106877440 62443 33554432000 4194304 4196468 140729840111568 139938758649088 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9343] ppid=9209 vsize=10846560 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9343/stat : 9343 (java) S 9209 9213 3751 0 -1 1077944384 3 13014 0 1 0 0 5 3 20 0 15 0 46888978 11106877440 62443 33554432000 4194304 4196468 140729840111568 139938518358480 139940003010459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9344] ppid=9209 vsize=10846560 memory=4140 CPUtime=0.82 cores=0,2,4,6
/proc/9213/task/9344/stat : 9344 (java) S 9209 9213 3751 0 -1 1077944384 2131 13014 0 1 73 1 5 3 20 0 15 0 46888978 11106877440 62443 33554432000 4194304 4196468 140729840111568 139939460954352 139940003003010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9345] ppid=9209 vsize=10846560 memory=2241 CPUtime=0.99 cores=0,2,4,6
/proc/9213/task/9345/stat : 9345 (java) R 9209 9213 3751 0 -1 4202560 2356 13014 0 1 89 2 5 3 20 0 15 0 46888978 11106877440 62443 33554432000 4194304 4196468 140729840111568 139939459901808 139939980849025 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9346] ppid=9209 vsize=10846560 memory=0 CPUtime=1.05 cores=0,2,4,6
/proc/9213/task/9346/stat : 9346 (java) S 9209 9213 3751 0 -1 1077944384 2890 13014 0 1 96 1 5 3 20 0 15 0 46888978 11106877440 62443 33554432000 4194304 4196468 140729840111568 139939458848752 139940003003010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9347] ppid=9209 vsize=10846560 memory=119 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9347/stat : 9347 (java) S 9209 9213 3751 0 -1 1077944384 3 13014 0 1 0 0 5 3 20 0 15 0 46888978 11106877440 62443 33554432000 4194304 4196468 140729840111568 139938484799840 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9348] ppid=9209 vsize=10846560 memory=66 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9348/stat : 9348 (java) S 9209 9213 3751 0 -1 1077944384 2 13014 0 1 0 0 5 3 20 0 15 0 46888979 11106877440 62443 33554432000 4194304 4196468 140729840111568 139939457797168 139940003003010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
Current children cumulated CPU time: 5.78 s
Current children cumulated vsize: 10846560 KiB
Current children cumulated memory: 249772 KiB

[startup+4.61041 s]
# the end of solver process 9213 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=9.02954 s, system=0.267829 s

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

[startup+3.20535 s]
/proc/loadavg: 2.00 2.02 1.98 6/220 9369
/proc/meminfo: memFree=17602936/32770624 swapFree=67108860/67108860
[pid=9213] ppid=9209 vsize=10912096 memory=271180 CPUtime=5.92 cores=0,2,4,6
/proc/9213/stat : 9213 (java) S 9209 9213 3751 0 -1 1077944320 41927 13014 0 1 565 19 5 3 20 0 15 0 46888958 11173986304 67795 33554432000 4194304 4196468 140729840111568 140729840094112 139940002991863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
/proc/9213/statm: 2728024 67795 3495 1 0 2689677 0
[pid=9213/tid=9322] ppid=9209 vsize=10912096 memory=458 CPUtime=3.03 cores=0,2,4,6
/proc/9213/task/9322/stat : 9322 (java) R 9209 9213 3751 0 -1 4202560 31576 13014 0 1 284 11 5 3 20 0 15 0 46888972 11173986304 67795 33554432000 4194304 4196468 140729840111568 139939974797056 139939581025931 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9327] ppid=9209 vsize=10912096 memory=225 CPUtime=0.11 cores=0,2,4,6
/proc/9213/task/9327/stat : 9327 (java) S 9209 9213 3751 0 -1 1077944384 85 13014 0 1 3 0 5 3 20 0 15 0 46888973 11173986304 67795 33554432000 4194304 4196468 140729840111568 139940007234064 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9328] ppid=9209 vsize=10912096 memory=75 CPUtime=0.11 cores=0,2,4,6
/proc/9213/task/9328/stat : 9328 (java) S 9209 9213 3751 0 -1 1077944384 34 13014 0 1 3 0 5 3 20 0 15 0 46888973 11173986304 67795 33554432000 4194304 4196468 140729840111568 139939906124432 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9329] ppid=9209 vsize=10912096 memory=8 CPUtime=0.11 cores=0,2,4,6
/proc/9213/task/9329/stat : 9329 (java) S 9209 9213 3751 0 -1 1077944384 266 13014 0 1 3 0 5 3 20 0 15 0 46888973 11173986304 67795 33554432000 4194304 4196468 140729840111568 139939905071376 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9330] ppid=9209 vsize=10912096 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/9213/task/9330/stat : 9330 (java) S 9209 9213 3751 0 -1 1077944384 57 13014 0 1 3 0 5 3 20 0 15 0 46888973 11173986304 67795 33554432000 4194304 4196468 140729840111568 139939904018832 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9334] ppid=9209 vsize=10912096 memory=281398473160136 CPUtime=0.11 cores=0,2,4,6
/proc/9213/task/9334/stat : 9334 (java) S 9209 9213 3751 0 -1 1077944384 285 13014 0 1 3 0 5 3 20 0 15 0 46888975 11173986304 67795 33554432000 4194304 4196468 140729840111568 139939462007536 139940003003010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9335] ppid=9209 vsize=10912096 memory=-7384994778349281184 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9335/stat : 9335 (java) S 9209 9213 3751 0 -1 1077944384 13 13014 0 1 0 0 5 3 20 0 15 0 46888975 11173986304 67795 33554432000 4194304 4196468 140729840111568 139938892867296 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9336] ppid=9209 vsize=10912096 memory=4137293581110450563 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9336/stat : 9336 (java) S 9209 9213 3751 0 -1 1077944384 2 13014 0 1 0 0 5 3 20 0 15 0 46888975 11173986304 67795 33554432000 4194304 4196468 140729840111568 139938758649088 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9343] ppid=9209 vsize=10912096 memory=8761640388318109335 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9343/stat : 9343 (java) S 9209 9213 3751 0 -1 1077944384 3 13014 0 1 0 0 5 3 20 0 15 0 46888978 11173986304 67795 33554432000 4194304 4196468 140729840111568 139938518358480 139940003010459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9344] ppid=9209 vsize=10912096 memory=-7522837583129307271 CPUtime=0.83 cores=0,2,4,6
/proc/9213/task/9344/stat : 9344 (java) S 9209 9213 3751 0 -1 1077944384 2135 13014 0 1 74 1 5 3 20 0 15 0 46888978 11173986304 67795 33554432000 4194304 4196468 140729840111568 139939460954352 139940003003010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9345] ppid=9209 vsize=10912096 memory=7016714186490735262 CPUtime=1.01 cores=0,2,4,6
/proc/9213/task/9345/stat : 9345 (java) S 9209 9213 3751 0 -1 1077944384 2363 13014 0 1 91 2 5 3 20 0 15 0 46888978 11173986304 67795 33554432000 4194304 4196468 140729840111568 139939459901808 139940003003010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9346] ppid=9209 vsize=10912096 memory=8112282956445269571 CPUtime=1.06 cores=0,2,4,6
/proc/9213/task/9346/stat : 9346 (java) S 9209 9213 3751 0 -1 1077944384 2914 13014 0 1 97 1 5 3 20 0 15 0 46888978 11173986304 67795 33554432000 4194304 4196468 140729840111568 139939458848752 139940003003010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9347] ppid=9209 vsize=10912096 memory=10452 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9347/stat : 9347 (java) S 9209 9213 3751 0 -1 1077944384 3 13014 0 1 0 0 5 3 20 0 15 0 46888978 11173986304 67795 33554432000 4194304 4196468 140729840111568 139938484799840 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9348] ppid=9209 vsize=10912096 memory=1788 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9348/stat : 9348 (java) S 9209 9213 3751 0 -1 1077944384 2 13014 0 1 0 0 5 3 20 0 15 0 46888979 11173986304 67795 33554432000 4194304 4196468 140729840111568 139939457797168 139940003003010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
Current children cumulated CPU time: 5.92 s
Current children cumulated vsize: 10912096 KiB
Current children cumulated memory: 271180 KiB

[startup+4.00063 s]*
/proc/loadavg: 2.00 2.02 1.98 6/220 9369
/proc/meminfo: memFree=17467080/32770624 swapFree=67108860/67108860
[pid=9213] ppid=9209 vsize=10912096 memory=293700 CPUtime=8.22 cores=0,2,4,6
/proc/9213/stat : 9213 (java) S 9209 9213 3751 0 -1 1077944320 49800 13014 0 1 793 21 5 3 20 0 15 0 46888958 11173986304 73425 33554432000 4194304 4196468 140729840111568 140729840094112 139940002991863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
/proc/9213/statm: 2728024 73425 3502 1 0 2689677 0
[pid=9213/tid=9322] ppid=9209 vsize=10912096 memory=576601455566607285 CPUtime=3.83 cores=0,2,4,6
/proc/9213/task/9322/stat : 9322 (java) R 9209 9213 3751 0 -1 4202560 35233 13014 0 1 363 12 5 3 20 0 15 0 46888972 11173986304 73425 33554432000 4194304 4196468 140729840111568 139939974822688 139939584835507 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9327] ppid=9209 vsize=10912096 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/9213/task/9327/stat : 9327 (java) S 9209 9213 3751 0 -1 1077944384 85 13014 0 1 3 0 5 3 20 0 15 0 46888973 11173986304 73425 33554432000 4194304 4196468 140729840111568 139940007234064 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9328] ppid=9209 vsize=10912096 memory=15115189664806552 CPUtime=0.11 cores=0,2,4,6
/proc/9213/task/9328/stat : 9328 (java) S 9209 9213 3751 0 -1 1077944384 34 13014 0 1 3 0 5 3 20 0 15 0 46888973 11173986304 73425 33554432000 4194304 4196468 140729840111568 139939906124432 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9329] ppid=9209 vsize=10912096 memory=297237803878842677 CPUtime=0.11 cores=0,2,4,6
/proc/9213/task/9329/stat : 9329 (java) S 9209 9213 3751 0 -1 1077944384 266 13014 0 1 3 0 5 3 20 0 15 0 46888973 11173986304 73425 33554432000 4194304 4196468 140729840111568 139939905071376 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9330] ppid=9209 vsize=10912096 memory=14690790446205450 CPUtime=0.11 cores=0,2,4,6
/proc/9213/task/9330/stat : 9330 (java) S 9209 9213 3751 0 -1 1077944384 57 13014 0 1 3 0 5 3 20 0 15 0 46888973 11173986304 73425 33554432000 4194304 4196468 140729840111568 139939904018832 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9334] ppid=9209 vsize=10912096 memory=0 CPUtime=0.11 cores=0,2,4,6
/proc/9213/task/9334/stat : 9334 (java) S 9209 9213 3751 0 -1 1077944384 359 13014 0 1 3 0 5 3 20 0 15 0 46888975 11173986304 73425 33554432000 4194304 4196468 140729840111568 139939462007536 139940003003010 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9335] ppid=9209 vsize=10912096 memory=6199840864898265904 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9335/stat : 9335 (java) S 9209 9213 3751 0 -1 1077944384 13 13014 0 1 0 0 5 3 20 0 15 0 46888975 11173986304 73425 33554432000 4194304 4196468 140729840111568 139938892867296 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9336] ppid=9209 vsize=10912096 memory=-5874771483550381248 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9336/stat : 9336 (java) S 9209 9213 3751 0 -1 1077944384 2 13014 0 1 0 0 5 3 20 0 15 0 46888975 11173986304 73425 33554432000 4194304 4196468 140729840111568 139938758649088 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9343] ppid=9209 vsize=10912096 memory=-8814538831020006773 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9343/stat : 9343 (java) S 9209 9213 3751 0 -1 1077944384 3 13014 0 1 0 0 5 3 20 0 15 0 46888978 11173986304 73425 33554432000 4194304 4196468 140729840111568 139938518358480 139940003010459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9344] ppid=9209 vsize=10912096 memory=0 CPUtime=1.43 cores=0,2,4,6
/proc/9213/task/9344/stat : 9344 (java) S 9209 9213 3751 0 -1 1077944384 2592 13014 0 1 134 1 5 3 20 0 15 0 46888978 11173986304 73425 33554432000 4194304 4196468 140729840111568 139939460954352 139940003003010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9345] ppid=9209 vsize=10912096 memory=2314885530434291027 CPUtime=1.64 cores=0,2,4,6
/proc/9213/task/9345/stat : 9345 (java) R 9209 9213 3751 0 -1 4202560 3008 13014 0 1 153 3 5 3 20 0 15 0 46888978 11173986304 73425 33554432000 4194304 4196468 140729840111568 139939459901808 139939980586881 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9346] ppid=9209 vsize=10912096 memory=6011696379021629108 CPUtime=1.32 cores=0,2,4,6
/proc/9213/task/9346/stat : 9346 (java) S 9209 9213 3751 0 -1 1077944384 5947 13014 0 1 123 1 5 3 20 0 15 0 46888978 11173986304 73425 33554432000 4194304 4196468 140729840111568 139939458848752 139940003003010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9347] ppid=9209 vsize=10912096 memory=4995706317185892970 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9347/stat : 9347 (java) S 9209 9213 3751 0 -1 1077944384 3 13014 0 1 0 0 5 3 20 0 15 0 46888978 11173986304 73425 33554432000 4194304 4196468 140729840111568 139938484799840 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9348] ppid=9209 vsize=10912096 memory=2315026131823843319 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9348/stat : 9348 (java) S 9209 9213 3751 0 -1 1077944384 9 13014 0 1 0 0 5 3 20 0 15 0 46888979 11173986304 73425 33554432000 4194304 4196468 140729840111568 139939457797168 139940003003010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
Current children cumulated CPU time: 8.22 s
Current children cumulated vsize: 10912096 KiB
Current children cumulated memory: 293700 KiB

[startup+4.40147 s]
/proc/loadavg: 2.00 2.02 1.98 6/220 9369
/proc/meminfo: memFree=17467080/32770624 swapFree=67108860/67108860
[pid=9213] ppid=9209 vsize=10912096 memory=341188 CPUtime=8.9 cores=0,2,4,6
/proc/9213/stat : 9213 (java) S 9209 9213 3751 0 -1 1077944320 50243 13014 0 1 860 22 5 3 20 0 15 0 46888958 11173986304 85297 33554432000 4194304 4196468 140729840111568 140729840094112 139940002991863 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
/proc/9213/statm: 2728024 85297 3504 1 0 2689677 0
[pid=9213/tid=9322] ppid=9209 vsize=10912096 memory=8112282956445269571 CPUtime=4.22 cores=0,2,4,6
/proc/9213/task/9322/stat : 9322 (java) R 9209 9213 3751 0 -1 4202560 35294 13014 0 1 401 13 5 3 20 0 15 0 46888972 11173986304 85297 33554432000 4194304 4196468 140729840111568 139939974824344 139939593071554 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9327] ppid=9209 vsize=10912096 memory=8112282956445269571 CPUtime=0.11 cores=0,2,4,6
/proc/9213/task/9327/stat : 9327 (java) S 9209 9213 3751 0 -1 1077944384 269 13014 0 1 3 0 5 3 20 0 15 0 46888973 11173986304 85297 33554432000 4194304 4196468 140729840111568 139940007234064 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9328] ppid=9209 vsize=10912096 memory=8392 CPUtime=0.11 cores=0,2,4,6
/proc/9213/task/9328/stat : 9328 (java) S 9209 9213 3751 0 -1 1077944384 40 13014 0 1 3 0 5 3 20 0 15 0 46888973 11173986304 85297 33554432000 4194304 4196468 140729840111568 139939906124432 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9329] ppid=9209 vsize=10912096 memory=1444 CPUtime=0.11 cores=0,2,4,6
/proc/9213/task/9329/stat : 9329 (java) S 9209 9213 3751 0 -1 1077944384 311 13014 0 1 3 0 5 3 20 0 15 0 46888973 11173986304 85297 33554432000 4194304 4196468 140729840111568 139939905071376 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9330] ppid=9209 vsize=10912096 memory=5520 CPUtime=0.11 cores=0,2,4,6
/proc/9213/task/9330/stat : 9330 (java) S 9209 9213 3751 0 -1 1077944384 60 13014 0 1 3 0 5 3 20 0 15 0 46888973 11173986304 85297 33554432000 4194304 4196468 140729840111568 139939904018832 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9334] ppid=9209 vsize=10912096 memory=4616 CPUtime=0.11 cores=0,2,4,6
/proc/9213/task/9334/stat : 9334 (java) S 9209 9213 3751 0 -1 1077944384 387 13014 0 1 3 0 5 3 20 0 15 0 46888975 11173986304 85297 33554432000 4194304 4196468 140729840111568 139939462007536 139940003003010 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9335] ppid=9209 vsize=10912096 memory=14004 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9335/stat : 9335 (java) S 9209 9213 3751 0 -1 1077944384 19 13014 0 1 0 0 5 3 20 0 15 0 46888975 11173986304 85297 33554432000 4194304 4196468 140729840111568 139938892867296 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9336] ppid=9209 vsize=10912096 memory=1204 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9336/stat : 9336 (java) S 9209 9213 3751 0 -1 1077944384 8 13014 0 1 0 0 5 3 20 0 15 0 46888975 11173986304 85297 33554432000 4194304 4196468 140729840111568 139938758649088 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9343] ppid=9209 vsize=10912096 memory=15872 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9343/stat : 9343 (java) S 9209 9213 3751 0 -1 1077944384 3 13014 0 1 0 0 5 3 20 0 15 0 46888978 11173986304 85297 33554432000 4194304 4196468 140729840111568 139938518358480 139940003010459 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9344] ppid=9209 vsize=10912096 memory=4008 CPUtime=1.58 cores=0,2,4,6
/proc/9213/task/9344/stat : 9344 (java) S 9209 9213 3751 0 -1 1077944384 2644 13014 0 1 149 1 5 3 20 0 15 0 46888978 11173986304 85297 33554432000 4194304 4196468 140729840111568 139939460954352 139940003003010 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9345] ppid=9209 vsize=10912096 memory=18460 CPUtime=1.76 cores=0,2,4,6
/proc/9213/task/9345/stat : 9345 (java) R 9209 9213 3751 0 -1 4202560 3035 13014 0 1 165 3 5 3 20 0 15 0 46888978 11173986304 85297 33554432000 4194304 4196468 140729840111568 139939459881520 139939987901804 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9346] ppid=9209 vsize=10912096 memory=10452 CPUtime=1.34 cores=0,2,4,6
/proc/9213/task/9346/stat : 9346 (java) S 9209 9213 3751 0 -1 1077944384 5971 13014 0 1 125 1 5 3 20 0 15 0 46888978 11173986304 85297 33554432000 4194304 4196468 140729840111568 139939458848752 139940003003010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9347] ppid=9209 vsize=10912096 memory=1788 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9347/stat : 9347 (java) S 9209 9213 3751 0 -1 1077944384 3 13014 0 1 0 0 5 3 20 0 15 0 46888978 11173986304 85297 33554432000 4194304 4196468 140729840111568 139938484799840 139940003002069 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
[pid=9213/tid=9348] ppid=9209 vsize=10912096 memory=644 CPUtime=0.08 cores=0,2,4,6
/proc/9213/task/9348/stat : 9348 (java) S 9209 9213 3751 0 -1 1077944384 10 13014 0 1 0 0 5 3 20 0 15 0 46888979 11173986304 85297 33554432000 4194304 4196468 140729840111568 139939457797168 139940003003010 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 8323072 140729840117933 140729840121180 140729840121180 140729840123855 0
Current children cumulated CPU time: 8.9 s
Current children cumulated vsize: 10912096 KiB
Current children cumulated memory: 341188 KiB

[startup+4.60066 s]*
/proc/loadavg: 2.16 2.06 1.99 5/207 9370
/proc/meminfo: memFree=17741128/32770624 swapFree=67108860/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 0
Real time (s): 4.61045
CPU time (s): 9.29737
CPU user time (s): 9.02954
CPU system time (s): 0.267829
CPU usage (%): 201.659
Max. virtual memory (cumulated for all children) (KiB): 10912096
Max. memory (cumulated for all children) (KiB): 341372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.02954
system time used= 0.267829
maximum resident set size= 343668
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 63508
page faults= 1
swaps= 0
block input operations= 240
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6465
involuntary context switches= 44


# summary of solver processes directly reported to runsolver:
#   pid: 9213
#   total CPU time (s): 9.29737
#   total CPU user time (s): 9.02954
#   total CPU system time (s): 0.267829

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.05258 second user time and 0.083925 second system time

The end

Launcher Data 

Begin job on node106 at 2018-07-22 23:01:01
IDJOB=4292785
IDBENCH=141017
IDSOLVER=2751
FILE ID=node106/4292785-1532293260
RUNJOBID= node106-1532293260-9184
PBS_JOBID= 21018972
Free space on /tmp= 53032 MiB

SOLVER NAME= Concrete 3.8-SuperNG 2018-06-13
BENCH NAME= XCSP18/ColouredQueens/ColouredQueens-06_c18.xml
COMMAND LINE= concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=RANDOMSEED -superng BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4292785-1532293260/watcher-4292785-1532293260 -o /tmp/evaluation-result-4292785-1532293260/solver-4292785-1532293260 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532293260-9184 --watchdog 2580  concrete-3.8/bin/xcsp-3-concrete -J-Xss32M -randomseed=68360016 -superng HOME/instance-4292785-1532293260.xml

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

MD5SUM BENCH= 7b867b166641a9e2c5ffb0d7a40768d4
RANDOM SEED=68360016

node106.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	: 5334.11
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	: 5334.11
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	: 5334.11
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	: 5334.11
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:        18104976 kB
MemAvailable:   31938000 kB
Buffers:          250948 kB
Cached:         13670996 kB
SwapCached:            0 kB
Active:          1371724 kB
Inactive:       12605636 kB
Active(anon):      58240 kB
Inactive(anon):    17096 kB
Active(file):    1313484 kB
Inactive(file): 12588540 kB
Unevictable:        6920 kB
Mlocked:            6920 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             52884 kB
Writeback:             0 kB
AnonPages:         62716 kB
Mapped:            36028 kB
Shmem:             17036 kB
Slab:             386816 kB
SReclaimable:     359460 kB
SUnreclaim:        27356 kB
KernelStack:        3200 kB
PageTables:         4572 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     317844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      8192 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 52980 MiB
End job on node106 at 2018-07-22 23:01:06