Trace number 4255029

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)275 252.09399 195.245

General information on the benchmark

NameGolombRuler/GolombRuler-a4-s1/
GolombRuler-17-a4.xml
MD5SUM1654769b6737315210eb217040901c4e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark248
Best CPU time to get the best result obtained on this benchmark248.728
Satisfiable
(Un)Satisfiability was proved
Number of variables17
Number of constraints8502
Number of domains1
Minimum domain size501
Maximum domain size501
Distribution of domain sizes[{"size":501,"count":17}]
Minimum variable degree1921
Maximum variable degree1922
Distribution of variable degrees[{"degree":1921,"count":15},{"degree":1922,"count":2}]
Minimum constraint arity1
Maximum constraint arity17
Distribution of constraint arities[{"arity":1,"count":1},{"arity":3,"count":1360},{"arity":4,"count":7140},{"arity":17,"count":1}]
Number of extensional constraints0
Number of intensional constraints8501
Distribution of constraint types[{"type":"intension","count":8501},{"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.05	c java -server -Xmx11000m -cp .:.//choco-parsers.jar org.chocosolver.parser.xcsp.ChocoXCSP "HOME/instance-4255029-1502644188.xml"  -tl '252s' -p 1 -x 3
0.10/0.26	c [HOME/instance-4255029-1502644188.xml, -tl, 252s, -p, 1, -x, 3]
0.31/0.33	c simple solver
0.31/0.39	c parse instance...
3.91/1.53	c solve instance...
175.12/118.55	o 302 
175.94/119.38	o 275 
252.03/195.20	s SATISFIABLE
252.03/195.20	v <instantiation>
252.03/195.20	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] x[14] x[15] x[16] </list>
252.03/195.20	v 	<values>0 2 3 7 13 21 30 45 67 79 114 130 150 189 220 246 275 </values>
252.03/195.20	v </instantiation>
252.03/195.20	c Unexpected resolution interruption!

Verifier Data 

OK	275

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4255029-1502644188/watcher-4255029-1502644188 -o /tmp/evaluation-result-4255029-1502644188/solver-4255029-1502644188 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502642281-27768 --watchdog 312 ./xcsp3-exec -dir HOME -tl 252 -ml 11000 -tdir HOME -seed 563517548 HOME/instance-4255029-1502644188.xml 

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

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


[startup+0.100109 s]*
/proc/loadavg: 4.31 2.69 2.08 3/210 28695
/proc/meminfo: memFree=30568860/32770624 swapFree=67108776/67108860
[pid=28685] ppid=28682 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/28685/stat : 28685 (xcsp3-exec) S 28682 28685 7084 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 164071563 9740288 344 18446744073709551615 4194304 5098028 140722403384720 140722403382824 140149177287292 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 20455424 140722403385727 140722403385930 140722403385930 140722403389419 0
/proc/28685/statm: 2378 344 289 221 0 87 0
[pid=28687] ppid=28685 vsize=13574484 memory=19764 CPUtime=0.03 cores=0,2,4,6
/proc/28687/stat : 28687 (java) S 28685 28685 7084 0 -1 1077944320 4292 0 0 0 3 0 0 0 20 0 9 0 164071569 13900271616 4941 18446744073709551615 4194304 4196468 140726822975216 140726822957760 140317395242743 0 0 1 16800970 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
/proc/28687/statm: 3393621 4941 2134 1 0 3383118 0
[pid=28687/tid=28688] ppid=28685 vsize=13574484 memory=-8713483618642459742 CPUtime=0.03 cores=0,2,4,6
/proc/28687/task/28688/stat : 28688 (java) R 28685 28685 7084 0 -1 4202560 3006 0 0 0 3 0 0 0 20 0 9 0 164071569 13900271616 4941 18446744073709551615 4194304 4196468 140726822975216 140317399478136 140317380925235 0 4 1 16800970 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28689] ppid=28685 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28689/stat : 28689 (java) S 28685 28685 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 164071570 13900271616 4941 18446744073709551615 4194304 4196468 140726822975216 140317329676560 140317395252949 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28690] ppid=28685 vsize=13574484 memory=140570474026624 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28690/stat : 28690 (java) S 28685 28685 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 164071570 13900271616 4941 18446744073709551615 4194304 4196468 140726822975216 140317328624016 140317395252949 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28691] ppid=28685 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28691/stat : 28691 (java) S 28685 28685 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 164071570 13900271616 4941 18446744073709551615 4194304 4196468 140726822975216 140317327571472 140317395252949 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28692] ppid=28685 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28692/stat : 28692 (java) S 28685 28685 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 164071570 13900271616 4941 18446744073709551615 4194304 4196468 140726822975216 140317326518928 140317395252949 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28693] ppid=28685 vsize=13574484 memory=140570474026624 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28693/stat : 28693 (java) S 28685 28685 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 164071572 13900271616 4941 18446744073709551615 4194304 4196468 140726822975216 140316513393136 140317395253890 0 0 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28694] ppid=28685 vsize=13574484 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28694/stat : 28694 (java) S 28685 28685 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 164071572 13900271616 4941 18446744073709551615 4194304 4196468 140726822975216 140316512339360 140317395252949 0 4 1 16800970 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28695] ppid=28685 vsize=13574484 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28695/stat : 28695 (java) S 28685 28685 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 164071572 13900271616 4941 18446744073709551615 4194304 4196468 140726822975216 140316511286768 140317395252949 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 13583996 KiB
Current children cumulated memory: 21140 KiB

[startup+0.210333 s]*
/proc/loadavg: 4.31 2.69 2.08 5/216 28701
/proc/meminfo: memFree=30560496/32770624 swapFree=67108776/67108860
[pid=28685] ppid=28682 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/28685/stat : 28685 (xcsp3-exec) S 28682 28685 7084 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 164071563 9740288 344 18446744073709551615 4194304 5098028 140722403384720 140722403382824 140149177287292 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 20455424 140722403385727 140722403385930 140722403385930 140722403389419 0
/proc/28685/statm: 2378 344 289 221 0 87 0
[pid=28687] ppid=28685 vsize=13974352 memory=27740 CPUtime=0.1 cores=0,2,4,6
/proc/28687/stat : 28687 (java) S 28685 28685 7084 0 -1 1077944320 5345 0 0 0 9 1 0 0 20 0 15 0 164071569 14309736448 6935 18446744073709551615 4194304 4196468 140726822975216 140726822957760 140317395242743 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
/proc/28687/statm: 3493588 6935 2755 1 0 3482964 0
[pid=28687/tid=28688] ppid=28685 vsize=13974352 memory=7311146985107750967 CPUtime=0.08 cores=0,2,4,6
/proc/28687/task/28688/stat : 28688 (java) R 28685 28685 7084 0 -1 4202560 3497 0 0 0 8 0 0 0 20 0 15 0 164071569 14309736448 6935 18446744073709551615 4194304 4196468 140726822975216 140317399474736 140317395254678 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28689] ppid=28685 vsize=13974352 memory=8005 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28689/stat : 28689 (java) S 28685 28685 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 164071570 14309736448 6935 18446744073709551615 4194304 4196468 140726822975216 140317329676560 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28690] ppid=28685 vsize=13974352 memory=4123521608850577056 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28690/stat : 28690 (java) S 28685 28685 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164071570 14309736448 6935 18446744073709551615 4194304 4196468 140726822975216 140317328624016 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28691] ppid=28685 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28691/stat : 28691 (java) S 28685 28685 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 164071570 14309736448 6935 18446744073709551615 4194304 4196468 140726822975216 140317327571472 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28692] ppid=28685 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28692/stat : 28692 (java) S 28685 28685 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 164071570 14309736448 6935 18446744073709551615 4194304 4196468 140726822975216 140317326518928 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28693] ppid=28685 vsize=13974352 memory=140570474026624 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28693/stat : 28693 (java) S 28685 28685 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 164071572 14309736448 6935 18446744073709551615 4194304 4196468 140726822975216 140316513393136 140317395253890 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28694] ppid=28685 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28694/stat : 28694 (java) S 28685 28685 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 164071572 14309736448 6935 18446744073709551615 4194304 4196468 140726822975216 140316512339360 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28695] ppid=28685 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28695/stat : 28695 (java) S 28685 28685 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 164071572 14309736448 6935 18446744073709551615 4194304 4196468 140726822975216 140316511286768 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28696] ppid=28685 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28696/stat : 28696 (java) S 28685 28685 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164071575 14309736448 6935 18446744073709551615 4194304 4196468 140726822975216 140316510235344 140317395261339 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28697] ppid=28685 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28697/stat : 28697 (java) S 28685 28685 7084 0 -1 1077944384 302 0 0 0 0 0 0 0 20 0 15 0 164071575 14309736448 6935 18446744073709551615 4194304 4196468 140726822975216 140316509181936 140317395253890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28698] ppid=28685 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28698/stat : 28698 (java) S 28685 28685 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164071575 14309736448 6935 18446744073709551615 4194304 4196468 140726822975216 140316508129392 140317395253890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28699] ppid=28685 vsize=13974352 memory=140570474026624 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28699/stat : 28699 (java) S 28685 28685 7084 0 -1 1077944384 240 0 0 0 0 0 0 0 20 0 15 0 164071575 14309736448 6935 18446744073709551615 4194304 4196468 140726822975216 140316507076848 140317395253890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28700] ppid=28685 vsize=13974352 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28700/stat : 28700 (java) S 28685 28685 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164071575 14309736448 6935 18446744073709551615 4194304 4196468 140726822975216 140316506024544 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28701] ppid=28685 vsize=13974352 memory=140570474026624 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28701/stat : 28701 (java) S 28685 28685 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164071582 14309736448 6935 18446744073709551615 4194304 4196468 140726822975216 140316504972080 140317395253890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 29116 KiB

[startup+0.310588 s]*
/proc/loadavg: 4.31 2.69 2.08 5/216 28701
/proc/meminfo: memFree=30549924/32770624 swapFree=67108776/67108860
[pid=28685] ppid=28682 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/28685/stat : 28685 (xcsp3-exec) S 28682 28685 7084 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 164071563 9740288 344 18446744073709551615 4194304 5098028 140722403384720 140722403382824 140149177287292 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 20455424 140722403385727 140722403385930 140722403385930 140722403389419 0
/proc/28685/statm: 2378 344 289 221 0 87 0
[pid=28687] ppid=28685 vsize=13974352 memory=39128 CPUtime=0.31 cores=0,2,4,6
/proc/28687/stat : 28687 (java) S 28685 28685 7084 0 -1 1077944320 8905 0 0 0 28 3 0 0 20 0 15 0 164071569 14309736448 9782 18446744073709551615 4194304 4196468 140726822975216 140726822957760 140317395242743 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
/proc/28687/statm: 3493588 9782 2987 1 0 3482964 0
[pid=28687/tid=28688] ppid=28685 vsize=13974352 memory=-8774313645642428999 CPUtime=0.18 cores=0,2,4,6
/proc/28687/task/28688/stat : 28688 (java) R 28685 28685 7084 0 -1 4202560 6133 0 0 0 17 1 0 0 20 0 15 0 164071569 14309736448 9782 18446744073709551615 4194304 4196468 140726822975216 140317399472464 140317395264669 0 4 1 16800974 0 0 0 -1 2 0 0 6 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28689] ppid=28685 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28689/stat : 28689 (java) S 28685 28685 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 164071570 14309736448 9782 18446744073709551615 4194304 4196468 140726822975216 140317329676560 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28690] ppid=28685 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28690/stat : 28690 (java) S 28685 28685 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164071570 14309736448 9782 18446744073709551615 4194304 4196468 140726822975216 140317328624016 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28691] ppid=28685 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28691/stat : 28691 (java) S 28685 28685 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 164071570 14309736448 9782 18446744073709551615 4194304 4196468 140726822975216 140317327571472 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28692] ppid=28685 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28692/stat : 28692 (java) S 28685 28685 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 164071570 14309736448 9782 18446744073709551615 4194304 4196468 140726822975216 140317326518928 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28693] ppid=28685 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28693/stat : 28693 (java) S 28685 28685 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 164071572 14309736448 9782 18446744073709551615 4194304 4196468 140726822975216 140316513393136 140317395253890 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28694] ppid=28685 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28694/stat : 28694 (java) S 28685 28685 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 164071572 14309736448 9782 18446744073709551615 4194304 4196468 140726822975216 140316512339360 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28695] ppid=28685 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28695/stat : 28695 (java) S 28685 28685 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 164071572 14309736448 9782 18446744073709551615 4194304 4196468 140726822975216 140316511286768 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28696] ppid=28685 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28696/stat : 28696 (java) S 28685 28685 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164071575 14309736448 9782 18446744073709551615 4194304 4196468 140726822975216 140316510235344 140317395261339 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28697] ppid=28685 vsize=13974352 memory=0 CPUtime=0.02 cores=0,2,4,6
/proc/28687/task/28697/stat : 28697 (java) S 28685 28685 7084 0 -1 1077944384 642 0 0 0 2 0 0 0 20 0 15 0 164071575 14309736448 9782 18446744073709551615 4194304 4196468 140726822975216 140316509181936 140317395253890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28698] ppid=28685 vsize=13974352 memory=0 CPUtime=0.01 cores=0,2,4,6
/proc/28687/task/28698/stat : 28698 (java) S 28685 28685 7084 0 -1 1077944384 118 0 0 0 1 0 0 0 20 0 15 0 164071575 14309736448 9782 18446744073709551615 4194304 4196468 140726822975216 140316508129392 140317395253890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28699] ppid=28685 vsize=13974352 memory=0 CPUtime=0.06 cores=0,2,4,6
/proc/28687/task/28699/stat : 28699 (java) S 28685 28685 7084 0 -1 1077944384 707 0 0 0 6 0 0 0 20 0 15 0 164071575 14309736448 9782 18446744073709551615 4194304 4196468 140726822975216 140316507076848 140317395253890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28700] ppid=28685 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28700/stat : 28700 (java) S 28685 28685 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164071575 14309736448 9782 18446744073709551615 4194304 4196468 140726822975216 140316506024544 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28701] ppid=28685 vsize=13974352 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28701/stat : 28701 (java) S 28685 28685 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164071582 14309736448 9782 18446744073709551615 4194304 4196468 140726822975216 140316504972080 140317395253890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 40504 KiB

[startup+0.700771 s]
/proc/loadavg: 4.31 2.69 2.08 5/216 28701
/proc/meminfo: memFree=30530908/32770624 swapFree=67108776/67108860
[pid=28685] ppid=28682 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/28685/stat : 28685 (xcsp3-exec) S 28682 28685 7084 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 164071563 9740288 344 18446744073709551615 4194304 5098028 140722403384720 140722403382824 140149177287292 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 20455424 140722403385727 140722403385930 140722403385930 140722403389419 0
/proc/28685/statm: 2378 344 289 221 0 87 0
[pid=28687] ppid=28685 vsize=13978684 memory=86116 CPUtime=1.35 cores=0,2,4,6
/proc/28687/stat : 28687 (java) S 28685 28685 7084 0 -1 1077944320 13125 0 0 0 130 5 0 0 20 0 15 0 164071569 14314172416 21529 18446744073709551615 4194304 4196468 140726822975216 140726822957760 140317395242743 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
/proc/28687/statm: 3494671 21529 3166 1 0 3482964 0
[pid=28687/tid=28688] ppid=28685 vsize=13978684 memory=116 CPUtime=0.55 cores=0,2,4,6
/proc/28687/task/28688/stat : 28688 (java) R 28685 28685 7084 0 -1 4202560 7846 0 0 0 52 3 0 0 20 0 15 0 164071569 14314172416 21529 18446744073709551615 4194304 4196468 140726822975216 140317399477104 140317001327342 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28689] ppid=28685 vsize=13978684 memory=2008 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28689/stat : 28689 (java) S 28685 28685 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 164071570 14314172416 21529 18446744073709551615 4194304 4196468 140726822975216 140317329676560 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28690] ppid=28685 vsize=13978684 memory=9352 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28690/stat : 28690 (java) S 28685 28685 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164071570 14314172416 21529 18446744073709551615 4194304 4196468 140726822975216 140317328624016 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28691] ppid=28685 vsize=13978684 memory=1224 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28691/stat : 28691 (java) S 28685 28685 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 164071570 14314172416 21529 18446744073709551615 4194304 4196468 140726822975216 140317327571472 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28692] ppid=28685 vsize=13978684 memory=4600 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28692/stat : 28692 (java) S 28685 28685 7084 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 164071570 14314172416 21529 18446744073709551615 4194304 4196468 140726822975216 140317326518928 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28693] ppid=28685 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28693/stat : 28693 (java) S 28685 28685 7084 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 164071572 14314172416 21529 18446744073709551615 4194304 4196468 140726822975216 140316513393136 140317395253890 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28694] ppid=28685 vsize=13978684 memory=8320808402720075830 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28694/stat : 28694 (java) S 28685 28685 7084 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 164071572 14314172416 21529 18446744073709551615 4194304 4196468 140726822975216 140316512339360 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28695] ppid=28685 vsize=13978684 memory=5861265965526962256 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28695/stat : 28695 (java) S 28685 28685 7084 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 164071572 14314172416 21529 18446744073709551615 4194304 4196468 140726822975216 140316511286768 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28696] ppid=28685 vsize=13978684 memory=5787776803188794432 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28696/stat : 28696 (java) S 28685 28685 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164071575 14314172416 21529 18446744073709551615 4194304 4196468 140726822975216 140316510235344 140317395261339 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28697] ppid=28685 vsize=13978684 memory=8328137078511476104 CPUtime=0.24 cores=0,2,4,6
/proc/28687/task/28697/stat : 28697 (java) R 28685 28685 7084 0 -1 4202560 1508 0 0 0 24 0 0 0 20 0 15 0 164071575 14314172416 21529 18446744073709551615 4194304 4196468 140726822975216 140316509172048 140317387532197 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28698] ppid=28685 vsize=13978684 memory=-8412656567318647667 CPUtime=0.25 cores=0,2,4,6
/proc/28687/task/28698/stat : 28698 (java) R 28685 28685 7084 0 -1 4202560 904 0 0 0 25 0 0 0 20 0 15 0 164071575 14314172416 21529 18446744073709551615 4194304 4196468 140726822975216 140316508120720 140317375120752 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28699] ppid=28685 vsize=13978684 memory=0 CPUtime=0.27 cores=0,2,4,6
/proc/28687/task/28699/stat : 28699 (java) S 28685 28685 7084 0 -1 1077944384 1559 0 0 0 27 0 0 0 20 0 15 0 164071575 14314172416 21529 18446744073709551615 4194304 4196468 140726822975216 140316507076848 140317395253890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28700] ppid=28685 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28700/stat : 28700 (java) S 28685 28685 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164071575 14314172416 21529 18446744073709551615 4194304 4196468 140726822975216 140316506024544 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28701] ppid=28685 vsize=13978684 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28701/stat : 28701 (java) S 28685 28685 7084 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 164071582 14314172416 21529 18446744073709551615 4194304 4196468 140726822975216 140316504972080 140317395253890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
Current children cumulated CPU time: 1.35 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 87492 KiB

[startup+1.50081 s]
/proc/loadavg: 4.31 2.69 2.08 6/216 28701
/proc/meminfo: memFree=30451880/32770624 swapFree=67108776/67108860
[pid=28685] ppid=28682 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/28685/stat : 28685 (xcsp3-exec) S 28682 28685 7084 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 164071563 9740288 344 18446744073709551615 4194304 5098028 140722403384720 140722403382824 140149177287292 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 20455424 140722403385727 140722403385930 140722403385930 140722403389419 0
/proc/28685/statm: 2378 344 289 221 0 87 0
[pid=28687] ppid=28685 vsize=13980732 memory=205908 CPUtime=3.91 cores=0,2,4,6
/proc/28687/stat : 28687 (java) S 28685 28685 7084 0 -1 1077944320 21960 0 0 0 380 11 0 0 20 0 15 0 164071569 14316269568 51477 18446744073709551615 4194304 4196468 140726822975216 140726822957760 140317395242743 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
/proc/28687/statm: 3495183 51477 3235 1 0 3483476 0
[pid=28687/tid=28688] ppid=28685 vsize=13980732 memory=6944656592455097440 CPUtime=1.33 cores=0,2,4,6
/proc/28687/task/28688/stat : 28688 (java) R 28685 28685 7084 0 -1 4202560 9922 0 0 0 128 5 0 0 20 0 15 0 164071569 14316269568 51477 18446744073709551615 4194304 4196468 140726822975216 140317399481872 140317007305887 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28689] ppid=28685 vsize=13980732 memory=8161 CPUtime=0.01 cores=0,2,4,6
/proc/28687/task/28689/stat : 28689 (java) S 28685 28685 7084 0 -1 1077944384 287 0 0 0 1 0 0 0 20 0 15 0 164071570 14316269568 51477 18446744073709551615 4194304 4196468 140726822975216 140317329676560 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28690] ppid=28685 vsize=13980732 memory=6872598998417432672 CPUtime=0.01 cores=0,2,4,6
/proc/28687/task/28690/stat : 28690 (java) S 28685 28685 7084 0 -1 1077944384 74 0 0 0 1 0 0 0 20 0 15 0 164071570 14316269568 51477 18446744073709551615 4194304 4196468 140726822975216 140317328624016 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28691] ppid=28685 vsize=13980732 memory=7521995004687799001 CPUtime=0.01 cores=0,2,4,6
/proc/28687/task/28691/stat : 28691 (java) S 28685 28685 7084 0 -1 1077944384 99 0 0 0 1 0 0 0 20 0 15 0 164071570 14316269568 51477 18446744073709551615 4194304 4196468 140726822975216 140317327571472 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28692] ppid=28685 vsize=13980732 memory=-8774313645642428999 CPUtime=0.01 cores=0,2,4,6

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

/proc/28687/task/28695/stat : 28695 (java) S 28685 28685 7084 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 164071572 14316269568 993977 18446744073709551615 4194304 4196468 140726822975216 140316511286784 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28696] ppid=28685 vsize=13980732 memory=-8918986286114809139 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28696/stat : 28696 (java) S 28685 28685 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164071575 14316269568 993977 18446744073709551615 4194304 4196468 140726822975216 140316510235344 140317395261339 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28697] ppid=28685 vsize=13980732 memory=4206468019014164576 CPUtime=3.06 cores=0,2,4,6
/proc/28687/task/28697/stat : 28697 (java) S 28685 28685 7084 0 -1 1077944384 10021 0 0 0 305 1 0 0 20 0 15 0 164071575 14316269568 993977 18446744073709551615 4194304 4196468 140726822975216 140316509181936 140317395253890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28698] ppid=28685 vsize=13980732 memory=4156 CPUtime=3 cores=0,2,4,6
/proc/28687/task/28698/stat : 28698 (java) S 28685 28685 7084 0 -1 1077944384 9542 0 0 0 298 2 0 0 20 0 15 0 164071575 14316269568 993977 18446744073709551615 4194304 4196468 140726822975216 140316508129392 140317395253890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28699] ppid=28685 vsize=13980732 memory=69292 CPUtime=0.79 cores=0,2,4,6
/proc/28687/task/28699/stat : 28699 (java) S 28685 28685 7084 0 -1 1077944384 5717 0 0 0 78 1 0 0 20 0 15 0 164071575 14316269568 993977 18446744073709551615 4194304 4196468 140726822975216 140316507076848 140317395253890 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28700] ppid=28685 vsize=13980732 memory=0 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28700/stat : 28700 (java) S 28685 28685 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164071575 14316269568 993977 18446744073709551615 4194304 4196468 140726822975216 140316506024544 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28701] ppid=28685 vsize=13980732 memory=4420 CPUtime=0.02 cores=0,2,4,6
/proc/28687/task/28701/stat : 28701 (java) S 28685 28685 7084 0 -1 1077944384 60 0 0 0 1 1 0 0 20 0 15 0 164071582 14316269568 993977 18446744073709551615 4194304 4196468 140726822975216 140316504972080 140317395253890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
Current children cumulated CPU time: 78.41 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 3977284 KiB

[startup+102.301 s]
/proc/loadavg: 3.26 2.76 2.16 6/216 28703
/proc/meminfo: memFree=16056280/32770624 swapFree=67108776/67108860
[pid=28685] ppid=28682 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/28685/stat : 28685 (xcsp3-exec) S 28682 28685 7084 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 164071563 9740288 344 18446744073709551615 4194304 5098028 140722403384720 140722403382824 140149177287292 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 20455424 140722403385727 140722403385930 140722403385930 140722403389419 0
/proc/28685/statm: 2378 344 289 221 0 87 0
[pid=28687] ppid=28685 vsize=13980732 memory=6057972 CPUtime=158.65 cores=0,2,4,6
/proc/28687/stat : 28687 (java) S 28685 28685 7084 0 -1 1077944320 91147 0 0 0 15463 402 0 0 20 0 15 0 164071569 14316269568 1514493 18446744073709551615 4194304 4196468 140726822975216 140726822957760 140317395242743 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
/proc/28687/statm: 3495183 1514493 3259 1 0 3483476 0
[pid=28687/tid=28688] ppid=28685 vsize=13980732 memory=164 CPUtime=82.55 cores=0,2,4,6
/proc/28687/task/28688/stat : 28688 (java) R 28685 28685 7084 0 -1 4202560 14700 0 0 0 8229 26 0 0 20 0 15 0 164071569 14316269568 1514493 18446744073709551615 4194304 4196468 140726822975216 140317399479736 140317005072225 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28689] ppid=28685 vsize=13980732 memory=4156 CPUtime=16.2 cores=0,2,4,6
/proc/28687/task/28689/stat : 28689 (java) S 28685 28685 7084 0 -1 1077944384 13184 0 0 0 1527 93 0 0 20 0 15 0 164071570 14316269568 1514493 18446744073709551615 4194304 4196468 140726822975216 140317329676560 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28690] ppid=28685 vsize=13980732 memory=6057972 CPUtime=16.38 cores=0,2,4,6
/proc/28687/task/28690/stat : 28690 (java) S 28685 28685 7084 0 -1 1077944384 5794 0 0 0 1552 86 0 0 20 0 15 0 164071570 14316269568 1514493 18446744073709551615 4194304 4196468 140726822975216 140317328624016 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28691] ppid=28685 vsize=13980732 memory=-7745282787156913538 CPUtime=16.19 cores=0,2,4,6
/proc/28687/task/28691/stat : 28691 (java) S 28685 28685 7084 0 -1 1077944384 5671 0 0 0 1523 96 0 0 20 0 15 0 164071570 14316269568 1514493 18446744073709551615 4194304 4196468 140726822975216 140317327571472 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28692] ppid=28685 vsize=13980732 memory=6057972 CPUtime=16.11 cores=0,2,4,6
/proc/28687/task/28692/stat : 28692 (java) S 28685 28685 7084 0 -1 1077944384 7680 0 0 0 1524 87 0 0 20 0 15 0 164071570 14316269568 1514493 18446744073709551615 4194304 4196468 140726822975216 140317326518928 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28693] ppid=28685 vsize=13980732 memory=6057944 CPUtime=3 cores=0,2,4,6
/proc/28687/task/28693/stat : 28693 (java) S 28685 28685 7084 0 -1 1077944384 13137 0 0 0 299 1 0 0 20 0 15 0 164071572 14316269568 1514493 18446744073709551615 4194304 4196468 140726822975216 140316513393136 140317395253890 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28694] ppid=28685 vsize=13980732 memory=281140640840224 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28694/stat : 28694 (java) S 28685 28685 7084 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 164071572 14316269568 1514493 18446744073709551615 4194304 4196468 140726822975216 140316512339424 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28695] ppid=28685 vsize=13980732 memory=281140640528864 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28695/stat : 28695 (java) S 28685 28685 7084 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 164071572 14316269568 1514493 18446744073709551615 4194304 4196468 140726822975216 140316511286784 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28696] ppid=28685 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28696/stat : 28696 (java) S 28685 28685 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164071575 14316269568 1514493 18446744073709551615 4194304 4196468 140726822975216 140316510235344 140317395261339 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28697] ppid=28685 vsize=13980732 memory=6057972 CPUtime=3.67 cores=0,2,4,6
/proc/28687/task/28697/stat : 28697 (java) S 28685 28685 7084 0 -1 1077944384 11889 0 0 0 366 1 0 0 20 0 15 0 164071575 14316269568 1514493 18446744073709551615 4194304 4196468 140726822975216 140316509181936 140317395253890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28698] ppid=28685 vsize=13980732 memory=1376 CPUtime=3.5 cores=0,2,4,6
/proc/28687/task/28698/stat : 28698 (java) S 28685 28685 7084 0 -1 1077944384 11059 0 0 0 347 3 0 0 20 0 15 0 164071575 14316269568 1514493 18446744073709551615 4194304 4196468 140726822975216 140316508129392 140317395253890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28699] ppid=28685 vsize=13980732 memory=1381544 CPUtime=0.89 cores=0,2,4,6
/proc/28687/task/28699/stat : 28699 (java) S 28685 28685 7084 0 -1 1077944384 6574 0 0 0 87 2 0 0 20 0 15 0 164071575 14316269568 1514493 18446744073709551615 4194304 4196468 140726822975216 140316507076848 140317395253890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28700] ppid=28685 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28700/stat : 28700 (java) S 28685 28685 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164071575 14316269568 1514493 18446744073709551615 4194304 4196468 140726822975216 140316506024544 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28701] ppid=28685 vsize=13980732 memory=2460 CPUtime=0.05 cores=0,2,4,6
/proc/28687/task/28701/stat : 28701 (java) S 28685 28685 7084 0 -1 1077944384 94 0 0 0 2 3 0 0 20 0 15 0 164071582 14316269568 1514493 18446744073709551615 4194304 4196468 140726822975216 140316504972080 140317395253890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
Current children cumulated CPU time: 158.65 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 6059348 KiB

[startup+162.301 s]
/proc/loadavg: 2.76 2.73 2.19 3/216 28781
/proc/meminfo: memFree=23397468/32770624 swapFree=67108776/67108860
[pid=28685] ppid=28682 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/28685/stat : 28685 (xcsp3-exec) S 28682 28685 7084 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 164071563 9740288 344 18446744073709551615 4194304 5098028 140722403384720 140722403382824 140149177287292 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 20455424 140722403385727 140722403385930 140722403385930 140722403389419 0
/proc/28685/statm: 2378 344 289 221 0 87 0
[pid=28687] ppid=28685 vsize=13980732 memory=6058072 CPUtime=219.03 cores=0,2,4,6
/proc/28687/stat : 28687 (java) S 28685 28685 7084 0 -1 1077944320 94978 0 0 0 21498 405 0 0 20 0 15 0 164071569 14316269568 1514518 18446744073709551615 4194304 4196468 140726822975216 140726822957760 140317395242743 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
/proc/28687/statm: 3495183 1514518 3259 1 0 3483476 0
[pid=28687/tid=28688] ppid=28685 vsize=13980732 memory=6058072 CPUtime=142.54 cores=0,2,4,6
/proc/28687/task/28688/stat : 28688 (java) R 28685 28685 7084 0 -1 4202560 15622 0 0 0 14228 26 0 0 20 0 15 0 164071569 14316269568 1514518 18446744073709551615 4194304 4196468 140726822975216 140317399482024 140317009003813 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28689] ppid=28685 vsize=13980732 memory=6058068 CPUtime=16.2 cores=0,2,4,6
/proc/28687/task/28689/stat : 28689 (java) S 28685 28685 7084 0 -1 1077944384 13184 0 0 0 1527 93 0 0 20 0 15 0 164071570 14316269568 1514518 18446744073709551615 4194304 4196468 140726822975216 140317329676560 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28690] ppid=28685 vsize=13980732 memory=6058068 CPUtime=16.38 cores=0,2,4,6
/proc/28687/task/28690/stat : 28690 (java) S 28685 28685 7084 0 -1 1077944384 5794 0 0 0 1552 86 0 0 20 0 15 0 164071570 14316269568 1514518 18446744073709551615 4194304 4196468 140726822975216 140317328624016 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28691] ppid=28685 vsize=13980732 memory=1376 CPUtime=16.19 cores=0,2,4,6
/proc/28687/task/28691/stat : 28691 (java) S 28685 28685 7084 0 -1 1077944384 5671 0 0 0 1523 96 0 0 20 0 15 0 164071570 14316269568 1514518 18446744073709551615 4194304 4196468 140726822975216 140317327571472 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28692] ppid=28685 vsize=13980732 memory=1376 CPUtime=16.11 cores=0,2,4,6
/proc/28687/task/28692/stat : 28692 (java) S 28685 28685 7084 0 -1 1077944384 7680 0 0 0 1524 87 0 0 20 0 15 0 164071570 14316269568 1514518 18446744073709551615 4194304 4196468 140726822975216 140317326518928 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28693] ppid=28685 vsize=13980732 memory=6058068 CPUtime=3 cores=0,2,4,6
/proc/28687/task/28693/stat : 28693 (java) S 28685 28685 7084 0 -1 1077944384 13185 0 0 0 299 1 0 0 20 0 15 0 164071572 14316269568 1514518 18446744073709551615 4194304 4196468 140726822975216 140316513393136 140317395253890 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28694] ppid=28685 vsize=13980732 memory=6058072 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28694/stat : 28694 (java) S 28685 28685 7084 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 164071572 14316269568 1514518 18446744073709551615 4194304 4196468 140726822975216 140316512339424 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28695] ppid=28685 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28695/stat : 28695 (java) S 28685 28685 7084 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 164071572 14316269568 1514518 18446744073709551615 4194304 4196468 140726822975216 140316511286784 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28696] ppid=28685 vsize=13980732 memory=281140640948976 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28696/stat : 28696 (java) S 28685 28685 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164071575 14316269568 1514518 18446744073709551615 4194304 4196468 140726822975216 140316510235344 140317395261339 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28697] ppid=28685 vsize=13980732 memory=1376 CPUtime=3.82 cores=0,2,4,6
/proc/28687/task/28697/stat : 28697 (java) S 28685 28685 7084 0 -1 1077944384 13514 0 0 0 381 1 0 0 20 0 15 0 164071575 14316269568 1514518 18446744073709551615 4194304 4196468 140726822975216 140316509181936 140317395253890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28698] ppid=28685 vsize=13980732 memory=1376 CPUtime=3.66 cores=0,2,4,6
/proc/28687/task/28698/stat : 28698 (java) S 28685 28685 7084 0 -1 1077944384 11072 0 0 0 363 3 0 0 20 0 15 0 164071575 14316269568 1514518 18446744073709551615 4194304 4196468 140726822975216 140316508129392 140317395253890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28699] ppid=28685 vsize=13980732 memory=1376 CPUtime=0.92 cores=0,2,4,6
/proc/28687/task/28699/stat : 28699 (java) S 28685 28685 7084 0 -1 1077944384 7721 0 0 0 90 2 0 0 20 0 15 0 164071575 14316269568 1514518 18446744073709551615 4194304 4196468 140726822975216 140316507076848 140317395253890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28700] ppid=28685 vsize=13980732 memory=4156 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28700/stat : 28700 (java) S 28685 28685 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164071575 14316269568 1514518 18446744073709551615 4194304 4196468 140726822975216 140316506024544 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28701] ppid=28685 vsize=13980732 memory=1376 CPUtime=0.08 cores=0,2,4,6
/proc/28687/task/28701/stat : 28701 (java) S 28685 28685 7084 0 -1 1077944384 170 0 0 0 3 5 0 0 20 0 15 0 164071582 14316269568 1514518 18446744073709551615 4194304 4196468 140726822975216 140316504972080 140317395253890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
Current children cumulated CPU time: 219.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 6059448 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+195.201 s]
/proc/loadavg: 2.42 2.65 2.19 3/216 28783
/proc/meminfo: memFree=23397208/32770624 swapFree=67108776/67108860
[pid=28685] ppid=28682 vsize=9512 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/28685/stat : 28685 (xcsp3-exec) S 28682 28685 7084 0 -1 4202496 514 0 0 0 0 0 0 0 20 0 1 0 164071563 9740288 344 18446744073709551615 4194304 5098028 140722403384720 140722403382824 140149177287292 0 65536 5 65538 18446744071579417331 0 0 17 2 0 0 5 0 0 7196144 7232144 20455424 140722403385727 140722403385930 140722403385930 140722403389419 0
/proc/28685/statm: 2378 344 289 221 0 87 0
[pid=28687] ppid=28685 vsize=13980732 memory=6058120 CPUtime=252.03 cores=0,2,4,6
/proc/28687/stat : 28687 (java) S 28685 28685 7084 0 -1 1077944320 97825 0 0 0 24797 406 0 0 20 0 15 0 164071569 14316269568 1514530 18446744073709551615 4194304 4196468 140726822975216 140726822957760 140317395242743 0 0 1 16800974 18446744073709551615 0 0 17 6 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
/proc/28687/statm: 3495183 1514530 3259 1 0 3483476 0
[pid=28687/tid=28688] ppid=28685 vsize=13980732 memory=3908 CPUtime=175.43 cores=0,2,4,6
/proc/28687/task/28688/stat : 28688 (java) R 28685 28685 7084 0 -1 4202560 16433 0 0 0 17517 26 0 0 20 0 15 0 164071569 14316269568 1514530 18446744073709551615 4194304 4196468 140726822975216 140317399478864 140317008181028 0 4 1 16800974 0 0 0 -1 0 0 0 6 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28689] ppid=28685 vsize=13980732 memory=16444 CPUtime=16.2 cores=0,2,4,6
/proc/28687/task/28689/stat : 28689 (java) S 28685 28685 7084 0 -1 1077944384 13184 0 0 0 1527 93 0 0 20 0 15 0 164071570 14316269568 1514530 18446744073709551615 4194304 4196468 140726822975216 140317329676560 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28690] ppid=28685 vsize=13980732 memory=-8774313645642428999 CPUtime=16.38 cores=0,2,4,6
/proc/28687/task/28690/stat : 28690 (java) S 28685 28685 7084 0 -1 1077944384 5794 0 0 0 1552 86 0 0 20 0 15 0 164071570 14316269568 1514530 18446744073709551615 4194304 4196468 140726822975216 140317328624016 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28691] ppid=28685 vsize=13980732 memory=2240 CPUtime=16.19 cores=0,2,4,6
/proc/28687/task/28691/stat : 28691 (java) S 28685 28685 7084 0 -1 1077944384 5671 0 0 0 1523 96 0 0 20 0 15 0 164071570 14316269568 1514530 18446744073709551615 4194304 4196468 140726822975216 140317327571472 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28692] ppid=28685 vsize=13980732 memory=4288 CPUtime=16.11 cores=0,2,4,6
/proc/28687/task/28692/stat : 28692 (java) S 28685 28685 7084 0 -1 1077944384 7680 0 0 0 1524 87 0 0 20 0 15 0 164071570 14316269568 1514530 18446744073709551615 4194304 4196468 140726822975216 140317326518928 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28693] ppid=28685 vsize=13980732 memory=1376 CPUtime=3.01 cores=0,2,4,6
/proc/28687/task/28693/stat : 28693 (java) S 28685 28685 7084 0 -1 1077944384 13237 0 0 0 299 2 0 0 20 0 15 0 164071572 14316269568 1514530 18446744073709551615 4194304 4196468 140726822975216 140316513393136 140317395253890 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28694] ppid=28685 vsize=13980732 memory=1296 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28694/stat : 28694 (java) S 28685 28685 7084 0 -1 1077944384 65 0 0 0 0 0 0 0 20 0 15 0 164071572 14316269568 1514530 18446744073709551615 4194304 4196468 140726822975216 140316512339424 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28695] ppid=28685 vsize=13980732 memory=2460 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28695/stat : 28695 (java) S 28685 28685 7084 0 -1 1077944384 59 0 0 0 0 0 0 0 20 0 15 0 164071572 14316269568 1514530 18446744073709551615 4194304 4196468 140726822975216 140316511286784 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28696] ppid=28685 vsize=13980732 memory=1376 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28696/stat : 28696 (java) S 28685 28685 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164071575 14316269568 1514530 18446744073709551615 4194304 4196468 140726822975216 140316510235344 140317395261339 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28697] ppid=28685 vsize=13980732 memory=1376 CPUtime=3.87 cores=0,2,4,6
/proc/28687/task/28697/stat : 28697 (java) S 28685 28685 7084 0 -1 1077944384 13847 0 0 0 386 1 0 0 20 0 15 0 164071575 14316269568 1514530 18446744073709551615 4194304 4196468 140726822975216 140316509181936 140317395253890 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28698] ppid=28685 vsize=13980732 memory=6058112 CPUtime=3.7 cores=0,2,4,6
/proc/28687/task/28698/stat : 28698 (java) S 28685 28685 7084 0 -1 1077944384 12183 0 0 0 367 3 0 0 20 0 15 0 164071575 14316269568 1514530 18446744073709551615 4194304 4196468 140726822975216 140316508129392 140317395253890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28699] ppid=28685 vsize=13980732 memory=1376 CPUtime=0.92 cores=0,2,4,6
/proc/28687/task/28699/stat : 28699 (java) S 28685 28685 7084 0 -1 1077944384 8221 0 0 0 90 2 0 0 20 0 15 0 164071575 14316269568 1514530 18446744073709551615 4194304 4196468 140726822975216 140316507076848 140317395253890 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28700] ppid=28685 vsize=13980732 memory=6058112 CPUtime=0 cores=0,2,4,6
/proc/28687/task/28700/stat : 28700 (java) S 28685 28685 7084 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 164071575 14316269568 1514530 18446744073709551615 4194304 4196468 140726822975216 140316506024544 140317395252949 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
[pid=28687/tid=28701] ppid=28685 vsize=13980732 memory=796 CPUtime=0.1 cores=0,2,4,6
/proc/28687/task/28701/stat : 28701 (java) S 28685 28685 7084 0 -1 1077944384 210 0 0 0 4 6 0 0 20 0 15 0 164071582 14316269568 1514530 18446744073709551615 4194304 4196468 140726822975216 140316504972080 140317395253890 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 28467200 140726822977975 140726822978150 140726822978150 140726822981583 0
Current children cumulated CPU time: 252.03 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 6059496 KiB

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

[startup+195.21 s]
# the end of solver process 28685 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=0.000871 s, system=0.001275 s

[startup+195.245 s]
# the end of solver process 28687 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=247.99 s, system=4.10431 s
# this solver process was not waited by its parent and was adopted by runsolver

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

Child status: 143
Real time (s): 195.245
CPU time (s): 252.094
CPU user time (s): 247.99
CPU system time (s): 4.10431
CPU usage (%): 129.116
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 6059496

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 247.99
system time used= 4.10431
maximum resident set size= 6058688
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98910
page faults= 0
swaps= 0
block input operations= 0
block output operations= 344
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9247
involuntary context switches= 2191


# summary of solver processes directly reported to runsolver:
#   pid: 28685,28687
#   total CPU time (s): 252.094
#   total CPU user time (s): 247.99
#   total CPU system time (s): 4.10431

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.30525 second user time and 1.9345 second system time

The end

Launcher Data 

Begin job on node132 at 2017-08-13 18:55:23
IDJOB=4255029
IDBENCH=126240
IDSOLVER=2637
FILE ID=node132/4255029-1502644188
RUNJOBID= node132-1502642281-27768
PBS_JOBID= 
Free space on /tmp= 62020 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/GolombRuler/GolombRuler-a4-s1/GolombRuler-17-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-4255029-1502644188/watcher-4255029-1502644188 -o /tmp/evaluation-result-4255029-1502644188/solver-4255029-1502644188 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502642281-27768 --watchdog 312  ./xcsp3-exec -dir HOME -tl 252 -ml 11000 -tdir HOME -seed 563517548 HOME/instance-4255029-1502644188.xml

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

MD5SUM BENCH= 1654769b6737315210eb217040901c4e
RANDOM SEED=563517548

node132.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.74
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.74
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.74
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.74
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:        30576644 kB
MemAvailable:   30877332 kB
Buffers:          230740 kB
Cached:           394720 kB
SwapCached:           84 kB
Active:          1591512 kB
Inactive:         196704 kB
Active(anon):    1110144 kB
Inactive(anon):   101908 kB
Active(file):     481368 kB
Inactive(file):    94796 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108776 kB
Dirty:              8300 kB
Writeback:             4 kB
AnonPages:       1161992 kB
Mapped:            77184 kB
Shmem:             49768 kB
Slab:             107848 kB
SReclaimable:      80720 kB
SUnreclaim:        27128 kB
KernelStack:        3584 kB
PageTables:         7160 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3291584 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    942080 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 62012 MiB
End job on node132 at 2017-08-13 18:58:38