Trace number 4269974

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 seq (2017-08-09)? (TO) 245.66 240.02499

General information on the benchmark

NameBinPacking/BinPacking-mdd-sw100/
BinPacking-mdd-sw100-92.xml
MD5SUM6d97f1ae26f5c15ae832acf0c34f9a7a
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark240.036
Satisfiable
(Un)Satisfiability was proved
Number of variables109
Number of constraints21
Number of domains2
Minimum domain size19
Maximum domain size46
Distribution of domain sizes[{"size":19,"count":1},{"size":46,"count":108}]
Minimum variable degree2
Maximum variable degree4
Distribution of variable degrees[{"degree":2,"count":1},{"degree":3,"count":90},{"degree":4,"count":18}]
Minimum constraint arity6
Maximum constraint arity108
Distribution of constraint arities[{"arity":6,"count":18},{"arity":19,"count":1},{"arity":108,"count":2}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"mdd","count":18},{"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 -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4269974-1502623615.xml"  -tl '264s' -p 1 -x 0
0.11/0.14	c [HOME/instance-4269974-1502623615.xml, -tl, 264s, -p, 1, -x, 0]
0.11/0.20	c simple solver
0.33/0.27	c parse instance...
3.92/1.62	c solve instance...
245.63/240.01	s UNKNOWN
245.63/240.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 (15318 MiB free)
  memory of node 1: 16384 MiB (15526 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4269974-1502623615/watcher-4269974-1502623615 -o /tmp/evaluation-result-4269974-1502623615/solver-4269974-1502623615 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node103-1502620106-1701 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 768196400 HOME/instance-4269974-1502623615.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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=4098, runsolver pid=4095
Current StackSize limit: 8192 KiB


[startup+0.100092 s]*
/proc/loadavg: 1.98 2.03 1.96 3/218 4114
/proc/meminfo: memFree=31568092/32770624 swapFree=67108860/67108860
[pid=4098] ppid=4095 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4098/stat : 4098 (xcsp3-exec) S 4095 4098 30973 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95449728 9740288 346 33554432000 4194304 5098028 140734910771888 140734910769992 140566253789820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13672448 140734910776437 140734910776640 140734910776640 140734910779371 0
/proc/4098/statm: 2378 346 289 221 0 87 0
[pid=4100] ppid=4098 vsize=13978596 memory=27488 CPUtime=0.11 cores=0,2,4,6
/proc/4100/stat : 4100 (java) S 4098 4098 30973 0 -1 1077944320 5307 0 0 0 10 1 0 0 20 0 15 0 95449728 14314082304 6872 33554432000 4194304 4196468 140734805189984 140734805172528 139968153788151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
/proc/4100/statm: 3494649 6872 2843 1 0 3482966 0
[pid=4100/tid=4101] ppid=4098 vsize=13978596 memory=7898910893248706067 CPUtime=0.08 cores=0,2,4,6
/proc/4100/task/4101/stat : 4101 (java) R 4098 4098 30973 0 -1 4202560 3327 0 0 0 8 0 0 0 20 0 15 0 95449728 14314082304 6938 33554432000 4194304 4196468 140734805189984 139968158021424 139968153800086 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4102] ppid=4098 vsize=13978596 memory=3472468482526577872 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4102/stat : 4102 (java) S 4098 4098 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95449729 14314082304 6938 33554432000 4194304 4196468 140734805189984 139968091388560 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4103] ppid=4098 vsize=13978596 memory=140353631426176 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4103/stat : 4103 (java) S 4098 4098 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95449729 14314082304 6938 33554432000 4194304 4196468 140734805189984 139968090335760 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4104] ppid=4098 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4104/stat : 4104 (java) S 4098 4098 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95449729 14314082304 6938 33554432000 4194304 4196468 140734805189984 139968089282960 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4105] ppid=4098 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4105/stat : 4105 (java) S 4098 4098 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95449729 14314082304 6938 33554432000 4194304 4196468 140734805189984 139968088230160 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4106] ppid=4098 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4106/stat : 4106 (java) S 4098 4098 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95449730 14314082304 6938 33554432000 4194304 4196468 140734805189984 139967695145840 139968153799298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4107] ppid=4098 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4107/stat : 4107 (java) S 4098 4098 30973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95449731 14314082304 6938 33554432000 4194304 4196468 140734805189984 139967694091808 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4108] ppid=4098 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4108/stat : 4108 (java) S 4098 4098 30973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95449731 14314082304 6938 33554432000 4194304 4196468 140734805189984 139967693038960 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4109] ppid=4098 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4109/stat : 4109 (java) S 4098 4098 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95449734 14314082304 7003 33554432000 4194304 4196468 140734805189984 139967691987280 139968153806747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4110] ppid=4098 vsize=13978596 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4110/stat : 4110 (java) R 4098 4098 30973 0 -1 4202560 304 0 0 0 0 0 0 0 20 0 15 0 95449734 14314082304 7003 33554432000 4194304 4196468 140734805189984 139967690934640 139968153800086 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4111] ppid=4098 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4111/stat : 4111 (java) S 4098 4098 30973 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 95449734 14314082304 7003 33554432000 4194304 4196468 140734805189984 139967689881840 139968153799298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4112] ppid=4098 vsize=13978596 memory=140353631426176 CPUtime=0.01 cores=0,2,4,6
/proc/4100/task/4112/stat : 4112 (java) R 4098 4098 30973 0 -1 4202560 267 0 0 0 1 0 0 0 20 0 15 0 95449734 14314082304 7003 33554432000 4194304 4196468 140734805189984 139967688829040 139968135025712 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4113] ppid=4098 vsize=13978596 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4113/stat : 4113 (java) S 4098 4098 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95449734 14314082304 7003 33554432000 4194304 4196468 140734805189984 139967687776480 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4114] ppid=4098 vsize=13978596 memory=140353631426176 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4114/stat : 4114 (java) S 4098 4098 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95449734 14314082304 7003 33554432000 4194304 4196468 140734805189984 139967686724784 139968153799298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 13988108 KiB
Current children cumulated memory: 28872 KiB

[startup+0.210678 s]*
/proc/loadavg: 1.98 2.03 1.96 5/218 4114
/proc/meminfo: memFree=31557332/32770624 swapFree=67108860/67108860
[pid=4098] ppid=4095 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4098/stat : 4098 (xcsp3-exec) S 4095 4098 30973 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95449728 9740288 346 33554432000 4194304 5098028 140734910771888 140734910769992 140566253789820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13672448 140734910776437 140734910776640 140734910776640 140734910779371 0
/proc/4098/statm: 2378 346 289 221 0 87 0
[pid=4100] ppid=4098 vsize=13982852 memory=40212 CPUtime=0.33 cores=0,2,4,6
/proc/4100/stat : 4100 (java) S 4098 4098 30973 0 -1 1077944320 8044 0 0 0 31 2 0 0 20 0 15 0 95449728 14318440448 10053 33554432000 4194304 4196468 140734805189984 140734805172528 139968153788151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
/proc/4100/statm: 3495713 10053 3076 1 0 3482966 0
[pid=4100/tid=4101] ppid=4098 vsize=13982852 memory=7898910893248706067 CPUtime=0.19 cores=0,2,4,6
/proc/4100/task/4101/stat : 4101 (java) R 4098 4098 30973 0 -1 4202560 5230 0 0 0 18 1 0 0 20 0 15 0 95449728 14318440448 10053 33554432000 4194304 4196468 140734805189984 139968158011040 139968153810077 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4102] ppid=4098 vsize=13982852 memory=3472468482526577872 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4102/stat : 4102 (java) S 4098 4098 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95449729 14318440448 10053 33554432000 4194304 4196468 140734805189984 139968091388560 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4103] ppid=4098 vsize=13982852 memory=140353631426176 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4103/stat : 4103 (java) S 4098 4098 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95449729 14318440448 10053 33554432000 4194304 4196468 140734805189984 139968090335760 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4104] ppid=4098 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4104/stat : 4104 (java) S 4098 4098 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95449729 14318440448 10053 33554432000 4194304 4196468 140734805189984 139968089282960 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4105] ppid=4098 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4105/stat : 4105 (java) S 4098 4098 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95449729 14318440448 10053 33554432000 4194304 4196468 140734805189984 139968088230160 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4106] ppid=4098 vsize=13982852 memory=140353631426176 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4106/stat : 4106 (java) S 4098 4098 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95449730 14318440448 10053 33554432000 4194304 4196468 140734805189984 139967695145840 139968153799298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4107] ppid=4098 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4107/stat : 4107 (java) S 4098 4098 30973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95449731 14318440448 10053 33554432000 4194304 4196468 140734805189984 139967694091808 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4108] ppid=4098 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4108/stat : 4108 (java) S 4098 4098 30973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95449731 14318440448 10053 33554432000 4194304 4196468 140734805189984 139967693038960 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4109] ppid=4098 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4109/stat : 4109 (java) S 4098 4098 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95449734 14318440448 10053 33554432000 4194304 4196468 140734805189984 139967691987280 139968153806747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4110] ppid=4098 vsize=13982852 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/4100/task/4110/stat : 4110 (java) S 4098 4098 30973 0 -1 1077944384 418 0 0 0 2 0 0 0 20 0 15 0 95449734 14318440448 10053 33554432000 4194304 4196468 140734805189984 139967690934640 139968153799298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4111] ppid=4098 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4100/task/4111/stat : 4111 (java) S 4098 4098 30973 0 -1 1077944384 345 0 0 0 2 0 0 0 20 0 15 0 95449734 14318440448 10053 33554432000 4194304 4196468 140734805189984 139967689881840 139968153799298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4112] ppid=4098 vsize=13982852 memory=140353631426176 CPUtime=0.07 cores=0,2,4,6
/proc/4100/task/4112/stat : 4112 (java) R 4098 4098 30973 0 -1 4202560 754 0 0 0 7 0 0 0 20 0 15 0 95449734 14318440448 10053 33554432000 4194304 4196468 140734805189984 139967688829040 139968137868638 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4113] ppid=4098 vsize=13982852 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4113/stat : 4113 (java) S 4098 4098 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95449734 14318440448 10053 33554432000 4194304 4196468 140734805189984 139967687776480 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4114] ppid=4098 vsize=13982852 memory=140353631426176 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4114/stat : 4114 (java) S 4098 4098 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95449734 14318440448 10053 33554432000 4194304 4196468 140734805189984 139967686724784 139968153799298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
Current children cumulated CPU time: 0.33 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 41596 KiB

[startup+0.31045 s]*
/proc/loadavg: 1.98 2.03 1.96 5/218 4114
/proc/meminfo: memFree=31550136/32770624 swapFree=67108860/67108860
[pid=4098] ppid=4095 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4098/stat : 4098 (xcsp3-exec) S 4095 4098 30973 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95449728 9740288 346 33554432000 4194304 5098028 140734910771888 140734910769992 140566253789820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13672448 140734910776437 140734910776640 140734910776640 140734910779371 0
/proc/4098/statm: 2378 346 289 221 0 87 0
[pid=4100] ppid=4098 vsize=13982852 memory=47160 CPUtime=0.49 cores=0,2,4,6
/proc/4100/stat : 4100 (java) S 4098 4098 30973 0 -1 1077944320 8931 0 0 0 46 3 0 0 20 0 15 0 95449728 14318440448 11790 33554432000 4194304 4196468 140734805189984 140734805172528 139968153788151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
/proc/4100/statm: 3495713 11790 3110 1 0 3482966 0
[pid=4100/tid=4101] ppid=4098 vsize=13982852 memory=-7174084197796576197 CPUtime=0.29 cores=0,2,4,6
/proc/4100/task/4101/stat : 4101 (java) R 4098 4098 30973 0 -1 4202560 5896 0 0 0 27 2 0 0 20 0 15 0 95449728 14318440448 11790 33554432000 4194304 4196468 140734805189984 139968158025296 139968153810077 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4102] ppid=4098 vsize=13982852 memory=-7001736328920018669 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4102/stat : 4102 (java) S 4098 4098 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95449729 14318440448 11790 33554432000 4194304 4196468 140734805189984 139968091388560 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4103] ppid=4098 vsize=13982852 memory=220 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4103/stat : 4103 (java) S 4098 4098 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95449729 14318440448 11790 33554432000 4194304 4196468 140734805189984 139968090335760 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4104] ppid=4098 vsize=13982852 memory=49 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4104/stat : 4104 (java) S 4098 4098 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95449729 14318440448 11790 33554432000 4194304 4196468 140734805189984 139968089282960 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4105] ppid=4098 vsize=13982852 memory=140353491576863 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4105/stat : 4105 (java) S 4098 4098 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95449729 14318440448 11790 33554432000 4194304 4196468 140734805189984 139968088230160 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4106] ppid=4098 vsize=13982852 memory=280706983126048 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4106/stat : 4106 (java) S 4098 4098 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95449730 14318440448 11790 33554432000 4194304 4196468 140734805189984 139967695145840 139968153799298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4107] ppid=4098 vsize=13982852 memory=140353491546895 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4107/stat : 4107 (java) S 4098 4098 30973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95449731 14318440448 11790 33554432000 4194304 4196468 140734805189984 139967694091808 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4108] ppid=4098 vsize=13982852 memory=280707122982240 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4108/stat : 4108 (java) S 4098 4098 30973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95449731 14318440448 11790 33554432000 4194304 4196468 140734805189984 139967693038960 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4109] ppid=4098 vsize=13982852 memory=140353491551503 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4109/stat : 4109 (java) S 4098 4098 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95449734 14318440448 11790 33554432000 4194304 4196468 140734805189984 139967691987280 139968153806747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4110] ppid=4098 vsize=13982852 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/4100/task/4110/stat : 4110 (java) R 4098 4098 30973 0 -1 4202560 547 0 0 0 4 0 0 0 20 0 15 0 95449734 14318440448 11790 33554432000 4194304 4196468 140734805189984 139967690934640 139968146077600 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4111] ppid=4098 vsize=13982852 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/4100/task/4111/stat : 4111 (java) R 4098 4098 30973 0 -1 1077944384 346 0 0 0 2 0 0 0 20 0 15 0 95449734 14318440448 11790 33554432000 4194304 4196468 140734805189984 139967689881840 139968153799298 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4112] ppid=4098 vsize=13982852 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/4100/task/4112/stat : 4112 (java) S 4098 4098 30973 0 -1 1077944384 851 0 0 0 12 0 0 0 20 0 15 0 95449734 14318440448 11790 33554432000 4194304 4196468 140734805189984 139967688829040 139968153799298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4113] ppid=4098 vsize=13982852 memory=0 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4113/stat : 4113 (java) S 4098 4098 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95449734 14318440448 11790 33554432000 4194304 4196468 140734805189984 139967687776480 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4114] ppid=4098 vsize=13982852 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4114/stat : 4114 (java) S 4098 4098 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95449734 14318440448 11790 33554432000 4194304 4196468 140734805189984 139967686724784 139968153799298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 13992364 KiB
Current children cumulated memory: 48544 KiB

[startup+0.700906 s]
/proc/loadavg: 1.98 2.03 1.96 5/218 4114
/proc/meminfo: memFree=31515616/32770624 swapFree=67108860/67108860
[pid=4098] ppid=4095 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4098/stat : 4098 (xcsp3-exec) S 4095 4098 30973 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95449728 9740288 346 33554432000 4194304 5098028 140734910771888 140734910769992 140566253789820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13672448 140734910776437 140734910776640 140734910776640 140734910779371 0
/proc/4098/statm: 2378 346 289 221 0 87 0
[pid=4100] ppid=4098 vsize=13982928 memory=118468 CPUtime=1.53 cores=0,2,4,6
/proc/4100/stat : 4100 (java) S 4098 4098 30973 0 -1 1077944320 10943 0 0 0 148 5 0 0 20 0 15 0 95449728 14318518272 29617 33554432000 4194304 4196468 140734805189984 140734805172528 139968153788151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
/proc/4100/statm: 3495732 29617 3195 1 0 3482966 0
[pid=4100/tid=4101] ppid=4098 vsize=13982928 memory=1724 CPUtime=0.66 cores=0,2,4,6
/proc/4100/task/4101/stat : 4101 (java) R 4098 4098 30973 0 -1 4202560 6263 0 0 0 63 3 0 0 20 0 15 0 95449728 14318518272 29617 33554432000 4194304 4196468 140734805189984 139968158023728 139968136250843 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4102] ppid=4098 vsize=13982928 memory=1012 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4102/stat : 4102 (java) S 4098 4098 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95449729 14318518272 29617 33554432000 4194304 4196468 140734805189984 139968091388560 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4103] ppid=4098 vsize=13982928 memory=1716 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4103/stat : 4103 (java) S 4098 4098 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95449729 14318518272 29617 33554432000 4194304 4196468 140734805189984 139968090335760 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4104] ppid=4098 vsize=13982928 memory=280706983191488 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4104/stat : 4104 (java) S 4098 4098 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95449729 14318518272 29617 33554432000 4194304 4196468 140734805189984 139968089282960 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4105] ppid=4098 vsize=13982928 memory=280706983195872 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4105/stat : 4105 (java) S 4098 4098 30973 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 95449729 14318518272 29617 33554432000 4194304 4196468 140734805189984 139968088230160 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4106] ppid=4098 vsize=13982928 memory=3184238273567568800 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4106/stat : 4106 (java) S 4098 4098 30973 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 95449730 14318518272 29617 33554432000 4194304 4196468 140734805189984 139967695145840 139968153799298 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4107] ppid=4098 vsize=13982928 memory=280706983204768 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4107/stat : 4107 (java) S 4098 4098 30973 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 95449731 14318518272 29617 33554432000 4194304 4196468 140734805189984 139967694091808 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4108] ppid=4098 vsize=13982928 memory=1420 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4108/stat : 4108 (java) S 4098 4098 30973 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 95449731 14318518272 29617 33554432000 4194304 4196468 140734805189984 139967693038960 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4109] ppid=4098 vsize=13982928 memory=13040 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4109/stat : 4109 (java) S 4098 4098 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95449734 14318518272 29617 33554432000 4194304 4196468 140734805189984 139967691987280 139968153806747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4110] ppid=4098 vsize=13982928 memory=0 CPUtime=0.31 cores=0,2,4,6
/proc/4100/task/4110/stat : 4110 (java) S 4098 4098 30973 0 -1 1077944384 1142 0 0 0 31 0 0 0 20 0 15 0 95449734 14318518272 29617 33554432000 4194304 4196468 140734805189984 139967690934640 139968153799298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4111] ppid=4098 vsize=13982928 memory=0 CPUtime=0.3 cores=0,2,4,6
/proc/4100/task/4111/stat : 4111 (java) S 4098 4098 30973 0 -1 1077944384 986 0 0 0 30 0 0 0 20 0 15 0 95449734 14318518272 29617 33554432000 4194304 4196468 140734805189984 139967689881840 139968153799298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4112] ppid=4098 vsize=13982928 memory=0 CPUtime=0.22 cores=0,2,4,6
/proc/4100/task/4112/stat : 4112 (java) S 4098 4098 30973 0 -1 1077944384 1246 0 0 0 22 0 0 0 20 0 15 0 95449734 14318518272 29617 33554432000 4194304 4196468 140734805189984 139967688829040 139968153799298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4113] ppid=4098 vsize=13982928 memory=2209 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4113/stat : 4113 (java) S 4098 4098 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95449734 14318518272 29617 33554432000 4194304 4196468 140734805189984 139967687776480 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4114] ppid=4098 vsize=13982928 memory=8996 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4114/stat : 4114 (java) S 4098 4098 30973 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 95449734 14318518272 29617 33554432000 4194304 4196468 140734805189984 139967686724784 139968153799298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
Current children cumulated CPU time: 1.53 s
Current children cumulated vsize: 13992440 KiB
Current children cumulated memory: 119852 KiB

[startup+1.5008 s]
/proc/loadavg: 1.98 2.03 1.96 3/218 4114
/proc/meminfo: memFree=31432148/32770624 swapFree=67108860/67108860
[pid=4098] ppid=4095 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4098/stat : 4098 (xcsp3-exec) S 4095 4098 30973 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95449728 9740288 346 33554432000 4194304 5098028 140734910771888 140734910769992 140566253789820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13672448 140734910776437 140734910776640 140734910776640 140734910779371 0
/proc/4098/statm: 2378 346 289 221 0 87 0

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

/proc/4100/task/4108/stat : 4108 (java) S 4098 4098 30973 0 -1 1077944384 81 0 0 0 0 0 0 0 20 0 15 0 95449731 14320615424 122537 33554432000 4194304 4196468 140734805189984 139967693038976 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4109] ppid=4098 vsize=13984976 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4109/stat : 4109 (java) S 4098 4098 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95449734 14320615424 122537 33554432000 4194304 4196468 140734805189984 139967691987280 139968153806747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4110] ppid=4098 vsize=13984976 memory=2336 CPUtime=2.47 cores=0,2,4,6
/proc/4100/task/4110/stat : 4110 (java) S 4098 4098 30973 0 -1 1077944384 12441 0 0 0 246 1 0 0 20 0 15 0 95449734 14320615424 122537 33554432000 4194304 4196468 140734805189984 139967690934640 139968153799298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4111] ppid=4098 vsize=13984976 memory=0 CPUtime=2.06 cores=0,2,4,6
/proc/4100/task/4111/stat : 4111 (java) S 4098 4098 30973 0 -1 1077944384 9496 0 0 0 205 1 0 0 20 0 15 0 95449734 14320615424 122537 33554432000 4194304 4196468 140734805189984 139967689881840 139968153799298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4112] ppid=4098 vsize=13984976 memory=5793997895848519014 CPUtime=0.49 cores=0,2,4,6
/proc/4100/task/4112/stat : 4112 (java) S 4098 4098 30973 0 -1 1077944384 6206 0 0 0 48 1 0 0 20 0 15 0 95449734 14320615424 122537 33554432000 4194304 4196468 140734805189984 139967688829040 139968153799298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 6 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4113] ppid=4098 vsize=13984976 memory=465992 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4113/stat : 4113 (java) S 4098 4098 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95449734 14320615424 122537 33554432000 4194304 4196468 140734805189984 139967687776480 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4114] ppid=4098 vsize=13984976 memory=465992 CPUtime=0.05 cores=0,2,4,6
/proc/4100/task/4114/stat : 4114 (java) S 4098 4098 30973 0 -1 1077944384 579 0 0 0 3 2 0 0 20 0 15 0 95449734 14320615424 122537 33554432000 4194304 4196468 140734805189984 139967686724784 139968153799298 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 14 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
Current children cumulated CPU time: 107.58 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 491532 KiB

[startup+162.301 s]
/proc/loadavg: 1.94 2.00 1.95 6/217 4194
/proc/meminfo: memFree=28646556/32770624 swapFree=67108860/67108860
[pid=4098] ppid=4095 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4098/stat : 4098 (xcsp3-exec) S 4095 4098 30973 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95449728 9740288 346 33554432000 4194304 5098028 140734910771888 140734910769992 140566253789820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13672448 140734910776437 140734910776640 140734910776640 140734910779371 0
/proc/4098/statm: 2378 346 289 221 0 87 0
[pid=4100] ppid=4098 vsize=13984976 memory=704240 CPUtime=167.73 cores=0,2,4,6
/proc/4100/stat : 4100 (java) S 4098 4098 30973 0 -1 1077944320 47105 0 0 0 16740 33 0 0 20 0 15 0 95449728 14320615424 176060 33554432000 4194304 4196468 140734805189984 140734805172528 139968153788151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
/proc/4100/statm: 3496244 176060 3257 1 0 3483478 0
[pid=4100/tid=4101] ppid=4098 vsize=13984976 memory=704240 CPUtime=162.16 cores=0,2,4,6
/proc/4100/task/4101/stat : 4101 (java) R 4098 4098 30973 0 -1 4202560 11705 0 0 0 16206 10 0 0 20 0 15 0 95449728 14320615424 176060 33554432000 4194304 4196468 140734805189984 139968158025352 139967771236696 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4102] ppid=4098 vsize=13984976 memory=704240 CPUtime=0.04 cores=0,2,4,6
/proc/4100/task/4102/stat : 4102 (java) S 4098 4098 30973 0 -1 1077944384 563 0 0 0 2 2 0 0 20 0 15 0 95449729 14320615424 176060 33554432000 4194304 4196468 140734805189984 139968091388560 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4103] ppid=4098 vsize=13984976 memory=704240 CPUtime=0.07 cores=0,2,4,6
/proc/4100/task/4103/stat : 4103 (java) S 4098 4098 30973 0 -1 1077944384 829 0 0 0 4 3 0 0 20 0 15 0 95449729 14320615424 176060 33554432000 4194304 4196468 140734805189984 139968090335760 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4104] ppid=4098 vsize=13984976 memory=704240 CPUtime=0.07 cores=0,2,4,6
/proc/4100/task/4104/stat : 4104 (java) S 4098 4098 30973 0 -1 1077944384 1006 0 0 0 4 3 0 0 20 0 15 0 95449729 14320615424 176060 33554432000 4194304 4196468 140734805189984 139968089282960 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4105] ppid=4098 vsize=13984976 memory=1384 CPUtime=0.07 cores=0,2,4,6
/proc/4100/task/4105/stat : 4105 (java) S 4098 4098 30973 0 -1 1077944384 917 0 0 0 4 3 0 0 20 0 15 0 95449729 14320615424 176060 33554432000 4194304 4196468 140734805189984 139968088230160 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4106] ppid=4098 vsize=13984976 memory=1384 CPUtime=0.01 cores=0,2,4,6
/proc/4100/task/4106/stat : 4106 (java) S 4098 4098 30973 0 -1 1077944384 1326 0 0 0 1 0 0 0 20 0 15 0 95449730 14320615424 176060 33554432000 4194304 4196468 140734805189984 139967695145840 139968153799298 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4107] ppid=4098 vsize=13984976 memory=465996 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4107/stat : 4107 (java) S 4098 4098 30973 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 95449731 14320615424 176060 33554432000 4194304 4196468 140734805189984 139967694091872 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4108] ppid=4098 vsize=13984976 memory=27548 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4108/stat : 4108 (java) S 4098 4098 30973 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 95449731 14320615424 176060 33554432000 4194304 4196468 140734805189984 139967693038976 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4109] ppid=4098 vsize=13984976 memory=4140 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4109/stat : 4109 (java) S 4098 4098 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95449734 14320615424 176060 33554432000 4194304 4196468 140734805189984 139967691987280 139968153806747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4110] ppid=4098 vsize=13984976 memory=27548 CPUtime=2.5 cores=0,2,4,6
/proc/4100/task/4110/stat : 4110 (java) S 4098 4098 30973 0 -1 1077944384 12577 0 0 0 249 1 0 0 20 0 15 0 95449734 14320615424 176060 33554432000 4194304 4196468 140734805189984 139967690934640 139968153799298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4111] ppid=4098 vsize=13984976 memory=1384 CPUtime=2.13 cores=0,2,4,6
/proc/4100/task/4111/stat : 4111 (java) S 4098 4098 30973 0 -1 1077944384 9929 0 0 0 212 1 0 0 20 0 15 0 95449734 14320615424 176060 33554432000 4194304 4196468 140734805189984 139967689881840 139968153799298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4112] ppid=4098 vsize=13984976 memory=704240 CPUtime=0.5 cores=0,2,4,6
/proc/4100/task/4112/stat : 4112 (java) S 4098 4098 30973 0 -1 1077944384 6254 0 0 0 49 1 0 0 20 0 15 0 95449734 14320615424 176060 33554432000 4194304 4196468 140734805189984 139967688829040 139968153799298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4113] ppid=4098 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4113/stat : 4113 (java) S 4098 4098 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95449734 14320615424 176060 33554432000 4194304 4196468 140734805189984 139967687776480 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4114] ppid=4098 vsize=13984976 memory=704240 CPUtime=0.09 cores=0,2,4,6
/proc/4100/task/4114/stat : 4114 (java) S 4098 4098 30973 0 -1 1077944384 583 0 0 0 5 4 0 0 20 0 15 0 95449734 14320615424 176060 33554432000 4194304 4196468 140734805189984 139967686724784 139968153799298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 14 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
Current children cumulated CPU time: 167.73 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 705624 KiB

[startup+222.301 s]
/proc/loadavg: 2.12 2.04 1.97 3/216 4195
/proc/meminfo: memFree=22033844/32770624 swapFree=67108860/67108860
[pid=4098] ppid=4095 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4098/stat : 4098 (xcsp3-exec) S 4095 4098 30973 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95449728 9740288 346 33554432000 4194304 5098028 140734910771888 140734910769992 140566253789820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13672448 140734910776437 140734910776640 140734910776640 140734910779371 0
/proc/4098/statm: 2378 346 289 221 0 87 0
[pid=4100] ppid=4098 vsize=13984976 memory=726044 CPUtime=227.86 cores=0,2,4,6
/proc/4100/stat : 4100 (java) S 4098 4098 30973 0 -1 1077944320 51616 0 0 0 22749 37 0 0 20 0 15 0 95449728 14320615424 181511 33554432000 4194304 4196468 140734805189984 140734805172528 139968153788151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
/proc/4100/statm: 3496244 181511 3260 1 0 3483478 0
[pid=4100/tid=4101] ppid=4098 vsize=13984976 memory=726044 CPUtime=222.15 cores=0,2,4,6
/proc/4100/task/4101/stat : 4101 (java) R 4098 4098 30973 0 -1 4202560 12807 0 0 0 22205 10 0 0 20 0 15 0 95449728 14320615424 181511 33554432000 4194304 4196468 140734805189984 139968158025128 139967771236022 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4102] ppid=4098 vsize=13984976 memory=726044 CPUtime=0.06 cores=0,2,4,6
/proc/4100/task/4102/stat : 4102 (java) S 4098 4098 30973 0 -1 1077944384 622 0 0 0 3 3 0 0 20 0 15 0 95449729 14320615424 181511 33554432000 4194304 4196468 140734805189984 139968091388560 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4103] ppid=4098 vsize=13984976 memory=1384 CPUtime=0.07 cores=0,2,4,6
/proc/4100/task/4103/stat : 4103 (java) S 4098 4098 30973 0 -1 1077944384 1062 0 0 0 4 3 0 0 20 0 15 0 95449729 14320615424 181511 33554432000 4194304 4196468 140734805189984 139968090335760 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4104] ppid=4098 vsize=13984976 memory=726036 CPUtime=0.08 cores=0,2,4,6
/proc/4100/task/4104/stat : 4104 (java) S 4098 4098 30973 0 -1 1077944384 1306 0 0 0 4 4 0 0 20 0 15 0 95449729 14320615424 181511 33554432000 4194304 4196468 140734805189984 139968089282960 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4105] ppid=4098 vsize=13984976 memory=1384 CPUtime=0.08 cores=0,2,4,6
/proc/4100/task/4105/stat : 4105 (java) S 4098 4098 30973 0 -1 1077944384 1004 0 0 0 5 3 0 0 20 0 15 0 95449729 14320615424 181511 33554432000 4194304 4196468 140734805189984 139968088230160 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4106] ppid=4098 vsize=13984976 memory=1384 CPUtime=0.01 cores=0,2,4,6
/proc/4100/task/4106/stat : 4106 (java) S 4098 4098 30973 0 -1 1077944384 1534 0 0 0 1 0 0 0 20 0 15 0 95449730 14320615424 181511 33554432000 4194304 4196468 140734805189984 139967695145840 139968153799298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4107] ppid=4098 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4107/stat : 4107 (java) S 4098 4098 30973 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 95449731 14320615424 181511 33554432000 4194304 4196468 140734805189984 139967694091872 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4108] ppid=4098 vsize=13984976 memory=726044 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4108/stat : 4108 (java) S 4098 4098 30973 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 95449731 14320615424 181511 33554432000 4194304 4196468 140734805189984 139967693038976 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4109] ppid=4098 vsize=13984976 memory=726036 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4109/stat : 4109 (java) S 4098 4098 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95449734 14320615424 181511 33554432000 4194304 4196468 140734805189984 139967691987280 139968153806747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4110] ppid=4098 vsize=13984976 memory=792 CPUtime=2.51 cores=0,2,4,6
/proc/4100/task/4110/stat : 4110 (java) S 4098 4098 30973 0 -1 1077944384 12872 0 0 0 249 2 0 0 20 0 15 0 95449734 14320615424 181511 33554432000 4194304 4196468 140734805189984 139967690934640 139968153799298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4111] ppid=4098 vsize=13984976 memory=8548 CPUtime=2.17 cores=0,2,4,6
/proc/4100/task/4111/stat : 4111 (java) S 4098 4098 30973 0 -1 1077944384 11373 0 0 0 216 1 0 0 20 0 15 0 95449734 14320615424 181511 33554432000 4194304 4196468 140734805189984 139967689881840 139968153799298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4112] ppid=4098 vsize=13984976 memory=1228 CPUtime=0.5 cores=0,2,4,6
/proc/4100/task/4112/stat : 4112 (java) S 4098 4098 30973 0 -1 1077944384 6980 0 0 0 49 1 0 0 20 0 15 0 95449734 14320615424 181511 33554432000 4194304 4196468 140734805189984 139967688829040 139968153799298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4113] ppid=4098 vsize=13984976 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4113/stat : 4113 (java) S 4098 4098 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95449734 14320615424 181511 33554432000 4194304 4196468 140734805189984 139967687776480 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4114] ppid=4098 vsize=13984976 memory=4140 CPUtime=0.12 cores=0,2,4,6
/proc/4100/task/4114/stat : 4114 (java) S 4098 4098 30973 0 -1 1077944384 640 0 0 0 7 5 0 0 20 0 15 0 95449734 14320615424 181511 33554432000 4194304 4196468 140734805189984 139967686724784 139968153799298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
Current children cumulated CPU time: 227.86 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 727428 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]*
/proc/loadavg: 2.24 2.07 1.98 6/216 4195
/proc/meminfo: memFree=19767068/32770624 swapFree=67108860/67108860
[pid=4098] ppid=4095 vsize=9512 memory=1384 CPUtime=0 cores=0,2,4,6
/proc/4098/stat : 4098 (xcsp3-exec) S 4095 4098 30973 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 95449728 9740288 346 33554432000 4194304 5098028 140734910771888 140734910769992 140566253789820 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 13672448 140734910776437 140734910776640 140734910776640 140734910779371 0
/proc/4098/statm: 2378 346 289 221 0 87 0
[pid=4100] ppid=4098 vsize=13984976 memory=726048 CPUtime=245.63 cores=0,2,4,6
/proc/4100/stat : 4100 (java) S 4098 4098 30973 0 -1 1077944320 52845 0 0 0 24525 38 0 0 20 0 15 0 95449728 14320615424 181512 33554432000 4194304 4196468 140734805189984 140734805172528 139968153788151 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
/proc/4100/statm: 3496244 181512 3261 1 0 3483478 0
[pid=4100/tid=4101] ppid=4098 vsize=13984976 memory=6935054825532540783 CPUtime=239.86 cores=0,2,4,6
/proc/4100/task/4101/stat : 4101 (java) R 4098 4098 30973 0 -1 4202560 13381 0 0 0 23975 11 0 0 20 0 15 0 95449728 14320615424 181512 33554432000 4194304 4196468 140734805189984 139968158024080 139967771236555 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4102] ppid=4098 vsize=13984976 memory=-7003737579269690708 CPUtime=0.06 cores=0,2,4,6
/proc/4100/task/4102/stat : 4102 (java) S 4098 4098 30973 0 -1 1077944384 622 0 0 0 3 3 0 0 20 0 15 0 95449729 14320615424 181512 33554432000 4194304 4196468 140734805189984 139968091388560 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4103] ppid=4098 vsize=13984976 memory=1384 CPUtime=0.07 cores=0,2,4,6
/proc/4100/task/4103/stat : 4103 (java) S 4098 4098 30973 0 -1 1077944384 1062 0 0 0 4 3 0 0 20 0 15 0 95449729 14320615424 181512 33554432000 4194304 4196468 140734805189984 139968090335760 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4104] ppid=4098 vsize=13984976 memory=726044 CPUtime=0.08 cores=0,2,4,6
/proc/4100/task/4104/stat : 4104 (java) S 4098 4098 30973 0 -1 1077944384 1306 0 0 0 4 4 0 0 20 0 15 0 95449729 14320615424 181512 33554432000 4194304 4196468 140734805189984 139968089282960 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4105] ppid=4098 vsize=13984976 memory=3056 CPUtime=0.08 cores=0,2,4,6
/proc/4100/task/4105/stat : 4105 (java) S 4098 4098 30973 0 -1 1077944384 1004 0 0 0 5 3 0 0 20 0 15 0 95449729 14320615424 181512 33554432000 4194304 4196468 140734805189984 139968088230160 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4106] ppid=4098 vsize=13984976 memory=1384 CPUtime=0.01 cores=0,2,4,6
/proc/4100/task/4106/stat : 4106 (java) S 4098 4098 30973 0 -1 1077944384 1535 0 0 0 1 0 0 0 20 0 15 0 95449730 14320615424 181512 33554432000 4194304 4196468 140734805189984 139967695145840 139968153799298 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4107] ppid=4098 vsize=13984976 memory=726044 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4107/stat : 4107 (java) S 4098 4098 30973 0 -1 1077944384 82 0 0 0 0 0 0 0 20 0 15 0 95449731 14320615424 181512 33554432000 4194304 4196468 140734805189984 139967694091872 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4108] ppid=4098 vsize=13984976 memory=1156 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4108/stat : 4108 (java) S 4098 4098 30973 0 -1 1077944384 93 0 0 0 0 0 0 0 20 0 15 0 95449731 14320615424 181512 33554432000 4194304 4196468 140734805189984 139967693038976 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4109] ppid=4098 vsize=13984976 memory=8548 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4109/stat : 4109 (java) S 4098 4098 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95449734 14320615424 181512 33554432000 4194304 4196468 140734805189984 139967691987280 139968153806747 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4110] ppid=4098 vsize=13984976 memory=1228 CPUtime=2.53 cores=0,2,4,6
/proc/4100/task/4110/stat : 4110 (java) S 4098 4098 30973 0 -1 1077944384 13415 0 0 0 251 2 0 0 20 0 15 0 95449734 14320615424 181512 33554432000 4194304 4196468 140734805189984 139967690934640 139968153799298 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4111] ppid=4098 vsize=13984976 memory=15876 CPUtime=2.21 cores=0,2,4,6
/proc/4100/task/4111/stat : 4111 (java) S 4098 4098 30973 0 -1 1077944384 11470 0 0 0 219 2 0 0 20 0 15 0 95449734 14320615424 181512 33554432000 4194304 4196468 140734805189984 139967689881840 139968153799298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4112] ppid=4098 vsize=13984976 memory=18476 CPUtime=0.5 cores=0,2,4,6
/proc/4100/task/4112/stat : 4112 (java) S 4098 4098 30973 0 -1 1077944384 6994 0 0 0 49 1 0 0 20 0 15 0 95449734 14320615424 181512 33554432000 4194304 4196468 140734805189984 139967688829040 139968153799298 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 6 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4113] ppid=4098 vsize=13984976 memory=15544 CPUtime=0 cores=0,2,4,6
/proc/4100/task/4113/stat : 4113 (java) S 4098 4098 30973 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 95449734 14320615424 181512 33554432000 4194304 4196468 140734805189984 139967687776480 139968153798357 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
[pid=4100/tid=4114] ppid=4098 vsize=13984976 memory=4040 CPUtime=0.13 cores=0,2,4,6
/proc/4100/task/4114/stat : 4114 (java) S 4098 4098 30973 0 -1 1077944384 640 0 0 0 7 6 0 0 20 0 15 0 95449734 14320615424 181512 33554432000 4194304 4196468 140734805189984 139967686724784 139968153799298 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 14 0 0 6293624 6294260 15597568 140734805193885 140734805194060 140734805194060 140734805196751 0
Current children cumulated CPU time: 245.63 s
Current children cumulated vsize: 13994488 KiB
Current children cumulated memory: 727432 KiB

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

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

[startup+240.025 s]
# the end of solver process 4100 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=245.268 s, system=0.392125 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): 240.025
CPU time (s): 245.66
CPU user time (s): 245.268
CPU system time (s): 0.392125
CPU usage (%): 102.348
Max. virtual memory (cumulated for all children) (KiB): 13994488
Max. memory (cumulated for all children) (KiB): 727432

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 245.268
system time used= 0.392125
maximum resident set size= 727080
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 53716
page faults= 0
swaps= 0
block input operations= 560
block output operations= 384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7782
involuntary context switches= 213


# summary of solver processes directly reported to runsolver:
#   pid: 4098,4100
#   total CPU time (s): 245.66
#   total CPU user time (s): 245.268
#   total CPU system time (s): 0.392125

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.48054 second user time and 2.39091 second system time

The end

Launcher Data 

Begin job on node103 at 2017-08-13 13:12:37
IDJOB=4269974
IDBENCH=137678
IDSOLVER=2661
FILE ID=node103/4269974-1502623615
RUNJOBID= node103-1502620106-1701
PBS_JOBID= 20628296
Free space on /tmp= 61784 MiB

SOLVER NAME= choco-solver 4.0.5 seq
BENCH NAME= XCSP17/BinPacking/BinPacking-mdd-sw100/BinPacking-mdd-sw100-92.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-4269974-1502623615/watcher-4269974-1502623615 -o /tmp/evaluation-result-4269974-1502623615/solver-4269974-1502623615 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node103-1502620106-1701 --watchdog 300  ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 768196400 HOME/instance-4269974-1502623615.xml

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

MD5SUM BENCH= 6d97f1ae26f5c15ae832acf0c34f9a7a
RANDOM SEED=768196400

node103.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.56
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.56
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.56
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.56
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:        31585940 kB
MemAvailable:   31889212 kB
Buffers:           94000 kB
Cached:           504316 kB
SwapCached:            0 kB
Active:           619076 kB
Inactive:         141808 kB
Active(anon):     112116 kB
Inactive(anon):    78640 kB
Active(file):     506960 kB
Inactive(file):    63168 kB
Unevictable:        6412 kB
Mlocked:            6412 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8292 kB
Writeback:             4 kB
AnonPages:        167280 kB
Mapped:            55452 kB
Shmem:             25228 kB
Slab:             124512 kB
SReclaimable:      97956 kB
SUnreclaim:        26556 kB
KernelStack:        3632 kB
PageTables:         5328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1291204 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61696 MiB
End job on node103 at 2017-08-13 13:16:37