Trace number 3727893

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.72? 1799.65 1800.01

General information on the benchmark

Name/OPT-SMALLINT-LIN/sroussel/NG/
normalized-NG.dot_luby_20null10mast_rapportOE1.0_TMAX180_K192_cod2.opb
MD5SUMd26c1c744a6cc6b94bc88bd85095e6b9
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark-36160
Best CPU time to get the best result obtained on this benchmark746.157
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 1427
Biggest coefficient in the objective function 1024
Number of bits for the biggest coefficient in the objective function 11
Sum of the numbers in the objective function 187909
Number of bits of the sum of numbers in the objective function 18
Biggest number in a constraint 1024
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 187909
Number of bits of the biggest sum of numbers18
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.72 beta - May, 2012                            |
0.00/0.00	c |                                                                             |
0.00/0.00	c Parsing opb file format. File HOME/instance-3727893-1338673209.opb.
0.00/0.00	c Instance file HOME/instance-3727893-1338673209.opb
0.00/0.00	c File size is 28231046 bytes.
3.08/3.10	c Cost Offset: -187909
3.08/3.10	c Highest Coefficient sum: 63006
3.08/3.10	c ============================[ Problem Statistics ]=============================
3.08/3.10	c |                                                                             |
3.08/3.10	c |  Parsing time:          3.10         s                                      |
3.08/3.10	c |  Number Variables:      400896                                              |
3.08/3.10	c |  Number Clauses:        400785                                              |
3.08/3.10	c |  Number Cardinality:    1977                                                |
3.08/3.10	c |  Number PB Constraints: 1                                                   |
3.08/3.10	c |                                                                             |
3.39/3.40	c |  Problem Type:          Optimization                                        |
3.39/3.40	c |  Objective Function:    PB Constraint                                       |
3.39/3.40	c |                                                                             |
3.39/3.40	c ============================[ Search Statistics ]==============================
3.39/3.40	c | Time (s)  | ID |      Bound      |               Shared Clauses             |
3.39/3.40	c |           |    | value      type |  expCls         impCls        Lit/impCl  |
3.39/3.40	c ===============================================================================
3.89/3.93	c | 3.94      | 0  | -187908      lb |  0                0                0.00  |
4.40/4.42	c | 4.43      | 0  | -187907      lb |  0                0                0.00  |
4.79/4.87	c | 4.88      | 0  | -187905      lb |  0                0                0.00  |
5.29/5.32	c | 5.32      | 0  | -187901      lb |  0                0                0.00  |
5.69/5.76	c | 5.76      | 0  | -187893      lb |  0                0                0.00  |
6.19/6.21	c | 6.21      | 0  | -187877      lb |  0                0                0.00  |
6.59/6.65	c | 6.66      | 0  | -187845      lb |  0                0                0.00  |
7.09/7.13	c | 7.13      | 0  | -187781      lb |  0                0                0.00  |
7.49/7.58	c | 7.59      | 0  | -187653      lb |  0                0                0.00  |
7.98/8.05	c | 8.06      | 0  | -187397      lb |  0                0                0.00  |
8.48/8.52	c | 8.52      | 0  | -186885      lb |  0                0                0.00  |
9.49/9.55	c | 9.55      | 0  | -186884      lb |  0                0                0.00  |
10.59/10.66	c | 10.66     | 0  | -186883      lb |  0                0                0.00  |
11.69/11.71	c | 11.71     | 0  | -186882      lb |  0                0                0.00  |
12.69/12.73	c | 12.73     | 0  | -186881      lb |  0                0                0.00  |
13.68/13.76	c | 13.76     | 0  | -186880      lb |  0                0                0.00  |
14.68/14.75	c | 14.75     | 0  | -186879      lb |  0                0                0.00  |
15.69/15.74	c | 15.74     | 0  | -186878      lb |  0                0                0.00  |
16.68/16.73	c | 16.73     | 0  | -186877      lb |  0                0                0.00  |
18.39/18.40	c | 18.40     | 0  | -186876      lb |  0                0                0.00  |
25.39/25.47	c | 25.47     | 0  | -186875      lb |  0                0                0.00  |
32.09/32.13	c | 32.13     | 0  | -186874      lb |  0                0                0.00  |
36.68/36.71	c | 36.72     | 0  | -186873      lb |  0                0                0.00  |
37.68/37.79	c | 37.79     | 0  | -186872      lb |  0                0                0.00  |
39.59/39.65	c | 39.65     | 0  | -186871      lb |  0                0                0.00  |
41.78/41.89	c | 41.90     | 0  | -186870      lb |  0                0                0.00  |
42.89/42.99	c | 43.00     | 0  | -186869      lb |  0                0                0.00  |
45.38/45.49	c | 45.49     | 0  | -186868      lb |  0                0                0.00  |
46.58/46.60	c | 46.60     | 0  | -186867      lb |  0                0                0.00  |
47.58/47.69	c | 47.69     | 0  | -186866      lb |  0                0                0.00  |
48.78/48.81	c | 48.81     | 0  | -186865      lb |  0                0                0.00  |
49.98/50.03	c | 50.03     | 0  | -186864      lb |  0                0                0.00  |
51.08/51.18	c | 51.18     | 0  | -186863      lb |  0                0                0.00  |
52.18/52.27	c | 52.27     | 0  | -186862      lb |  0                0                0.00  |
53.48/53.51	c | 53.52     | 0  | -186853      lb |  0                0                0.00  |
55.08/55.16	c | 55.16     | 0  | -186852      lb |  0                0                0.00  |
56.18/56.27	c | 56.28     | 0  | -186851      lb |  0                0                0.00  |
57.28/57.33	c | 57.34     | 0  | -186850      lb |  0                0                0.00  |
58.28/58.33	c | 58.33     | 0  | -186849      lb |  0                0                0.00  |
59.28/59.38	c | 59.38     | 0  | -186848      lb |  0                0                0.00  |
60.18/60.28	c | 60.28     | 0  | -186847      lb |  0                0                0.00  |
70.88/70.98	c | 70.98     | 0  | -186845      lb |  0                0                0.00  |
71.88/71.96	c | 71.96     | 0  | -186844      lb |  0                0                0.00  |
73.68/73.72	c | 73.72     | 0  | -186843      lb |  0                0                0.00  |
75.27/75.33	c | 75.33     | 0  | -186842      lb |  0                0                0.00  |
206.66/206.75	c | 206.75    | 0  | -186841      lb |  0                0                0.00  |
207.87/207.91	c | 207.91    | 0  | -186840      lb |  0                0                0.00  |
208.86/208.96	c | 208.96    | 0  | -186821      lb |  0                0                0.00  |
210.76/210.89	c | 210.89    | 0  | -186820      lb |  0                0                0.00  |
211.96/212.07	c | 212.07    | 0  | -186819      lb |  0                0                0.00  |
212.76/212.89	c | 212.90    | 0  | -186818      lb |  0                0                0.00  |
213.86/213.96	c | 213.96    | 0  | -186817      lb |  0                0                0.00  |
214.96/215.03	c | 215.03    | 0  | -186816      lb |  0                0                0.00  |
215.86/215.97	c | 215.97    | 0  | -186815      lb |  0                0                0.00  |
217.06/217.17	c | 217.17    | 0  | -186753      lb |  0                0                0.00  |
218.05/218.15	c | 218.16    | 0  | -186752      lb |  0                0                0.00  |
219.05/219.19	c | 219.19    | 0  | -186751      lb |  0                0                0.00  |
219.95/220.03	c | 220.03    | 0  | -186613      lb |  0                0                0.00  |
220.85/220.96	c | 220.96    | 0  | -186372      lb |  0                0                0.00  |
221.85/221.92	c | 221.92    | 0  | -186371      lb |  0                0                0.00  |
222.75/222.86	c | 222.86    | 0  | -186370      lb |  0                0                0.00  |
223.76/223.81	c | 223.82    | 0  | -186369      lb |  0                0                0.00  |
224.66/224.79	c | 224.79    | 0  | -186368      lb |  0                0                0.00  |
225.66/225.76	c | 225.77    | 0  | -186367      lb |  0                0                0.00  |
226.66/226.78	c | 226.78    | 0  | -186366      lb |  0                0                0.00  |
227.76/227.80	c | 227.80    | 0  | -186365      lb |  0                0                0.00  |
228.66/228.76	c | 228.76    | 0  | -186364      lb |  0                0                0.00  |
229.76/229.84	c | 229.85    | 0  | -186363      lb |  0                0                0.00  |
231.06/231.14	c | 231.14    | 0  | -186362      lb |  0                0                0.00  |
232.46/232.57	c | 232.57    | 0  | -186361      lb |  0                0                0.00  |
233.56/233.63	c | 233.63    | 0  | -186360      lb |  0                0                0.00  |
235.85/235.91	c | 235.91    | 0  | -186359      lb |  0                0                0.00  |
239.55/239.64	c | 239.64    | 0  | -186358      lb |  0                0                0.00  |
242.35/242.47	c | 242.48    | 0  | -186357      lb |  0                0                0.00  |
244.25/244.31	c | 244.31    | 0  | -186356      lb |  0                0                0.00  |
408.58/408.74	c | 408.74    | 0  | -186355      lb |  0                0                0.00  |
447.87/448.06	c | 448.06    | 0  | -186354      lb |  0                0                0.00  |
670.74/670.94	c | 670.95    | 0  | -186353      lb |  0                0                0.00  |
672.03/672.24	c | 672.25    | 0  | -186352      lb |  0                0                0.00  |
673.13/673.35	c | 673.35    | 0  | -186351      lb |  0                0                0.00  |
679.13/679.31	c | 679.32    | 0  | -186350      lb |  0                0                0.00  |
680.73/680.95	c | 680.95    | 0  | -186349      lb |  0                0                0.00  |
682.43/682.60	c | 682.61    | 0  | -186348      lb |  0                0                0.00  |
683.53/683.71	c | 683.71    | 0  | -186347      lb |  0                0                0.00  |
684.83/685.04	c | 685.04    | 0  | -186346      lb |  0                0                0.00  |
686.02/686.20	c | 686.20    | 0  | -186345      lb |  0                0                0.00  |
688.92/689.16	c | 689.16    | 0  | -186344      lb |  0                0                0.00  |
690.23/690.40	c | 690.40    | 0  | -186343      lb |  0                0                0.00  |
691.63/691.82	c | 691.83    | 0  | -186342      lb |  0                0                0.00  |
693.33/693.58	c | 693.59    | 0  | -186341      lb |  0                0                0.00  |
695.42/695.64	c | 695.64    | 0  | -186340      lb |  0                0                0.00  |
696.83/697.04	c | 697.04    | 0  | -186339      lb |  0                0                0.00  |
698.23/698.43	c | 698.43    | 0  | -186338      lb |  0                0                0.00  |
699.33/699.53	c | 699.53    | 0  | -186337      lb |  0                0                0.00  |
701.03/701.20	c | 701.20    | 0  | -186336      lb |  0                0                0.00  |
1710.57/1710.98	c | 1710.99   | 0  | -186335      lb |  0                0                0.00  |
1799.65/1800.00	c ===============================================================================
1799.65/1800.00	c Wall Clock Time: 1800.00 s
1799.65/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-3727893-1338673209/watcher-3727893-1338673209 -o /tmp/evaluation-result-3727893-1338673209/solver-3727893-1338673209 -C 1800 -W 1900 -M 15500 wbo1.72 -file-format=opb HOME/instance-3727893-1338673209.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.00 2.04 2.01 3/178 17822
/proc/meminfo: memFree=30824216/32873844 swapFree=8656/8656
[pid=17822] ppid=17820 vsize=31824 CPUtime=0 cores=1,3,5,7
/proc/17822/stat : 17822 (wbo1.72) R 17820 17822 17352 0 -1 4202496 578 0 0 0 0 0 0 0 20 0 1 0 333449526 32587776 530 33554432000 4194304 5964350 140737480937664 140734531018088 4395326 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/17822/statm: 7956 531 172 433 0 627 0

[startup+0.0934629 s]
/proc/loadavg: 2.00 2.04 2.01 3/178 17822
/proc/meminfo: memFree=30824216/32873844 swapFree=8656/8656
[pid=17822] ppid=17820 vsize=42100 CPUtime=0.08 cores=1,3,5,7
/proc/17822/stat : 17822 (wbo1.72) R 17820 17822 17352 0 -1 4202496 3224 0 0 0 8 0 0 0 20 0 1 0 333449526 43110400 3062 33554432000 4194304 5964350 140737480937664 140734531018088 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/17822/statm: 10525 3062 459 433 0 3196 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 42100

[startup+0.100345 s]
/proc/loadavg: 2.00 2.04 2.01 3/178 17822
/proc/meminfo: memFree=30824216/32873844 swapFree=8656/8656
[pid=17822] ppid=17820 vsize=42364 CPUtime=0.09 cores=1,3,5,7
/proc/17822/stat : 17822 (wbo1.72) R 17820 17822 17352 0 -1 4202496 3357 0 0 0 9 0 0 0 20 0 1 0 333449526 43380736 3195 33554432000 4194304 5964350 140737480937664 140734531018088 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/17822/statm: 10591 3195 482 433 0 3262 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 42364

[startup+0.3003 s]
/proc/loadavg: 2.00 2.04 2.01 3/178 17822
/proc/meminfo: memFree=30824216/32873844 swapFree=8656/8656
[pid=17822] ppid=17820 vsize=53412 CPUtime=0.29 cores=1,3,5,7
/proc/17822/stat : 17822 (wbo1.72) R 17820 17822 17352 0 -1 4202496 6938 0 0 0 28 1 0 0 20 0 1 0 333449526 54693888 6639 33554432000 4194304 5964350 140737480937664 140734531018088 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/17822/statm: 13353 6640 1069 433 0 6024 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 53412

[startup+0.700303 s]
/proc/loadavg: 2.00 2.04 2.01 3/178 17822
/proc/meminfo: memFree=30824216/32873844 swapFree=8656/8656
[pid=17822] ppid=17820 vsize=85752 CPUtime=0.69 cores=1,3,5,7
/proc/17822/stat : 17822 (wbo1.72) R 17820 17822 17352 0 -1 4202496 15813 0 0 0 67 2 0 0 20 0 1 0 333449526 87810048 14856 33554432000 4194304 5964350 140737480937664 140737480936008 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/17822/statm: 21438 14857 2199 433 0 14109 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 85752

[startup+1.50031 s]
/proc/loadavg: 2.00 2.04 2.01 3/179 17823
/proc/meminfo: memFree=30752364/32873844 swapFree=8656/8656
[pid=17822] ppid=17820 vsize=134132 CPUtime=1.49 cores=1,3,5,7
/proc/17822/stat : 17822 (wbo1.72) R 17820 17822 17352 0 -1 4202496 28966 0 0 0 145 4 0 0 20 0 1 0 333449526 137351168 28487 33554432000 4194304 5964350 140737480937664 140737480936296 4395993 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/17822/statm: 33533 28488 3948 433 0 26204 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 134132

[startup+3.10031 s]
/proc/loadavg: 2.00 2.04 2.00 3/179 17823
/proc/meminfo: memFree=30690032/32873844 swapFree=8656/8656
[pid=17822] ppid=17820 vsize=202600 CPUtime=3.08 cores=1,3,5,7
/proc/17822/stat : 17822 (wbo1.72) R 17820 17822 17352 0 -1 4202496 46151 0 0 0 300 8 0 0 20 0 1 0 333449526 207462400 47145 33554432000 4194304 5964350 140737480937664 140737480936040 5136410 0 0 4096 16387 0 0 0 17 5 0 0 0 0 0
/proc/17822/statm: 50650 47148 7051 433 0 43321 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 202600

[startup+6.30035 s]
/proc/loadavg: 2.00 2.04 2.00 3/180 17824
/proc/meminfo: memFree=30335072/32873844 swapFree=8656/8656
[pid=17822] ppid=17820 vsize=565656 CPUtime=6.29 cores=1,3,5,7
/proc/17822/stat : 17822 (wbo1.72) S 17820 17822 17352 0 -1 4202496 115526 0 0 0 605 24 0 0 20 0 2 0 333449526 579231744 122633 33554432000 4194304 5964350 140737480937664 140737480937184 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17822/statm: 141414 122633 193 433 0 140978 0
[pid=17822/tid=17824] ppid=17820 vsize=565656 CPUtime=3.17 cores=1,3,5,7
/proc/17822/task/17824/stat : 17824 (wbo1.72) R 17820 17822 17352 0 -1 4202560 68969 0 0 0 302 15 0 0 20 0 2 0 333449836 579231744 122633 33554432000 4194304 5964350 140737480937664 140358064912680 4418960 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 565656

[startup+12.7003 s]
/proc/loadavg: 2.00 2.04 2.00 3/180 17824
/proc/meminfo: memFree=30318636/32873844 swapFree=8656/8656
[pid=17822] ppid=17820 vsize=565656 CPUtime=12.69 cores=1,3,5,7
/proc/17822/stat : 17822 (wbo1.72) S 17820 17822 17352 0 -1 4202496 119806 0 0 0 1243 26 0 0 20 0 2 0 333449526 579231744 122695 33554432000 4194304 5964350 140737480937664 140737480937184 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17822/statm: 141414 122695 197 433 0 140978 0
[pid=17822/tid=17824] ppid=17820 vsize=565656 CPUtime=9.55 cores=1,3,5,7
/proc/17822/task/17824/stat : 17824 (wbo1.72) R 17820 17822 17352 0 -1 4202560 73249 0 0 0 938 17 0 0 20 0 2 0 333449836 579231744 122695 33554432000 4194304 5964350 140737480937664 140358064913224 4406329 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 565656

[startup+25.5004 s]
/proc/loadavg: 2.00 2.03 2.00 3/180 17824
/proc/meminfo: memFree=30267572/32873844 swapFree=8656/8656
[pid=17822] ppid=17820 vsize=631192 CPUtime=25.49 cores=1,3,5,7
/proc/17822/stat : 17822 (wbo1.72) S 17820 17822 17352 0 -1 4202496 126063 0 0 0 2521 28 0 0 20 0 2 0 333449526 646340608 138392 33554432000 4194304 5964350 140737480937664 140737480937184 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17822/statm: 157798 138392 197 433 0 157362 0
[pid=17822/tid=17824] ppid=17820 vsize=631192 CPUtime=22.32 cores=1,3,5,7
/proc/17822/task/17824/stat : 17824 (wbo1.72) R 17820 17822 17352 0 -1 4202560 79506 0 0 0 2213 19 0 0 20 0 2 0 333449836 646340608 138392 33554432000 4194304 5964350 140737480937664 140358064912728 5179751 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 631192

[startup+51.1004 s]
/proc/loadavg: 2.07 2.04 2.01 3/180 17824
/proc/meminfo: memFree=30235188/32873844 swapFree=8656/8656
[pid=17822] ppid=17820 vsize=631192 CPUtime=51.08 cores=1,3,5,7
/proc/17822/stat : 17822 (wbo1.72) S 17820 17822 17352 0 -1 4202496 128631 0 0 0 5077 31 0 0 20 0 2 0 333449526 646340608 144858 33554432000 4194304 5964350 140737480937664 140737480937184 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17822/statm: 157798 144858 197 433 0 157362 0
[pid=17822/tid=17824] ppid=17820 vsize=631192 CPUtime=47.85 cores=1,3,5,7
/proc/17822/task/17824/stat : 17824 (wbo1.72) R 17820 17822 17352 0 -1 4202560 82074 0 0 0 4763 22 0 0 20 0 2 0 333449836 646340608 144858 33554432000 4194304 5964350 140737480937664 140358064912728 4221984 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 631192

[startup+102.307 s]
/proc/loadavg: 2.03 2.03 2.00 3/178 17824
/proc/meminfo: memFree=30207792/32873844 swapFree=8656/8656
[pid=17822] ppid=17820 vsize=631308 CPUtime=102.28 cores=1,3,5,7
/proc/17822/stat : 17822 (wbo1.72) S 17820 17822 17352 0 -1 4202496 135004 0 0 0 10193 35 0 0 20 0 2 0 333449526 646459392 147822 33554432000 4194304 5964350 140737480937664 140737480937184 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17822/statm: 157827 147822 197 433 0 157391 0
[pid=17822/tid=17824] ppid=17820 vsize=631308 CPUtime=98.93 cores=1,3,5,7
/proc/17822/task/17824/stat : 17824 (wbo1.72) R 17820 17822 17352 0 -1 4202560 88447 0 0 0 9866 27 0 0 20 0 2 0 333449836 646459392 147822 33554432000 4194304 5964350 140737480937664 140358064912920 4221984 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) 631308

[startup+162.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/180 17826
/proc/meminfo: memFree=30190548/32873844 swapFree=8656/8656
[pid=17822] ppid=17820 vsize=631308 CPUtime=162.26 cores=1,3,5,7
/proc/17822/stat : 17822 (wbo1.72) S 17820 17822 17352 0 -1 4202496 135004 0 0 0 16191 35 0 0 20 0 2 0 333449526 646459392 147925 33554432000 4194304 5964350 140737480937664 140737480937184 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17822/statm: 157827 147925 197 433 0 157391 0
[pid=17822/tid=17824] ppid=17820 vsize=631308 CPUtime=158.77 cores=1,3,5,7
/proc/17822/task/17824/stat : 17824 (wbo1.72) R 17820 17822 17352 0 -1 4202560 88447 0 0 0 15849 28 0 0 20 0 2 0 333449836 646459392 147925 33554432000 4194304 5964350 140737480937664 140358064912920 4399840 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) 631308

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/179 17826
/proc/meminfo: memFree=30133988/32873844 swapFree=8656/8656
[pid=17822] ppid=17820 vsize=696844 CPUtime=222.25 cores=1,3,5,7
/proc/17822/stat : 17822 (wbo1.72) S 17820 17822 17352 0 -1 4202496 138209 0 0 0 22188 37 0 0 20 0 2 0 333449526 713568256 159235 33554432000 4194304 5964350 140737480937664 140737480937184 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17822/statm: 174211 159235 197 433 0 173775 0
[pid=17822/tid=17824] ppid=17820 vsize=696844 CPUtime=218.62 cores=1,3,5,7
/proc/17822/task/17824/stat : 17824 (wbo1.72) R 17820 17822 17352 0 -1 4202560 91652 0 0 0 21831 31 0 0 20 0 2 0 333449836 713568256 159235 33554432000 4194304 5964350 140737480937664 140358064912920 4375179 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 696844

[startup+282.3 s]
/proc/loadavg: 1.66 1.93 1.97 2/172 17850
/proc/meminfo: memFree=31086184/32873844 swapFree=8656/8656
[pid=17822] ppid=17820 vsize=696844 CPUtime=282.23 cores=1,3,5,7
/proc/17822/stat : 17822 (wbo1.72) S 17820 17822 17352 0 -1 4202496 138348 0 0 0 28185 38 0 0 20 0 2 0 333449526 713568256 162877 33554432000 4194304 5964350 140737480937664 140737480937184 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17822/statm: 174211 162877 197 433 0 173775 0
[pid=17822/tid=17824] ppid=17820 vsize=696844 CPUtime=278.45 cores=1,3,5,7
/proc/17822/task/17824/stat : 17824 (wbo1.72) R 17820 17822 17352 0 -1 4202560 91791 0 0 0 27812 33 0 0 20 0 2 0 333449836 713568256 162877 33554432000 4194304 5964350 140737480937664 140358064912920 4399872 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 696844

[startup+342.3 s]
/proc/loadavg: 1.22 1.75 1.90 2/172 17850
/proc/meminfo: memFree=31086256/32873844 swapFree=8656/8656
[pid=17822] ppid=17820 vsize=696844 CPUtime=342.21 cores=1,3,5,7
/proc/17822/stat : 17822 (wbo1.72) S 17820 17822 17352 0 -1 4202496 138370 0 0 0 34183 38 0 0 20 0 2 0 333449526 713568256 162877 33554432000 4194304 5964350 140737480937664 140737480937184 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17822/statm: 174211 162877 197 433 0 173775 0
[pid=17822/tid=17824] ppid=17820 vsize=696844 CPUtime=338.29 cores=1,3,5,7
/proc/17822/task/17824/stat : 17824 (wbo1.72) R 17820 17822 17352 0 -1 4202560 91813 0 0 0 33795 34 0 0 20 0 2 0 333449836 713568256 162877 33554432000 4194304 5964350 140737480937664 140358064912920 4399840 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 696844

[startup+402.3 s]
/proc/loadavg: 1.09 1.62 1.85 2/172 17850
/proc/meminfo: memFree=31086192/32873844 swapFree=8656/8656
[pid=17822] ppid=17820 vsize=696844 CPUtime=402.18 cores=1,3,5,7
/proc/17822/stat : 17822 (wbo1.72) S 17820 17822 17352 0 -1 4202496 138390 0 0 0 40180 38 0 0 20 0 2 0 333449526 713568256 162877 33554432000 4194304 5964350 140737480937664 140737480937184 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17822/statm: 174211 162877 197 433 0 173775 0
[pid=17822/tid=17824] ppid=17820 vsize=696844 CPUtime=398.12 cores=1,3,5,7
/proc/17822/task/17824/stat : 17824 (wbo1.72) R 17820 17822 17352 0 -1 4202560 91833 0 0 0 39777 35 0 0 20 0 2 0 333449836 713568256 162877 33554432000 4194304 5964350 140737480937664 140358064912920 4388992 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 402.18
Current children cumulated vsize (KiB) 696844

[startup+462.3 s]
/proc/loadavg: 1.08 1.51 1.79 2/172 17851
/proc/meminfo: memFree=31029212/32873844 swapFree=8656/8656
[pid=17822] ppid=17820 vsize=762380 CPUtime=462.17 cores=1,3,5,7
/proc/17822/stat : 17822 (wbo1.72) S 17820 17822 17352 0 -1 4202496 142277 0 0 0 46177 40 0 0 20 0 2 0 333449526 780677120 177074 33554432000 4194304 5964350 140737480937664 140737480937184 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17822/statm: 190595 177074 197 433 0 190159 0
[pid=17822/tid=17824] ppid=17820 vsize=762380 CPUtime=457.96 cores=1,3,5,7
/proc/17822/task/17824/stat : 17824 (wbo1.72) R 17820 17822 17352 0 -1 4202560 95720 0 0 0 45759 37 0 0 20 0 2 0 333449836 780677120 177074 33554432000 4194304 5964350 140737480937664 140358064912728 4392783 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0

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


[startup+1422.31 s]
/proc/loadavg: 1.00 1.01 1.25 2/172 17894
/proc/meminfo: memFree=31001432/32873844 swapFree=8656/8656
[pid=17822] ppid=17820 vsize=827916 CPUtime=1422.02 cores=1,3,5,7
/proc/17822/stat : 17822 (wbo1.72) S 17820 17822 17352 0 -1 4202496 147590 0 0 0 142159 43 0 0 20 0 2 0 333449526 847785984 183847 33554432000 4194304 5964350 140737480937664 140737480937184 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17822/statm: 206979 183847 197 433 0 206543 0
[pid=17822/tid=17824] ppid=17820 vsize=827916 CPUtime=1415.51 cores=1,3,5,7
/proc/17822/task/17824/stat : 17824 (wbo1.72) R 17820 17822 17352 0 -1 4202560 101033 0 0 0 141496 55 0 0 20 0 2 0 333449836 847785984 183847 33554432000 4194304 5964350 140737480937664 140358064912792 4388770 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 827916

[startup+1482.3 s]
/proc/loadavg: 1.00 1.00 1.24 2/172 17894
/proc/meminfo: memFree=31001680/32873844 swapFree=8656/8656
[pid=17822] ppid=17820 vsize=827916 CPUtime=1482 cores=1,3,5,7
/proc/17822/stat : 17822 (wbo1.72) S 17820 17822 17352 0 -1 4202496 147590 0 0 0 148157 43 0 0 20 0 2 0 333449526 847785984 183847 33554432000 4194304 5964350 140737480937664 140737480937184 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17822/statm: 206979 183847 197 433 0 206543 0
[pid=17822/tid=17824] ppid=17820 vsize=827916 CPUtime=1475.35 cores=1,3,5,7
/proc/17822/task/17824/stat : 17824 (wbo1.72) R 17820 17822 17352 0 -1 4202560 101033 0 0 0 147479 56 0 0 20 0 2 0 333449836 847785984 183847 33554432000 4194304 5964350 140737480937664 140358064912792 4403468 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 827916

[startup+1542.3 s]
/proc/loadavg: 1.00 1.00 1.22 2/172 17894
/proc/meminfo: memFree=31001804/32873844 swapFree=8656/8656
[pid=17822] ppid=17820 vsize=827916 CPUtime=1541.99 cores=1,3,5,7
/proc/17822/stat : 17822 (wbo1.72) S 17820 17822 17352 0 -1 4202496 147590 0 0 0 154156 43 0 0 20 0 2 0 333449526 847785984 183847 33554432000 4194304 5964350 140737480937664 140737480937184 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17822/statm: 206979 183847 197 433 0 206543 0
[pid=17822/tid=17824] ppid=17820 vsize=827916 CPUtime=1535.19 cores=1,3,5,7
/proc/17822/task/17824/stat : 17824 (wbo1.72) R 17820 17822 17352 0 -1 4202560 101033 0 0 0 153462 57 0 0 20 0 2 0 333449836 847785984 183847 33554432000 4194304 5964350 140737480937664 140358064912792 4403647 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 827916

[startup+1602.3 s]
/proc/loadavg: 1.00 1.00 1.20 2/172 17894
/proc/meminfo: memFree=31001680/32873844 swapFree=8656/8656
[pid=17822] ppid=17820 vsize=827916 CPUtime=1601.98 cores=1,3,5,7
/proc/17822/stat : 17822 (wbo1.72) S 17820 17822 17352 0 -1 4202496 147590 0 0 0 160155 43 0 0 20 0 2 0 333449526 847785984 183847 33554432000 4194304 5964350 140737480937664 140737480937184 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17822/statm: 206979 183847 197 433 0 206543 0
[pid=17822/tid=17824] ppid=17820 vsize=827916 CPUtime=1595.04 cores=1,3,5,7
/proc/17822/task/17824/stat : 17824 (wbo1.72) R 17820 17822 17352 0 -1 4202560 101033 0 0 0 159446 58 0 0 20 0 2 0 333449836 847785984 183847 33554432000 4194304 5964350 140737480937664 140358064912792 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 827916

[startup+1662.3 s]
/proc/loadavg: 1.00 1.00 1.18 2/172 17895
/proc/meminfo: memFree=31001928/32873844 swapFree=8656/8656
[pid=17822] ppid=17820 vsize=827916 CPUtime=1661.98 cores=1,3,5,7
/proc/17822/stat : 17822 (wbo1.72) S 17820 17822 17352 0 -1 4202496 147590 0 0 0 166155 43 0 0 20 0 2 0 333449526 847785984 183847 33554432000 4194304 5964350 140737480937664 140737480937184 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17822/statm: 206979 183847 197 433 0 206543 0
[pid=17822/tid=17824] ppid=17820 vsize=827916 CPUtime=1654.89 cores=1,3,5,7
/proc/17822/task/17824/stat : 17824 (wbo1.72) R 17820 17822 17352 0 -1 4202560 101033 0 0 0 165430 59 0 0 20 0 2 0 333449836 847785984 183847 33554432000 4194304 5964350 140737480937664 140358064912792 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 827916

[startup+1722.3 s]
/proc/loadavg: 1.08 1.02 1.18 2/172 17895
/proc/meminfo: memFree=30955840/32873844 swapFree=8656/8656
[pid=17822] ppid=17820 vsize=893452 CPUtime=1721.97 cores=1,3,5,7
/proc/17822/stat : 17822 (wbo1.72) S 17820 17822 17352 0 -1 4202496 153441 0 0 0 172153 44 0 0 20 0 2 0 333449526 914894848 195319 33554432000 4194304 5964350 140737480937664 140737480937184 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17822/statm: 223363 195319 197 433 0 222927 0
[pid=17822/tid=17824] ppid=17820 vsize=893452 CPUtime=1714.73 cores=1,3,5,7
/proc/17822/task/17824/stat : 17824 (wbo1.72) R 17820 17822 17352 0 -1 4202560 106884 0 0 0 171412 61 0 0 20 0 2 0 333449836 914894848 195319 33554432000 4194304 5964350 140737480937664 140358064912712 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 893452

[startup+1782.3 s]
/proc/loadavg: 1.02 1.01 1.16 2/172 17895
/proc/meminfo: memFree=30955964/32873844 swapFree=8656/8656
[pid=17822] ppid=17820 vsize=893452 CPUtime=1781.96 cores=1,3,5,7
/proc/17822/stat : 17822 (wbo1.72) S 17820 17822 17352 0 -1 4202496 153441 0 0 0 178152 44 0 0 20 0 2 0 333449526 914894848 195319 33554432000 4194304 5964350 140737480937664 140737480937184 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17822/statm: 223363 195319 197 433 0 222927 0
[pid=17822/tid=17824] ppid=17820 vsize=893452 CPUtime=1774.58 cores=1,3,5,7
/proc/17822/task/17824/stat : 17824 (wbo1.72) R 17820 17822 17352 0 -1 4202560 106884 0 0 0 177397 61 0 0 20 0 2 0 333449836 914894848 195319 33554432000 4194304 5964350 140737480937664 140358064912712 4403620 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 893452

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

[startup+1791.91 s]
/proc/loadavg: 1.02 1.01 1.16 2/173 17898
/proc/meminfo: memFree=30955444/32873844 swapFree=8656/8656
[pid=17822] ppid=17820 vsize=893452 CPUtime=1791.56 cores=1,3,5,7
/proc/17822/stat : 17822 (wbo1.72) S 17820 17822 17352 0 -1 4202496 153441 0 0 0 179112 44 0 0 20 0 2 0 333449526 914894848 195319 33554432000 4194304 5964350 140737480937664 140737480937184 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17822/statm: 223363 195319 197 433 0 222927 0
[pid=17822/tid=17824] ppid=17820 vsize=893452 CPUtime=1784.16 cores=1,3,5,7
/proc/17822/task/17824/stat : 17824 (wbo1.72) R 17820 17822 17352 0 -1 4202560 106884 0 0 0 178354 62 0 0 20 0 2 0 333449836 914894848 195319 33554432000 4194304 5964350 140737480937664 140358064912712 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1791.56
Current children cumulated vsize (KiB) 893452

[startup+1795.1 s]
/proc/loadavg: 1.02 1.01 1.16 2/173 17898
/proc/meminfo: memFree=30955708/32873844 swapFree=8656/8656
[pid=17822] ppid=17820 vsize=893452 CPUtime=1794.76 cores=1,3,5,7
/proc/17822/stat : 17822 (wbo1.72) S 17820 17822 17352 0 -1 4202496 153441 0 0 0 179432 44 0 0 20 0 2 0 333449526 914894848 195319 33554432000 4194304 5964350 140737480937664 140737480937184 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17822/statm: 223363 195319 197 433 0 222927 0
[pid=17822/tid=17824] ppid=17820 vsize=893452 CPUtime=1787.36 cores=1,3,5,7
/proc/17822/task/17824/stat : 17824 (wbo1.72) R 17820 17822 17352 0 -1 4202560 106884 0 0 0 178674 62 0 0 20 0 2 0 333449836 914894848 195319 33554432000 4194304 5964350 140737480937664 140358064912712 4400377 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1794.76
Current children cumulated vsize (KiB) 893452

[startup+1798.3 s]
/proc/loadavg: 1.02 1.01 1.16 2/173 17898
/proc/meminfo: memFree=30955708/32873844 swapFree=8656/8656
[pid=17822] ppid=17820 vsize=893452 CPUtime=1797.95 cores=1,3,5,7
/proc/17822/stat : 17822 (wbo1.72) S 17820 17822 17352 0 -1 4202496 153441 0 0 0 179751 44 0 0 20 0 2 0 333449526 914894848 195319 33554432000 4194304 5964350 140737480937664 140737480937184 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17822/statm: 223363 195319 197 433 0 222927 0
[pid=17822/tid=17824] ppid=17820 vsize=893452 CPUtime=1790.54 cores=1,3,5,7
/proc/17822/task/17824/stat : 17824 (wbo1.72) R 17820 17822 17352 0 -1 4202560 106884 0 0 0 178992 62 0 0 20 0 2 0 333449836 914894848 195319 33554432000 4194304 5964350 140737480937664 140358064912712 4403637 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1797.95
Current children cumulated vsize (KiB) 893452

[startup+1799.1 s]
/proc/loadavg: 1.02 1.01 1.16 2/173 17898
/proc/meminfo: memFree=30955708/32873844 swapFree=8656/8656
[pid=17822] ppid=17820 vsize=893452 CPUtime=1798.75 cores=1,3,5,7
/proc/17822/stat : 17822 (wbo1.72) S 17820 17822 17352 0 -1 4202496 153441 0 0 0 179831 44 0 0 20 0 2 0 333449526 914894848 195319 33554432000 4194304 5964350 140737480937664 140737480937184 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17822/statm: 223363 195319 197 433 0 222927 0
[pid=17822/tid=17824] ppid=17820 vsize=893452 CPUtime=1791.34 cores=1,3,5,7
/proc/17822/task/17824/stat : 17824 (wbo1.72) R 17820 17822 17352 0 -1 4202560 106884 0 0 0 179072 62 0 0 20 0 2 0 333449836 914894848 195319 33554432000 4194304 5964350 140737480937664 140358064912712 4399944 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1798.75
Current children cumulated vsize (KiB) 893452

[startup+1799.5 s]
/proc/loadavg: 1.02 1.01 1.16 2/173 17898
/proc/meminfo: memFree=30955708/32873844 swapFree=8656/8656
[pid=17822] ppid=17820 vsize=893452 CPUtime=1799.16 cores=1,3,5,7
/proc/17822/stat : 17822 (wbo1.72) S 17820 17822 17352 0 -1 4202496 153441 0 0 0 179872 44 0 0 20 0 2 0 333449526 914894848 195319 33554432000 4194304 5964350 140737480937664 140737480937184 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17822/statm: 223363 195319 197 433 0 222927 0
[pid=17822/tid=17824] ppid=17820 vsize=893452 CPUtime=1791.74 cores=1,3,5,7
/proc/17822/task/17824/stat : 17824 (wbo1.72) R 17820 17822 17352 0 -1 4202560 106884 0 0 0 179112 62 0 0 20 0 2 0 333449836 914894848 195319 33554432000 4194304 5964350 140737480937664 140358064912712 4392802 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.16
Current children cumulated vsize (KiB) 893452

[startup+1799.9 s]
/proc/loadavg: 1.02 1.01 1.16 2/173 17898
/proc/meminfo: memFree=30955708/32873844 swapFree=8656/8656
[pid=17822] ppid=17820 vsize=893452 CPUtime=1799.55 cores=1,3,5,7
/proc/17822/stat : 17822 (wbo1.72) S 17820 17822 17352 0 -1 4202496 153441 0 0 0 179911 44 0 0 20 0 2 0 333449526 914894848 195319 33554432000 4194304 5964350 140737480937664 140737480937184 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17822/statm: 223363 195319 197 433 0 222927 0
[pid=17822/tid=17824] ppid=17820 vsize=893452 CPUtime=1792.14 cores=1,3,5,7
/proc/17822/task/17824/stat : 17824 (wbo1.72) R 17820 17822 17352 0 -1 4202560 106884 0 0 0 179152 62 0 0 20 0 2 0 333449836 914894848 195319 33554432000 4194304 5964350 140737480937664 140358064912712 4222416 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.55
Current children cumulated vsize (KiB) 893452

[startup+1800 s]
/proc/loadavg: 1.02 1.01 1.16 2/173 17898
/proc/meminfo: memFree=30955708/32873844 swapFree=8656/8656
[pid=17822] ppid=17820 vsize=893452 CPUtime=1799.65 cores=1,3,5,7
/proc/17822/stat : 17822 (wbo1.72) S 17820 17822 17352 0 -1 4202496 153441 0 0 0 179921 44 0 0 20 0 2 0 333449526 914894848 195319 33554432000 4194304 5964350 140737480937664 140737480937184 4546605 0 0 4096 16387 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/17822/statm: 223363 195319 197 433 0 222927 0
[pid=17822/tid=17824] ppid=17820 vsize=893452 CPUtime=1792.24 cores=1,3,5,7
/proc/17822/task/17824/stat : 17824 (wbo1.72) R 17820 17822 17352 0 -1 4202560 106884 0 0 0 179162 62 0 0 20 0 2 0 333449836 914894848 195319 33554432000 4194304 5964350 140737480937664 140358064912712 4392725 0 0 4096 16387 0 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1799.65
Current children cumulated vsize (KiB) 893452

Child status: 255

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17822 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=639173
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=731888
# CPU time returned by wait4() is 1795.37
# while last known CPU time is 1799.65
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1800.01
CPU time (s): 1799.65
CPU user time (s): 1799.21
CPU system time (s): 0.44
CPU usage (%): 99.9799
Max. virtual memory (cumulated for all children) (KiB): 893452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.64
system time used= 0.731888
maximum resident set size= 781284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 153443
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= 75
involuntary context switches= 1849

runsolver used 3.35949 second user time and 9.46856 second system time

The end

Launcher Data 

Begin job on node102 at 2012-06-02 23:40:10
IDJOB=3727893
IDBENCH=91122
IDSOLVER=2313
FILE ID=node102/3727893-1338673209
RUNJOBID= node102-1338667515-17369
PBS_JOBID= 14636516
Free space on /tmp= 71140 MiB

SOLVER NAME= wbo 1.72
BENCH NAME= PB12/normalized-PB12/OPT-SMALLINT-LIN/sroussel/NG/normalized-NG.dot_luby_20null10mast_rapportOE1.0_TMAX180_K192_cod2.opb
COMMAND LINE= wbo1.72 -file-format=opb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3727893-1338673209/watcher-3727893-1338673209 -o /tmp/evaluation-result-3727893-1338673209/solver-3727893-1338673209 -C 1800 -W 1900 -M 15500  wbo1.72 -file-format=opb HOME/instance-3727893-1338673209.opb

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

MD5SUM BENCH= d26c1c744a6cc6b94bc88bd85095e6b9
RANDOM SEED=938544962

node102.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		: 2667.178
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	: 5334.35
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		: 2667.178
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.90
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		: 2667.178
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.91
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		: 2667.178
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		: 2667.178
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		: 2667.178
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	: 5438.54
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		: 2667.178
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		: 2667.178
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:        30824860 kB
Buffers:          127348 kB
Cached:           257196 kB
SwapCached:         5544 kB
Active:          1035200 kB
Inactive:         260952 kB
Active(anon):     908392 kB
Inactive(anon):     5524 kB
Active(file):     126808 kB
Inactive(file):   255428 kB
Unevictable:        8656 kB
Mlocked:            8656 kB
SwapTotal:      67108856 kB
SwapFree:       67097164 kB
Dirty:             32852 kB
Writeback:            16 kB
AnonPages:        917316 kB
Mapped:             9724 kB
Shmem:                 0 kB
Slab:             609316 kB
SReclaimable:      50212 kB
SUnreclaim:       559104 kB
KernelStack:        1464 kB
PageTables:         5896 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     161872 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    823296 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= 71144 MiB
End job on node102 at 2012-06-03 00:10:10