Trace number 4399692

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
choco-solver 2019-09-16 parallel? (TO) 20078.5 2520.19

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-spng/
Pb-NG-K146.xml
MD5SUM4266c7f8eabadceca7159896250ebd53
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables17374
Number of constraints17668
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":17374}]
Minimum variable degree3
Maximum variable degree12
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":274},{"degree":5,"count":1783},{"degree":6,"count":7809},{"degree":7,"count":4765},{"degree":8,"count":1875},{"degree":9,"count":578},{"degree":10,"count":144},{"degree":11,"count":1},{"degree":12,"count":144}]
Minimum constraint arity1
Maximum constraint arity146
Distribution of constraint arities[{"arity":1,"count":2},{"arity":2,"count":1885},{"arity":3,"count":7830},{"arity":4,"count":4785},{"arity":5,"count":2030},{"arity":6,"count":435},{"arity":7,"count":145},{"arity":9,"count":145},{"arity":119,"count":292},{"arity":146,"count":119}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":17668}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx24000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4399692-1568711225.xml"  -tl '20160s' -p 8
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4399692-1568711225.xml, -tl, 20160s, -p, 8]
0.34/0.22	c 8 solvers in parallel
0.34/0.28	c parse instance...
10.82/4.22	c solve instance...
20077.63/2520.07	s UNKNOWN
20077.63/2520.07	c Unexpected resolution interruption!

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14433 MiB free)
  memory of node 1: 16384 MiB (15215 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399692-1568711225/watcher-4399692-1568711225 -o /tmp/evaluation-result-4399692-1568711225/solver-4399692-1568711225 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568707545-31265 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 687677441 HOME/instance-4399692-1568711225.xml 

running on 8 cores: 0,2,4,6,1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=31282, runsolver pid=31279
Current StackSize limit: 8192 KiB


[startup+0.100134 s]*
/proc/loadavg: 8.95 8.47 8.32 2/211 31303
/proc/meminfo: memFree=30341776/32770624 swapFree=67000100/67108860
[pid=31282] ppid=31279 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/31282/stat : 31282 (xcsp3-exec) S 31279 31282 31238 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447376928 115843072 364 33554432000 4194304 5098028 140721061595600 140721061593704 140651316990588 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21471232 140721061602166 140721061602409 140721061602409 140721061605322 0
/proc/31282/statm: 28282 364 305 221 0 87 0
[pid=31284] ppid=31282 vsize=28227396 memory=31944 CPUtime=0.12 cores=0-7
/proc/31284/stat : 31284 (java) S 31282 31282 31238 0 -1 1077944320 5388 0 0 0 11 1 0 0 20 0 20 0 447376928 28904853504 7986 33554432000 4194304 4196468 140730793350688 140730793333232 140431426473719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
/proc/31284/statm: 7056849 7986 3133 1 0 7019032 0
[pid=31284/tid=31285] ppid=31282 vsize=28227396 memory=576460756329955445 CPUtime=0.09 cores=0-7
/proc/31284/task/31285/stat : 31285 (java) R 31282 31282 31238 0 -1 4202560 3281 0 0 0 8 1 0 0 20 0 20 0 447376928 28904853504 7986 33554432000 4194304 4196468 140730793350688 140431430699552 140431426495066 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31286] ppid=31282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31286/stat : 31286 (java) S 31282 31282 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447376929 28904853504 7986 33554432000 4194304 4196468 140730793350688 140431346326160 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31287] ppid=31282 vsize=28227396 memory=139682774236019 CPUtime=0 cores=0-7
/proc/31284/task/31287/stat : 31287 (java) S 31282 31282 31238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447376929 28904853504 7986 33554432000 4194304 4196468 140730793350688 140431345273360 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31288] ppid=31282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31288/stat : 31288 (java) S 31282 31282 31238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447376929 28904853504 7986 33554432000 4194304 4196468 140730793350688 140431344220560 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31289] ppid=31282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31289/stat : 31289 (java) S 31282 31282 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447376929 28904853504 7986 33554432000 4194304 4196468 140730793350688 140431343167760 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31290] ppid=31282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31290/stat : 31290 (java) S 31282 31282 31238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447376929 28904853504 7986 33554432000 4194304 4196468 140730793350688 140431342115984 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31291] ppid=31282 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/31284/task/31291/stat : 31291 (java) S 31282 31282 31238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447376929 28904853504 7986 33554432000 4194304 4196468 140730793350688 140431341063184 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31292] ppid=31282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31292/stat : 31292 (java) S 31282 31282 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447376929 28904853504 7986 33554432000 4194304 4196468 140730793350688 140431340010384 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31293] ppid=31282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31293/stat : 31293 (java) S 31282 31282 31238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447376929 28904853504 7986 33554432000 4194304 4196468 140730793350688 140431338957584 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31294] ppid=31282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31294/stat : 31294 (java) S 31282 31282 31238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447376931 28904853504 7986 33554432000 4194304 4196468 140730793350688 140429756316016 140431426484866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31295] ppid=31282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31295/stat : 31295 (java) S 31282 31282 31238 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447376931 28904853504 7986 33554432000 4194304 4196468 140730793350688 140429755261984 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31296] ppid=31282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31296/stat : 31296 (java) S 31282 31282 31238 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447376931 28904853504 7986 33554432000 4194304 4196468 140730793350688 140429754209136 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31297] ppid=31282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31297/stat : 31297 (java) S 31282 31282 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447376934 28904853504 7986 33554432000 4194304 4196468 140730793350688 140429753157456 140431426492315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31298] ppid=31282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31298/stat : 31298 (java) S 31282 31282 31238 0 -1 1077944384 438 0 0 0 0 0 0 0 20 0 20 0 447376934 28904853504 7986 33554432000 4194304 4196468 140730793350688 140429752105840 140431426484866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31299] ppid=31282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31299/stat : 31299 (java) R 31282 31282 31238 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 20 0 447376934 28904853504 7986 33554432000 4194304 4196468 140730793350688 140429751053040 140431407826032 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31300] ppid=31282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31300/stat : 31300 (java) S 31282 31282 31238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447376934 28904853504 7986 33554432000 4194304 4196468 140730793350688 140429750000240 140431426484866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31301] ppid=31282 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/31284/task/31301/stat : 31301 (java) R 31282 31282 31238 0 -1 4202560 353 0 0 0 2 0 0 0 20 0 20 0 447376934 28904853504 7986 33554432000 4194304 4196468 140730793350688 140429748947440 140431410583760 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31302] ppid=31282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31302/stat : 31302 (java) S 31282 31282 31238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447376934 28904853504 7986 33554432000 4194304 4196468 140730793350688 140429747894880 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31303] ppid=31282 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/31284/task/31303/stat : 31303 (java) S 31282 31282 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447376934 28904853504 7986 33554432000 4194304 4196468 140730793350688 140429746842160 140431426484866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 33400 KiB

[startup+0.210527 s]*
/proc/loadavg: 8.95 8.47 8.32 3/211 31303
/proc/meminfo: memFree=30328404/32770624 swapFree=67000100/67108860
[pid=31282] ppid=31279 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/31282/stat : 31282 (xcsp3-exec) S 31279 31282 31238 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447376928 115843072 364 33554432000 4194304 5098028 140721061595600 140721061593704 140651316990588 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21471232 140721061602166 140721061602409 140721061602409 140721061605322 0
/proc/31282/statm: 28282 364 305 221 0 87 0
[pid=31284] ppid=31282 vsize=28227396 memory=42960 CPUtime=0.34 cores=0-7
/proc/31284/stat : 31284 (java) S 31282 31282 31238 0 -1 1077944320 8984 0 0 0 31 3 0 0 20 0 20 0 447376928 28904853504 10740 33554432000 4194304 4196468 140730793350688 140730793333232 140431426473719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
/proc/31284/statm: 7056849 10740 3301 1 0 7019032 0
[pid=31284/tid=31285] ppid=31282 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/31284/task/31285/stat : 31285 (java) R 31282 31282 31238 0 -1 4202560 6090 0 0 0 18 2 0 0 20 0 20 0 447376928 28904853504 10740 33554432000 4194304 4196468 140730793350688 140431430711536 140431019070279 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31286] ppid=31282 vsize=28227396 memory=288230596118053219 CPUtime=0 cores=0-7
/proc/31284/task/31286/stat : 31286 (java) S 31282 31282 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447376929 28904853504 10740 33554432000 4194304 4196468 140730793350688 140431346326160 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31287] ppid=31282 vsize=28227396 memory=288370058925917824 CPUtime=0 cores=0-7
/proc/31284/task/31287/stat : 31287 (java) S 31282 31282 31238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447376929 28904853504 10740 33554432000 4194304 4196468 140730793350688 140431345273360 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31288] ppid=31282 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/31284/task/31288/stat : 31288 (java) S 31282 31282 31238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447376929 28904853504 10740 33554432000 4194304 4196468 140730793350688 140431344220560 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31289] ppid=31282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31289/stat : 31289 (java) S 31282 31282 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447376929 28904853504 10740 33554432000 4194304 4196468 140730793350688 140431343167760 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31290] ppid=31282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31290/stat : 31290 (java) S 31282 31282 31238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447376929 28904853504 10740 33554432000 4194304 4196468 140730793350688 140431342115984 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31291] ppid=31282 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/31284/task/31291/stat : 31291 (java) S 31282 31282 31238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447376929 28904853504 10740 33554432000 4194304 4196468 140730793350688 140431341063184 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31292] ppid=31282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31292/stat : 31292 (java) S 31282 31282 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447376929 28904853504 10740 33554432000 4194304 4196468 140730793350688 140431340010384 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31293] ppid=31282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31293/stat : 31293 (java) S 31282 31282 31238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447376929 28904853504 10740 33554432000 4194304 4196468 140730793350688 140431338957584 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31294] ppid=31282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31294/stat : 31294 (java) S 31282 31282 31238 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447376931 28904853504 10740 33554432000 4194304 4196468 140730793350688 140429756316016 140431426484866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31295] ppid=31282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31295/stat : 31295 (java) S 31282 31282 31238 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447376931 28904853504 10740 33554432000 4194304 4196468 140730793350688 140429755261984 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31296] ppid=31282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31296/stat : 31296 (java) S 31282 31282 31238 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447376931 28904853504 10740 33554432000 4194304 4196468 140730793350688 140429754209136 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31297] ppid=31282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31297/stat : 31297 (java) S 31282 31282 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447376934 28904853504 10740 33554432000 4194304 4196468 140730793350688 140429753157456 140431426492315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31298] ppid=31282 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/31284/task/31298/stat : 31298 (java) S 31282 31282 31238 0 -1 1077944384 537 0 0 0 1 0 0 0 20 0 20 0 447376934 28904853504 10740 33554432000 4194304 4196468 140730793350688 140429752105840 140431426484866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31299] ppid=31282 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/31284/task/31299/stat : 31299 (java) S 31282 31282 31238 0 -1 1077944384 284 0 0 0 1 0 0 0 20 0 20 0 447376934 28904853504 10740 33554432000 4194304 4196468 140730793350688 140429751053040 140431426484866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31300] ppid=31282 vsize=28227396 memory=-1 CPUtime=0.01 cores=0-7
/proc/31284/task/31300/stat : 31300 (java) S 31282 31282 31238 0 -1 1077944384 53 0 0 0 1 0 0 0 20 0 20 0 447376934 28904853504 10740 33554432000 4194304 4196468 140730793350688 140429750000240 140431426484866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31301] ppid=31282 vsize=28227396 memory=0 CPUtime=0.08 cores=0-7
/proc/31284/task/31301/stat : 31301 (java) S 31282 31282 31238 0 -1 1077944384 704 0 0 0 8 0 0 0 20 0 20 0 447376934 28904853504 10740 33554432000 4194304 4196468 140730793350688 140429748947440 140431426484866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31302] ppid=31282 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31302/stat : 31302 (java) S 31282 31282 31238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447376934 28904853504 10740 33554432000 4194304 4196468 140730793350688 140429747894880 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31303] ppid=31282 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/31284/task/31303/stat : 31303 (java) S 31282 31282 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447376934 28904853504 10740 33554432000 4194304 4196468 140730793350688 140429746842160 140431426484866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 44416 KiB

[startup+0.310093 s]*
/proc/loadavg: 8.31 8.35 8.28 3/211 31303
/proc/meminfo: memFree=30321316/32770624 swapFree=67000100/67108860
[pid=31282] ppid=31279 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/31282/stat : 31282 (xcsp3-exec) S 31279 31282 31238 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447376928 115843072 364 33554432000 4194304 5098028 140721061595600 140721061593704 140651316990588 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21471232 140721061602166 140721061602409 140721061602409 140721061605322 0
/proc/31282/statm: 28282 364 305 221 0 87 0
[pid=31284] ppid=31282 vsize=28231652 memory=51724 CPUtime=0.53 cores=0-7
/proc/31284/stat : 31284 (java) S 31282 31282 31238 0 -1 1077944320 10342 0 0 0 49 4 0 0 20 0 20 0 447376928 28909211648 12931 33554432000 4194304 4196468 140730793350688 140730793333232 140431426473719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
/proc/31284/statm: 7057913 12931 3344 1 0 7019032 0
[pid=31284/tid=31285] ppid=31282 vsize=28231652 memory=8317482817917895235 CPUtime=0.29 cores=0-7
/proc/31284/task/31285/stat : 31285 (java) R 31282 31282 31238 0 -1 4202560 7250 0 0 0 27 2 0 0 20 0 20 0 447376928 28909211648 12931 33554432000 4194304 4196468 140730793350688 140431430707504 140431410554206 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31286] ppid=31282 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31286/stat : 31286 (java) S 31282 31282 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447376929 28909211648 12931 33554432000 4194304 4196468 140730793350688 140431346326160 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31287] ppid=31282 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31287/stat : 31287 (java) S 31282 31282 31238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447376929 28909211648 12931 33554432000 4194304 4196468 140730793350688 140431345273360 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31288] ppid=31282 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31288/stat : 31288 (java) S 31282 31282 31238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447376929 28909211648 12931 33554432000 4194304 4196468 140730793350688 140431344220560 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31289] ppid=31282 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31289/stat : 31289 (java) S 31282 31282 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447376929 28909211648 12931 33554432000 4194304 4196468 140730793350688 140431343167760 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31290] ppid=31282 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31290/stat : 31290 (java) S 31282 31282 31238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447376929 28909211648 12931 33554432000 4194304 4196468 140730793350688 140431342115984 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31291] ppid=31282 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31291/stat : 31291 (java) S 31282 31282 31238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447376929 28909211648 12931 33554432000 4194304 4196468 140730793350688 140431341063184 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31292] ppid=31282 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31292/stat : 31292 (java) S 31282 31282 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447376929 28909211648 12931 33554432000 4194304 4196468 140730793350688 140431340010384 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31293] ppid=31282 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31293/stat : 31293 (java) S 31282 31282 31238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447376929 28909211648 12931 33554432000 4194304 4196468 140730793350688 140431338957584 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31294] ppid=31282 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31294/stat : 31294 (java) S 31282 31282 31238 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 447376931 28909211648 12931 33554432000 4194304 4196468 140730793350688 140429756316016 140431426484866 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31295] ppid=31282 vsize=28231652 memory=279365342666112 CPUtime=0 cores=0-7
/proc/31284/task/31295/stat : 31295 (java) S 31282 31282 31238 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447376931 28909211648 12931 33554432000 4194304 4196468 140730793350688 140429755261984 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31296] ppid=31282 vsize=28231652 memory=279365342670720 CPUtime=0 cores=0-7
/proc/31284/task/31296/stat : 31296 (java) S 31282 31282 31238 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447376931 28909211648 12931 33554432000 4194304 4196468 140730793350688 140429754209136 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31297] ppid=31282 vsize=28231652 memory=279365342675328 CPUtime=0 cores=0-7
/proc/31284/task/31297/stat : 31297 (java) S 31282 31282 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447376934 28909211648 12931 33554432000 4194304 4196468 140730793350688 140429753157456 140431426492315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31298] ppid=31282 vsize=28231652 memory=279365342679936 CPUtime=0.02 cores=0-7
/proc/31284/task/31298/stat : 31298 (java) S 31282 31282 31238 0 -1 1077944384 545 0 0 0 2 0 0 0 20 0 20 0 447376934 28909211648 12931 33554432000 4194304 4196468 140730793350688 140429752105840 140431426484866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31299] ppid=31282 vsize=28231652 memory=279365342684544 CPUtime=0.03 cores=0-7
/proc/31284/task/31299/stat : 31299 (java) S 31282 31282 31238 0 -1 1077944384 392 0 0 0 3 0 0 0 20 0 20 0 447376934 28909211648 12931 33554432000 4194304 4196468 140730793350688 140429751053040 140431426484866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31300] ppid=31282 vsize=28231652 memory=279365342689152 CPUtime=0.02 cores=0-7
/proc/31284/task/31300/stat : 31300 (java) S 31282 31282 31238 0 -1 1077944384 58 0 0 0 2 0 0 0 20 0 20 0 447376934 28909211648 12931 33554432000 4194304 4196468 140730793350688 140429750000240 140431426484866 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31301] ppid=31282 vsize=28231652 memory=279365342693760 CPUtime=0.12 cores=0-7
/proc/31284/task/31301/stat : 31301 (java) S 31282 31282 31238 0 -1 1077944384 784 0 0 0 12 0 0 0 20 0 20 0 447376934 28909211648 12931 33554432000 4194304 4196468 140730793350688 140429748947440 140431426484866 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31302] ppid=31282 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31302/stat : 31302 (java) S 31282 31282 31238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447376934 28909211648 12931 33554432000 4194304 4196468 140730793350688 140429747894880 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31303] ppid=31282 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/31284/task/31303/stat : 31303 (java) S 31282 31282 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447376934 28909211648 12931 33554432000 4194304 4196468 140730793350688 140429746842160 140431426484866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 53180 KiB

[startup+0.700991 s]
/proc/loadavg: 8.31 8.35 8.28 6/211 31303
/proc/meminfo: memFree=30287880/32770624 swapFree=67000100/67108860
[pid=31282] ppid=31279 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/31282/stat : 31282 (xcsp3-exec) S 31279 31282 31238 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447376928 115843072 364 33554432000 4194304 5098028 140721061595600 140721061593704 140651316990588 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21471232 140721061602166 140721061602409 140721061602409 140721061605322 0
/proc/31282/statm: 28282 364 305 221 0 87 0
[pid=31284] ppid=31282 vsize=28233776 memory=157928 CPUtime=2.08 cores=0-7
/proc/31284/stat : 31284 (java) S 31282 31282 31238 0 -1 1077944320 14332 0 0 0 202 6 0 0 20 0 20 0 447376928 28911386624 39482 33554432000 4194304 4196468 140730793350688 140730793333232 140431426473719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
/proc/31284/statm: 7058444 39482 3451 1 0 7019544 0
[pid=31284/tid=31285] ppid=31282 vsize=28233776 memory=4580 CPUtime=0.67 cores=0-7
/proc/31284/task/31285/stat : 31285 (java) R 31282 31282 31238 0 -1 4202560 7741 0 0 0 63 4 0 0 20 0 20 0 447376928 28911386624 39482 33554432000 4194304 4196468 140730793350688 140431430705936 140431022730656 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31286] ppid=31282 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31286/stat : 31286 (java) S 31282 31282 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447376929 28911386624 39482 33554432000 4194304 4196468 140730793350688 140431346326160 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31287] ppid=31282 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/31284/task/31287/stat : 31287 (java) S 31282 31282 31238 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447376929 28911386624 39482 33554432000 4194304 4196468 140730793350688 140431345273360 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31288] ppid=31282 vsize=28233776 memory=4168 CPUtime=0 cores=0-7
/proc/31284/task/31288/stat : 31288 (java) S 31282 31282 31238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447376929 28911386624 39482 33554432000 4194304 4196468 140730793350688 140431344220560 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0

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

[pid=31284/tid=31310] ppid=31282 vsize=28766288 memory=1456 CPUtime=2479.32 cores=0-7
/proc/31284/task/31310/stat : 31310 (java) R 31282 31282 31238 0 -1 4202560 4079 0 0 0 247924 8 0 0 20 0 28 0 447377357 29456678912 2087664 33554432000 4194304 4196468 140730793350688 140429731312056 140431028104181 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31311] ppid=31282 vsize=28766288 memory=36228 CPUtime=2495.94 cores=0-7
/proc/31284/task/31311/stat : 31311 (java) R 31282 31282 31238 0 -1 4202560 21202 0 0 0 249555 39 0 0 20 0 28 0 447377358 29456678912 2087664 33554432000 4194304 4196468 140730793350688 140429730254808 140431028174198 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
Current children cumulated CPU time: 19936.4 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 8352112 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.01 8.15 8.25 9/218 31498
/proc/meminfo: memFree=22009992/32770624 swapFree=67000112/67108860
[pid=31282] ppid=31279 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/31282/stat : 31282 (xcsp3-exec) S 31279 31282 31238 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447376928 115843072 364 33554432000 4194304 5098028 140721061595600 140721061593704 140651316990588 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 21471232 140721061602166 140721061602409 140721061602409 140721061605322 0
/proc/31282/statm: 28282 364 305 221 0 87 0
[pid=31284] ppid=31282 vsize=28766288 memory=8350656 CPUtime=20077.6 cores=0-7
/proc/31284/stat : 31284 (java) S 31282 31282 31238 0 -1 1077944320 257048 0 0 0 2007068 695 0 0 20 0 28 0 447376928 29456678912 2087664 33554432000 4194304 4196468 140730793350688 140730793333232 140431426473719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
/proc/31284/statm: 7191572 2087664 3537 1 0 7152672 0
[pid=31284/tid=31285] ppid=31282 vsize=28766288 memory=920 CPUtime=3.81 cores=0-7
/proc/31284/task/31285/stat : 31285 (java) S 31282 31282 31238 0 -1 1077944384 9755 0 0 0 370 11 0 0 20 0 28 0 447376928 29456678912 2087664 33554432000 4194304 4196468 140730793350688 140431430714496 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31286] ppid=31282 vsize=28766288 memory=3908 CPUtime=1.04 cores=0-7
/proc/31284/task/31286/stat : 31286 (java) S 31282 31282 31238 0 -1 1077944384 2298 0 0 0 80 24 0 0 20 0 28 0 447376929 29456678912 2087664 33554432000 4194304 4196468 140730793350688 140431346326160 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31287] ppid=31282 vsize=28766288 memory=1456 CPUtime=1.01 cores=0-7
/proc/31284/task/31287/stat : 31287 (java) S 31282 31282 31238 0 -1 1077944384 1985 0 0 0 77 24 0 0 20 0 28 0 447376929 29456678912 2087664 33554432000 4194304 4196468 140730793350688 140431345273360 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31288] ppid=31282 vsize=28766288 memory=8317482817917895235 CPUtime=1.03 cores=0-7
/proc/31284/task/31288/stat : 31288 (java) S 31282 31282 31238 0 -1 1077944384 2601 0 0 0 79 24 0 0 20 0 28 0 447376929 29456678912 2087664 33554432000 4194304 4196468 140730793350688 140431344220560 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31289] ppid=31282 vsize=28766288 memory=628 CPUtime=1.03 cores=0-7
/proc/31284/task/31289/stat : 31289 (java) S 31282 31282 31238 0 -1 1077944384 2594 0 0 0 79 24 0 0 20 0 28 0 447376929 29456678912 2087664 33554432000 4194304 4196468 140730793350688 140431343167760 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31290] ppid=31282 vsize=28766288 memory=1056 CPUtime=1.04 cores=0-7
/proc/31284/task/31290/stat : 31290 (java) S 31282 31282 31238 0 -1 1077944384 2237 0 0 0 80 24 0 0 20 0 28 0 447376929 29456678912 2087664 33554432000 4194304 4196468 140730793350688 140431342115984 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31291] ppid=31282 vsize=28766288 memory=1724 CPUtime=1.03 cores=0-7
/proc/31284/task/31291/stat : 31291 (java) S 31282 31282 31238 0 -1 1077944384 2365 0 0 0 77 26 0 0 20 0 28 0 447376929 29456678912 2087664 33554432000 4194304 4196468 140730793350688 140431341063184 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31292] ppid=31282 vsize=28766288 memory=6056 CPUtime=1.03 cores=0-7
/proc/31284/task/31292/stat : 31292 (java) S 31282 31282 31238 0 -1 1077944384 1766 0 0 0 79 24 0 0 20 0 28 0 447376929 29456678912 2087664 33554432000 4194304 4196468 140730793350688 140431340010384 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31293] ppid=31282 vsize=28766288 memory=14012 CPUtime=1.05 cores=0-7
/proc/31284/task/31293/stat : 31293 (java) S 31282 31282 31238 0 -1 1077944384 1841 0 0 0 81 24 0 0 20 0 28 0 447376929 29456678912 2087664 33554432000 4194304 4196468 140730793350688 140431338957584 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31294] ppid=31282 vsize=28766288 memory=2116 CPUtime=0.28 cores=0-7
/proc/31284/task/31294/stat : 31294 (java) S 31282 31282 31238 0 -1 1077944384 8030 0 0 0 18 10 0 0 20 0 28 0 447376931 29456678912 2087664 33554432000 4194304 4196468 140730793350688 140429756316016 140431426484866 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 13 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31295] ppid=31282 vsize=28766288 memory=14720 CPUtime=0 cores=0-7
/proc/31284/task/31295/stat : 31295 (java) S 31282 31282 31238 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 447376931 29456678912 2087664 33554432000 4194304 4196468 140730793350688 140429755262048 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31296] ppid=31282 vsize=28766288 memory=1164 CPUtime=0 cores=0-7
/proc/31284/task/31296/stat : 31296 (java) S 31282 31282 31238 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 447376931 29456678912 2087664 33554432000 4194304 4196468 140730793350688 140429754209152 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31297] ppid=31282 vsize=28766288 memory=8317482817917895235 CPUtime=0 cores=0-7
/proc/31284/task/31297/stat : 31297 (java) S 31282 31282 31238 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447376934 29456678912 2087664 33554432000 4194304 4196468 140730793350688 140429753157456 140431426492315 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31298] ppid=31282 vsize=28766288 memory=928 CPUtime=2.52 cores=0-7
/proc/31284/task/31298/stat : 31298 (java) S 31282 31282 31238 0 -1 1077944384 7940 0 0 0 250 2 0 0 20 0 28 0 447376934 29456678912 2087664 33554432000 4194304 4196468 140730793350688 140429752105840 140431426484866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31299] ppid=31282 vsize=28766288 memory=1728 CPUtime=2.49 cores=0-7
/proc/31284/task/31299/stat : 31299 (java) S 31282 31282 31238 0 -1 1077944384 12307 0 0 0 245 4 0 0 20 0 28 0 447376934 29456678912 2087664 33554432000 4194304 4196468 140730793350688 140429751053040 140431426484866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 39 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31300] ppid=31282 vsize=28766288 memory=1448 CPUtime=2.85 cores=0-7
/proc/31284/task/31300/stat : 31300 (java) S 31282 31282 31238 0 -1 1077944384 13874 0 0 0 282 3 0 0 20 0 28 0 447376934 29456678912 2087664 33554432000 4194304 4196468 140730793350688 140429750000240 140431426484866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31301] ppid=31282 vsize=28766288 memory=1164 CPUtime=0.9 cores=0-7
/proc/31284/task/31301/stat : 31301 (java) S 31282 31282 31238 0 -1 1077944384 11589 0 0 0 88 2 0 0 20 0 28 0 447376934 29456678912 2087664 33554432000 4194304 4196468 140730793350688 140429748947440 140431426484866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 39 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31302] ppid=31282 vsize=28766288 memory=1456 CPUtime=0 cores=0-7
/proc/31284/task/31302/stat : 31302 (java) S 31282 31282 31238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447376934 29456678912 2087664 33554432000 4194304 4196468 140730793350688 140429747894880 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31303] ppid=31282 vsize=28766288 memory=1456 CPUtime=0.94 cores=0-7
/proc/31284/task/31303/stat : 31303 (java) S 31282 31282 31238 0 -1 1077944384 2610 0 0 0 31 63 0 0 20 0 28 0 447376934 29456678912 2087664 33554432000 4194304 4196468 140730793350688 140429746842160 140431426484866 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 45 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31304] ppid=31282 vsize=28766288 memory=8350656 CPUtime=2513.17 cores=0-7
/proc/31284/task/31304/stat : 31304 (java) R 31282 31282 31238 0 -1 4202560 7610 0 0 0 251308 9 0 0 20 0 28 0 447377357 29456678912 2087664 33554432000 4194304 4196468 140730793350688 140429737626616 140431028104366 0 4 0 16800975 0 0 0 -1 6 0 0 5 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31305] ppid=31282 vsize=28766288 memory=288230574492221466 CPUtime=2501.8 cores=0-7
/proc/31284/task/31305/stat : 31305 (java) R 31282 31282 31238 0 -1 4202560 8532 0 0 0 250162 18 0 0 20 0 28 0 447377357 29456678912 2087664 33554432000 4194304 4196468 140730793350688 140429736574512 140431027971731 0 4 0 16800975 0 0 0 -1 7 0 0 2 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31306] ppid=31282 vsize=28766288 memory=290763892299399478 CPUtime=2512.78 cores=0-7
/proc/31284/task/31306/stat : 31306 (java) R 31282 31282 31238 0 -1 4202560 48633 0 0 0 251174 104 0 0 20 0 28 0 447377357 29456678912 2087664 33554432000 4194304 4196468 140730793350688 140429735523240 140431026061395 0 4 0 16800975 0 0 0 -1 0 0 0 1 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31307] ppid=31282 vsize=28766288 memory=14972261127948741 CPUtime=2513.02 cores=0-7
/proc/31284/task/31307/stat : 31307 (java) R 31282 31282 31238 0 -1 4202560 48275 0 0 0 251190 112 0 0 20 0 28 0 447377357 29456678912 2087664 33554432000 4194304 4196468 140730793350688 140429734470456 140431026061395 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31308] ppid=31282 vsize=28766288 memory=1066 CPUtime=2504.54 cores=0-7
/proc/31284/task/31308/stat : 31308 (java) R 31282 31282 31238 0 -1 4202560 16719 0 0 0 250368 86 0 0 20 0 28 0 447377357 29456678912 2087664 33554432000 4194304 4196468 140730793350688 140429733413192 140431027743162 0 4 0 16800975 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31309] ppid=31282 vsize=28766288 memory=12 CPUtime=2499.36 cores=0-7
/proc/31284/task/31309/stat : 31309 (java) R 31282 31282 31238 0 -1 4202560 16672 0 0 0 249855 81 0 0 20 0 28 0 447377357 29456678912 2087664 33554432000 4194304 4196468 140730793350688 140429732364288 140431027742971 0 4 0 16800975 0 0 0 -1 3 0 0 2 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31310] ppid=31282 vsize=28766288 memory=0 CPUtime=2497.03 cores=0-7
/proc/31284/task/31310/stat : 31310 (java) R 31282 31282 31238 0 -1 4202560 4082 0 0 0 249695 8 0 0 20 0 28 0 447377357 29456678912 2087664 33554432000 4194304 4196468 140730793350688 140429731312056 140431028045461 0 4 0 16800975 0 0 0 -1 1 0 0 2 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31311] ppid=31282 vsize=28766288 memory=1377 CPUtime=2513.64 cores=0-7
/proc/31284/task/31311/stat : 31311 (java) R 31282 31282 31238 0 -1 4202560 21401 0 0 0 251324 40 0 0 20 0 28 0 447377358 29456678912 2087664 33554432000 4194304 4196468 140730793350688 140429730254808 140431027742808 0 4 0 16800975 0 0 0 -1 4 0 0 3 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
Current children cumulated CPU time: 20077.6 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 8352112 KiB

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

[startup+2520.04 s]
# the end of solver process 31282 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.001156 s, system=0.001156 s

[startup+2520.19 s]
# the end of solver process 31284 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20071.4 s, system=7.03369 s
# this solver process was not waited by its parent and was adopted by runsolver

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

[startup+2520.13 s]*
/proc/loadavg: 8.01 8.15 8.25 4/217 31500
/proc/meminfo: memFree=22009744/32770624 swapFree=67000112/67108860
[pid=31284] ppid=31279 vsize=28899416 memory=8350864 CPUtime=20078.4 cores=0-7
/proc/31284/stat : 31284 (java) S 31279 31282 31238 0 -1 1077944320 257661 0 0 0 2007143 698 0 0 20 0 28 0 447376928 29593001984 2087716 33554432000 4194304 4196468 140730793350688 140730793333232 140431426473719 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
/proc/31284/statm: 7224854 2087716 3539 1 0 7185954 0
[pid=31284/tid=31285] ppid=31279 vsize=28899416 memory=8317482817917895235 CPUtime=3.81 cores=0-7
/proc/31284/task/31285/stat : 31285 (java) S 31279 31282 31238 0 -1 1077944384 9755 0 0 0 370 11 0 0 20 0 28 0 447376928 29593001984 2087716 33554432000 4194304 4196468 140730793350688 140431430714496 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31286] ppid=31279 vsize=28899416 memory=12024 CPUtime=1.04 cores=0-7
/proc/31284/task/31286/stat : 31286 (java) S 31279 31282 31238 0 -1 1077944384 2298 0 0 0 80 24 0 0 20 0 28 0 447376929 29593001984 2087716 33554432000 4194304 4196468 140730793350688 140431346326160 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31287] ppid=31279 vsize=28899416 memory=111632 CPUtime=1.01 cores=0-7
/proc/31284/task/31287/stat : 31287 (java) S 31279 31282 31238 0 -1 1077944384 1985 0 0 0 77 24 0 0 20 0 28 0 447376929 29593001984 2087716 33554432000 4194304 4196468 140730793350688 140431345273360 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31288] ppid=31279 vsize=28899416 memory=800 CPUtime=1.03 cores=0-7
/proc/31284/task/31288/stat : 31288 (java) S 31279 31282 31238 0 -1 1077944384 2601 0 0 0 79 24 0 0 20 0 28 0 447376929 29593001984 2087716 33554432000 4194304 4196468 140730793350688 140431344220560 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31289] ppid=31279 vsize=28899416 memory=4108 CPUtime=1.03 cores=0-7
/proc/31284/task/31289/stat : 31289 (java) S 31279 31282 31238 0 -1 1077944384 2594 0 0 0 79 24 0 0 20 0 28 0 447376929 29593001984 2087716 33554432000 4194304 4196468 140730793350688 140431343167760 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31290] ppid=31279 vsize=28899416 memory=1808 CPUtime=1.04 cores=0-7
/proc/31284/task/31290/stat : 31290 (java) S 31279 31282 31238 0 -1 1077944384 2237 0 0 0 80 24 0 0 20 0 28 0 447376929 29593001984 2087716 33554432000 4194304 4196468 140730793350688 140431342115984 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31291] ppid=31279 vsize=28899416 memory=920 CPUtime=1.03 cores=0-7
/proc/31284/task/31291/stat : 31291 (java) S 31279 31282 31238 0 -1 1077944384 2365 0 0 0 77 26 0 0 20 0 28 0 447376929 29593001984 2087716 33554432000 4194304 4196468 140730793350688 140431341063184 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31292] ppid=31279 vsize=28899416 memory=3908 CPUtime=1.03 cores=0-7
/proc/31284/task/31292/stat : 31292 (java) S 31279 31282 31238 0 -1 1077944384 1766 0 0 0 79 24 0 0 20 0 28 0 447376929 29593001984 2087716 33554432000 4194304 4196468 140730793350688 140431340010384 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31293] ppid=31279 vsize=28899416 memory=1412 CPUtime=1.05 cores=0-7
/proc/31284/task/31293/stat : 31293 (java) S 31279 31282 31238 0 -1 1077944384 1841 0 0 0 81 24 0 0 20 0 28 0 447376929 29593001984 2087716 33554432000 4194304 4196468 140730793350688 140431338957584 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31294] ppid=31279 vsize=28899416 memory=6791534058613427641 CPUtime=0.33 cores=0-7
/proc/31284/task/31294/stat : 31294 (java) R 31279 31282 31238 0 -1 4202560 8044 0 0 0 20 13 0 0 20 0 28 0 447376931 29593001984 2087716 33554432000 4194304 4196468 140730793350688 140429756316152 140431419101927 0 0 0 16800975 0 0 0 -1 6 0 0 13 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31295] ppid=31279 vsize=28899416 memory=111632 CPUtime=0 cores=0-7
/proc/31284/task/31295/stat : 31295 (java) S 31279 31282 31238 0 -1 1077944384 41 0 0 0 0 0 0 0 20 0 28 0 447376931 29593001984 2087716 33554432000 4194304 4196468 140730793350688 140429755262048 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31296] ppid=31279 vsize=28899416 memory=800 CPUtime=0 cores=0-7
/proc/31284/task/31296/stat : 31296 (java) S 31279 31282 31238 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 28 0 447376931 29593001984 2087716 33554432000 4194304 4196468 140730793350688 140429754209152 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31297] ppid=31279 vsize=28899416 memory=4108 CPUtime=0 cores=0-7
/proc/31284/task/31297/stat : 31297 (java) S 31279 31282 31238 0 -1 1077944384 221 0 0 0 0 0 0 0 20 0 28 0 447376934 29593001984 2087716 33554432000 4194304 4196468 140730793350688 140429753156512 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31298] ppid=31279 vsize=28899416 memory=1808 CPUtime=2.52 cores=0-7
/proc/31284/task/31298/stat : 31298 (java) S 31279 31282 31238 0 -1 1077944384 7940 0 0 0 250 2 0 0 20 0 28 0 447376934 29593001984 2087716 33554432000 4194304 4196468 140730793350688 140429752105840 140431426484866 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 25 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31299] ppid=31279 vsize=28899416 memory=920 CPUtime=2.49 cores=0-7
/proc/31284/task/31299/stat : 31299 (java) S 31279 31282 31238 0 -1 1077944384 12307 0 0 0 245 4 0 0 20 0 28 0 447376934 29593001984 2087716 33554432000 4194304 4196468 140730793350688 140429751053040 140431426484866 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 39 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31300] ppid=31279 vsize=28899416 memory=3908 CPUtime=2.85 cores=0-7
/proc/31284/task/31300/stat : 31300 (java) S 31279 31282 31238 0 -1 1077944384 13874 0 0 0 282 3 0 0 20 0 28 0 447376934 29593001984 2087716 33554432000 4194304 4196468 140730793350688 140429750000240 140431426484866 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31301] ppid=31279 vsize=28899416 memory=1412 CPUtime=0.9 cores=0-7
/proc/31284/task/31301/stat : 31301 (java) S 31279 31282 31238 0 -1 1077944384 11589 0 0 0 88 2 0 0 20 0 28 0 447376934 29593001984 2087716 33554432000 4194304 4196468 140730793350688 140429748947440 140431426484866 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 39 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31302] ppid=31279 vsize=28899416 memory=3848 CPUtime=0 cores=0-7
/proc/31284/task/31302/stat : 31302 (java) S 31279 31282 31238 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447376934 29593001984 2087716 33554432000 4194304 4196468 140730793350688 140429747894880 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31304] ppid=31279 vsize=28899416 memory=288230574492221466 CPUtime=2513.24 cores=0-7
/proc/31284/task/31304/stat : 31304 (java) S 31279 31282 31238 0 -1 1077944384 7611 0 0 0 251315 9 0 0 20 0 28 0 447377357 29593001984 2087716 33554432000 4194304 4196468 140730793350688 140429737622512 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31305] ppid=31279 vsize=28899416 memory=288230617509003574 CPUtime=2501.87 cores=0-7
/proc/31284/task/31305/stat : 31305 (java) S 31279 31282 31238 0 -1 1077944384 8534 0 0 0 250169 18 0 0 20 0 28 0 447377357 29593001984 2087716 33554432000 4194304 4196468 140730793350688 140429736570816 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 2 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31306] ppid=31279 vsize=28899416 memory=14972261127948741 CPUtime=2512.91 cores=0-7
/proc/31284/task/31306/stat : 31306 (java) S 31279 31282 31238 0 -1 1077944384 48639 0 0 0 251187 104 0 0 20 0 28 0 447377357 29593001984 2087716 33554432000 4194304 4196468 140730793350688 140429735518464 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 1 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31307] ppid=31279 vsize=28899416 memory=3848 CPUtime=2513.15 cores=0-7
/proc/31284/task/31307/stat : 31307 (java) R 31279 31282 31238 0 -1 4202560 48275 0 0 0 251203 112 0 0 20 0 28 0 447377357 29593001984 2087716 33554432000 4194304 4196468 140730793350688 140429734470456 140431026061678 0 4 0 16800975 0 0 0 -1 2 0 0 3 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31308] ppid=31279 vsize=28899416 memory=1456 CPUtime=2504.62 cores=0-7
/proc/31284/task/31308/stat : 31308 (java) S 31279 31282 31238 0 -1 1077944384 16720 0 0 0 250376 86 0 0 20 0 28 0 447377357 29593001984 2087716 33554432000 4194304 4196468 140730793350688 140429733413056 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31309] ppid=31279 vsize=28899416 memory=8350656 CPUtime=2499.44 cores=0-7
/proc/31284/task/31309/stat : 31309 (java) S 31279 31282 31238 0 -1 1077944384 16673 0 0 0 249863 81 0 0 20 0 28 0 447377357 29593001984 2087716 33554432000 4194304 4196468 140730793350688 140429732360320 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 2 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31310] ppid=31279 vsize=28899416 memory=1164 CPUtime=2497.1 cores=0-7
/proc/31284/task/31310/stat : 31310 (java) S 31279 31282 31238 0 -1 1077944384 4085 0 0 0 249702 8 0 0 20 0 28 0 447377357 29593001984 2087716 33554432000 4194304 4196468 140730793350688 140429731307680 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 2 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31311] ppid=31279 vsize=28899416 memory=303430223234596890 CPUtime=2513.72 cores=0-7
/proc/31284/task/31311/stat : 31311 (java) S 31279 31282 31238 0 -1 1077944384 21405 0 0 0 251332 40 0 0 20 0 28 0 447377358 29593001984 2087716 33554432000 4194304 4196468 140730793350688 140429730254672 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 3 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
[pid=31284/tid=31499] ppid=31279 vsize=28899416 memory=288230617509003574 CPUtime=0 cores=0-7
/proc/31284/task/31499/stat : 31499 (java) S 31279 31282 31238 0 -1 1077944384 209 0 0 0 0 0 0 0 20 0 28 0 447628931 29593001984 2087716 33554432000 4194304 4196468 140730793350688 140429729206384 140431426483925 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 16314368 140730793358314 140730793358486 140730793358486 140730793361359 0
Current cumulated CPU time of completed processes: 0.002312 s
Current children cumulated CPU time: 20078.4 s
Current children cumulated vsize: 28899416 KiB
Current children cumulated memory: 8350864 KiB

Child status: 143
Real time (s): 2520.19
CPU time (s): 20078.5
CPU user time (s): 20071.4
CPU system time (s): 7.03369
CPU usage (%): 796.705
Max. virtual memory (cumulated for all children) (KiB): 28899416
Max. memory (cumulated for all children) (KiB): 8352112

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20071.4
system time used= 7.03369
maximum resident set size= 8351448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 258308
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1840
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60222
involuntary context switches= 209052


# summary of solver processes directly reported to runsolver:
#   pid: 31282,31284
#   total CPU time (s): 20078.5
#   total CPU user time (s): 20071.4
#   total CPU system time (s): 7.03369

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 21.7608 second user time and 30.6682 second system time

The end

Launcher Data 

Begin job on node106 at 2019-09-17 10:05:46
IDJOB=4399692
IDBENCH=134779
IDSOLVER=2854
FILE ID=node106/4399692-1568711225
RUNJOBID= node106-1568707545-31265
PBS_JOBID= 21703923
Free space on /tmp= 59084 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-spng/Pb-NG-K146.xml
COMMAND LINE= xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 24000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4399692-1568711225/watcher-4399692-1568711225 -o /tmp/evaluation-result-4399692-1568711225/solver-4399692-1568711225 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node106-1568707545-31265 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 687677441 HOME/instance-4399692-1568711225.xml

TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8

MD5SUM BENCH= 4266c7f8eabadceca7159896250ebd53
RANDOM SEED=687677441

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

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.79
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.79
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.79
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.79
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:        30361060 kB
MemAvailable:   31889332 kB
Buffers:          200444 kB
Cached:          1617472 kB
SwapCached:         7324 kB
Active:           591696 kB
Inactive:        1237164 kB
Active(anon):      11072 kB
Inactive(anon):    44488 kB
Active(file):     580624 kB
Inactive(file):  1192676 kB
Unevictable:      109180 kB
Mlocked:          109180 kB
SwapTotal:      67108860 kB
SwapFree:       67000100 kB
Dirty:             27092 kB
Writeback:             0 kB
AnonPages:        112788 kB
Mapped:            43660 kB
Shmem:             35848 kB
Slab:             171264 kB
SReclaimable:     141612 kB
SUnreclaim:        29652 kB
KernelStack:        3296 kB
PageTables:         5500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     497452 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      107904 kB
DirectMap2M:    33437696 kB

Free space on /tmp at the end= 59060 MiB
End job on node106 at 2019-09-17 10:47:46