Trace number 4281020

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
choco-solver 4.0.5 par (2017-08-18)UNSAT 12.9292 6.4771299

General information on the benchmark

NameRenaultMod/RenaultMod-m1-s1/
RenaultMod-21.xml
MD5SUM0963ecc662fca7fb73f4e82ded789c90
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.53957999
Satisfiable
(Un)Satisfiability was proved
Number of variables111
Number of constraints270
Number of domains1
Minimum domain size42
Maximum domain size42
Distribution of domain sizes[{"size":42,"count":111}]
Minimum variable degree2
Maximum variable degree81
Distribution of variable degrees[{"degree":2,"count":45},{"degree":3,"count":17},{"degree":4,"count":19},{"degree":5,"count":7},{"degree":6,"count":2},{"degree":7,"count":4},{"degree":8,"count":1},{"degree":9,"count":3},{"degree":10,"count":2},{"degree":11,"count":3},{"degree":19,"count":1},{"degree":32,"count":1},{"degree":39,"count":1},{"degree":56,"count":2},{"degree":59,"count":1},{"degree":73,"count":1},{"degree":81,"count":1}]
Minimum constraint arity1
Maximum constraint arity10
Distribution of constraint arities[{"arity":1,"count":111},{"arity":2,"count":42},{"arity":3,"count":26},{"arity":4,"count":23},{"arity":5,"count":9},{"arity":6,"count":38},{"arity":7,"count":14},{"arity":8,"count":5},{"arity":9,"count":1},{"arity":10,"count":1}]
Number of extensional constraints159
Number of intensional constraints111
Distribution of constraint types[{"type":"extension","count":159},{"type":"intension","count":111}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.00	c java -server -Xmx22000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4281020-1503172361.xml"  -tl '20160s' -p 8 -x 0
0.11/0.14	c [HOME/instance-4281020-1503172361.xml, -tl, 20160s, -p, 8, -x, 0]
0.11/0.20	c 8 solvers in parallel
0.32/0.26	c parse instance...
10.06/6.08	c solve instance...
12.54/6.45	s UNSATISFIABLE

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 (11410 MiB free)
  memory of node 1: 16384 MiB (9833 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4281020-1503172361/watcher-4281020-1503172361 -o /tmp/evaluation-result-4281020-1503172361/solver-4281020-1503172361 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1503168972-924 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 182241264 HOME/instance-4281020-1503172361.xml 

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

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


[startup+0.100159 s]*
/proc/loadavg: 7.87 8.22 8.24 2/199 1222
/proc/meminfo: memFree=21738444/32770624 swapFree=67108860/67108860
[pid=1201] ppid=1198 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1201/stat : 1201 (xcsp3-exec) S 1198 1201 893 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150323787 9740288 346 33554432000 4194304 5098028 140731166187136 140731166185240 139791364043388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7905280 140731166192741 140731166192951 140731166192951 140731166195691 0
/proc/1201/statm: 2378 346 289 221 0 87 0
[pid=1203] ppid=1201 vsize=25999808 memory=26204 CPUtime=0.11 cores=0-7
/proc/1203/stat : 1203 (java) S 1201 1201 893 0 -1 1077944320 5464 0 0 0 10 1 0 0 20 0 20 0 150323787 26623803392 6551 33554432000 4194304 4196468 140722718613984 140722718596528 140700446887671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
/proc/1203/statm: 6499952 6551 2844 1 0 6488269 0
[pid=1203/tid=1204] ppid=1201 vsize=25999808 memory=8390339637985935414 CPUtime=0.08 cores=0-7
/proc/1203/task/1204/stat : 1204 (java) R 1201 1201 893 0 -1 4202560 3482 0 0 0 8 0 0 0 20 0 20 0 150323787 26623803392 6551 33554432000 4194304 4196468 140722718613984 140700451120944 140700430968158 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1205] ppid=1201 vsize=25999808 memory=288230609019731991 CPUtime=0 cores=0-7
/proc/1203/task/1205/stat : 1205 (java) S 1201 1201 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150323788 26623803392 6551 33554432000 4194304 4196468 140722718613984 140700399508240 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1206] ppid=1201 vsize=25999808 memory=140636769319726 CPUtime=0 cores=0-7
/proc/1203/task/1206/stat : 1206 (java) S 1201 1201 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150323788 26623803392 6551 33554432000 4194304 4196468 140722718613984 140700398455696 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1207] ppid=1201 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/1203/task/1207/stat : 1207 (java) S 1201 1201 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150323788 26623803392 6551 33554432000 4194304 4196468 140722718613984 140700397403152 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1208] ppid=1201 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1203/task/1208/stat : 1208 (java) S 1201 1201 893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150323788 26623803392 6551 33554432000 4194304 4196468 140722718613984 140700396350608 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1209] ppid=1201 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1203/task/1209/stat : 1209 (java) S 1201 1201 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150323788 26623803392 6551 33554432000 4194304 4196468 140722718613984 140700395297040 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1210] ppid=1201 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/1203/task/1210/stat : 1210 (java) S 1201 1201 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150323788 26623803392 6551 33554432000 4194304 4196468 140722718613984 140700394244496 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1211] ppid=1201 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1203/task/1211/stat : 1211 (java) S 1201 1201 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150323788 26623803392 6551 33554432000 4194304 4196468 140722718613984 140700393191952 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1212] ppid=1201 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1203/task/1212/stat : 1212 (java) S 1201 1201 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150323788 26623803392 6551 33554432000 4194304 4196468 140722718613984 140700392139408 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1213] ppid=1201 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1203/task/1213/stat : 1213 (java) S 1201 1201 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150323789 26623803392 6551 33554432000 4194304 4196468 140722718613984 140699189012976 140700446898818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1214] ppid=1201 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1203/task/1214/stat : 1214 (java) S 1201 1201 893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150323790 26623803392 6551 33554432000 4194304 4196468 140722718613984 140699187959200 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1215] ppid=1201 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1203/task/1215/stat : 1215 (java) S 1201 1201 893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150323790 26623803392 6551 33554432000 4194304 4196468 140722718613984 140699186906608 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1216] ppid=1201 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1203/task/1216/stat : 1216 (java) S 1201 1201 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150323793 26623803392 6551 33554432000 4194304 4196468 140722718613984 140699185855184 140700446906267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1217] ppid=1201 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1203/task/1217/stat : 1217 (java) S 1201 1201 893 0 -1 1077944384 313 0 0 0 0 0 0 0 20 0 20 0 150323793 26623803392 6551 33554432000 4194304 4196468 140722718613984 140699184801776 140700446898818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1218] ppid=1201 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1203/task/1218/stat : 1218 (java) S 1201 1201 893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150323793 26623803392 6551 33554432000 4194304 4196468 140722718613984 140699183749232 140700446898818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1219] ppid=1201 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/1203/task/1219/stat : 1219 (java) S 1201 1201 893 0 -1 1077944384 122 0 0 0 0 0 0 0 20 0 20 0 150323793 26623803392 6551 33554432000 4194304 4196468 140722718613984 140699182696688 140700446898818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1220] ppid=1201 vsize=25999808 memory=0 CPUtime=0.01 cores=0-7
/proc/1203/task/1220/stat : 1220 (java) R 1201 1201 893 0 -1 4202560 251 0 0 0 1 0 0 0 20 0 20 0 150323793 26623803392 6551 33554432000 4194304 4196468 140722718613984 140699181644144 140700446899606 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1221] ppid=1201 vsize=25999808 memory=0 CPUtime=0 cores=0-7
/proc/1203/task/1221/stat : 1221 (java) S 1201 1201 893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150323793 26623803392 6551 33554432000 4194304 4196468 140722718613984 140699180591840 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1222] ppid=1201 vsize=25999808 memory=-1 CPUtime=0 cores=0-7
/proc/1203/task/1222/stat : 1222 (java) S 1201 1201 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150323793 26623803392 6551 33554432000 4194304 4196468 140722718613984 140699179539376 140700446898818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
Current children cumulated CPU time: 0.11 s
Current children cumulated vsize: 26009320 KiB
Current children cumulated memory: 27588 KiB

[startup+0.210276 s]*
/proc/loadavg: 7.87 8.22 8.24 2/199 1222
/proc/meminfo: memFree=21725816/32770624 swapFree=67108860/67108860
[pid=1201] ppid=1198 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1201/stat : 1201 (xcsp3-exec) S 1198 1201 893 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150323787 9740288 346 33554432000 4194304 5098028 140731166187136 140731166185240 139791364043388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7905280 140731166192741 140731166192951 140731166192951 140731166195691 0
/proc/1201/statm: 2378 346 289 221 0 87 0
[pid=1203] ppid=1201 vsize=26004064 memory=39380 CPUtime=0.32 cores=0-7
/proc/1203/stat : 1203 (java) S 1201 1201 893 0 -1 1077944320 8339 0 0 0 30 2 0 0 20 0 20 0 150323787 26628161536 9845 33554432000 4194304 4196468 140722718613984 140722718596528 140700446887671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
/proc/1203/statm: 6501016 9845 3075 1 0 6488269 0
[pid=1203/tid=1204] ppid=1201 vsize=26004064 memory=8390339637985935414 CPUtime=0.19 cores=0-7
/proc/1203/task/1204/stat : 1204 (java) D 1201 1201 893 0 -1 1077944384 5421 0 0 0 18 1 0 0 20 0 20 0 150323787 26628161536 9866 33554432000 4194304 4196468 140722718613984 140700451098480 140700439566893 0 4 0 16800975 18446744072101760548 0 0 -1 2 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1205] ppid=1201 vsize=26004064 memory=288230609019731991 CPUtime=0 cores=0-7
/proc/1203/task/1205/stat : 1205 (java) S 1201 1201 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150323788 26628161536 9866 33554432000 4194304 4196468 140722718613984 140700399508240 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1206] ppid=1201 vsize=26004064 memory=140636769319726 CPUtime=0 cores=0-7
/proc/1203/task/1206/stat : 1206 (java) S 1201 1201 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150323788 26628161536 9866 33554432000 4194304 4196468 140722718613984 140700398455696 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1207] ppid=1201 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1203/task/1207/stat : 1207 (java) S 1201 1201 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150323788 26628161536 9866 33554432000 4194304 4196468 140722718613984 140700397403152 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1208] ppid=1201 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/1203/task/1208/stat : 1208 (java) S 1201 1201 893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150323788 26628194304 9866 33554432000 4194304 4196468 140722718613984 140700396350608 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1209] ppid=1201 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/1203/task/1209/stat : 1209 (java) S 1201 1201 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150323788 26628194304 9866 33554432000 4194304 4196468 140722718613984 140700395297040 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1210] ppid=1201 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1203/task/1210/stat : 1210 (java) S 1201 1201 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150323788 26628161536 9866 33554432000 4194304 4196468 140722718613984 140700394244496 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1211] ppid=1201 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1203/task/1211/stat : 1211 (java) S 1201 1201 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150323788 26628161536 9866 33554432000 4194304 4196468 140722718613984 140700393191952 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1212] ppid=1201 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1203/task/1212/stat : 1212 (java) S 1201 1201 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150323788 26628161536 9866 33554432000 4194304 4196468 140722718613984 140700392139408 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1213] ppid=1201 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1203/task/1213/stat : 1213 (java) S 1201 1201 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150323789 26628161536 9866 33554432000 4194304 4196468 140722718613984 140699189012976 140700446898818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1214] ppid=1201 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1203/task/1214/stat : 1214 (java) S 1201 1201 893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150323790 26628161536 9866 33554432000 4194304 4196468 140722718613984 140699187959200 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1215] ppid=1201 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1203/task/1215/stat : 1215 (java) S 1201 1201 893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150323790 26628161536 9866 33554432000 4194304 4196468 140722718613984 140699186906608 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1216] ppid=1201 vsize=26004096 memory=0 CPUtime=0 cores=0-7
/proc/1203/task/1216/stat : 1216 (java) S 1201 1201 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150323793 26628194304 9866 33554432000 4194304 4196468 140722718613984 140699185855184 140700446906267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1217] ppid=1201 vsize=26004096 memory=0 CPUtime=0.01 cores=0-7
/proc/1203/task/1217/stat : 1217 (java) S 1201 1201 893 0 -1 1077944384 403 0 0 0 1 0 0 0 20 0 20 0 150323793 26628194304 9866 33554432000 4194304 4196468 140722718613984 140699184801776 140700446898818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1218] ppid=1201 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1203/task/1218/stat : 1218 (java) S 1201 1201 893 0 -1 1077944384 71 0 0 0 0 0 0 0 20 0 20 0 150323793 26628161536 9866 33554432000 4194304 4196468 140722718613984 140699183749232 140700446898818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1219] ppid=1201 vsize=26004064 memory=-1 CPUtime=0.01 cores=0-7
/proc/1203/task/1219/stat : 1219 (java) S 1201 1201 893 0 -1 1077944384 423 0 0 0 1 0 0 0 20 0 20 0 150323793 26628161536 9866 33554432000 4194304 4196468 140722718613984 140699182696688 140700446898818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1220] ppid=1201 vsize=26004064 memory=0 CPUtime=0.07 cores=0-7
/proc/1203/task/1220/stat : 1220 (java) S 1201 1201 893 0 -1 1077944384 738 0 0 0 7 0 0 0 20 0 20 0 150323793 26628161536 9866 33554432000 4194304 4196468 140722718613984 140699181644144 140700446898818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1221] ppid=1201 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1203/task/1221/stat : 1221 (java) S 1201 1201 893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150323793 26628161536 9866 33554432000 4194304 4196468 140722718613984 140699180591840 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1222] ppid=1201 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1203/task/1222/stat : 1222 (java) S 1201 1201 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150323793 26628161536 9866 33554432000 4194304 4196468 140722718613984 140699179539376 140700446898818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
Current children cumulated CPU time: 0.32 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 40764 KiB

[startup+0.310005 s]*
/proc/loadavg: 7.87 8.22 8.24 3/199 1222
/proc/meminfo: memFree=21721040/32770624 swapFree=67108860/67108860
[pid=1201] ppid=1198 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1201/stat : 1201 (xcsp3-exec) S 1198 1201 893 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150323787 9740288 346 33554432000 4194304 5098028 140731166187136 140731166185240 139791364043388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7905280 140731166192741 140731166192951 140731166192951 140731166195691 0
/proc/1201/statm: 2378 346 289 221 0 87 0
[pid=1203] ppid=1201 vsize=26004064 memory=45832 CPUtime=0.49 cores=0-7
/proc/1203/stat : 1203 (java) S 1201 1201 893 0 -1 1077944320 9169 0 0 0 47 2 0 0 20 0 20 0 150323787 26628161536 11458 33554432000 4194304 4196468 140722718613984 140722718596528 140700446887671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
/proc/1203/statm: 6501016 11458 3089 1 0 6488269 0
[pid=1203/tid=1204] ppid=1201 vsize=26004064 memory=51204 CPUtime=0.29 cores=0-7
/proc/1203/task/1204/stat : 1204 (java) R 1201 1201 893 0 -1 4202560 6080 0 0 0 28 1 0 0 20 0 20 0 150323787 26628161536 11458 33554432000 4194304 4196468 140722718613984 140700451125408 140700446909597 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1205] ppid=1201 vsize=26004064 memory=35 CPUtime=0 cores=0-7
/proc/1203/task/1205/stat : 1205 (java) S 1201 1201 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150323788 26628161536 11458 33554432000 4194304 4196468 140722718613984 140700399508240 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1206] ppid=1201 vsize=26004064 memory=140636768698432 CPUtime=0 cores=0-7
/proc/1203/task/1206/stat : 1206 (java) S 1201 1201 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150323788 26628161536 11458 33554432000 4194304 4196468 140722718613984 140700398455696 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1207] ppid=1201 vsize=26004064 memory=35 CPUtime=0 cores=0-7
/proc/1203/task/1207/stat : 1207 (java) S 1201 1201 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150323788 26628161536 11458 33554432000 4194304 4196468 140722718613984 140700397403152 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1208] ppid=1201 vsize=26004064 memory=60388 CPUtime=0 cores=0-7
/proc/1203/task/1208/stat : 1208 (java) S 1201 1201 893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150323788 26628161536 11458 33554432000 4194304 4196468 140722718613984 140700396350608 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1209] ppid=1201 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1203/task/1209/stat : 1209 (java) S 1201 1201 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150323788 26628161536 11458 33554432000 4194304 4196468 140722718613984 140700395297040 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1210] ppid=1201 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1203/task/1210/stat : 1210 (java) S 1201 1201 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150323788 26628161536 11458 33554432000 4194304 4196468 140722718613984 140700394244496 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1211] ppid=1201 vsize=26004064 memory=695742 CPUtime=0 cores=0-7
/proc/1203/task/1211/stat : 1211 (java) S 1201 1201 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150323788 26628161536 11458 33554432000 4194304 4196468 140722718613984 140700393191952 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1212] ppid=1201 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1203/task/1212/stat : 1212 (java) S 1201 1201 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150323788 26628161536 11458 33554432000 4194304 4196468 140722718613984 140700392139408 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1213] ppid=1201 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1203/task/1213/stat : 1213 (java) S 1201 1201 893 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 20 0 150323789 26628161536 11458 33554432000 4194304 4196468 140722718613984 140699189012976 140700446898818 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1214] ppid=1201 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1203/task/1214/stat : 1214 (java) S 1201 1201 893 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 20 0 150323790 26628161536 11458 33554432000 4194304 4196468 140722718613984 140699187959200 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1215] ppid=1201 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1203/task/1215/stat : 1215 (java) S 1201 1201 893 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 20 0 150323790 26628161536 11458 33554432000 4194304 4196468 140722718613984 140699186906608 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1216] ppid=1201 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1203/task/1216/stat : 1216 (java) S 1201 1201 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150323793 26628161536 11458 33554432000 4194304 4196468 140722718613984 140699185855184 140700446906267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1217] ppid=1201 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/1203/task/1217/stat : 1217 (java) R 1201 1201 893 0 -1 4202560 423 0 0 0 2 0 0 0 20 0 20 0 150323793 26628161536 11458 33554432000 4194304 4196468 140722718613984 140699184801776 140700430857288 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1218] ppid=1201 vsize=26004064 memory=0 CPUtime=0.01 cores=0-7
/proc/1203/task/1218/stat : 1218 (java) S 1201 1201 893 0 -1 1077944384 82 0 0 0 1 0 0 0 20 0 20 0 150323793 26628161536 11458 33554432000 4194304 4196468 140722718613984 140699183749232 140700446898818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1219] ppid=1201 vsize=26004064 memory=0 CPUtime=0.02 cores=0-7
/proc/1203/task/1219/stat : 1219 (java) S 1201 1201 893 0 -1 1077944384 445 0 0 0 2 0 0 0 20 0 20 0 150323793 26628161536 11458 33554432000 4194304 4196468 140722718613984 140699182696688 140700446898818 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1220] ppid=1201 vsize=26004064 memory=0 CPUtime=0.12 cores=0-7
/proc/1203/task/1220/stat : 1220 (java) R 1201 1201 893 0 -1 4202560 840 0 0 0 12 0 0 0 20 0 20 0 150323793 26628161536 11458 33554432000 4194304 4196468 140722718613984 140699181641952 140700425842301 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1221] ppid=1201 vsize=26004064 memory=0 CPUtime=0 cores=0-7
/proc/1203/task/1221/stat : 1221 (java) S 1201 1201 893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150323793 26628161536 11458 33554432000 4194304 4196468 140722718613984 140699180591840 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1222] ppid=1201 vsize=26004064 memory=-1 CPUtime=0 cores=0-7
/proc/1203/task/1222/stat : 1222 (java) S 1201 1201 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150323793 26628161536 11458 33554432000 4194304 4196468 140722718613984 140699179539376 140700446898818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
Current children cumulated CPU time: 0.49 s
Current children cumulated vsize: 26013576 KiB
Current children cumulated memory: 47216 KiB

[startup+0.701011 s]
/proc/loadavg: 7.87 8.22 8.24 5/199 1222
/proc/meminfo: memFree=21679736/32770624 swapFree=67108860/67108860
[pid=1201] ppid=1198 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1201/stat : 1201 (xcsp3-exec) S 1198 1201 893 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150323787 9740288 346 33554432000 4194304 5098028 140731166187136 140731166185240 139791364043388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7905280 140731166192741 140731166192951 140731166192951 140731166195691 0
/proc/1201/statm: 2378 346 289 221 0 87 0
[pid=1203] ppid=1201 vsize=26004140 memory=199248 CPUtime=1.84 cores=0-7
/proc/1203/stat : 1203 (java) S 1201 1201 893 0 -1 1077944320 13309 0 0 0 177 7 0 0 20 0 20 0 150323787 26628239360 49812 33554432000 4194304 4196468 140722718613984 140722718596528 140700446887671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
/proc/1203/statm: 6501035 49812 3210 1 0 6488269 0
[pid=1203/tid=1204] ppid=1201 vsize=26004140 memory=1292 CPUtime=0.66 cores=0-7
/proc/1203/task/1204/stat : 1204 (java) R 1201 1201 893 0 -1 4202560 6460 0 0 0 63 3 0 0 20 0 20 0 150323787 26628239360 49812 33554432000 4194304 4196468 140722718613984 140700451125984 140700061664712 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1205] ppid=1201 vsize=26004140 memory=2428 CPUtime=0 cores=0-7
/proc/1203/task/1205/stat : 1205 (java) S 1201 1201 893 0 -1 1077944384 11 0 0 0 0 0 0 0 20 0 20 0 150323788 26628239360 49812 33554432000 4194304 4196468 140722718613984 140700399508240 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1206] ppid=1201 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/1203/task/1206/stat : 1206 (java) S 1201 1201 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150323788 26628239360 49812 33554432000 4194304 4196468 140722718613984 140700398455696 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1207] ppid=1201 vsize=26004140 memory=0 CPUtime=0 cores=0-7
/proc/1203/task/1207/stat : 1207 (java) S 1201 1201 893 0 -1 1077944384 7 0 0 0 0 0 0 0 20 0 20 0 150323788 26628239360 49812 33554432000 4194304 4196468 140722718613984 140700397403152 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0

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

/proc/loadavg: 7.32 8.10 8.20 2/199 1222
/proc/meminfo: memFree=21065884/32770624 swapFree=67108860/67108860
[pid=1201] ppid=1198 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1201/stat : 1201 (xcsp3-exec) S 1198 1201 893 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150323787 9740288 346 33554432000 4194304 5098028 140731166187136 140731166185240 139791364043388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7905280 140731166192741 140731166192951 140731166192951 140731166195691 0
/proc/1201/statm: 2378 346 289 221 0 87 0
[pid=1203] ppid=1201 vsize=26006188 memory=699568 CPUtime=5.89 cores=0-7
/proc/1203/stat : 1203 (java) S 1201 1201 893 0 -1 1077944320 16767 0 0 0 530 59 0 0 20 0 20 0 150323787 26630336512 174892 33554432000 4194304 4196468 140722718613984 140722718596528 140700446887671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
/proc/1203/statm: 6501547 174892 3239 1 0 6488781 0
[pid=1203/tid=1204] ppid=1201 vsize=26006188 memory=1384 CPUtime=2.95 cores=0-7
/proc/1203/task/1204/stat : 1204 (java) R 1201 1201 893 0 -1 4202560 7109 0 0 0 286 9 0 0 20 0 20 0 150323787 26630336512 174892 33554432000 4194304 4196468 140722718613984 140700451123184 140700446899606 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1205] ppid=1201 vsize=26006188 memory=140636623996209 CPUtime=0.1 cores=0-7
/proc/1203/task/1205/stat : 1205 (java) S 1201 1201 893 0 -1 1077944384 119 0 0 0 5 5 0 0 20 0 20 0 150323788 26630336512 174892 33554432000 4194304 4196468 140722718613984 140700399508240 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1206] ppid=1201 vsize=26006188 memory=-8970732287579073388 CPUtime=0.1 cores=0-7
/proc/1203/task/1206/stat : 1206 (java) S 1201 1201 893 0 -1 1077944384 98 0 0 0 4 6 0 0 20 0 20 0 150323788 26630336512 174892 33554432000 4194304 4196468 140722718613984 140700398455696 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1207] ppid=1201 vsize=26006188 memory=288285571649124716 CPUtime=0.1 cores=0-7
/proc/1203/task/1207/stat : 1207 (java) S 1201 1201 893 0 -1 1077944384 84 0 0 0 5 5 0 0 20 0 20 0 150323788 26630336512 174892 33554432000 4194304 4196468 140722718613984 140700397403152 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1208] ppid=1201 vsize=26006188 memory=3906090035774226464 CPUtime=0.1 cores=0-7
/proc/1203/task/1208/stat : 1208 (java) S 1201 1201 893 0 -1 1077944384 337 0 0 0 4 6 0 0 20 0 20 0 150323788 26630336512 174892 33554432000 4194304 4196468 140722718613984 140700396350608 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1209] ppid=1201 vsize=26006188 memory=1384 CPUtime=0.1 cores=0-7
/proc/1203/task/1209/stat : 1209 (java) S 1201 1201 893 0 -1 1077944384 100 0 0 0 5 5 0 0 20 0 20 0 150323788 26630336512 174892 33554432000 4194304 4196468 140722718613984 140700395297040 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1210] ppid=1201 vsize=26006188 memory=503140 CPUtime=0.1 cores=0-7
/proc/1203/task/1210/stat : 1210 (java) S 1201 1201 893 0 -1 1077944384 81 0 0 0 5 5 0 0 20 0 20 0 150323788 26630336512 174892 33554432000 4194304 4196468 140722718613984 140700394244496 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1211] ppid=1201 vsize=26006188 memory=7595158505018582353 CPUtime=0.11 cores=0-7
/proc/1203/task/1211/stat : 1211 (java) S 1201 1201 893 0 -1 1077944384 96 0 0 0 5 6 0 0 20 0 20 0 150323788 26630336512 174892 33554432000 4194304 4196468 140722718613984 140700393191952 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1212] ppid=1201 vsize=26006188 memory=140636623962785 CPUtime=0.11 cores=0-7
/proc/1203/task/1212/stat : 1212 (java) S 1201 1201 893 0 -1 1077944384 97 0 0 0 6 5 0 0 20 0 20 0 150323788 26630336512 174892 33554432000 4194304 4196468 140722718613984 140700392139408 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1213] ppid=1201 vsize=26006188 memory=-7229233403441835140 CPUtime=0 cores=0-7
/proc/1203/task/1213/stat : 1213 (java) S 1201 1201 893 0 -1 1077944384 508 0 0 0 0 0 0 0 20 0 20 0 150323789 26630336512 174892 33554432000 4194304 4196468 140722718613984 140699189012976 140700446898818 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1214] ppid=1201 vsize=26006188 memory=0 CPUtime=0 cores=0-7
/proc/1203/task/1214/stat : 1214 (java) S 1201 1201 893 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 150323790 26630336512 174892 33554432000 4194304 4196468 140722718613984 140699187959264 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1215] ppid=1201 vsize=26006188 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/1203/task/1215/stat : 1215 (java) S 1201 1201 893 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 150323790 26630336512 174892 33554432000 4194304 4196468 140722718613984 140699186906624 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1216] ppid=1201 vsize=26006188 memory=6944656592455359580 CPUtime=0 cores=0-7
/proc/1203/task/1216/stat : 1216 (java) S 1201 1201 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 150323793 26630336512 174892 33554432000 4194304 4196468 140722718613984 140699185855184 140700446906267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1217] ppid=1201 vsize=26006188 memory=374740 CPUtime=0.42 cores=0-7
/proc/1203/task/1217/stat : 1217 (java) S 1201 1201 893 0 -1 1077944384 1677 0 0 0 42 0 0 0 20 0 20 0 150323793 26630336512 174892 33554432000 4194304 4196468 140722718613984 140699184801776 140700446898818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 4 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1218] ppid=1201 vsize=26006188 memory=162 CPUtime=0.57 cores=0-7
/proc/1203/task/1218/stat : 1218 (java) S 1201 1201 893 0 -1 1077944384 1805 0 0 0 57 0 0 0 20 0 20 0 150323793 26630336512 174892 33554432000 4194304 4196468 140722718613984 140699183749232 140700446898818 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1219] ppid=1201 vsize=26006188 memory=3 CPUtime=0.48 cores=0-7
/proc/1203/task/1219/stat : 1219 (java) S 1201 1201 893 0 -1 1077944384 1280 0 0 0 48 0 0 0 20 0 20 0 150323793 26630336512 174892 33554432000 4194304 4196468 140722718613984 140699182696688 140700446898818 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1220] ppid=1201 vsize=26006188 memory=0 CPUtime=0.51 cores=0-7
/proc/1203/task/1220/stat : 1220 (java) R 1201 1201 893 0 -1 4202560 2076 0 0 0 51 0 0 0 20 0 20 0 150323793 26630336512 174892 33554432000 4194304 4196468 140722718613984 140699181644144 140700446909018 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1221] ppid=1201 vsize=26006188 memory=140636623859936 CPUtime=0 cores=0-7
/proc/1203/task/1221/stat : 1221 (java) S 1201 1201 893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150323793 26630336512 174892 33554432000 4194304 4196468 140722718613984 140699180591840 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1222] ppid=1201 vsize=26006188 memory=140636623859968 CPUtime=0 cores=0-7
/proc/1203/task/1222/stat : 1222 (java) S 1201 1201 893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 150323793 26630336512 174892 33554432000 4194304 4196468 140722718613984 140699179539376 140700446898818 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 13 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
Current children cumulated CPU time: 5.89 s
Current children cumulated vsize: 26015700 KiB
Current children cumulated memory: 700952 KiB

[startup+6.30111 s]
/proc/loadavg: 7.32 8.10 8.20 2/199 1222
/proc/meminfo: memFree=20403608/32770624 swapFree=67108860/67108860
[pid=1201] ppid=1198 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1201/stat : 1201 (xcsp3-exec) S 1198 1201 893 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150323787 9740288 346 33554432000 4194304 5098028 140731166187136 140731166185240 139791364043388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7905280 140731166192741 140731166192951 140731166192951 140731166195691 0
/proc/1201/statm: 2378 346 289 221 0 87 0
[pid=1203] ppid=1201 vsize=26538700 memory=1365288 CPUtime=11.71 cores=0-7
/proc/1203/stat : 1203 (java) S 1201 1201 893 0 -1 1077944320 19746 0 0 0 1049 122 0 0 20 0 28 0 150323787 27175628800 341322 33554432000 4194304 4196468 140722718613984 140722718596528 140700446887671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
/proc/1203/statm: 6634675 341322 3252 1 0 6621909 0
[pid=1203/tid=1204] ppid=1201 vsize=26538700 memory=0 CPUtime=5.79 cores=0-7
/proc/1203/task/1204/stat : 1204 (java) S 1201 1201 893 0 -1 1077944384 7591 0 0 0 563 16 0 0 20 0 28 0 150323787 27175628800 341322 33554432000 4194304 4196468 140722718613984 140700451128448 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1205] ppid=1201 vsize=26538700 memory=0 CPUtime=0.23 cores=0-7
/proc/1203/task/1205/stat : 1205 (java) S 1201 1201 893 0 -1 1077944384 214 0 0 0 11 12 0 0 20 0 28 0 150323788 27175628800 341322 33554432000 4194304 4196468 140722718613984 140700399508240 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1206] ppid=1201 vsize=26538700 memory=281273247596896 CPUtime=0.23 cores=0-7
/proc/1203/task/1206/stat : 1206 (java) S 1201 1201 893 0 -1 1077944384 191 0 0 0 10 13 0 0 20 0 28 0 150323788 27175628800 341322 33554432000 4194304 4196468 140722718613984 140700398455696 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1207] ppid=1201 vsize=26538700 memory=0 CPUtime=0.23 cores=0-7
/proc/1203/task/1207/stat : 1207 (java) S 1201 1201 893 0 -1 1077944384 229 0 0 0 11 12 0 0 20 0 28 0 150323788 27175628800 341322 33554432000 4194304 4196468 140722718613984 140700397403152 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1208] ppid=1201 vsize=26538700 memory=0 CPUtime=0.24 cores=0-7
/proc/1203/task/1208/stat : 1208 (java) S 1201 1201 893 0 -1 1077944384 469 0 0 0 12 12 0 0 20 0 28 0 150323788 27175628800 341322 33554432000 4194304 4196468 140722718613984 140700396350608 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1209] ppid=1201 vsize=26538700 memory=0 CPUtime=0.24 cores=0-7
/proc/1203/task/1209/stat : 1209 (java) S 1201 1201 893 0 -1 1077944384 191 0 0 0 11 13 0 0 20 0 28 0 150323788 27175628800 341322 33554432000 4194304 4196468 140722718613984 140700395297040 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1210] ppid=1201 vsize=26538700 memory=49 CPUtime=0.23 cores=0-7
/proc/1203/task/1210/stat : 1210 (java) S 1201 1201 893 0 -1 1077944384 181 0 0 0 12 11 0 0 20 0 28 0 150323788 27175628800 341322 33554432000 4194304 4196468 140722718613984 140700394244496 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1211] ppid=1201 vsize=26538700 memory=281273247788048 CPUtime=0.24 cores=0-7
/proc/1203/task/1211/stat : 1211 (java) S 1201 1201 893 0 -1 1077944384 192 0 0 0 11 13 0 0 20 0 28 0 150323788 27175628800 341322 33554432000 4194304 4196468 140722718613984 140700393191952 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1212] ppid=1201 vsize=26538700 memory=7342313704170 CPUtime=0.24 cores=0-7
/proc/1203/task/1212/stat : 1212 (java) S 1201 1201 893 0 -1 1077944384 193 0 0 0 12 12 0 0 20 0 28 0 150323788 27175628800 341322 33554432000 4194304 4196468 140722718613984 140700392139408 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1213] ppid=1201 vsize=26538700 memory=7342313704170 CPUtime=0.01 cores=0-7
/proc/1203/task/1213/stat : 1213 (java) S 1201 1201 893 0 -1 1077944384 571 0 0 0 1 0 0 0 20 0 28 0 150323789 27175628800 341322 33554432000 4194304 4196468 140722718613984 140699189012976 140700446898818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1214] ppid=1201 vsize=26538700 memory=7342313704170 CPUtime=0 cores=0-7
/proc/1203/task/1214/stat : 1214 (java) S 1201 1201 893 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 150323790 27175628800 341322 33554432000 4194304 4196468 140722718613984 140699187959264 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1215] ppid=1201 vsize=26538700 memory=7342313703914 CPUtime=0 cores=0-7
/proc/1203/task/1215/stat : 1215 (java) S 1201 1201 893 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 150323790 27175628800 341322 33554432000 4194304 4196468 140722718613984 140699186906624 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1216] ppid=1201 vsize=26538700 memory=281273248109616 CPUtime=0 cores=0-7
/proc/1203/task/1216/stat : 1216 (java) S 1201 1201 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150323793 27175628800 341322 33554432000 4194304 4196468 140722718613984 140699185855184 140700446906267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1217] ppid=1201 vsize=26538700 memory=0 CPUtime=0.62 cores=0-7
/proc/1203/task/1217/stat : 1217 (java) R 1201 1201 893 0 -1 4202560 1758 0 0 0 61 1 0 0 20 0 28 0 150323793 27175628800 341322 33554432000 4194304 4196468 140722718613984 140699184794968 140700432901980 0 4 0 16800975 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1218] ppid=1201 vsize=26538700 memory=18753 CPUtime=0.92 cores=0-7
/proc/1203/task/1218/stat : 1218 (java) R 1201 1201 893 0 -1 4202560 2566 0 0 0 92 0 0 0 20 0 28 0 150323793 27175628800 341322 33554432000 4194304 4196468 140722718613984 140699183735328 140700428432348 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1219] ppid=1201 vsize=26538700 memory=6944652177228980320 CPUtime=0.71 cores=0-7
/proc/1203/task/1219/stat : 1219 (java) R 1201 1201 893 0 -1 1077944384 1354 0 0 0 71 0 0 0 20 0 28 0 150323793 27175628800 341322 33554432000 4194304 4196468 140722718613984 140699182682560 140700446897877 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1220] ppid=1201 vsize=26538700 memory=6944652177228980320 CPUtime=0.64 cores=0-7
/proc/1203/task/1220/stat : 1220 (java) R 1201 1201 893 0 -1 4202560 2351 0 0 0 64 0 0 0 20 0 28 0 150323793 27175628800 341322 33554432000 4194304 4196468 140722718613984 140699181644272 140700439984507 0 4 0 16800975 0 0 0 -1 1 0 0 11 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1221] ppid=1201 vsize=26538700 memory=6944656592455097440 CPUtime=0 cores=0-7
/proc/1203/task/1221/stat : 1221 (java) S 1201 1201 893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150323793 27175628800 341322 33554432000 4194304 4196468 140722718613984 140699180591840 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1222] ppid=1201 vsize=26538700 memory=281273247992576 CPUtime=0 cores=0-7
/proc/1203/task/1222/stat : 1222 (java) S 1201 1201 893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150323793 27175628800 341322 33554432000 4194304 4196468 140722718613984 140699179539376 140700446898818 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 13 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
Current children cumulated CPU time: 11.71 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1366672 KiB

[startup+6.47706 s]
# the end of solver process 1201 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=11.6823 s, system=1.2469 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.40711 s]
/proc/loadavg: 7.32 8.10 8.20 2/199 1222
/proc/meminfo: memFree=20403608/32770624 swapFree=67108860/67108860
[pid=1201] ppid=1198 vsize=9512 memory=1384 CPUtime=0 cores=0-7
/proc/1201/stat : 1201 (xcsp3-exec) S 1198 1201 893 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 150323787 9740288 346 33554432000 4194304 5098028 140731166187136 140731166185240 139791364043388 0 65536 4100 65538 18446744071579417331 0 0 17 2 0 0 0 0 0 7196144 7232144 7905280 140731166192741 140731166192951 140731166192951 140731166195691 0
/proc/1201/statm: 2378 346 289 221 0 87 0
[pid=1203] ppid=1201 vsize=26538700 memory=1367776 CPUtime=12.54 cores=0-7
/proc/1203/stat : 1203 (java) S 1201 1201 893 0 -1 1077944320 20340 0 0 0 1132 122 0 0 20 0 28 0 150323787 27175628800 341944 33554432000 4194304 4196468 140722718613984 140722718596528 140700446887671 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
/proc/1203/statm: 6634675 341944 3252 1 0 6621909 0
[pid=1203/tid=1204] ppid=1201 vsize=26538700 memory=0 CPUtime=5.79 cores=0-7
/proc/1203/task/1204/stat : 1204 (java) S 1201 1201 893 0 -1 1077944384 7591 0 0 0 563 16 0 0 20 0 28 0 150323787 27175628800 341944 33554432000 4194304 4196468 140722718613984 140700451128448 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1205] ppid=1201 vsize=26538700 memory=8112282956445269571 CPUtime=0.23 cores=0-7
/proc/1203/task/1205/stat : 1205 (java) S 1201 1201 893 0 -1 1077944384 214 0 0 0 11 12 0 0 20 0 28 0 150323788 27175628800 341944 33554432000 4194304 4196468 140722718613984 140700399508240 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1206] ppid=1201 vsize=26538700 memory=0 CPUtime=0.23 cores=0-7
/proc/1203/task/1206/stat : 1206 (java) S 1201 1201 893 0 -1 1077944384 191 0 0 0 10 13 0 0 20 0 28 0 150323788 27175628800 341944 33554432000 4194304 4196468 140722718613984 140700398455696 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1207] ppid=1201 vsize=26538700 memory=0 CPUtime=0.23 cores=0-7
/proc/1203/task/1207/stat : 1207 (java) S 1201 1201 893 0 -1 1077944384 229 0 0 0 11 12 0 0 20 0 28 0 150323788 27175628800 341944 33554432000 4194304 4196468 140722718613984 140700397403152 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1208] ppid=1201 vsize=26538700 memory=0 CPUtime=0.24 cores=0-7
/proc/1203/task/1208/stat : 1208 (java) S 1201 1201 893 0 -1 1077944384 469 0 0 0 12 12 0 0 20 0 28 0 150323788 27175628800 341944 33554432000 4194304 4196468 140722718613984 140700396350608 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1209] ppid=1201 vsize=26538700 memory=0 CPUtime=0.24 cores=0-7
/proc/1203/task/1209/stat : 1209 (java) S 1201 1201 893 0 -1 1077944384 191 0 0 0 11 13 0 0 20 0 28 0 150323788 27175628800 341944 33554432000 4194304 4196468 140722718613984 140700395297040 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1210] ppid=1201 vsize=26538700 memory=0 CPUtime=0.23 cores=0-7
/proc/1203/task/1210/stat : 1210 (java) S 1201 1201 893 0 -1 1077944384 181 0 0 0 12 11 0 0 20 0 28 0 150323788 27175628800 341944 33554432000 4194304 4196468 140722718613984 140700394244496 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1211] ppid=1201 vsize=26538700 memory=0 CPUtime=0.24 cores=0-7
/proc/1203/task/1211/stat : 1211 (java) S 1201 1201 893 0 -1 1077944384 192 0 0 0 11 13 0 0 20 0 28 0 150323788 27175628800 341944 33554432000 4194304 4196468 140722718613984 140700393191952 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1212] ppid=1201 vsize=26538700 memory=0 CPUtime=0.24 cores=0-7
/proc/1203/task/1212/stat : 1212 (java) S 1201 1201 893 0 -1 1077944384 193 0 0 0 12 12 0 0 20 0 28 0 150323788 27175628800 341944 33554432000 4194304 4196468 140722718613984 140700392139408 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1213] ppid=1201 vsize=26538700 memory=281273247993840 CPUtime=0.01 cores=0-7
/proc/1203/task/1213/stat : 1213 (java) S 1201 1201 893 0 -1 1077944384 571 0 0 0 1 0 0 0 20 0 28 0 150323789 27175628800 341944 33554432000 4194304 4196468 140722718613984 140699189012976 140700446898818 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1214] ppid=1201 vsize=26538700 memory=41824 CPUtime=0 cores=0-7
/proc/1203/task/1214/stat : 1214 (java) S 1201 1201 893 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 28 0 150323790 27175628800 341944 33554432000 4194304 4196468 140722718613984 140699187959264 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1215] ppid=1201 vsize=26538700 memory=1292 CPUtime=0 cores=0-7
/proc/1203/task/1215/stat : 1215 (java) S 1201 1201 893 0 -1 1077944384 24 0 0 0 0 0 0 0 20 0 28 0 150323790 27175628800 341944 33554432000 4194304 4196468 140722718613984 140699186906624 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1216] ppid=1201 vsize=26538700 memory=2428 CPUtime=0 cores=0-7
/proc/1203/task/1216/stat : 1216 (java) S 1201 1201 893 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 150323793 27175628800 341944 33554432000 4194304 4196468 140722718613984 140699185855184 140700446906267 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1217] ppid=1201 vsize=26538700 memory=1732 CPUtime=0.71 cores=0-7
/proc/1203/task/1217/stat : 1217 (java) R 1201 1201 893 0 -1 4202560 1767 0 0 0 70 1 0 0 20 0 28 0 150323793 27175628800 341944 33554432000 4194304 4196468 140722718613984 140699184783120 140700430371134 0 4 0 16800975 0 0 0 -1 7 0 0 4 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1218] ppid=1201 vsize=26538700 memory=1944 CPUtime=1.01 cores=0-7
/proc/1203/task/1218/stat : 1218 (java) R 1201 1201 893 0 -1 4202560 2697 0 0 0 100 1 0 0 20 0 28 0 150323793 27175628800 341944 33554432000 4194304 4196468 140722718613984 140699183735760 140700446909018 0 4 0 16800975 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1219] ppid=1201 vsize=26538700 memory=1700 CPUtime=0.79 cores=0-7
/proc/1203/task/1219/stat : 1219 (java) R 1201 1201 893 0 -1 4202560 1724 0 0 0 79 0 0 0 20 0 28 0 150323793 27175628800 341944 33554432000 4194304 4196468 140722718613984 140699182687280 140700446909018 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1220] ppid=1201 vsize=26538700 memory=0 CPUtime=0.67 cores=0-7
/proc/1203/task/1220/stat : 1220 (java) R 1201 1201 893 0 -1 1077944384 2408 0 0 0 67 0 0 0 20 0 28 0 150323793 27175628800 341944 33554432000 4194304 4196468 140722718613984 140699181644144 140700446898818 0 4 0 16800975 0 0 0 -1 0 0 0 11 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1221] ppid=1201 vsize=26538700 memory=8547763363015199892 CPUtime=0 cores=0-7
/proc/1203/task/1221/stat : 1221 (java) S 1201 1201 893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150323793 27175628800 341944 33554432000 4194304 4196468 140722718613984 140699180591840 140700446897877 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
[pid=1203/tid=1222] ppid=1201 vsize=26538700 memory=-4504271847523324239 CPUtime=0 cores=0-7
/proc/1203/task/1222/stat : 1222 (java) S 1201 1201 893 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 150323793 27175628800 341944 33554432000 4194304 4196468 140722718613984 140699179539376 140700446898818 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 13 0 0 6293624 6294260 28598272 140722718622866 140722718623043 140722718623043 140722718625743 0
Current children cumulated CPU time: 12.54 s
Current children cumulated vsize: 26548212 KiB
Current children cumulated memory: 1369160 KiB

Child status: 0
Real time (s): 6.47713
CPU time (s): 12.9292
CPU user time (s): 11.6823
CPU system time (s): 1.2469
CPU usage (%): 199.613
Max. virtual memory (cumulated for all children) (KiB): 26548212
Max. memory (cumulated for all children) (KiB): 1369160

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 11.6823
system time used= 1.2469
maximum resident set size= 1369484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20983
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4455
involuntary context switches= 112


# summary of solver processes directly reported to runsolver:
#   pid: 1201
#   total CPU time (s): 12.9292
#   total CPU user time (s): 11.6823
#   total CPU system time (s): 1.2469

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.068307 second user time and 0.101512 second system time

The end

Launcher Data 

Begin job on node114 at 2017-08-19 21:38:21
IDJOB=4281020
IDBENCH=139299
IDSOLVER=2675
FILE ID=node114/4281020-1503172361
RUNJOBID= node114-1503168972-924
PBS_JOBID= 20630836
Free space on /tmp= 61844 MiB

SOLVER NAME= choco-solver 4.0.5 par
BENCH NAME= XCSP17/RenaultMod/RenaultMod-m1-s1/RenaultMod-21.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 22000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4281020-1503172361/watcher-4281020-1503172361 -o /tmp/evaluation-result-4281020-1503172361/solver-4281020-1503172361 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node114-1503168972-924 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 20160 -p 8 -ml 22000 -tdir HOME -seed 182241264 HOME/instance-4281020-1503172361.xml

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

MD5SUM BENCH= 0963ecc662fca7fb73f4e82ded789c90
RANDOM SEED=182241264

node114.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	: 5332.98
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	: 5332.98
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	: 5332.98
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	: 5332.98
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:        21753596 kB
MemAvailable:   31969508 kB
Buffers:          257204 kB
Cached:         10247464 kB
SwapCached:            0 kB
Active:          1768292 kB
Inactive:        8792404 kB
Active(anon):      47380 kB
Inactive(anon):    44268 kB
Active(file):    1720912 kB
Inactive(file):  8748136 kB
Unevictable:        7236 kB
Mlocked:            7236 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             11116 kB
Writeback:             0 kB
AnonPages:        194480 kB
Mapped:            51136 kB
Shmem:             33416 kB
Slab:             151840 kB
SReclaimable:     125396 kB
SUnreclaim:        26444 kB
KernelStack:        3520 kB
PageTables:         4804 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     332540 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    141312 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      109952 kB
DirectMap2M:    33435648 kB

Free space on /tmp at the end= 61836 MiB
End job on node114 at 2017-08-19 21:38:28