Trace number 4262195

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.4? (TO) 2528.1299 1048.88

General information on the benchmark

NameTravellingSalesman/TravellingSalesman-m1-n150/
TravellingSalesman-150-50-15.xml
MD5SUM97b5a288822c02a27c7c951fc8651369
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark524
Best CPU time to get the best result obtained on this benchmark2520.1201
Satisfiable
(Un)Satisfiability was proved
Number of variables300
Number of constraints151
Number of domains2
Minimum domain size63
Maximum domain size150
Distribution of domain sizes[{"size":63,"count":150},{"size":150,"count":150}]
Minimum variable degree2
Maximum variable degree3
Distribution of variable degrees[{"degree":2,"count":150},{"degree":3,"count":150}]
Minimum constraint arity3
Maximum constraint arity150
Distribution of constraint arities[{"arity":3,"count":150},{"arity":150,"count":1}]
Number of extensional constraints150
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":150},{"type":"allDifferent","count":1}]
Optimization problemYES
Type of objectivemin SUM

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

3.28/2.18	c Concrete v3.4 running
220.87/74.97	o 4226
297.62/98.02	o 4214
336.09/111.61	o 4185
384.42/127.53	o 4167
395.53/133.87	o 4136
432.53/148.85	o 4125
478.35/166.10	o 4094
500.58/177.44	o 4070
538.11/192.55	o 4059
590.31/211.32	o 4005
606.30/221.09	o 3988
656.05/239.46	o 3913
709.73/258.74	o 3912
729.16/269.29	o 3897
771.79/286.02	o 3885
793.92/297.43	o 3875
840.68/315.17	o 3867
862.03/326.57	o 3857
908.83/344.14	o 3850
929.20/355.20	o 3846
981.36/374.43	o 3815
1003.06/385.72	o 3810
1041.46/401.33	o 3775
1063.26/412.54	o 3744
1104.79/428.69	o 3737
1129.10/440.81	o 3696
1179.31/459.58	o 3651
1201.03/471.20	o 3634
1245.05/488.44	o 3617
1267.59/500.05	o 3595
1313.33/517.48	o 3582
1338.12/529.90	o 3492
1389.03/549.10	o 3490
1408.46/560.16	o 3475
1451.50/577.42	o 3472
1470.03/588.24	o 3467
1514.77/605.80	o 3460
1536.83/617.31	o 3422
1583.19/635.40	o 3420
1605.84/647.24	o 3398
1651.66/665.19	o 3366
1671.82/676.85	o 3351
1720.10/695.08	o 3284
1738.07/705.67	o 3270
1779.62/722.54	o 3267
1800.80/734.12	o 3243
1862.89/756.13	o 3238
1884.83/767.98	o 3237
1928.49/784.92	o 3234
1947.85/795.74	o 3230
1965.09/806.03	o 3229
2004.28/822.24	o 3212
2019.01/831.35	o 3191
2066.90/849.38	o 3171
2084.52/859.60	o 3119
2135.40/878.12	o 3112
2149.53/887.42	o 3089
2203.27/907.11	o 3080
2225.01/918.51	o 3079
2266.31/934.66	o 3074
2285.60/945.28	o 3070
2334.26/963.20	o 3065
2357.12/975.02	o 3058
2399.72/991.48	o 3043
2420.84/1002.88	o 3031
2468.38/1020.95	o 3022
2487.89/1031.89	o 3021
2505.09/1041.84	o 3018

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-4262195-1502467958/watcher-4262195-1502467958 -o /tmp/evaluation-result-4262195-1502467958/solver-4262195-1502467958 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502411443-13071 --watchdog 2580 bin/concrete HOME/instance-4262195-1502467958.xml 

pid=27942
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.48 1.45 1.46 2/198 27945
/proc/meminfo: memFree=27797488/32770624 swapFree=0/467692
[pid=27945] ppid=27942 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/27945/stat : 27945 (runsolver) D 27942 27945 13007 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 88706996 24240128 106 18446744073709551615 4194304 4338465 140727163718416 140727163716056 139847329223383 0 0 1 24578 18446744071580418449 0 0 17 6 0 0 0 0 0 6438912 6441760 10010624 140727163723984 140727163724361 140727163724361 140727163727818 0
/proc/27945/statm: 5918 106 53 36 0 2156 0

[startup+0.100079 s]
/proc/loadavg: 1.48 1.45 1.46 2/198 27945
/proc/meminfo: memFree=27797488/32770624 swapFree=0/467692
[pid=27945] ppid=27942 vsize=9508 CPUtime=0 cores=0,2,4,6
/proc/27945/stat : 27945 (bash) S 27942 27945 13007 0 -1 4202496 717 3534 0 0 0 0 0 0 20 0 1 0 88706996 9736192 355 18446744073709551615 4194304 5098028 140727746318672 140727746316312 140170064137216 0 0 5 65536 18446744071580971376 0 0 17 2 0 0 8 0 0 7196144 7232144 35672064 140727746322964 140727746323049 140727746323049 140727746326506 0
/proc/27945/statm: 2377 355 282 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200279 s]
/proc/loadavg: 1.48 1.45 1.46 2/198 27945
/proc/meminfo: memFree=27797488/32770624 swapFree=0/467692
[pid=27945] ppid=27942 vsize=11657628 CPUtime=0.07 cores=0,2,4,6
/proc/27945/stat : 27945 (java) S 27942 27945 13007 0 -1 1077944320 3045 12359 0 0 0 0 5 2 20 0 2 0 88706996 11937411072 2390 18446744073709551615 4194304 4196468 140725701012224 140725700994768 140076484783863 0 0 1 16784584 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
/proc/27945/statm: 2914407 2390 1152 1 0 2904377 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 11657628

[startup+0.30531 s]
/proc/loadavg: 1.48 1.45 1.46 2/198 27945
/proc/meminfo: memFree=27797488/32770624 swapFree=0/467692
[pid=27945] ppid=27942 vsize=13974356 CPUtime=0.16 cores=0,2,4,6
/proc/27945/stat : 27945 (java) S 27942 27945 13007 0 -1 1077944320 5932 12359 0 0 8 1 5 2 20 0 15 0 88706996 14309740544 7110 18446744073709551615 4194304 4196468 140725701012224 140725700994768 140076484783863 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
/proc/27945/statm: 3493589 7110 2813 1 0 3482965 0
Current children cumulated CPU time (s) 0.16
Current children cumulated vsize (KiB) 13974356

[startup+0.700282 s]
/proc/loadavg: 1.48 1.45 1.46 2/198 27945
/proc/meminfo: memFree=27797488/32770624 swapFree=0/467692
[pid=27945] ppid=27942 vsize=13974784 CPUtime=0.71 cores=0,2,4,6
/proc/27945/stat : 27945 (java) S 27942 27945 13007 0 -1 1077944320 13698 12359 0 0 60 4 5 2 20 0 15 0 88706996 14310178816 15181 18446744073709551615 4194304 4196468 140725701012224 140725700994768 140076484783863 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
/proc/27945/statm: 3493696 15181 3118 1 0 3482965 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 13974784

[startup+1.50555 s]
/proc/loadavg: 1.48 1.45 1.46 4/213 28008
/proc/meminfo: memFree=27702732/32770624 swapFree=0/467960
[pid=27945] ppid=27942 vsize=13985408 CPUtime=1.99 cores=0,2,4,6
/proc/27945/stat : 27945 (java) S 27942 27945 13007 0 -1 1077944320 29021 12359 0 0 182 10 5 2 20 0 15 0 88706996 14321057792 43484 18446744073709551615 4194304 4196468 140725701012224 140725700994768 140076484783863 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
/proc/27945/statm: 3496352 43484 3377 1 0 3485525 0
[pid=27945/tid=27995] ppid=27942 vsize=13985408 CPUtime=1.3 cores=0,2,4,6
/proc/27945/task/27995/stat : 27995 (java) S 27942 27945 13007 0 -1 1077944384 21419 12359 0 0 117 6 5 2 20 0 15 0 88707015 14321057792 43484 18446744073709551615 4194304 4196468 140725701012224 140076489012624 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 3 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=27996] ppid=27942 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/27996/stat : 27996 (java) S 27942 27945 13007 0 -1 1077944384 196 12359 0 0 0 0 5 2 20 0 15 0 88707016 14321057792 43484 18446744073709551615 4194304 4196468 140725701012224 140076404198416 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=27997] ppid=27942 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/27945/task/27997/stat : 27997 (java) S 27942 27945 13007 0 -1 1077944384 35 12359 0 0 1 0 5 2 20 0 15 0 88707016 14321057792 43484 18446744073709551615 4194304 4196468 140725701012224 140076403145872 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=27998] ppid=27942 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/27945/task/27998/stat : 27998 (java) S 27942 27945 13007 0 -1 1077944384 54 12359 0 0 1 0 5 2 20 0 15 0 88707016 14321057792 43484 18446744073709551615 4194304 4196468 140725701012224 140076402092816 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=27999] ppid=27942 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/27945/task/27999/stat : 27999 (java) S 27942 27945 13007 0 -1 1077944384 72 12359 0 0 1 0 5 2 20 0 15 0 88707016 14321057792 43484 18446744073709551615 4194304 4196468 140725701012224 140076401040272 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28000] ppid=27942 vsize=13985408 CPUtime=0.08 cores=0,2,4,6
/proc/27945/task/28000/stat : 28000 (java) S 27942 27945 13007 0 -1 1077944384 1184 12359 0 0 1 0 5 2 20 0 15 0 88707017 14321057792 43484 18446744073709551615 4194304 4196468 140725701012224 140075963222256 140076484795010 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28001] ppid=27942 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/28001/stat : 28001 (java) S 27942 27945 13007 0 -1 1077944384 57 12359 0 0 0 0 5 2 20 0 15 0 88707018 14321057792 43484 18446744073709551615 4194304 4196468 140725701012224 140075962168480 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28002] ppid=27942 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/28002/stat : 28002 (java) S 27942 27945 13007 0 -1 1077944384 44 12359 0 0 0 0 5 2 20 0 15 0 88707018 14321057792 43484 18446744073709551615 4194304 4196468 140725701012224 140075961115376 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28003] ppid=27942 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/28003/stat : 28003 (java) S 27942 27945 13007 0 -1 1077944384 3 12359 0 0 0 0 5 2 20 0 15 0 88707021 14321057792 43484 18446744073709551615 4194304 4196468 140725701012224 140075960063952 140076484802459 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28004] ppid=27942 vsize=13985408 CPUtime=0.25 cores=0,2,4,6
/proc/27945/task/28004/stat : 28004 (java) S 27942 27945 13007 0 -1 1077944384 1738 12359 0 0 18 0 5 2 20 0 15 0 88707021 14321057792 43484 18446744073709551615 4194304 4196468 140725701012224 140075959012080 140076484795010 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28005] ppid=27942 vsize=13985408 CPUtime=0.23 cores=0,2,4,6
/proc/27945/task/28005/stat : 28005 (java) S 27942 27945 13007 0 -1 1077944384 707 12359 0 0 16 0 5 2 20 0 15 0 88707021 14321057792 43484 18446744073709551615 4194304 4196468 140725701012224 140075957959536 140076484795010 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28006] ppid=27942 vsize=13985408 CPUtime=0.3 cores=0,2,4,6
/proc/27945/task/28006/stat : 28006 (java) R 27942 27945 13007 0 -1 4202560 1348 12359 0 0 23 0 5 2 20 0 15 0 88707021 14321057792 43484 18446744073709551615 4194304 4196468 140725701012224 140075956906480 140076477883563 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28007] ppid=27942 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/28007/stat : 28007 (java) S 27942 27945 13007 0 -1 1077944384 3 12359 0 0 0 0 5 2 20 0 15 0 88707021 14321057792 43484 18446744073709551615 4194304 4196468 140725701012224 140075955854176 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28008] ppid=27942 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/28008/stat : 28008 (java) S 27942 27945 13007 0 -1 1077944384 10 12359 0 0 0 0 5 2 20 0 15 0 88707024 14321057792 43484 18446744073709551615 4194304 4196468 140725701012224 140075954801200 140076484795010 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 13985408

[startup+3.10062 s]
/proc/loadavg: 1.48 1.45 1.46 5/214 28009
/proc/meminfo: memFree=27624124/32770624 swapFree=0/467960
[pid=27945] ppid=27942 vsize=13995836 CPUtime=5.71 cores=0,2,4,6
/proc/27945/stat : 27945 (java) S 27942 27945 13007 0 -1 1077944320 47984 12359 0 0 548 16 5 2 20 0 15 0 88706996 14331736064 60700 18446744073709551615 4194304 4196468 140725701012224 140725700994768 140076484783863 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
/proc/27945/statm: 3498959 60700 3450 1 0 3487573 0
[pid=27945/tid=27995] ppid=27942 vsize=13995836 CPUtime=2.88 cores=0,2,4,6
/proc/27945/task/27995/stat : 27995 (java) R 27942 27945 13007 0 -1 4202560 32951 12359 0 0 272 9 5 2 20 0 15 0 88707015 14331736064 60700 18446744073709551615 4194304 4196468 140725701012224 140076489012256 140076484795798 0 4 1 16800974 0 0 0 -1 0 0 0 3 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=27996] ppid=27942 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/27996/stat : 27996 (java) S 27942 27945 13007 0 -1 1077944384 196 12359 0 0 0 0 5 2 20 0 15 0 88707016 14331736064 60700 18446744073709551615 4194304 4196468 140725701012224 140076404198416 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=27997] ppid=27942 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/27945/task/27997/stat : 27997 (java) S 27942 27945 13007 0 -1 1077944384 35 12359 0 0 1 0 5 2 20 0 15 0 88707016 14331736064 60700 18446744073709551615 4194304 4196468 140725701012224 140076403145872 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=27998] ppid=27942 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/27945/task/27998/stat : 27998 (java) S 27942 27945 13007 0 -1 1077944384 54 12359 0 0 1 0 5 2 20 0 15 0 88707016 14331736064 60700 18446744073709551615 4194304 4196468 140725701012224 140076402092816 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=27999] ppid=27942 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/27945/task/27999/stat : 27999 (java) S 27942 27945 13007 0 -1 1077944384 72 12359 0 0 1 0 5 2 20 0 15 0 88707016 14331736064 60700 18446744073709551615 4194304 4196468 140725701012224 140076401040272 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28000] ppid=27942 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/27945/task/28000/stat : 28000 (java) S 27942 27945 13007 0 -1 1077944384 1228 12359 0 0 1 0 5 2 20 0 15 0 88707017 14331736064 60700 18446744073709551615 4194304 4196468 140725701012224 140075963222256 140076484795010 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28001] ppid=27942 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/28001/stat : 28001 (java) S 27942 27945 13007 0 -1 1077944384 57 12359 0 0 0 0 5 2 20 0 15 0 88707018 14331736064 60700 18446744073709551615 4194304 4196468 140725701012224 140075962168480 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28002] ppid=27942 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/28002/stat : 28002 (java) S 27942 27945 13007 0 -1 1077944384 44 12359 0 0 0 0 5 2 20 0 15 0 88707018 14331736064 60700 18446744073709551615 4194304 4196468 140725701012224 140075961115376 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28003] ppid=27942 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/28003/stat : 28003 (java) S 27942 27945 13007 0 -1 1077944384 3 12359 0 0 0 0 5 2 20 0 15 0 88707021 14331736064 60700 18446744073709551615 4194304 4196468 140725701012224 140075960063952 140076484802459 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28004] ppid=27942 vsize=13995836 CPUtime=1.08 cores=0,2,4,6
/proc/27945/task/28004/stat : 28004 (java) S 27942 27945 13007 0 -1 1077944384 5359 12359 0 0 100 1 5 2 20 0 15 0 88707021 14331736064 60700 18446744073709551615 4194304 4196468 140725701012224 140075959012080 140076484795010 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28005] ppid=27942 vsize=13995836 CPUtime=0.91 cores=0,2,4,6
/proc/27945/task/28005/stat : 28005 (java) R 27942 27945 13007 0 -1 4202560 2486 12359 0 0 84 0 5 2 20 0 15 0 88707021 14331736064 60700 18446744073709551615 4194304 4196468 140725701012224 140075957959536 140076484795798 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28006] ppid=27942 vsize=13995836 CPUtime=0.92 cores=0,2,4,6
/proc/27945/task/28006/stat : 28006 (java) R 27942 27945 13007 0 -1 1077944384 3331 12359 0 0 84 1 5 2 20 0 15 0 88707021 14331736064 60700 18446744073709551615 4194304 4196468 140725701012224 140075956906480 140076484795010 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28007] ppid=27942 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/28007/stat : 28007 (java) S 27942 27945 13007 0 -1 1077944384 3 12359 0 0 0 0 5 2 20 0 15 0 88707021 14331736064 60700 18446744073709551615 4194304 4196468 140725701012224 140075955854176 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28008] ppid=27942 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/28008/stat : 28008 (java) S 27942 27945 13007 0 -1 1077944384 13 12359 0 0 0 0 5 2 20 0 15 0 88707024 14331736064 60700 18446744073709551615 4194304 4196468 140725701012224 140075954801200 140076484795010 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
Current children cumulated CPU time (s) 5.71
Current children cumulated vsize (KiB) 13995836

[startup+6.30076 s]
/proc/loadavg: 1.60 1.47 1.47 3/214 28009
/proc/meminfo: memFree=27347048/32770624 swapFree=0/467956
[pid=27945] ppid=27942 vsize=13999932 CPUtime=11.51 cores=0,2,4,6
/proc/27945/stat : 27945 (java) S 27942 27945 13007 0 -1 1077944320 51047 12359 0 0 1115 29 5 2 20 0 15 0 88706996 14335930368 158257 18446744073709551615 4194304 4196468 140725701012224 140725700994768 140076484783863 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
/proc/27945/statm: 3499983 158257 3468 1 0 3488597 0
[pid=27945/tid=27995] ppid=27942 vsize=13999932 CPUtime=6.01 cores=0,2,4,6
/proc/27945/task/27995/stat : 27995 (java) R 27942 27945 13007 0 -1 4202560 34276 12359 0 0 581 13 5 2 20 0 15 0 88707015 14335930368 158257 18446744073709551615 4194304 4196468 140725701012224 140076489015984 140076091599593 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=27996] ppid=27942 vsize=13999932 CPUtime=0.13 cores=0,2,4,6
/proc/27945/task/27996/stat : 27996 (java) S 27942 27945 13007 0 -1 1077944384 296 12359 0 0 4 2 5 2 20 0 15 0 88707016 14335930368 158257 18446744073709551615 4194304 4196468 140725701012224 140076404198416 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=27997] ppid=27942 vsize=13999932 CPUtime=0.12 cores=0,2,4,6
/proc/27945/task/27997/stat : 27997 (java) S 27942 27945 13007 0 -1 1077944384 76 12359 0 0 4 1 5 2 20 0 15 0 88707016 14335930368 158257 18446744073709551615 4194304 4196468 140725701012224 140076403145872 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=27998] ppid=27942 vsize=13999932 CPUtime=0.13 cores=0,2,4,6
/proc/27945/task/27998/stat : 27998 (java) S 27942 27945 13007 0 -1 1077944384 97 12359 0 0 4 2 5 2 20 0 15 0 88707016 14335930368 158257 18446744073709551615 4194304 4196468 140725701012224 140076402092816 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=27999] ppid=27942 vsize=13999932 CPUtime=0.14 cores=0,2,4,6
/proc/27945/task/27999/stat : 27999 (java) S 27942 27945 13007 0 -1 1077944384 134 12359 0 0 5 2 5 2 20 0 15 0 88707016 14335930368 158257 18446744073709551615 4194304 4196468 140725701012224 140076401040272 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28000] ppid=27942 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/27945/task/28000/stat : 28000 (java) S 27942 27945 13007 0 -1 1077944384 1486 12359 0 0 2 0 5 2 20 0 15 0 88707017 14335930368 158257 18446744073709551615 4194304 4196468 140725701012224 140075963222256 140076484795010 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28001] ppid=27942 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/28001/stat : 28001 (java) S 27942 27945 13007 0 -1 1077944384 57 12359 0 0 0 0 5 2 20 0 15 0 88707018 14335930368 158257 18446744073709551615 4194304 4196468 140725701012224 140075962168544 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28002] ppid=27942 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/28002/stat : 28002 (java) S 27942 27945 13007 0 -1 1077944384 44 12359 0 0 0 0 5 2 20 0 15 0 88707018 14335930368 158257 18446744073709551615 4194304 4196468 140725701012224 140075961115392 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28003] ppid=27942 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/28003/stat : 28003 (java) S 27942 27945 13007 0 -1 1077944384 3 12359 0 0 0 0 5 2 20 0 15 0 88707021 14335930368 158257 18446744073709551615 4194304 4196468 140725701012224 140075960063952 140076484802459 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28004] ppid=27942 vsize=13999932 CPUtime=2.1 cores=0,2,4,6
/proc/27945/task/28004/stat : 28004 (java) S 27942 27945 13007 0 -1 1077944384 5704 12359 0 0 202 1 5 2 20 0 15 0 88707021 14335930368 158257 18446744073709551615 4194304 4196468 140725701012224 140075959012080 140076484795010 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 1 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28005] ppid=27942 vsize=13999932 CPUtime=1.98 cores=0,2,4,6
/proc/27945/task/28005/stat : 28005 (java) S 27942 27945 13007 0 -1 1077944384 2802 12359 0 0 189 2 5 2 20 0 15 0 88707021 14335930368 158257 18446744073709551615 4194304 4196468 140725701012224 140075957959536 140076484795010 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28006] ppid=27942 vsize=13999932 CPUtime=1.27 cores=0,2,4,6
/proc/27945/task/28006/stat : 28006 (java) S 27942 27945 13007 0 -1 1077944384 3901 12359 0 0 118 2 5 2 20 0 15 0 88707021 14335930368 158257 18446744073709551615 4194304 4196468 140725701012224 140075956906480 140076484795010 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28007] ppid=27942 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/28007/stat : 28007 (java) S 27942 27945 13007 0 -1 1077944384 3 12359 0 0 0 0 5 2 20 0 15 0 88707021 14335930368 158257 18446744073709551615 4194304 4196468 140725701012224 140075955854176 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28008] ppid=27942 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/28008/stat : 28008 (java) S 27942 27945 13007 0 -1 1077944384 16 12359 0 0 0 0 5 2 20 0 15 0 88707024 14335930368 158257 18446744073709551615 4194304 4196468 140725701012224 140075954801200 140076484795010 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
Current children cumulated CPU time (s) 11.51
Current children cumulated vsize (KiB) 13999932

[startup+12.7008 s]
/proc/loadavg: 1.63 1.48 1.47 3/214 28009
/proc/meminfo: memFree=26506824/32770624 swapFree=0/467952
[pid=27945] ppid=27942 vsize=14001980 CPUtime=19.76 cores=0,2,4,6
/proc/27945/stat : 27945 (java) S 27942 27945 13007 0 -1 1077944320 54596 12359 0 0 1924 45 5 2 20 0 15 0 88706996 14338027520 316921 18446744073709551615 4194304 4196468 140725701012224 140725700994768 140076484783863 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
/proc/27945/statm: 3500495 316921 3474 1 0 3489109 0
[pid=27945/tid=27995] ppid=27942 vsize=14001980 CPUtime=12.23 cores=0,2,4,6
/proc/27945/task/27995/stat : 27995 (java) R 27942 27945 13007 0 -1 4202560 35499 12359 0 0 1193 23 5 2 20 0 15 0 88707015 14338027520 316921 18446744073709551615 4194304 4196468 140725701012224 140076489011440 140076091600017 0 4 1 16800974 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=27996] ppid=27942 vsize=14001980 CPUtime=0.28 cores=0,2,4,6
/proc/27945/task/27996/stat : 27996 (java) S 27942 27945 13007 0 -1 1077944384 337 12359 0 0 18 3 5 2 20 0 15 0 88707016 14338027520 316921 18446744073709551615 4194304 4196468 140725701012224 140076404198416 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=27997] ppid=27942 vsize=14001980 CPUtime=0.26 cores=0,2,4,6
/proc/27945/task/27997/stat : 27997 (java) S 27942 27945 13007 0 -1 1077944384 162 12359 0 0 17 2 5 2 20 0 15 0 88707016 14338027520 316921 18446744073709551615 4194304 4196468 140725701012224 140076403145872 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=27998] ppid=27942 vsize=14001980 CPUtime=0.28 cores=0,2,4,6
/proc/27945/task/27998/stat : 27998 (java) S 27942 27945 13007 0 -1 1077944384 177 12359 0 0 18 3 5 2 20 0 15 0 88707016 14338027520 316921 18446744073709551615 4194304 4196468 140725701012224 140076402092816 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=27999] ppid=27942 vsize=14001980 CPUtime=0.29 cores=0,2,4,6
/proc/27945/task/27999/stat : 27999 (java) S 27942 27945 13007 0 -1 1077944384 172 12359 0 0 19 3 5 2 20 0 15 0 88707016 14338027520 316921 18446744073709551615 4194304 4196468 140725701012224 140076401040272 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28000] ppid=27942 vsize=14001980 CPUtime=0.12 cores=0,2,4,6
/proc/27945/task/28000/stat : 28000 (java) S 27942 27945 13007 0 -1 1077944384 2672 12359 0 0 5 0 5 2 20 0 15 0 88707017 14338027520 316921 18446744073709551615 4194304 4196468 140725701012224 140075963222256 140076484795010 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28001] ppid=27942 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/28001/stat : 28001 (java) S 27942 27945 13007 0 -1 1077944384 57 12359 0 0 0 0 5 2 20 0 15 0 88707018 14338027520 316921 18446744073709551615 4194304 4196468 140725701012224 140075962168544 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28002] ppid=27942 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/28002/stat : 28002 (java) S 27942 27945 13007 0 -1 1077944384 44 12359 0 0 0 0 5 2 20 0 15 0 88707018 14338027520 316921 18446744073709551615 4194304 4196468 140725701012224 140075961115392 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28003] ppid=27942 vsize=14001980 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/28003/stat : 28003 (java) S 27942 27945 13007 0 -1 1077944384 3 12359 0 0 0 0 5 2 20 0 15 0 88707021 14338027520 316921 18446744073709551615 4194304 4196468 140725701012224 140075960063952 140076484802459 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0

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

Current children cumulated vsize (KiB) 14069564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1046.8 s]
/proc/loadavg: 2.42 2.61 2.34 6/214 28100
/proc/meminfo: memFree=15057604/32770624 swapFree=0/468148
[pid=27945] ppid=27942 vsize=14069564 CPUtime=2520.02 cores=0,2,4,6
/proc/27945/stat : 27945 (java) S 27942 27945 13007 0 -1 1077944320 1701370 12359 0 0 250024 1971 5 2 20 0 15 0 88706996 14407233536 2933326 18446744073709551615 4194304 4196468 140725701012224 140725700994768 140076484783863 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
/proc/27945/statm: 3517391 2933326 3495 1 0 3506005 0
[pid=27945/tid=27995] ppid=27942 vsize=14069564 CPUtime=553.04 cores=0,2,4,6
/proc/27945/task/27995/stat : 27995 (java) S 27942 27945 13007 0 -1 1077944384 95935 12359 0 0 55258 39 5 2 20 0 15 0 88707015 14407233536 2933326 18446744073709551615 4194304 4196468 140725701012224 140076488974064 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=27996] ppid=27942 vsize=14069564 CPUtime=487.65 cores=0,2,4,6
/proc/27945/task/27996/stat : 27996 (java) R 27942 27945 13007 0 -1 4202560 359101 12359 0 0 48282 476 5 2 20 0 15 0 88707016 14407233536 2933326 18446744073709551615 4194304 4196468 140725701012224 140076404198616 140076469779848 0 4 1 16800974 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=27997] ppid=27942 vsize=14069564 CPUtime=487.66 cores=0,2,4,6
/proc/27945/task/27997/stat : 27997 (java) R 27942 27945 13007 0 -1 4202560 303707 12359 0 0 48292 467 5 2 20 0 15 0 88707016 14407233536 2933326 18446744073709551615 4194304 4196468 140725701012224 140076403146072 140076469484496 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=27998] ppid=27942 vsize=14069564 CPUtime=487.38 cores=0,2,4,6
/proc/27945/task/27998/stat : 27998 (java) R 27942 27945 13007 0 -1 4202560 354565 12359 0 0 48260 471 5 2 20 0 15 0 88707016 14407233536 2933326 18446744073709551615 4194304 4196468 140725701012224 140076402092816 140076469484551 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=27999] ppid=27942 vsize=14069564 CPUtime=487.62 cores=0,2,4,6
/proc/27945/task/27999/stat : 27999 (java) R 27942 27945 13007 0 -1 4202560 306119 12359 0 0 48281 474 5 2 20 0 15 0 88707016 14407233536 2933326 18446744073709551615 4194304 4196468 140725701012224 140076401040160 140076469484488 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28000] ppid=27942 vsize=14069564 CPUtime=3.84 cores=0,2,4,6
/proc/27945/task/28000/stat : 28000 (java) S 27942 27945 13007 0 -1 1077944384 202963 12359 0 0 362 15 5 2 20 0 15 0 88707017 14407233536 2933326 18446744073709551615 4194304 4196468 140725701012224 140075963220800 140076484794069 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28001] ppid=27942 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/28001/stat : 28001 (java) S 27942 27945 13007 0 -1 1077944384 123 12359 0 0 0 0 5 2 20 0 15 0 88707018 14407233536 2933326 18446744073709551615 4194304 4196468 140725701012224 140075962168608 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28002] ppid=27942 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/28002/stat : 28002 (java) S 27942 27945 13007 0 -1 1077944384 90 12359 0 0 0 0 5 2 20 0 15 0 88707018 14407233536 2933326 18446744073709551615 4194304 4196468 140725701012224 140075961115392 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28003] ppid=27942 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/28003/stat : 28003 (java) S 27942 27945 13007 0 -1 1077944384 3 12359 0 0 0 0 5 2 20 0 15 0 88707021 14407233536 2933326 18446744073709551615 4194304 4196468 140725701012224 140075960063952 140076484802459 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28004] ppid=27942 vsize=14069564 CPUtime=4.75 cores=0,2,4,6
/proc/27945/task/28004/stat : 28004 (java) S 27942 27945 13007 0 -1 1077944384 27668 12359 0 0 464 4 5 2 20 0 15 0 88707021 14407233536 2933326 18446744073709551615 4194304 4196468 140725701012224 140075959012080 140076484795010 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28005] ppid=27942 vsize=14069564 CPUtime=5.62 cores=0,2,4,6
/proc/27945/task/28005/stat : 28005 (java) S 27942 27945 13007 0 -1 1077944384 27964 12359 0 0 550 5 5 2 20 0 15 0 88707021 14407233536 2933326 18446744073709551615 4194304 4196468 140725701012224 140075957959536 140076484795010 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28006] ppid=27942 vsize=14069564 CPUtime=2.06 cores=0,2,4,6
/proc/27945/task/28006/stat : 28006 (java) S 27942 27945 13007 0 -1 1077944384 18293 12359 0 0 194 5 5 2 20 0 15 0 88707021 14407233536 2933326 18446744073709551615 4194304 4196468 140725701012224 140075956906480 140076484795010 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28007] ppid=27942 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/28007/stat : 28007 (java) S 27942 27945 13007 0 -1 1077944384 3 12359 0 0 0 0 5 2 20 0 15 0 88707021 14407233536 2933326 18446744073709551615 4194304 4196468 140725701012224 140075955854176 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28008] ppid=27942 vsize=14069564 CPUtime=0.9 cores=0,2,4,6
/proc/27945/task/28008/stat : 28008 (java) S 27942 27945 13007 0 -1 1077944384 2684 12359 0 0 47 36 5 2 20 0 15 0 88707024 14407233536 2933326 18446744073709551615 4194304 4196468 140725701012224 140075954801200 140076484795010 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
Current children cumulated CPU time (s) 2520.02
Current children cumulated vsize (KiB) 14069564

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

Sending SIGKILL to process tree (bottom up)

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

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

[startup+1048 s]
/proc/loadavg: 2.42 2.61 2.34 6/214 28100
/proc/meminfo: memFree=15058100/32770624 swapFree=0/468148
[pid=27945] ppid=27942 vsize=14069564 CPUtime=2524.81 cores=0,2,4,6
/proc/27945/stat : 27945 (java) S 27942 27945 13007 0 -1 1077944320 1741157 12359 0 0 250500 1974 5 2 20 0 15 0 88706996 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140725700994768 140076484783863 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
/proc/27945/statm: 3517391 2933329 3495 1 0 3506005 0
[pid=27945/tid=27995] ppid=27942 vsize=14069564 CPUtime=553.04 cores=0,2,4,6
/proc/27945/task/27995/stat : 27995 (java) S 27942 27945 13007 0 -1 1077944384 95935 12359 0 0 55258 39 5 2 20 0 15 0 88707015 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140076488974064 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=27996] ppid=27942 vsize=14069564 CPUtime=488.83 cores=0,2,4,6
/proc/27945/task/27996/stat : 27996 (java) R 27942 27945 13007 0 -1 4202560 369048 12359 0 0 48399 477 5 2 20 0 15 0 88707016 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140076404198616 140076469484579 0 4 1 16800974 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=27997] ppid=27942 vsize=14069564 CPUtime=488.86 cores=0,2,4,6
/proc/27945/task/27997/stat : 27997 (java) R 27942 27945 13007 0 -1 4202560 313652 12359 0 0 48412 467 5 2 20 0 15 0 88707016 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140076403146072 140076469780372 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=27998] ppid=27942 vsize=14069564 CPUtime=488.58 cores=0,2,4,6
/proc/27945/task/27998/stat : 27998 (java) R 27942 27945 13007 0 -1 4202560 364511 12359 0 0 48379 472 5 2 20 0 15 0 88707016 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140076402093016 140076469780267 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=27999] ppid=27942 vsize=14069564 CPUtime=488.82 cores=0,2,4,6
/proc/27945/task/27999/stat : 27999 (java) R 27942 27945 13007 0 -1 4202560 316064 12359 0 0 48401 474 5 2 20 0 15 0 88707016 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140076401040160 140076469484551 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28000] ppid=27942 vsize=14069564 CPUtime=3.84 cores=0,2,4,6
/proc/27945/task/28000/stat : 28000 (java) S 27942 27945 13007 0 -1 1077944384 202963 12359 0 0 362 15 5 2 20 0 15 0 88707017 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140075963220800 140076484794069 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28001] ppid=27942 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/28001/stat : 28001 (java) S 27942 27945 13007 0 -1 1077944384 123 12359 0 0 0 0 5 2 20 0 15 0 88707018 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140075962168608 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28002] ppid=27942 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/28002/stat : 28002 (java) S 27942 27945 13007 0 -1 1077944384 90 12359 0 0 0 0 5 2 20 0 15 0 88707018 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140075961115392 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28003] ppid=27942 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/28003/stat : 28003 (java) S 27942 27945 13007 0 -1 1077944384 6 12359 0 0 0 0 5 2 20 0 15 0 88707021 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140075960063600 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28004] ppid=27942 vsize=14069564 CPUtime=4.75 cores=0,2,4,6
/proc/27945/task/28004/stat : 28004 (java) S 27942 27945 13007 0 -1 1077944384 27668 12359 0 0 464 4 5 2 20 0 15 0 88707021 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140075959012128 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28005] ppid=27942 vsize=14069564 CPUtime=5.62 cores=0,2,4,6
/proc/27945/task/28005/stat : 28005 (java) S 27942 27945 13007 0 -1 1077944384 27964 12359 0 0 550 5 5 2 20 0 15 0 88707021 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140075957959296 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28006] ppid=27942 vsize=14069564 CPUtime=2.06 cores=0,2,4,6
/proc/27945/task/28006/stat : 28006 (java) S 27942 27945 13007 0 -1 1077944384 18293 12359 0 0 194 5 5 2 20 0 15 0 88707021 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140075956906528 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28007] ppid=27942 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/28007/stat : 28007 (java) S 27942 27945 13007 0 -1 1077944384 3 12359 0 0 0 0 5 2 20 0 15 0 88707021 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140075955854176 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28008] ppid=27942 vsize=14069564 CPUtime=0.9 cores=0,2,4,6
/proc/27945/task/28008/stat : 28008 (java) S 27942 27945 13007 0 -1 1077944384 2684 12359 0 0 47 36 5 2 20 0 15 0 88707024 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140075954801200 140076484795010 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
Current children cumulated CPU time (s) 2524.81
Current children cumulated vsize (KiB) 14069564

[startup+1048.41 s]
/proc/loadavg: 2.62 2.65 2.35 6/214 28100
/proc/meminfo: memFree=15058100/32770624 swapFree=0/468148
[pid=27945] ppid=27942 vsize=14069564 CPUtime=2526.42 cores=0,2,4,6
/proc/27945/stat : 27945 (java) S 27942 27945 13007 0 -1 1077944320 1741631 12359 0 0 250661 1974 5 2 20 0 15 0 88706996 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140725700994768 140076484783863 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
/proc/27945/statm: 3517391 2933329 3495 1 0 3506005 0
[pid=27945/tid=27995] ppid=27942 vsize=14069564 CPUtime=553.04 cores=0,2,4,6
/proc/27945/task/27995/stat : 27995 (java) S 27942 27945 13007 0 -1 1077944384 95935 12359 0 0 55258 39 5 2 20 0 15 0 88707015 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140076488974064 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=27996] ppid=27942 vsize=14069564 CPUtime=489.23 cores=0,2,4,6
/proc/27945/task/27996/stat : 27996 (java) R 27942 27945 13007 0 -1 4202560 369167 12359 0 0 48439 477 5 2 20 0 15 0 88707016 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140076404198616 140076469484554 0 4 1 16800974 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=27997] ppid=27942 vsize=14069564 CPUtime=489.26 cores=0,2,4,6
/proc/27945/task/27997/stat : 27997 (java) R 27942 27945 13007 0 -1 4202560 313771 12359 0 0 48452 467 5 2 20 0 15 0 88707016 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140076403146072 140076469780349 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=27998] ppid=27942 vsize=14069564 CPUtime=488.99 cores=0,2,4,6
/proc/27945/task/27998/stat : 27998 (java) R 27942 27945 13007 0 -1 4202560 364628 12359 0 0 48420 472 5 2 20 0 15 0 88707016 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140076402093016 140076466393529 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=27999] ppid=27942 vsize=14069564 CPUtime=489.22 cores=0,2,4,6
/proc/27945/task/27999/stat : 27999 (java) R 27942 27945 13007 0 -1 4202560 316183 12359 0 0 48441 474 5 2 20 0 15 0 88707016 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140076401040160 140076469484551 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28000] ppid=27942 vsize=14069564 CPUtime=3.84 cores=0,2,4,6
/proc/27945/task/28000/stat : 28000 (java) S 27942 27945 13007 0 -1 1077944384 202963 12359 0 0 362 15 5 2 20 0 15 0 88707017 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140075963220800 140076484794069 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28001] ppid=27942 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/28001/stat : 28001 (java) S 27942 27945 13007 0 -1 1077944384 123 12359 0 0 0 0 5 2 20 0 15 0 88707018 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140075962168608 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28002] ppid=27942 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/28002/stat : 28002 (java) S 27942 27945 13007 0 -1 1077944384 90 12359 0 0 0 0 5 2 20 0 15 0 88707018 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140075961115392 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28003] ppid=27942 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/28003/stat : 28003 (java) S 27942 27945 13007 0 -1 1077944384 6 12359 0 0 0 0 5 2 20 0 15 0 88707021 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140075960063600 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28004] ppid=27942 vsize=14069564 CPUtime=4.75 cores=0,2,4,6
/proc/27945/task/28004/stat : 28004 (java) S 27942 27945 13007 0 -1 1077944384 27668 12359 0 0 464 4 5 2 20 0 15 0 88707021 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140075959012128 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28005] ppid=27942 vsize=14069564 CPUtime=5.62 cores=0,2,4,6
/proc/27945/task/28005/stat : 28005 (java) S 27942 27945 13007 0 -1 1077944384 27964 12359 0 0 550 5 5 2 20 0 15 0 88707021 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140075957959296 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28006] ppid=27942 vsize=14069564 CPUtime=2.06 cores=0,2,4,6
/proc/27945/task/28006/stat : 28006 (java) S 27942 27945 13007 0 -1 1077944384 18293 12359 0 0 194 5 5 2 20 0 15 0 88707021 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140075956906528 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28007] ppid=27942 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/28007/stat : 28007 (java) S 27942 27945 13007 0 -1 1077944384 3 12359 0 0 0 0 5 2 20 0 15 0 88707021 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140075955854176 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28008] ppid=27942 vsize=14069564 CPUtime=0.9 cores=0,2,4,6
/proc/27945/task/28008/stat : 28008 (java) S 27942 27945 13007 0 -1 1077944384 2684 12359 0 0 47 36 5 2 20 0 15 0 88707024 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140075954801200 140076484795010 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
Current children cumulated CPU time (s) 2526.42
Current children cumulated vsize (KiB) 14069564

[startup+1048.8 s]
/proc/loadavg: 2.62 2.65 2.35 6/214 28100
/proc/meminfo: memFree=15058100/32770624 swapFree=0/468148
[pid=27945] ppid=27942 vsize=14069564 CPUtime=2528 cores=0,2,4,6
/proc/27945/stat : 27945 (java) S 27942 27945 13007 0 -1 1077944320 1741632 12359 0 0 250819 1974 5 2 20 0 15 0 88706996 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140725700994768 140076484783863 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
/proc/27945/statm: 3517391 2933329 3495 1 0 3506005 0
[pid=27945/tid=27995] ppid=27942 vsize=14069564 CPUtime=553.04 cores=0,2,4,6
/proc/27945/task/27995/stat : 27995 (java) S 27942 27945 13007 0 -1 1077944384 95935 12359 0 0 55258 39 5 2 20 0 15 0 88707015 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140076488974064 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=27996] ppid=27942 vsize=14069564 CPUtime=489.62 cores=0,2,4,6
/proc/27945/task/27996/stat : 27996 (java) R 27942 27945 13007 0 -1 4202560 369167 12359 0 0 48478 477 5 2 20 0 15 0 88707016 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140076404198616 140076469484448 0 4 1 16800974 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=27997] ppid=27942 vsize=14069564 CPUtime=489.65 cores=0,2,4,6
/proc/27945/task/27997/stat : 27997 (java) R 27942 27945 13007 0 -1 4202560 313771 12359 0 0 48491 467 5 2 20 0 15 0 88707016 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140076403146072 140076469484608 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=27998] ppid=27942 vsize=14069564 CPUtime=489.38 cores=0,2,4,6
/proc/27945/task/27998/stat : 27998 (java) R 27942 27945 13007 0 -1 4202560 364629 12359 0 0 48459 472 5 2 20 0 15 0 88707016 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140076402093016 140076469484486 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=27999] ppid=27942 vsize=14069564 CPUtime=489.62 cores=0,2,4,6
/proc/27945/task/27999/stat : 27999 (java) R 27942 27945 13007 0 -1 4202560 316183 12359 0 0 48481 474 5 2 20 0 15 0 88707016 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140076401040160 140076469779851 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28000] ppid=27942 vsize=14069564 CPUtime=3.84 cores=0,2,4,6
/proc/27945/task/28000/stat : 28000 (java) S 27942 27945 13007 0 -1 1077944384 202963 12359 0 0 362 15 5 2 20 0 15 0 88707017 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140075963220800 140076484794069 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28001] ppid=27942 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/28001/stat : 28001 (java) S 27942 27945 13007 0 -1 1077944384 123 12359 0 0 0 0 5 2 20 0 15 0 88707018 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140075962168608 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28002] ppid=27942 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/28002/stat : 28002 (java) S 27942 27945 13007 0 -1 1077944384 90 12359 0 0 0 0 5 2 20 0 15 0 88707018 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140075961115392 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28003] ppid=27942 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/28003/stat : 28003 (java) S 27942 27945 13007 0 -1 1077944384 6 12359 0 0 0 0 5 2 20 0 15 0 88707021 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140075960063600 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28004] ppid=27942 vsize=14069564 CPUtime=4.75 cores=0,2,4,6
/proc/27945/task/28004/stat : 28004 (java) S 27942 27945 13007 0 -1 1077944384 27668 12359 0 0 464 4 5 2 20 0 15 0 88707021 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140075959012128 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28005] ppid=27942 vsize=14069564 CPUtime=5.62 cores=0,2,4,6
/proc/27945/task/28005/stat : 28005 (java) S 27942 27945 13007 0 -1 1077944384 27964 12359 0 0 550 5 5 2 20 0 15 0 88707021 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140075957959296 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28006] ppid=27942 vsize=14069564 CPUtime=2.06 cores=0,2,4,6
/proc/27945/task/28006/stat : 28006 (java) S 27942 27945 13007 0 -1 1077944384 18293 12359 0 0 194 5 5 2 20 0 15 0 88707021 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140075956906528 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 2 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28007] ppid=27942 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/27945/task/28007/stat : 28007 (java) S 27942 27945 13007 0 -1 1077944384 3 12359 0 0 0 0 5 2 20 0 15 0 88707021 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140075955854176 140076484794069 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
[pid=27945/tid=28008] ppid=27942 vsize=14069564 CPUtime=0.9 cores=0,2,4,6
/proc/27945/task/28008/stat : 28008 (java) S 27942 27945 13007 0 -1 1077944384 2684 12359 0 0 47 36 5 2 20 0 15 0 88707024 14407233536 2933329 18446744073709551615 4194304 4196468 140725701012224 140075954801200 140076484795010 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 1 0 0 6293624 6294260 24010752 140725701019600 140725701022385 140725701022385 140725701025743 0
Current children cumulated CPU time (s) 2528
Current children cumulated vsize (KiB) 14069564

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1048.88
CPU time (s): 2528.13
CPU user time (s): 2508.29
CPU system time (s): 19.8361
CPU usage (%): 241.031
Max. virtual memory (cumulated for all children) (KiB): 14069564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2508.29
system time used= 19.8361
maximum resident set size= 11777764
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1753994
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1536
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 303179
involuntary context switches= 19129

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.97676 second user time and 6.77872 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-11 17:58:43
IDJOB=4262195
IDBENCH=135794
IDSOLVER=2650
FILE ID=node135/4262195-1502467958
RUNJOBID= node135-1502411443-13071
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/TravellingSalesman/TravellingSalesman-m1-n150/TravellingSalesman-150-50-15.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262195-1502467958/watcher-4262195-1502467958 -o /tmp/evaluation-result-4262195-1502467958/solver-4262195-1502467958 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502411443-13071 --watchdog 2580  bin/concrete HOME/instance-4262195-1502467958.xml

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

MD5SUM BENCH= 97b5a288822c02a27c7c951fc8651369
RANDOM SEED=1740015346

node135.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.21
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.21
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.21
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.21
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:        27797860 kB
MemAvailable:   28636912 kB
Buffers:          294844 kB
Cached:           836000 kB
SwapCached:            0 kB
Active:          4025816 kB
Inactive:         500572 kB
Active(anon):    3396148 kB
Inactive(anon):    33140 kB
Active(file):     629668 kB
Inactive(file):   467432 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             23996 kB
Writeback:             0 kB
AnonPages:       3395320 kB
Mapped:            63424 kB
Shmem:             33464 kB
Slab:             143236 kB
SReclaimable:     115572 kB
SUnreclaim:        27664 kB
KernelStack:        3488 kB
PageTables:        11664 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    4163844 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3141632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61984 MiB
End job on node135 at 2017-08-11 18:16:12