Trace number 4274555

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
OscaR - Hybrid 2017-07-26OPT0 1.55235 0.97554302

General information on the benchmark

NameOpd/Opd-sum-large/
Opd-03-035-010.xml
MD5SUMfae8403920cd33ebcdf1b903a2143a11
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark0.026662
Satisfiable
(Un)Satisfiability was proved
Number of variables106
Number of constraints7
Number of domains2
Minimum domain size2
Maximum domain size36
Distribution of domain sizes[{"size":2,"count":105},{"size":36,"count":1}]
Minimum variable degree4
Maximum variable degree4
Distribution of variable degrees[{"degree":4,"count":106}]
Minimum constraint arity35
Maximum constraint arity105
Distribution of constraint arities[{"arity":35,"count":3},{"arity":71,"count":3},{"arity":105,"count":1}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"lex","count":1},{"type":"sum","count":6}]
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.24/0.40	c version: 2017-07-26
0.24/0.40	c seed: 872675854
0.24/0.40	c timeout: 2520
0.24/0.40	c memlimit: 11000
0.24/0.40	c nbcore: 4
0.42/0.42	c Parsing instance...
1.07/0.81	c Parsing done, starting first complete search...
1.07/0.83	o 35
1.07/0.83	o 34
1.07/0.83	o 33
1.07/0.83	o 32
1.07/0.83	o 31
1.07/0.83	o 30
1.07/0.83	o 29
1.07/0.83	o 28
1.07/0.83	o 27
1.07/0.83	o 26
1.07/0.83	o 25
1.07/0.83	o 24
1.07/0.83	o 23
1.07/0.84	o 22
1.07/0.84	o 21
1.07/0.84	o 20
1.07/0.84	o 19
1.07/0.84	o 18
1.07/0.84	o 17
1.07/0.84	o 16
1.07/0.84	o 15
1.07/0.84	o 14
1.07/0.85	o 13
1.07/0.85	o 12
1.07/0.85	o 11
1.07/0.85	o 10
1.33/0.94	o 9
1.33/0.94	o 8
1.33/0.95	o 7
1.33/0.95	o 6
1.33/0.95	o 5
1.33/0.95	o 4
1.33/0.95	o 3
1.33/0.95	o 2
1.33/0.95	o 1
1.33/0.95	o 0
1.33/0.95	s OPTIMUM FOUND
1.33/0.95	v <instantiation>
1.33/0.95	v 	<list>
1.33/0.95	v 		z x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[0][34] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[1][34] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[2][34]
1.33/0.95	v 	</list>
1.33/0.95	v 	<values>
1.33/0.95	v 		0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 1 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 
1.33/0.96	v 	</values>
1.33/0.96	v </instantiation>

Verifier Data 

OK	0

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4274555-1502771640/watcher-4274555-1502771640 -o /tmp/evaluation-result-4274555-1502771640/solver-4274555-1502771640 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13745 --watchdog 2580 java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 872675854 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274555-1502771640.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
solver pid=29987, runsolver pid=29984
Current StackSize limit: 8192 KiB


[startup+0.100051 s]*
/proc/loadavg: 1.29 1.41 1.57 2/204 29989
/proc/meminfo: memFree=28146032/32770624 swapFree=67108860/67108860
[pid=29987] ppid=29984 vsize=13358552 memory=14140 CPUtime=0 cores=1,3,5,7
/proc/29987/stat : 29987 (java) S 29984 29987 12395 0 -1 1077944320 3364 0 0 0 0 0 0 0 20 0 6 0 119075492 13679157248 3535 18446744073709551615 4194304 4196468 140731414981472 140731414964016 139892713877239 0 0 1 16784584 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
/proc/29987/statm: 3339638 3535 1901 1 0 3329135 0
[pid=29987/tid=29989] ppid=29984 vsize=13358552 memory=7077796292425249400 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29989/stat : 29989 (java) R 29984 29987 12395 0 -1 4202560 2054 0 0 0 0 0 0 0 20 0 6 0 119075502 13679157248 3535 18446744073709551615 4194304 4196468 140731414981472 139892718113360 139892697957726 0 4 1 16784584 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29990] ppid=29984 vsize=13358552 memory=4872558044660077418 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29990/stat : 29990 (java) S 29984 29987 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 119075503 13679157248 3535 18446744073709551615 4194304 4196468 140731414981472 139892313561872 139892713887445 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29991] ppid=29984 vsize=13358552 memory=140432161658496 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29991/stat : 29991 (java) S 29984 29987 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 6 0 119075503 13679157248 3535 18446744073709551615 4194304 4196468 140731414981472 139892312509328 139892713887445 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29992] ppid=29984 vsize=13358552 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29992/stat : 29992 (java) S 29984 29987 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 119075503 13679157248 3535 18446744073709551615 4194304 4196468 140731414981472 139892311456784 139892713887445 0 4 1 16784584 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29993] ppid=29984 vsize=13358552 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29993/stat : 29993 (java) S 29984 29987 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 6 0 119075503 13679157248 3535 18446744073709551615 4194304 4196468 140731414981472 139892310404240 139892713887445 0 4 1 16784584 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 13358552 KiB
Current children cumulated memory: 14140 KiB

[startup+0.210395 s]*
/proc/loadavg: 1.29 1.41 1.57 3/217 30002
/proc/meminfo: memFree=28137740/32770624 swapFree=67108860/67108860
[pid=29987] ppid=29984 vsize=13975920 memory=27712 CPUtime=0.08 cores=1,3,5,7
/proc/29987/stat : 29987 (java) S 29984 29987 12395 0 -1 1077944320 6743 0 0 0 7 1 0 0 20 0 15 0 119075492 14311342080 6928 18446744073709551615 4194304 4196468 140731414981472 140731414964016 139892713877239 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
/proc/29987/statm: 3493980 6928 3342 1 0 3482759 0
[pid=29987/tid=29989] ppid=29984 vsize=13975920 memory=8316850467074736180 CPUtime=0.05 cores=1,3,5,7
/proc/29987/task/29989/stat : 29989 (java) R 29984 29987 12395 0 -1 4202560 4773 0 0 0 5 0 0 0 20 0 15 0 119075502 14311342080 6928 18446744073709551615 4194304 4196468 140731414981472 139892718110504 139892713899165 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29990] ppid=29984 vsize=13975920 memory=14035 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29990/stat : 29990 (java) S 29984 29987 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119075503 14311342080 6928 18446744073709551615 4194304 4196468 140731414981472 139892313561872 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29991] ppid=29984 vsize=13975920 memory=140432162816044 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29991/stat : 29991 (java) S 29984 29987 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119075503 14311342080 6928 18446744073709551615 4194304 4196468 140731414981472 139892312509328 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29992] ppid=29984 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29992/stat : 29992 (java) S 29984 29987 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119075503 14311342080 6928 18446744073709551615 4194304 4196468 140731414981472 139892311456784 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29993] ppid=29984 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29993/stat : 29993 (java) S 29984 29987 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119075503 14311342080 6928 18446744073709551615 4194304 4196468 140731414981472 139892310404240 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29994] ppid=29984 vsize=13975920 memory=140432161658496 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29994/stat : 29994 (java) S 29984 29987 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119075504 14311342080 6928 18446744073709551615 4194304 4196468 140731414981472 139892260382704 139892713888386 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29995] ppid=29984 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29995/stat : 29995 (java) S 29984 29987 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119075504 14311342080 6928 18446744073709551615 4194304 4196468 140731414981472 139892259328928 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29996] ppid=29984 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29996/stat : 29996 (java) S 29984 29987 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119075505 14311342080 6928 18446744073709551615 4194304 4196468 140731414981472 139892258276336 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29997] ppid=29984 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29997/stat : 29997 (java) S 29984 29987 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119075507 14311342080 6928 18446744073709551615 4194304 4196468 140731414981472 139892257224912 139892713895835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29998] ppid=29984 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29998/stat : 29998 (java) S 29984 29987 12395 0 -1 1077944384 290 0 0 0 0 0 0 0 20 0 15 0 119075507 14311342080 6928 18446744073709551615 4194304 4196468 140731414981472 139892256172528 139892713888386 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29999] ppid=29984 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29999/stat : 29999 (java) S 29984 29987 12395 0 -1 1077944384 4 0 0 0 0 0 0 0 20 0 15 0 119075507 14311342080 6928 18446744073709551615 4194304 4196468 140731414981472 139892255119984 139892713888386 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=30000] ppid=29984 vsize=13975920 memory=140432161658496 CPUtime=0 cores=1,3,5,7
/proc/29987/task/30000/stat : 30000 (java) S 29984 29987 12395 0 -1 1077944384 300 0 0 0 0 0 0 0 20 0 15 0 119075507 14311342080 6928 18446744073709551615 4194304 4196468 140731414981472 139892254067440 139892713888386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=30001] ppid=29984 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29987/task/30001/stat : 30001 (java) S 29984 29987 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119075507 14311342080 6928 18446744073709551615 4194304 4196468 140731414981472 139892185099360 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=30002] ppid=29984 vsize=13975920 memory=140432161658496 CPUtime=0 cores=1,3,5,7
/proc/29987/task/30002/stat : 30002 (java) S 29984 29987 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119075512 14311342080 6928 18446744073709551615 4194304 4196468 140731414981472 139892184045872 139892713888386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
Current children cumulated CPU time: 0.08 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 27712 KiB

[startup+0.310706 s]*
/proc/loadavg: 1.29 1.41 1.57 3/217 30002
/proc/meminfo: memFree=28125716/32770624 swapFree=67108860/67108860
[pid=29987] ppid=29984 vsize=13975920 memory=39152 CPUtime=0.24 cores=1,3,5,7
/proc/29987/stat : 29987 (java) S 29984 29987 12395 0 -1 1077944320 10066 0 0 0 21 3 0 0 20 0 15 0 119075492 14311342080 9788 18446744073709551615 4194304 4196468 140731414981472 140731414964016 139892713877239 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
/proc/29987/statm: 3493980 9788 3515 1 0 3482759 0
[pid=29987/tid=29989] ppid=29984 vsize=13975920 memory=8316850467074736180 CPUtime=0.16 cores=1,3,5,7
/proc/29987/task/29989/stat : 29989 (java) R 29984 29987 12395 0 -1 4202560 7795 0 0 0 14 2 0 0 20 0 15 0 119075502 14311342080 9788 18446744073709551615 4194304 4196468 140731414981472 139892718099008 139892697920869 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29990] ppid=29984 vsize=13975920 memory=14035 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29990/stat : 29990 (java) S 29984 29987 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119075503 14311342080 9788 18446744073709551615 4194304 4196468 140731414981472 139892313561872 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29991] ppid=29984 vsize=13975920 memory=140432162816044 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29991/stat : 29991 (java) S 29984 29987 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119075503 14311342080 9788 18446744073709551615 4194304 4196468 140731414981472 139892312509328 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29992] ppid=29984 vsize=13975920 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29992/stat : 29992 (java) S 29984 29987 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119075503 14311342080 9788 18446744073709551615 4194304 4196468 140731414981472 139892311456784 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29993] ppid=29984 vsize=13975920 memory=3472328296227680299 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29993/stat : 29993 (java) S 29984 29987 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119075503 14311342080 9788 18446744073709551615 4194304 4196468 140731414981472 139892310404240 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29994] ppid=29984 vsize=13975920 memory=3184238352237627056 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29994/stat : 29994 (java) S 29984 29987 12395 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 119075504 14311342080 9788 18446744073709551615 4194304 4196468 140731414981472 139892260382704 139892713888386 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29995] ppid=29984 vsize=13975920 memory=8461260354371939849 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29995/stat : 29995 (java) S 29984 29987 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119075504 14311342080 9788 18446744073709551615 4194304 4196468 140731414981472 139892259328928 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29996] ppid=29984 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29996/stat : 29996 (java) S 29984 29987 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119075505 14311342080 9788 18446744073709551615 4194304 4196468 140731414981472 139892258276336 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29997] ppid=29984 vsize=13975920 memory=-3258418265892434876 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29997/stat : 29997 (java) S 29984 29987 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119075507 14311342080 9788 18446744073709551615 4194304 4196468 140731414981472 139892257224912 139892713895835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29998] ppid=29984 vsize=13975920 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29998/stat : 29998 (java) S 29984 29987 12395 0 -1 1077944384 322 0 0 0 0 0 0 0 20 0 15 0 119075507 14311342080 9788 18446744073709551615 4194304 4196468 140731414981472 139892256172528 139892713888386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29999] ppid=29984 vsize=13975920 memory=3471202396320837679 CPUtime=0.01 cores=1,3,5,7
/proc/29987/task/29999/stat : 29999 (java) S 29984 29987 12395 0 -1 1077944384 175 0 0 0 1 0 0 0 20 0 15 0 119075507 14311342080 9788 18446744073709551615 4194304 4196468 140731414981472 139892255119984 139892713888386 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=30000] ppid=29984 vsize=13975920 memory=7813734096819553929 CPUtime=0.04 cores=1,3,5,7
/proc/29987/task/30000/stat : 30000 (java) S 29984 29987 12395 0 -1 1077944384 395 0 0 0 4 0 0 0 20 0 15 0 119075507 14311342080 9788 18446744073709551615 4194304 4196468 140731414981472 139892254067440 139892713888386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=30001] ppid=29984 vsize=13975920 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/29987/task/30001/stat : 30001 (java) S 29984 29987 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119075507 14311342080 9788 18446744073709551615 4194304 4196468 140731414981472 139892185099360 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=30002] ppid=29984 vsize=13975920 memory=140432161658496 CPUtime=0 cores=1,3,5,7
/proc/29987/task/30002/stat : 30002 (java) S 29984 29987 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119075512 14311342080 9788 18446744073709551615 4194304 4196468 140731414981472 139892184045872 139892713888386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
Current children cumulated CPU time: 0.24 s
Current children cumulated vsize: 13975920 KiB
Current children cumulated memory: 39152 KiB

[startup+0.700757 s]
/proc/loadavg: 1.29 1.41 1.57 4/217 30002
/proc/meminfo: memFree=28112812/32770624 swapFree=67108860/67108860
[pid=29987] ppid=29984 vsize=13977988 memory=67008 CPUtime=0.93 cores=1,3,5,7
/proc/29987/stat : 29987 (java) S 29984 29987 12395 0 -1 1077944320 13967 0 0 0 88 5 0 0 20 0 15 0 119075492 14313459712 16752 18446744073709551615 4194304 4196468 140731414981472 140731414964016 139892713877239 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
/proc/29987/statm: 3494497 16752 3730 1 0 3483271 0
[pid=29987/tid=29989] ppid=29984 vsize=13977988 memory=16797617098206 CPUtime=0.54 cores=1,3,5,7
/proc/29987/task/29989/stat : 29989 (java) R 29984 29987 12395 0 -1 4202560 10624 0 0 0 50 4 0 0 20 0 15 0 119075502 14313459712 16752 18446744073709551615 4194304 4196468 140731414981472 139892718114944 139892713899165 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29990] ppid=29984 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29990/stat : 29990 (java) S 29984 29987 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119075503 14313459712 16752 18446744073709551615 4194304 4196468 140731414981472 139892313561872 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29991] ppid=29984 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29991/stat : 29991 (java) S 29984 29987 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119075503 14313459712 16752 18446744073709551615 4194304 4196468 140731414981472 139892312509328 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29992] ppid=29984 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29992/stat : 29992 (java) S 29984 29987 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119075503 14313459712 16752 18446744073709551615 4194304 4196468 140731414981472 139892311456784 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29993] ppid=29984 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29993/stat : 29993 (java) S 29984 29987 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119075503 14313459712 16752 18446744073709551615 4194304 4196468 140731414981472 139892310404240 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29994] ppid=29984 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29994/stat : 29994 (java) S 29984 29987 12395 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 119075504 14313459712 16752 18446744073709551615 4194304 4196468 140731414981472 139892260382704 139892713888386 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29995] ppid=29984 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29995/stat : 29995 (java) S 29984 29987 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119075504 14313459712 16752 18446744073709551615 4194304 4196468 140731414981472 139892259328928 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29996] ppid=29984 vsize=13977988 memory=12132 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29996/stat : 29996 (java) S 29984 29987 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119075505 14313459712 16752 18446744073709551615 4194304 4196468 140731414981472 139892258276336 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29997] ppid=29984 vsize=13977988 memory=796 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29997/stat : 29997 (java) S 29984 29987 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119075507 14313459712 16752 18446744073709551615 4194304 4196468 140731414981472 139892257224912 139892713895835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29998] ppid=29984 vsize=13977988 memory=5784 CPUtime=0.11 cores=1,3,5,7
/proc/29987/task/29998/stat : 29998 (java) R 29984 29987 12395 0 -1 4202560 666 0 0 0 11 0 0 0 20 0 15 0 119075507 14313459712 16752 18446744073709551615 4194304 4196468 140731414981472 139892256172528 139892691442000 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29999] ppid=29984 vsize=13977988 memory=4612 CPUtime=0.08 cores=1,3,5,7
/proc/29987/task/29999/stat : 29999 (java) S 29984 29987 12395 0 -1 1077944384 572 0 0 0 8 0 0 0 20 0 15 0 119075507 14313459712 16752 18446744073709551615 4194304 4196468 140731414981472 139892255119984 139892713888386 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=30000] ppid=29984 vsize=13977988 memory=3472328279047811153 CPUtime=0.17 cores=1,3,5,7
/proc/29987/task/30000/stat : 30000 (java) S 29984 29987 12395 0 -1 1077944384 723 0 0 0 17 0 0 0 20 0 15 0 119075507 14313459712 16752 18446744073709551615 4194304 4196468 140731414981472 139892254067440 139892713888386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=30001] ppid=29984 vsize=13977988 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29987/task/30001/stat : 30001 (java) S 29984 29987 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119075507 14313459712 16778 18446744073709551615 4194304 4196468 140731414981472 139892185099360 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=30002] ppid=29984 vsize=13977988 memory=737 CPUtime=0 cores=1,3,5,7
/proc/29987/task/30002/stat : 30002 (java) S 29984 29987 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119075512 14313459712 16778 18446744073709551615 4194304 4196468 140731414981472 139892184045872 139892713888386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
Current children cumulated CPU time: 0.93 s
Current children cumulated vsize: 13977988 KiB
Current children cumulated memory: 67008 KiB

[startup+0.975502 s]
# the end of solver process 29987 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=1.45877 s, system=0.093577 s

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

[startup+0.800862 s]
/proc/loadavg: 1.29 1.41 1.57 4/217 30002
/proc/meminfo: memFree=28112812/32770624 swapFree=67108860/67108860
[pid=29987] ppid=29984 vsize=13980036 memory=77832 CPUtime=1.07 cores=1,3,5,7
/proc/29987/stat : 29987 (java) S 29984 29987 12395 0 -1 1077944320 14656 0 0 0 101 6 0 0 20 0 15 0 119075492 14315556864 19458 18446744073709551615 4194304 4196468 140731414981472 140731414964016 139892713877239 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
/proc/29987/statm: 3495009 19458 3733 1 0 3483783 0
[pid=29987/tid=29989] ppid=29984 vsize=13980036 memory=840 CPUtime=0.64 cores=1,3,5,7
/proc/29987/task/29989/stat : 29989 (java) R 29984 29987 12395 0 -1 4202560 11270 0 0 0 60 4 0 0 20 0 15 0 119075502 14315556864 19458 18446744073709551615 4194304 4196468 140731414981472 139892718102368 139892697957726 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29990] ppid=29984 vsize=13980036 memory=3904 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29990/stat : 29990 (java) S 29984 29987 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119075503 14315556864 19458 18446744073709551615 4194304 4196468 140731414981472 139892313561872 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29991] ppid=29984 vsize=13980036 memory=2752 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29991/stat : 29991 (java) S 29984 29987 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119075503 14315556864 19458 18446744073709551615 4194304 4196468 140731414981472 139892312509328 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29992] ppid=29984 vsize=13980036 memory=2988 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29992/stat : 29992 (java) S 29984 29987 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119075503 14315556864 19458 18446744073709551615 4194304 4196468 140731414981472 139892311456784 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29993] ppid=29984 vsize=13980036 memory=4064 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29993/stat : 29993 (java) S 29984 29987 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119075503 14315556864 19458 18446744073709551615 4194304 4196468 140731414981472 139892310404240 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29994] ppid=29984 vsize=13980036 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29994/stat : 29994 (java) S 29984 29987 12395 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 119075504 14315556864 19458 18446744073709551615 4194304 4196468 140731414981472 139892260382704 139892713888386 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29995] ppid=29984 vsize=13980036 memory=3036 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29995/stat : 29995 (java) S 29984 29987 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119075504 14315556864 19458 18446744073709551615 4194304 4196468 140731414981472 139892259328928 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29996] ppid=29984 vsize=13980036 memory=2780528 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29996/stat : 29996 (java) S 29984 29987 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119075505 14315556864 19458 18446744073709551615 4194304 4196468 140731414981472 139892258276336 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29997] ppid=29984 vsize=13980036 memory=4124 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29997/stat : 29997 (java) S 29984 29987 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119075507 14315556864 19458 18446744073709551615 4194304 4196468 140731414981472 139892257224912 139892713895835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29998] ppid=29984 vsize=13980036 memory=7373911459310753156 CPUtime=0.12 cores=1,3,5,7
/proc/29987/task/29998/stat : 29998 (java) S 29984 29987 12395 0 -1 1077944384 684 0 0 0 12 0 0 0 20 0 15 0 119075507 14315556864 19458 18446744073709551615 4194304 4196468 140731414981472 139892256172528 139892713888386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29999] ppid=29984 vsize=13980036 memory=6082510863566401126 CPUtime=0.1 cores=1,3,5,7
/proc/29987/task/29999/stat : 29999 (java) S 29984 29987 12395 0 -1 1077944384 575 0 0 0 10 0 0 0 20 0 15 0 119075507 14315556864 19458 18446744073709551615 4194304 4196468 140731414981472 139892255119984 139892713888386 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=30000] ppid=29984 vsize=13980036 memory=7737869612634821477 CPUtime=0.18 cores=1,3,5,7
/proc/29987/task/30000/stat : 30000 (java) S 29984 29987 12395 0 -1 1077944384 744 0 0 0 18 0 0 0 20 0 15 0 119075507 14315556864 19458 18446744073709551615 4194304 4196468 140731414981472 139892254067440 139892713888386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=30001] ppid=29984 vsize=13980036 memory=5787213857196369745 CPUtime=0 cores=1,3,5,7
/proc/29987/task/30001/stat : 30001 (java) S 29984 29987 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119075507 14315556864 19458 18446744073709551615 4194304 4196468 140731414981472 139892185099360 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=30002] ppid=29984 vsize=13980036 memory=56464 CPUtime=0 cores=1,3,5,7
/proc/29987/task/30002/stat : 30002 (java) S 29984 29987 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119075512 14315556864 19458 18446744073709551615 4194304 4196468 140731414981472 139892184045872 139892713888386 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
Current children cumulated CPU time: 1.07 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 77832 KiB

[startup+0.900903 s]
/proc/loadavg: 1.29 1.41 1.57 4/217 30002
/proc/meminfo: memFree=28112812/32770624 swapFree=67108860/67108860
[pid=29987] ppid=29984 vsize=13980036 memory=90536 CPUtime=1.33 cores=1,3,5,7
/proc/29987/stat : 29987 (java) S 29984 29987 12395 0 -1 1077944320 17835 0 0 0 126 7 0 0 20 0 15 0 119075492 14315556864 22634 18446744073709551615 4194304 4196468 140731414981472 140731414964016 139892713877239 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 9 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
/proc/29987/statm: 3495009 22634 3740 1 0 3483783 0
[pid=29987/tid=29989] ppid=29984 vsize=13980036 memory=12132 CPUtime=0.73 cores=1,3,5,7
/proc/29987/task/29989/stat : 29989 (java) R 29984 29987 12395 0 -1 4202560 13047 0 0 0 68 5 0 0 20 0 15 0 119075502 14315556864 22634 18446744073709551615 4194304 4196468 140731414981472 139892718114496 139892339234689 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29990] ppid=29984 vsize=13980036 memory=796 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29990/stat : 29990 (java) S 29984 29987 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119075503 14315556864 22634 18446744073709551615 4194304 4196468 140731414981472 139892313561872 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29991] ppid=29984 vsize=13980036 memory=5784 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29991/stat : 29991 (java) S 29984 29987 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119075503 14315556864 22634 18446744073709551615 4194304 4196468 140731414981472 139892312509328 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29992] ppid=29984 vsize=13980036 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29992/stat : 29992 (java) S 29984 29987 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119075503 14315556864 22634 18446744073709551615 4194304 4196468 140731414981472 139892311456784 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29993] ppid=29984 vsize=13980036 memory=3472328279047811153 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29993/stat : 29993 (java) S 29984 29987 12395 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 119075503 14315556864 22634 18446744073709551615 4194304 4196468 140731414981472 139892310404240 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29994] ppid=29984 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29994/stat : 29994 (java) S 29984 29987 12395 0 -1 1077944384 6 0 0 0 0 0 0 0 20 0 15 0 119075504 14315556864 22634 18446744073709551615 4194304 4196468 140731414981472 139892260382704 139892713888386 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29995] ppid=29984 vsize=13980036 memory=737 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29995/stat : 29995 (java) S 29984 29987 12395 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 119075504 14315556864 22634 18446744073709551615 4194304 4196468 140731414981472 139892259328928 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29996] ppid=29984 vsize=13980036 memory=16797617098206 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29996/stat : 29996 (java) S 29984 29987 12395 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 119075505 14315556864 22634 18446744073709551615 4194304 4196468 140731414981472 139892258276336 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29997] ppid=29984 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29987/task/29997/stat : 29997 (java) S 29984 29987 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119075507 14315556864 22634 18446744073709551615 4194304 4196468 140731414981472 139892257224912 139892713895835 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29998] ppid=29984 vsize=13980036 memory=0 CPUtime=0.16 cores=1,3,5,7
/proc/29987/task/29998/stat : 29998 (java) R 29984 29987 12395 0 -1 4202560 1006 0 0 0 16 0 0 0 20 0 15 0 119075507 14315556864 22634 18446744073709551615 4194304 4196468 140731414981472 139892256158200 139892697773251 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=29999] ppid=29984 vsize=13980036 memory=0 CPUtime=0.14 cores=1,3,5,7
/proc/29987/task/29999/stat : 29999 (java) R 29984 29987 12395 0 -1 4202560 1033 0 0 0 14 0 0 0 20 0 15 0 119075507 14315556864 22634 18446744073709551615 4194304 4196468 140731414981472 139892255106952 139892699899506 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=30000] ppid=29984 vsize=13980036 memory=0 CPUtime=0.26 cores=1,3,5,7
/proc/29987/task/30000/stat : 30000 (java) D 29984 29987 12395 0 -1 4202560 1383 0 0 0 26 0 0 0 20 0 15 0 119075507 14315556864 22634 18446744073709551615 4194304 4196468 140731414981472 139892254062328 139892706594391 0 4 1 16800974 18446744071582151463 0 0 -1 1 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=30001] ppid=29984 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29987/task/30001/stat : 30001 (java) S 29984 29987 12395 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 119075507 14315556864 22634 18446744073709551615 4194304 4196468 140731414981472 139892185099360 139892713887445 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
[pid=29987/tid=30002] ppid=29984 vsize=13980036 memory=0 CPUtime=0 cores=1,3,5,7
/proc/29987/task/30002/stat : 30002 (java) S 29984 29987 12395 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 119075512 14315556864 22634 18446744073709551615 4194304 4196468 140731414981472 139892184045872 139892713888386 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7004160 140731414987123 140731414987305 140731414987305 140731414990799 0
Current children cumulated CPU time: 1.33 s
Current children cumulated vsize: 13980036 KiB
Current children cumulated memory: 90536 KiB

Child status: 0
Real time (s): 0.975543
CPU time (s): 1.55235
CPU user time (s): 1.45877
CPU system time (s): 0.093577
CPU usage (%): 159.126
Max. virtual memory (cumulated for all children) (KiB): 13980036
Max. memory (cumulated for all children) (KiB): 90536

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.45877
system time used= 0.093577
maximum resident set size= 112144
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21052
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1866
involuntary context switches= 5


# summary of solver processes directly reported to runsolver:
#   pid: 29987
#   total CPU time (s): 1.55235
#   total CPU user time (s): 1.45877
#   total CPU system time (s): 0.093577

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.024088 second user time and 0.054198 second system time

The end

Launcher Data 

Begin job on node135 at 2017-08-15 06:20:08
IDJOB=4274555
IDBENCH=122951
IDSOLVER=2667
FILE ID=node135/4274555-1502771640
RUNJOBID= node135-1502658244-13745
PBS_JOBID= 
Free space on /tmp= 61988 MiB

SOLVER NAME= OscaR - Hybrid 2017-07-26
BENCH NAME= XCSP17/Opd/Opd-sum-large/Opd-03-035-010.xml
COMMAND LINE= java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed RANDOMSEED --timelimit TIMELIMIT --memlimit 11000 --nbcore NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4274555-1502771640/watcher-4274555-1502771640 -o /tmp/evaluation-result-4274555-1502771640/solver-4274555-1502771640 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1502658244-13745 --watchdog 2580  java -Xmx11000m -jar oscar-cp-xcsp3-hybrid.jar --randomseed 872675854 --timelimit 2520 --memlimit 11000 --nbcore 4 HOME/instance-4274555-1502771640.xml

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

MD5SUM BENCH= fae8403920cd33ebcdf1b903a2143a11
RANDOM SEED=872675854

node135.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.21
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.21
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.21
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.21
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:        28149492 kB
MemAvailable:   29187444 kB
Buffers:          323436 kB
Cached:          1009712 kB
SwapCached:            0 kB
Active:          3579420 kB
Inactive:         582436 kB
Active(anon):    2829204 kB
Inactive(anon):    41324 kB
Active(file):     750216 kB
Inactive(file):   541112 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             42424 kB
Writeback:             4 kB
AnonPages:       2833200 kB
Mapped:            74528 kB
Shmem:             41656 kB
Slab:             153500 kB
SReclaimable:     124920 kB
SUnreclaim:        28580 kB
KernelStack:        3536 kB
PageTables:        11328 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3670532 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2703360 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 61948 MiB
End job on node135 at 2017-08-15 06:20:09