Trace number 4283211

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 5a (2017-08-18)? (TO) 2520.1101 2455.6101

General information on the benchmark

NameBinPacking/
BinPacking-sum-ft/BinPacking-sum-ft060-11.xml
MD5SUM684901dbc993846247574678cc891221
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark2400.03
Satisfiable
(Un)Satisfiability was proved
Number of variables70
Number of constraints49
Number of domains2
Minimum domain size24
Maximum domain size47
Distribution of domain sizes[{"size":24,"count":1},{"size":47,"count":69}]
Minimum variable degree2
Maximum variable degree5
Distribution of variable degrees[{"degree":2,"count":1},{"degree":4,"count":46},{"degree":5,"count":23}]
Minimum constraint arity3
Maximum constraint arity69
Distribution of constraint arities[{"arity":3,"count":46},{"arity":24,"count":1},{"arity":69,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"ordered","count":23},{"type":"lex","count":1},{"type":"sum","count":23},{"type":"count","count":1},{"type":"cardinality","count":1}]
Optimization problemYES
Type of objectivemax VAR

Solver Data 

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4283211-1503220233.xml"  -tl '2520s' -p 1 -x 3
0.14/0.14	c [HOME/instance-4283211-1503220233.xml, -tl, 2520s, -p, 1, -x, 3]
0.14/0.19	c simple solver
0.33/0.26	c parse instance...
0.72/0.46	c solve instance...
2520.08/2455.60	s UNKNOWN
2520.08/2455.60	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 (12493 MiB free)
  memory of node 1: 16384 MiB (11654 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4283211-1503220233/watcher-4283211-1503220233 -o /tmp/evaluation-result-4283211-1503220233/solver-4283211-1503220233 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node112-1503215489-19072 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1843957910 HOME/instance-4283211-1503220233.xml 

running on 4 cores: 0,2,4,6

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


[startup+0.108792 s]*
/proc/loadavg: 1.68 1.68 1.68 4/217 19501
/proc/meminfo: memFree=24710892/32770624 swapFree=67108860/67108860
[pid=19485] ppid=19482 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/19485/stat : 19485 (xcsp3-exec) S 19482 19485 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155110938 9740288 346 33554432000 4194304 5098028 140725508509056 140725508507160 140485044884092 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40030208 140725508514926 140725508515131 140725508515131 140725508517867 0
/proc/19485/statm: 2378 346 289 221 0 87 0
[pid=19487] ppid=19485 vsize=13978596 memory=28392 CPUtime=0.14 cores=0,2,4,6
/proc/19487/stat : 19487 (java) S 19485 19485 13358 0 -1 1077944320 5485 0 0 0 13 1 0 0 20 0 15 0 155110938 14314082304 7098 33554432000 4194304 4196468 140732780823840 140732780806384 139990614023927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
/proc/19487/statm: 3494649 7098 2894 1 0 3482966 0
[pid=19487/tid=19488] ppid=19485 vsize=13978596 memory=-6962121287837372198 CPUtime=0.1 cores=0,2,4,6
/proc/19487/task/19488/stat : 19488 (java) R 19485 19485 13358 0 -1 4202560 3345 0 0 0 9 1 0 0 20 0 15 0 155110939 14314082304 7098 33554432000 4194304 4196468 140732780823840 139990618253520 139990249128715 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19489] ppid=19485 vsize=13978596 memory=-3689451258167578675 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19489/stat : 19489 (java) S 19485 19485 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155110940 14314082304 7098 33554432000 4194304 4196468 140732780823840 139990570576144 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19490] ppid=19485 vsize=13978596 memory=139795286251136 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19490/stat : 19490 (java) S 19485 19485 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155110940 14314082304 7098 33554432000 4194304 4196468 140732780823840 139990569523600 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19491] ppid=19485 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19491/stat : 19491 (java) S 19485 19485 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155110940 14314082304 7098 33554432000 4194304 4196468 140732780823840 139990568471056 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19492] ppid=19485 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19492/stat : 19492 (java) S 19485 19485 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155110940 14314082304 7098 33554432000 4194304 4196468 140732780823840 139990206442128 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19493] ppid=19485 vsize=13978596 memory=139795286251136 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19493/stat : 19493 (java) S 19485 19485 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155110941 14314082304 7098 33554432000 4194304 4196468 140732780823840 139989954021872 139990614035074 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19494] ppid=19485 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19494/stat : 19494 (java) S 19485 19485 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155110941 14314082304 7098 33554432000 4194304 4196468 140732780823840 139989952968096 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19495] ppid=19485 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19495/stat : 19495 (java) S 19485 19485 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155110942 14314082304 7098 33554432000 4194304 4196468 140732780823840 139989951915504 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19496] ppid=19485 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19496/stat : 19496 (java) S 19485 19485 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155110944 14314082304 7098 33554432000 4194304 4196468 140732780823840 139989950864080 139990614042523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19497] ppid=19485 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19497/stat : 19497 (java) S 19485 19485 13358 0 -1 1077944384 358 0 0 0 0 0 0 0 20 0 15 0 155110944 14314082304 7098 33554432000 4194304 4196468 140732780823840 139989949810672 139990614035074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19498] ppid=19485 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19498/stat : 19498 (java) S 19485 19485 13358 0 -1 1077944384 127 0 0 0 0 0 0 0 20 0 15 0 155110944 14314082304 7098 33554432000 4194304 4196468 140732780823840 139989948758128 139990614035074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19499] ppid=19485 vsize=13978596 memory=139795286251136 CPUtime=0.02 cores=0,2,4,6
/proc/19487/task/19499/stat : 19499 (java) R 19485 19485 13358 0 -1 4202560 351 0 0 0 2 0 0 0 20 0 15 0 155110944 14314082304 7098 33554432000 4194304 4196468 140732780823840 139989947705584 139990598104414 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19500] ppid=19485 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19500/stat : 19500 (java) S 19485 19485 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155110944 14314082304 7098 33554432000 4194304 4196468 140732780823840 139989946653280 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19501] ppid=19485 vsize=13978596 memory=139795286251136 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19501/stat : 19501 (java) S 19485 19485 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155110944 14314082304 7098 33554432000 4194304 4196468 140732780823840 139989945600816 139990614035074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
Current children cumulated CPU time: 0.14 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 29776 KiB

[startup+0.210769 s]*
/proc/loadavg: 1.68 1.68 1.68 4/217 19501
/proc/meminfo: memFree=24699444/32770624 swapFree=67108860/67108860
[pid=19485] ppid=19482 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/19485/stat : 19485 (xcsp3-exec) S 19482 19485 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155110938 9740288 346 33554432000 4194304 5098028 140725508509056 140725508507160 140485044884092 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40030208 140725508514926 140725508515131 140725508515131 140725508517867 0
/proc/19485/statm: 2378 346 289 221 0 87 0
[pid=19487] ppid=19485 vsize=13982852 memory=40532 CPUtime=0.33 cores=0,2,4,6
/proc/19487/stat : 19487 (java) S 19485 19485 13358 0 -1 1077944320 8240 0 0 0 31 2 0 0 20 0 15 0 155110938 14318440448 10133 33554432000 4194304 4196468 140732780823840 140732780806384 139990614023927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
/proc/19487/statm: 3495713 10133 3061 1 0 3482966 0
[pid=19487/tid=19488] ppid=19485 vsize=13982852 memory=7883960649037381690 CPUtime=0.2 cores=0,2,4,6
/proc/19487/task/19488/stat : 19488 (java) D 19485 19485 13358 0 -1 1077944384 5338 0 0 0 18 2 0 0 20 0 15 0 155110939 14318440448 10133 33554432000 4194304 4196468 140732780823840 139990618234832 139990606703149 0 4 0 16800975 18446744072101625380 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19489] ppid=19485 vsize=13982852 memory=2898 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19489/stat : 19489 (java) S 19485 19485 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155110940 14318440448 10133 33554432000 4194304 4196468 140732780823840 139990570576144 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19490] ppid=19485 vsize=13982884 memory=3905105056401512096 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19490/stat : 19490 (java) S 19485 19485 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155110940 14318473216 10133 33554432000 4194304 4196468 140732780823840 139990569523600 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19491] ppid=19485 vsize=13982884 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19491/stat : 19491 (java) S 19485 19485 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155110940 14318473216 10133 33554432000 4194304 4196468 140732780823840 139990568471056 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19492] ppid=19485 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19492/stat : 19492 (java) S 19485 19485 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155110940 14318440448 10133 33554432000 4194304 4196468 140732780823840 139990206442128 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19493] ppid=19485 vsize=13982852 memory=139795286251136 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19493/stat : 19493 (java) S 19485 19485 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155110941 14318440448 10133 33554432000 4194304 4196468 140732780823840 139989954021872 139990614035074 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19494] ppid=19485 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19494/stat : 19494 (java) S 19485 19485 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155110941 14318440448 10133 33554432000 4194304 4196468 140732780823840 139989952968096 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19495] ppid=19485 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19495/stat : 19495 (java) S 19485 19485 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155110942 14318440448 10133 33554432000 4194304 4196468 140732780823840 139989951915504 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19496] ppid=19485 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19496/stat : 19496 (java) S 19485 19485 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155110944 14318440448 10133 33554432000 4194304 4196468 140732780823840 139989950864080 139990614042523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19497] ppid=19485 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/19487/task/19497/stat : 19497 (java) S 19485 19485 13358 0 -1 1077944384 570 0 0 0 2 0 0 0 20 0 15 0 155110944 14318440448 10133 33554432000 4194304 4196468 140732780823840 139989949810672 139990614035074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19498] ppid=19485 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/19487/task/19498/stat : 19498 (java) S 19485 19485 13358 0 -1 1077944384 293 0 0 0 2 0 0 0 20 0 15 0 155110944 14318440448 10133 33554432000 4194304 4196468 140732780823840 139989948758128 139990614035074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19499] ppid=19485 vsize=13982884 memory=139795286251136 CPUtime=0.08 cores=0,2,4,6
/proc/19487/task/19499/stat : 19499 (java) S 19485 19485 13358 0 -1 1077944384 750 0 0 0 8 0 0 0 20 0 15 0 155110944 14318473216 10133 33554432000 4194304 4196468 140732780823840 139989947705584 139990614035074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19500] ppid=19485 vsize=13982884 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19500/stat : 19500 (java) S 19485 19485 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155110944 14318473216 10133 33554432000 4194304 4196468 140732780823840 139989946653280 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19501] ppid=19485 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19501/stat : 19501 (java) S 19485 19485 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155110944 14318440448 10133 33554432000 4194304 4196468 140732780823840 139989945600816 139990614035074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41916 KiB

[startup+0.313037 s]*
/proc/loadavg: 1.68 1.68 1.68 3/217 19501
/proc/meminfo: memFree=24692420/32770624 swapFree=67108860/67108860
[pid=19485] ppid=19482 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/19485/stat : 19485 (xcsp3-exec) S 19482 19485 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155110938 9740288 346 33554432000 4194304 5098028 140725508509056 140725508507160 140485044884092 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40030208 140725508514926 140725508515131 140725508515131 140725508517867 0
/proc/19485/statm: 2378 346 289 221 0 87 0
[pid=19487] ppid=19485 vsize=13982928 memory=48236 CPUtime=0.51 cores=0,2,4,6
/proc/19487/stat : 19487 (java) S 19485 19485 13358 0 -1 1077944320 9190 0 0 0 48 3 0 0 20 0 15 0 155110938 14318518272 12059 33554432000 4194304 4196468 140732780823840 140732780806384 139990614023927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
/proc/19487/statm: 3495732 12059 3130 1 0 3482966 0
[pid=19487/tid=19488] ppid=19485 vsize=13982928 memory=6791534058613427641 CPUtime=0.29 cores=0,2,4,6
/proc/19487/task/19488/stat : 19488 (java) R 19485 19485 13358 0 -1 4202560 6040 0 0 0 27 2 0 0 20 0 15 0 155110939 14318518272 12069 33554432000 4194304 4196468 140732780823840 139990618261552 139990599297421 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19489] ppid=19485 vsize=13982928 memory=4872558044660077418 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19489/stat : 19489 (java) S 19485 19485 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155110940 14318518272 12069 33554432000 4194304 4196468 140732780823840 139990570576144 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19490] ppid=19485 vsize=13982928 memory=6944656575208382560 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19490/stat : 19490 (java) S 19485 19485 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155110940 14318518272 12069 33554432000 4194304 4196468 140732780823840 139990569523600 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19491] ppid=19485 vsize=13982928 memory=-3258418265892434876 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19491/stat : 19491 (java) S 19485 19485 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155110940 14318518272 12069 33554432000 4194304 4196468 140732780823840 139990568471056 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19492] ppid=19485 vsize=13982928 memory=4500088472188524148 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19492/stat : 19492 (java) S 19485 19485 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155110940 14318518272 12069 33554432000 4194304 4196468 140732780823840 139990206442128 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19493] ppid=19485 vsize=13982928 memory=6944613755495348631 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19493/stat : 19493 (java) S 19485 19485 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155110941 14318518272 12069 33554432000 4194304 4196468 140732780823840 139989954021872 139990614035074 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19494] ppid=19485 vsize=13982928 memory=7893295687695687954 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19494/stat : 19494 (java) S 19485 19485 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155110941 14318518272 12069 33554432000 4194304 4196468 140732780823840 139989952968096 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19495] ppid=19485 vsize=13982928 memory=-8813974798734826869 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19495/stat : 19495 (java) S 19485 19485 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155110942 14318518272 12069 33554432000 4194304 4196468 140732780823840 139989951915504 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19496] ppid=19485 vsize=13982928 memory=-6664436420846796947 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19496/stat : 19496 (java) S 19485 19485 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155110944 14318518272 12069 33554432000 4194304 4196468 140732780823840 139989950864080 139990614042523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19497] ppid=19485 vsize=13982928 memory=4713750055892520310 CPUtime=0.04 cores=0,2,4,6
/proc/19487/task/19497/stat : 19497 (java) S 19485 19485 13358 0 -1 1077944384 685 0 0 0 4 0 0 0 20 0 15 0 155110944 14318518272 12069 33554432000 4194304 4196468 140732780823840 139989949810672 139990614035074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19498] ppid=19485 vsize=13982928 memory=0 CPUtime=0.03 cores=0,2,4,6
/proc/19487/task/19498/stat : 19498 (java) S 19485 19485 13358 0 -1 1077944384 295 0 0 0 3 0 0 0 20 0 15 0 155110944 14318518272 12069 33554432000 4194304 4196468 140732780823840 139989948758128 139990614035074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19499] ppid=19485 vsize=13982928 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/19487/task/19499/stat : 19499 (java) S 19485 19485 13358 0 -1 1077944384 876 0 0 0 12 0 0 0 20 0 15 0 155110944 14318518272 12069 33554432000 4194304 4196468 140732780823840 139989947705584 139990614035074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19500] ppid=19485 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19500/stat : 19500 (java) S 19485 19485 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155110944 14318518272 12069 33554432000 4194304 4196468 140732780823840 139989946653280 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19501] ppid=19485 vsize=13982928 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19501/stat : 19501 (java) S 19485 19485 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155110944 14318518272 12069 33554432000 4194304 4196468 140732780823840 139989945600816 139990614035074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
Current children cumulated CPU time: 0.51 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 49620 KiB

[startup+0.701779 s]
/proc/loadavg: 1.68 1.68 1.68 6/217 19501
/proc/meminfo: memFree=24679084/32770624 swapFree=67108860/67108860
[pid=19485] ppid=19482 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/19485/stat : 19485 (xcsp3-exec) S 19482 19485 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155110938 9740288 346 33554432000 4194304 5098028 140725508509056 140725508507160 140485044884092 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40030208 140725508514926 140725508515131 140725508515131 140725508517867 0
/proc/19485/statm: 2378 346 289 221 0 87 0
[pid=19487] ppid=19485 vsize=13984976 memory=68592 CPUtime=1.67 cores=0,2,4,6
/proc/19487/stat : 19487 (java) S 19485 19485 13358 0 -1 1077944320 12365 0 0 0 162 5 0 0 20 0 15 0 155110938 14320615424 17148 33554432000 4194304 4196468 140732780823840 140732780806384 139990614023927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
/proc/19487/statm: 3496244 17148 3203 1 0 3483478 0
[pid=19487/tid=19488] ppid=19485 vsize=13984976 memory=3472328296227679313 CPUtime=0.67 cores=0,2,4,6
/proc/19487/task/19488/stat : 19488 (java) R 19485 19485 13358 0 -1 4202560 6647 0 0 0 64 3 0 0 20 0 15 0 155110939 14320615424 17148 33554432000 4194304 4196468 140732780823840 139990618258352 139990251162163 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19489] ppid=19485 vsize=13984976 memory=-7816663703405220396 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19489/stat : 19489 (java) S 19485 19485 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155110940 14320615424 17148 33554432000 4194304 4196468 140732780823840 139990570576144 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19490] ppid=19485 vsize=13984976 memory=0 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19490/stat : 19490 (java) S 19485 19485 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155110940 14320615424 17148 33554432000 4194304 4196468 140732780823840 139990569523600 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19491] ppid=19485 vsize=13984976 memory=43204 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19491/stat : 19491 (java) S 19485 19485 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155110940 14320615424 17148 33554432000 4194304 4196468 140732780823840 139990568471056 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19492] ppid=19485 vsize=13984976 memory=2332 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19492/stat : 19492 (java) S 19485 19485 13358 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 155110940 14320615424 17148 33554432000 4194304 4196468 140732780823840 139990206442128 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19493] ppid=19485 vsize=13984976 memory=1292 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19493/stat : 19493 (java) S 19485 19485 13358 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 155110941 14320615424 17148 33554432000 4194304 4196468 140732780823840 139989954021872 139990614035074 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19494] ppid=19485 vsize=13984976 memory=1728 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19494/stat : 19494 (java) S 19485 19485 13358 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 155110941 14320615424 17148 33554432000 4194304 4196468 140732780823840 139989952968096 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19495] ppid=19485 vsize=13984976 memory=5788 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19495/stat : 19495 (java) S 19485 19485 13358 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 155110942 14320615424 17148 33554432000 4194304 4196468 140732780823840 139989951915504 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19496] ppid=19485 vsize=13984976 memory=1228 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19496/stat : 19496 (java) S 19485 19485 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155110944 14320615424 17148 33554432000 4194304 4196468 140732780823840 139989950864080 139990614042523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19497] ppid=19485 vsize=13984976 memory=796 CPUtime=0.32 cores=0,2,4,6
/proc/19487/task/19497/stat : 19497 (java) R 19485 19485 13358 0 -1 4202560 1777 0 0 0 32 0 0 0 20 0 15 0 155110944 14320615424 17148 33554432000 4194304 4196468 140732780823840 139989949791688 139990593677472 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19498] ppid=19485 vsize=13984976 memory=10088 CPUtime=0.33 cores=0,2,4,6
/proc/19487/task/19498/stat : 19498 (java) R 19485 19485 13358 0 -1 4202560 1020 0 0 0 33 0 0 0 20 0 15 0 155110944 14320615424 17148 33554432000 4194304 4196468 140732780823840 139989948748256 139990607120763 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19499] ppid=19485 vsize=13984976 memory=1948 CPUtime=0.32 cores=0,2,4,6
/proc/19487/task/19499/stat : 19499 (java) S 19485 19485 13358 0 -1 1077944384 1616 0 0 0 32 0 0 0 20 0 15 0 155110944 14320615424 17148 33554432000 4194304 4196468 140732780823840 139989947705584 139990614035074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19500] ppid=19485 vsize=13984976 memory=8584 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19500/stat : 19500 (java) S 19485 19485 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155110944 14320615424 17148 33554432000 4194304 4196468 140732780823840 139989946653280 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19501] ppid=19485 vsize=13984976 memory=4616 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19501/stat : 19501 (java) S 19485 19485 13358 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 155110944 14320615424 17148 33554432000 4194304 4196468 140732780823840 139989945600816 139990614035074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
Current children cumulated CPU time: 1.67 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 69976 KiB

[startup+1.50081 s]
/proc/loadavg: 1.78 1.70 1.69 6/217 19501
/proc/meminfo: memFree=24659176/32770624 swapFree=67108860/67108860
[pid=19485] ppid=19482 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/19485/stat : 19485 (xcsp3-exec) S 19482 19485 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155110938 9740288 346 33554432000 4194304 5098028 140725508509056 140725508507160 140485044884092 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40030208 140725508514926 140725508515131 140725508515131 140725508517867 0
/proc/19485/statm: 2378 346 289 221 0 87 0

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

/proc/19487/task/19495/stat : 19495 (java) S 19485 19485 13358 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 155110942 14320615424 96974 33554432000 4194304 4196468 140732780823840 139989951915520 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19496] ppid=19485 vsize=13984976 memory=393904 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19496/stat : 19496 (java) S 19485 19485 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155110944 14320615424 96974 33554432000 4194304 4196468 140732780823840 139989950864080 139990614042523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19497] ppid=19485 vsize=13984976 memory=1384 CPUtime=3.32 cores=0,2,4,6
/proc/19487/task/19497/stat : 19497 (java) S 19485 19485 13358 0 -1 1077944384 18627 0 0 0 329 3 0 0 20 0 15 0 155110944 14320615424 96974 33554432000 4194304 4196468 140732780823840 139989949810672 139990614035074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19498] ppid=19485 vsize=13984976 memory=1384 CPUtime=4.11 cores=0,2,4,6
/proc/19487/task/19498/stat : 19498 (java) S 19485 19485 13358 0 -1 1077944384 25779 0 0 0 408 3 0 0 20 0 15 0 155110944 14320615424 96974 33554432000 4194304 4196468 140732780823840 139989948758128 139990614035074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19499] ppid=19485 vsize=13984976 memory=1384 CPUtime=0.7 cores=0,2,4,6
/proc/19487/task/19499/stat : 19499 (java) S 19485 19485 13358 0 -1 1077944384 9441 0 0 0 69 1 0 0 20 0 15 0 155110944 14320615424 96974 33554432000 4194304 4196468 140732780823840 139989947705584 139990614035074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19500] ppid=19485 vsize=13984976 memory=392876 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19500/stat : 19500 (java) S 19485 19485 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155110944 14320615424 96974 33554432000 4194304 4196468 140732780823840 139989946653280 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19501] ppid=19485 vsize=13984976 memory=4040 CPUtime=1.27 cores=0,2,4,6
/proc/19487/task/19501/stat : 19501 (java) S 19485 19485 13358 0 -1 1077944384 1245 0 0 0 59 68 0 0 20 0 15 0 155110944 14320615424 96974 33554432000 4194304 4196468 140732780823840 139989945600816 139990614035074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
Current children cumulated CPU time: 2383.57 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 389280 KiB

[startup+2382.3 s]
/proc/loadavg: 1.63 1.50 1.51 3/217 19679
/proc/meminfo: memFree=24424232/32770624 swapFree=67108860/67108860
[pid=19485] ppid=19482 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/19485/stat : 19485 (xcsp3-exec) S 19482 19485 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155110938 9740288 346 33554432000 4194304 5098028 140725508509056 140725508507160 140485044884092 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40030208 140725508514926 140725508515131 140725508515131 140725508517867 0
/proc/19485/statm: 2378 346 289 221 0 87 0
[pid=19487] ppid=19485 vsize=13984976 memory=414288 CPUtime=2445.06 cores=0,2,4,6
/proc/19487/stat : 19487 (java) S 19485 19485 13358 0 -1 1077944320 331593 0 0 0 243896 610 0 0 20 0 15 0 155110938 14320615424 103572 33554432000 4194304 4196468 140732780823840 140732780806384 139990614023927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
/proc/19487/statm: 3496244 103572 3283 1 0 3483478 0
[pid=19487/tid=19488] ppid=19485 vsize=13984976 memory=1384 CPUtime=2359.68 cores=0,2,4,6
/proc/19487/task/19488/stat : 19488 (java) R 19485 19485 13358 0 -1 4202560 125705 0 0 0 235937 31 0 0 20 0 15 0 155110939 14320615424 103572 33554432000 4194304 4196468 140732780823840 139990618263328 139990255231549 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19489] ppid=19485 vsize=13984976 memory=388796 CPUtime=18.23 cores=0,2,4,6
/proc/19487/task/19489/stat : 19489 (java) S 19485 19485 13358 0 -1 1077944384 25952 0 0 0 1703 120 0 0 20 0 15 0 155110940 14320615424 103572 33554432000 4194304 4196468 140732780823840 139990570576144 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19490] ppid=19485 vsize=13984976 memory=1384 CPUtime=18.22 cores=0,2,4,6
/proc/19487/task/19490/stat : 19490 (java) S 19485 19485 13358 0 -1 1077944384 24790 0 0 0 1703 119 0 0 20 0 15 0 155110940 14320615424 103572 33554432000 4194304 4196468 140732780823840 139990569523600 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19491] ppid=19485 vsize=13984976 memory=347404 CPUtime=18.18 cores=0,2,4,6
/proc/19487/task/19491/stat : 19491 (java) S 19485 19485 13358 0 -1 1077944384 26318 0 0 0 1695 123 0 0 20 0 15 0 155110940 14320615424 103572 33554432000 4194304 4196468 140732780823840 139990568471056 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19492] ppid=19485 vsize=13984976 memory=414288 CPUtime=18.26 cores=0,2,4,6
/proc/19487/task/19492/stat : 19492 (java) S 19485 19485 13358 0 -1 1077944384 25309 0 0 0 1701 125 0 0 20 0 15 0 155110940 14320615424 103572 33554432000 4194304 4196468 140732780823840 139990206442128 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19493] ppid=19485 vsize=13984976 memory=1384 CPUtime=2.96 cores=0,2,4,6
/proc/19487/task/19493/stat : 19493 (java) S 19485 19485 13358 0 -1 1077944384 46722 0 0 0 249 47 0 0 20 0 15 0 155110941 14320615424 103572 33554432000 4194304 4196468 140732780823840 139989954021872 139990614035074 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19494] ppid=19485 vsize=13984976 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19494/stat : 19494 (java) S 19485 19485 13358 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 155110941 14320615424 103572 33554432000 4194304 4196468 140732780823840 139989952968160 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19495] ppid=19485 vsize=13984976 memory=43268 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19495/stat : 19495 (java) S 19485 19485 13358 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 155110942 14320615424 103572 33554432000 4194304 4196468 140732780823840 139989951915520 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19496] ppid=19485 vsize=13984976 memory=421984 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19496/stat : 19496 (java) S 19485 19485 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155110944 14320615424 103572 33554432000 4194304 4196468 140732780823840 139989950864080 139990614042523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19497] ppid=19485 vsize=13984976 memory=1384 CPUtime=3.32 cores=0,2,4,6
/proc/19487/task/19497/stat : 19497 (java) S 19485 19485 13358 0 -1 1077944384 18629 0 0 0 329 3 0 0 20 0 15 0 155110944 14320615424 103572 33554432000 4194304 4196468 140732780823840 139989949810672 139990614035074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19498] ppid=19485 vsize=13984976 memory=413 CPUtime=4.13 cores=0,2,4,6
/proc/19487/task/19498/stat : 19498 (java) S 19485 19485 13358 0 -1 1077944384 26105 0 0 0 410 3 0 0 20 0 15 0 155110944 14320615424 103572 33554432000 4194304 4196468 140732780823840 139989948758128 139990614035074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19499] ppid=19485 vsize=13984976 memory=70 CPUtime=0.7 cores=0,2,4,6
/proc/19487/task/19499/stat : 19499 (java) S 19485 19485 13358 0 -1 1077944384 9443 0 0 0 69 1 0 0 20 0 15 0 155110944 14320615424 103572 33554432000 4194304 4196468 140732780823840 139989947705584 139990614035074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19500] ppid=19485 vsize=13984976 memory=345816 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19500/stat : 19500 (java) S 19485 19485 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155110944 14320615424 103572 33554432000 4194304 4196468 140732780823840 139989946653280 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19501] ppid=19485 vsize=13984976 memory=7084270341322007360 CPUtime=1.3 cores=0,2,4,6
/proc/19487/task/19501/stat : 19501 (java) S 19485 19485 13358 0 -1 1077944384 1272 0 0 0 60 70 0 0 20 0 15 0 155110944 14320615424 103572 33554432000 4194304 4196468 140732780823840 139989945600816 139990614035074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
Current children cumulated CPU time: 2445.06 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 415672 KiB

[startup+2442.3 s]
/proc/loadavg: 1.45 1.48 1.50 3/217 19680
/proc/meminfo: memFree=24463032/32770624 swapFree=67108860/67108860
[pid=19485] ppid=19482 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/19485/stat : 19485 (xcsp3-exec) S 19482 19485 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155110938 9740288 346 33554432000 4194304 5098028 140725508509056 140725508507160 140485044884092 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40030208 140725508514926 140725508515131 140725508515131 140725508517867 0
/proc/19485/statm: 2378 346 289 221 0 87 0
[pid=19487] ppid=19485 vsize=13984976 memory=387612 CPUtime=2506.58 cores=0,2,4,6
/proc/19487/stat : 19487 (java) S 19485 19485 13358 0 -1 1077944320 336286 0 0 0 250035 623 0 0 20 0 15 0 155110938 14320615424 96903 33554432000 4194304 4196468 140732780823840 140732780806384 139990614023927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
/proc/19487/statm: 3496244 96903 3283 1 0 3483478 0
[pid=19487/tid=19488] ppid=19485 vsize=13984976 memory=377584 CPUtime=2419.05 cores=0,2,4,6
/proc/19487/task/19488/stat : 19488 (java) R 19485 19485 13358 0 -1 4202560 127808 0 0 0 241874 31 0 0 20 0 15 0 155110939 14320615424 96903 33554432000 4194304 4196468 140732780823840 139990618263328 139990255231195 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19489] ppid=19485 vsize=13984976 memory=349840 CPUtime=18.72 cores=0,2,4,6
/proc/19487/task/19489/stat : 19489 (java) S 19485 19485 13358 0 -1 1077944384 26326 0 0 0 1750 122 0 0 20 0 15 0 155110940 14320615424 96903 33554432000 4194304 4196468 140732780823840 139990570576144 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19490] ppid=19485 vsize=13984976 memory=355484 CPUtime=18.72 cores=0,2,4,6
/proc/19487/task/19490/stat : 19490 (java) S 19485 19485 13358 0 -1 1077944384 25192 0 0 0 1750 122 0 0 20 0 15 0 155110940 14320615424 96903 33554432000 4194304 4196468 140732780823840 139990569523600 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19491] ppid=19485 vsize=13984976 memory=340680 CPUtime=18.69 cores=0,2,4,6
/proc/19487/task/19491/stat : 19491 (java) S 19485 19485 13358 0 -1 1077944384 26733 0 0 0 1743 126 0 0 20 0 15 0 155110940 14320615424 96903 33554432000 4194304 4196468 140732780823840 139990568471056 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19492] ppid=19485 vsize=13984976 memory=344776 CPUtime=18.76 cores=0,2,4,6
/proc/19487/task/19492/stat : 19492 (java) S 19485 19485 13358 0 -1 1077944384 25806 0 0 0 1749 127 0 0 20 0 15 0 155110940 14320615424 96903 33554432000 4194304 4196468 140732780823840 139990206442128 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19493] ppid=19485 vsize=13984976 memory=364424 CPUtime=3.04 cores=0,2,4,6
/proc/19487/task/19493/stat : 19493 (java) S 19485 19485 13358 0 -1 1077944384 47602 0 0 0 256 48 0 0 20 0 15 0 155110941 14320615424 96903 33554432000 4194304 4196468 140732780823840 139989954021872 139990614035074 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19494] ppid=19485 vsize=13984976 memory=372436 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19494/stat : 19494 (java) S 19485 19485 13358 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 155110941 14320615424 96903 33554432000 4194304 4196468 140732780823840 139989952968160 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19495] ppid=19485 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19495/stat : 19495 (java) S 19485 19485 13358 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 155110942 14320615424 96903 33554432000 4194304 4196468 140732780823840 139989951915520 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19496] ppid=19485 vsize=13984976 memory=4132 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19496/stat : 19496 (java) S 19485 19485 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155110944 14320615424 96903 33554432000 4194304 4196468 140732780823840 139989950864080 139990614042523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19497] ppid=19485 vsize=13984976 memory=43268 CPUtime=3.32 cores=0,2,4,6
/proc/19487/task/19497/stat : 19497 (java) S 19485 19485 13358 0 -1 1077944384 18631 0 0 0 329 3 0 0 20 0 15 0 155110944 14320615424 96903 33554432000 4194304 4196468 140732780823840 139989949810672 139990614035074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19498] ppid=19485 vsize=13984976 memory=1384 CPUtime=4.13 cores=0,2,4,6
/proc/19487/task/19498/stat : 19498 (java) S 19485 19485 13358 0 -1 1077944384 26108 0 0 0 410 3 0 0 20 0 15 0 155110944 14320615424 96903 33554432000 4194304 4196468 140732780823840 139989948758128 139990614035074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19499] ppid=19485 vsize=13984976 memory=359880 CPUtime=0.71 cores=0,2,4,6
/proc/19487/task/19499/stat : 19499 (java) S 19485 19485 13358 0 -1 1077944384 9445 0 0 0 69 2 0 0 20 0 15 0 155110944 14320615424 96903 33554432000 4194304 4196468 140732780823840 139989947705584 139990614035074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19500] ppid=19485 vsize=13984976 memory=377584 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19500/stat : 19500 (java) S 19485 19485 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155110944 14320615424 96903 33554432000 4194304 4196468 140732780823840 139989946653280 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19501] ppid=19485 vsize=13984976 memory=1384 CPUtime=1.33 cores=0,2,4,6
/proc/19487/task/19501/stat : 19501 (java) S 19485 19485 13358 0 -1 1077944384 1287 0 0 0 61 72 0 0 20 0 15 0 155110944 14320615424 96903 33554432000 4194304 4196468 140732780823840 139989945600816 139990614035074 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 8 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
Current children cumulated CPU time: 2506.58 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 388996 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2455.6 s]
/proc/loadavg: 1.54 1.50 1.51 3/217 19681
/proc/meminfo: memFree=24459940/32770624 swapFree=67108860/67108860
[pid=19485] ppid=19482 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/19485/stat : 19485 (xcsp3-exec) S 19482 19485 13358 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 155110938 9740288 346 33554432000 4194304 5098028 140725508509056 140725508507160 140485044884092 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 40030208 140725508514926 140725508515131 140725508515131 140725508517867 0
/proc/19485/statm: 2378 346 289 221 0 87 0
[pid=19487] ppid=19485 vsize=13984976 memory=377868 CPUtime=2520.08 cores=0,2,4,6
/proc/19487/stat : 19487 (java) S 19485 19485 13358 0 -1 1077944320 336586 0 0 0 251383 625 0 0 20 0 15 0 155110938 14320615424 94467 33554432000 4194304 4196468 140732780823840 140732780806384 139990614023927 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
/proc/19487/statm: 3496244 94467 3283 1 0 3483478 0
[pid=19487/tid=19488] ppid=19485 vsize=13984976 memory=2332 CPUtime=2432.27 cores=0,2,4,6
/proc/19487/task/19488/stat : 19488 (java) R 19485 19485 13358 0 -1 4202560 128081 0 0 0 243196 31 0 0 20 0 15 0 155110939 14320615424 94467 33554432000 4194304 4196468 140732780823840 139990618263328 139990248268926 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19489] ppid=19485 vsize=13984976 memory=1292 CPUtime=18.79 cores=0,2,4,6
/proc/19487/task/19489/stat : 19489 (java) S 19485 19485 13358 0 -1 1077944384 26331 0 0 0 1757 122 0 0 20 0 15 0 155110940 14320615424 94467 33554432000 4194304 4196468 140732780823840 139990570576144 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19490] ppid=19485 vsize=13984976 memory=1728 CPUtime=18.79 cores=0,2,4,6
/proc/19487/task/19490/stat : 19490 (java) S 19485 19485 13358 0 -1 1077944384 25197 0 0 0 1757 122 0 0 20 0 15 0 155110940 14320615424 94467 33554432000 4194304 4196468 140732780823840 139990569523600 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19491] ppid=19485 vsize=13984976 memory=8584 CPUtime=18.76 cores=0,2,4,6
/proc/19487/task/19491/stat : 19491 (java) S 19485 19485 13358 0 -1 1077944384 26741 0 0 0 1750 126 0 0 20 0 15 0 155110940 14320615424 94467 33554432000 4194304 4196468 140732780823840 139990568471056 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19492] ppid=19485 vsize=13984976 memory=4616 CPUtime=18.83 cores=0,2,4,6
/proc/19487/task/19492/stat : 19492 (java) S 19485 19485 13358 0 -1 1077944384 25812 0 0 0 1755 128 0 0 20 0 15 0 155110940 14320615424 94467 33554432000 4194304 4196468 140732780823840 139990206442128 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19493] ppid=19485 vsize=13984976 memory=1720 CPUtime=3.05 cores=0,2,4,6
/proc/19487/task/19493/stat : 19493 (java) S 19485 19485 13358 0 -1 1077944384 47605 0 0 0 257 48 0 0 20 0 15 0 155110941 14320615424 94467 33554432000 4194304 4196468 140732780823840 139989954021872 139990614035074 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19494] ppid=19485 vsize=13984976 memory=1004 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19494/stat : 19494 (java) S 19485 19485 13358 0 -1 1077944384 56 0 0 0 0 0 0 0 20 0 15 0 155110941 14320615424 94467 33554432000 4194304 4196468 140732780823840 139989952968160 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19495] ppid=19485 vsize=13984976 memory=1436 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19495/stat : 19495 (java) S 19485 19485 13358 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 155110942 14320615424 94467 33554432000 4194304 4196468 140732780823840 139989951915520 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19496] ppid=19485 vsize=13984976 memory=1200 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19496/stat : 19496 (java) S 19485 19485 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155110944 14320615424 94467 33554432000 4194304 4196468 140732780823840 139989950864080 139990614042523 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19497] ppid=19485 vsize=13984976 memory=15876 CPUtime=3.32 cores=0,2,4,6
/proc/19487/task/19497/stat : 19497 (java) S 19485 19485 13358 0 -1 1077944384 18631 0 0 0 329 3 0 0 20 0 15 0 155110944 14320615424 94467 33554432000 4194304 4196468 140732780823840 139989949810672 139990614035074 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19498] ppid=19485 vsize=13984976 memory=4040 CPUtime=4.13 cores=0,2,4,6
/proc/19487/task/19498/stat : 19498 (java) S 19485 19485 13358 0 -1 1077944384 26108 0 0 0 410 3 0 0 20 0 15 0 155110944 14320615424 94467 33554432000 4194304 4196468 140732780823840 139989948758128 139990614035074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19499] ppid=19485 vsize=13984976 memory=24628 CPUtime=0.71 cores=0,2,4,6
/proc/19487/task/19499/stat : 19499 (java) S 19485 19485 13358 0 -1 1077944384 9445 0 0 0 69 2 0 0 20 0 15 0 155110944 14320615424 94467 33554432000 4194304 4196468 140732780823840 139989947705584 139990614035074 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19500] ppid=19485 vsize=13984976 memory=18292 CPUtime=0 cores=0,2,4,6
/proc/19487/task/19500/stat : 19500 (java) S 19485 19485 13358 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 155110944 14320615424 94467 33554432000 4194304 4196468 140732780823840 139989946653280 139990614034133 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
[pid=19487/tid=19501] ppid=19485 vsize=13984976 memory=1792 CPUtime=1.35 cores=0,2,4,6
/proc/19487/task/19501/stat : 19501 (java) S 19485 19485 13358 0 -1 1077944384 1287 0 0 0 62 73 0 0 20 0 15 0 155110944 14320615424 94467 33554432000 4194304 4196468 140732780823840 139989945600816 139990614035074 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 8 0 0 6293624 6294260 13705216 140732780831895 140732780832071 140732780832071 140732780834767 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 379252 KiB

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

[startup+2455.61 s]
# the end of solver process 19485 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0 s, system=0.001879 s

[startup+2455.61 s]
# the end of solver process 19487 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2513.85 s, system=6.25873 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): 2455.61
CPU time (s): 2520.11
CPU user time (s): 2513.85
CPU system time (s): 6.25873
CPU usage (%): 102.626
Max. virtual memory (cumulated for all children) (KiB): 13996136
Max. memory (cumulated for all children) (KiB): 634000

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.85
system time used= 6.25873
maximum resident set size= 637260
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 337233
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2848
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 111722
involuntary context switches= 5769


# summary of solver processes directly reported to runsolver:
#   pid: 19485,19487
#   total CPU time (s): 2520.11
#   total CPU user time (s): 2513.85
#   total CPU system time (s): 6.25873

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.2753 second user time and 25.1363 second system time

The end

Launcher Data 

Begin job on node112 at 2017-08-20 10:56:13
IDJOB=4283211
IDBENCH=136881
IDSOLVER=2679
FILE ID=node112/4283211-1503220233
RUNJOBID= node112-1503215489-19072
PBS_JOBID= 20630869
Free space on /tmp= 61780 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/BinPacking/BinPacking-sum-ft/BinPacking-sum-ft060-11.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4283211-1503220233/watcher-4283211-1503220233 -o /tmp/evaluation-result-4283211-1503220233/solver-4283211-1503220233 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node112-1503215489-19072 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1843957910 HOME/instance-4283211-1503220233.xml

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

MD5SUM BENCH= 684901dbc993846247574678cc891221
RANDOM SEED=1843957910

node112.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.24
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.24
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.24
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.24
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:        24728568 kB
MemAvailable:   31489796 kB
Buffers:          255964 kB
Cached:          6794932 kB
SwapCached:            0 kB
Active:          1664040 kB
Inactive:        5923756 kB
Active(anon):     488792 kB
Inactive(anon):    84384 kB
Active(file):    1175248 kB
Inactive(file):  5839372 kB
Unevictable:        7844 kB
Mlocked:            7844 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7916 kB
Writeback:             0 kB
AnonPages:        775940 kB
Mapped:            64104 kB
Shmem:             33416 kB
Slab:             151912 kB
SReclaimable:     124884 kB
SUnreclaim:        27028 kB
KernelStack:        3840 kB
PageTables:         6524 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1171424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    696320 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= 61772 MiB
End job on node112 at 2017-08-20 11:37:09