Trace number 3705584

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
wbo 1.7? 1800.06 1800.02

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_10null0mast_rapportOE1.0_TMAX60_K192_cod2.opb
MD5SUM3b8362af58c9130644833689fa0f2100
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark0
Best CPU time to get the best result obtained on this benchmark1783.1
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables400896
Total number of constraints402763
Number of constraints which are clauses400785
Number of constraints which are cardinality constraints (but not clauses)194
Number of constraints which are nor clauses,nor cardinality constraints1784
Minimum length of a constraint2
Maximum length of a constraint58023
Number of terms in the objective function 1605
Biggest coefficient in the objective function 256
Number of bits for the biggest coefficient in the objective function 9
Sum of the numbers in the objective function 6694
Number of bits of the sum of numbers in the objective function 13
Biggest number in a constraint 256
Number of bits of the biggest number in a constraint 9
Biggest sum of numbers in a constraint 62779
Number of bits of the biggest sum of numbers16
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c ==============================[ Solver Version ]===============================
0.00/0.00	c |                                                                             |
0.00/0.00	c |   wbo:                    1.7 beta - March, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3705584-1338164696.opb.
0.00/0.00	c Instance file HOME/instance-3705584-1338164696.opb
0.00/0.00	c File size is 28232497 bytes.
2.99/3.06	c Cost Offset: -6694
2.99/3.06	c Highest Coefficient sum: 62779
2.99/3.06	c ============================[ Problem Statistics ]=============================
2.99/3.06	c |                                                                             |
2.99/3.06	c |  Parsing time:          3.06         s                                      |
2.99/3.06	c |  Number Variables:      400896                                              |
2.99/3.06	c |  Number Clauses:        400785                                              |
2.99/3.06	c |  Number Cardinality:    1977                                                |
2.99/3.06	c |  Number PB Constraints: 1                                                   |
2.99/3.06	c |                                                                             |
3.29/3.36	c |  Problem Type:          Optimization                                        |
3.29/3.36	c |  Objective Function:    PB Constraint                                       |
3.29/3.36	c |                                                                             |
3.29/3.36	c ============================[ Search Statistics ]==============================
3.29/3.36	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
3.29/3.36	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
3.29/3.36	c ===============================================================================
3.89/3.90	c | 3.90      | 0  | -6693        lb |  0                0                0.00  |
4.29/4.39	c | 4.39      | 0  | -6692        lb |  0                0                0.00  |
4.79/4.83	c | 4.83      | 0  | -6690        lb |  0                0                0.00  |
5.19/5.27	c | 5.27      | 0  | -6686        lb |  0                0                0.00  |
5.69/5.72	c | 5.72      | 0  | -6678        lb |  0                0                0.00  |
6.08/6.17	c | 6.17      | 0  | -6662        lb |  0                0                0.00  |
6.79/6.80	c | 6.80      | 0  | -6661        lb |  0                0                0.00  |
8.18/8.22	c | 8.22      | 0  | -6660        lb |  0                0                0.00  |
9.59/9.61	c | 9.61      | 0  | -6659        lb |  0                0                0.00  |
11.00/11.09	c | 11.09     | 0  | -6658        lb |  0                0                0.00  |
12.58/12.60	c | 12.60     | 0  | -6654        lb |  0                0                0.00  |
13.98/14.08	c | 14.08     | 0  | -6653        lb |  0                0                0.00  |
19.28/19.32	c | 19.32     | 0  | -6652        lb |  0                0                0.00  |
28.59/28.67	c | 28.68     | 0  | -6651        lb |  0                0                0.00  |
31.38/31.44	c | 31.44     | 0  | -6650        lb |  0                0                0.00  |
38.68/38.74	c | 38.74     | 0  | -6649        lb |  0                0                0.00  |
40.18/40.26	c | 40.26     | 0  | -6648        lb |  0                0                0.00  |
47.08/47.16	c | 47.17     | 0  | -6647        lb |  0                0                0.00  |
53.07/53.10	c | 53.10     | 0  | -6646        lb |  0                0                0.00  |
58.78/58.84	c | 58.84     | 0  | -6645        lb |  0                0                0.00  |
67.28/67.38	c | 67.38     | 0  | -6644        lb |  0                0                0.00  |
73.58/73.60	c | 73.61     | 0  | -6643        lb |  0                0                0.00  |
81.47/81.58	c | 81.59     | 0  | -6642        lb |  0                0                0.00  |
88.17/88.29	c | 88.29     | 0  | -6641        lb |  0                0                0.00  |
95.07/95.12	c | 95.12     | 0  | -6640        lb |  0                0                0.00  |
102.28/102.35	c | 102.35    | 0  | -6639        lb |  0                0                0.00  |
115.16/115.27	c | 115.27    | 0  | -6638        lb |  0                0                0.00  |
122.56/122.62	c | 122.62    | 0  | -6637        lb |  0                0                0.00  |
138.17/138.27	c | 138.27    | 0  | -6636        lb |  0                0                0.00  |
144.66/144.72	c | 144.72    | 0  | -6635        lb |  0                0                0.00  |
164.16/164.23	c | 164.23    | 0  | -6634        lb |  0                0                0.00  |
170.95/171.01	c | 171.01    | 0  | -6633        lb |  0                0                0.00  |
179.65/179.71	c | 179.71    | 0  | -6632        lb |  0                0                0.00  |
188.86/188.94	c | 188.95    | 0  | -6631        lb |  0                0                0.00  |
198.85/198.98	c | 198.99    | 0  | -6630        lb |  0                0                0.00  |
206.15/206.24	c | 206.24    | 0  | -6629        lb |  0                0                0.00  |
207.85/207.91	c | 207.92    | 0  | -6628        lb |  0                0                0.00  |
211.24/211.31	c | 211.31    | 0  | -6627        lb |  0                0                0.00  |
213.84/213.99	c | 213.99    | 0  | -6626        lb |  0                0                0.00  |
217.44/217.57	c | 217.57    | 0  | -6625        lb |  0                0                0.00  |
223.44/223.50	c | 223.50    | 0  | -6624        lb |  0                0                0.00  |
244.93/245.08	c | 245.08    | 0  | -6623        lb |  0                0                0.00  |
252.43/252.57	c | 252.57    | 0  | -6622        lb |  0                0                0.00  |
253.62/253.79	c | 253.80    | 0  | -6621        lb |  0                0                0.00  |
257.83/257.98	c | 257.98    | 0  | -6620        lb |  0                0                0.00  |
260.33/260.44	c | 260.45    | 0  | -6619        lb |  0                0                0.00  |
267.93/268.07	c | 268.08    | 0  | -6618        lb |  0                0                0.00  |
275.63/275.77	c | 275.77    | 0  | -6617        lb |  0                0                0.00  |
287.51/287.67	c | 287.67    | 0  | -6616        lb |  0                0                0.00  |
311.91/312.01	c | 312.01    | 0  | -6615        lb |  0                0                0.00  |
324.51/324.66	c | 324.66    | 0  | -6614        lb |  0                0                0.00  |
346.50/346.61	c | 346.62    | 0  | -6613        lb |  0                0                0.00  |
358.80/358.99	c | 358.99    | 0  | -6612        lb |  0                0                0.00  |
361.99/362.11	c | 362.11    | 0  | -6611        lb |  0                0                0.00  |
482.88/483.00	c | 483.00    | 0  | -6610        lb |  0                0                0.00  |
500.58/500.75	c | 500.75    | 0  | -6609        lb |  0                0                0.00  |
1272.66/1272.99	c | 1272.99   | 0  | -6608        lb |  0                0                0.00  |
1320.25/1320.53	c | 1320.53   | 0  | -6607        lb |  0                0                0.00  |
1799.68/1800.00	c ===============================================================================
1799.68/1800.00	c Wall Clock Time: 1800.01 s
1799.68/1800.00	s UNKNOWN

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3705584-1338164696/watcher-3705584-1338164696 -o /tmp/evaluation-result-3705584-1338164696/solver-3705584-1338164696 -C 1800 -W 1900 -M 15500 wbo1.7 -file-format=opb HOME/instance-3705584-1338164696.opb 

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

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


[startup+0 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 15656
/proc/meminfo: memFree=29029640/32873844 swapFree=7108/7108
[pid=15656] ppid=15654 vsize=31820 CPUtime=0 cores=1,3,5,7
/proc/15656/stat : 15656 (wbo1.7) R 15654 15656 15230 0 -1 4202496 576 0 0 0 0 0 0 0 20 0 1 0 282598284 32583680 528 33554432000 4194304 5963574 140733372773408 140734425970616 4394942 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/15656/statm: 7955 530 173 432 0 627 0

[startup+0.049473 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 15656
/proc/meminfo: memFree=29029640/32873844 swapFree=7108/7108
[pid=15656] ppid=15654 vsize=37848 CPUtime=0.04 cores=1,3,5,7
/proc/15656/stat : 15656 (wbo1.7) R 15654 15656 15230 0 -1 4202496 2050 0 0 0 4 0 0 0 20 0 1 0 282598284 38756352 2002 33554432000 4194304 5963574 140733372773408 140734425970616 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/15656/statm: 9462 2002 323 432 0 2134 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 37848

[startup+0.100332 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 15656
/proc/meminfo: memFree=29029640/32873844 swapFree=7108/7108
[pid=15656] ppid=15654 vsize=42376 CPUtime=0.09 cores=1,3,5,7
/proc/15656/stat : 15656 (wbo1.7) R 15654 15656 15230 0 -1 4202496 3387 0 0 0 9 0 0 0 20 0 1 0 282598284 43393024 3225 33554432000 4194304 5963574 140733372773408 140734425970616 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/15656/statm: 10594 3225 489 432 0 3266 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42376

[startup+0.300301 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 15656
/proc/meminfo: memFree=29029640/32873844 swapFree=7108/7108
[pid=15656] ppid=15654 vsize=53536 CPUtime=0.29 cores=1,3,5,7
/proc/15656/stat : 15656 (wbo1.7) R 15654 15656 15230 0 -1 4202496 6997 0 0 0 28 1 0 0 20 0 1 0 282598284 54820864 6698 33554432000 4194304 5963574 140733372773408 140734425970616 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/15656/statm: 13384 6698 1078 432 0 6056 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53536

[startup+0.700293 s]
/proc/loadavg: 2.05 2.01 2.00 3/177 15656
/proc/meminfo: memFree=29029640/32873844 swapFree=7108/7108
[pid=15656] ppid=15654 vsize=86132 CPUtime=0.69 cores=1,3,5,7
/proc/15656/stat : 15656 (wbo1.7) R 15654 15656 15230 0 -1 4202496 16054 0 0 0 65 4 0 0 20 0 1 0 282598284 88199168 15097 33554432000 4194304 5963574 140733372773408 140734425970616 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/15656/statm: 21533 15097 2233 432 0 14205 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 86132

[startup+1.50025 s]
/proc/loadavg: 2.05 2.01 2.00 3/178 15657
/proc/meminfo: memFree=28975428/32873844 swapFree=7108/7108
[pid=15656] ppid=15654 vsize=135068 CPUtime=1.49 cores=1,3,5,7
/proc/15656/stat : 15656 (wbo1.7) R 15654 15656 15230 0 -1 4202496 29974 0 0 0 142 7 0 0 20 0 1 0 282598284 138309632 28984 33554432000 4194304 5963574 140733372773408 140733372771752 5135642 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/15656/statm: 33767 28985 4011 432 0 26439 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 135068

[startup+3.1002 s]
/proc/loadavg: 2.05 2.01 2.00 3/172 15686
/proc/meminfo: memFree=30895396/32873844 swapFree=7108/7108
[pid=15656] ppid=15654 vsize=293128 CPUtime=3.09 cores=1,3,5,7
/proc/15656/stat : 15656 (wbo1.7) S 15654 15656 15230 0 -1 4202496 53738 0 0 0 297 12 0 0 20 0 2 0 282598284 300163072 48861 33554432000 4194304 5963574 140733372773408 140733372772928 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15656/statm: 73282 48861 177 432 0 72847 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 293128

[startup+6.30039 s]
/proc/loadavg: 2.13 2.03 2.01 3/179 15697
/proc/meminfo: memFree=30254772/32873844 swapFree=7108/7108
[pid=15656] ppid=15654 vsize=565648 CPUtime=6.29 cores=1,3,5,7
/proc/15656/stat : 15656 (wbo1.7) S 15654 15656 15230 0 -1 4202496 113931 0 0 0 602 27 0 0 20 0 2 0 282598284 579223552 126052 33554432000 4194304 5963574 140733372773408 140733372772928 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15656/statm: 141412 126052 194 432 0 140977 0
[pid=15656/tid=15696] ppid=15654 vsize=565648 CPUtime=3.22 cores=1,3,5,7
/proc/15656/task/15696/stat : 15696 (wbo1.7) R 15654 15656 15230 0 -1 4202560 66428 0 0 0 305 17 0 0 20 0 2 0 282598590 579223552 126052 33554432000 4194304 5963574 140733372773408 139925791344984 4418654 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 565648

[startup+12.7004 s]
/proc/loadavg: 2.12 2.03 2.01 3/179 15697
/proc/meminfo: memFree=29992320/32873844 swapFree=7108/7108
[pid=15656] ppid=15654 vsize=631184 CPUtime=12.68 cores=1,3,5,7
/proc/15656/stat : 15656 (wbo1.7) S 15654 15656 15230 0 -1 4202496 114839 0 0 0 1240 28 0 0 20 0 2 0 282598284 646332416 133752 33554432000 4194304 5963574 140733372773408 140733372772928 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15656/statm: 157796 133752 197 432 0 157361 0
[pid=15656/tid=15696] ppid=15654 vsize=631184 CPUtime=9.62 cores=1,3,5,7
/proc/15656/task/15696/stat : 15696 (wbo1.7) R 15654 15656 15230 0 -1 4202560 67336 0 0 0 944 18 0 0 20 0 2 0 282598590 646332416 133752 33554432000 4194304 5963574 140733372773408 139925791344936 5130053 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 631184

[startup+25.5003 s]
/proc/loadavg: 2.09 2.03 2.01 3/178 15697
/proc/meminfo: memFree=29996940/32873844 swapFree=7108/7108
[pid=15656] ppid=15654 vsize=631184 CPUtime=25.48 cores=1,3,5,7
/proc/15656/stat : 15656 (wbo1.7) S 15654 15656 15230 0 -1 4202496 116835 0 0 0 2519 29 0 0 20 0 2 0 282598284 646332416 132215 33554432000 4194304 5963574 140733372773408 140733372772928 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15656/statm: 157796 132215 197 432 0 157361 0
[pid=15656/tid=15696] ppid=15654 vsize=631184 CPUtime=22.42 cores=1,3,5,7
/proc/15656/task/15696/stat : 15696 (wbo1.7) R 15654 15656 15230 0 -1 4202560 69332 0 0 0 2223 19 0 0 20 0 2 0 282598590 646332416 132215 33554432000 4194304 5963574 140733372773408 139925791344936 4392521 0 0 4096 16387 0 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 631184

[startup+51.1004 s]
/proc/loadavg: 2.06 2.03 2.00 3/178 15697
/proc/meminfo: memFree=29933544/32873844 swapFree=7108/7108
[pid=15656] ppid=15654 vsize=631184 CPUtime=51.07 cores=1,3,5,7
/proc/15656/stat : 15656 (wbo1.7) S 15654 15656 15230 0 -1 4202496 118450 0 0 0 5077 30 0 0 20 0 2 0 282598284 646332416 134004 33554432000 4194304 5963574 140733372773408 140733372772928 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15656/statm: 157796 134004 197 432 0 157361 0
[pid=15656/tid=15696] ppid=15654 vsize=631184 CPUtime=48.02 cores=1,3,5,7
/proc/15656/task/15696/stat : 15696 (wbo1.7) R 15654 15656 15230 0 -1 4202560 70947 0 0 0 4782 20 0 0 20 0 2 0 282598590 646332416 134004 33554432000 4194304 5963574 140733372773408 139925791345176 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 631184

[startup+102.307 s]
/proc/loadavg: 2.08 2.03 2.00 3/179 15698
/proc/meminfo: memFree=29923996/32873844 swapFree=7108/7108
[pid=15656] ppid=15654 vsize=631184 CPUtime=102.28 cores=1,3,5,7
/proc/15656/stat : 15656 (wbo1.7) S 15654 15656 15230 0 -1 4202496 121307 0 0 0 10196 32 0 0 20 0 2 0 282598284 646332416 136516 33554432000 4194304 5963574 140733372773408 140733372772928 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15656/statm: 157796 136516 197 432 0 157361 0
[pid=15656/tid=15696] ppid=15654 vsize=631184 CPUtime=99.23 cores=1,3,5,7
/proc/15656/task/15696/stat : 15696 (wbo1.7) R 15654 15656 15230 0 -1 4202560 73804 0 0 0 9900 23 0 0 20 0 2 0 282598590 646332416 136516 33554432000 4194304 5963574 140733372773408 139925791345480 4403073 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 631184

[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/179 15699
/proc/meminfo: memFree=29911324/32873844 swapFree=7108/7108
[pid=15656] ppid=15654 vsize=631184 CPUtime=162.26 cores=1,3,5,7
/proc/15656/stat : 15656 (wbo1.7) S 15654 15656 15230 0 -1 4202496 121924 0 0 0 16193 33 0 0 20 0 2 0 282598284 646332416 139663 33554432000 4194304 5963574 140733372773408 140733372772928 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15656/statm: 157796 139663 197 432 0 157361 0
[pid=15656/tid=15696] ppid=15654 vsize=631184 CPUtime=159.22 cores=1,3,5,7
/proc/15656/task/15696/stat : 15696 (wbo1.7) R 15654 15656 15230 0 -1 4202560 74421 0 0 0 15897 25 0 0 20 0 2 0 282598590 646332416 139663 33554432000 4194304 5963574 140733372773408 139925791345480 4402879 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 631184

[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 15699
/proc/meminfo: memFree=29934604/32873844 swapFree=7108/7108
[pid=15656] ppid=15654 vsize=647708 CPUtime=222.24 cores=1,3,5,7
/proc/15656/stat : 15656 (wbo1.7) S 15654 15656 15230 0 -1 4202496 125929 0 0 0 22188 36 0 0 20 0 2 0 282598284 663252992 140876 33554432000 4194304 5963574 140733372773408 140733372772928 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15656/statm: 161927 140876 197 432 0 161492 0
[pid=15656/tid=15696] ppid=15654 vsize=647708 CPUtime=219.21 cores=1,3,5,7
/proc/15656/task/15696/stat : 15696 (wbo1.7) R 15654 15656 15230 0 -1 4202560 78426 0 0 0 21892 29 0 0 20 0 2 0 282598590 663252992 140876 33554432000 4194304 5963574 140733372773408 139925791345480 4400245 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 647708

[startup+282.3 s]
/proc/loadavg: 2.06 2.03 2.00 3/179 15699
/proc/meminfo: memFree=29874912/32873844 swapFree=7108/7108
[pid=15656] ppid=15654 vsize=713244 CPUtime=282.21 cores=1,3,5,7
/proc/15656/stat : 15656 (wbo1.7) S 15654 15656 15230 0 -1 4202496 132498 0 0 0 28183 38 0 0 20 0 2 0 282598284 730361856 155891 33554432000 4194304 5963574 140733372773408 140733372772928 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15656/statm: 178311 155891 197 432 0 177876 0
[pid=15656/tid=15696] ppid=15654 vsize=713244 CPUtime=279.2 cores=1,3,5,7
/proc/15656/task/15696/stat : 15696 (wbo1.7) R 15654 15656 15230 0 -1 4202560 84995 0 0 0 27887 33 0 0 20 0 2 0 282598590 730361856 155891 33554432000 4194304 5963574 140733372773408 139925791345176 4392454 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.21
Current children cumulated vsize (KiB) 713244

[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/180 15702
/proc/meminfo: memFree=29862408/32873844 swapFree=7108/7108
[pid=15656] ppid=15654 vsize=713244 CPUtime=342.2 cores=1,3,5,7
/proc/15656/stat : 15656 (wbo1.7) S 15654 15656 15230 0 -1 4202496 133954 0 0 0 34181 39 0 0 20 0 2 0 282598284 730361856 158994 33554432000 4194304 5963574 140733372773408 140733372772928 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15656/statm: 178311 158994 197 432 0 177876 0
[pid=15656/tid=15696] ppid=15654 vsize=713244 CPUtime=339.2 cores=1,3,5,7
/proc/15656/task/15696/stat : 15696 (wbo1.7) R 15654 15656 15230 0 -1 4202560 86451 0 0 0 33886 34 0 0 20 0 2 0 282598590 730361856 158994 33554432000 4194304 5963574 140733372773408 139925791344984 4388386 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 713244

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/179 15702
/proc/meminfo: memFree=29871732/32873844 swapFree=7108/7108
[pid=15656] ppid=15654 vsize=713244 CPUtime=402.2 cores=1,3,5,7
/proc/15656/stat : 15656 (wbo1.7) S 15654 15656 15230 0 -1 4202496 134887 0 0 0 40180 40 0 0 20 0 2 0 282598284 730361856 156012 33554432000 4194304 5963574 140733372773408 140733372772928 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15656/statm: 178311 156012 197 432 0 177876 0
[pid=15656/tid=15696] ppid=15654 vsize=713244 CPUtime=399.2 cores=1,3,5,7
/proc/15656/task/15696/stat : 15696 (wbo1.7) R 15654 15656 15230 0 -1 4202560 87384 0 0 0 39884 36 0 0 20 0 2 0 282598590 730361856 156012 33554432000 4194304 5963574 140733372773408 139925791345480 4399390 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 713244

[startup+462.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/179 15703
/proc/meminfo: memFree=29724576/32873844 swapFree=7108/7108
[pid=15656] ppid=15654 vsize=713244 CPUtime=462.19 cores=1,3,5,7
/proc/15656/stat : 15656 (wbo1.7) S 15654 15656 15230 0 -1 4202496 134887 0 0 0 46179 40 0 0 20 0 2 0 282598284 730361856 156012 33554432000 4194304 5963574 140733372773408 140733372772928 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15656/statm: 178311 156012 197 432 0 177876 0
[pid=15656/tid=15696] ppid=15654 vsize=713244 CPUtime=459.2 cores=1,3,5,7
/proc/15656/task/15696/stat : 15696 (wbo1.7) R 15654 15656 15230 0 -1 4202560 87384 0 0 0 45884 36 0 0 20 0 2 0 282598590 730361856 156012 33554432000 4194304 5963574 140733372773408 139925791345480 4392454 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0

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

/proc/15656/task/15696/stat : 15696 (wbo1.7) R 15654 15656 15230 0 -1 4202560 101284 0 0 0 129873 52 0 0 20 0 2 0 282598590 864579584 183002 33554432000 4194304 5963574 140733372773408 139925791344968 4399564 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 844316

[startup+1362.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 15708
/proc/meminfo: memFree=29366068/32873844 swapFree=7108/7108
[pid=15656] ppid=15654 vsize=844316 CPUtime=1362.04 cores=1,3,5,7
/proc/15656/stat : 15656 (wbo1.7) S 15654 15656 15230 0 -1 4202496 148787 0 0 0 136161 43 0 0 20 0 2 0 282598284 864579584 183002 33554432000 4194304 5963574 140733372773408 140733372772928 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15656/statm: 211079 183002 197 432 0 210644 0
[pid=15656/tid=15696] ppid=15654 vsize=844316 CPUtime=1359.24 cores=1,3,5,7
/proc/15656/task/15696/stat : 15696 (wbo1.7) R 15654 15656 15230 0 -1 4202560 101284 0 0 0 135871 53 0 0 20 0 2 0 282598590 864579584 183002 33554432000 4194304 5963574 140733372773408 139925791345176 4402879 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 844316

[startup+1422.31 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 15709
/proc/meminfo: memFree=29327368/32873844 swapFree=7108/7108
[pid=15656] ppid=15654 vsize=844316 CPUtime=1422.04 cores=1,3,5,7
/proc/15656/stat : 15656 (wbo1.7) S 15654 15656 15230 0 -1 4202496 148787 0 0 0 142161 43 0 0 20 0 2 0 282598284 864579584 183002 33554432000 4194304 5963574 140733372773408 140733372772928 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15656/statm: 211079 183002 197 432 0 210644 0
[pid=15656/tid=15696] ppid=15654 vsize=844316 CPUtime=1419.25 cores=1,3,5,7
/proc/15656/task/15696/stat : 15696 (wbo1.7) R 15654 15656 15230 0 -1 4202560 101284 0 0 0 141871 54 0 0 20 0 2 0 282598590 864579584 183002 33554432000 4194304 5963574 140733372773408 139925791345176 4399363 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 844316

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15709
/proc/meminfo: memFree=29298972/32873844 swapFree=7108/7108
[pid=15656] ppid=15654 vsize=844316 CPUtime=1482.02 cores=1,3,5,7
/proc/15656/stat : 15656 (wbo1.7) S 15654 15656 15230 0 -1 4202496 148787 0 0 0 148159 43 0 0 20 0 2 0 282598284 864579584 183002 33554432000 4194304 5963574 140733372773408 140733372772928 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15656/statm: 211079 183002 197 432 0 210644 0
[pid=15656/tid=15696] ppid=15654 vsize=844316 CPUtime=1479.25 cores=1,3,5,7
/proc/15656/task/15696/stat : 15696 (wbo1.7) R 15654 15656 15230 0 -1 4202560 101284 0 0 0 147870 55 0 0 20 0 2 0 282598590 864579584 183002 33554432000 4194304 5963574 140733372773408 139925791345176 4392454 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 844316

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 15712
/proc/meminfo: memFree=29271744/32873844 swapFree=7108/7108
[pid=15656] ppid=15654 vsize=844316 CPUtime=1542.02 cores=1,3,5,7
/proc/15656/stat : 15656 (wbo1.7) S 15654 15656 15230 0 -1 4202496 148787 0 0 0 154159 43 0 0 20 0 2 0 282598284 864579584 183002 33554432000 4194304 5963574 140733372773408 140733372772928 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15656/statm: 211079 183002 197 432 0 210644 0
[pid=15656/tid=15696] ppid=15654 vsize=844316 CPUtime=1539.25 cores=1,3,5,7
/proc/15656/task/15696/stat : 15696 (wbo1.7) R 15654 15656 15230 0 -1 4202560 101284 0 0 0 153869 56 0 0 20 0 2 0 282598590 864579584 183002 33554432000 4194304 5963574 140733372773408 139925791345176 4402868 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 844316

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15712
/proc/meminfo: memFree=29251292/32873844 swapFree=7108/7108
[pid=15656] ppid=15654 vsize=844316 CPUtime=1602.01 cores=1,3,5,7
/proc/15656/stat : 15656 (wbo1.7) S 15654 15656 15230 0 -1 4202496 148787 0 0 0 160158 43 0 0 20 0 2 0 282598284 864579584 183002 33554432000 4194304 5963574 140733372773408 140733372772928 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15656/statm: 211079 183002 197 432 0 210644 0
[pid=15656/tid=15696] ppid=15654 vsize=844316 CPUtime=1599.25 cores=1,3,5,7
/proc/15656/task/15696/stat : 15696 (wbo1.7) R 15654 15656 15230 0 -1 4202560 101284 0 0 0 159868 57 0 0 20 0 2 0 282598590 864579584 183002 33554432000 4194304 5963574 140733372773408 139925791345176 4402879 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 844316

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15712
/proc/meminfo: memFree=29225872/32873844 swapFree=7108/7108
[pid=15656] ppid=15654 vsize=844316 CPUtime=1662 cores=1,3,5,7
/proc/15656/stat : 15656 (wbo1.7) S 15654 15656 15230 0 -1 4202496 148787 0 0 0 166157 43 0 0 20 0 2 0 282598284 864579584 183002 33554432000 4194304 5963574 140733372773408 140733372772928 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15656/statm: 211079 183002 197 432 0 210644 0
[pid=15656/tid=15696] ppid=15654 vsize=844316 CPUtime=1659.26 cores=1,3,5,7
/proc/15656/task/15696/stat : 15696 (wbo1.7) R 15654 15656 15230 0 -1 4202560 101284 0 0 0 165868 58 0 0 20 0 2 0 282598590 864579584 183002 33554432000 4194304 5963574 140733372773408 139925791345176 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 844316

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 15713
/proc/meminfo: memFree=29193260/32873844 swapFree=7108/7108
[pid=15656] ppid=15654 vsize=844316 CPUtime=1721.99 cores=1,3,5,7
/proc/15656/stat : 15656 (wbo1.7) S 15654 15656 15230 0 -1 4202496 148787 0 0 0 172156 43 0 0 20 0 2 0 282598284 864579584 183002 33554432000 4194304 5963574 140733372773408 140733372772928 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15656/statm: 211079 183002 197 432 0 210644 0
[pid=15656/tid=15696] ppid=15654 vsize=844316 CPUtime=1719.26 cores=1,3,5,7
/proc/15656/task/15696/stat : 15696 (wbo1.7) R 15654 15656 15230 0 -1 4202560 101284 0 0 0 171867 59 0 0 20 0 2 0 282598590 864579584 183002 33554432000 4194304 5963574 140733372773408 139925791345176 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 844316

[startup+1782.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/179 15713
/proc/meminfo: memFree=29173916/32873844 swapFree=7108/7108
[pid=15656] ppid=15654 vsize=844316 CPUtime=1781.98 cores=1,3,5,7
/proc/15656/stat : 15656 (wbo1.7) S 15654 15656 15230 0 -1 4202496 148787 0 0 0 178155 43 0 0 20 0 2 0 282598284 864579584 183002 33554432000 4194304 5963574 140733372773408 140733372772928 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15656/statm: 211079 183002 197 432 0 210644 0
[pid=15656/tid=15696] ppid=15654 vsize=844316 CPUtime=1779.26 cores=1,3,5,7
/proc/15656/task/15696/stat : 15696 (wbo1.7) R 15654 15656 15230 0 -1 4202560 101284 0 0 0 177866 60 0 0 20 0 2 0 282598590 864579584 183002 33554432000 4194304 5963574 140733372773408 139925791345176 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 844316

Solver just ended. Dumping a history of the last processes samples

[startup+1791.91 s]
/proc/loadavg: 2.06 2.01 2.00 3/179 15713
/proc/meminfo: memFree=29171312/32873844 swapFree=7108/7108
[pid=15656] ppid=15654 vsize=844316 CPUtime=1791.58 cores=1,3,5,7
/proc/15656/stat : 15656 (wbo1.7) S 15654 15656 15230 0 -1 4202496 148787 0 0 0 179115 43 0 0 20 0 2 0 282598284 864579584 183002 33554432000 4194304 5963574 140733372773408 140733372772928 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15656/statm: 211079 183002 197 432 0 210644 0
[pid=15656/tid=15696] ppid=15654 vsize=844316 CPUtime=1788.87 cores=1,3,5,7
/proc/15656/task/15696/stat : 15696 (wbo1.7) R 15654 15656 15230 0 -1 4202560 101284 0 0 0 178827 60 0 0 20 0 2 0 282598590 864579584 183002 33554432000 4194304 5963574 140733372773408 139925791345176 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1791.58
Current children cumulated vsize (KiB) 844316

[startup+1795.1 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 15713
/proc/meminfo: memFree=29170196/32873844 swapFree=7108/7108
[pid=15656] ppid=15654 vsize=844316 CPUtime=1794.78 cores=1,3,5,7
/proc/15656/stat : 15656 (wbo1.7) S 15654 15656 15230 0 -1 4202496 148787 0 0 0 179435 43 0 0 20 0 2 0 282598284 864579584 183002 33554432000 4194304 5963574 140733372773408 140733372772928 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15656/statm: 211079 183002 197 432 0 210644 0
[pid=15656/tid=15696] ppid=15654 vsize=844316 CPUtime=1792.07 cores=1,3,5,7
/proc/15656/task/15696/stat : 15696 (wbo1.7) R 15654 15656 15230 0 -1 4202560 101284 0 0 0 179147 60 0 0 20 0 2 0 282598590 864579584 183002 33554432000 4194304 5963574 140733372773408 139925791345176 4399546 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1794.78
Current children cumulated vsize (KiB) 844316

[startup+1798.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 15713
/proc/meminfo: memFree=29169576/32873844 swapFree=7108/7108
[pid=15656] ppid=15654 vsize=844316 CPUtime=1797.98 cores=1,3,5,7
/proc/15656/stat : 15656 (wbo1.7) S 15654 15656 15230 0 -1 4202496 148787 0 0 0 179755 43 0 0 20 0 2 0 282598284 864579584 183002 33554432000 4194304 5963574 140733372773408 140733372772928 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15656/statm: 211079 183002 197 432 0 210644 0
[pid=15656/tid=15696] ppid=15654 vsize=844316 CPUtime=1795.26 cores=1,3,5,7
/proc/15656/task/15696/stat : 15696 (wbo1.7) R 15654 15656 15230 0 -1 4202560 101284 0 0 0 179466 60 0 0 20 0 2 0 282598590 864579584 183002 33554432000 4194304 5963574 140733372773408 139925791345176 4392454 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.98
Current children cumulated vsize (KiB) 844316

[startup+1799.1 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 15713
/proc/meminfo: memFree=29169576/32873844 swapFree=7108/7108
[pid=15656] ppid=15654 vsize=844316 CPUtime=1798.78 cores=1,3,5,7
/proc/15656/stat : 15656 (wbo1.7) S 15654 15656 15230 0 -1 4202496 148787 0 0 0 179835 43 0 0 20 0 2 0 282598284 864579584 183002 33554432000 4194304 5963574 140733372773408 140733372772928 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15656/statm: 211079 183002 197 432 0 210644 0
[pid=15656/tid=15696] ppid=15654 vsize=844316 CPUtime=1796.06 cores=1,3,5,7
/proc/15656/task/15696/stat : 15696 (wbo1.7) R 15654 15656 15230 0 -1 4202560 101284 0 0 0 179546 60 0 0 20 0 2 0 282598590 864579584 183002 33554432000 4194304 5963574 140733372773408 139925791345176 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.78
Current children cumulated vsize (KiB) 844316

[startup+1799.5 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 15713
/proc/meminfo: memFree=29169328/32873844 swapFree=7108/7108
[pid=15656] ppid=15654 vsize=844316 CPUtime=1799.18 cores=1,3,5,7
/proc/15656/stat : 15656 (wbo1.7) S 15654 15656 15230 0 -1 4202496 148787 0 0 0 179875 43 0 0 20 0 2 0 282598284 864579584 183002 33554432000 4194304 5963574 140733372773408 140733372772928 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15656/statm: 211079 183002 197 432 0 210644 0
[pid=15656/tid=15696] ppid=15654 vsize=844316 CPUtime=1796.47 cores=1,3,5,7
/proc/15656/task/15696/stat : 15696 (wbo1.7) R 15654 15656 15230 0 -1 4202560 101284 0 0 0 179587 60 0 0 20 0 2 0 282598590 864579584 183002 33554432000 4194304 5963574 140733372773408 139925791345176 4221120 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.18
Current children cumulated vsize (KiB) 844316

[startup+1799.9 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 15713
/proc/meminfo: memFree=29169328/32873844 swapFree=7108/7108
[pid=15656] ppid=15654 vsize=844316 CPUtime=1799.58 cores=1,3,5,7
/proc/15656/stat : 15656 (wbo1.7) S 15654 15656 15230 0 -1 4202496 148787 0 0 0 179915 43 0 0 20 0 2 0 282598284 864579584 183002 33554432000 4194304 5963574 140733372773408 140733372772928 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15656/statm: 211079 183002 197 432 0 210644 0
[pid=15656/tid=15696] ppid=15654 vsize=844316 CPUtime=1796.86 cores=1,3,5,7
/proc/15656/task/15696/stat : 15696 (wbo1.7) R 15654 15656 15230 0 -1 4202560 101284 0 0 0 179626 60 0 0 20 0 2 0 282598590 864579584 183002 33554432000 4194304 5963574 140733372773408 139925791345176 4402879 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.58
Current children cumulated vsize (KiB) 844316

[startup+1800 s]
/proc/loadavg: 2.05 2.01 2.00 3/179 15713
/proc/meminfo: memFree=29169328/32873844 swapFree=7108/7108
[pid=15656] ppid=15654 vsize=844316 CPUtime=1799.68 cores=1,3,5,7
/proc/15656/stat : 15656 (wbo1.7) S 15654 15656 15230 0 -1 4202496 148787 0 0 0 179925 43 0 0 20 0 2 0 282598284 864579584 183002 33554432000 4194304 5963574 140733372773408 140733372772928 4545837 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/15656/statm: 211079 183002 197 432 0 210644 0
[pid=15656/tid=15696] ppid=15654 vsize=844316 CPUtime=1796.96 cores=1,3,5,7
/proc/15656/task/15696/stat : 15696 (wbo1.7) R 15654 15656 15230 0 -1 4202560 101284 0 0 0 179636 60 0 0 20 0 2 0 282598590 864579584 183002 33554432000 4194304 5963574 140733372773408 139925791345176 4399456 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.68
Current children cumulated vsize (KiB) 844316

Child status: 255
Real time (s): 1800.02
CPU time (s): 1800.06
CPU user time (s): 1799.33
CPU system time (s): 0.727889
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 844316

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.33
system time used= 0.727889
maximum resident set size= 732008
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 148787
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 47
involuntary context switches= 1867

runsolver used 3.66044 second user time and 9.79951 second system time

The end

Launcher Data 

Begin job on node103 at 2012-05-28 02:24:57
IDJOB=3705584
IDBENCH=91083
IDSOLVER=2283
FILE ID=node103/3705584-1338164696
RUNJOBID= node103-1338157493-15247
PBS_JOBID= 14624530
Free space on /tmp= 71516 MiB

SOLVER NAME= wbo 1.7
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_10null0mast_rapportOE1.0_TMAX60_K192_cod2.opb
COMMAND LINE= wbo1.7 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3705584-1338164696/watcher-3705584-1338164696 -o /tmp/evaluation-result-3705584-1338164696/solver-3705584-1338164696 -C 1800 -W 1900 -M 15500  wbo1.7 -file-format=opb HOME/instance-3705584-1338164696.opb

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

MD5SUM BENCH= 3b8362af58c9130644833689fa0f2100
RANDOM SEED=1296975034

node103.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.189
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.37
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
cpu MHz		: 2666.189
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
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
cpu MHz		: 2666.189
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
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
cpu MHz		: 2666.189
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
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
cpu MHz		: 2666.189
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
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
cpu MHz		: 2666.189
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5411.36
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
cpu MHz		: 2666.189
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
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
cpu MHz		: 2666.189
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 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 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 tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29029640 kB
Buffers:          351460 kB
Cached:           648364 kB
SwapCached:         4508 kB
Active:          2648796 kB
Inactive:         345116 kB
Active(anon):    1989872 kB
Inactive(anon):     6364 kB
Active(file):     658924 kB
Inactive(file):   338752 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67099564 kB
Dirty:             32948 kB
Writeback:            16 kB
AnonPages:       1917984 kB
Mapped:            12468 kB
Shmem:                 8 kB
Slab:             695104 kB
SReclaimable:     137180 kB
SUnreclaim:       557924 kB
KernelStack:        1456 kB
PageTables:         8040 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     320912 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1746944 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71508 MiB
End job on node103 at 2012-05-28 02:54:57