Trace number 4272032

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
choco-solver 5a (2017-07-26)SAT (TO)155 2520.0701 2507.51

General information on the benchmark

NameGolombRuler/GolombRuler-a4-s1/
GolombRuler-14-a4.xml
MD5SUM5aba8e5725f87f11766562fcd4055047
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark136
Best CPU time to get the best result obtained on this benchmark2400.1
Satisfiable
(Un)Satisfiability was proved
Number of variables14
Number of constraints3733
Number of domains1
Minimum domain size501
Maximum domain size501
Distribution of domain sizes[{"size":501,"count":14}]
Minimum variable degree1015
Maximum variable degree1016
Distribution of variable degrees[{"degree":1015,"count":12},{"degree":1016,"count":2}]
Minimum constraint arity1
Maximum constraint arity14
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":728},{"arity":4,"count":3003},{"arity":14,"count":1}]
Number of extensional constraints0
Number of intensional constraints3732
Distribution of constraint types[{"type":"intension","count":3732},{"type":"ordered","count":1}]
Optimization problemYES
Type of objectivemin VAR

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.00/0.10	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4272032-1502776692.xml"  -tl '2520s' -p 1 -x 3
0.05/0.32	c [HOME/instance-4272032-1502776692.xml, -tl, 2520s, -p, 1, -x, 3]
0.21/0.38	c simple solver
0.36/0.44	c parse instance...
2.82/1.22	c solve instance...
15.99/10.06	o 188 
16.55/10.41	o 171 
169.33/161.76	o 170 
181.67/173.95	o 169 
197.62/189.87	o 168 
208.39/200.52	o 167 
240.51/232.38	o 166 
252.23/244.03	o 165 
261.60/253.34	o 164 
271.70/263.43	o 163 
281.93/273.67	o 162 
310.78/302.25	o 161 
324.12/315.45	o 160 
358.40/349.63	o 159 
391.46/382.54	o 158 
412.14/403.13	o 157 
631.25/621.80	o 156 
2442.79/2430.33	o 155 
2520.04/2507.50	s SATISFIABLE
2520.04/2507.50	v <instantiation>
2520.04/2507.50	v 	<list>x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] </list>
2520.04/2507.50	v 	<values>0 2 5 9 15 23 43 55 72 103 119 130 154 155 </values>
2520.04/2507.50	v </instantiation>
2520.04/2507.50	c Unexpected resolution interruption!

Verifier Data 

OK	155

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4272032-1502776692/watcher-4272032-1502776692 -o /tmp/evaluation-result-4272032-1502776692/solver-4272032-1502776692 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11629 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1924269826 HOME/instance-4272032-1502776692.xml 

running on 4 cores: 1,3,5,7

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


[startup+0.100159 s]*
/proc/loadavg: 1.52 1.53 1.51 2/196 1563
/proc/meminfo: memFree=30768628/32770624 swapFree=67108860/67108860
[pid=1562] ppid=1559 vsize=9376 memory=500 CPUtime=0 cores=1,3,5,7
/proc/1562/stat : 1562 (xcsp3-exec) R 1559 1562 897 0 -1 4202496 293 0 0 0 0 0 0 0 20 0 1 0 79889823 9601024 125 18446744073709551615 4194304 5098028 140724524831936 140724524831936 4606096 0 0 1 0 0 0 0 17 5 0 0 10 0 0 7196144 7232144 14774272 140724524835192 140724524835397 140724524835397 140724524838891 0
/proc/1562/statm: 2344 125 98 221 0 53 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 9376 KiB
Current children cumulated memory: 500 KiB

[startup+0.209106 s]*
/proc/loadavg: 1.52 1.53 1.51 2/210 1577
/proc/meminfo: memFree=30757924/32770624 swapFree=67108860/67108860
[pid=1562] ppid=1559 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1562/stat : 1562 (xcsp3-exec) S 1559 1562 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 79889823 9740288 345 18446744073709551615 4194304 5098028 140724524831936 140724524830040 140552077685372 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 14774272 140724524835192 140724524835397 140724524835397 140724524838891 0
/proc/1562/statm: 2378 345 289 221 0 87 0
[pid=1564] ppid=1562 vsize=13907304 memory=20392 CPUtime=0.05 cores=1,3,5,7
/proc/1564/stat : 1564 (java) S 1562 1562 897 0 -1 1077944320 4546 0 0 0 5 0 0 0 20 0 14 0 79889834 14241079296 5098 18446744073709551615 4194304 4196468 140730587942240 140730587924784 140630206439159 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
/proc/1564/statm: 3476826 5098 2559 1 0 3466323 0
[pid=1564/tid=1565] ppid=1562 vsize=13907304 memory=7022364594140610616 CPUtime=0.04 cores=1,3,5,7
/proc/1564/task/1565/stat : 1565 (java) D 1562 1562 897 0 -1 4202560 2724 0 0 0 4 0 0 0 20 0 14 0 79889834 14241079296 5098 18446744073709551615 4194304 4196468 140730587942240 140630210676640 140630206461181 0 4 1 16800974 18446744071580418449 0 0 -1 3 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1566] ppid=1562 vsize=13907304 memory=339 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1566/stat : 1566 (java) S 1562 1562 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 79889835 14241079296 5098 18446744073709551615 4194304 4196468 140730587942240 140630125853328 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1567] ppid=1562 vsize=13907304 memory=139782481617783 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1567/stat : 1567 (java) S 1562 1562 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 79889835 14241079296 5098 18446744073709551615 4194304 4196468 140730587942240 140630124800528 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1568] ppid=1562 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1568/stat : 1568 (java) S 1562 1562 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 79889835 14241079296 5098 18446744073709551615 4194304 4196468 140730587942240 140630123747728 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1569] ppid=1562 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1569/stat : 1569 (java) S 1562 1562 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 79889835 14241079296 5098 18446744073709551615 4194304 4196468 140730587942240 140630122694928 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1570] ppid=1562 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1570/stat : 1570 (java) S 1562 1562 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 79889836 14241079296 5098 18446744073709551615 4194304 4196468 140730587942240 140629121948528 140630206450306 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1571] ppid=1562 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1571/stat : 1571 (java) S 1562 1562 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 79889837 14241079296 5098 18446744073709551615 4194304 4196468 140730587942240 140629120894496 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1572] ppid=1562 vsize=13907304 memory=139782481598080 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1572/stat : 1572 (java) S 1562 1562 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 79889837 14241079296 5098 18446744073709551615 4194304 4196468 140730587942240 140629119841648 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1573] ppid=1562 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1573/stat : 1573 (java) S 1562 1562 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 79889839 14241079296 5098 18446744073709551615 4194304 4196468 140730587942240 140629118789968 140630206457755 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1574] ppid=1562 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1574/stat : 1574 (java) S 1562 1562 897 0 -1 1077944384 305 0 0 0 0 0 0 0 20 0 14 0 79889839 14241079296 5098 18446744073709551615 4194304 4196468 140730587942240 140629117737328 140630206450306 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1575] ppid=1562 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1575/stat : 1575 (java) S 1562 1562 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 79889839 14241079296 5098 18446744073709551615 4194304 4196468 140730587942240 140629116684528 140630206450306 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1576] ppid=1562 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1576/stat : 1576 (java) S 1562 1562 897 0 -1 1077944384 211 0 0 0 0 0 0 0 20 0 14 0 79889839 14241079296 5098 18446744073709551615 4194304 4196468 140730587942240 140629115631728 140630206450306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1577] ppid=1562 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1577/stat : 1577 (java) S 1562 1562 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 79889840 14241079296 5098 18446744073709551615 4194304 4196468 140730587942240 140629114579168 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 21772 KiB

[startup+0.317593 s]*
/proc/loadavg: 1.52 1.53 1.51 5/211 1578
/proc/meminfo: memFree=30747924/32770624 swapFree=67108860/67108860
[pid=1562] ppid=1559 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1562/stat : 1562 (xcsp3-exec) S 1559 1562 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 79889823 9740288 345 18446744073709551615 4194304 5098028 140724524831936 140724524830040 140552077685372 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 14774272 140724524835192 140724524835397 140724524835397 140724524838891 0
/proc/1562/statm: 2378 345 289 221 0 87 0
[pid=1564] ppid=1562 vsize=13974352 memory=32060 CPUtime=0.21 cores=1,3,5,7
/proc/1564/stat : 1564 (java) S 1562 1562 897 0 -1 1077944320 5960 0 0 0 20 1 0 0 20 0 15 0 79889834 14309736448 8015 18446744073709551615 4194304 4196468 140730587942240 140730587924784 140630206439159 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
/proc/1564/statm: 3493588 8015 2964 1 0 3482964 0
[pid=1564/tid=1565] ppid=1562 vsize=13974352 memory=-8774313645642428999 CPUtime=0.13 cores=1,3,5,7
/proc/1564/task/1565/stat : 1565 (java) R 1562 1562 897 0 -1 4202560 3249 0 0 0 12 1 0 0 20 0 15 0 79889834 14309736448 8015 18446744073709551615 4194304 4196468 140730587942240 140630210677008 140630198676286 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1566] ppid=1562 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1566/stat : 1566 (java) S 1562 1562 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79889835 14309736448 8015 18446744073709551615 4194304 4196468 140730587942240 140630125853328 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1567] ppid=1562 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1567/stat : 1567 (java) S 1562 1562 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79889835 14309736448 8015 18446744073709551615 4194304 4196468 140730587942240 140630124800528 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1568] ppid=1562 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1568/stat : 1568 (java) S 1562 1562 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79889835 14309736448 8015 18446744073709551615 4194304 4196468 140730587942240 140630123747728 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1569] ppid=1562 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1569/stat : 1569 (java) S 1562 1562 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79889835 14309736448 8015 18446744073709551615 4194304 4196468 140730587942240 140630122694928 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1570] ppid=1562 vsize=13974352 memory=139782481598080 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1570/stat : 1570 (java) S 1562 1562 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79889836 14309736448 8015 18446744073709551615 4194304 4196468 140730587942240 140629121948528 140630206450306 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1571] ppid=1562 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1571/stat : 1571 (java) S 1562 1562 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 79889837 14309736448 8015 18446744073709551615 4194304 4196468 140730587942240 140629120894496 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1572] ppid=1562 vsize=13974352 memory=139782481598080 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1572/stat : 1572 (java) S 1562 1562 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79889837 14309736448 8015 18446744073709551615 4194304 4196468 140730587942240 140629119841648 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1573] ppid=1562 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1573/stat : 1573 (java) S 1562 1562 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79889839 14309736448 8015 18446744073709551615 4194304 4196468 140730587942240 140629118789968 140630206457755 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1574] ppid=1562 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/1564/task/1574/stat : 1574 (java) S 1562 1562 897 0 -1 1077944384 362 0 0 0 1 0 0 0 20 0 15 0 79889839 14309736448 8015 18446744073709551615 4194304 4196468 140730587942240 140629117737328 140630206450306 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1575] ppid=1562 vsize=13974352 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/1564/task/1575/stat : 1575 (java) S 1562 1562 897 0 -1 1077944384 391 0 0 0 1 0 0 0 20 0 15 0 79889839 14309736448 8015 18446744073709551615 4194304 4196468 140730587942240 140629116684528 140630206450306 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1576] ppid=1562 vsize=13974352 memory=0 CPUtime=0.05 cores=1,3,5,7
/proc/1564/task/1576/stat : 1576 (java) S 1562 1562 897 0 -1 1077944384 696 0 0 0 5 0 0 0 20 0 15 0 79889839 14309736448 8015 18446744073709551615 4194304 4196468 140730587942240 140629115631728 140630206450306 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1577] ppid=1562 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1577/stat : 1577 (java) S 1562 1562 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79889840 14309736448 8015 18446744073709551615 4194304 4196468 140730587942240 140629114579168 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1578] ppid=1562 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1578/stat : 1578 (java) S 1562 1562 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79889847 14309736448 8015 18446744073709551615 4194304 4196468 140730587942240 140629113527472 140630206450306 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 33440 KiB

[startup+0.701547 s]
/proc/loadavg: 1.52 1.53 1.51 6/211 1578
/proc/meminfo: memFree=30732424/32770624 swapFree=67108860/67108860
[pid=1562] ppid=1559 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1562/stat : 1562 (xcsp3-exec) S 1559 1562 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 79889823 9740288 345 18446744073709551615 4194304 5098028 140724524831936 140724524830040 140552077685372 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 14774272 140724524835192 140724524835397 140724524835397 140724524838891 0
/proc/1562/statm: 2378 345 289 221 0 87 0
[pid=1564] ppid=1562 vsize=13978684 memory=77356 CPUtime=1.19 cores=1,3,5,7
/proc/1564/stat : 1564 (java) S 1562 1562 897 0 -1 1077944320 12485 0 0 0 114 5 0 0 20 0 15 0 79889834 14314172416 19339 18446744073709551615 4194304 4196468 140730587942240 140730587924784 140630206439159 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
/proc/1564/statm: 3494671 19339 3154 1 0 3482964 0
[pid=1564/tid=1565] ppid=1562 vsize=13978684 memory=1200 CPUtime=0.5 cores=1,3,5,7
/proc/1564/task/1565/stat : 1565 (java) R 1562 1562 897 0 -1 4202560 7354 0 0 0 46 4 0 0 20 0 15 0 79889834 14314172416 19339 18446744073709551615 4194304 4196468 140730587942240 140630210673624 140629798729631 0 4 1 16800974 0 0 0 -1 7 0 0 7 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1566] ppid=1562 vsize=13978684 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1566/stat : 1566 (java) S 1562 1562 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79889835 14314172416 19339 18446744073709551615 4194304 4196468 140730587942240 140630125853328 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1567] ppid=1562 vsize=13978684 memory=24540 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1567/stat : 1567 (java) S 1562 1562 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79889835 14314172416 19339 18446744073709551615 4194304 4196468 140730587942240 140630124800528 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1568] ppid=1562 vsize=13978684 memory=4044 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1568/stat : 1568 (java) S 1562 1562 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79889835 14314172416 19339 18446744073709551615 4194304 4196468 140730587942240 140630123747728 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1569] ppid=1562 vsize=13978684 memory=640 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1569/stat : 1569 (java) S 1562 1562 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79889835 14314172416 19339 18446744073709551615 4194304 4196468 140730587942240 140630122694928 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1570] ppid=1562 vsize=13978684 memory=1792 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1570/stat : 1570 (java) S 1562 1562 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 79889836 14314172416 19339 18446744073709551615 4194304 4196468 140730587942240 140629121948528 140630206450306 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1571] ppid=1562 vsize=13978684 memory=3904 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1571/stat : 1571 (java) S 1562 1562 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 79889837 14314172416 19339 18446744073709551615 4194304 4196468 140730587942240 140629120894496 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1572] ppid=1562 vsize=13978684 memory=960 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1572/stat : 1572 (java) S 1562 1562 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79889837 14314172416 19339 18446744073709551615 4194304 4196468 140730587942240 140629119841648 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1573] ppid=1562 vsize=13978684 memory=4072 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1573/stat : 1573 (java) S 1562 1562 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79889839 14314172416 19339 18446744073709551615 4194304 4196468 140730587942240 140629118789968 140630206457755 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1574] ppid=1562 vsize=13978684 memory=1152 CPUtime=0.22 cores=1,3,5,7
/proc/1564/task/1574/stat : 1574 (java) R 1562 1562 897 0 -1 4202560 1273 0 0 0 22 0 0 0 20 0 15 0 79889839 14314172416 19339 18446744073709551615 4194304 4196468 140730587942240 140629117736512 140630186132218 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1575] ppid=1562 vsize=13978684 memory=3228 CPUtime=0.19 cores=1,3,5,7
/proc/1564/task/1575/stat : 1575 (java) R 1562 1562 897 0 -1 4202560 1039 0 0 0 19 0 0 0 20 0 15 0 79889839 14314172416 19339 18446744073709551615 4194304 4196468 140730587942240 140629116684528 140630191320896 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1576] ppid=1562 vsize=13978684 memory=1380 CPUtime=0.26 cores=1,3,5,7
/proc/1564/task/1576/stat : 1576 (java) S 1562 1562 897 0 -1 1077944384 1512 0 0 0 26 0 0 0 20 0 15 0 79889839 14314172416 19339 18446744073709551615 4194304 4196468 140730587942240 140629115631728 140630206450306 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1577] ppid=1562 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1577/stat : 1577 (java) S 1562 1562 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79889840 14314172416 19339 18446744073709551615 4194304 4196468 140730587942240 140629114579168 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1578] ppid=1562 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1578/stat : 1578 (java) S 1562 1562 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79889847 14314172416 19339 18446744073709551615 4194304 4196468 140730587942240 140629113527472 140630206450306 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
Current children cumulated CPU time: 1.19 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 78736 KiB

[startup+1.50078 s]
/proc/loadavg: 1.52 1.53 1.51 6/211 1578
/proc/meminfo: memFree=30659764/32770624 swapFree=67108860/67108860
[pid=1562] ppid=1559 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1562/stat : 1562 (xcsp3-exec) S 1559 1562 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 79889823 9740288 345 18446744073709551615 4194304 5098028 140724524831936 140724524830040 140552077685372 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 14774272 140724524835192 140724524835397 140724524835397 140724524838891 0
/proc/1562/statm: 2378 345 289 221 0 87 0
[pid=1564] ppid=1562 vsize=13980732 memory=181364 CPUtime=3.56 cores=1,3,5,7
/proc/1564/stat : 1564 (java) S 1562 1562 897 0 -1 1077944320 17715 0 0 0 348 8 0 0 20 0 15 0 79889834 14316269568 45341 18446744073709551615 4194304 4196468 140730587942240 140730587924784 140630206439159 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
/proc/1564/statm: 3495183 45341 3200 1 0 3483476 0
[pid=1564/tid=1565] ppid=1562 vsize=13980732 memory=4580 CPUtime=1.29 cores=1,3,5,7
/proc/1564/task/1565/stat : 1565 (java) R 1562 1562 897 0 -1 4202560 8520 0 0 0 123 6 0 0 20 0 15 0 79889834 14316269568 45341 18446744073709551615 4194304 4196468 140730587942240 140630210677760 140630206451094 0 4 1 16800974 0 0 0 -1 3 0 0 7 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1566] ppid=1562 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1566/stat : 1566 (java) S 1562 1562 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79889835 14316269568 45341 18446744073709551615 4194304 4196468 140730587942240 140630125853328 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1567] ppid=1562 vsize=13980732 memory=7590624079873659216 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1567/stat : 1567 (java) S 1562 1562 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79889835 14316269568 45341 18446744073709551615 4194304 4196468 140730587942240 140630124800528 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1568] ppid=1562 vsize=13980732 memory=7590624079873659216 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1568/stat : 1568 (java) S 1562 1562 897 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 79889835 14316269568 45341 18446744073709551615 4194304 4196468 140730587942240 140630123747728 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1569] ppid=1562 vsize=13980732 memory=6291636708153839696 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1569/stat : 1569 (java) S 1562 1562 897 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 79889835 14316269568 45341 18446744073709551615 4194304 4196468 140730587942240 140630122694928 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1570] ppid=1562 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1570/stat : 1570 (java) S 1562 1562 897 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 79889836 14316269568 45341 18446744073709551615 4194304 4196468 140730587942240 140629121948528 140630206450306 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1571] ppid=1562 vsize=13980732 memory=-7357787915995474596 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1571/stat : 1571 (java) S 1562 1562 897 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 79889837 14316269568 45341 18446744073709551615 4194304 4196468 140730587942240 140629120894496 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1572] ppid=1562 vsize=13980732 memory=7679373425970869011 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1572/stat : 1572 (java) S 1562 1562 897 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 79889837 14316269568 45341 18446744073709551615 4194304 4196468 140730587942240 140629119841648 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1573] ppid=1562 vsize=13980732 memory=-6153504281267117510 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1573/stat : 1573 (java) S 1562 1562 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79889839 14316269568 45341 18446744073709551615 4194304 4196468 140730587942240 140629118789968 140630206457755 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1574] ppid=1562 vsize=13980732 memory=3467964410361381344 CPUtime=0.86 cores=1,3,5,7
/proc/1564/task/1574/stat : 1574 (java) R 1562 1562 897 0 -1 4202560 2591 0 0 0 86 0 0 0 20 0 15 0 79889839 14316269568 45341 18446744073709551615 4194304 4196468 140730587942240 140629117724880 140630187985845 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1575] ppid=1562 vsize=13980732 memory=279564655873616 CPUtime=0.81 cores=1,3,5,7
/proc/1564/task/1575/stat : 1575 (java) R 1562 1562 897 0 -1 4202560 2542 0 0 0 81 0 0 0 20 0 15 0 79889839 14316269568 45341 18446744073709551615 4194304 4196468 140730587942240 140629116671968 140630198728541 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1576] ppid=1562 vsize=13980732 memory=279564655873872 CPUtime=0.56 cores=1,3,5,7
/proc/1564/task/1576/stat : 1576 (java) R 1562 1562 897 0 -1 1077944384 2761 0 0 0 56 0 0 0 20 0 15 0 79889839 14316269568 45341 18446744073709551615 4194304 4196468 140730587942240 140629115631728 140630206450306 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1577] ppid=1562 vsize=13980732 memory=7451609539861307712 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1577/stat : 1577 (java) S 1562 1562 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79889840 14316269568 45341 18446744073709551615 4194304 4196468 140730587942240 140629114579168 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1578] ppid=1562 vsize=13980732 memory=7302135314614015847 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1578/stat : 1578 (java) S 1562 1562 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79889847 14316269568 45341 18446744073709551615 4194304 4196468 140730587942240 140629113527472 140630206450306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
Current children cumulated CPU time: 3.56 s
Current children cumulated vsize: 13990244 KiB

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

/proc/1564/task/1572/stat : 1572 (java) S 1562 1562 897 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 79889837 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140629119841648 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1573] ppid=1562 vsize=13980732 memory=1240 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1573/stat : 1573 (java) S 1562 1562 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79889839 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140629118789968 140630206457755 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1574] ppid=1562 vsize=13980732 memory=8980 CPUtime=4.33 cores=1,3,5,7
/proc/1564/task/1574/stat : 1574 (java) S 1562 1562 897 0 -1 1077944384 29942 0 0 0 429 4 0 0 20 0 15 0 79889839 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140629117737328 140630206450306 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1575] ppid=1562 vsize=13980732 memory=1200 CPUtime=4.83 cores=1,3,5,7
/proc/1564/task/1575/stat : 1575 (java) S 1562 1562 897 0 -1 1077944384 26388 0 0 0 480 3 0 0 20 0 15 0 79889839 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140629116684528 140630206450306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1576] ppid=1562 vsize=13980732 memory=1380 CPUtime=0.98 cores=1,3,5,7
/proc/1564/task/1576/stat : 1576 (java) S 1562 1562 897 0 -1 1077944384 13550 0 0 0 96 2 0 0 20 0 15 0 79889839 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140629115631728 140630206450306 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 5 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1577] ppid=1562 vsize=13980732 memory=645508 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1577/stat : 1577 (java) S 1562 1562 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79889840 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140629114579168 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1578] ppid=1562 vsize=13980732 memory=1380 CPUtime=1.51 cores=1,3,5,7
/proc/1564/task/1578/stat : 1578 (java) S 1562 1562 897 0 -1 1077944384 1196 0 0 0 72 79 0 0 20 0 15 0 79889847 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140629113527472 140630206450306 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
Current children cumulated CPU time: 2454.8 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 646888 KiB

[startup+2502.3 s]
/proc/loadavg: 2.74 2.54 2.99 3/211 2076
/proc/meminfo: memFree=24241592/32770624 swapFree=67108860/67108860
[pid=1562] ppid=1559 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1562/stat : 1562 (xcsp3-exec) S 1559 1562 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 79889823 9740288 345 18446744073709551615 4194304 5098028 140724524831936 140724524830040 140552077685372 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 14774272 140724524835192 140724524835397 140724524835397 140724524838891 0
/proc/1562/statm: 2378 345 289 221 0 87 0
[pid=1564] ppid=1562 vsize=13980732 memory=645508 CPUtime=2514.84 cores=1,3,5,7
/proc/1564/stat : 1564 (java) S 1562 1562 897 0 -1 1077944320 108598 0 0 0 251368 116 0 0 20 0 15 0 79889834 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140730587924784 140630206439159 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
/proc/1564/statm: 3495183 161377 3237 1 0 3483476 0
[pid=1564/tid=1565] ppid=1562 vsize=13980732 memory=645508 CPUtime=2501.99 cores=1,3,5,7
/proc/1564/task/1565/stat : 1565 (java) R 1562 1562 897 0 -1 4202560 31720 0 0 0 250187 12 0 0 20 0 15 0 79889834 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140630210675120 140629802727174 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1566] ppid=1562 vsize=13980732 memory=645508 CPUtime=0.24 cores=1,3,5,7
/proc/1564/task/1566/stat : 1566 (java) S 1562 1562 897 0 -1 1077944384 1660 0 0 0 19 5 0 0 20 0 15 0 79889835 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140630125853328 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1567] ppid=1562 vsize=13980732 memory=645508 CPUtime=0.26 cores=1,3,5,7
/proc/1564/task/1567/stat : 1567 (java) S 1562 1562 897 0 -1 1077944384 334 0 0 0 20 6 0 0 20 0 15 0 79889835 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140630124800528 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1568] ppid=1562 vsize=13980732 memory=645508 CPUtime=0.26 cores=1,3,5,7
/proc/1564/task/1568/stat : 1568 (java) S 1562 1562 897 0 -1 1077944384 482 0 0 0 20 6 0 0 20 0 15 0 79889835 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140630123747728 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1569] ppid=1562 vsize=13980732 memory=1380 CPUtime=0.25 cores=1,3,5,7
/proc/1564/task/1569/stat : 1569 (java) S 1562 1562 897 0 -1 1077944384 545 0 0 0 20 5 0 0 20 0 15 0 79889835 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140630122694928 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1570] ppid=1562 vsize=13980732 memory=433 CPUtime=0.07 cores=1,3,5,7
/proc/1564/task/1570/stat : 1570 (java) S 1562 1562 897 0 -1 1077944384 1412 0 0 0 4 3 0 0 20 0 15 0 79889836 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140629121948528 140630206450306 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1571] ppid=1562 vsize=13980732 memory=645508 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1571/stat : 1571 (java) S 1562 1562 897 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 79889837 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140629120894496 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1572] ppid=1562 vsize=13980732 memory=645508 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1572/stat : 1572 (java) S 1562 1562 897 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 79889837 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140629119841648 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1573] ppid=1562 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1573/stat : 1573 (java) S 1562 1562 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79889839 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140629118789968 140630206457755 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1574] ppid=1562 vsize=13980732 memory=645508 CPUtime=4.33 cores=1,3,5,7
/proc/1564/task/1574/stat : 1574 (java) S 1562 1562 897 0 -1 1077944384 29943 0 0 0 429 4 0 0 20 0 15 0 79889839 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140629117737328 140630206450306 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1575] ppid=1562 vsize=13980732 memory=645508 CPUtime=4.83 cores=1,3,5,7
/proc/1564/task/1575/stat : 1575 (java) S 1562 1562 897 0 -1 1077944384 26388 0 0 0 480 3 0 0 20 0 15 0 79889839 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140629116684528 140630206450306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1576] ppid=1562 vsize=13980732 memory=645508 CPUtime=0.98 cores=1,3,5,7
/proc/1564/task/1576/stat : 1576 (java) S 1562 1562 897 0 -1 1077944384 13550 0 0 0 96 2 0 0 20 0 15 0 79889839 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140629115631728 140630206450306 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1577] ppid=1562 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1577/stat : 1577 (java) S 1562 1562 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79889840 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140629114579168 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1578] ppid=1562 vsize=13980732 memory=1380 CPUtime=1.55 cores=1,3,5,7
/proc/1564/task/1578/stat : 1578 (java) S 1562 1562 897 0 -1 1077944384 1226 0 0 0 74 81 0 0 20 0 15 0 79889847 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140629113527472 140630206450306 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
Current children cumulated CPU time: 2514.84 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 646888 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2507.5 s]
/proc/loadavg: 2.84 2.56 2.99 3/211 2076
/proc/meminfo: memFree=24241592/32770624 swapFree=67108860/67108860
[pid=1562] ppid=1559 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1562/stat : 1562 (xcsp3-exec) S 1559 1562 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 79889823 9740288 345 18446744073709551615 4194304 5098028 140724524831936 140724524830040 140552077685372 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 14774272 140724524835192 140724524835397 140724524835397 140724524838891 0
/proc/1562/statm: 2378 345 289 221 0 87 0
[pid=1564] ppid=1562 vsize=13980732 memory=645508 CPUtime=2520.04 cores=1,3,5,7
/proc/1564/stat : 1564 (java) S 1562 1562 897 0 -1 1077944320 108598 0 0 0 251888 116 0 0 20 0 15 0 79889834 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140730587924784 140630206439159 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
/proc/1564/statm: 3495183 161377 3237 1 0 3483476 0
[pid=1564/tid=1565] ppid=1562 vsize=13980732 memory=645508 CPUtime=2507.19 cores=1,3,5,7
/proc/1564/task/1565/stat : 1565 (java) R 1562 1562 897 0 -1 4202560 31720 0 0 0 250707 12 0 0 20 0 15 0 79889834 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140630210675120 140629802230865 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1566] ppid=1562 vsize=13980732 memory=645508 CPUtime=0.24 cores=1,3,5,7
/proc/1564/task/1566/stat : 1566 (java) S 1562 1562 897 0 -1 1077944384 1660 0 0 0 19 5 0 0 20 0 15 0 79889835 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140630125853328 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1567] ppid=1562 vsize=13980732 memory=645508 CPUtime=0.26 cores=1,3,5,7
/proc/1564/task/1567/stat : 1567 (java) S 1562 1562 897 0 -1 1077944384 334 0 0 0 20 6 0 0 20 0 15 0 79889835 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140630124800528 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1568] ppid=1562 vsize=13980732 memory=645508 CPUtime=0.26 cores=1,3,5,7
/proc/1564/task/1568/stat : 1568 (java) S 1562 1562 897 0 -1 1077944384 482 0 0 0 20 6 0 0 20 0 15 0 79889835 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140630123747728 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1569] ppid=1562 vsize=13980732 memory=645508 CPUtime=0.25 cores=1,3,5,7
/proc/1564/task/1569/stat : 1569 (java) S 1562 1562 897 0 -1 1077944384 545 0 0 0 20 5 0 0 20 0 15 0 79889835 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140630122694928 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1570] ppid=1562 vsize=13980732 memory=1380 CPUtime=0.07 cores=1,3,5,7
/proc/1564/task/1570/stat : 1570 (java) S 1562 1562 897 0 -1 1077944384 1412 0 0 0 4 3 0 0 20 0 15 0 79889836 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140629121948528 140630206450306 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1571] ppid=1562 vsize=13980732 memory=645508 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1571/stat : 1571 (java) S 1562 1562 897 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 79889837 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140629120894496 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1572] ppid=1562 vsize=13980732 memory=433 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1572/stat : 1572 (java) S 1562 1562 897 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 79889837 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140629119841648 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1573] ppid=1562 vsize=13980732 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1573/stat : 1573 (java) S 1562 1562 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79889839 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140629118789968 140630206457755 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1574] ppid=1562 vsize=13980732 memory=44144 CPUtime=4.33 cores=1,3,5,7
/proc/1564/task/1574/stat : 1574 (java) S 1562 1562 897 0 -1 1077944384 29943 0 0 0 429 4 0 0 20 0 15 0 79889839 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140629117737328 140630206450306 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1575] ppid=1562 vsize=13980732 memory=1380 CPUtime=4.83 cores=1,3,5,7
/proc/1564/task/1575/stat : 1575 (java) S 1562 1562 897 0 -1 1077944384 26388 0 0 0 480 3 0 0 20 0 15 0 79889839 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140629116684528 140630206450306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1576] ppid=1562 vsize=13980732 memory=645508 CPUtime=0.98 cores=1,3,5,7
/proc/1564/task/1576/stat : 1576 (java) S 1562 1562 897 0 -1 1077944384 13550 0 0 0 96 2 0 0 20 0 15 0 79889839 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140629115631728 140630206450306 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1577] ppid=1562 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1577/stat : 1577 (java) S 1562 1562 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79889840 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140629114579168 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1578] ppid=1562 vsize=13980732 memory=645508 CPUtime=1.55 cores=1,3,5,7
/proc/1564/task/1578/stat : 1578 (java) S 1562 1562 897 0 -1 1077944384 1226 0 0 0 74 81 0 0 20 0 15 0 79889847 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140629113527472 140630206450306 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 646888 KiB

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

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

[startup+2507.51 s]
# the end of solver process 1564 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2518.9 s, system=1.1753 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+2507.5 s]
/proc/loadavg: 2.84 2.56 2.99 3/211 2076
/proc/meminfo: memFree=24241592/32770624 swapFree=67108860/67108860
[pid=1562] ppid=1559 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1562/stat : 1562 (xcsp3-exec) S 1559 1562 897 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 79889823 9740288 345 18446744073709551615 4194304 5098028 140724524831936 140724524830040 140552077685372 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 10 0 0 7196144 7232144 14774272 140724524835192 140724524835397 140724524835397 140724524838891 0
/proc/1562/statm: 2378 345 289 221 0 87 0
[pid=1564] ppid=1562 vsize=13980732 memory=645508 CPUtime=2520.04 cores=1,3,5,7
/proc/1564/stat : 1564 (java) S 1562 1562 897 0 -1 1077944320 108598 0 0 0 251888 116 0 0 20 0 15 0 79889834 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140730587924784 140630206439159 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
/proc/1564/statm: 3495183 161377 3237 1 0 3483476 0
[pid=1564/tid=1565] ppid=1562 vsize=13980732 memory=645508 CPUtime=2507.19 cores=1,3,5,7
/proc/1564/task/1565/stat : 1565 (java) R 1562 1562 897 0 -1 4202560 31720 0 0 0 250707 12 0 0 20 0 15 0 79889834 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140630210675120 140629802230865 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1566] ppid=1562 vsize=13980732 memory=645508 CPUtime=0.24 cores=1,3,5,7
/proc/1564/task/1566/stat : 1566 (java) S 1562 1562 897 0 -1 1077944384 1660 0 0 0 19 5 0 0 20 0 15 0 79889835 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140630125853328 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1567] ppid=1562 vsize=13980732 memory=645508 CPUtime=0.26 cores=1,3,5,7
/proc/1564/task/1567/stat : 1567 (java) S 1562 1562 897 0 -1 1077944384 334 0 0 0 20 6 0 0 20 0 15 0 79889835 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140630124800528 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1568] ppid=1562 vsize=13980732 memory=645508 CPUtime=0.26 cores=1,3,5,7
/proc/1564/task/1568/stat : 1568 (java) S 1562 1562 897 0 -1 1077944384 482 0 0 0 20 6 0 0 20 0 15 0 79889835 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140630123747728 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1569] ppid=1562 vsize=13980732 memory=645508 CPUtime=0.25 cores=1,3,5,7
/proc/1564/task/1569/stat : 1569 (java) S 1562 1562 897 0 -1 1077944384 545 0 0 0 20 5 0 0 20 0 15 0 79889835 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140630122694928 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1570] ppid=1562 vsize=13980732 memory=1380 CPUtime=0.07 cores=1,3,5,7
/proc/1564/task/1570/stat : 1570 (java) S 1562 1562 897 0 -1 1077944384 1412 0 0 0 4 3 0 0 20 0 15 0 79889836 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140629121948528 140630206450306 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1571] ppid=1562 vsize=13980732 memory=645508 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1571/stat : 1571 (java) S 1562 1562 897 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 79889837 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140629120894496 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1572] ppid=1562 vsize=13980732 memory=433 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1572/stat : 1572 (java) S 1562 1562 897 0 -1 1077944384 42 0 0 0 0 0 0 0 20 0 15 0 79889837 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140629119841648 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1573] ppid=1562 vsize=13980732 memory=4116 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1573/stat : 1573 (java) S 1562 1562 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79889839 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140629118789968 140630206457755 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1574] ppid=1562 vsize=13980732 memory=44144 CPUtime=4.33 cores=1,3,5,7
/proc/1564/task/1574/stat : 1574 (java) S 1562 1562 897 0 -1 1077944384 29943 0 0 0 429 4 0 0 20 0 15 0 79889839 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140629117737328 140630206450306 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 12 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1575] ppid=1562 vsize=13980732 memory=1380 CPUtime=4.83 cores=1,3,5,7
/proc/1564/task/1575/stat : 1575 (java) S 1562 1562 897 0 -1 1077944384 26388 0 0 0 480 3 0 0 20 0 15 0 79889839 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140629116684528 140630206450306 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 5 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1576] ppid=1562 vsize=13980732 memory=645508 CPUtime=0.98 cores=1,3,5,7
/proc/1564/task/1576/stat : 1576 (java) S 1562 1562 897 0 -1 1077944384 13550 0 0 0 96 2 0 0 20 0 15 0 79889839 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140629115631728 140630206450306 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 5 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1577] ppid=1562 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/1564/task/1577/stat : 1577 (java) S 1562 1562 897 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 79889840 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140629114579168 140630206449365 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
[pid=1564/tid=1578] ppid=1562 vsize=13980732 memory=645508 CPUtime=1.55 cores=1,3,5,7
/proc/1564/task/1578/stat : 1578 (java) S 1562 1562 897 0 -1 1077944384 1226 0 0 0 74 81 0 0 20 0 15 0 79889847 14316269568 161377 18446744073709551615 4194304 4196468 140730587942240 140629113527472 140630206450306 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 11 0 0 6293624 6294260 33075200 140730587947441 140730587947617 140730587947617 140730587951055 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 646888 KiB

Child status: 143
Real time (s): 2507.51
CPU time (s): 2520.07
CPU user time (s): 2518.9
CPU system time (s): 1.1753
CPU usage (%): 100.501
Max. virtual memory (cumulated for all children) (KiB): 13993076
Max. memory (cumulated for all children) (KiB): 646888

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2518.9
system time used= 1.1753
maximum resident set size= 646092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 109433
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2400
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 58353
involuntary context switches= 1609


# summary of solver processes directly reported to runsolver:
#   pid: 1562,1564
#   total CPU time (s): 2520.07
#   total CPU user time (s): 2518.9
#   total CPU system time (s): 1.1753

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.2533 second user time and 23.9619 second system time

The end

Launcher Data 

Begin job on node125 at 2017-08-15 07:44:06
IDJOB=4272032
IDBENCH=126232
IDSOLVER=2664
FILE ID=node125/4272032-1502776692
RUNJOBID= node125-1502662595-11629
PBS_JOBID= 
Free space on /tmp= 62024 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-14-a4.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -ml 11000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4272032-1502776692/watcher-4272032-1502776692 -o /tmp/evaluation-result-4272032-1502776692/solver-4272032-1502776692 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502662595-11629 --watchdog 2580  ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 1924269826 HOME/instance-4272032-1502776692.xml

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

MD5SUM BENCH= 5aba8e5725f87f11766562fcd4055047
RANDOM SEED=1924269826

node125.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.07
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.07
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.07
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.07
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:        30768972 kB
MemAvailable:   31753216 kB
Buffers:          301812 kB
Cached:           975972 kB
SwapCached:            0 kB
Active:           962664 kB
Inactive:         607176 kB
Active(anon):     292396 kB
Inactive(anon):    33100 kB
Active(file):     670268 kB
Inactive(file):   574076 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              7788 kB
Writeback:             0 kB
AnonPages:        291896 kB
Mapped:            63204 kB
Shmem:             33444 kB
Slab:             137248 kB
SReclaimable:     111472 kB
SUnreclaim:        25776 kB
KernelStack:        3520 kB
PageTables:         5460 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     887444 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    231424 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 62016 MiB
End job on node125 at 2017-08-15 08:25:53