Trace number 4281288

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)? (TO) 313.10901 252.07201

General information on the benchmark

NameBinPacking/
BinPacking-tab-fu/BinPacking-tab-fu0500-12.xml
MD5SUMc3cbaa9ce8e56a4446daa69c64b890b7
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark72
Best CPU time to get the best result obtained on this benchmark252.06599
Satisfiable
(Un)Satisfiability was proved
Number of variables1919
Number of constraints277
Number of domains2
Minimum domain size82
Maximum domain size275
Distribution of domain sizes[{"size":82,"count":1918},{"size":275,"count":1}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":1644},{"degree":4,"count":274}]
Minimum constraint arity7
Maximum constraint arity1918
Distribution of constraint arities[{"arity":7,"count":274},{"arity":275,"count":1},{"arity":1918,"count":2}]
Number of extensional constraints274
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":274},{"type":"lex","count":1},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281288-1503187826.xml"  -tl '2016s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4281288-1503187826.xml, -tl, 2016s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.33/0.27	c parse instance...
313.03/252.01	s UNKNOWN
313.03/252.01	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 (13277 MiB free)
  memory of node 1: 16384 MiB (13274 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281288-1503187826/watcher-4281288-1503187826 -o /tmp/evaluation-result-4281288-1503187826/solver-4281288-1503187826 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503181653-1704 --watchdog 312 ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 960537973 HOME/instance-4281288-1503187826.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2016 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2046 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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=5592, runsolver pid=5589

[startup+0.10021 s]*
/proc/loadavg: 7.61 7.29 7.32 2/199 5613
/proc/meminfo: memFree=27174512/32770624 swapFree=67108860/67108860
[pid=5592] ppid=5589 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5592/stat : 5592 (xcsp3-exec) S 5589 5592 1674 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151870069 9740288 346 33554432000 4194304 5098028 140726316532448 140726316530552 140126544102012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33931264 140726316541035 140726316541244 140726316541244 140726316543979 0
/proc/5592/statm: 2378 346 289 221 0 87 0
[pid=5594] ppid=5592 vsize=25999808 memory=26924 CPUtime=0.11 cores=0-7
/proc/5594/stat : 5594 (java) S 5592 5592 1674 0 -1 1077944320 5598 0 0 0 10 1 0 0 20 0 20 0 151870069 26623803392 6731 33554432000 4194304 4196468 140722905675216 140722905657760 139904672997111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
/proc/5594/statm: 6499952 6731 2866 1 0 6488269 0
[pid=5594/tid=5595] ppid=5592 vsize=25999808 memory=4134692831991783777 CPUtime=0.09 cores=0-7
/proc/5594/task/5595/stat : 5595 (java) R 5592 5592 1674 0 -1 4202560 3609 0 0 0 8 1 0 0 20 0 20 0 151870070 26623803392 6731 33554432000 4194304 4196468 140722905675216 139904677230384 139904657040741 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5596] ppid=5592 vsize=25999808 memory=4126316290023845779 CPUtime=0 cores=0-7
/proc/5594/task/5596/stat : 5596 (java) S 5592 5592 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151870070 26623803392 6731 33554432000 4194304 4196468 140722905675216 139904625617808 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5597] ppid=5592 vsize=25999808 memory=140627125888640 CPUtime=0 cores=0-7
/proc/5594/task/5597/stat : 5597 (java) S 5592 5592 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151870070 26623803392 6731 33554432000 4194304 4196468 140722905675216 139904624565008 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5598] ppid=5592 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5594/task/5598/stat : 5598 (java) S 5592 5592 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151870070 26623803392 6731 33554432000 4194304 4196468 140722905675216 139904623512720 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5599] ppid=5592 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5594/task/5599/stat : 5599 (java) S 5592 5592 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151870070 26623803392 6731 33554432000 4194304 4196468 140722905675216 139904622459920 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5600] ppid=5592 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5594/task/5600/stat : 5600 (java) S 5592 5592 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151870070 26623803392 6731 33554432000 4194304 4196468 140722905675216 139904621406608 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5601] ppid=5592 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/5594/task/5601/stat : 5601 (java) S 5592 5592 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151870070 26623803392 6731 33554432000 4194304 4196468 140722905675216 139904620353808 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5602] ppid=5592 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5594/task/5602/stat : 5602 (java) S 5592 5592 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151870070 26623803392 6731 33554432000 4194304 4196468 140722905675216 139904619301520 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5603] ppid=5592 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5594/task/5603/stat : 5603 (java) S 5592 5592 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151870070 26623803392 6731 33554432000 4194304 4196468 140722905675216 139904618248720 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5604] ppid=5592 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5594/task/5604/stat : 5604 (java) S 5592 5592 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151870072 26623803392 6731 33554432000 4194304 4196468 140722905675216 139903280114288 139904673008258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5605] ppid=5592 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5594/task/5605/stat : 5605 (java) S 5592 5592 1674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151870072 26623803392 6731 33554432000 4194304 4196468 140722905675216 139903279060256 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5606] ppid=5592 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5594/task/5606/stat : 5606 (java) S 5592 5592 1674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151870072 26623803392 6731 33554432000 4194304 4196468 140722905675216 139903278007920 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5607] ppid=5592 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5594/task/5607/stat : 5607 (java) S 5592 5592 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151870075 26623803392 6731 33554432000 4194304 4196468 140722905675216 139903276956240 139904673015707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5608] ppid=5592 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5594/task/5608/stat : 5608 (java) S 5592 5592 1674 0 -1 1077944384 427 0 0 0 0 0 0 0 20 0 20 0 151870075 26623803392 6731 33554432000 4194304 4196468 140722905675216 139903275903088 139904673008258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5609] ppid=5592 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5594/task/5609/stat : 5609 (java) S 5592 5592 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151870075 26623803392 6731 33554432000 4194304 4196468 140722905675216 139903274850288 139904673008258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5610] ppid=5592 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5594/task/5610/stat : 5610 (java) S 5592 5592 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151870075 26623803392 6731 33554432000 4194304 4196468 140722905675216 139903273798000 139904673008258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5611] ppid=5592 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/5594/task/5611/stat : 5611 (java) S 5592 5592 1674 0 -1 1077944384 252 0 0 0 1 0 0 0 20 0 20 0 151870075 26623803392 6731 33554432000 4194304 4196468 140722905675216 139903272745200 139904673008258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5612] ppid=5592 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/5594/task/5612/stat : 5612 (java) S 5592 5592 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151870075 26623803392 6731 33554432000 4194304 4196468 140722905675216 139903271693152 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5613] ppid=5592 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/5594/task/5613/stat : 5613 (java) S 5592 5592 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151870075 26623803392 6731 33554432000 4194304 4196468 140722905675216 139903270640432 139904673008258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 28308 KiB

[startup+0.21025 s]*
/proc/loadavg: 7.61 7.29 7.32 3/199 5613
/proc/meminfo: memFree=27163968/32770624 swapFree=67108860/67108860
[pid=5592] ppid=5589 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5592/stat : 5592 (xcsp3-exec) S 5589 5592 1674 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151870069 9740288 346 33554432000 4194304 5098028 140726316532448 140726316530552 140126544102012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33931264 140726316541035 140726316541244 140726316541244 140726316543979 0
/proc/5592/statm: 2378 346 289 221 0 87 0
[pid=5594] ppid=5592 vsize=26004064 memory=38684 CPUtime=0.33 cores=0-7
/proc/5594/stat : 5594 (java) S 5592 5592 1674 0 -1 1077944320 8313 0 0 0 30 3 0 0 20 0 20 0 151870069 26628161536 9671 33554432000 4194304 4196468 140722905675216 140722905657760 139904672997111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
/proc/5594/statm: 6501016 9671 3014 1 0 6488269 0
[pid=5594/tid=5595] ppid=5592 vsize=26004064 memory=8318255677412212789 CPUtime=0.2 cores=0-7
/proc/5594/task/5595/stat : 5595 (java) R 5592 5592 1674 0 -1 4202560 5421 0 0 0 18 2 0 0 20 0 20 0 151870070 26628161536 9671 33554432000 4194304 4196468 140722905675216 139904677218104 139904657077598 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5596] ppid=5592 vsize=26004064 memory=329 CPUtime=0 cores=0-7
/proc/5594/task/5596/stat : 5596 (java) S 5592 5592 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151870070 26628161536 9671 33554432000 4194304 4196468 140722905675216 139904625617808 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5597] ppid=5592 vsize=26004064 memory=140627125894491 CPUtime=0 cores=0-7
/proc/5594/task/5597/stat : 5597 (java) S 5592 5592 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151870070 26628161536 9671 33554432000 4194304 4196468 140722905675216 139904624565008 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5598] ppid=5592 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5594/task/5598/stat : 5598 (java) S 5592 5592 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151870070 26628161536 9671 33554432000 4194304 4196468 140722905675216 139904623512720 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5599] ppid=5592 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5594/task/5599/stat : 5599 (java) S 5592 5592 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151870070 26628161536 9671 33554432000 4194304 4196468 140722905675216 139904622459920 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5600] ppid=5592 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5594/task/5600/stat : 5600 (java) S 5592 5592 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151870070 26628161536 9671 33554432000 4194304 4196468 140722905675216 139904621406608 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5601] ppid=5592 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5594/task/5601/stat : 5601 (java) S 5592 5592 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151870070 26628161536 9671 33554432000 4194304 4196468 140722905675216 139904620353808 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5602] ppid=5592 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5594/task/5602/stat : 5602 (java) S 5592 5592 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151870070 26628161536 9671 33554432000 4194304 4196468 140722905675216 139904619301520 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5603] ppid=5592 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5594/task/5603/stat : 5603 (java) S 5592 5592 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151870070 26628161536 9671 33554432000 4194304 4196468 140722905675216 139904618248720 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5604] ppid=5592 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5594/task/5604/stat : 5604 (java) S 5592 5592 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151870072 26628161536 9671 33554432000 4194304 4196468 140722905675216 139903280114288 139904673008258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5605] ppid=5592 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5594/task/5605/stat : 5605 (java) S 5592 5592 1674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151870072 26628161536 9671 33554432000 4194304 4196468 140722905675216 139903279060256 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5606] ppid=5592 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5594/task/5606/stat : 5606 (java) S 5592 5592 1674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151870072 26628161536 9671 33554432000 4194304 4196468 140722905675216 139903278007920 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5607] ppid=5592 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5594/task/5607/stat : 5607 (java) S 5592 5592 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151870075 26628161536 9671 33554432000 4194304 4196468 140722905675216 139903276956240 139904673015707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5608] ppid=5592 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/5594/task/5608/stat : 5608 (java) S 5592 5592 1674 0 -1 1077944384 522 0 0 0 1 0 0 0 20 0 20 0 151870075 26628161536 9671 33554432000 4194304 4196468 140722905675216 139903275903088 139904673008258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5609] ppid=5592 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/5594/task/5609/stat : 5609 (java) S 5592 5592 1674 0 -1 1077944384 316 0 0 0 2 0 0 0 20 0 20 0 151870075 26628161536 9671 33554432000 4194304 4196468 140722905675216 139903274850288 139904673008258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5610] ppid=5592 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5594/task/5610/stat : 5610 (java) S 5592 5592 1674 0 -1 1077944384 48 0 0 0 0 0 0 0 20 0 20 0 151870075 26628161536 9671 33554432000 4194304 4196468 140722905675216 139903273798000 139904673008258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5611] ppid=5592 vsize=26004064 memory=-1 CPUtime=0.07 cores=0-7
/proc/5594/task/5611/stat : 5611 (java) R 5592 5592 1674 0 -1 4202560 704 0 0 0 7 0 0 0 20 0 20 0 151870075 26628161536 9671 33554432000 4194304 4196468 140722905675216 139903272745200 139904657077598 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5612] ppid=5592 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5594/task/5612/stat : 5612 (java) S 5592 5592 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151870075 26628161536 9671 33554432000 4194304 4196468 140722905675216 139903271693152 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5613] ppid=5592 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5594/task/5613/stat : 5613 (java) S 5592 5592 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151870075 26628161536 9671 33554432000 4194304 4196468 140722905675216 139903270640432 139904673008258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40068 KiB

[startup+0.31027 s]*
/proc/loadavg: 7.61 7.29 7.32 2/199 5613
/proc/meminfo: memFree=27157020/32770624 swapFree=67108860/67108860
[pid=5592] ppid=5589 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5592/stat : 5592 (xcsp3-exec) S 5589 5592 1674 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151870069 9740288 346 33554432000 4194304 5098028 140726316532448 140726316530552 140126544102012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33931264 140726316541035 140726316541244 140726316541244 140726316543979 0
/proc/5592/statm: 2378 346 289 221 0 87 0
[pid=5594] ppid=5592 vsize=26004064 memory=45636 CPUtime=0.5 cores=0-7
/proc/5594/stat : 5594 (java) S 5592 5592 1674 0 -1 1077944320 9196 0 0 0 47 3 0 0 20 0 20 0 151870069 26628161536 11409 33554432000 4194304 4196468 140722905675216 140722905657760 139904672997111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
/proc/5594/statm: 6501016 11409 3041 1 0 6488269 0
[pid=5594/tid=5595] ppid=5592 vsize=26004064 memory=8112282956445269571 CPUtime=0.29 cores=0-7
/proc/5594/task/5595/stat : 5595 (java) R 5592 5592 1674 0 -1 4202560 6088 0 0 0 27 2 0 0 20 0 20 0 151870070 26628161536 11409 33554432000 4194304 4196468 140722905675216 139904677234496 139904283599413 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5596] ppid=5592 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5594/task/5596/stat : 5596 (java) S 5592 5592 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151870070 26628161536 11409 33554432000 4194304 4196468 140722905675216 139904625617808 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5597] ppid=5592 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5594/task/5597/stat : 5597 (java) S 5592 5592 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151870070 26628161536 11409 33554432000 4194304 4196468 140722905675216 139904624565008 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5598] ppid=5592 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5594/task/5598/stat : 5598 (java) S 5592 5592 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151870070 26628161536 11409 33554432000 4194304 4196468 140722905675216 139904623512720 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5599] ppid=5592 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5594/task/5599/stat : 5599 (java) S 5592 5592 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151870070 26628161536 11409 33554432000 4194304 4196468 140722905675216 139904622459920 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5600] ppid=5592 vsize=26004064 memory=2244 CPUtime=0 cores=0-7
/proc/5594/task/5600/stat : 5600 (java) S 5592 5592 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151870070 26628161536 11409 33554432000 4194304 4196468 140722905675216 139904621406608 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5601] ppid=5592 vsize=26004064 memory=140627027260335 CPUtime=0 cores=0-7
/proc/5594/task/5601/stat : 5601 (java) S 5592 5592 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151870070 26628161536 11409 33554432000 4194304 4196468 140722905675216 139904620353808 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5602] ppid=5592 vsize=26004064 memory=140627027262640 CPUtime=0 cores=0-7
/proc/5594/task/5602/stat : 5602 (java) S 5592 5592 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151870070 26628161536 11409 33554432000 4194304 4196468 140722905675216 139904619301520 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5603] ppid=5592 vsize=26004064 memory=140627027264944 CPUtime=0 cores=0-7
/proc/5594/task/5603/stat : 5603 (java) S 5592 5592 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151870070 26628161536 11409 33554432000 4194304 4196468 140722905675216 139904618248720 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5604] ppid=5592 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5594/task/5604/stat : 5604 (java) S 5592 5592 1674 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 151870072 26628161536 11409 33554432000 4194304 4196468 140722905675216 139903280114288 139904673008258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5605] ppid=5592 vsize=26004064 memory=281254054536848 CPUtime=0 cores=0-7
/proc/5594/task/5605/stat : 5605 (java) S 5592 5592 1674 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 151870072 26628161536 11409 33554432000 4194304 4196468 140722905675216 139903279060256 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5606] ppid=5592 vsize=26004064 memory=281254054543760 CPUtime=0 cores=0-7
/proc/5594/task/5606/stat : 5606 (java) S 5592 5592 1674 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 151870072 26628161536 11409 33554432000 4194304 4196468 140722905675216 139903278007920 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5607] ppid=5592 vsize=26004064 memory=281254054485040 CPUtime=0 cores=0-7
/proc/5594/task/5607/stat : 5607 (java) S 5592 5592 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151870075 26628161536 11409 33554432000 4194304 4196468 140722905675216 139903276956240 139904673015707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5608] ppid=5592 vsize=26004064 memory=281254054557584 CPUtime=0.02 cores=0-7
/proc/5594/task/5608/stat : 5608 (java) R 5592 5592 1674 0 -1 4202560 528 0 0 0 2 0 0 0 20 0 20 0 151870075 26628161536 11409 33554432000 4194304 4196468 140722905675216 139903275903088 139904657242268 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5609] ppid=5592 vsize=26004064 memory=281254054564496 CPUtime=0.03 cores=0-7
/proc/5594/task/5609/stat : 5609 (java) R 5592 5592 1674 0 -1 4202560 317 0 0 0 3 0 0 0 20 0 20 0 151870075 26628161536 11409 33554432000 4194304 4196468 140722905675216 139903274850288 139904665982153 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5610] ppid=5592 vsize=26004064 memory=281254054562192 CPUtime=0.02 cores=0-7
/proc/5594/task/5610/stat : 5610 (java) S 5592 5592 1674 0 -1 1077944384 118 0 0 0 2 0 0 0 20 0 20 0 151870075 26628161536 11409 33554432000 4194304 4196468 140722905675216 139903273798000 139904673008258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5611] ppid=5592 vsize=26004064 memory=281254054578352 CPUtime=0.12 cores=0-7
/proc/5594/task/5611/stat : 5611 (java) S 5592 5592 1674 0 -1 1077944384 840 0 0 0 12 0 0 0 20 0 20 0 151870075 26628161536 11409 33554432000 4194304 4196468 140722905675216 139903272745200 139904673008258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5612] ppid=5592 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/5594/task/5612/stat : 5612 (java) S 5592 5592 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151870075 26628161536 11409 33554432000 4194304 4196468 140722905675216 139903271693152 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5613] ppid=5592 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/5594/task/5613/stat : 5613 (java) S 5592 5592 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151870075 26628161536 11409 33554432000 4194304 4196468 140722905675216 139903270640432 139904673008258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
Current children cumulated CPU time: 0.5 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47020 KiB

[startup+0.701003 s]
/proc/loadavg: 7.61 7.29 7.32 5/199 5613
/proc/meminfo: memFree=27099312/32770624 swapFree=67108860/67108860
[pid=5592] ppid=5589 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5592/stat : 5592 (xcsp3-exec) S 5589 5592 1674 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151870069 9740288 346 33554432000 4194304 5098028 140726316532448 140726316530552 140126544102012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33931264 140726316541035 140726316541244 140726316541244 140726316543979 0
/proc/5592/statm: 2378 346 289 221 0 87 0
[pid=5594] ppid=5592 vsize=26004140 memory=208176 CPUtime=1.58 cores=0-7
/proc/5594/stat : 5594 (java) S 5592 5592 1674 0 -1 1077944320 12981 0 0 0 150 8 0 0 20 0 20 0 151870069 26628239360 52044 33554432000 4194304 4196468 140722905675216 140722905657760 139904672997111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
/proc/5594/statm: 6501035 52044 3203 1 0 6488269 0
[pid=5594/tid=5595] ppid=5592 vsize=26004140 memory=281254054936240 CPUtime=0.66 cores=0-7
/proc/5594/task/5595/stat : 5595 (java) R 5592 5592 1674 0 -1 4202560 6456 0 0 0 62 4 0 0 20 0 20 0 151870070 26628239360 52044 33554432000 4194304 4196468 140722905675216 139904677235008 139904284659482 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5596] ppid=5592 vsize=26004140 memory=140627027469168 CPUtime=0 cores=0-7
/proc/5594/task/5596/stat : 5596 (java) S 5592 5592 1674 0 -1 1077944384 14 0 0 0 0 0 0 0 20 0 20 0 151870070 26628239360 52044 33554432000 4194304 4196468 140722905675216 139904625617808 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5597] ppid=5592 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/5594/task/5597/stat : 5597 (java) S 5592 5592 1674 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 20 0 151870070 26628239360 52044 33554432000 4194304 4196468 140722905675216 139904624565008 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5598] ppid=5592 vsize=26004140 memory=4612 CPUtime=0 cores=0-7
/proc/5594/task/5598/stat : 5598 (java) S 5592 5592 1674 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 20 0 151870070 26628239360 52044 33554432000 4194304 4196468 140722905675216 139904623512720 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0

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

[pid=5594/tid=5597] ppid=5592 vsize=26006188 memory=6820736 CPUtime=4.91 cores=0-7
/proc/5594/task/5597/stat : 5597 (java) S 5592 5592 1674 0 -1 1077944384 6133 0 0 0 310 181 0 0 20 0 20 0 151870070 26630336512 1705184 33554432000 4194304 4196468 140722905675216 139904624565008 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5598] ppid=5592 vsize=26006188 memory=1384 CPUtime=4.83 cores=0-7
/proc/5594/task/5598/stat : 5598 (java) S 5592 5592 1674 0 -1 1077944384 5672 0 0 0 306 177 0 0 20 0 20 0 151870070 26630336512 1705184 33554432000 4194304 4196468 140722905675216 139904623512720 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 29 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5599] ppid=5592 vsize=26006188 memory=0 CPUtime=4.96 cores=0-7
/proc/5594/task/5599/stat : 5599 (java) S 5592 5592 1674 0 -1 1077944384 7221 0 0 0 297 199 0 0 20 0 20 0 151870070 26630336512 1705184 33554432000 4194304 4196468 140722905675216 139904622459920 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5600] ppid=5592 vsize=26006188 memory=1384 CPUtime=4.96 cores=0-7
/proc/5594/task/5600/stat : 5600 (java) S 5592 5592 1674 0 -1 1077944384 5869 0 0 0 306 190 0 0 20 0 20 0 151870070 26630336512 1705184 33554432000 4194304 4196468 140722905675216 139904621406608 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 15 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5601] ppid=5592 vsize=26006188 memory=6297356 CPUtime=4.81 cores=0-7
/proc/5594/task/5601/stat : 5601 (java) S 5592 5592 1674 0 -1 1077944384 6063 0 0 0 307 174 0 0 20 0 20 0 151870070 26630336512 1705184 33554432000 4194304 4196468 140722905675216 139904620353808 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 30 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5602] ppid=5592 vsize=26006188 memory=1384 CPUtime=4.98 cores=0-7
/proc/5594/task/5602/stat : 5602 (java) S 5592 5592 1674 0 -1 1077944384 6500 0 0 0 321 177 0 0 20 0 20 0 151870070 26630336512 1705184 33554432000 4194304 4196468 140722905675216 139904619301520 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5603] ppid=5592 vsize=26006188 memory=1384 CPUtime=4.95 cores=0-7
/proc/5594/task/5603/stat : 5603 (java) S 5592 5592 1674 0 -1 1077944384 6812 0 0 0 311 184 0 0 20 0 20 0 151870070 26630336512 1705184 33554432000 4194304 4196468 140722905675216 139904618248720 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 16 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5604] ppid=5592 vsize=26006188 memory=4395640 CPUtime=2.3 cores=0-7
/proc/5594/task/5604/stat : 5604 (java) S 5592 5592 1674 0 -1 1077944384 17224 0 0 0 228 2 0 0 20 0 20 0 151870072 26630336512 1705184 33554432000 4194304 4196468 140722905675216 139903280114288 139904673008258 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5605] ppid=5592 vsize=26006188 memory=4100 CPUtime=0 cores=0-7
/proc/5594/task/5605/stat : 5605 (java) S 5592 5592 1674 0 -1 1077944384 43 0 0 0 0 0 0 0 20 0 20 0 151870072 26630336512 1705184 33554432000 4194304 4196468 140722905675216 139903279060320 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5606] ppid=5592 vsize=26006188 memory=1384 CPUtime=0 cores=0-7
/proc/5594/task/5606/stat : 5606 (java) S 5592 5592 1674 0 -1 1077944384 87 0 0 0 0 0 0 0 20 0 20 0 151870072 26630336512 1705184 33554432000 4194304 4196468 140722905675216 139903278007936 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5607] ppid=5592 vsize=26006188 memory=6820736 CPUtime=0 cores=0-7
/proc/5594/task/5607/stat : 5607 (java) S 5592 5592 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151870075 26630336512 1705184 33554432000 4194304 4196468 140722905675216 139903276956240 139904673015707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5608] ppid=5592 vsize=26006188 memory=1384 CPUtime=0.57 cores=0-7
/proc/5594/task/5608/stat : 5608 (java) S 5592 5592 1674 0 -1 1077944384 4961 0 0 0 56 1 0 0 20 0 20 0 151870075 26630336512 1705184 33554432000 4194304 4196468 140722905675216 139903275903088 139904673008258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5609] ppid=5592 vsize=26006188 memory=1384 CPUtime=0.44 cores=0-7
/proc/5594/task/5609/stat : 5609 (java) S 5592 5592 1674 0 -1 1077944384 3398 0 0 0 43 1 0 0 20 0 20 0 151870075 26630336512 1705184 33554432000 4194304 4196468 140722905675216 139903274850288 139904673008258 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5610] ppid=5592 vsize=26006188 memory=1004 CPUtime=0.53 cores=0-7
/proc/5594/task/5610/stat : 5610 (java) S 5592 5592 1674 0 -1 1077944384 3405 0 0 0 52 1 0 0 20 0 20 0 151870075 26630336512 1705184 33554432000 4194304 4196468 140722905675216 139903273798000 139904673008258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5611] ppid=5592 vsize=26006188 memory=1200 CPUtime=0.47 cores=0-7
/proc/5594/task/5611/stat : 5611 (java) S 5592 5592 1674 0 -1 1077944384 4356 0 0 0 46 1 0 0 20 0 20 0 151870075 26630336512 1705184 33554432000 4194304 4196468 140722905675216 139903272745200 139904673008258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5612] ppid=5592 vsize=26006188 memory=1384 CPUtime=0 cores=0-7
/proc/5594/task/5612/stat : 5612 (java) S 5592 5592 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151870075 26630336512 1705184 33554432000 4194304 4196468 140722905675216 139903271693152 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5613] ppid=5592 vsize=26006188 memory=6820736 CPUtime=0.07 cores=0-7
/proc/5594/task/5613/stat : 5613 (java) S 5592 5592 1674 0 -1 1077944384 287 0 0 0 4 3 0 0 20 0 20 0 151870075 26630336512 1705184 33554432000 4194304 4196468 140722905675216 139903270640432 139904673008258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
Current children cumulated CPU time: 198.73 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 6822120 KiB

[startup+222.301 s]
/proc/loadavg: 1.58 4.35 6.13 2/199 5614
/proc/meminfo: memFree=16726220/32770624 swapFree=67108860/67108860
[pid=5592] ppid=5589 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5592/stat : 5592 (xcsp3-exec) S 5589 5592 1674 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151870069 9740288 346 33554432000 4194304 5098028 140726316532448 140726316530552 140126544102012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33931264 140726316541035 140726316541244 140726316541244 140726316543979 0
/proc/5592/statm: 2378 346 289 221 0 87 0
[pid=5594] ppid=5592 vsize=26006188 memory=10458780 CPUtime=280.02 cores=0-7
/proc/5594/stat : 5594 (java) S 5592 5592 1674 0 -1 1077944320 144561 0 0 0 25850 2152 0 0 20 0 20 0 151870069 26630336512 2614695 33554432000 4194304 4196468 140722905675216 140722905657760 139904672997111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
/proc/5594/statm: 6501547 2614695 3259 1 0 6488781 0
[pid=5594/tid=5595] ppid=5592 vsize=26006188 memory=8931000 CPUtime=210.71 cores=0-7
/proc/5594/task/5595/stat : 5595 (java) R 5592 5592 1674 0 -1 4202560 15393 0 0 0 21053 18 0 0 20 0 20 0 151870070 26630336512 2614695 33554432000 4194304 4196468 140722905675216 139904677232016 139904285761188 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5596] ppid=5592 vsize=26006188 memory=1384 CPUtime=7.98 cores=0-7
/proc/5594/task/5596/stat : 5596 (java) S 5592 5592 1674 0 -1 1077944384 8837 0 0 0 528 270 0 0 20 0 20 0 151870070 26630336512 2614695 33554432000 4194304 4196468 140722905675216 139904625617808 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 19 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5597] ppid=5592 vsize=26006188 memory=10458780 CPUtime=7.97 cores=0-7
/proc/5594/task/5597/stat : 5597 (java) S 5592 5592 1674 0 -1 1077944384 10716 0 0 0 558 239 0 0 20 0 20 0 151870070 26630336512 2614695 33554432000 4194304 4196468 140722905675216 139904624565008 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 13 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5598] ppid=5592 vsize=26006188 memory=1384 CPUtime=7.78 cores=0-7
/proc/5594/task/5598/stat : 5598 (java) S 5592 5592 1674 0 -1 1077944384 9197 0 0 0 528 250 0 0 20 0 20 0 151870070 26630336512 2614695 33554432000 4194304 4196468 140722905675216 139904623512720 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 38 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5599] ppid=5592 vsize=26006188 memory=8930072 CPUtime=7.94 cores=0-7
/proc/5594/task/5599/stat : 5599 (java) S 5592 5592 1674 0 -1 1077944384 10373 0 0 0 507 287 0 0 20 0 20 0 151870070 26630336512 2614695 33554432000 4194304 4196468 140722905675216 139904622459920 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 20 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5600] ppid=5592 vsize=26006188 memory=10449172 CPUtime=7.94 cores=0-7
/proc/5594/task/5600/stat : 5600 (java) S 5592 5592 1674 0 -1 1077944384 8908 0 0 0 515 279 0 0 20 0 20 0 151870070 26630336512 2614695 33554432000 4194304 4196468 140722905675216 139904621406608 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 16 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5601] ppid=5592 vsize=26006188 memory=1384 CPUtime=7.79 cores=0-7
/proc/5594/task/5601/stat : 5601 (java) S 5592 5592 1674 0 -1 1077944384 8472 0 0 0 533 246 0 0 20 0 20 0 151870070 26630336512 2614695 33554432000 4194304 4196468 140722905675216 139904620353808 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 35 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5602] ppid=5592 vsize=26006188 memory=4100 CPUtime=7.97 cores=0-7
/proc/5594/task/5602/stat : 5602 (java) S 5592 5592 1674 0 -1 1077944384 9023 0 0 0 538 259 0 0 20 0 20 0 151870070 26630336512 2614695 33554432000 4194304 4196468 140722905675216 139904619301520 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 20 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5603] ppid=5592 vsize=26006188 memory=1384 CPUtime=7.98 cores=0-7
/proc/5594/task/5603/stat : 5603 (java) S 5592 5592 1674 0 -1 1077944384 9244 0 0 0 513 285 0 0 20 0 20 0 151870070 26630336512 2614695 33554432000 4194304 4196468 140722905675216 139904618248720 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 17 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5604] ppid=5592 vsize=26006188 memory=1384 CPUtime=3.32 cores=0-7
/proc/5594/task/5604/stat : 5604 (java) S 5592 5592 1674 0 -1 1077944384 30864 0 0 0 328 4 0 0 20 0 20 0 151870072 26630336512 2614695 33554432000 4194304 4196468 140722905675216 139903280114288 139904673008258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5605] ppid=5592 vsize=26006188 memory=10458780 CPUtime=0 cores=0-7
/proc/5594/task/5605/stat : 5605 (java) S 5592 5592 1674 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 151870072 26630336512 2614695 33554432000 4194304 4196468 140722905675216 139903279060320 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5606] ppid=5592 vsize=26006188 memory=8112282956445269571 CPUtime=0 cores=0-7
/proc/5594/task/5606/stat : 5606 (java) S 5592 5592 1674 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 151870072 26630336512 2614695 33554432000 4194304 4196468 140722905675216 139903278007936 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5607] ppid=5592 vsize=26006188 memory=8931000 CPUtime=0 cores=0-7
/proc/5594/task/5607/stat : 5607 (java) S 5592 5592 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151870075 26630336512 2614695 33554432000 4194304 4196468 140722905675216 139903276956240 139904673015707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5608] ppid=5592 vsize=26006188 memory=8931000 CPUtime=0.67 cores=0-7
/proc/5594/task/5608/stat : 5608 (java) S 5592 5592 1674 0 -1 1077944384 6379 0 0 0 66 1 0 0 20 0 20 0 151870075 26630336512 2614695 33554432000 4194304 4196468 140722905675216 139903275903088 139904673008258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5609] ppid=5592 vsize=26006188 memory=1384 CPUtime=0.55 cores=0-7
/proc/5594/task/5609/stat : 5609 (java) S 5592 5592 1674 0 -1 1077944384 4457 0 0 0 54 1 0 0 20 0 20 0 151870075 26630336512 2614695 33554432000 4194304 4196468 140722905675216 139903274850288 139904673008258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5610] ppid=5592 vsize=26006188 memory=4100 CPUtime=0.68 cores=0-7
/proc/5594/task/5610/stat : 5610 (java) S 5592 5592 1674 0 -1 1077944384 5060 0 0 0 67 1 0 0 20 0 20 0 151870075 26630336512 2614695 33554432000 4194304 4196468 140722905675216 139903273798000 139904673008258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5611] ppid=5592 vsize=26006188 memory=1384 CPUtime=0.49 cores=0-7
/proc/5594/task/5611/stat : 5611 (java) S 5592 5592 1674 0 -1 1077944384 5862 0 0 0 48 1 0 0 20 0 20 0 151870075 26630336512 2614695 33554432000 4194304 4196468 140722905675216 139903272745200 139904673008258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5612] ppid=5592 vsize=26006188 memory=10458780 CPUtime=0 cores=0-7
/proc/5594/task/5612/stat : 5612 (java) S 5592 5592 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151870075 26630336512 2614695 33554432000 4194304 4196468 140722905675216 139903271693152 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5613] ppid=5592 vsize=26006188 memory=1004 CPUtime=0.11 cores=0-7
/proc/5594/task/5613/stat : 5613 (java) S 5592 5592 1674 0 -1 1077944384 352 0 0 0 6 5 0 0 20 0 20 0 151870075 26630336512 2614695 33554432000 4194304 4196468 140722905675216 139903270640432 139904673008258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
Current children cumulated CPU time: 280.02 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 10460164 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+252.001 s]*
/proc/loadavg: 1.82 4.13 6.00 2/200 5622
/proc/meminfo: memFree=16108280/32770624 swapFree=67108860/67108860
[pid=5592] ppid=5589 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/5592/stat : 5592 (xcsp3-exec) S 5589 5592 1674 0 -1 4202496 513 0 0 0 0 0 0 0 20 0 1 0 151870069 9740288 346 33554432000 4194304 5098028 140726316532448 140726316530552 140126544102012 0 65536 4100 65538 18446744071579417331 0 0 17 3 0 0 0 0 0 7196144 7232144 33931264 140726316541035 140726316541244 140726316541244 140726316543979 0
/proc/5592/statm: 2378 346 289 221 0 87 0
[pid=5594] ppid=5592 vsize=26006188 memory=11073900 CPUtime=313.03 cores=0-7
/proc/5594/stat : 5594 (java) S 5592 5592 1674 0 -1 1077944320 167104 0 0 0 28961 2342 0 0 20 0 20 0 151870069 26630336512 2768475 33554432000 4194304 4196468 140722905675216 140722905657760 139904672997111 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
/proc/5594/statm: 6501547 2768475 3266 1 0 6488781 0
[pid=5594/tid=5595] ppid=5592 vsize=26006188 memory=8112282956445269571 CPUtime=239.93 cores=0-7
/proc/5594/task/5595/stat : 5595 (java) R 5592 5592 1674 0 -1 4202560 19146 0 0 0 23970 23 0 0 20 0 20 0 151870070 26630336512 2768475 33554432000 4194304 4196468 140722905675216 139904677230944 139904285761208 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5596] ppid=5592 vsize=26006188 memory=4126316290023845779 CPUtime=8.45 cores=0-7
/proc/5594/task/5596/stat : 5596 (java) S 5592 5592 1674 0 -1 1077944384 10974 0 0 0 552 293 0 0 20 0 20 0 151870070 26630336512 2768475 33554432000 4194304 4196468 140722905675216 139904625617808 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 20 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5597] ppid=5592 vsize=26006188 memory=920 CPUtime=8.43 cores=0-7
/proc/5594/task/5597/stat : 5597 (java) S 5592 5592 1674 0 -1 1077944384 12745 0 0 0 582 261 0 0 20 0 20 0 151870070 26630336512 2768475 33554432000 4194304 4196468 140722905675216 139904624565008 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 15 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5598] ppid=5592 vsize=26006188 memory=4536 CPUtime=8.26 cores=0-7
/proc/5594/task/5598/stat : 5598 (java) S 5592 5592 1674 0 -1 1077944384 10994 0 0 0 552 274 0 0 20 0 20 0 151870070 26630336512 2768475 33554432000 4194304 4196468 140722905675216 139904623512720 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 39 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5599] ppid=5592 vsize=26006188 memory=1236 CPUtime=8.41 cores=0-7
/proc/5594/task/5599/stat : 5599 (java) S 5592 5592 1674 0 -1 1077944384 12232 0 0 0 531 310 0 0 20 0 20 0 151870070 26630336512 2768475 33554432000 4194304 4196468 140722905675216 139904622459920 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 22 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5600] ppid=5592 vsize=26006188 memory=1384 CPUtime=8.4 cores=0-7
/proc/5594/task/5600/stat : 5600 (java) S 5592 5592 1674 0 -1 1077944384 11623 0 0 0 539 301 0 0 20 0 20 0 151870070 26630336512 2768475 33554432000 4194304 4196468 140722905675216 139904621406608 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 18 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5601] ppid=5592 vsize=26006188 memory=11073900 CPUtime=8.24 cores=0-7
/proc/5594/task/5601/stat : 5601 (java) S 5592 5592 1674 0 -1 1077944384 10090 0 0 0 555 269 0 0 20 0 20 0 151870070 26630336512 2768475 33554432000 4194304 4196468 140722905675216 139904620353808 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 36 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5602] ppid=5592 vsize=26006188 memory=1948 CPUtime=8.43 cores=0-7
/proc/5594/task/5602/stat : 5602 (java) S 5592 5592 1674 0 -1 1077944384 10839 0 0 0 561 282 0 0 20 0 20 0 151870070 26630336512 2768475 33554432000 4194304 4196468 140722905675216 139904619301520 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 21 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5603] ppid=5592 vsize=26006188 memory=1384 CPUtime=8.46 cores=0-7
/proc/5594/task/5603/stat : 5603 (java) S 5592 5592 1674 0 -1 1077944384 12794 0 0 0 537 309 0 0 20 0 20 0 151870070 26630336512 2768475 33554432000 4194304 4196468 140722905675216 139904618248720 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 18 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5604] ppid=5592 vsize=26006188 memory=11073900 CPUtime=3.32 cores=0-7
/proc/5594/task/5604/stat : 5604 (java) S 5592 5592 1674 0 -1 1077944384 31264 0 0 0 328 4 0 0 20 0 20 0 151870072 26630336512 2768475 33554432000 4194304 4196468 140722905675216 139903280114288 139904673008258 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5605] ppid=5592 vsize=26006188 memory=7788 CPUtime=0 cores=0-7
/proc/5594/task/5605/stat : 5605 (java) S 5592 5592 1674 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 20 0 151870072 26630336512 2768475 33554432000 4194304 4196468 140722905675216 139903279060320 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5606] ppid=5592 vsize=26006188 memory=840 CPUtime=0 cores=0-7
/proc/5594/task/5606/stat : 5606 (java) S 5592 5592 1674 0 -1 1077944384 125 0 0 0 0 0 0 0 20 0 20 0 151870072 26630336512 2768475 33554432000 4194304 4196468 140722905675216 139903278007936 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5607] ppid=5592 vsize=26006188 memory=1156 CPUtime=0 cores=0-7
/proc/5594/task/5607/stat : 5607 (java) S 5592 5592 1674 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 151870075 26630336512 2768475 33554432000 4194304 4196468 140722905675216 139903276956240 139904673015707 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5608] ppid=5592 vsize=26006188 memory=3344 CPUtime=0.67 cores=0-7
/proc/5594/task/5608/stat : 5608 (java) S 5592 5592 1674 0 -1 1077944384 6503 0 0 0 66 1 0 0 20 0 20 0 151870075 26630336512 2768475 33554432000 4194304 4196468 140722905675216 139903275903088 139904673008258 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5609] ppid=5592 vsize=26006188 memory=1384 CPUtime=0.56 cores=0-7
/proc/5594/task/5609/stat : 5609 (java) S 5592 5592 1674 0 -1 1077944384 4979 0 0 0 55 1 0 0 20 0 20 0 151870075 26630336512 2768475 33554432000 4194304 4196468 140722905675216 139903274850288 139904673008258 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5610] ppid=5592 vsize=26006188 memory=11073900 CPUtime=0.68 cores=0-7
/proc/5594/task/5610/stat : 5610 (java) S 5592 5592 1674 0 -1 1077944384 5072 0 0 0 67 1 0 0 20 0 20 0 151870075 26630336512 2768475 33554432000 4194304 4196468 140722905675216 139903273798000 139904673008258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5611] ppid=5592 vsize=26006188 memory=8112282956445269571 CPUtime=0.49 cores=0-7
/proc/5594/task/5611/stat : 5611 (java) S 5592 5592 1674 0 -1 1077944384 5898 0 0 0 48 1 0 0 20 0 20 0 151870075 26630336512 2768475 33554432000 4194304 4196468 140722905675216 139903272745200 139904673008258 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5612] ppid=5592 vsize=26006188 memory=1236 CPUtime=0 cores=0-7
/proc/5594/task/5612/stat : 5612 (java) S 5592 5592 1674 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 151870075 26630336512 2768475 33554432000 4194304 4196468 140722905675216 139903271693152 139904673007317 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
[pid=5594/tid=5613] ppid=5592 vsize=26006188 memory=4100 CPUtime=0.13 cores=0-7
/proc/5594/task/5613/stat : 5613 (java) S 5592 5592 1674 0 -1 1077944384 527 0 0 0 7 6 0 0 20 0 20 0 151870075 26630336512 2768475 33554432000 4194304 4196468 140722905675216 139903270640432 139904673008258 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39084032 140722905683096 140722905683272 140722905683272 140722905685967 0
Current children cumulated CPU time: 313.03 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 11075284 KiB

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

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

[startup+252.072 s]
# the end of solver process 5594 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=289.625 s, system=23.4832 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): 252.072
CPU time (s): 313.109
CPU user time (s): 289.625
CPU system time (s): 23.4832
CPU usage (%): 124.214
Max. virtual memory (cumulated for all children) (KiB): 26015700
Max. memory (cumulated for all children) (KiB): 11075284

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 289.625
system time used= 23.4832
maximum resident set size= 11074448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 168175
page faults= 0
swaps= 0
block input operations= 0
block output operations= 456
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13619
involuntary context switches= 877


# summary of solver processes directly reported to runsolver:
#   pid: 5592,5594
#   total CPU time (s): 313.109
#   total CPU user time (s): 289.625
#   total CPU system time (s): 23.4832

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 2.06915 second user time and 2.48254 second system time

The end

Launcher Data 

Begin job on node113 at 2017-08-20 01:56:06
IDJOB=4281288
IDBENCH=137017
IDSOLVER=2676
FILE ID=node113/4281288-1503187826
RUNJOBID= node113-1503181653-1704
PBS_JOBID= 20630852
Free space on /tmp= 61692 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/BinPacking/BinPacking-tab-fu/BinPacking-tab-fu0500-12.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4281288-1503187826/watcher-4281288-1503187826 -o /tmp/evaluation-result-4281288-1503187826/solver-4281288-1503187826 -C 2016 -W 252 -M 31000 --bin-var /tmp/runsolver-exch-node113-1503181653-1704 --watchdog 312  ./xcsp3-exec -dir HOME -tl 2016 -p 8 -ml 22000 -tdir HOME -seed 960537973 HOME/instance-4281288-1503187826.xml

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

MD5SUM BENCH= c3cbaa9ce8e56a4446daa69c64b890b7
RANDOM SEED=960537973

node113.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.89
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.89
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.89
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.89
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:        27190060 kB
MemAvailable:   31969480 kB
Buffers:          255388 kB
Cached:          4813912 kB
SwapCached:            0 kB
Active:          1260540 kB
Inactive:        3863792 kB
Active(anon):       5332 kB
Inactive(anon):    85928 kB
Active(file):    1255208 kB
Inactive(file):  3777864 kB
Unevictable:        7476 kB
Mlocked:            7476 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             10156 kB
Writeback:             0 kB
AnonPages:         69216 kB
Mapped:            50656 kB
Shmem:             33416 kB
Slab:             151432 kB
SReclaimable:     124368 kB
SUnreclaim:        27064 kB
KernelStack:        3520 kB
PageTables:         5992 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     333388 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61684 MiB
End job on node113 at 2017-08-20 02:00:18