Trace number 4399707

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) 19991 2520.11

General information on the benchmark

NameMagicHexagon/MagicHexagon-m1-s1/
MagicHexagon-06-m100.xml
MD5SUM48fd215a6575ff2faea72cbf693f6cf6
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark11498
Satisfiable
(Un)Satisfiability was proved
Number of variables121
Number of constraints40
Number of domains1
Minimum domain size91
Maximum domain size91
Distribution of domain sizes[{"size":91,"count":91}]
Minimum variable degree0
Maximum variable degree9
Distribution of variable degrees[{"degree":0,"count":30},{"degree":4,"count":85},{"degree":5,"count":3},{"degree":6,"count":2},{"degree":9,"count":1}]
Minimum constraint arity2
Maximum constraint arity91
Distribution of constraint arities[{"arity":2,"count":6},{"arity":6,"count":6},{"arity":7,"count":6},{"arity":8,"count":6},{"arity":9,"count":6},{"arity":10,"count":6},{"arity":11,"count":3},{"arity":91,"count":1}]
Number of extensional constraints0
Number of intensional constraints6
Distribution of constraint types[{"type":"intension","count":6},{"type":"allDifferent","count":1},{"type":"sum","count":33}]
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-4399707-1568708479.xml"  -tl '20160s' -p 8
0.13/0.18	c Choco e747e1e
0.13/0.18	c [HOME/instance-4399707-1568708479.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
1.30/0.64	c solve instance...
19990.29/2520.07	s UNKNOWN
19990.29/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 (15193 MiB free)
  memory of node 1: 16384 MiB (15745 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4399707-1568708479/watcher-4399707-1568708479 -o /tmp/evaluation-result-4399707-1568708479/solver-4399707-1568708479 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568700438-24604 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1912551114 HOME/instance-4399707-1568708479.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
Current StackSize limit: 8192 KiB

solver pid=27405, runsolver pid=27402

[startup+0.100124 s]*
/proc/loadavg: 7.61 7.93 8.17 3/212 27426
/proc/meminfo: memFree=31663584/32770624 swapFree=67002432/67108860
[pid=27405] ppid=27402 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/27405/stat : 27405 (xcsp3-exec) S 27402 27405 24577 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447096587 115843072 364 33554432000 4194304 5098028 140723210930656 140723210928760 139772094968444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25690112 140723210933109 140723210933353 140723210933353 140723210936266 0
/proc/27405/statm: 28282 364 305 221 0 87 0
[pid=27407] ppid=27405 vsize=28227396 memory=30184 CPUtime=0.13 cores=0-7
/proc/27407/stat : 27407 (java) S 27405 27405 24577 0 -1 1077944320 5511 0 0 0 11 2 0 0 20 0 20 0 447096587 28904853504 7546 33554432000 4194304 4196468 140733712878544 140733712861088 139727341752055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
/proc/27407/statm: 7056849 7546 3120 1 0 7019032 0
[pid=27407/tid=27408] ppid=27405 vsize=28227396 memory=4134930498285298233 CPUtime=0.09 cores=0-7
/proc/27407/task/27408/stat : 27408 (java) R 27405 27405 24577 0 -1 4202560 3422 0 0 0 8 1 0 0 20 0 20 0 447096587 28904853504 7546 33554432000 4194304 4196468 140733712878544 139727345988480 139727323147261 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27409] ppid=27405 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27407/task/27409/stat : 27409 (java) S 27405 27405 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447096588 28904853504 7546 33554432000 4194304 4196468 140733712878544 139727300512016 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27410] ppid=27405 vsize=28227396 memory=140083485001344 CPUtime=0 cores=0-7
/proc/27407/task/27410/stat : 27410 (java) S 27405 27405 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447096588 28904853504 7546 33554432000 4194304 4196468 140733712878544 139726891788688 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27411] ppid=27405 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27407/task/27411/stat : 27411 (java) S 27405 27405 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447096588 28904853504 7546 33554432000 4194304 4196468 140733712878544 139726890736144 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27412] ppid=27405 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27407/task/27412/stat : 27412 (java) S 27405 27405 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447096588 28904853504 7546 33554432000 4194304 4196468 140733712878544 139726889683600 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27413] ppid=27405 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27407/task/27413/stat : 27413 (java) S 27405 27405 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447096588 28904853504 7546 33554432000 4194304 4196468 140733712878544 139726888631056 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27414] ppid=27405 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/27407/task/27414/stat : 27414 (java) S 27405 27405 24577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447096588 28904853504 7546 33554432000 4194304 4196468 140733712878544 139726887578512 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27415] ppid=27405 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27407/task/27415/stat : 27415 (java) S 27405 27405 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447096588 28904853504 7546 33554432000 4194304 4196468 140733712878544 139726886525968 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27416] ppid=27405 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27407/task/27416/stat : 27416 (java) S 27405 27405 24577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447096588 28904853504 7546 33554432000 4194304 4196468 140733712878544 139726885473424 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27417] ppid=27405 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27407/task/27417/stat : 27417 (java) S 27405 27405 24577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447096589 28904853504 7546 33554432000 4194304 4196468 140733712878544 139726323849200 139727341763202 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27418] ppid=27405 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27407/task/27418/stat : 27418 (java) S 27405 27405 24577 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447096590 28904853504 7546 33554432000 4194304 4196468 140733712878544 139726322795424 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27419] ppid=27405 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27407/task/27419/stat : 27419 (java) S 27405 27405 24577 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447096590 28904853504 7546 33554432000 4194304 4196468 140733712878544 139726321742832 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27420] ppid=27405 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27407/task/27420/stat : 27420 (java) S 27405 27405 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447096592 28904853504 7546 33554432000 4194304 4196468 140733712878544 139726320691408 139727341770651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27421] ppid=27405 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27407/task/27421/stat : 27421 (java) S 27405 27405 24577 0 -1 1077944384 298 0 0 0 0 0 0 0 20 0 20 0 447096592 28904853504 7546 33554432000 4194304 4196468 140733712878544 139726319639024 139727341763202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27422] ppid=27405 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27407/task/27422/stat : 27422 (java) S 27405 27405 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447096593 28904853504 7546 33554432000 4194304 4196468 140733712878544 139726318586480 139727341763202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27423] ppid=27405 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27407/task/27423/stat : 27423 (java) S 27405 27405 24577 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 447096593 28904853504 7546 33554432000 4194304 4196468 140733712878544 139726317533936 139727341763202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27424] ppid=27405 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/27407/task/27424/stat : 27424 (java) R 27405 27405 24577 0 -1 4202560 352 0 0 0 1 0 0 0 20 0 20 0 447096593 28904853504 7546 33554432000 4194304 4196468 140733712878544 139726316481392 139727320681337 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27425] ppid=27405 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27407/task/27425/stat : 27425 (java) S 27405 27405 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447096593 28904853504 7546 33554432000 4194304 4196468 140733712878544 139726315428064 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27426] ppid=27405 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/27407/task/27426/stat : 27426 (java) S 27405 27405 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447096593 28904853504 7546 33554432000 4194304 4196468 140733712878544 139726314375600 139727341763202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 31640 KiB

[startup+0.210289 s]*
/proc/loadavg: 7.61 7.93 8.17 2/212 27426
/proc/meminfo: memFree=31651820/32770624 swapFree=67002432/67108860
[pid=27405] ppid=27402 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/27405/stat : 27405 (xcsp3-exec) S 27402 27405 24577 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447096587 115843072 364 33554432000 4194304 5098028 140723210930656 140723210928760 139772094968444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25690112 140723210933109 140723210933353 140723210933353 140723210936266 0
/proc/27405/statm: 28282 364 305 221 0 87 0
[pid=27407] ppid=27405 vsize=28227396 memory=40924 CPUtime=0.33 cores=0-7
/proc/27407/stat : 27407 (java) S 27405 27405 24577 0 -1 1077944320 8939 0 0 0 30 3 0 0 20 0 20 0 447096587 28904853504 10231 33554432000 4194304 4196468 140733712878544 140733712861088 139727341752055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
/proc/27407/statm: 7056849 10231 3303 1 0 7019032 0
[pid=27407/tid=27408] ppid=27405 vsize=28227396 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/27407/task/27408/stat : 27408 (java) R 27405 27405 24577 0 -1 4202560 6226 0 0 0 18 2 0 0 20 0 20 0 447096587 28904853504 10231 33554432000 4194304 4196468 140733712878544 139727345986376 139727325832542 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27409] ppid=27405 vsize=28227396 memory=330 CPUtime=0 cores=0-7
/proc/27407/task/27409/stat : 27409 (java) S 27405 27405 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447096588 28904853504 10231 33554432000 4194304 4196468 140733712878544 139727300512016 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27410] ppid=27405 vsize=28227396 memory=140083488319539 CPUtime=0 cores=0-7
/proc/27407/task/27410/stat : 27410 (java) S 27405 27405 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447096588 28904853504 10231 33554432000 4194304 4196468 140733712878544 139726891788688 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27411] ppid=27405 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/27407/task/27411/stat : 27411 (java) S 27405 27405 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447096588 28904853504 10231 33554432000 4194304 4196468 140733712878544 139726890736144 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27412] ppid=27405 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27407/task/27412/stat : 27412 (java) S 27405 27405 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447096588 28904853504 10231 33554432000 4194304 4196468 140733712878544 139726889683600 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27413] ppid=27405 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27407/task/27413/stat : 27413 (java) S 27405 27405 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447096588 28904853504 10231 33554432000 4194304 4196468 140733712878544 139726888631056 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27414] ppid=27405 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/27407/task/27414/stat : 27414 (java) S 27405 27405 24577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447096588 28904853504 10231 33554432000 4194304 4196468 140733712878544 139726887578512 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27415] ppid=27405 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27407/task/27415/stat : 27415 (java) S 27405 27405 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447096588 28904853504 10231 33554432000 4194304 4196468 140733712878544 139726886525968 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27416] ppid=27405 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27407/task/27416/stat : 27416 (java) S 27405 27405 24577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447096588 28904853504 10231 33554432000 4194304 4196468 140733712878544 139726885473424 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27417] ppid=27405 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27407/task/27417/stat : 27417 (java) S 27405 27405 24577 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 447096589 28904853504 10231 33554432000 4194304 4196468 140733712878544 139726323849200 139727341763202 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27418] ppid=27405 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27407/task/27418/stat : 27418 (java) S 27405 27405 24577 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447096590 28904853504 10231 33554432000 4194304 4196468 140733712878544 139726322795424 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27419] ppid=27405 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27407/task/27419/stat : 27419 (java) S 27405 27405 24577 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447096590 28904853504 10231 33554432000 4194304 4196468 140733712878544 139726321742832 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27420] ppid=27405 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27407/task/27420/stat : 27420 (java) S 27405 27405 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447096592 28904853504 10231 33554432000 4194304 4196468 140733712878544 139726320691408 139727341770651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27421] ppid=27405 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/27407/task/27421/stat : 27421 (java) S 27405 27405 24577 0 -1 1077944384 355 0 0 0 1 0 0 0 20 0 20 0 447096592 28904853504 10231 33554432000 4194304 4196468 140733712878544 139726319639024 139727341763202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27422] ppid=27405 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/27407/task/27422/stat : 27422 (java) S 27405 27405 24577 0 -1 1077944384 136 0 0 0 2 0 0 0 20 0 20 0 447096593 28904853504 10231 33554432000 4194304 4196468 140733712878544 139726318586480 139727341763202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27423] ppid=27405 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/27407/task/27423/stat : 27423 (java) S 27405 27405 24577 0 -1 1077944384 141 0 0 0 0 0 0 0 20 0 20 0 447096593 28904853504 10231 33554432000 4194304 4196468 140733712878544 139726317533936 139727341763202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27424] ppid=27405 vsize=28227396 memory=-1 CPUtime=0.07 cores=0-7
/proc/27407/task/27424/stat : 27424 (java) R 27405 27405 24577 0 -1 4202560 763 0 0 0 7 0 0 0 20 0 20 0 447096593 28904853504 10231 33554432000 4194304 4196468 140733712878544 139726316481392 139727320286844 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27425] ppid=27405 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/27407/task/27425/stat : 27425 (java) S 27405 27405 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447096593 28904853504 10231 33554432000 4194304 4196468 140733712878544 139726315428064 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27426] ppid=27405 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/27407/task/27426/stat : 27426 (java) S 27405 27405 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447096593 28904853504 10231 33554432000 4194304 4196468 140733712878544 139726314375600 139727341763202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42380 KiB

[startup+0.309584 s]*
/proc/loadavg: 7.61 7.93 8.17 4/212 27426
/proc/meminfo: memFree=31643940/32770624 swapFree=67002432/67108860
[pid=27405] ppid=27402 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/27405/stat : 27405 (xcsp3-exec) S 27402 27405 24577 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447096587 115843072 364 33554432000 4194304 5098028 140723210930656 140723210928760 139772094968444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25690112 140723210933109 140723210933353 140723210933353 140723210936266 0
/proc/27405/statm: 28282 364 305 221 0 87 0
[pid=27407] ppid=27405 vsize=28231652 memory=50080 CPUtime=0.53 cores=0-7
/proc/27407/stat : 27407 (java) S 27405 27405 24577 0 -1 1077944320 10357 0 0 0 49 4 0 0 20 0 20 0 447096587 28909211648 12520 33554432000 4194304 4196468 140733712878544 140733712861088 139727341752055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
/proc/27407/statm: 7057913 12520 3364 1 0 7019032 0
[pid=27407/tid=27408] ppid=27405 vsize=28231652 memory=6791534058613427641 CPUtime=0.29 cores=0-7
/proc/27407/task/27408/stat : 27408 (java) R 27405 27405 24577 0 -1 4202560 7313 0 0 0 27 2 0 0 20 0 20 0 447096587 28909211648 12520 33554432000 4194304 4196468 140733712878544 139727345985840 139727325832542 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27409] ppid=27405 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/27407/task/27409/stat : 27409 (java) S 27405 27405 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447096588 28909211648 12520 33554432000 4194304 4196468 140733712878544 139727300512016 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27410] ppid=27405 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/27407/task/27410/stat : 27410 (java) S 27405 27405 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447096588 28909211648 12520 33554432000 4194304 4196468 140733712878544 139726891788688 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27411] ppid=27405 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/27407/task/27411/stat : 27411 (java) S 27405 27405 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447096588 28909211648 12520 33554432000 4194304 4196468 140733712878544 139726890736144 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27412] ppid=27405 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/27407/task/27412/stat : 27412 (java) S 27405 27405 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447096588 28909211648 12520 33554432000 4194304 4196468 140733712878544 139726889683600 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27413] ppid=27405 vsize=28231652 memory=2244 CPUtime=0 cores=0-7
/proc/27407/task/27413/stat : 27413 (java) S 27405 27405 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447096588 28909211648 12520 33554432000 4194304 4196468 140733712878544 139726888631056 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27414] ppid=27405 vsize=28231652 memory=140083378353071 CPUtime=0 cores=0-7
/proc/27407/task/27414/stat : 27414 (java) S 27405 27405 24577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447096588 28909211648 12520 33554432000 4194304 4196468 140733712878544 139726887578512 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27415] ppid=27405 vsize=28231652 memory=140083378355376 CPUtime=0 cores=0-7
/proc/27407/task/27415/stat : 27415 (java) S 27405 27405 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447096588 28909211648 12520 33554432000 4194304 4196468 140733712878544 139726886525968 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27416] ppid=27405 vsize=28231652 memory=140083378357680 CPUtime=0 cores=0-7
/proc/27407/task/27416/stat : 27416 (java) S 27405 27405 24577 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 447096588 28909211648 12520 33554432000 4194304 4196468 140733712878544 139726885473424 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27417] ppid=27405 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/27407/task/27417/stat : 27417 (java) S 27405 27405 24577 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 447096589 28909211648 12520 33554432000 4194304 4196468 140733712878544 139726323849200 139727341763202 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27418] ppid=27405 vsize=28231652 memory=280166756722320 CPUtime=0 cores=0-7
/proc/27407/task/27418/stat : 27418 (java) S 27405 27405 24577 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 447096590 28909211648 12520 33554432000 4194304 4196468 140733712878544 139726322795424 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27419] ppid=27405 vsize=28231652 memory=280166756729232 CPUtime=0 cores=0-7
/proc/27407/task/27419/stat : 27419 (java) S 27405 27405 24577 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 447096590 28909211648 12520 33554432000 4194304 4196468 140733712878544 139726321742832 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27420] ppid=27405 vsize=28231652 memory=280166756670512 CPUtime=0 cores=0-7
/proc/27407/task/27420/stat : 27420 (java) S 27405 27405 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447096592 28909211648 12520 33554432000 4194304 4196468 140733712878544 139726320691408 139727341770651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27421] ppid=27405 vsize=28231652 memory=280166756743056 CPUtime=0.03 cores=0-7
/proc/27407/task/27421/stat : 27421 (java) R 27405 27405 24577 0 -1 4202560 497 0 0 0 3 0 0 0 20 0 20 0 447096592 28909211648 12520 33554432000 4194304 4196468 140733712878544 139726319624176 139727341773402 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27422] ppid=27405 vsize=28231652 memory=280166756749968 CPUtime=0.03 cores=0-7
/proc/27407/task/27422/stat : 27422 (java) S 27405 27405 24577 0 -1 1077944384 136 0 0 0 3 0 0 0 20 0 20 0 447096593 28909211648 12520 33554432000 4194304 4196468 140733712878544 139726318586480 139727341763202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27423] ppid=27405 vsize=28231652 memory=280166756747664 CPUtime=0.01 cores=0-7
/proc/27407/task/27423/stat : 27423 (java) S 27405 27405 24577 0 -1 1077944384 199 0 0 0 1 0 0 0 20 0 20 0 447096593 28909211648 12520 33554432000 4194304 4196468 140733712878544 139726317533936 139727341763202 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27424] ppid=27405 vsize=28231652 memory=280166756763824 CPUtime=0.12 cores=0-7
/proc/27407/task/27424/stat : 27424 (java) S 27405 27405 24577 0 -1 1077944384 894 0 0 0 12 0 0 0 20 0 20 0 447096593 28909211648 12520 33554432000 4194304 4196468 140733712878544 139726316481392 139727341763202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27425] ppid=27405 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/27407/task/27425/stat : 27425 (java) S 27405 27405 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 447096593 28909211648 12520 33554432000 4194304 4196468 140733712878544 139726315428064 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27426] ppid=27405 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/27407/task/27426/stat : 27426 (java) S 27405 27405 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 447096593 28909211648 12520 33554432000 4194304 4196468 140733712878544 139726314375600 139727341763202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51536 KiB

[startup+0.700885 s]
/proc/loadavg: 7.61 7.93 8.17 4/212 27426
/proc/meminfo: memFree=31628600/32770624 swapFree=67002432/67108860
[pid=27405] ppid=27402 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/27405/stat : 27405 (xcsp3-exec) S 27402 27405 24577 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447096587 115843072 364 33554432000 4194304 5098028 140723210930656 140723210928760 139772094968444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25690112 140723210933109 140723210933353 140723210933353 140723210936266 0
/proc/27405/statm: 28282 364 305 221 0 87 0
[pid=27407] ppid=27405 vsize=28766288 memory=94692 CPUtime=1.75 cores=0-7
/proc/27407/stat : 27407 (java) S 27405 27405 24577 0 -1 1077944320 14500 0 0 0 169 6 0 0 20 0 28 0 447096587 29456678912 23673 33554432000 4194304 4196468 140733712878544 140733712861088 139727341752055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
/proc/27407/statm: 7191572 23673 3451 1 0 7152672 0
[pid=27407/tid=27408] ppid=27405 vsize=28766288 memory=280166757121712 CPUtime=0.62 cores=0-7
/proc/27407/task/27408/stat : 27408 (java) S 27405 27405 24577 0 -1 1077944384 8807 0 0 0 59 3 0 0 20 0 28 0 447096587 29456678912 23673 33554432000 4194304 4196468 140733712878544 139727345992832 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27409] ppid=27405 vsize=28766288 memory=140083378561904 CPUtime=0 cores=0-7
/proc/27407/task/27409/stat : 27409 (java) S 27405 27405 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447096588 29456678912 23673 33554432000 4194304 4196468 140733712878544 139727300512016 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27410] ppid=27405 vsize=28766288 memory=0 CPUtime=0 cores=0-7
/proc/27407/task/27410/stat : 27410 (java) S 27405 27405 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447096588 29456678912 23673 33554432000 4194304 4196468 140733712878544 139726891788688 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27411] ppid=27405 vsize=28766288 memory=1056 CPUtime=0 cores=0-7
/proc/27407/task/27411/stat : 27411 (java) S 27405 27405 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447096588 29456678912 23673 33554432000 4194304 4196468 140733712878544 139726890736144 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0

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

[pid=27407/tid=27434] ppid=27405 vsize=28766288 memory=12040 CPUtime=2406.95 cores=0-7
/proc/27407/task/27434/stat : 27434 (java) R 27405 27405 24577 0 -1 4202560 41927 0 0 0 240644 51 0 0 20 0 28 0 447096652 29456678912 551906 33554432000 4194304 4196468 140733712878544 139726297788120 139726983776223 0 4 0 16800975 0 0 0 -1 4 0 0 20 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
Current children cumulated CPU time: 19373.4 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 2209080 KiB

[startup+2502.3 s]
/proc/loadavg: 8.32 8.28 8.22 9/220 27644
/proc/meminfo: memFree=29485756/32770624 swapFree=67002432/67108860
[pid=27405] ppid=27402 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/27405/stat : 27405 (xcsp3-exec) S 27402 27405 24577 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447096587 115843072 364 33554432000 4194304 5098028 140723210930656 140723210928760 139772094968444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25690112 140723210933109 140723210933353 140723210933353 140723210936266 0
/proc/27405/statm: 28282 364 305 221 0 87 0
[pid=27407] ppid=27405 vsize=28766288 memory=2205492 CPUtime=19850.2 cores=0-7
/proc/27407/stat : 27407 (java) S 27405 27405 24577 0 -1 1077944320 1630114 0 0 0 1982561 2462 0 0 20 0 28 0 447096587 29456678912 551373 33554432000 4194304 4196468 140733712878544 140733712861088 139727341752055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
/proc/27407/statm: 7191572 551373 3549 1 0 7152672 0
[pid=27407/tid=27408] ppid=27405 vsize=28766288 memory=1456 CPUtime=0.62 cores=0-7
/proc/27407/task/27408/stat : 27408 (java) S 27405 27405 24577 0 -1 1077944384 8807 0 0 0 59 3 0 0 20 0 28 0 447096587 29456678912 551373 33554432000 4194304 4196468 140733712878544 139727345992832 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27409] ppid=27405 vsize=28766288 memory=2205500 CPUtime=13.37 cores=0-7
/proc/27407/task/27409/stat : 27409 (java) S 27405 27405 24577 0 -1 1077944384 58833 0 0 0 1275 62 0 0 20 0 28 0 447096588 29456678912 551373 33554432000 4194304 4196468 140733712878544 139727300512016 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 8 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27410] ppid=27405 vsize=28766288 memory=296329873 CPUtime=13.38 cores=0-7
/proc/27407/task/27410/stat : 27410 (java) S 27405 27405 24577 0 -1 1077944384 57150 0 0 0 1279 59 0 0 20 0 28 0 447096588 29456678912 551373 33554432000 4194304 4196468 140733712878544 139726891788688 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27411] ppid=27405 vsize=28766288 memory=1456 CPUtime=13.4 cores=0-7
/proc/27407/task/27411/stat : 27411 (java) S 27405 27405 24577 0 -1 1077944384 53484 0 0 0 1284 56 0 0 20 0 28 0 447096588 29456678912 551373 33554432000 4194304 4196468 140733712878544 139726890736144 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 8 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27412] ppid=27405 vsize=28766288 memory=1456 CPUtime=13.36 cores=0-7
/proc/27407/task/27412/stat : 27412 (java) S 27405 27405 24577 0 -1 1077944384 53716 0 0 0 1274 62 0 0 20 0 28 0 447096588 29456678912 551373 33554432000 4194304 4196468 140733712878544 139726889683600 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 7 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27413] ppid=27405 vsize=28766288 memory=1456 CPUtime=13.42 cores=0-7
/proc/27407/task/27413/stat : 27413 (java) S 27405 27405 24577 0 -1 1077944384 60935 0 0 0 1281 61 0 0 20 0 28 0 447096588 29456678912 551373 33554432000 4194304 4196468 140733712878544 139726888631056 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27414] ppid=27405 vsize=28766288 memory=2209124 CPUtime=13.39 cores=0-7
/proc/27407/task/27414/stat : 27414 (java) S 27405 27405 24577 0 -1 1077944384 60731 0 0 0 1280 59 0 0 20 0 28 0 447096588 29456678912 551373 33554432000 4194304 4196468 140733712878544 139726887578512 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 5 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27415] ppid=27405 vsize=28766288 memory=10600 CPUtime=13.4 cores=0-7
/proc/27407/task/27415/stat : 27415 (java) S 27405 27405 24577 0 -1 1077944384 54789 0 0 0 1276 64 0 0 20 0 28 0 447096588 29456678912 551373 33554432000 4194304 4196468 140733712878544 139726886525968 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27416] ppid=27405 vsize=28766288 memory=1740 CPUtime=13.43 cores=0-7
/proc/27407/task/27416/stat : 27416 (java) S 27405 27405 24577 0 -1 1077944384 56534 0 0 0 1280 63 0 0 20 0 28 0 447096588 29456678912 551373 33554432000 4194304 4196468 140733712878544 139726885473424 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 7 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27417] ppid=27405 vsize=28766288 memory=280166758259424 CPUtime=12.97 cores=0-7
/proc/27407/task/27417/stat : 27417 (java) S 27405 27405 24577 0 -1 1077944384 247739 0 0 0 592 705 0 0 20 0 28 0 447096589 29456678912 551373 33554432000 4194304 4196468 140733712878544 139726323849200 139727341763202 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27418] ppid=27405 vsize=28766288 memory=7451299477362599248 CPUtime=0 cores=0-7
/proc/27407/task/27418/stat : 27418 (java) S 27405 27405 24577 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 447096590 29456678912 551373 33554432000 4194304 4196468 140733712878544 139726322795488 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27419] ppid=27405 vsize=28766288 memory=2207076 CPUtime=0 cores=0-7
/proc/27407/task/27419/stat : 27419 (java) S 27405 27405 24577 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 447096590 29456678912 551373 33554432000 4194304 4196468 140733712878544 139726321742848 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27420] ppid=27405 vsize=28766288 memory=1456 CPUtime=0 cores=0-7
/proc/27407/task/27420/stat : 27420 (java) S 27405 27405 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447096592 29456678912 551373 33554432000 4194304 4196468 140733712878544 139726320691408 139727341770651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27421] ppid=27405 vsize=28766288 memory=0 CPUtime=1.6 cores=0-7
/proc/27407/task/27421/stat : 27421 (java) S 27405 27405 24577 0 -1 1077944384 8660 0 0 0 158 2 0 0 20 0 28 0 447096592 29456678912 551373 33554432000 4194304 4196468 140733712878544 139726319639024 139727341763202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27422] ppid=27405 vsize=28766288 memory=0 CPUtime=1.53 cores=0-7
/proc/27407/task/27422/stat : 27422 (java) S 27405 27405 24577 0 -1 1077944384 9985 0 0 0 152 1 0 0 20 0 28 0 447096593 29456678912 551373 33554432000 4194304 4196468 140733712878544 139726318586480 139727341763202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27423] ppid=27405 vsize=28766288 memory=3616 CPUtime=1.55 cores=0-7
/proc/27407/task/27423/stat : 27423 (java) S 27405 27405 24577 0 -1 1077944384 12369 0 0 0 153 2 0 0 20 0 28 0 447096593 29456678912 551373 33554432000 4194304 4196468 140733712878544 139726317533936 139727341763202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27424] ppid=27405 vsize=28766288 memory=48072 CPUtime=0.7 cores=0-7
/proc/27407/task/27424/stat : 27424 (java) S 27405 27405 24577 0 -1 1077944384 9073 0 0 0 68 2 0 0 20 0 28 0 447096593 29456678912 551373 33554432000 4194304 4196468 140733712878544 139726316481392 139727341763202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27425] ppid=27405 vsize=28766288 memory=1456 CPUtime=0 cores=0-7
/proc/27407/task/27425/stat : 27425 (java) S 27405 27405 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447096593 29456678912 551373 33554432000 4194304 4196468 140733712878544 139726315428064 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27426] ppid=27405 vsize=28766288 memory=1456 CPUtime=0.76 cores=0-7
/proc/27407/task/27426/stat : 27426 (java) S 27405 27405 24577 0 -1 1077944384 7804 0 0 0 38 38 0 0 20 0 28 0 447096593 29456678912 551373 33554432000 4194304 4196468 140733712878544 139726314375600 139727341763202 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 20 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27427] ppid=27405 vsize=28766288 memory=2204468 CPUtime=2465.3 cores=0-7
/proc/27407/task/27427/stat : 27427 (java) R 27405 27405 24577 0 -1 4202560 41280 0 0 0 246480 50 0 0 20 0 28 0 447096652 29456678912 551373 33554432000 4194304 4196468 140733712878544 139726305158096 139726983410824 0 4 0 16800975 0 0 0 -1 4 0 0 28 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27428] ppid=27405 vsize=28766288 memory=1456 CPUtime=2465.73 cores=0-7
/proc/27407/task/27428/stat : 27428 (java) R 27405 27405 24577 0 -1 4202560 43741 0 0 0 246520 53 0 0 20 0 28 0 447096652 29456678912 551373 33554432000 4194304 4196468 140733712878544 139726304105032 139726983674269 0 4 0 16800975 0 0 0 -1 6 0 0 21 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27429] ppid=27405 vsize=28766288 memory=1456 CPUtime=2463.94 cores=0-7
/proc/27407/task/27429/stat : 27429 (java) R 27405 27405 24577 0 -1 4202560 95428 0 0 0 246286 108 0 0 20 0 28 0 447096652 29456678912 551373 33554432000 4194304 4196468 140733712878544 139726303052488 139726983490886 0 4 0 16800975 0 0 0 -1 2 0 0 25 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27430] ppid=27405 vsize=28766288 memory=2205492 CPUtime=2469.38 cores=0-7
/proc/27407/task/27430/stat : 27430 (java) R 27405 27405 24577 0 -1 4202560 74920 0 0 0 246855 83 0 0 20 0 28 0 447096652 29456678912 551373 33554432000 4194304 4196468 140733712878544 139726301999944 139726984564583 0 4 0 16800975 0 0 0 -1 7 0 0 18 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27431] ppid=27405 vsize=28766288 memory=6791534058613427641 CPUtime=2464.26 cores=0-7
/proc/27407/task/27431/stat : 27431 (java) R 27405 27405 24577 0 -1 4202560 151878 0 0 0 246199 227 0 0 20 0 28 0 447096652 29456678912 551373 33554432000 4194304 4196468 140733712878544 139726300946648 139726983490717 0 4 0 16800975 0 0 0 -1 5 0 0 25 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27432] ppid=27405 vsize=28766288 memory=4126316290023845779 CPUtime=2463.57 cores=0-7
/proc/27407/task/27432/stat : 27432 (java) R 27405 27405 24577 0 -1 4202560 152785 0 0 0 246156 201 0 0 20 0 28 0 447096652 29456678912 551373 33554432000 4194304 4196468 140733712878544 139726299893856 139726982620673 0 4 0 16800975 0 0 0 -1 1 0 0 24 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27433] ppid=27405 vsize=28766288 memory=1456 CPUtime=2464.47 cores=0-7
/proc/27407/task/27433/stat : 27433 (java) R 27405 27405 24577 0 -1 4202560 264808 0 0 0 245938 509 0 0 20 0 28 0 447096652 29456678912 551373 33554432000 4194304 4196468 140733712878544 139726298840536 139726983251605 0 4 0 16800975 0 0 0 -1 0 0 0 19 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27434] ppid=27405 vsize=28766288 memory=2203960 CPUtime=2466.5 cores=0-7
/proc/27407/task/27434/stat : 27434 (java) R 27405 27405 24577 0 -1 4202560 43285 0 0 0 246597 53 0 0 20 0 28 0 447096652 29456678912 551373 33554432000 4194304 4196468 140733712878544 139726297788728 139726983786356 0 4 0 16800975 0 0 0 -1 3 0 0 21 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
Current children cumulated CPU time: 19850.2 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 2206948 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.23 8.26 8.22 9/220 27645
/proc/meminfo: memFree=29497516/32770624 swapFree=67002432/67108860
[pid=27405] ppid=27402 vsize=113128 memory=1456 CPUtime=0 cores=0-7
/proc/27405/stat : 27405 (xcsp3-exec) S 27402 27405 24577 0 -1 4202496 545 0 0 0 0 0 0 0 20 0 1 0 447096587 115843072 364 33554432000 4194304 5098028 140723210930656 140723210928760 139772094968444 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 25690112 140723210933109 140723210933353 140723210933353 140723210936266 0
/proc/27405/statm: 28282 364 305 221 0 87 0
[pid=27407] ppid=27405 vsize=28766288 memory=2193156 CPUtime=19990.3 cores=0-7
/proc/27407/stat : 27407 (java) S 27405 27405 24577 0 -1 1077944320 1642883 0 0 0 1996550 2479 0 0 20 0 28 0 447096587 29456678912 548289 33554432000 4194304 4196468 140733712878544 140733712861088 139727341752055 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
/proc/27407/statm: 7191572 548289 3549 1 0 7152672 0
[pid=27407/tid=27408] ppid=27405 vsize=28766288 memory=6791534058613427641 CPUtime=0.62 cores=0-7
/proc/27407/task/27408/stat : 27408 (java) S 27405 27405 24577 0 -1 1077944384 8807 0 0 0 59 3 0 0 20 0 28 0 447096587 29456678912 548289 33554432000 4194304 4196468 140733712878544 139727345992832 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27409] ppid=27405 vsize=28766288 memory=4126316290023845779 CPUtime=13.48 cores=0-7
/proc/27407/task/27409/stat : 27409 (java) S 27405 27405 24577 0 -1 1077944384 59036 0 0 0 1286 62 0 0 20 0 28 0 447096588 29456678912 548289 33554432000 4194304 4196468 140733712878544 139727300512016 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27410] ppid=27405 vsize=28766288 memory=3980 CPUtime=13.5 cores=0-7
/proc/27407/task/27410/stat : 27410 (java) S 27405 27405 24577 0 -1 1077944384 57742 0 0 0 1290 60 0 0 20 0 28 0 447096588 29456678912 548289 33554432000 4194304 4196468 140733712878544 139726891788688 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 7 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27411] ppid=27405 vsize=28766288 memory=1740 CPUtime=13.52 cores=0-7
/proc/27407/task/27411/stat : 27411 (java) S 27405 27405 24577 0 -1 1077944384 54011 0 0 0 1296 56 0 0 20 0 28 0 447096588 29456678912 548289 33554432000 4194304 4196468 140733712878544 139726890736144 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 8 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27412] ppid=27405 vsize=28766288 memory=5992 CPUtime=13.45 cores=0-7
/proc/27407/task/27412/stat : 27412 (java) S 27405 27405 24577 0 -1 1077944384 54142 0 0 0 1283 62 0 0 20 0 28 0 447096588 29456678912 548289 33554432000 4194304 4196468 140733712878544 139726889683600 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 7 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27413] ppid=27405 vsize=28766288 memory=636 CPUtime=13.53 cores=0-7
/proc/27407/task/27413/stat : 27413 (java) S 27405 27405 24577 0 -1 1077944384 61907 0 0 0 1292 61 0 0 20 0 28 0 447096588 29456678912 548289 33554432000 4194304 4196468 140733712878544 139726888631056 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 7 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27414] ppid=27405 vsize=28766288 memory=2884 CPUtime=13.51 cores=0-7
/proc/27407/task/27414/stat : 27414 (java) S 27405 27405 24577 0 -1 1077944384 62481 0 0 0 1291 60 0 0 20 0 28 0 447096588 29456678912 548289 33554432000 4194304 4196468 140733712878544 139726887578512 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 5 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27415] ppid=27405 vsize=28766288 memory=1056 CPUtime=13.52 cores=0-7
/proc/27407/task/27415/stat : 27415 (java) S 27405 27405 24577 0 -1 1077944384 55424 0 0 0 1288 64 0 0 20 0 28 0 447096588 29456678912 548289 33554432000 4194304 4196468 140733712878544 139726886525968 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 5 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27416] ppid=27405 vsize=28766288 memory=1568 CPUtime=13.54 cores=0-7
/proc/27407/task/27416/stat : 27416 (java) S 27405 27405 24577 0 -1 1077944384 57504 0 0 0 1291 63 0 0 20 0 28 0 447096588 29456678912 548289 33554432000 4194304 4196468 140733712878544 139726885473424 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 7 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27417] ppid=27405 vsize=28766288 memory=2193668 CPUtime=13.14 cores=0-7
/proc/27407/task/27417/stat : 27417 (java) S 27405 27405 24577 0 -1 1077944384 250092 0 0 0 600 714 0 0 20 0 28 0 447096589 29456678912 548289 33554432000 4194304 4196468 140733712878544 139726323849200 139727341763202 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 2 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27418] ppid=27405 vsize=28766288 memory=6791534058613427641 CPUtime=0 cores=0-7
/proc/27407/task/27418/stat : 27418 (java) S 27405 27405 24577 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 28 0 447096590 29456678912 548289 33554432000 4194304 4196468 140733712878544 139726322795488 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27419] ppid=27405 vsize=28766288 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/27407/task/27419/stat : 27419 (java) S 27405 27405 24577 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 28 0 447096590 29456678912 548289 33554432000 4194304 4196468 140733712878544 139726321742848 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27420] ppid=27405 vsize=28766288 memory=1416 CPUtime=0 cores=0-7
/proc/27407/task/27420/stat : 27420 (java) S 27405 27405 24577 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 447096592 29456678912 548289 33554432000 4194304 4196468 140733712878544 139726320691408 139727341770651 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27421] ppid=27405 vsize=28766288 memory=776 CPUtime=1.6 cores=0-7
/proc/27407/task/27421/stat : 27421 (java) S 27405 27405 24577 0 -1 1077944384 8664 0 0 0 158 2 0 0 20 0 28 0 447096592 29456678912 548289 33554432000 4194304 4196468 140733712878544 139726319639024 139727341763202 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 23 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27422] ppid=27405 vsize=28766288 memory=3980 CPUtime=1.53 cores=0-7
/proc/27407/task/27422/stat : 27422 (java) S 27405 27405 24577 0 -1 1077944384 9989 0 0 0 152 1 0 0 20 0 28 0 447096593 29456678912 548289 33554432000 4194304 4196468 140733712878544 139726318586480 139727341763202 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 12 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27423] ppid=27405 vsize=28766288 memory=1220 CPUtime=1.55 cores=0-7
/proc/27407/task/27423/stat : 27423 (java) S 27405 27405 24577 0 -1 1077944384 12373 0 0 0 153 2 0 0 20 0 28 0 447096593 29456678912 548289 33554432000 4194304 4196468 140733712878544 139726317533936 139727341763202 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27424] ppid=27405 vsize=28766288 memory=10600 CPUtime=0.7 cores=0-7
/proc/27407/task/27424/stat : 27424 (java) S 27405 27405 24577 0 -1 1077944384 9077 0 0 0 68 2 0 0 20 0 28 0 447096593 29456678912 548289 33554432000 4194304 4196468 140733712878544 139726316481392 139727341763202 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27425] ppid=27405 vsize=28766288 memory=1740 CPUtime=0 cores=0-7
/proc/27407/task/27425/stat : 27425 (java) S 27405 27405 24577 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 447096593 29456678912 548289 33554432000 4194304 4196468 140733712878544 139726315428064 139727341762261 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27426] ppid=27405 vsize=28766288 memory=5992 CPUtime=0.78 cores=0-7
/proc/27407/task/27426/stat : 27426 (java) S 27405 27405 24577 0 -1 1077944384 7901 0 0 0 39 39 0 0 20 0 28 0 447096593 29456678912 548289 33554432000 4194304 4196468 140733712878544 139726314375600 139727341763202 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 20 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27427] ppid=27405 vsize=28766288 memory=6791534058613427641 CPUtime=2482.7 cores=0-7
/proc/27407/task/27427/stat : 27427 (java) R 27405 27405 24577 0 -1 4202560 41738 0 0 0 248219 51 0 0 20 0 28 0 447096652 29456678912 548289 33554432000 4194304 4196468 140733712878544 139726305155680 139726983780409 0 4 0 16800975 0 0 0 -1 0 0 0 28 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27428] ppid=27405 vsize=28766288 memory=257783937160744 CPUtime=2483.1 cores=0-7
/proc/27407/task/27428/stat : 27428 (java) R 27405 27405 24577 0 -1 4202560 44105 0 0 0 248257 53 0 0 20 0 28 0 447096652 29456678912 548289 33554432000 4194304 4196468 140733712878544 139726304107296 139726977989398 0 4 0 16800975 0 0 0 -1 4 0 0 21 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27429] ppid=27405 vsize=28766288 memory=257783937160745 CPUtime=2481.16 cores=0-7
/proc/27407/task/27429/stat : 27429 (java) R 27405 27405 24577 0 -1 4202560 96005 0 0 0 248008 108 0 0 20 0 28 0 447096652 29456678912 548289 33554432000 4194304 4196468 140733712878544 139726303052472 139726983495872 0 4 0 16800975 0 0 0 -1 7 0 0 25 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27430] ppid=27405 vsize=28766288 memory=257783937160746 CPUtime=2486.76 cores=0-7
/proc/27407/task/27430/stat : 27430 (java) R 27405 27405 24577 0 -1 4202560 75619 0 0 0 248592 84 0 0 20 0 28 0 447096652 29456678912 548289 33554432000 4194304 4196468 140733712878544 139726301999312 139726984564944 0 4 0 16800975 0 0 0 -1 3 0 0 18 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27431] ppid=27405 vsize=28766288 memory=257783937160747 CPUtime=2481.63 cores=0-7
/proc/27407/task/27431/stat : 27431 (java) R 27405 27405 24577 0 -1 4202560 152427 0 0 0 247936 227 0 0 20 0 28 0 447096652 29456678912 548289 33554432000 4194304 4196468 140733712878544 139726300946608 139726983482919 0 4 0 16800975 0 0 0 -1 1 0 0 25 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27432] ppid=27405 vsize=28766288 memory=257783937160748 CPUtime=2480.97 cores=0-7
/proc/27407/task/27432/stat : 27432 (java) R 27405 27405 24577 0 -1 4202560 153236 0 0 0 247895 202 0 0 20 0 28 0 447096652 29456678912 548289 33554432000 4194304 4196468 140733712878544 139726299894264 139726983674269 0 4 0 16800975 0 0 0 -1 5 0 0 24 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27433] ppid=27405 vsize=28766288 memory=117703578801707 CPUtime=2481.86 cores=0-7
/proc/27407/task/27433/stat : 27433 (java) R 27405 27405 24577 0 -1 4202560 265359 0 0 0 247677 509 0 0 20 0 28 0 447096652 29456678912 548289 33554432000 4194304 4196468 140733712878544 139726298841040 139726977989507 0 4 0 16800975 0 0 0 -1 6 0 0 19 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
[pid=27407/tid=27434] ppid=27405 vsize=28766288 memory=257783937160748 CPUtime=2483.9 cores=0-7
/proc/27407/task/27434/stat : 27434 (java) R 27405 27405 24577 0 -1 4202560 43864 0 0 0 248336 54 0 0 20 0 28 0 447096652 29456678912 548289 33554432000 4194304 4196468 140733712878544 139726297788728 139726983702274 0 4 0 16800975 0 0 0 -1 2 0 0 21 0 0 6293624 6294260 11616256 140733712884714 140733712884886 140733712884886 140733712887759 0
Current children cumulated CPU time: 19990.3 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 2194612 KiB

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

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

[startup+2520.11 s]
# the end of solver process 27407 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=19966.2 s, system=24.8164 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

Child status: 143
Real time (s): 2520.11
CPU time (s): 19991
CPU user time (s): 19966.2
CPU system time (s): 24.8164
CPU usage (%): 793.257
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 3719252

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19966.1
system time used= 24.8164
maximum resident set size= 3723100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1643722
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3984
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 189717
involuntary context switches= 259253


# summary of solver processes directly reported to runsolver:
#   pid: 27405,27407
#   total CPU time (s): 19991
#   total CPU user time (s): 19966.2
#   total CPU system time (s): 24.8164

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 22.8474 second user time and 30.2641 second system time

The end

Launcher Data 

Begin job on node136 at 2019-09-17 10:20:35
IDJOB=4399707
IDBENCH=133663
IDSOLVER=2854
FILE ID=node136/4399707-1568708479
RUNJOBID= node136-1568700438-24604
PBS_JOBID= 21703894
Free space on /tmp= 61144 MiB

SOLVER NAME= choco-solver 2019-09-16 parallel
BENCH NAME= XCSP17/MagicHexagon/MagicHexagon-m1-s1/MagicHexagon-06-m100.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-4399707-1568708479/watcher-4399707-1568708479 -o /tmp/evaluation-result-4399707-1568708479/solver-4399707-1568708479 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node136-1568700438-24604 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1912551114 HOME/instance-4399707-1568708479.xml

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

MD5SUM BENCH= 48fd215a6575ff2faea72cbf693f6cf6
RANDOM SEED=1912551114

node136.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.00
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.54
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.00
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.54
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.00
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.54
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.00
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.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31681888 kB
MemAvailable:   31898212 kB
Buffers:           69992 kB
Cached:           447856 kB
SwapCached:         3548 kB
Active:           219048 kB
Inactive:         303760 kB
Active(anon):       4488 kB
Inactive(anon):    49444 kB
Active(file):     214560 kB
Inactive(file):   254316 kB
Unevictable:      110280 kB
Mlocked:          110280 kB
SwapTotal:      67108860 kB
SwapFree:       67002432 kB
Dirty:             26188 kB
Writeback:             4 kB
AnonPages:        113336 kB
Mapped:            48344 kB
Shmem:             40356 kB
Slab:             155244 kB
SReclaimable:     126564 kB
SUnreclaim:        28680 kB
KernelStack:        3440 kB
PageTables:         5284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     507960 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 61120 MiB
End job on node136 at 2019-09-17 11:02:35