Trace number 4262425

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.4? (TO) 2527.0801 794.28699

General information on the benchmark

NameMagicSquare/MagicSquare-table-s1/
MagicSquare-6-table.xml
MD5SUMcfc552cbb2ce3301e89528d2cd5bb011
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark481.45001
Satisfiable
(Un)Satisfiability was proved
Number of variables36
Number of constraints15
Number of domains1
Minimum domain size36
Maximum domain size36
Distribution of domain sizes[{"size":36,"count":36}]
Minimum variable degree3
Maximum variable degree4
Distribution of variable degrees[{"degree":3,"count":24},{"degree":4,"count":12}]
Minimum constraint arity6
Maximum constraint arity36
Distribution of constraint arities[{"arity":6,"count":14},{"arity":36,"count":1}]
Number of extensional constraints14
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":14},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

3.62/2.32	c Concrete v3.4 running

Verifier Data 

One s line expected

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4262425-1502457505/watcher-4262425-1502457505 -o /tmp/evaluation-result-4262425-1502457505/solver-4262425-1502457505 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502411403-1394 --watchdog 2580 bin/concrete HOME/instance-4262425-1502457505.xml 

pid=12683
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
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 1.83 1.50 1.45 4/195 12686
/proc/meminfo: memFree=29512572/32770624 swapFree=0/506884
[pid=12686] ppid=12683 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/12686/stat : 12686 (runsolver) D 12683 12686 1330 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 47972561 24240128 106 18446744073709551615 4194304 4338465 140725804461104 140725804458744 140654895092439 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 17301504 140725804466385 140725804466761 140725804466761 140725804470218 0
/proc/12686/statm: 5918 106 53 36 0 2156 0

[startup+0.100081 s]
/proc/loadavg: 1.83 1.50 1.45 4/195 12686
/proc/meminfo: memFree=29512572/32770624 swapFree=0/506884
[pid=12686] ppid=12683 vsize=9508 CPUtime=0 cores=0,2,4,6
/proc/12686/stat : 12686 (bash) S 12683 12686 1330 0 -1 4202496 650 0 0 0 0 0 0 0 20 0 1 0 47972561 9736192 352 18446744073709551615 4194304 5098028 140734419994464 140734419992104 140362387332096 0 0 5 65536 18446744071580971376 0 0 17 0 0 0 9 0 0 7196144 7232144 18800640 140734419997204 140734419997289 140734419997289 140734420000746 0
/proc/12686/statm: 2377 352 279 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200265 s]
/proc/loadavg: 1.83 1.50 1.45 4/195 12686
/proc/meminfo: memFree=29512572/32770624 swapFree=0/506884
[pid=12686] ppid=12683 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/12686/stat : 12686 (bash) S 12683 12686 1330 0 -1 4202496 898 6477 0 0 0 0 0 1 20 0 1 0 47972561 9867264 377 18446744073709551615 4194304 5098028 140734419994464 140734419988472 140362387332096 0 0 5 65536 18446744071580971376 0 0 17 0 0 0 9 0 0 7196144 7232144 18800640 140734419997204 140734419997289 140734419997289 140734420000746 0
/proc/12686/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300307 s]
/proc/loadavg: 1.83 1.50 1.45 4/195 12686
/proc/meminfo: memFree=29512572/32770624 swapFree=0/506884
[pid=12686] ppid=12683 vsize=13907308 CPUtime=0.14 cores=0,2,4,6
/proc/12686/stat : 12686 (java) S 12683 12686 1330 0 -1 1077944320 5814 12576 0 0 5 1 5 3 20 0 14 0 47972561 14241083392 5491 18446744073709551615 4194304 4196468 140727179731120 140727179713664 140579887468279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
/proc/12686/statm: 3476827 5491 2563 1 0 3466324 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308

[startup+0.70027 s]
/proc/loadavg: 1.83 1.50 1.45 4/195 12686
/proc/meminfo: memFree=29512572/32770624 swapFree=0/506884
[pid=12686] ppid=12683 vsize=13974784 CPUtime=0.58 cores=0,2,4,6
/proc/12686/stat : 12686 (java) S 12683 12686 1330 0 -1 1077944320 13342 12576 0 0 47 3 5 3 20 0 15 0 47972561 14310178816 14154 18446744073709551615 4194304 4196468 140727179731120 140727179713664 140579887468279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
/proc/12686/statm: 3493696 14154 3078 1 0 3482965 0
Current children cumulated CPU time (s) 0.58
Current children cumulated vsize (KiB) 13974784

[startup+1.50087 s]
/proc/loadavg: 1.92 1.52 1.46 3/210 12749
/proc/meminfo: memFree=29423552/32770624 swapFree=0/507608
[pid=12686] ppid=12683 vsize=13985408 CPUtime=1.78 cores=0,2,4,6
/proc/12686/stat : 12686 (java) S 12683 12686 1330 0 -1 1077944320 27092 12576 0 0 161 9 5 3 20 0 15 0 47972561 14321057792 33148 18446744073709551615 4194304 4196468 140727179731120 140727179713664 140579887468279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
/proc/12686/statm: 3496352 33148 3340 1 0 3485525 0
[pid=12686/tid=12736] ppid=12683 vsize=13985408 CPUtime=1.25 cores=0,2,4,6
/proc/12686/task/12736/stat : 12736 (java) R 12683 12686 1330 0 -1 4202560 22003 12576 0 0 110 7 5 3 20 0 15 0 47972583 14321057792 33148 18446744073709551615 4194304 4196468 140727179731120 140579891692320 140579871548796 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12737] ppid=12683 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12737/stat : 12737 (java) S 12683 12686 1330 0 -1 1077944384 1 12576 0 0 0 0 5 3 20 0 15 0 47972584 14321057792 33148 18446744073709551615 4194304 4196468 140727179731120 140579487168912 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12738] ppid=12683 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12738/stat : 12738 (java) S 12683 12686 1330 0 -1 1077944384 1 12576 0 0 0 0 5 3 20 0 15 0 47972584 14321057792 33180 18446744073709551615 4194304 4196468 140727179731120 140579486116112 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12739] ppid=12683 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12739/stat : 12739 (java) S 12683 12686 1330 0 -1 1077944384 2 12576 0 0 0 0 5 3 20 0 15 0 47972584 14321057792 33180 18446744073709551615 4194304 4196468 140727179731120 140579485063824 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12740] ppid=12683 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12740/stat : 12740 (java) S 12683 12686 1330 0 -1 1077944384 2 12576 0 0 0 0 5 3 20 0 15 0 47972584 14321057792 33180 18446744073709551615 4194304 4196468 140727179731120 140579484011024 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12741] ppid=12683 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12741/stat : 12741 (java) S 12683 12686 1330 0 -1 1077944384 5 12576 0 0 0 0 5 3 20 0 15 0 47972586 14321057792 33180 18446744073709551615 4194304 4196468 140727179731120 140579366046320 140579887479426 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12742] ppid=12683 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12742/stat : 12742 (java) S 12683 12686 1330 0 -1 1077944384 33 12576 0 0 0 0 5 3 20 0 15 0 47972586 14321057792 33180 18446744073709551615 4194304 4196468 140727179731120 140579364992288 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12743] ppid=12683 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12743/stat : 12743 (java) S 12683 12686 1330 0 -1 1077944384 21 12576 0 0 0 0 5 3 20 0 15 0 47972586 14321057792 33180 18446744073709551615 4194304 4196468 140727179731120 140579363939952 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12744] ppid=12683 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12744/stat : 12744 (java) S 12683 12686 1330 0 -1 1077944384 3 12576 0 0 0 0 5 3 20 0 15 0 47972589 14321057792 33180 18446744073709551615 4194304 4196468 140727179731120 140579362888272 140579887486875 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12745] ppid=12683 vsize=13985408 CPUtime=0.22 cores=0,2,4,6
/proc/12686/task/12745/stat : 12745 (java) S 12683 12686 1330 0 -1 1077944384 928 12576 0 0 14 0 5 3 20 0 15 0 47972589 14321057792 33180 18446744073709551615 4194304 4196468 140727179731120 140579361835120 140579887479426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12746] ppid=12683 vsize=13985408 CPUtime=0.21 cores=0,2,4,6
/proc/12686/task/12746/stat : 12746 (java) S 12683 12686 1330 0 -1 1077944384 640 12576 0 0 13 0 5 3 20 0 15 0 47972589 14321057792 33180 18446744073709551615 4194304 4196468 140727179731120 140579360782320 140579887479426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12747] ppid=12683 vsize=13985408 CPUtime=0.29 cores=0,2,4,6
/proc/12686/task/12747/stat : 12747 (java) S 12683 12686 1330 0 -1 1077944384 1290 12576 0 0 21 0 5 3 20 0 15 0 47972589 14321057792 33180 18446744073709551615 4194304 4196468 140727179731120 140579359730032 140579887479426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12748] ppid=12683 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12748/stat : 12748 (java) S 12683 12686 1330 0 -1 1077944384 3 12576 0 0 0 0 5 3 20 0 15 0 47972589 14321057792 33180 18446744073709551615 4194304 4196468 140727179731120 140579358677472 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12749] ppid=12683 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12749/stat : 12749 (java) S 12683 12686 1330 0 -1 1077944384 5 12576 0 0 0 0 5 3 20 0 15 0 47972597 14321057792 33180 18446744073709551615 4194304 4196468 140727179731120 140579357625264 140579887479426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
Current children cumulated CPU time (s) 1.78
Current children cumulated vsize (KiB) 13985408

[startup+3.10878 s]
/proc/loadavg: 1.92 1.52 1.46 5/210 12749
/proc/meminfo: memFree=29349004/32770624 swapFree=0/507640
[pid=12686] ppid=12683 vsize=13993712 CPUtime=5.68 cores=0,2,4,6
/proc/12686/stat : 12686 (java) S 12683 12686 1330 0 -1 1077944320 43853 12576 0 0 501 59 5 3 20 0 15 0 47972561 14329561088 131573 18446744073709551615 4194304 4196468 140727179731120 140727179713664 140579887468279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
/proc/12686/statm: 3498428 131573 3440 1 0 3487061 0
[pid=12686/tid=12736] ppid=12683 vsize=13993712 CPUtime=2.59 cores=0,2,4,6
/proc/12686/task/12736/stat : 12736 (java) S 12683 12686 1330 0 -1 1077944384 27683 12576 0 0 235 16 5 3 20 0 15 0 47972583 14329561088 131573 18446744073709551615 4194304 4196468 140727179731120 140579891703600 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 7 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12737] ppid=12683 vsize=13993712 CPUtime=0.3 cores=0,2,4,6
/proc/12686/task/12737/stat : 12737 (java) R 12683 12686 1330 0 -1 4202560 228 12576 0 0 14 8 5 3 20 0 15 0 47972584 14329561088 131573 18446744073709551615 4194304 4196468 140727179731120 140579487166432 140579880568134 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12738] ppid=12683 vsize=13993712 CPUtime=0.3 cores=0,2,4,6
/proc/12686/task/12738/stat : 12738 (java) R 12683 12686 1330 0 -1 4202560 391 12576 0 0 14 8 5 3 20 0 15 0 47972584 14329561088 131573 18446744073709551615 4194304 4196468 140727179731120 140579486116176 140579880565163 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12739] ppid=12683 vsize=13993712 CPUtime=0.3 cores=0,2,4,6
/proc/12686/task/12739/stat : 12739 (java) R 12683 12686 1330 0 -1 4202560 684 12576 0 0 14 8 5 3 20 0 15 0 47972584 14329561088 131573 18446744073709551615 4194304 4196468 140727179731120 140579485063824 140579880565159 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12740] ppid=12683 vsize=13993712 CPUtime=0.27 cores=0,2,4,6
/proc/12686/task/12740/stat : 12740 (java) R 12683 12686 1330 0 -1 4202560 650 12576 0 0 10 9 5 3 20 0 15 0 47972584 14329561088 131573 18446744073709551615 4194304 4196468 140727179731120 140579484011024 140579880568126 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12741] ppid=12683 vsize=13993712 CPUtime=0.1 cores=0,2,4,6
/proc/12686/task/12741/stat : 12741 (java) S 12683 12686 1330 0 -1 1077944384 2800 12576 0 0 2 0 5 3 20 0 15 0 47972586 14329561088 131573 18446744073709551615 4194304 4196468 140727179731120 140579366044832 140579887478485 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12742] ppid=12683 vsize=13993712 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12742/stat : 12742 (java) S 12683 12686 1330 0 -1 1077944384 55 12576 0 0 0 0 5 3 20 0 15 0 47972586 14329561088 131573 18446744073709551615 4194304 4196468 140727179731120 140579364992352 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12743] ppid=12683 vsize=13993712 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12743/stat : 12743 (java) S 12683 12686 1330 0 -1 1077944384 45 12576 0 0 0 0 5 3 20 0 15 0 47972586 14329561088 131573 18446744073709551615 4194304 4196468 140727179731120 140579363939968 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12744] ppid=12683 vsize=13993712 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12744/stat : 12744 (java) S 12683 12686 1330 0 -1 1077944384 3 12576 0 0 0 0 5 3 20 0 15 0 47972589 14329561088 131573 18446744073709551615 4194304 4196468 140727179731120 140579362888272 140579887486875 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12745] ppid=12683 vsize=13993712 CPUtime=0.91 cores=0,2,4,6
/proc/12686/task/12745/stat : 12745 (java) S 12683 12686 1330 0 -1 1077944384 4404 12576 0 0 79 4 5 3 20 0 15 0 47972589 14329561088 131573 18446744073709551615 4194304 4196468 140727179731120 140579361835120 140579887479426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12746] ppid=12683 vsize=13993712 CPUtime=0.71 cores=0,2,4,6
/proc/12686/task/12746/stat : 12746 (java) S 12683 12686 1330 0 -1 1077944384 1855 12576 0 0 62 1 5 3 20 0 15 0 47972589 14329561088 131573 18446744073709551615 4194304 4196468 140727179731120 140579360782320 140579887479426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12747] ppid=12683 vsize=13993712 CPUtime=0.75 cores=0,2,4,6
/proc/12686/task/12747/stat : 12747 (java) S 12683 12686 1330 0 -1 1077944384 2891 12576 0 0 66 1 5 3 20 0 15 0 47972589 14329561088 131573 18446744073709551615 4194304 4196468 140727179731120 140579359730032 140579887479426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12748] ppid=12683 vsize=13993712 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12748/stat : 12748 (java) S 12683 12686 1330 0 -1 1077944384 3 12576 0 0 0 0 5 3 20 0 15 0 47972589 14329561088 131573 18446744073709551615 4194304 4196468 140727179731120 140579358677472 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12749] ppid=12683 vsize=13993712 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12749/stat : 12749 (java) S 12683 12686 1330 0 -1 1077944384 6 12576 0 0 0 0 5 3 20 0 15 0 47972597 14329561088 131573 18446744073709551615 4194304 4196468 140727179731120 140579357625264 140579887479426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
Current children cumulated CPU time (s) 5.68
Current children cumulated vsize (KiB) 13993712

[startup+6.30064 s]
/proc/loadavg: 1.93 1.53 1.46 3/210 12749
/proc/meminfo: memFree=27256016/32770624 swapFree=0/507640
[pid=12686] ppid=12683 vsize=13993712 CPUtime=12.83 cores=0,2,4,6
/proc/12686/stat : 12686 (java) S 12683 12686 1330 0 -1 1077944320 51359 12576 0 0 933 342 5 3 20 0 15 0 47972561 14329561088 693389 18446744073709551615 4194304 4196468 140727179731120 140727179713664 140579887468279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
/proc/12686/statm: 3498428 693389 3440 1 0 3487061 0
[pid=12686/tid=12736] ppid=12683 vsize=13993712 CPUtime=4.48 cores=0,2,4,6
/proc/12686/task/12736/stat : 12736 (java) R 12683 12686 1330 0 -1 4202560 28435 12576 0 0 401 39 5 3 20 0 15 0 47972583 14329561088 693389 18446744073709551615 4194304 4196468 140727179731120 140579891696064 140579887490205 0 4 1 16800974 0 0 0 -1 0 0 0 7 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12737] ppid=12683 vsize=13993712 CPUtime=1.55 cores=0,2,4,6
/proc/12686/task/12737/stat : 12737 (java) S 12683 12686 1330 0 -1 1077944384 1284 12576 0 0 73 74 5 3 20 0 15 0 47972584 14329561088 693389 18446744073709551615 4194304 4196468 140727179731120 140579487168912 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12738] ppid=12683 vsize=13993712 CPUtime=1.56 cores=0,2,4,6
/proc/12686/task/12738/stat : 12738 (java) S 12683 12686 1330 0 -1 1077944384 1401 12576 0 0 78 70 5 3 20 0 15 0 47972584 14329561088 693389 18446744073709551615 4194304 4196468 140727179731120 140579486116112 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12739] ppid=12683 vsize=13993712 CPUtime=1.55 cores=0,2,4,6
/proc/12686/task/12739/stat : 12739 (java) S 12683 12686 1330 0 -1 1077944384 1841 12576 0 0 69 78 5 3 20 0 15 0 47972584 14329561088 693389 18446744073709551615 4194304 4196468 140727179731120 140579485063824 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12740] ppid=12683 vsize=13993712 CPUtime=1.53 cores=0,2,4,6
/proc/12686/task/12740/stat : 12740 (java) S 12683 12686 1330 0 -1 1077944384 1673 12576 0 0 78 67 5 3 20 0 15 0 47972584 14329561088 693389 18446744073709551615 4194304 4196468 140727179731120 140579484011024 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12741] ppid=12683 vsize=13993712 CPUtime=0.14 cores=0,2,4,6
/proc/12686/task/12741/stat : 12741 (java) S 12683 12686 1330 0 -1 1077944384 4932 12576 0 0 6 0 5 3 20 0 15 0 47972586 14329561088 693389 18446744073709551615 4194304 4196468 140727179731120 140579366046320 140579887479426 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12742] ppid=12683 vsize=13993712 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12742/stat : 12742 (java) S 12683 12686 1330 0 -1 1077944384 55 12576 0 0 0 0 5 3 20 0 15 0 47972586 14329561088 693389 18446744073709551615 4194304 4196468 140727179731120 140579364992352 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12743] ppid=12683 vsize=13993712 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12743/stat : 12743 (java) S 12683 12686 1330 0 -1 1077944384 45 12576 0 0 0 0 5 3 20 0 15 0 47972586 14329561088 693389 18446744073709551615 4194304 4196468 140727179731120 140579363939968 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12744] ppid=12683 vsize=13993712 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12744/stat : 12744 (java) S 12683 12686 1330 0 -1 1077944384 3 12576 0 0 0 0 5 3 20 0 15 0 47972589 14329561088 693389 18446744073709551615 4194304 4196468 140727179731120 140579362888272 140579887486875 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12745] ppid=12683 vsize=13993712 CPUtime=0.97 cores=0,2,4,6
/proc/12686/task/12745/stat : 12745 (java) S 12683 12686 1330 0 -1 1077944384 4427 12576 0 0 85 4 5 3 20 0 15 0 47972589 14329561088 693389 18446744073709551615 4194304 4196468 140727179731120 140579361835120 140579887479426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12746] ppid=12683 vsize=13993712 CPUtime=0.81 cores=0,2,4,6
/proc/12686/task/12746/stat : 12746 (java) S 12683 12686 1330 0 -1 1077944384 2023 12576 0 0 72 1 5 3 20 0 15 0 47972589 14329561088 693389 18446744073709551615 4194304 4196468 140727179731120 140579360782320 140579887479426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12747] ppid=12683 vsize=13993712 CPUtime=0.77 cores=0,2,4,6
/proc/12686/task/12747/stat : 12747 (java) S 12683 12686 1330 0 -1 1077944384 2920 12576 0 0 68 1 5 3 20 0 15 0 47972589 14329561088 693389 18446744073709551615 4194304 4196468 140727179731120 140579359730032 140579887479426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12748] ppid=12683 vsize=13993712 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12748/stat : 12748 (java) S 12683 12686 1330 0 -1 1077944384 3 12576 0 0 0 0 5 3 20 0 15 0 47972589 14329561088 693389 18446744073709551615 4194304 4196468 140727179731120 140579358677472 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12749] ppid=12683 vsize=13993712 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12749/stat : 12749 (java) S 12683 12686 1330 0 -1 1077944384 162 12576 0 0 0 0 5 3 20 0 15 0 47972597 14329561088 693389 18446744073709551615 4194304 4196468 140727179731120 140579357625264 140579887479426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
Current children cumulated CPU time (s) 12.83
Current children cumulated vsize (KiB) 13993712

[startup+12.7007 s]
/proc/loadavg: 2.01 1.56 1.47 3/210 12749
/proc/meminfo: memFree=21641608/32770624 swapFree=0/507632
[pid=12686] ppid=12683 vsize=13993788 CPUtime=27.04 cores=0,2,4,6
/proc/12686/stat : 12686 (java) S 12683 12686 1330 0 -1 1077944320 66134 12576 0 0 2057 639 5 3 20 0 15 0 47972561 14329638912 1981493 18446744073709551615 4194304 4196468 140727179731120 140727179713664 140579887468279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
/proc/12686/statm: 3498447 1981493 3461 1 0 3487061 0
[pid=12686/tid=12736] ppid=12683 vsize=13993788 CPUtime=8.32 cores=0,2,4,6
/proc/12686/task/12736/stat : 12736 (java) R 12683 12686 1330 0 -1 4202560 34225 12576 0 0 742 82 5 3 20 0 15 0 47972583 14329638912 1981493 18446744073709551615 4194304 4196468 140727179731120 140579891702304 140579536614342 0 4 1 16800974 0 0 0 -1 4 0 0 7 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12737] ppid=12683 vsize=13993788 CPUtime=3.99 cores=0,2,4,6
/proc/12686/task/12737/stat : 12737 (java) S 12683 12686 1330 0 -1 1077944384 2505 12576 0 0 257 134 5 3 20 0 15 0 47972584 14329638912 1981493 18446744073709551615 4194304 4196468 140727179731120 140579487168912 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12738] ppid=12683 vsize=13993788 CPUtime=3.99 cores=0,2,4,6
/proc/12686/task/12738/stat : 12738 (java) S 12683 12686 1330 0 -1 1077944384 2702 12576 0 0 254 137 5 3 20 0 15 0 47972584 14329638912 1981493 18446744073709551615 4194304 4196468 140727179731120 140579486116112 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12739] ppid=12683 vsize=13993788 CPUtime=4 cores=0,2,4,6
/proc/12686/task/12739/stat : 12739 (java) S 12683 12686 1330 0 -1 1077944384 3284 12576 0 0 257 135 5 3 20 0 15 0 47972584 14329638912 1981493 18446744073709551615 4194304 4196468 140727179731120 140579485063824 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12740] ppid=12683 vsize=13993788 CPUtime=3.97 cores=0,2,4,6
/proc/12686/task/12740/stat : 12740 (java) S 12683 12686 1330 0 -1 1077944384 3197 12576 0 0 255 134 5 3 20 0 15 0 47972584 14329638912 1981493 18446744073709551615 4194304 4196468 140727179731120 140579484011024 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12741] ppid=12683 vsize=13993788 CPUtime=0.23 cores=0,2,4,6
/proc/12686/task/12741/stat : 12741 (java) S 12683 12686 1330 0 -1 1077944384 7575 12576 0 0 13 2 5 3 20 0 15 0 47972586 14329638912 1981493 18446744073709551615 4194304 4196468 140727179731120 140579366046320 140579887479426 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12742] ppid=12683 vsize=13993788 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12742/stat : 12742 (java) S 12683 12686 1330 0 -1 1077944384 55 12576 0 0 0 0 5 3 20 0 15 0 47972586 14329638912 1981493 18446744073709551615 4194304 4196468 140727179731120 140579364992352 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12743] ppid=12683 vsize=13993788 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12743/stat : 12743 (java) S 12683 12686 1330 0 -1 1077944384 45 12576 0 0 0 0 5 3 20 0 15 0 47972586 14329638912 1981493 18446744073709551615 4194304 4196468 140727179731120 140579363939968 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12744] ppid=12683 vsize=13993788 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12744/stat : 12744 (java) S 12683 12686 1330 0 -1 1077944384 3 12576 0 0 0 0 5 3 20 0 15 0 47972589 14329638912 1981493 18446744073709551615 4194304 4196468 140727179731120 140579362888272 140579887486875 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0

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




Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+792.201 s]
/proc/loadavg: 3.77 3.71 2.72 6/209 12789
/proc/meminfo: memFree=17863396/32770624 swapFree=0/507848
[pid=12686] ppid=12683 vsize=13995836 CPUtime=2520.23 cores=0,2,4,6
/proc/12686/stat : 12686 (java) S 12683 12686 1330 0 -1 1077944320 1014436 12576 0 0 250847 1168 5 3 20 0 15 0 47972561 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140727179713664 140579887468279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
/proc/12686/statm: 3498959 2900828 3468 1 0 3487573 0
[pid=12686/tid=12736] ppid=12683 vsize=13995836 CPUtime=114.5 cores=0,2,4,6
/proc/12686/task/12736/stat : 12736 (java) S 12683 12686 1330 0 -1 1077944384 62991 12576 0 0 11355 87 5 3 20 0 15 0 47972583 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579891700064 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12737] ppid=12683 vsize=13995836 CPUtime=577.36 cores=0,2,4,6
/proc/12686/task/12737/stat : 12737 (java) R 12683 12686 1330 0 -1 4202560 120042 12576 0 0 57466 262 5 3 20 0 15 0 47972584 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579487168808 140579880096487 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12738] ppid=12683 vsize=13995836 CPUtime=577.21 cores=0,2,4,6
/proc/12686/task/12738/stat : 12738 (java) R 12683 12686 1330 0 -1 4202560 299948 12576 0 0 57451 262 5 3 20 0 15 0 47972584 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579486116312 140579872418884 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12739] ppid=12683 vsize=13995836 CPUtime=577.43 cores=0,2,4,6
/proc/12686/task/12739/stat : 12739 (java) R 12683 12686 1330 0 -1 4202560 88353 12576 0 0 57480 255 5 3 20 0 15 0 47972584 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579485063408 140579880096487 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12740] ppid=12683 vsize=13995836 CPUtime=576.72 cores=0,2,4,6
/proc/12686/task/12740/stat : 12740 (java) R 12683 12686 1330 0 -1 4202560 101238 12576 0 0 57408 256 5 3 20 0 15 0 47972584 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579484010608 140579880096487 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12741] ppid=12683 vsize=13995836 CPUtime=92.99 cores=0,2,4,6
/proc/12686/task/12741/stat : 12741 (java) S 12683 12686 1330 0 -1 1077944384 314114 12576 0 0 9261 30 5 3 20 0 15 0 47972586 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579366044640 140579887478485 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12742] ppid=12683 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12742/stat : 12742 (java) S 12683 12686 1330 0 -1 1077944384 70 12576 0 0 0 0 5 3 20 0 15 0 47972586 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579364992352 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12743] ppid=12683 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12743/stat : 12743 (java) S 12683 12686 1330 0 -1 1077944384 56 12576 0 0 0 0 5 3 20 0 15 0 47972586 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579363939968 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12744] ppid=12683 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12744/stat : 12744 (java) S 12683 12686 1330 0 -1 1077944384 3 12576 0 0 0 0 5 3 20 0 15 0 47972589 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579362888272 140579887486875 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12745] ppid=12683 vsize=13995836 CPUtime=1.6 cores=0,2,4,6
/proc/12686/task/12745/stat : 12745 (java) S 12683 12686 1330 0 -1 1077944384 9358 12576 0 0 148 4 5 3 20 0 15 0 47972589 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579361835120 140579887479426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12746] ppid=12683 vsize=13995836 CPUtime=1.44 cores=0,2,4,6
/proc/12686/task/12746/stat : 12746 (java) S 12683 12686 1330 0 -1 1077944384 6278 12576 0 0 134 2 5 3 20 0 15 0 47972589 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579360782320 140579887479426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12747] ppid=12683 vsize=13995836 CPUtime=0.96 cores=0,2,4,6
/proc/12686/task/12747/stat : 12747 (java) S 12683 12686 1330 0 -1 1077944384 9013 12576 0 0 86 2 5 3 20 0 15 0 47972589 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579359730032 140579887479426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12748] ppid=12683 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12748/stat : 12748 (java) S 12683 12686 1330 0 -1 1077944384 3 12576 0 0 0 0 5 3 20 0 15 0 47972589 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579358677472 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12749] ppid=12683 vsize=13995836 CPUtime=0.63 cores=0,2,4,6
/proc/12686/task/12749/stat : 12749 (java) S 12683 12686 1330 0 -1 1077944384 814 12576 0 0 32 23 5 3 20 0 15 0 47972597 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579357625264 140579887479426 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
Current children cumulated CPU time (s) 2520.23
Current children cumulated vsize (KiB) 13995836

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Sending SIGKILL to process tree (bottom up)

Sending SIGKILL to -12686
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 12686 sig 9
??? kill -12686 sig 9
??? end of watcher thread

Solver just ended.
Dumping a history of the last processes samples

[startup+793.609 s]
/proc/loadavg: 3.77 3.71 2.72 6/209 12789
/proc/meminfo: memFree=17865456/32770624 swapFree=0/507848
[pid=12686] ppid=12683 vsize=13995836 CPUtime=2524.57 cores=0,2,4,6
/proc/12686/stat : 12686 (java) S 12683 12686 1330 0 -1 1077944320 1014599 12576 0 0 251280 1169 5 3 20 0 15 0 47972561 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140727179713664 140579887468279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
/proc/12686/statm: 3498959 2900828 3468 1 0 3487573 0
[pid=12686/tid=12736] ppid=12683 vsize=13995836 CPUtime=114.5 cores=0,2,4,6
/proc/12686/task/12736/stat : 12736 (java) S 12683 12686 1330 0 -1 1077944384 62991 12576 0 0 11355 87 5 3 20 0 15 0 47972583 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579891700016 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12737] ppid=12683 vsize=13995836 CPUtime=578.32 cores=0,2,4,6
/proc/12686/task/12737/stat : 12737 (java) R 12683 12686 1330 0 -1 4202560 120057 12576 0 0 57562 262 5 3 20 0 15 0 47972584 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579487169112 140579872421781 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12738] ppid=12683 vsize=13995836 CPUtime=578.21 cores=0,2,4,6
/proc/12686/task/12738/stat : 12738 (java) R 12683 12686 1330 0 -1 4202560 300062 12576 0 0 57551 262 5 3 20 0 15 0 47972584 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579486116112 140579872165918 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12739] ppid=12683 vsize=13995836 CPUtime=578.42 cores=0,2,4,6
/proc/12686/task/12739/stat : 12739 (java) R 12683 12686 1330 0 -1 4202560 88356 12576 0 0 57578 256 5 3 20 0 15 0 47972584 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579485063824 140579872166021 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12740] ppid=12683 vsize=13995836 CPUtime=577.7 cores=0,2,4,6
/proc/12686/task/12740/stat : 12740 (java) R 12683 12686 1330 0 -1 4202560 101240 12576 0 0 57506 256 5 3 20 0 15 0 47972584 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579484011024 140579872166031 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12741] ppid=12683 vsize=13995836 CPUtime=93.41 cores=0,2,4,6
/proc/12686/task/12741/stat : 12741 (java) S 12683 12686 1330 0 -1 1077944384 314114 12576 0 0 9303 30 5 3 20 0 15 0 47972586 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579366044640 140579887478485 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12742] ppid=12683 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12742/stat : 12742 (java) S 12683 12686 1330 0 -1 1077944384 70 12576 0 0 0 0 5 3 20 0 15 0 47972586 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579364992352 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12743] ppid=12683 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12743/stat : 12743 (java) S 12683 12686 1330 0 -1 1077944384 56 12576 0 0 0 0 5 3 20 0 15 0 47972586 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579363939968 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12744] ppid=12683 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12744/stat : 12744 (java) S 12683 12686 1330 0 -1 1077944384 31 12576 0 0 0 0 5 3 20 0 15 0 47972589 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579362887024 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12745] ppid=12683 vsize=13995836 CPUtime=1.6 cores=0,2,4,6
/proc/12686/task/12745/stat : 12745 (java) S 12683 12686 1330 0 -1 1077944384 9358 12576 0 0 148 4 5 3 20 0 15 0 47972589 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579361835120 140579887479426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12746] ppid=12683 vsize=13995836 CPUtime=1.44 cores=0,2,4,6
/proc/12686/task/12746/stat : 12746 (java) S 12683 12686 1330 0 -1 1077944384 6278 12576 0 0 134 2 5 3 20 0 15 0 47972589 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579360782320 140579887479426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12747] ppid=12683 vsize=13995836 CPUtime=0.96 cores=0,2,4,6
/proc/12686/task/12747/stat : 12747 (java) S 12683 12686 1330 0 -1 1077944384 9013 12576 0 0 86 2 5 3 20 0 15 0 47972589 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579359730032 140579887479426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12748] ppid=12683 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12748/stat : 12748 (java) S 12683 12686 1330 0 -1 1077944384 3 12576 0 0 0 0 5 3 20 0 15 0 47972589 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579358677472 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12749] ppid=12683 vsize=13995836 CPUtime=0.63 cores=0,2,4,6
/proc/12686/task/12749/stat : 12749 (java) S 12683 12686 1330 0 -1 1077944384 814 12576 0 0 32 23 5 3 20 0 15 0 47972597 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579357625264 140579887479426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
Current children cumulated CPU time (s) 2524.57
Current children cumulated vsize (KiB) 13995836

[startup+794.001 s]
/proc/loadavg: 3.77 3.71 2.72 6/209 12789
/proc/meminfo: memFree=17865456/32770624 swapFree=0/507848
[pid=12686] ppid=12683 vsize=13995836 CPUtime=2526.14 cores=0,2,4,6
/proc/12686/stat : 12686 (java) S 12683 12686 1330 0 -1 1077944320 1014599 12576 0 0 251437 1169 5 3 20 0 15 0 47972561 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140727179713664 140579887468279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
/proc/12686/statm: 3498959 2900828 3468 1 0 3487573 0
[pid=12686/tid=12736] ppid=12683 vsize=13995836 CPUtime=114.5 cores=0,2,4,6
/proc/12686/task/12736/stat : 12736 (java) S 12683 12686 1330 0 -1 1077944384 62991 12576 0 0 11355 87 5 3 20 0 15 0 47972583 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579891700016 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12737] ppid=12683 vsize=13995836 CPUtime=578.71 cores=0,2,4,6
/proc/12686/task/12737/stat : 12737 (java) R 12683 12686 1330 0 -1 4202560 120057 12576 0 0 57601 262 5 3 20 0 15 0 47972584 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579487169112 140579872165837 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12738] ppid=12683 vsize=13995836 CPUtime=578.6 cores=0,2,4,6
/proc/12686/task/12738/stat : 12738 (java) R 12683 12686 1330 0 -1 4202560 300062 12576 0 0 57590 262 5 3 20 0 15 0 47972584 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579486116112 140579872419406 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12739] ppid=12683 vsize=13995836 CPUtime=578.81 cores=0,2,4,6
/proc/12686/task/12739/stat : 12739 (java) R 12683 12686 1330 0 -1 4202560 88356 12576 0 0 57617 256 5 3 20 0 15 0 47972584 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579485063824 140579872166054 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12740] ppid=12683 vsize=13995836 CPUtime=578.09 cores=0,2,4,6
/proc/12686/task/12740/stat : 12740 (java) R 12683 12686 1330 0 -1 4202560 101240 12576 0 0 57545 256 5 3 20 0 15 0 47972584 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579484011024 140579872165824 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12741] ppid=12683 vsize=13995836 CPUtime=93.41 cores=0,2,4,6
/proc/12686/task/12741/stat : 12741 (java) S 12683 12686 1330 0 -1 1077944384 314114 12576 0 0 9303 30 5 3 20 0 15 0 47972586 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579366044640 140579887478485 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12742] ppid=12683 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12742/stat : 12742 (java) S 12683 12686 1330 0 -1 1077944384 70 12576 0 0 0 0 5 3 20 0 15 0 47972586 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579364992352 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12743] ppid=12683 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12743/stat : 12743 (java) S 12683 12686 1330 0 -1 1077944384 56 12576 0 0 0 0 5 3 20 0 15 0 47972586 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579363939968 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12744] ppid=12683 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12744/stat : 12744 (java) S 12683 12686 1330 0 -1 1077944384 31 12576 0 0 0 0 5 3 20 0 15 0 47972589 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579362887024 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12745] ppid=12683 vsize=13995836 CPUtime=1.6 cores=0,2,4,6
/proc/12686/task/12745/stat : 12745 (java) S 12683 12686 1330 0 -1 1077944384 9358 12576 0 0 148 4 5 3 20 0 15 0 47972589 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579361835120 140579887479426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12746] ppid=12683 vsize=13995836 CPUtime=1.44 cores=0,2,4,6
/proc/12686/task/12746/stat : 12746 (java) S 12683 12686 1330 0 -1 1077944384 6278 12576 0 0 134 2 5 3 20 0 15 0 47972589 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579360782320 140579887479426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12747] ppid=12683 vsize=13995836 CPUtime=0.96 cores=0,2,4,6
/proc/12686/task/12747/stat : 12747 (java) S 12683 12686 1330 0 -1 1077944384 9013 12576 0 0 86 2 5 3 20 0 15 0 47972589 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579359730032 140579887479426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12748] ppid=12683 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12748/stat : 12748 (java) S 12683 12686 1330 0 -1 1077944384 3 12576 0 0 0 0 5 3 20 0 15 0 47972589 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579358677472 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12749] ppid=12683 vsize=13995836 CPUtime=0.63 cores=0,2,4,6
/proc/12686/task/12749/stat : 12749 (java) S 12683 12686 1330 0 -1 1077944384 814 12576 0 0 32 23 5 3 20 0 15 0 47972597 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579357625264 140579887479426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
Current children cumulated CPU time (s) 2526.14
Current children cumulated vsize (KiB) 13995836

[startup+794.201 s]
/proc/loadavg: 3.77 3.71 2.72 6/209 12789
/proc/meminfo: memFree=17865952/32770624 swapFree=0/507848
[pid=12686] ppid=12683 vsize=13995836 CPUtime=2526.95 cores=0,2,4,6
/proc/12686/stat : 12686 (java) S 12683 12686 1330 0 -1 1077944320 1014676 12576 0 0 251518 1169 5 3 20 0 15 0 47972561 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140727179713664 140579887468279 0 0 1 16800974 18446744073709551615 0 0 17 2 0 0 9 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
/proc/12686/statm: 3498959 2900828 3468 1 0 3487573 0
[pid=12686/tid=12736] ppid=12683 vsize=13995836 CPUtime=114.5 cores=0,2,4,6
/proc/12686/task/12736/stat : 12736 (java) S 12683 12686 1330 0 -1 1077944384 62991 12576 0 0 11355 87 5 3 20 0 15 0 47972583 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579891700016 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12737] ppid=12683 vsize=13995836 CPUtime=578.91 cores=0,2,4,6
/proc/12686/task/12737/stat : 12737 (java) R 12683 12686 1330 0 -1 4202560 120134 12576 0 0 57621 262 5 3 20 0 15 0 47972584 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579487169112 140579872419418 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12738] ppid=12683 vsize=13995836 CPUtime=578.8 cores=0,2,4,6
/proc/12686/task/12738/stat : 12738 (java) R 12683 12686 1330 0 -1 4202560 300062 12576 0 0 57610 262 5 3 20 0 15 0 47972584 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579486116112 140579872453575 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12739] ppid=12683 vsize=13995836 CPUtime=579.01 cores=0,2,4,6
/proc/12686/task/12739/stat : 12739 (java) R 12683 12686 1330 0 -1 4202560 88356 12576 0 0 57637 256 5 3 20 0 15 0 47972584 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579485064024 140579872165992 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12740] ppid=12683 vsize=13995836 CPUtime=578.3 cores=0,2,4,6
/proc/12686/task/12740/stat : 12740 (java) R 12683 12686 1330 0 -1 4202560 101240 12576 0 0 57566 256 5 3 20 0 15 0 47972584 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579484011024 140579872166054 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12741] ppid=12683 vsize=13995836 CPUtime=93.41 cores=0,2,4,6
/proc/12686/task/12741/stat : 12741 (java) S 12683 12686 1330 0 -1 1077944384 314114 12576 0 0 9303 30 5 3 20 0 15 0 47972586 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579366044640 140579887478485 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12742] ppid=12683 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12742/stat : 12742 (java) S 12683 12686 1330 0 -1 1077944384 70 12576 0 0 0 0 5 3 20 0 15 0 47972586 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579364992352 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12743] ppid=12683 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12743/stat : 12743 (java) S 12683 12686 1330 0 -1 1077944384 56 12576 0 0 0 0 5 3 20 0 15 0 47972586 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579363939968 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12744] ppid=12683 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12744/stat : 12744 (java) S 12683 12686 1330 0 -1 1077944384 31 12576 0 0 0 0 5 3 20 0 15 0 47972589 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579362887024 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12745] ppid=12683 vsize=13995836 CPUtime=1.6 cores=0,2,4,6
/proc/12686/task/12745/stat : 12745 (java) S 12683 12686 1330 0 -1 1077944384 9358 12576 0 0 148 4 5 3 20 0 15 0 47972589 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579361835120 140579887479426 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12746] ppid=12683 vsize=13995836 CPUtime=1.44 cores=0,2,4,6
/proc/12686/task/12746/stat : 12746 (java) S 12683 12686 1330 0 -1 1077944384 6278 12576 0 0 134 2 5 3 20 0 15 0 47972589 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579360782320 140579887479426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12747] ppid=12683 vsize=13995836 CPUtime=0.96 cores=0,2,4,6
/proc/12686/task/12747/stat : 12747 (java) S 12683 12686 1330 0 -1 1077944384 9013 12576 0 0 86 2 5 3 20 0 15 0 47972589 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579359730032 140579887479426 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12748] ppid=12683 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/12686/task/12748/stat : 12748 (java) S 12683 12686 1330 0 -1 1077944384 3 12576 0 0 0 0 5 3 20 0 15 0 47972589 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579358677472 140579887478485 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
[pid=12686/tid=12749] ppid=12683 vsize=13995836 CPUtime=0.63 cores=0,2,4,6
/proc/12686/task/12749/stat : 12749 (java) S 12683 12686 1330 0 -1 1077944384 814 12576 0 0 32 23 5 3 20 0 15 0 47972597 14331736064 2900828 18446744073709551615 4194304 4196468 140727179731120 140579357625264 140579887479426 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 31653888 140727179732944 140727179735729 140727179735729 140727179739087 0
Current children cumulated CPU time (s) 2526.95
Current children cumulated vsize (KiB) 13995836

Child ended because it received signal 9 (SIGKILL)
Real time (s): 794.287
CPU time (s): 2527.08
CPU user time (s): 2515.28
CPU system time (s): 11.7972
CPU usage (%): 318.157
Max. virtual memory (cumulated for all children) (KiB): 13995836

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2515.28
system time used= 11.7972
maximum resident set size= 11603584
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1027259
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 49330
involuntary context switches= 22562

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 3.28428 second user time and 5.24284 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-11 15:04:33
IDJOB=4262425
IDBENCH=133254
IDSOLVER=2650
FILE ID=node125/4262425-1502457505
RUNJOBID= node125-1502411403-1394
PBS_JOBID= 
Free space on /tmp= 60844 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/MagicSquare/MagicSquare-table-s1/MagicSquare-6-table.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262425-1502457505/watcher-4262425-1502457505 -o /tmp/evaluation-result-4262425-1502457505/solver-4262425-1502457505 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502411403-1394 --watchdog 2580  bin/concrete HOME/instance-4262425-1502457505.xml

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

MD5SUM BENCH= cfc552cbb2ce3301e89528d2cd5bb011
RANDOM SEED=1256619349

node125.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.07
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.07
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.07
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.07
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:        29512264 kB
MemAvailable:   31486860 kB
Buffers:          253528 kB
Cached:          1996032 kB
SwapCached:            0 kB
Active:          2230804 kB
Inactive:         531792 kB
Active(anon):     513892 kB
Inactive(anon):    24908 kB
Active(file):    1716912 kB
Inactive(file):   506884 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:            378056 kB
Writeback:         71736 kB
AnonPages:        515096 kB
Mapped:            54896 kB
Shmem:             25252 kB
Slab:             198900 kB
SReclaimable:     133268 kB
SUnreclaim:        65632 kB
KernelStack:        3424 kB
PageTables:         7488 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1357564 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    294912 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 60820 MiB
End job on node125 at 2017-08-11 15:17:47