Trace number 4301246

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.7b seq (e747e1e)? (TO) 252.074 239.918

General information on the benchmark

NameNurseRostering/
NurseRostering-19_c18.xml
MD5SUM4516482276b9b550f1c9d24d3edf9abb
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables5922
Number of constraints16251
Number of domains21
Minimum domain size1
Maximum domain size85
Distribution of domain sizes[{"size":1,"count":156},{"size":2,"count":1314},{"size":6,"count":3360},{"size":8,"count":2},{"size":12,"count":4},{"size":13,"count":16},{"size":21,"count":3},{"size":22,"count":15},{"size":41,"count":924},{"size":85,"count":128}]
Minimum variable degree2
Maximum variable degree27
Distribution of variable degrees[{"degree":2,"count":2082},{"degree":3,"count":480},{"degree":17,"count":32},{"degree":18,"count":39},{"degree":19,"count":7},{"degree":20,"count":30},{"degree":21,"count":44},{"degree":22,"count":52},{"degree":23,"count":70},{"degree":24,"count":83},{"degree":25,"count":1394},{"degree":26,"count":1316},{"degree":27,"count":293}]
Minimum constraint arity2
Maximum constraint arity320
Distribution of constraint arities[{"arity":2,"count":5706},{"arity":3,"count":6232},{"arity":4,"count":324},{"arity":5,"count":320},{"arity":6,"count":2884},{"arity":12,"count":40},{"arity":41,"count":504},{"arity":85,"count":240},{"arity":320,"count":1}]
Number of extensional constraints3824
Number of intensional constraints1882
Distribution of constraint types[{"type":"extension","count":3824},{"type":"intension","count":1882},{"type":"regular","count":6556},{"type":"sum","count":80},{"type":"count","count":3908},{"type":"instantiation","count":1}]
Optimization problemYES
Type of objectivemin SUM

Solver Data 

0.00/0.00	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4301246-1532876736.xml"  -tl '252s' -p 1
0.12/0.18	c Choco e747e1e
0.12/0.18	c [HOME/instance-4301246-1532876736.xml, -tl, 252s, -p, 1]
0.34/0.22	c simple solver
0.34/0.28	c parse instance...
7.86/2.69	c solve instance...
252.04/239.90	s UNKNOWN
252.04/239.90	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 (13166 MiB free)
  memory of node 1: 16384 MiB (13492 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4301246-1532876736/watcher-4301246-1532876736 -o /tmp/evaluation-result-4301246-1532876736/solver-4301246-1532876736 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532875384-10017 --watchdog 312 HOME/xcsp3-exec -seed 1369040998 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301246-1532876736.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Current StackSize limit: 8192 KiB

solver pid=11092, runsolver pid=11089

[startup+0.100125 s]*
/proc/loadavg: 1.85 1.83 1.73 3/223 11108
/proc/meminfo: memFree=27280140/32770624 swapFree=67108856/67108860
[pid=11092] ppid=11089 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11092/stat : 11092 (xcsp3-exec) S 11089 11092 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105236727 115843072 364 33554432000 4194304 5098028 140725313570240 140725313568344 140418808345212 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29437952 140725313573952 140725313574153 140725313574153 140725313576906 0
/proc/11092/statm: 28282 364 306 221 0 87 0
[pid=11094] ppid=11092 vsize=14082940 memory=30624 CPUtime=0.12 cores=0,2,4,6
/proc/11094/stat : 11094 (java) S 11092 11092 5155 0 -1 1077944320 5552 0 0 0 10 2 0 0 20 0 15 0 105236728 14420930560 7656 33554432000 4194304 4196468 140737054155632 140737054138176 140372271140599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
/proc/11094/statm: 3520735 7656 2992 1 0 3483012 0
[pid=11094/tid=11095] ppid=11092 vsize=14082940 memory=8514701219880730790 CPUtime=0.09 cores=0,2,4,6
/proc/11094/task/11095/stat : 11095 (java) R 11092 11092 5155 0 -1 4202560 3579 0 0 0 8 1 0 0 20 0 15 0 105236728 14420930560 7656 33554432000 4194304 4196468 140737054155632 140372275361496 140372271152534 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11096] ppid=11092 vsize=14082940 memory=3472467803614086352 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11096/stat : 11096 (java) S 11092 11092 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105236729 14420930560 7656 33554432000 4194304 4196468 140737054155632 140372223760784 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11097] ppid=11092 vsize=14082940 memory=139674718934656 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11097/stat : 11097 (java) S 11092 11092 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105236729 14420930560 7656 33554432000 4194304 4196468 140737054155632 140372222707984 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11098] ppid=11092 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11098/stat : 11098 (java) S 11092 11092 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105236729 14420930560 7656 33554432000 4194304 4196468 140737054155632 140372221655696 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11099] ppid=11092 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11099/stat : 11099 (java) S 11092 11092 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105236729 14420930560 7656 33554432000 4194304 4196468 140737054155632 140372220602896 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11100] ppid=11092 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11100/stat : 11100 (java) S 11092 11092 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105236730 14420930560 7656 33554432000 4194304 4196468 140737054155632 140371183266416 140372271151746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11101] ppid=11092 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11101/stat : 11101 (java) S 11092 11092 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105236731 14420930560 7656 33554432000 4194304 4196468 140737054155632 140371182212384 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11102] ppid=11092 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11102/stat : 11102 (java) S 11092 11092 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105236731 14420930560 7656 33554432000 4194304 4196468 140737054155632 140371181160048 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11103] ppid=11092 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11103/stat : 11103 (java) S 11092 11092 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105236733 14420930560 7656 33554432000 4194304 4196468 140737054155632 140371180108368 140372271159195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11104] ppid=11092 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11104/stat : 11104 (java) R 11092 11092 5155 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 105236733 14420930560 7656 33554432000 4194304 4196468 140737054155632 140371179055216 140372271151746 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11105] ppid=11092 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11105/stat : 11105 (java) S 11092 11092 5155 0 -1 1077944384 123 0 0 0 0 0 0 0 20 0 15 0 105236733 14420930560 7656 33554432000 4194304 4196468 140737054155632 140371178002416 140372271151746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11106] ppid=11092 vsize=14082940 memory=139674718934656 CPUtime=0.01 cores=0,2,4,6
/proc/11094/task/11106/stat : 11106 (java) R 11092 11092 5155 0 -1 4202560 246 0 0 0 1 0 0 0 20 0 15 0 105236733 14420930560 7656 33554432000 4194304 4196468 140737054155632 140371176950128 140372249509104 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11107] ppid=11092 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11107/stat : 11107 (java) S 11092 11092 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105236734 14420930560 7656 33554432000 4194304 4196468 140737054155632 140371175897568 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11108] ppid=11092 vsize=14082940 memory=139674718934656 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11108/stat : 11108 (java) S 11092 11092 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105236734 14420930560 7656 33554432000 4194304 4196468 140737054155632 140371174845360 140372271151746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
Current children cumulated CPU time: 0.12 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 32080 KiB

[startup+0.210797 s]*
/proc/loadavg: 1.85 1.83 1.73 4/223 11108
/proc/meminfo: memFree=27268016/32770624 swapFree=67108856/67108860
[pid=11092] ppid=11089 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11092/stat : 11092 (xcsp3-exec) S 11089 11092 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105236727 115843072 364 33554432000 4194304 5098028 140725313570240 140725313568344 140418808345212 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29437952 140725313573952 140725313574153 140725313574153 140725313576906 0
/proc/11092/statm: 28282 364 306 221 0 87 0
[pid=11094] ppid=11092 vsize=14082940 memory=42700 CPUtime=0.34 cores=0,2,4,6
/proc/11094/stat : 11094 (java) S 11092 11092 5155 0 -1 1077944320 8166 0 0 0 31 3 0 0 20 0 15 0 105236728 14420930560 10675 33554432000 4194304 4196468 140737054155632 140737054138176 140372271140599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
/proc/11094/statm: 3520735 10675 3209 1 0 3483012 0
[pid=11094/tid=11095] ppid=11092 vsize=14082940 memory=5854518564242424225 CPUtime=0.2 cores=0,2,4,6
/proc/11094/task/11095/stat : 11095 (java) R 11092 11092 5155 0 -1 4202560 5402 0 0 0 18 2 0 0 20 0 15 0 105236728 14420930560 10675 33554432000 4194304 4196468 140737054155632 140372275377360 140372255221086 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11096] ppid=11092 vsize=14082940 memory=3472467803614086352 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11096/stat : 11096 (java) S 11092 11092 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105236729 14420930560 10675 33554432000 4194304 4196468 140737054155632 140372223760784 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11097] ppid=11092 vsize=14082940 memory=139674718934656 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11097/stat : 11097 (java) S 11092 11092 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105236729 14420930560 10675 33554432000 4194304 4196468 140737054155632 140372222707984 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11098] ppid=11092 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11098/stat : 11098 (java) S 11092 11092 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105236729 14420930560 10675 33554432000 4194304 4196468 140737054155632 140372221655696 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11099] ppid=11092 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11099/stat : 11099 (java) S 11092 11092 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105236729 14420930560 10675 33554432000 4194304 4196468 140737054155632 140372220602896 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11100] ppid=11092 vsize=14082940 memory=139674718934656 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11100/stat : 11100 (java) S 11092 11092 5155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105236730 14420930560 10675 33554432000 4194304 4196468 140737054155632 140371183266416 140372271151746 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11101] ppid=11092 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11101/stat : 11101 (java) S 11092 11092 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105236731 14420930560 10675 33554432000 4194304 4196468 140737054155632 140371182212384 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11102] ppid=11092 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11102/stat : 11102 (java) S 11092 11092 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105236731 14420930560 10675 33554432000 4194304 4196468 140737054155632 140371181160048 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11103] ppid=11092 vsize=14082940 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11103/stat : 11103 (java) S 11092 11092 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105236733 14420930560 10675 33554432000 4194304 4196468 140737054155632 140371180108368 140372271159195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11104] ppid=11092 vsize=14082940 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/11094/task/11104/stat : 11104 (java) R 11092 11092 5155 0 -1 1077944384 478 0 0 0 2 0 0 0 20 0 15 0 105236733 14420930560 10675 33554432000 4194304 4196468 140737054155632 140371179055216 140372271151746 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11105] ppid=11092 vsize=14082940 memory=-1 CPUtime=0.02 cores=0,2,4,6
/proc/11094/task/11105/stat : 11105 (java) S 11092 11092 5155 0 -1 1077944384 222 0 0 0 2 0 0 0 20 0 15 0 105236733 14420930560 10675 33554432000 4194304 4196468 140737054155632 140371178002416 140372271151746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11106] ppid=11092 vsize=14082940 memory=139674718934656 CPUtime=0.08 cores=0,2,4,6
/proc/11094/task/11106/stat : 11106 (java) R 11092 11092 5155 0 -1 4202560 762 0 0 0 8 0 0 0 20 0 15 0 105236733 14420930560 10675 33554432000 4194304 4196468 140737054155632 140371176950128 140372271152534 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11107] ppid=11092 vsize=14082940 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11107/stat : 11107 (java) S 11092 11092 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105236734 14420930560 10675 33554432000 4194304 4196468 140737054155632 140371175897568 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11108] ppid=11092 vsize=14082940 memory=139674718934656 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11108/stat : 11108 (java) S 11092 11092 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105236734 14420930560 10675 33554432000 4194304 4196468 140737054155632 140371174845360 140372271151746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
Current children cumulated CPU time: 0.34 s
Current children cumulated vsize: 14196068 KiB
Current children cumulated memory: 44156 KiB

[startup+0.31085 s]*
/proc/loadavg: 1.85 1.83 1.73 4/223 11108
/proc/meminfo: memFree=27261936/32770624 swapFree=67108856/67108860
[pid=11092] ppid=11089 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11092/stat : 11092 (xcsp3-exec) S 11089 11092 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105236727 115843072 364 33554432000 4194304 5098028 140725313570240 140725313568344 140418808345212 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29437952 140725313573952 140725313574153 140725313574153 140725313576906 0
/proc/11092/statm: 28282 364 306 221 0 87 0
[pid=11094] ppid=11092 vsize=14087196 memory=49708 CPUtime=0.53 cores=0,2,4,6
/proc/11094/stat : 11094 (java) S 11092 11092 5155 0 -1 1077944320 9095 0 0 0 49 4 0 0 20 0 15 0 105236728 14425288704 12427 33554432000 4194304 4196468 140737054155632 140737054138176 140372271140599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
/proc/11094/statm: 3521799 12427 3257 1 0 3483012 0
[pid=11094/tid=11095] ppid=11092 vsize=14087196 memory=8514701219881125278 CPUtime=0.29 cores=0,2,4,6
/proc/11094/task/11095/stat : 11095 (java) R 11092 11092 5155 0 -1 4202560 6081 0 0 0 27 2 0 0 20 0 15 0 105236728 14425288704 12482 33554432000 4194304 4196468 140737054155632 140372275374384 140372255221086 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11096] ppid=11092 vsize=14087196 memory=3472467803614086352 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11096/stat : 11096 (java) S 11092 11092 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105236729 14425288704 12482 33554432000 4194304 4196468 140737054155632 140372223760784 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11097] ppid=11092 vsize=14087196 memory=139674718934656 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11097/stat : 11097 (java) S 11092 11092 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105236729 14425288704 12482 33554432000 4194304 4196468 140737054155632 140372222707984 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11098] ppid=11092 vsize=14087196 memory=18 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11098/stat : 11098 (java) S 11092 11092 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105236729 14425288704 12482 33554432000 4194304 4196468 140737054155632 140372221655696 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11099] ppid=11092 vsize=14087196 memory=139674618308639 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11099/stat : 11099 (java) S 11092 11092 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105236729 14425288704 12482 33554432000 4194304 4196468 140737054155632 140372220602896 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11100] ppid=11092 vsize=14087196 memory=279349236596512 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11100/stat : 11100 (java) S 11092 11092 5155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105236730 14425288704 12482 33554432000 4194304 4196468 140737054155632 140371183266416 140372271151746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11101] ppid=11092 vsize=14087196 memory=139674618285583 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11101/stat : 11101 (java) S 11092 11092 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105236731 14425288704 12482 33554432000 4194304 4196468 140737054155632 140371182212384 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11102] ppid=11092 vsize=14087196 memory=279349337229408 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11102/stat : 11102 (java) S 11092 11092 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105236731 14425288704 12482 33554432000 4194304 4196468 140737054155632 140371181160048 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11103] ppid=11092 vsize=14087196 memory=139674618290191 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11103/stat : 11103 (java) S 11092 11092 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105236733 14425288704 12482 33554432000 4194304 4196468 140737054155632 140371180108368 140372271159195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11104] ppid=11092 vsize=14087196 memory=0 CPUtime=0.04 cores=0,2,4,6
/proc/11094/task/11104/stat : 11104 (java) S 11092 11092 5155 0 -1 1077944384 492 0 0 0 4 0 0 0 20 0 15 0 105236733 14425288704 12482 33554432000 4194304 4196468 140737054155632 140371179055216 140372271151746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11105] ppid=11092 vsize=14087196 memory=-1 CPUtime=0.04 cores=0,2,4,6
/proc/11094/task/11105/stat : 11105 (java) R 11092 11092 5155 0 -1 4202560 315 0 0 0 4 0 0 0 20 0 15 0 105236733 14425288704 12482 33554432000 4194304 4196468 140737054155632 140371177983432 140372252662050 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11106] ppid=11092 vsize=14087196 memory=0 CPUtime=0.12 cores=0,2,4,6
/proc/11094/task/11106/stat : 11106 (java) S 11092 11092 5155 0 -1 1077944384 915 0 0 0 12 0 0 0 20 0 15 0 105236733 14425288704 12482 33554432000 4194304 4196468 140737054155632 140371176950128 140372271151746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11107] ppid=11092 vsize=14087196 memory=0 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11107/stat : 11107 (java) S 11092 11092 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105236734 14425288704 12482 33554432000 4194304 4196468 140737054155632 140371175897568 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11108] ppid=11092 vsize=14087196 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11108/stat : 11108 (java) S 11092 11092 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105236734 14425288704 12482 33554432000 4194304 4196468 140737054155632 140371174845360 140372271151746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
Current children cumulated CPU time: 0.53 s
Current children cumulated vsize: 14200324 KiB
Current children cumulated memory: 51164 KiB

[startup+0.701095 s]
/proc/loadavg: 1.85 1.83 1.73 6/223 11108
/proc/meminfo: memFree=27236844/32770624 swapFree=67108856/67108860
[pid=11092] ppid=11089 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11092/stat : 11092 (xcsp3-exec) S 11089 11092 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105236727 115843072 364 33554432000 4194304 5098028 140725313570240 140725313568344 140418808345212 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29437952 140725313573952 140725313574153 140725313574153 140725313576906 0
/proc/11092/statm: 28282 364 306 221 0 87 0
[pid=11094] ppid=11092 vsize=14089320 memory=100232 CPUtime=1.84 cores=0,2,4,6
/proc/11094/stat : 11094 (java) S 11092 11092 5155 0 -1 1077944320 13507 0 0 0 178 6 0 0 20 0 15 0 105236728 14427463680 25058 33554432000 4194304 4196468 140737054155632 140737054138176 140372271140599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
/proc/11094/statm: 3522330 25058 3355 1 0 3483524 0
[pid=11094/tid=11095] ppid=11092 vsize=14089320 memory=5795117241467496816 CPUtime=0.67 cores=0,2,4,6
/proc/11094/task/11095/stat : 11095 (java) R 11092 11092 5155 0 -1 4202560 6657 0 0 0 64 3 0 0 20 0 15 0 105236728 14427463680 25058 33554432000 4194304 4196468 140737054155632 140372275374560 140371899796142 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11096] ppid=11092 vsize=14089320 memory=4639059895069856102 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11096/stat : 11096 (java) S 11092 11092 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105236729 14427463680 25058 33554432000 4194304 4196468 140737054155632 140372223760784 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11097] ppid=11092 vsize=14089320 memory=4638778428397932880 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11097/stat : 11097 (java) S 11092 11092 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105236729 14427463680 25058 33554432000 4194304 4196468 140737054155632 140372222707984 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11098] ppid=11092 vsize=14089320 memory=7100839870071150693 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11098/stat : 11098 (java) S 11092 11092 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105236729 14427463680 25058 33554432000 4194304 4196468 140737054155632 140372221655696 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11099] ppid=11092 vsize=14089320 memory=-7395679465411340910 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11099/stat : 11099 (java) S 11092 11092 5155 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 105236729 14427463680 25058 33554432000 4194304 4196468 140737054155632 140372220602896 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11100] ppid=11092 vsize=14089320 memory=-9001734043636558696 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11100/stat : 11100 (java) S 11092 11092 5155 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 105236730 14427463680 25058 33554432000 4194304 4196468 140737054155632 140371183266416 140372271151746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11101] ppid=11092 vsize=14089320 memory=4612 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11101/stat : 11101 (java) S 11092 11092 5155 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 105236731 14427463680 25058 33554432000 4194304 4196468 140737054155632 140371182212384 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11102] ppid=11092 vsize=14089320 memory=6884 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11102/stat : 11102 (java) S 11092 11092 5155 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 105236731 14427463680 25058 33554432000 4194304 4196468 140737054155632 140371181160048 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11103] ppid=11092 vsize=14089320 memory=2244 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11103/stat : 11103 (java) S 11092 11092 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105236733 14427463680 25058 33554432000 4194304 4196468 140737054155632 140371180108368 140372271159195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11104] ppid=11092 vsize=14089320 memory=30500 CPUtime=0.36 cores=0,2,4,6
/proc/11094/task/11104/stat : 11104 (java) R 11092 11092 5155 0 -1 4202560 1580 0 0 0 36 0 0 0 20 0 15 0 105236733 14427463680 25058 33554432000 4194304 4196468 140737054155632 140371179046544 140372255528722 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11105] ppid=11092 vsize=14089320 memory=1244 CPUtime=0.36 cores=0,2,4,6
/proc/11094/task/11105/stat : 11105 (java) R 11092 11092 5155 0 -1 4202560 1506 0 0 0 36 0 0 0 20 0 15 0 105236733 14427463680 25058 33554432000 4194304 4196468 140737054155632 140371177980736 140372254551609 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11106] ppid=11092 vsize=14089320 memory=2268 CPUtime=0.39 cores=0,2,4,6
/proc/11094/task/11106/stat : 11106 (java) S 11092 11092 5155 0 -1 1077944384 2456 0 0 0 39 0 0 0 20 0 15 0 105236733 14427463680 25058 33554432000 4194304 4196468 140737054155632 140371176950128 140372271151746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11107] ppid=11092 vsize=14089320 memory=7163890427858739792 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11107/stat : 11107 (java) S 11092 11092 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105236734 14427463680 25058 33554432000 4194304 4196468 140737054155632 140371175897568 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11108] ppid=11092 vsize=14089320 memory=7881696724453321575 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11108/stat : 11108 (java) S 11092 11092 5155 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 105236734 14427463680 25058 33554432000 4194304 4196468 140737054155632 140371174845360 140372271151746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
Current children cumulated CPU time: 1.84 s
Current children cumulated vsize: 14202448 KiB
Current children cumulated memory: 101688 KiB

[startup+1.50079 s]
/proc/loadavg: 1.85 1.83 1.73 5/223 11108
/proc/meminfo: memFree=27142592/32770624 swapFree=67108856/67108860
[pid=11092] ppid=11089 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11092/stat : 11092 (xcsp3-exec) S 11089 11092 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105236727 115843072 364 33554432000 4194304 5098028 140725313570240 140725313568344 140418808345212 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29437952 140725313573952 140725313574153 140725313574153 140725313576906 0
/proc/11092/statm: 28282 364 306 221 0 87 0

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

/proc/11094/task/11102/stat : 11102 (java) S 11092 11092 5155 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 105236731 14429560832 117378 33554432000 4194304 4196468 140737054155632 140371181160064 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11103] ppid=11092 vsize=14091368 memory=469512 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11103/stat : 11103 (java) S 11092 11092 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105236733 14429560832 117378 33554432000 4194304 4196468 140737054155632 140371180108368 140372271159195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11104] ppid=11092 vsize=14091368 memory=469512 CPUtime=4.96 cores=0,2,4,6
/proc/11094/task/11104/stat : 11104 (java) S 11092 11092 5155 0 -1 1077944384 22265 0 0 0 494 2 0 0 20 0 15 0 105236733 14429560832 117378 33554432000 4194304 4196468 140737054155632 140371179055216 140372271151746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11105] ppid=11092 vsize=14091368 memory=1456 CPUtime=5.12 cores=0,2,4,6
/proc/11094/task/11105/stat : 11105 (java) S 11092 11092 5155 0 -1 1077944384 20434 0 0 0 509 3 0 0 20 0 15 0 105236733 14429560832 117378 33554432000 4194304 4196468 140737054155632 140371178002416 140372271151746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11106] ppid=11092 vsize=14091368 memory=1456 CPUtime=1.13 cores=0,2,4,6
/proc/11094/task/11106/stat : 11106 (java) S 11092 11092 5155 0 -1 1077944384 8532 0 0 0 111 2 0 0 20 0 15 0 105236733 14429560832 117378 33554432000 4194304 4196468 140737054155632 140371176950128 140372271151746 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11107] ppid=11092 vsize=14091368 memory=469512 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11107/stat : 11107 (java) S 11092 11092 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105236734 14429560832 117378 33554432000 4194304 4196468 140737054155632 140371175897568 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11108] ppid=11092 vsize=14091368 memory=1456 CPUtime=0.07 cores=0,2,4,6
/proc/11094/task/11108/stat : 11108 (java) S 11092 11092 5155 0 -1 1077944384 449 0 0 0 4 3 0 0 20 0 15 0 105236734 14429560832 117378 33554432000 4194304 4196468 140737054155632 140371174845360 140372271151746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
Current children cumulated CPU time: 173.92 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 470968 KiB

[startup+222.301 s]
/proc/loadavg: 2.04 1.94 1.80 3/221 11192
/proc/meminfo: memFree=26717660/32770624 swapFree=67108856/67108860
[pid=11092] ppid=11089 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11092/stat : 11092 (xcsp3-exec) S 11089 11092 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105236727 115843072 364 33554432000 4194304 5098028 140725313570240 140725313568344 140418808345212 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29437952 140725313573952 140725313574153 140725313574153 140725313576906 0
/proc/11092/statm: 28282 364 306 221 0 87 0
[pid=11094] ppid=11092 vsize=14091368 memory=521160 CPUtime=234.43 cores=0,2,4,6
/proc/11094/stat : 11094 (java) S 11092 11092 5155 0 -1 1077944320 76028 0 0 0 23404 39 0 0 20 0 15 0 105236728 14429560832 130290 33554432000 4194304 4196468 140737054155632 140737054138176 140372271140599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
/proc/11094/statm: 3522842 130290 3425 1 0 3484036 0
[pid=11094/tid=11095] ppid=11092 vsize=14091368 memory=521160 CPUtime=222.05 cores=0,2,4,6
/proc/11094/task/11095/stat : 11095 (java) R 11092 11092 5155 0 -1 4202560 13929 0 0 0 22196 9 0 0 20 0 15 0 105236728 14429560832 130290 33554432000 4194304 4196468 140737054155632 140372275380200 140371906563272 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11096] ppid=11092 vsize=14091368 memory=469512 CPUtime=0.18 cores=0,2,4,6
/proc/11094/task/11096/stat : 11096 (java) S 11092 11092 5155 0 -1 1077944384 624 0 0 0 14 4 0 0 20 0 15 0 105236729 14429560832 130290 33554432000 4194304 4196468 140737054155632 140372223760784 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11097] ppid=11092 vsize=14091368 memory=1456 CPUtime=0.18 cores=0,2,4,6
/proc/11094/task/11097/stat : 11097 (java) S 11092 11092 5155 0 -1 1077944384 674 0 0 0 14 4 0 0 20 0 15 0 105236729 14429560832 130290 33554432000 4194304 4196468 140737054155632 140372222707984 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11098] ppid=11092 vsize=14091368 memory=521160 CPUtime=0.18 cores=0,2,4,6
/proc/11094/task/11098/stat : 11098 (java) S 11092 11092 5155 0 -1 1077944384 736 0 0 0 14 4 0 0 20 0 15 0 105236729 14429560832 130290 33554432000 4194304 4196468 140737054155632 140372221655696 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11099] ppid=11092 vsize=14091368 memory=1456 CPUtime=0.14 cores=0,2,4,6
/proc/11094/task/11099/stat : 11099 (java) S 11092 11092 5155 0 -1 1077944384 442 0 0 0 11 3 0 0 20 0 15 0 105236729 14429560832 130290 33554432000 4194304 4196468 140737054155632 140372220602896 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11100] ppid=11092 vsize=14091368 memory=1456 CPUtime=0.01 cores=0,2,4,6
/proc/11094/task/11100/stat : 11100 (java) S 11092 11092 5155 0 -1 1077944384 1194 0 0 0 1 0 0 0 20 0 15 0 105236730 14429560832 130290 33554432000 4194304 4196468 140737054155632 140371183266416 140372271151746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11101] ppid=11092 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11101/stat : 11101 (java) S 11092 11092 5155 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 105236731 14429560832 130290 33554432000 4194304 4196468 140737054155632 140371182212448 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11102] ppid=11092 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11102/stat : 11102 (java) S 11092 11092 5155 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 105236731 14429560832 130290 33554432000 4194304 4196468 140737054155632 140371181160064 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11103] ppid=11092 vsize=14091368 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11103/stat : 11103 (java) S 11092 11092 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105236733 14429560832 130290 33554432000 4194304 4196468 140737054155632 140371180108368 140372271159195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11104] ppid=11092 vsize=14091368 memory=1456 CPUtime=4.99 cores=0,2,4,6
/proc/11094/task/11104/stat : 11104 (java) S 11092 11092 5155 0 -1 1077944384 22946 0 0 0 496 3 0 0 20 0 15 0 105236733 14429560832 130290 33554432000 4194304 4196468 140737054155632 140371179055216 140372271151746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11105] ppid=11092 vsize=14091368 memory=4036 CPUtime=5.39 cores=0,2,4,6
/proc/11094/task/11105/stat : 11105 (java) S 11092 11092 5155 0 -1 1077944384 23424 0 0 0 536 3 0 0 20 0 15 0 105236733 14429560832 130290 33554432000 4194304 4196468 140737054155632 140371178002416 140372271151746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11106] ppid=11092 vsize=14091368 memory=1456 CPUtime=1.13 cores=0,2,4,6
/proc/11094/task/11106/stat : 11106 (java) S 11092 11092 5155 0 -1 1077944384 10223 0 0 0 111 2 0 0 20 0 15 0 105236733 14429560832 130290 33554432000 4194304 4196468 140737054155632 140371176950128 140372271151746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11107] ppid=11092 vsize=14091368 memory=2816 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11107/stat : 11107 (java) S 11092 11092 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105236734 14429560832 130290 33554432000 4194304 4196468 140737054155632 140371175897568 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11108] ppid=11092 vsize=14091368 memory=1452 CPUtime=0.1 cores=0,2,4,6
/proc/11094/task/11108/stat : 11108 (java) S 11092 11092 5155 0 -1 1077944384 485 0 0 0 5 5 0 0 20 0 15 0 105236734 14429560832 130290 33554432000 4194304 4196468 140737054155632 140371174845360 140372271151746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
Current children cumulated CPU time: 234.43 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 522616 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+239.901 s]
/proc/loadavg: 2.03 1.95 1.80 3/221 11193
/proc/meminfo: memFree=26717784/32770624 swapFree=67108856/67108860
[pid=11092] ppid=11089 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11092/stat : 11092 (xcsp3-exec) S 11089 11092 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105236727 115843072 364 33554432000 4194304 5098028 140725313570240 140725313568344 140418808345212 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29437952 140725313573952 140725313574153 140725313574153 140725313576906 0
/proc/11092/statm: 28282 364 306 221 0 87 0
[pid=11094] ppid=11092 vsize=14091368 memory=521160 CPUtime=252.04 cores=0,2,4,6
/proc/11094/stat : 11094 (java) S 11092 11092 5155 0 -1 1077944320 76104 0 0 0 25164 40 0 0 20 0 15 0 105236728 14429560832 130290 33554432000 4194304 4196468 140737054155632 140737054138176 140372271140599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
/proc/11094/statm: 3522842 130290 3425 1 0 3484036 0
[pid=11094/tid=11095] ppid=11092 vsize=14091368 memory=521160 CPUtime=239.65 cores=0,2,4,6
/proc/11094/task/11095/stat : 11095 (java) R 11092 11092 5155 0 -1 4202560 13931 0 0 0 23956 9 0 0 20 0 15 0 105236728 14429560832 130290 33554432000 4194304 4196468 140737054155632 140372275377424 140371900432878 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11096] ppid=11092 vsize=14091368 memory=521160 CPUtime=0.18 cores=0,2,4,6
/proc/11094/task/11096/stat : 11096 (java) S 11092 11092 5155 0 -1 1077944384 624 0 0 0 14 4 0 0 20 0 15 0 105236729 14429560832 130290 33554432000 4194304 4196468 140737054155632 140372223760784 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11097] ppid=11092 vsize=14091368 memory=1456 CPUtime=0.18 cores=0,2,4,6
/proc/11094/task/11097/stat : 11097 (java) S 11092 11092 5155 0 -1 1077944384 674 0 0 0 14 4 0 0 20 0 15 0 105236729 14429560832 130290 33554432000 4194304 4196468 140737054155632 140372222707984 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11098] ppid=11092 vsize=14091368 memory=521160 CPUtime=0.18 cores=0,2,4,6
/proc/11094/task/11098/stat : 11098 (java) S 11092 11092 5155 0 -1 1077944384 736 0 0 0 14 4 0 0 20 0 15 0 105236729 14429560832 130290 33554432000 4194304 4196468 140737054155632 140372221655696 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11099] ppid=11092 vsize=14091368 memory=521160 CPUtime=0.14 cores=0,2,4,6
/proc/11094/task/11099/stat : 11099 (java) S 11092 11092 5155 0 -1 1077944384 442 0 0 0 11 3 0 0 20 0 15 0 105236729 14429560832 130290 33554432000 4194304 4196468 140737054155632 140372220602896 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11100] ppid=11092 vsize=14091368 memory=1456 CPUtime=0.01 cores=0,2,4,6
/proc/11094/task/11100/stat : 11100 (java) S 11092 11092 5155 0 -1 1077944384 1194 0 0 0 1 0 0 0 20 0 15 0 105236730 14429560832 130290 33554432000 4194304 4196468 140737054155632 140371183266416 140372271151746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11101] ppid=11092 vsize=14091368 memory=4036 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11101/stat : 11101 (java) S 11092 11092 5155 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 105236731 14429560832 130290 33554432000 4194304 4196468 140737054155632 140371182212448 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11102] ppid=11092 vsize=14091368 memory=539 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11102/stat : 11102 (java) S 11092 11092 5155 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 105236731 14429560832 130290 33554432000 4194304 4196468 140737054155632 140371181160064 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11103] ppid=11092 vsize=14091368 memory=113 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11103/stat : 11103 (java) S 11092 11092 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105236733 14429560832 130290 33554432000 4194304 4196468 140737054155632 140371180108368 140372271159195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11104] ppid=11092 vsize=14091368 memory=1456 CPUtime=4.99 cores=0,2,4,6
/proc/11094/task/11104/stat : 11104 (java) S 11092 11092 5155 0 -1 1077944384 22946 0 0 0 496 3 0 0 20 0 15 0 105236733 14429560832 130290 33554432000 4194304 4196468 140737054155632 140371179055216 140372271151746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11105] ppid=11092 vsize=14091368 memory=521160 CPUtime=5.39 cores=0,2,4,6
/proc/11094/task/11105/stat : 11105 (java) S 11092 11092 5155 0 -1 1077944384 23424 0 0 0 536 3 0 0 20 0 15 0 105236733 14429560832 130290 33554432000 4194304 4196468 140737054155632 140371178002416 140372271151746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11106] ppid=11092 vsize=14091368 memory=1456 CPUtime=1.13 cores=0,2,4,6
/proc/11094/task/11106/stat : 11106 (java) S 11092 11092 5155 0 -1 1077944384 10297 0 0 0 111 2 0 0 20 0 15 0 105236733 14429560832 130290 33554432000 4194304 4196468 140737054155632 140371176950128 140372271151746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11107] ppid=11092 vsize=14091368 memory=521160 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11107/stat : 11107 (java) S 11092 11092 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105236734 14429560832 130290 33554432000 4194304 4196468 140737054155632 140371175897568 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11108] ppid=11092 vsize=14091368 memory=1452 CPUtime=0.11 cores=0,2,4,6
/proc/11094/task/11108/stat : 11108 (java) S 11092 11092 5155 0 -1 1077944384 485 0 0 0 6 5 0 0 20 0 15 0 105236734 14429560832 130290 33554432000 4194304 4196468 140737054155632 140371174845360 140372271151746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 522616 KiB

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

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

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

[startup+239.901 s]
/proc/loadavg: 2.03 1.95 1.80 3/221 11193
/proc/meminfo: memFree=26717784/32770624 swapFree=67108856/67108860
[pid=11092] ppid=11089 vsize=113128 memory=1456 CPUtime=0 cores=0,2,4,6
/proc/11092/stat : 11092 (xcsp3-exec) S 11089 11092 5155 0 -1 4202496 536 0 0 0 0 0 0 0 20 0 1 0 105236727 115843072 364 33554432000 4194304 5098028 140725313570240 140725313568344 140418808345212 0 65536 4100 65538 18446744071579417331 0 0 17 4 0 0 0 0 0 7196144 7232144 29437952 140725313573952 140725313574153 140725313574153 140725313576906 0
/proc/11092/statm: 28282 364 306 221 0 87 0
[pid=11094] ppid=11092 vsize=14091368 memory=521160 CPUtime=252.04 cores=0,2,4,6
/proc/11094/stat : 11094 (java) S 11092 11092 5155 0 -1 1077944320 76104 0 0 0 25164 40 0 0 20 0 15 0 105236728 14429560832 130290 33554432000 4194304 4196468 140737054155632 140737054138176 140372271140599 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
/proc/11094/statm: 3522842 130290 3425 1 0 3484036 0
[pid=11094/tid=11095] ppid=11092 vsize=14091368 memory=521160 CPUtime=239.65 cores=0,2,4,6
/proc/11094/task/11095/stat : 11095 (java) R 11092 11092 5155 0 -1 4202560 13931 0 0 0 23956 9 0 0 20 0 15 0 105236728 14429560832 130290 33554432000 4194304 4196468 140737054155632 140372275377424 140371900432878 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11096] ppid=11092 vsize=14091368 memory=521160 CPUtime=0.18 cores=0,2,4,6
/proc/11094/task/11096/stat : 11096 (java) S 11092 11092 5155 0 -1 1077944384 624 0 0 0 14 4 0 0 20 0 15 0 105236729 14429560832 130290 33554432000 4194304 4196468 140737054155632 140372223760784 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11097] ppid=11092 vsize=14091368 memory=1456 CPUtime=0.18 cores=0,2,4,6
/proc/11094/task/11097/stat : 11097 (java) S 11092 11092 5155 0 -1 1077944384 674 0 0 0 14 4 0 0 20 0 15 0 105236729 14429560832 130290 33554432000 4194304 4196468 140737054155632 140372222707984 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11098] ppid=11092 vsize=14091368 memory=521160 CPUtime=0.18 cores=0,2,4,6
/proc/11094/task/11098/stat : 11098 (java) S 11092 11092 5155 0 -1 1077944384 736 0 0 0 14 4 0 0 20 0 15 0 105236729 14429560832 130290 33554432000 4194304 4196468 140737054155632 140372221655696 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11099] ppid=11092 vsize=14091368 memory=521160 CPUtime=0.14 cores=0,2,4,6
/proc/11094/task/11099/stat : 11099 (java) S 11092 11092 5155 0 -1 1077944384 442 0 0 0 11 3 0 0 20 0 15 0 105236729 14429560832 130290 33554432000 4194304 4196468 140737054155632 140372220602896 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11100] ppid=11092 vsize=14091368 memory=1456 CPUtime=0.01 cores=0,2,4,6
/proc/11094/task/11100/stat : 11100 (java) S 11092 11092 5155 0 -1 1077944384 1194 0 0 0 1 0 0 0 20 0 15 0 105236730 14429560832 130290 33554432000 4194304 4196468 140737054155632 140371183266416 140372271151746 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11101] ppid=11092 vsize=14091368 memory=4036 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11101/stat : 11101 (java) S 11092 11092 5155 0 -1 1077944384 61 0 0 0 0 0 0 0 20 0 15 0 105236731 14429560832 130290 33554432000 4194304 4196468 140737054155632 140371182212448 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11102] ppid=11092 vsize=14091368 memory=539 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11102/stat : 11102 (java) S 11092 11092 5155 0 -1 1077944384 47 0 0 0 0 0 0 0 20 0 15 0 105236731 14429560832 130290 33554432000 4194304 4196468 140737054155632 140371181160064 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11103] ppid=11092 vsize=14091368 memory=113 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11103/stat : 11103 (java) S 11092 11092 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105236733 14429560832 130290 33554432000 4194304 4196468 140737054155632 140371180108368 140372271159195 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11104] ppid=11092 vsize=14091368 memory=1456 CPUtime=4.99 cores=0,2,4,6
/proc/11094/task/11104/stat : 11104 (java) S 11092 11092 5155 0 -1 1077944384 22946 0 0 0 496 3 0 0 20 0 15 0 105236733 14429560832 130290 33554432000 4194304 4196468 140737054155632 140371179055216 140372271151746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11105] ppid=11092 vsize=14091368 memory=521160 CPUtime=5.39 cores=0,2,4,6
/proc/11094/task/11105/stat : 11105 (java) S 11092 11092 5155 0 -1 1077944384 23424 0 0 0 536 3 0 0 20 0 15 0 105236733 14429560832 130290 33554432000 4194304 4196468 140737054155632 140371178002416 140372271151746 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11106] ppid=11092 vsize=14091368 memory=1456 CPUtime=1.13 cores=0,2,4,6
/proc/11094/task/11106/stat : 11106 (java) S 11092 11092 5155 0 -1 1077944384 10297 0 0 0 111 2 0 0 20 0 15 0 105236733 14429560832 130290 33554432000 4194304 4196468 140737054155632 140371176950128 140372271151746 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11107] ppid=11092 vsize=14091368 memory=521160 CPUtime=0 cores=0,2,4,6
/proc/11094/task/11107/stat : 11107 (java) S 11092 11092 5155 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 105236734 14429560832 130290 33554432000 4194304 4196468 140737054155632 140371175897568 140372271150805 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
[pid=11094/tid=11108] ppid=11092 vsize=14091368 memory=1452 CPUtime=0.11 cores=0,2,4,6
/proc/11094/task/11108/stat : 11108 (java) S 11092 11092 5155 0 -1 1077944384 485 0 0 0 6 5 0 0 20 0 15 0 105236734 14429560832 130290 33554432000 4194304 4196468 140737054155632 140371174845360 140372271151746 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 21299200 140737054160012 140737054160182 140737054160182 140737054162895 0
Current children cumulated CPU time: 252.04 s
Current children cumulated vsize: 14204496 KiB
Current children cumulated memory: 522616 KiB

Child status: 143
Real time (s): 239.918
CPU time (s): 252.074
CPU user time (s): 251.662
CPU system time (s): 0.411253
CPU usage (%): 105.066
Max. virtual memory (cumulated for all children) (KiB): 14206812
Max. memory (cumulated for all children) (KiB): 522616

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 251.662
system time used= 0.411253
maximum resident set size= 521784
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 77009
page faults= 0
swaps= 0
block input operations= 0
block output operations= 400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8607
involuntary context switches= 271


# summary of solver processes directly reported to runsolver:
#   pid: 11092,11094
#   total CPU time (s): 252.074
#   total CPU user time (s): 251.662
#   total CPU system time (s): 0.411253

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.58974 second user time and 2.31575 second system time

The end

Launcher Data 

Begin job on node133 at 2018-07-29 17:05:36
IDJOB=4301246
IDBENCH=141041
IDSOLVER=2772
FILE ID=node133/4301246-1532876736
RUNJOBID= node133-1532875384-10017
PBS_JOBID= 21022495
Free space on /tmp= 50528 MiB

SOLVER NAME= Choco-solver 4.0.7b seq (e747e1e)
BENCH NAME= XCSP18/NurseRostering/NurseRostering-19_c18.xml
COMMAND LINE= HOME/xcsp3-exec -seed RANDOMSEED -dir DIR -tl TIMEOUT -ml 11000 -p 1 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4301246-1532876736/watcher-4301246-1532876736 -o /tmp/evaluation-result-4301246-1532876736/solver-4301246-1532876736 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532875384-10017 --watchdog 312  HOME/xcsp3-exec -seed 1369040998 -dir HOME -tl 252 -ml 11000 -p 1 HOME/instance-4301246-1532876736.xml

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

MD5SUM BENCH= 4516482276b9b550f1c9d24d3edf9abb
RANDOM SEED=1369040998

node133.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:        27296528 kB
MemAvailable:   31780436 kB
Buffers:          200776 kB
Cached:          4534360 kB
SwapCached:            0 kB
Active:          2383460 kB
Inactive:        2576828 kB
Active(anon):     176264 kB
Inactive(anon):    76688 kB
Active(file):    2207196 kB
Inactive(file):  2500140 kB
Unevictable:        7096 kB
Mlocked:            7096 kB
SwapTotal:      67108860 kB
SwapFree:       67108856 kB
Dirty:             22072 kB
Writeback:             0 kB
AnonPages:        252248 kB
Mapped:            55244 kB
Shmem:             25244 kB
Slab:             212736 kB
SReclaimable:     184812 kB
SUnreclaim:        27924 kB
KernelStack:        3904 kB
PageTables:         5868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1226368 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    143360 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= 50504 MiB
End job on node133 at 2018-07-29 17:09:36