Trace number 4404422

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-20 parallel? (TO) 20025.6 2520.09

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-spba/
Pb-BeauxArts-K67.xml
MD5SUM4516aa109e121890953f360029c48088
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 benchmark91.3846
Satisfiable
(Un)Satisfiability was proved
Number of variables3685
Number of constraints3821
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":3685}]
Minimum variable degree3
Maximum variable degree9
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":127},{"degree":5,"count":550},{"degree":6,"count":1960},{"degree":7,"count":590},{"degree":8,"count":327},{"degree":9,"count":130}]
Minimum constraint arity1
Maximum constraint arity67
Distribution of constraint arities[{"arity":1,"count":2},{"arity":2,"count":660},{"arity":3,"count":1914},{"arity":4,"count":594},{"arity":5,"count":330},{"arity":6,"count":132},{"arity":55,"count":134},{"arity":67,"count":55}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":3821}]
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-4404422-1569004990.xml"  -tl '20160s' -p 8
0.13/0.18	c Choco 3fb4b153
0.13/0.18	c [HOME/instance-4404422-1569004990.xml, -tl, 20160s, -p, 8]
0.33/0.22	c 8 solvers in parallel
0.33/0.28	c parse instance...
5.46/1.61	c solve instance...
20025.02/2520.06	s UNKNOWN
20025.02/2520.06	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 (11781 MiB free)
  memory of node 1: 16384 MiB (13029 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-4404422-1569004990/watcher-4404422-1569004990 -o /var/tmp/evaluation-result-4404422-1569004990/solver-4404422-1569004990 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569004947-15378 --watchdog 2580 xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1569976328 HOME/instance-4404422-1569004990.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=15395, runsolver pid=15392

[startup+0.100111 s]*
/proc/loadavg: 8.13 8.05 8.06 2/212 15416
/proc/meminfo: memFree=25390080/32770624 swapFree=66989036/67108860
[pid=15395] ppid=15392 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/15395/stat : 15395 (xcsp3-exec) S 15392 15395 15351 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476761605 115843072 362 33554432000 4194304 5098028 140734176981536 140734176979640 139768781701756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28016640 140734176990033 140734176990293 140734176990293 140734176993222 0
/proc/15395/statm: 28282 362 304 221 0 87 0
[pid=15397] ppid=15395 vsize=28227396 memory=28972 CPUtime=0.13 cores=0-7
/proc/15397/stat : 15397 (java) S 15395 15395 15351 0 -1 1077944320 5720 0 0 0 11 2 0 0 20 0 20 0 476761606 28904853504 7243 33554432000 4194304 4196468 140720690022144 140720690004688 140125132697335 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
/proc/15397/statm: 7056849 7243 3121 1 0 7019032 0
[pid=15397/tid=15398] ppid=15395 vsize=28227396 memory=-2177352373413752899 CPUtime=0.09 cores=0-7
/proc/15397/task/15398/stat : 15398 (java) R 15395 15395 15351 0 -1 4202560 3623 0 0 0 8 1 0 0 20 0 20 0 476761606 28904853504 7243 33554432000 4194304 4196468 140720690022144 140125136930608 140125116049037 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15399] ppid=15395 vsize=28227396 memory=732370572033768421 CPUtime=0 cores=0-7
/proc/15397/task/15399/stat : 15399 (java) S 15395 15395 15351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476761607 28904853504 7243 33554432000 4194304 4196468 140720690022144 140125085317648 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15400] ppid=15395 vsize=28227396 memory=140433696315008 CPUtime=0 cores=0-7
/proc/15397/task/15400/stat : 15400 (java) S 15395 15395 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476761607 28904853504 7243 33554432000 4194304 4196468 140720690022144 140125084265104 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15401] ppid=15395 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15401/stat : 15401 (java) S 15395 15395 15351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476761607 28904853504 7243 33554432000 4194304 4196468 140720690022144 140125083212048 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15402] ppid=15395 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15402/stat : 15402 (java) S 15395 15395 15351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476761607 28904853504 7243 33554432000 4194304 4196468 140720690022144 140125082159504 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15403] ppid=15395 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15403/stat : 15403 (java) S 15395 15395 15351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476761607 28904853504 7243 33554432000 4194304 4196468 140720690022144 140125081107472 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15404] ppid=15395 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15397/task/15404/stat : 15404 (java) S 15395 15395 15351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476761607 28904853504 7243 33554432000 4194304 4196468 140720690022144 140125080054928 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15405] ppid=15395 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15405/stat : 15405 (java) S 15395 15395 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476761607 28904853504 7243 33554432000 4194304 4196468 140720690022144 140125079001872 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15406] ppid=15395 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15406/stat : 15406 (java) S 15395 15395 15351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476761607 28904853504 7243 33554432000 4194304 4196468 140720690022144 140125077949328 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15407] ppid=15395 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15407/stat : 15407 (java) S 15395 15395 15351 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 20 0 476761608 28904853504 7243 33554432000 4194304 4196468 140720690022144 140124517099760 140125132708482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15408] ppid=15395 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15408/stat : 15408 (java) S 15395 15395 15351 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 476761609 28904853504 7243 33554432000 4194304 4196468 140720690022144 140124448875680 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15409] ppid=15395 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15409/stat : 15409 (java) S 15395 15395 15351 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476761609 28904853504 7243 33554432000 4194304 4196468 140720690022144 140124447822576 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15410] ppid=15395 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15410/stat : 15410 (java) S 15395 15395 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476761611 28904853504 7243 33554432000 4194304 4196468 140720690022144 140124446771152 140125132715931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15411] ppid=15395 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15411/stat : 15411 (java) S 15395 15395 15351 0 -1 1077944384 292 0 0 0 0 0 0 0 20 0 20 0 476761611 28904853504 7243 33554432000 4194304 4196468 140720690022144 140124445719280 140125132708482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15412] ppid=15395 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15412/stat : 15412 (java) S 15395 15395 15351 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 20 0 476761611 28904853504 7243 33554432000 4194304 4196468 140720690022144 140124444666736 140125132708482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15413] ppid=15395 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15413/stat : 15413 (java) S 15395 15395 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476761611 28904853504 7243 33554432000 4194304 4196468 140720690022144 140124443613680 140125132708482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15414] ppid=15395 vsize=28227396 memory=0 CPUtime=0.01 cores=0-7
/proc/15397/task/15414/stat : 15414 (java) R 15395 15395 15351 0 -1 4202560 366 0 0 0 1 0 0 0 20 0 20 0 476761611 28904853504 7243 33554432000 4194304 4196468 140720690022144 140124442561136 140125111665419 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15415] ppid=15395 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15415/stat : 15415 (java) S 15395 15395 15351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476761612 28904853504 7243 33554432000 4194304 4196468 140720690022144 140124441508320 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15416] ppid=15395 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15397/task/15416/stat : 15416 (java) S 15395 15395 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476761612 28904853504 7243 33554432000 4194304 4196468 140720690022144 140124440455856 140125132708482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 30420 KiB

[startup+0.210242 s]*
/proc/loadavg: 8.13 8.05 8.06 2/212 15416
/proc/meminfo: memFree=25376728/32770624 swapFree=66989036/67108860
[pid=15395] ppid=15392 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/15395/stat : 15395 (xcsp3-exec) S 15392 15395 15351 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476761605 115843072 362 33554432000 4194304 5098028 140734176981536 140734176979640 139768781701756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28016640 140734176990033 140734176990293 140734176990293 140734176993222 0
/proc/15395/statm: 28282 362 304 221 0 87 0
[pid=15397] ppid=15395 vsize=28227396 memory=40836 CPUtime=0.33 cores=0-7
/proc/15397/stat : 15397 (java) S 15395 15395 15351 0 -1 1077944320 9504 0 0 0 29 4 0 0 20 0 20 0 476761606 28904853504 10209 33554432000 4194304 4196468 140720690022144 140720690004688 140125132697335 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
/proc/15397/statm: 7056849 10209 3306 1 0 7019032 0
[pid=15397/tid=15398] ppid=15395 vsize=28227396 memory=0 CPUtime=0.19 cores=0-7
/proc/15397/task/15398/stat : 15398 (java) R 15395 15395 15351 0 -1 4202560 6647 0 0 0 17 2 0 0 20 0 20 0 476761606 28904853504 10209 33554432000 4194304 4196468 140720690022144 140125136930064 140125132709270 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15399] ppid=15395 vsize=28227396 memory=732370572033768421 CPUtime=0 cores=0-7
/proc/15397/task/15399/stat : 15399 (java) S 15395 15395 15351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476761607 28904853504 10209 33554432000 4194304 4196468 140720690022144 140125085317648 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15400] ppid=15395 vsize=28227396 memory=140433696315008 CPUtime=0 cores=0-7
/proc/15397/task/15400/stat : 15400 (java) S 15395 15395 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476761607 28904853504 10209 33554432000 4194304 4196468 140720690022144 140125084265104 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15401] ppid=15395 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15401/stat : 15401 (java) S 15395 15395 15351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476761607 28904853504 10209 33554432000 4194304 4196468 140720690022144 140125083212048 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15402] ppid=15395 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15402/stat : 15402 (java) S 15395 15395 15351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476761607 28904853504 10209 33554432000 4194304 4196468 140720690022144 140125082159504 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15403] ppid=15395 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15403/stat : 15403 (java) S 15395 15395 15351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476761607 28904853504 10209 33554432000 4194304 4196468 140720690022144 140125081107472 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15404] ppid=15395 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15397/task/15404/stat : 15404 (java) S 15395 15395 15351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476761607 28904853504 10209 33554432000 4194304 4196468 140720690022144 140125080054928 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15405] ppid=15395 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15405/stat : 15405 (java) S 15395 15395 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476761607 28904853504 10209 33554432000 4194304 4196468 140720690022144 140125079001872 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15406] ppid=15395 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15406/stat : 15406 (java) S 15395 15395 15351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476761607 28904853504 10209 33554432000 4194304 4196468 140720690022144 140125077949328 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15407] ppid=15395 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15407/stat : 15407 (java) S 15395 15395 15351 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 476761608 28904853504 10209 33554432000 4194304 4196468 140720690022144 140124517099760 140125132708482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15408] ppid=15395 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15408/stat : 15408 (java) S 15395 15395 15351 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 476761609 28904853504 10209 33554432000 4194304 4196468 140720690022144 140124448875680 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15409] ppid=15395 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15409/stat : 15409 (java) S 15395 15395 15351 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476761609 28904853504 10209 33554432000 4194304 4196468 140720690022144 140124447822576 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15410] ppid=15395 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15410/stat : 15410 (java) S 15395 15395 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476761611 28904853504 10209 33554432000 4194304 4196468 140720690022144 140124446771152 140125132715931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15411] ppid=15395 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15411/stat : 15411 (java) S 15395 15395 15351 0 -1 1077944384 312 0 0 0 0 0 0 0 20 0 20 0 476761611 28904853504 10209 33554432000 4194304 4196468 140720690022144 140124445719280 140125132708482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15412] ppid=15395 vsize=28227396 memory=0 CPUtime=0.02 cores=0-7
/proc/15397/task/15412/stat : 15412 (java) S 15395 15395 15351 0 -1 1077944384 410 0 0 0 2 0 0 0 20 0 20 0 476761611 28904853504 10209 33554432000 4194304 4196468 140720690022144 140124444666736 140125132708482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15413] ppid=15395 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15413/stat : 15413 (java) S 15395 15395 15351 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 476761611 28904853504 10209 33554432000 4194304 4196468 140720690022144 140124443613680 140125132708482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15414] ppid=15395 vsize=28227396 memory=0 CPUtime=0.07 cores=0-7
/proc/15397/task/15414/stat : 15414 (java) R 15395 15395 15351 0 -1 4202560 774 0 0 0 7 0 0 0 20 0 20 0 476761611 28904853504 10209 33554432000 4194304 4196468 140720690022144 140124442561136 140125111065680 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15415] ppid=15395 vsize=28227396 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15415/stat : 15415 (java) S 15395 15395 15351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476761612 28904853504 10209 33554432000 4194304 4196468 140720690022144 140124441508320 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15416] ppid=15395 vsize=28227396 memory=-1 CPUtime=0 cores=0-7
/proc/15397/task/15416/stat : 15416 (java) S 15395 15395 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476761612 28904853504 10209 33554432000 4194304 4196468 140720690022144 140124440455856 140125132708482 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 28340524 KiB
Current children cumulated memory: 42284 KiB

[startup+0.309628 s]*
/proc/loadavg: 8.13 8.05 8.06 4/212 15416
/proc/meminfo: memFree=25369552/32770624 swapFree=66989036/67108860
[pid=15395] ppid=15392 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/15395/stat : 15395 (xcsp3-exec) S 15392 15395 15351 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476761605 115843072 362 33554432000 4194304 5098028 140734176981536 140734176979640 139768781701756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28016640 140734176990033 140734176990293 140734176990293 140734176993222 0
/proc/15395/statm: 28282 362 304 221 0 87 0
[pid=15397] ppid=15395 vsize=28231652 memory=49756 CPUtime=0.52 cores=0-7
/proc/15397/stat : 15397 (java) S 15395 15395 15351 0 -1 1077944320 10829 0 0 0 48 4 0 0 20 0 20 0 476761606 28909211648 12439 33554432000 4194304 4196468 140720690022144 140720690004688 140125132697335 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
/proc/15397/statm: 7057913 12439 3355 1 0 7019032 0
[pid=15397/tid=15398] ppid=15395 vsize=28231652 memory=1398722017469774279 CPUtime=0.29 cores=0-7
/proc/15397/task/15398/stat : 15398 (java) R 15395 15395 15351 0 -1 4202560 7780 0 0 0 26 3 0 0 20 0 20 0 476761606 28909211648 12466 33554432000 4194304 4196468 140720690022144 140125136928448 140125116777822 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15399] ppid=15395 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15399/stat : 15399 (java) S 15395 15395 15351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476761607 28909211648 12466 33554432000 4194304 4196468 140720690022144 140125085317648 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15400] ppid=15395 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15400/stat : 15400 (java) S 15395 15395 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476761607 28909211648 12466 33554432000 4194304 4196468 140720690022144 140125084265104 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15401] ppid=15395 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15401/stat : 15401 (java) S 15395 15395 15351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476761607 28909211648 12466 33554432000 4194304 4196468 140720690022144 140125083212048 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15402] ppid=15395 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15402/stat : 15402 (java) S 15395 15395 15351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476761607 28909211648 12466 33554432000 4194304 4196468 140720690022144 140125082159504 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15403] ppid=15395 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15403/stat : 15403 (java) S 15395 15395 15351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476761607 28909211648 12466 33554432000 4194304 4196468 140720690022144 140125081107472 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15404] ppid=15395 vsize=28231652 memory=140433552403119 CPUtime=0 cores=0-7
/proc/15397/task/15404/stat : 15404 (java) S 15395 15395 15351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476761607 28909211648 12466 33554432000 4194304 4196468 140720690022144 140125080054928 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15405] ppid=15395 vsize=28231652 memory=140433552405424 CPUtime=0 cores=0-7
/proc/15397/task/15405/stat : 15405 (java) S 15395 15395 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476761607 28909211648 12466 33554432000 4194304 4196468 140720690022144 140125079001872 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15406] ppid=15395 vsize=28231652 memory=140433552407728 CPUtime=0 cores=0-7
/proc/15397/task/15406/stat : 15406 (java) S 15395 15395 15351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476761607 28909211648 12466 33554432000 4194304 4196468 140720690022144 140125077949328 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15407] ppid=15395 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15407/stat : 15407 (java) S 15395 15395 15351 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 476761608 28909211648 12466 33554432000 4194304 4196468 140720690022144 140124517099760 140125132708482 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15408] ppid=15395 vsize=28231652 memory=280867104829328 CPUtime=0 cores=0-7
/proc/15397/task/15408/stat : 15408 (java) S 15395 15395 15351 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 20 0 476761609 28909211648 12466 33554432000 4194304 4196468 140720690022144 140124448875680 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15409] ppid=15395 vsize=28231652 memory=280867104827024 CPUtime=0 cores=0-7
/proc/15397/task/15409/stat : 15409 (java) S 15395 15395 15351 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 476761609 28909211648 12466 33554432000 4194304 4196468 140720690022144 140124447822576 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15410] ppid=15395 vsize=28231652 memory=280867104833936 CPUtime=0 cores=0-7
/proc/15397/task/15410/stat : 15410 (java) S 15395 15395 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476761611 28909211648 12466 33554432000 4194304 4196468 140720690022144 140124446771152 140125132715931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15411] ppid=15395 vsize=28231652 memory=280867104775184 CPUtime=0.02 cores=0-7
/proc/15397/task/15411/stat : 15411 (java) R 15395 15395 15351 0 -1 4202560 427 0 0 0 2 0 0 0 20 0 20 0 476761611 28909211648 12466 33554432000 4194304 4196468 140720690022144 140124445709664 140125112390427 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15412] ppid=15395 vsize=28231652 memory=280867104847760 CPUtime=0.03 cores=0-7
/proc/15397/task/15412/stat : 15412 (java) S 15395 15395 15351 0 -1 1077944384 421 0 0 0 3 0 0 0 20 0 20 0 476761611 28909211648 12466 33554432000 4194304 4196468 140720690022144 140124444666736 140125132708482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15413] ppid=15395 vsize=28231652 memory=280867104854672 CPUtime=0.01 cores=0-7
/proc/15397/task/15413/stat : 15413 (java) S 15395 15395 15351 0 -1 1077944384 54 0 0 0 1 0 0 0 20 0 20 0 476761611 28909211648 12466 33554432000 4194304 4196468 140720690022144 140124443613680 140125132708482 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15414] ppid=15395 vsize=28231652 memory=280867104852368 CPUtime=0.12 cores=0-7
/proc/15397/task/15414/stat : 15414 (java) S 15395 15395 15351 0 -1 1077944384 837 0 0 0 12 0 0 0 20 0 20 0 476761611 28909211648 12466 33554432000 4194304 4196468 140720690022144 140124442561136 140125132708482 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15415] ppid=15395 vsize=28231652 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15415/stat : 15415 (java) S 15395 15395 15351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 476761612 28909211648 12466 33554432000 4194304 4196468 140720690022144 140124441508320 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15416] ppid=15395 vsize=28231652 memory=-1 CPUtime=0 cores=0-7
/proc/15397/task/15416/stat : 15416 (java) S 15395 15395 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476761612 28909211648 12466 33554432000 4194304 4196468 140720690022144 140124440455856 140125132708482 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
Current children cumulated CPU time: 0.52 s
Current children cumulated vsize: 28344780 KiB
Current children cumulated memory: 51204 KiB

[startup+0.701008 s]
/proc/loadavg: 8.13 8.05 8.06 5/212 15416
/proc/meminfo: memFree=25347184/32770624 swapFree=66989036/67108860
[pid=15395] ppid=15392 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/15395/stat : 15395 (xcsp3-exec) S 15392 15395 15351 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476761605 115843072 362 33554432000 4194304 5098028 140734176981536 140734176979640 139768781701756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28016640 140734176990033 140734176990293 140734176990293 140734176993222 0
/proc/15395/statm: 28282 362 304 221 0 87 0
[pid=15397] ppid=15395 vsize=28233776 memory=118060 CPUtime=1.94 cores=0-7
/proc/15397/stat : 15397 (java) S 15395 15395 15351 0 -1 1077944320 17054 0 0 0 185 9 0 0 20 0 20 0 476761606 28911386624 29515 33554432000 4194304 4196468 140720690022144 140720690004688 140125132697335 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
/proc/15397/statm: 7058444 29515 3451 1 0 7019544 0
[pid=15397/tid=15398] ppid=15395 vsize=28233776 memory=0 CPUtime=0.68 cores=0-7
/proc/15397/task/15398/stat : 15398 (java) R 15395 15395 15351 0 -1 4202560 9016 0 0 0 62 6 0 0 20 0 20 0 476761606 28911386624 29515 33554432000 4194304 4196468 140720690022144 140125136905584 140125124934462 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15399] ppid=15395 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15399/stat : 15399 (java) S 15395 15395 15351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476761607 28911386624 29515 33554432000 4194304 4196468 140720690022144 140125085317648 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15400] ppid=15395 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15400/stat : 15400 (java) S 15395 15395 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 476761607 28911386624 29515 33554432000 4194304 4196468 140720690022144 140125084265104 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15401] ppid=15395 vsize=28233776 memory=0 CPUtime=0 cores=0-7
/proc/15397/task/15401/stat : 15401 (java) S 15395 15395 15351 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 476761607 28911386624 29515 33554432000 4194304 4196468 140720690022144 140125083212048 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0

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

[pid=15397/tid=15424] ppid=15395 vsize=28766288 memory=1324 CPUtime=2410.52 cores=0-7
/proc/15397/task/15424/stat : 15424 (java) R 15395 15395 15351 0 -1 4202560 91747 0 0 0 240945 107 0 0 20 0 28 0 476761773 29456678912 318033 33554432000 4194304 4196468 140720690022144 140124424106216 140124741298030 0 4 0 16800975 0 0 0 -1 6 0 0 17 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
Current children cumulated CPU time: 19408.7 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 1273580 KiB

[startup+2502.3 s]
/proc/loadavg: 8.02 8.21 8.27 9/220 15630
/proc/meminfo: memFree=23862304/32770624 swapFree=66989088/67108860
[pid=15395] ppid=15392 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/15395/stat : 15395 (xcsp3-exec) S 15392 15395 15351 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476761605 115843072 362 33554432000 4194304 5098028 140734176981536 140734176979640 139768781701756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28016640 140734176990033 140734176990293 140734176990293 140734176993222 0
/proc/15395/statm: 28282 362 304 221 0 87 0
[pid=15397] ppid=15395 vsize=28766288 memory=1552632 CPUtime=19884.4 cores=0-7
/proc/15397/stat : 15397 (java) S 15395 15395 15351 0 -1 1077944320 890854 0 0 0 1987097 1344 0 0 20 0 28 0 476761606 29456678912 388158 33554432000 4194304 4196468 140720690022144 140720690004688 140125132697335 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
/proc/15397/statm: 7191572 388158 3538 1 0 7152672 0
[pid=15397/tid=15398] ppid=15395 vsize=28766288 memory=1552632 CPUtime=1.57 cores=0-7
/proc/15397/task/15398/stat : 15398 (java) S 15395 15395 15351 0 -1 1077944384 9298 0 0 0 149 8 0 0 20 0 28 0 476761606 29456678912 388158 33554432000 4194304 4196468 140720690022144 140125136938112 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15399] ppid=15395 vsize=28766288 memory=1448 CPUtime=11.41 cores=0-7
/proc/15397/task/15399/stat : 15399 (java) S 15395 15395 15351 0 -1 1077944384 24162 0 0 0 1102 39 0 0 20 0 28 0 476761607 29456678912 388158 33554432000 4194304 4196468 140720690022144 140125085317648 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15400] ppid=15395 vsize=28766288 memory=15479062137908 CPUtime=11.3 cores=0-7
/proc/15397/task/15400/stat : 15400 (java) S 15395 15395 15351 0 -1 1077944384 27668 0 0 0 1093 37 0 0 20 0 28 0 476761607 29456678912 388158 33554432000 4194304 4196468 140720690022144 140125084265104 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15401] ppid=15395 vsize=28766288 memory=0 CPUtime=11.37 cores=0-7
/proc/15397/task/15401/stat : 15401 (java) S 15395 15395 15351 0 -1 1077944384 30585 0 0 0 1093 44 0 0 20 0 28 0 476761607 29456678912 388158 33554432000 4194304 4196468 140720690022144 140125083212048 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15402] ppid=15395 vsize=28766288 memory=0 CPUtime=11.38 cores=0-7
/proc/15397/task/15402/stat : 15402 (java) S 15395 15395 15351 0 -1 1077944384 33815 0 0 0 1100 38 0 0 20 0 28 0 476761607 29456678912 388158 33554432000 4194304 4196468 140720690022144 140125082159504 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 4 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15403] ppid=15395 vsize=28766288 memory=7893295687695689787 CPUtime=11.42 cores=0-7
/proc/15397/task/15403/stat : 15403 (java) S 15395 15395 15351 0 -1 1077944384 31006 0 0 0 1105 37 0 0 20 0 28 0 476761607 29456678912 388158 33554432000 4194304 4196468 140720690022144 140125081107472 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 4 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15404] ppid=15395 vsize=28766288 memory=1366412 CPUtime=11.29 cores=0-7
/proc/15397/task/15404/stat : 15404 (java) S 15395 15395 15351 0 -1 1077944384 33279 0 0 0 1092 37 0 0 20 0 28 0 476761607 29456678912 388158 33554432000 4194304 4196468 140720690022144 140125080054928 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 4 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15405] ppid=15395 vsize=28766288 memory=39424 CPUtime=11.41 cores=0-7
/proc/15397/task/15405/stat : 15405 (java) S 15395 15395 15351 0 -1 1077944384 31559 0 0 0 1103 38 0 0 20 0 28 0 476761607 29456678912 388158 33554432000 4194304 4196468 140720690022144 140125079001872 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 4 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15406] ppid=15395 vsize=28766288 memory=0 CPUtime=11.35 cores=0-7
/proc/15397/task/15406/stat : 15406 (java) S 15395 15395 15351 0 -1 1077944384 38268 0 0 0 1097 38 0 0 20 0 28 0 476761607 29456678912 388158 33554432000 4194304 4196468 140720690022144 140125077949328 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15407] ppid=15395 vsize=28766288 memory=0 CPUtime=8.92 cores=0-7
/proc/15397/task/15407/stat : 15407 (java) S 15395 15395 15351 0 -1 1077944384 120379 0 0 0 393 499 0 0 20 0 28 0 476761608 29456678912 388158 33554432000 4194304 4196468 140720690022144 140124517099760 140125132708482 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15408] ppid=15395 vsize=28766288 memory=1448 CPUtime=0 cores=0-7
/proc/15397/task/15408/stat : 15408 (java) S 15395 15395 15351 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 476761609 29456678912 388158 33554432000 4194304 4196468 140720690022144 140124448875744 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15409] ppid=15395 vsize=28766288 memory=1283152 CPUtime=0 cores=0-7
/proc/15397/task/15409/stat : 15409 (java) S 15395 15395 15351 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 476761609 29456678912 388158 33554432000 4194304 4196468 140720690022144 140124447822592 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15410] ppid=15395 vsize=28766288 memory=1448 CPUtime=0 cores=0-7
/proc/15397/task/15410/stat : 15410 (java) S 15395 15395 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476761611 29456678912 388158 33554432000 4194304 4196468 140720690022144 140124446771152 140125132715931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15411] ppid=15395 vsize=28766288 memory=1448 CPUtime=2 cores=0-7
/proc/15397/task/15411/stat : 15411 (java) S 15395 15395 15351 0 -1 1077944384 6682 0 0 0 198 2 0 0 20 0 28 0 476761611 29456678912 388158 33554432000 4194304 4196468 140720690022144 140124445719280 140125132708482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15412] ppid=15395 vsize=28766288 memory=1370680 CPUtime=1.91 cores=0-7
/proc/15397/task/15412/stat : 15412 (java) S 15395 15395 15351 0 -1 1077944384 8457 0 0 0 190 1 0 0 20 0 28 0 476761611 29456678912 388158 33554432000 4194304 4196468 140720690022144 140124444666736 140125132708482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15413] ppid=15395 vsize=28766288 memory=3620 CPUtime=1.71 cores=0-7
/proc/15397/task/15413/stat : 15413 (java) S 15395 15395 15351 0 -1 1077944384 4260 0 0 0 169 2 0 0 20 0 28 0 476761611 29456678912 388158 33554432000 4194304 4196468 140720690022144 140124443613680 140125132708482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15414] ppid=15395 vsize=28766288 memory=6791534058613427641 CPUtime=0.73 cores=0-7
/proc/15397/task/15414/stat : 15414 (java) S 15395 15395 15351 0 -1 1077944384 5414 0 0 0 72 1 0 0 20 0 28 0 476761611 29456678912 388158 33554432000 4194304 4196468 140720690022144 140124442561136 140125132708482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15415] ppid=15395 vsize=28766288 memory=111632 CPUtime=0 cores=0-7
/proc/15397/task/15415/stat : 15415 (java) S 15395 15395 15351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476761612 29456678912 388158 33554432000 4194304 4196468 140720690022144 140124441508320 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15416] ppid=15395 vsize=28766288 memory=804 CPUtime=0.85 cores=0-7
/proc/15397/task/15416/stat : 15416 (java) S 15395 15395 15351 0 -1 1077944384 5228 0 0 0 85 0 0 0 20 0 28 0 476761612 29456678912 388158 33554432000 4194304 4196468 140720690022144 140124440455856 140125132708482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15417] ppid=15395 vsize=28766288 memory=1448 CPUtime=2474.6 cores=0-7
/proc/15397/task/15417/stat : 15417 (java) R 15395 15395 15351 0 -1 4202560 20866 0 0 0 247444 16 0 0 20 0 28 0 476761769 29456678912 388158 33554432000 4194304 4196468 140720690022144 140124431473320 140124741711381 0 4 0 16800975 0 0 0 -1 7 0 0 16 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15418] ppid=15395 vsize=28766288 memory=1448 CPUtime=2471.01 cores=0-7
/proc/15397/task/15418/stat : 15418 (java) R 15395 15395 15351 0 -1 4202560 22765 0 0 0 247086 15 0 0 20 0 28 0 476761773 29456678912 388158 33554432000 4194304 4196468 140720690022144 140124430422312 140124741604905 0 4 0 16800975 0 0 0 -1 5 0 0 11 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15419] ppid=15395 vsize=28766288 memory=1283152 CPUtime=2474.64 cores=0-7
/proc/15397/task/15419/stat : 15419 (java) R 15395 15395 15351 0 -1 4202560 32985 0 0 0 247419 45 0 0 20 0 28 0 476761773 29456678912 388158 33554432000 4194304 4196468 140720690022144 140124429370280 140124742521062 0 4 0 16800975 0 0 0 -1 6 0 0 18 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15420] ppid=15395 vsize=28766288 memory=1448 CPUtime=2477.75 cores=0-7
/proc/15397/task/15420/stat : 15420 (java) R 15395 15395 15351 0 -1 4202560 71576 0 0 0 247686 89 0 0 20 0 28 0 476761773 29456678912 388158 33554432000 4194304 4196468 140720690022144 140124428317320 140124743097787 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15421] ppid=15395 vsize=28766288 memory=3620 CPUtime=2463.92 cores=0-7
/proc/15397/task/15421/stat : 15421 (java) R 15395 15395 15351 0 -1 4202560 77070 0 0 0 246312 80 0 0 20 0 28 0 476761773 29456678912 388158 33554432000 4194304 4196468 140720690022144 140124427267056 140124741298368 0 4 0 16800975 0 0 0 -1 2 0 0 19 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15422] ppid=15395 vsize=28766288 memory=1448 CPUtime=2473.05 cores=0-7
/proc/15397/task/15422/stat : 15422 (java) R 15395 15395 15351 0 -1 4202560 18875 0 0 0 247291 14 0 0 20 0 28 0 476761773 29456678912 388158 33554432000 4194304 4196468 140720690022144 140124426211800 140124741491230 0 4 0 16800975 0 0 0 -1 3 0 0 12 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15423] ppid=15395 vsize=28766288 memory=1456376 CPUtime=2471.07 cores=0-7
/proc/15397/task/15423/stat : 15423 (java) R 15395 15395 15351 0 -1 4202560 136583 0 0 0 246947 160 0 0 20 0 28 0 476761773 29456678912 388158 33554432000 4194304 4196468 140720690022144 140124425158432 140124743098127 0 4 0 16800975 0 0 0 -1 1 0 0 13 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15424] ppid=15395 vsize=28766288 memory=1364364 CPUtime=2469.52 cores=0-7
/proc/15397/task/15424/stat : 15424 (java) R 15395 15395 15351 0 -1 4202560 98773 0 0 0 246842 110 0 0 20 0 28 0 476761773 29456678912 388158 33554432000 4194304 4196468 140720690022144 140124424106216 140124741711206 0 4 0 16800975 0 0 0 -1 4 0 0 18 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
Current children cumulated CPU time: 19884.4 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 1554080 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 8.02 8.20 8.27 9/220 15632
/proc/meminfo: memFree=23835140/32770624 swapFree=66989088/67108860
[pid=15395] ppid=15392 vsize=113128 memory=1448 CPUtime=0 cores=0-7
/proc/15395/stat : 15395 (xcsp3-exec) S 15392 15395 15351 0 -1 4202496 546 0 0 0 0 0 0 0 20 0 1 0 476761605 115843072 362 33554432000 4194304 5098028 140734176981536 140734176979640 139768781701756 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 28016640 140734176990033 140734176990293 140734176990293 140734176993222 0
/proc/15395/statm: 28282 362 304 221 0 87 0
[pid=15397] ppid=15395 vsize=28766288 memory=1579448 CPUtime=20025 cores=0-7
/proc/15397/stat : 15397 (java) S 15395 15395 15351 0 -1 1077944320 924601 0 0 0 2001132 1370 0 0 20 0 28 0 476761606 29456678912 394862 33554432000 4194304 4196468 140720690022144 140720690004688 140125132697335 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
/proc/15397/statm: 7191572 394862 3538 1 0 7152672 0
[pid=15397/tid=15398] ppid=15395 vsize=28766288 memory=1398722017469774279 CPUtime=1.57 cores=0-7
/proc/15397/task/15398/stat : 15398 (java) S 15395 15395 15351 0 -1 1077944384 9298 0 0 0 149 8 0 0 20 0 28 0 476761606 29456678912 394862 33554432000 4194304 4196468 140720690022144 140125136938112 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15399] ppid=15395 vsize=28766288 memory=-7003737579269690708 CPUtime=11.47 cores=0-7
/proc/15397/task/15399/stat : 15399 (java) S 15395 15395 15351 0 -1 1077944384 24784 0 0 0 1107 40 0 0 20 0 28 0 476761607 29456678912 394862 33554432000 4194304 4196468 140720690022144 140125085317648 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15400] ppid=15395 vsize=28766288 memory=14004 CPUtime=11.36 cores=0-7
/proc/15397/task/15400/stat : 15400 (java) S 15395 15395 15351 0 -1 1077944384 28595 0 0 0 1099 37 0 0 20 0 28 0 476761607 29456678912 394862 33554432000 4194304 4196468 140720690022144 140125084265104 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 3 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15401] ppid=15395 vsize=28766288 memory=2120 CPUtime=11.43 cores=0-7
/proc/15397/task/15401/stat : 15401 (java) S 15395 15395 15351 0 -1 1077944384 31091 0 0 0 1099 44 0 0 20 0 28 0 476761607 29456678912 394862 33554432000 4194304 4196468 140720690022144 140125083212048 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 3 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15402] ppid=15395 vsize=28766288 memory=12028 CPUtime=11.44 cores=0-7
/proc/15397/task/15402/stat : 15402 (java) S 15395 15395 15351 0 -1 1077944384 34406 0 0 0 1106 38 0 0 20 0 28 0 476761607 29456678912 394862 33554432000 4194304 4196468 140720690022144 140125082159504 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15403] ppid=15395 vsize=28766288 memory=15908 CPUtime=11.48 cores=0-7
/proc/15397/task/15403/stat : 15403 (java) S 15395 15395 15351 0 -1 1077944384 31597 0 0 0 1110 38 0 0 20 0 28 0 476761607 29456678912 394862 33554432000 4194304 4196468 140720690022144 140125081107472 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15404] ppid=15395 vsize=28766288 memory=111632 CPUtime=11.36 cores=0-7
/proc/15397/task/15404/stat : 15404 (java) S 15395 15395 15351 0 -1 1077944384 33699 0 0 0 1098 38 0 0 20 0 28 0 476761607 29456678912 394862 33554432000 4194304 4196468 140720690022144 140125080054928 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15405] ppid=15395 vsize=28766288 memory=804 CPUtime=11.48 cores=0-7
/proc/15397/task/15405/stat : 15405 (java) S 15395 15395 15351 0 -1 1077944384 32713 0 0 0 1109 39 0 0 20 0 28 0 476761607 29456678912 394862 33554432000 4194304 4196468 140720690022144 140125079001872 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 4 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15406] ppid=15395 vsize=28766288 memory=1808 CPUtime=11.41 cores=0-7
/proc/15397/task/15406/stat : 15406 (java) S 15395 15395 15351 0 -1 1077944384 38946 0 0 0 1103 38 0 0 20 0 28 0 476761607 29456678912 394862 33554432000 4194304 4196468 140720690022144 140125077949328 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 3 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15407] ppid=15395 vsize=28766288 memory=924 CPUtime=9.01 cores=0-7
/proc/15397/task/15407/stat : 15407 (java) S 15395 15395 15351 0 -1 1077944384 121343 0 0 0 396 505 0 0 20 0 28 0 476761608 29456678912 394862 33554432000 4194304 4196468 140720690022144 140124517099760 140125132708482 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15408] ppid=15395 vsize=28766288 memory=3908 CPUtime=0 cores=0-7
/proc/15397/task/15408/stat : 15408 (java) S 15395 15395 15351 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 28 0 476761609 29456678912 394862 33554432000 4194304 4196468 140720690022144 140124448875744 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15409] ppid=15395 vsize=28766288 memory=1412 CPUtime=0 cores=0-7
/proc/15397/task/15409/stat : 15409 (java) S 15395 15395 15351 0 -1 1077944384 26 0 0 0 0 0 0 0 20 0 28 0 476761609 29456678912 394862 33554432000 4194304 4196468 140720690022144 140124447822592 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15410] ppid=15395 vsize=28766288 memory=3820 CPUtime=0 cores=0-7
/proc/15397/task/15410/stat : 15410 (java) S 15395 15395 15351 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 476761611 29456678912 394862 33554432000 4194304 4196468 140720690022144 140124446771152 140125132715931 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15411] ppid=15395 vsize=28766288 memory=1448 CPUtime=2 cores=0-7
/proc/15397/task/15411/stat : 15411 (java) S 15395 15395 15351 0 -1 1077944384 6688 0 0 0 198 2 0 0 20 0 28 0 476761611 29456678912 394862 33554432000 4194304 4196468 140720690022144 140124445719280 140125132708482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15412] ppid=15395 vsize=28766288 memory=1577920 CPUtime=1.91 cores=0-7
/proc/15397/task/15412/stat : 15412 (java) S 15395 15395 15351 0 -1 1077944384 8463 0 0 0 190 1 0 0 20 0 28 0 476761611 29456678912 394862 33554432000 4194304 4196468 140720690022144 140124444666736 140125132708482 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15413] ppid=15395 vsize=28766288 memory=4100 CPUtime=1.71 cores=0-7
/proc/15397/task/15413/stat : 15413 (java) S 15395 15395 15351 0 -1 1077944384 4266 0 0 0 169 2 0 0 20 0 28 0 476761611 29456678912 394862 33554432000 4194304 4196468 140720690022144 140124443613680 140125132708482 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15414] ppid=15395 vsize=28766288 memory=1720 CPUtime=0.73 cores=0-7
/proc/15397/task/15414/stat : 15414 (java) S 15395 15395 15351 0 -1 1077944384 5420 0 0 0 72 1 0 0 20 0 28 0 476761611 29456678912 394862 33554432000 4194304 4196468 140720690022144 140124442561136 140125132708482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15415] ppid=15395 vsize=28766288 memory=2120 CPUtime=0 cores=0-7
/proc/15397/task/15415/stat : 15415 (java) S 15395 15395 15351 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 476761612 29456678912 394862 33554432000 4194304 4196468 140720690022144 140124441508320 140125132707541 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15416] ppid=15395 vsize=28766288 memory=1448 CPUtime=0.86 cores=0-7
/proc/15397/task/15416/stat : 15416 (java) S 15395 15395 15351 0 -1 1077944384 5311 0 0 0 86 0 0 0 20 0 28 0 476761612 29456678912 394862 33554432000 4194304 4196468 140720690022144 140124440455856 140125132708482 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15417] ppid=15395 vsize=28766288 memory=1579448 CPUtime=2491.98 cores=0-7
/proc/15397/task/15417/stat : 15417 (java) R 15395 15395 15351 0 -1 4202560 21346 0 0 0 249182 16 0 0 20 0 28 0 476761769 29456678912 394862 33554432000 4194304 4196468 140720690022144 140124431473608 140125117036124 0 4 0 16800975 0 0 0 -1 5 0 0 16 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15418] ppid=15395 vsize=28766288 memory=14004 CPUtime=2488.36 cores=0-7
/proc/15397/task/15418/stat : 15418 (java) R 15395 15395 15351 0 -1 4202560 23240 0 0 0 248820 16 0 0 20 0 28 0 476761773 29456678912 394862 33554432000 4194304 4196468 140720690022144 140124430422312 140124741711737 0 4 0 16800975 0 0 0 -1 7 0 0 12 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15419] ppid=15395 vsize=28766288 memory=2120 CPUtime=2492.18 cores=0-7
/proc/15397/task/15419/stat : 15419 (java) R 15395 15395 15351 0 -1 4202560 33696 0 0 0 249173 45 0 0 20 0 28 0 476761773 29456678912 394862 33554432000 4194304 4196468 140720690022144 140124429370280 140124741604905 0 4 0 16800975 0 0 0 -1 4 0 0 19 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15420] ppid=15395 vsize=28766288 memory=12028 CPUtime=2495.32 cores=0-7
/proc/15397/task/15420/stat : 15420 (java) R 15395 15395 15351 0 -1 4202560 74838 0 0 0 249441 91 0 0 20 0 28 0 476761773 29456678912 394862 33554432000 4194304 4196468 140720690022144 140124428317256 140124741605424 0 4 0 16800975 0 0 0 -1 0 0 0 8 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15421] ppid=15395 vsize=28766288 memory=15908 CPUtime=2481.46 cores=0-7
/proc/15397/task/15421/stat : 15421 (java) R 15395 15395 15351 0 -1 4202560 82584 0 0 0 248063 83 0 0 20 0 28 0 476761773 29456678912 394862 33554432000 4194304 4196468 140720690022144 140124427264048 140124741298128 0 4 0 16800975 0 0 0 -1 6 0 0 20 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15422] ppid=15395 vsize=28766288 memory=512 CPUtime=2490.59 cores=0-7
/proc/15397/task/15422/stat : 15422 (java) R 15395 15395 15351 0 -1 4202560 19221 0 0 0 249045 14 0 0 20 0 28 0 476761773 29456678912 394862 33554432000 4194304 4196468 140720690022144 140124426212152 140124741461449 0 4 0 16800975 0 0 0 -1 2 0 0 13 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15423] ppid=15395 vsize=28766288 memory=1564 CPUtime=2488.64 cores=0-7
/proc/15397/task/15423/stat : 15423 (java) R 15395 15395 15351 0 -1 4202560 145179 0 0 0 248696 168 0 0 20 0 28 0 476761773 29456678912 394862 33554432000 4194304 4196468 140720690022144 140124425158760 140124741297982 0 4 0 16800975 0 0 0 -1 3 0 0 14 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
[pid=15397/tid=15424] ppid=15395 vsize=28766288 memory=928 CPUtime=2487.06 cores=0-7
/proc/15397/task/15424/stat : 15424 (java) R 15395 15395 15351 0 -1 4202560 106576 0 0 0 248592 114 0 0 20 0 28 0 476761773 29456678912 394862 33554432000 4194304 4196468 140720690022144 140124424108928 140124742388084 0 4 0 16800975 0 0 0 -1 1 0 0 18 0 0 6293624 6294260 7774208 140720690025430 140720690025606 140720690025606 140720690028495 0
Current children cumulated CPU time: 20025 s
Current children cumulated vsize: 28879416 KiB
Current children cumulated memory: 1580896 KiB

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

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

[startup+2520.09 s]
# the end of solver process 15397 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=20011.9 s, system=13.7206 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.09
CPU time (s): 20025.6
CPU user time (s): 20011.9
CPU system time (s): 13.7206
CPU usage (%): 794.637
Max. virtual memory (cumulated for all children) (KiB): 28879416
Max. memory (cumulated for all children) (KiB): 3471900

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20011.9
system time used= 13.7206
maximum resident set size= 3480252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 925492
page faults= 0
swaps= 0
block input operations= 0
block output operations= 3632
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 124519
involuntary context switches= 239284


# summary of solver processes directly reported to runsolver:
#   pid: 15395,15397
#   total CPU time (s): 20025.6
#   total CPU user time (s): 20011.9
#   total CPU system time (s): 13.7206

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 25.0807 second user time and 25.6715 second system time

The end

Launcher Data 

Begin job on node121 at 2019-09-20 20:42:27
IDJOB=4404422
IDBENCH=134822
IDSOLVER=2865
FILE ID=node121/4404422-1569004990
RUNJOBID= node121-1569004947-15378
PBS_JOBID= 21704746
Free space on /var/tmp= 13512 MiB

SOLVER NAME= choco-solver 2019-09-20 parallel
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-spba/Pb-BeauxArts-K67.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 /var/tmp/evaluation-result-4404422-1569004990/watcher-4404422-1569004990 -o /var/tmp/evaluation-result-4404422-1569004990/solver-4404422-1569004990 -C 20160 -W 2520 -M 31000 --bin-var /var/tmp/runsolver-exch-node121-1569004947-15378 --watchdog 2580  xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 24000 -tdir HOME -seed 1569976328 HOME/instance-4404422-1569004990.xml

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

MD5SUM BENCH= 4516aa109e121890953f360029c48088
RANDOM SEED=1569976328

node121.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.75
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.75
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.75
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.75
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:        25406856 kB
MemAvailable:   31857676 kB
Buffers:           92736 kB
Cached:          6454520 kB
SwapCached:         5528 kB
Active:          3231676 kB
Inactive:        3321412 kB
Active(anon):       3188 kB
Inactive(anon):    41380 kB
Active(file):    3228488 kB
Inactive(file):  3280032 kB
Unevictable:      111168 kB
Mlocked:          111168 kB
SwapTotal:      67108860 kB
SwapFree:       66989036 kB
Dirty:             26036 kB
Writeback:             0 kB
AnonPages:        112932 kB
Mapped:            46684 kB
Shmem:             29604 kB
Slab:             399984 kB
SReclaimable:     370760 kB
SUnreclaim:        29224 kB
KernelStack:        3392 kB
PageTables:         5028 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     506096 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:      122240 kB
DirectMap2M:    33423360 kB

Free space on /var/tmp at the end= 13484 MiB
End job on node121 at 2019-09-20 21:24:28