Trace number 3710619

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
SAT4J PB specific settings 2.3.2 snapshotOPT36 107.298 105.142

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/
submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb
MD5SUMb1277fdeb2e21bbaf9784bfe98a40d01
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark36
Best CPU time to get the best result obtained on this benchmark0.033994
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 36
Optimality of the best value was proved YES
Number of variables432
Total number of constraints1304
Number of constraints which are clauses1280
Number of constraints which are cardinality constraints (but not clauses)24
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint18
Number of terms in the objective function 432
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 432
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 432
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.03/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.03/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.07	c See www.sat4j.org for details.
0.03/0.07	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.03/0.07	c version 2.3.2.v20120418
0.03/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.07	c java.vm.version	19.1-b02
0.03/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.07	c sun.arch.data.model	64
0.03/0.07	c java.version		1.6.0_24
0.03/0.07	c os.name		Linux
0.03/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.07	c os.arch		amd64
0.03/0.07	c Free memory 		501472288
0.03/0.07	c Max memory 		7480803328
0.03/0.07	c Total memory 		504102912
0.03/0.07	c Number of processors 	8
0.10/0.11	c read org.sat4j.minisat.orders.VarOrderHeap
0.10/0.11	c configuring ORDERS
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=true
0.10/0.11	c Heuristics kept accross calls (keep the solver "hot")
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3710619-1338143820.opb
0.10/0.11	c reading problem ... 
0.27/0.24	c ... done. Wall clock time 0.126s.
0.27/0.24	c declared #vars     432
0.27/0.24	c #constraints  1304
0.27/0.24	c constraints type 
0.27/0.24	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 992
0.27/0.24	c org.sat4j.minisat.constraints.card.MinWatchCard => 24
0.27/0.24	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 288
0.27/0.24	c 1304 constraints processed.
0.73/0.46	c SATISFIABLE
0.73/0.46	c OPTIMIZING...
0.73/0.46	c Got one! Elapsed wall clock time (in seconds):0.345
0.73/0.46	o 64
0.73/0.47	c Got one! Elapsed wall clock time (in seconds):0.355
0.73/0.47	o 62
0.91/0.52	c cleaning 2728 clauses out of 5459 with flag 1000/5459
0.91/0.55	c Got one! Elapsed wall clock time (in seconds):0.441
0.91/0.55	o 60
1.08/0.68	c cleaning 4157 clauses out of 8331 with flag 5000/11059
1.21/0.83	c Got one! Elapsed wall clock time (in seconds):0.718
1.21/0.83	o 58
1.42/1.00	c cleaning 7448 clauses out of 14899 with flag 5000/21988
1.53/1.03	c Got one! Elapsed wall clock time (in seconds):0.918
1.53/1.03	o 56
1.64/1.16	c Got one! Elapsed wall clock time (in seconds):1.054
1.64/1.16	o 54
1.74/1.22	c cleaning 6868 clauses out of 13754 with flag 1001/28291
1.88/1.35	c Got one! Elapsed wall clock time (in seconds):1.238
1.88/1.35	o 52
1.99/1.41	c cleaning 6340 clauses out of 12696 with flag 2000/34101
2.20/1.62	c cleaning 6171 clauses out of 12356 with flag 8000/40101
2.31/1.78	c Got one! Elapsed wall clock time (in seconds):1.665
2.31/1.78	o 50
2.41/1.81	c cleaning 5654 clauses out of 11321 with flag 1001/45237
2.61/2.02	c cleaning 5824 clauses out of 11666 with flag 7000/51236
2.82/2.26	c cleaning 6414 clauses out of 12844 with flag 14002/58238
3.12/2.53	c cleaning 7205 clauses out of 14429 with flag 22001/66237
3.52/2.90	c cleaning 8110 clauses out of 16224 with flag 31001/75237
3.84/3.25	c cleaning 9049 clauses out of 18113 with flag 41000/85236
4.13/3.54	c Got one! Elapsed wall clock time (in seconds):3.427
4.13/3.54	o 48
4.33/3.71	c cleaning 10787 clauses out of 21594 with flag 5001/97766
4.54/3.95	c cleaning 8391 clauses out of 16808 with flag 11002/103767
4.74/4.19	c cleaning 7698 clauses out of 15416 with flag 18001/110766
5.06/4.47	c cleaning 7855 clauses out of 15718 with flag 26001/118766
5.25/4.67	c Got one! Elapsed wall clock time (in seconds):4.561
5.25/4.67	o 46
5.45/4.85	c cleaning 9376 clauses out of 18765 with flag 5000/129668
5.66/5.08	c cleaning 7674 clauses out of 15390 with flag 11001/135669
5.96/5.36	c cleaning 7351 clauses out of 14715 with flag 18000/142668
6.26/5.67	c cleaning 7674 clauses out of 15364 with flag 26000/150668
6.66/6.02	c cleaning 8330 clauses out of 16691 with flag 35001/159669
7.07/6.42	c cleaning 9169 clauses out of 18362 with flag 45002/169670
7.37/6.79	c cleaning 9940 clauses out of 19909 with flag 56002/180670
7.87/7.23	c cleaning 10975 clauses out of 21968 with flag 68001/192669
8.39/7.77	c cleaning 11982 clauses out of 23992 with flag 81000/205668
8.98/8.34	c cleaning 13003 clauses out of 26011 with flag 95001/219669
9.59/8.97	c cleaning 14004 clauses out of 28007 with flag 110000/234668
10.31/9.65	c cleaning 14998 clauses out of 30004 with flag 126001/250669
11.02/10.35	c cleaning 15995 clauses out of 32006 with flag 143001/267669
11.85/11.10	c cleaning 17002 clauses out of 34013 with flag 161003/285671
11.85/11.15	c Got one! Elapsed wall clock time (in seconds):11.036
11.85/11.15	o 44
12.16/11.43	c cleaning 11468 clauses out of 22953 with flag 5001/291613
12.36/11.66	c cleaning 8733 clauses out of 17484 with flag 11000/297612
12.67/11.93	c cleaning 7866 clauses out of 15751 with flag 18000/304612
12.97/12.23	c cleaning 7937 clauses out of 15886 with flag 26001/312613
13.28/12.56	c cleaning 8467 clauses out of 16948 with flag 35000/321612
13.70/12.96	c cleaning 9233 clauses out of 18482 with flag 45001/331613
14.22/13.40	c cleaning 10115 clauses out of 20249 with flag 56001/342613
14.63/13.89	c cleaning 11060 clauses out of 22133 with flag 68000/354612
15.24/14.43	c cleaning 12030 clauses out of 24074 with flag 81001/367613
15.84/15.02	c cleaning 13021 clauses out of 26044 with flag 95001/381613
16.46/15.68	c cleaning 14010 clauses out of 28023 with flag 110001/396613
17.16/16.33	c cleaning 14994 clauses out of 30012 with flag 126000/412612
17.88/17.01	c cleaning 16007 clauses out of 32020 with flag 143002/429614
18.60/17.76	c cleaning 17001 clauses out of 34012 with flag 161001/447613
19.51/18.61	c cleaning 17998 clauses out of 36012 with flag 180002/466614
20.31/19.47	c cleaning 19002 clauses out of 38013 with flag 200001/486613
21.31/20.44	c cleaning 20005 clauses out of 40010 with flag 221000/507612
22.31/21.47	c cleaning 20988 clauses out of 42005 with flag 243000/529612
23.42/22.58	c cleaning 21990 clauses out of 44017 with flag 266000/552612
24.64/23.75	c cleaning 23005 clauses out of 46028 with flag 290001/576613
25.96/25.02	c cleaning 24006 clauses out of 48022 with flag 315000/601612
27.06/26.17	c cleaning 24999 clauses out of 50017 with flag 341001/627613
28.30/27.38	c cleaning 26004 clauses out of 52017 with flag 368000/654612
29.61/28.69	c cleaning 27001 clauses out of 54013 with flag 396000/682612
30.54/29.58	c Got one! Elapsed wall clock time (in seconds):29.472
30.54/29.58	o 42
30.85/29.89	c cleaning 26414 clauses out of 52853 with flag 5001/708453
31.17/30.19	c cleaning 16211 clauses out of 32440 with flag 11002/714454
31.47/30.50	c cleaning 11601 clauses out of 23227 with flag 18000/721452
31.92/30.83	c cleaning 9806 clauses out of 19626 with flag 26000/729452
32.33/31.22	c cleaning 9403 clauses out of 18820 with flag 35000/738452
32.74/31.66	c cleaning 9701 clauses out of 19418 with flag 45001/748453
33.24/32.12	c cleaning 10341 clauses out of 20716 with flag 56000/759452
33.74/32.63	c cleaning 11175 clauses out of 22375 with flag 68000/771452
34.24/33.18	c cleaning 12098 clauses out of 24201 with flag 81001/784453
34.84/33.76	c cleaning 13043 clauses out of 26103 with flag 95001/798453
35.55/34.41	c cleaning 14023 clauses out of 28059 with flag 110000/813452
36.27/35.16	c cleaning 15012 clauses out of 30036 with flag 126000/829452
37.07/35.91	c cleaning 16004 clauses out of 32024 with flag 143000/846452
37.57/36.49	c Got one! Elapsed wall clock time (in seconds):36.381
37.57/36.49	o 40
37.90/36.74	c cleaning 17181 clauses out of 34380 with flag 5002/864812
38.21/37.04	c cleaning 11584 clauses out of 23198 with flag 11001/870811
38.52/37.34	c cleaning 9302 clauses out of 18614 with flag 18001/877811
38.81/37.67	c cleaning 8647 clauses out of 17313 with flag 26002/885812
39.22/38.03	c cleaning 8733 clauses out of 17483 with flag 35000/894810
39.62/38.42	c cleaning 9366 clauses out of 18750 with flag 45000/904810
40.02/38.88	c cleaning 10186 clauses out of 20384 with flag 56000/915810
40.54/39.37	c cleaning 11091 clauses out of 22198 with flag 68000/927810
41.15/39.93	c cleaning 12044 clauses out of 24110 with flag 81003/940813
41.77/40.52	c cleaning 13025 clauses out of 26063 with flag 95000/954810
42.38/41.13	c cleaning 14010 clauses out of 28039 with flag 110001/969811
42.99/41.75	c cleaning 15007 clauses out of 30030 with flag 126002/985812
43.69/42.45	c cleaning 16002 clauses out of 32021 with flag 143000/1002810
44.63/43.32	c cleaning 16998 clauses out of 34019 with flag 161000/1020810
45.43/44.20	c cleaning 18005 clauses out of 36023 with flag 180002/1039812
46.34/45.08	c cleaning 18996 clauses out of 38018 with flag 200002/1059812
47.35/46.02	c cleaning 20002 clauses out of 40020 with flag 221000/1080810
48.37/47.07	c cleaning 21007 clauses out of 42019 with flag 243001/1102811
48.88/47.57	c Got one! Elapsed wall clock time (in seconds):47.455
48.88/47.57	o 38
49.18/47.80	c cleaning 18319 clauses out of 36647 with flag 5000/1118446
49.40/48.07	c cleaning 12160 clauses out of 24329 with flag 11001/1124447
49.71/48.36	c cleaning 9571 clauses out of 19170 with flag 18002/1131448
50.00/48.69	c cleaning 8789 clauses out of 17598 with flag 26001/1139447
50.40/49.06	c cleaning 8896 clauses out of 17808 with flag 35000/1148446
50.83/49.47	c cleaning 9444 clauses out of 18912 with flag 45000/1158446
51.33/49.90	c cleaning 10222 clauses out of 20469 with flag 56001/1169447
51.74/50.38	c cleaning 11120 clauses out of 22246 with flag 68000/1181446
52.35/50.91	c cleaning 12060 clauses out of 24126 with flag 81000/1194446
52.98/51.50	c cleaning 13019 clauses out of 26066 with flag 95000/1208446
53.58/52.13	c cleaning 14019 clauses out of 28047 with flag 110000/1223446
54.29/52.83	c cleaning 15006 clauses out of 30029 with flag 126001/1239447
55.09/53.64	c cleaning 16005 clauses out of 32022 with flag 143000/1256446
55.90/54.43	c cleaning 17004 clauses out of 34017 with flag 161000/1274446
56.72/55.25	c cleaning 18004 clauses out of 36014 with flag 180001/1293447
57.65/56.12	c cleaning 19000 clauses out of 38010 with flag 200001/1313447
58.66/57.11	c cleaning 20001 clauses out of 40009 with flag 221000/1334446
59.59/58.09	c cleaning 20997 clauses out of 42009 with flag 243001/1356447
60.69/59.14	c cleaning 22000 clauses out of 44012 with flag 266001/1379447
61.82/60.21	c cleaning 22999 clauses out of 46013 with flag 290002/1403448
62.95/61.37	c cleaning 23998 clauses out of 48012 with flag 315000/1428446
64.16/62.57	c cleaning 24995 clauses out of 50015 with flag 341001/1454447
65.46/63.86	c cleaning 26005 clauses out of 52019 with flag 368000/1481446
66.86/65.21	c cleaning 27000 clauses out of 54014 with flag 396000/1509446
68.07/66.46	c Got one! Elapsed wall clock time (in seconds):66.354
68.07/66.46	o 36
68.47/66.85	c cleaning 30483 clauses out of 60975 with flag 5000/1543407
68.80/67.17	c cleaning 18241 clauses out of 36493 with flag 11001/1549408
69.11/67.49	c cleaning 12616 clauses out of 25253 with flag 18002/1556409
69.51/67.82	c cleaning 10307 clauses out of 20636 with flag 26001/1564408
69.93/68.23	c cleaning 9647 clauses out of 19328 with flag 35000/1573407
70.34/68.67	c cleaning 9832 clauses out of 19681 with flag 45000/1583407
70.84/69.10	c cleaning 10414 clauses out of 20849 with flag 56000/1594407
71.38/69.64	c cleaning 11210 clauses out of 22435 with flag 68000/1606407
71.99/70.22	c cleaning 12106 clauses out of 24227 with flag 81002/1619409
72.59/70.83	c cleaning 13050 clauses out of 26120 with flag 95001/1633408
73.21/71.48	c cleaning 14025 clauses out of 28070 with flag 110001/1648408
73.91/72.20	c cleaning 15015 clauses out of 30044 with flag 126000/1664407
74.61/72.89	c cleaning 16012 clauses out of 32032 with flag 143003/1681410
75.53/73.70	c cleaning 17000 clauses out of 34017 with flag 161000/1699407
76.33/74.51	c cleaning 18006 clauses out of 36020 with flag 180003/1718410
77.24/75.45	c cleaning 18995 clauses out of 38011 with flag 200000/1738407
78.28/76.44	c cleaning 20002 clauses out of 40016 with flag 221000/1759407
79.38/77.50	c cleaning 21000 clauses out of 42016 with flag 243002/1781409
80.49/78.68	c cleaning 22003 clauses out of 44015 with flag 266001/1804408
81.70/79.89	c cleaning 23000 clauses out of 46013 with flag 290002/1828409
83.03/81.13	c cleaning 23999 clauses out of 48012 with flag 315001/1853408
84.45/82.54	c cleaning 25004 clauses out of 50014 with flag 341002/1879409
85.85/83.93	c cleaning 25999 clauses out of 52009 with flag 368001/1906408
87.17/85.21	c cleaning 27004 clauses out of 54010 with flag 396001/1934408
88.39/86.45	c cleaning 27997 clauses out of 56006 with flag 425001/1963408
89.70/87.78	c cleaning 29000 clauses out of 58008 with flag 455000/1993407
91.43/89.42	c cleaning 29921 clauses out of 59858 with flag 486000/2024407
93.03/91.06	c cleaning 30832 clauses out of 61684 with flag 518000/2056407
94.85/92.82	c cleaning 31920 clauses out of 63852 with flag 551000/2089407
96.56/94.58	c cleaning 32962 clauses out of 65933 with flag 585001/2123408
98.36/96.38	c cleaning 33982 clauses out of 67970 with flag 620000/2158407
100.16/98.16	c cleaning 24588 clauses out of 49191 with flag 656000/2194407
101.97/99.94	c cleaning 13507 clauses out of 27025 with flag 693001/2231408
103.77/101.76	c cleaning 25758 clauses out of 51517 with flag 731000/2269407
105.89/103.83	c cleaning 25366 clauses out of 50743 with flag 770000/2308407
107.19/105.13	c starts		: 243
107.19/105.13	c conflicts		: 2337264
107.19/105.13	c decisions		: 2462455
107.19/105.13	c propagations		: 53565643
107.19/105.13	c inspects		: 696192314
107.19/105.13	c shortcuts		: 0
107.19/105.13	c learnt literals	: 20
107.19/105.13	c learnt binary clauses	: 163
107.19/105.13	c learnt ternary clauses	: 718
107.19/105.13	c learnt constraints	: 2337243
107.19/105.13	c ignored constraints	: 0
107.19/105.13	c root simplifications	: 262
107.19/105.13	c removed literals (reason simplification)	: 9608481
107.19/105.14	c reason swapping (by a shorter reason)	: 0
107.19/105.14	c Calls to reduceDB	: 144
107.19/105.14	c number of reductions to clauses (during analyze)	: 0
107.19/105.14	c number of learned constraints concerned by reduction	: 0
107.19/105.14	c number of learning phase by resolution	: 0
107.19/105.14	c number of learning phase by cutting planes	: 0
107.19/105.14	c speed (assignments/second)	: 510669.3773655058
107.19/105.14	c non guided choices	995
107.19/105.14	c learnt constraints type 
107.19/105.14	c constraints type 
107.19/105.14	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 992
107.19/105.14	c org.sat4j.minisat.constraints.card.MinWatchCard => 24
107.19/105.14	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 288
107.19/105.14	c 1304 constraints processed.
107.19/105.14	s OPTIMUM FOUND
107.19/105.14	v -x1 -x2 -x3 -x4 -x5 -x6 x7 x8 -x9 -x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 -x18 x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 x31 x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 x86 -x87 -x88 -x89 x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 x122 -x123 x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 x169 -x170 -x171 -x172 x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 x182 -x183 -x184 -x185 -x186 x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 x427 -x428 -x429 -x430 -x431 -x432 
107.19/105.14	c objective function=36
107.19/105.14	c Total wall clock time (in seconds): 105.024

Verifier Data 

OK	36

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-3710619-1338143820/watcher-3710619-1338143820 -o /tmp/evaluation-result-3710619-1338143820/solver-3710619-1338143820 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710619-1338143820.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: 1.85 1.98 1.98 4/195 20903
/proc/meminfo: memFree=31065220/32873844 swapFree=7900/7900
[pid=20903] ppid=20901 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/20903/stat : 20903 (java) R 20901 20903 18146 0 -1 4202496 966 0 0 0 0 0 0 0 20 0 1 0 280506538 23793664 693 33554432000 1073741824 1073778376 140737224936800 140737224925864 225435499059 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/20903/statm: 5809 702 516 9 0 128 0

[startup+0.046364 s]
/proc/loadavg: 1.85 1.98 1.98 4/195 20903
/proc/meminfo: memFree=31065220/32873844 swapFree=7900/7900
[pid=20903] ppid=20901 vsize=9225560 CPUtime=0.03 cores=1,3,5,7
/proc/20903/stat : 20903 (java) S 20901 20903 18146 0 -1 4202496 3079 0 1 0 2 1 0 0 20 0 13 0 280506538 9446973440 3776 33554432000 1073741824 1073778376 140737224936800 140737224927936 225448067133 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20903/statm: 2306390 3777 1708 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560

[startup+0.100306 s]
/proc/loadavg: 1.85 1.98 1.98 4/195 20903
/proc/meminfo: memFree=31065220/32873844 swapFree=7900/7900
[pid=20903] ppid=20901 vsize=9558440 CPUtime=0.1 cores=1,3,5,7
/proc/20903/stat : 20903 (java) S 20901 20903 18146 0 -1 4202496 4345 0 1 0 9 1 0 0 20 0 18 0 280506538 9787842560 6063 33554432000 1073741824 1073778376 140737224936800 140737224927936 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20903/statm: 2389610 6063 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558440

[startup+0.300162 s]
/proc/loadavg: 1.85 1.98 1.98 4/195 20903
/proc/meminfo: memFree=31065220/32873844 swapFree=7900/7900
[pid=20903] ppid=20901 vsize=9625004 CPUtime=0.49 cores=1,3,5,7
/proc/20903/stat : 20903 (java) S 20901 20903 18146 0 -1 4202496 6727 0 1 0 47 2 0 0 20 0 19 0 280506538 9856004096 9051 33554432000 1073741824 1073778376 140737224936800 140737224927936 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20903/statm: 2406251 9051 2237 9 0 2396937 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9625004

[startup+0.700288 s]
/proc/loadavg: 1.85 1.98 1.98 4/195 20903
/proc/meminfo: memFree=31065220/32873844 swapFree=7900/7900
[pid=20903] ppid=20901 vsize=9625004 CPUtime=1.21 cores=1,3,5,7
/proc/20903/stat : 20903 (java) S 20901 20903 18146 0 -1 4202496 7604 0 1 0 118 3 0 0 20 0 19 0 280506538 9856004096 10726 33554432000 1073741824 1073778376 140737224936800 140737224927936 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20903/statm: 2406251 10726 2276 9 0 2396937 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 9625004

[startup+1.50068 s]
/proc/loadavg: 1.94 2.00 1.98 3/213 20922
/proc/meminfo: memFree=31031436/32873844 swapFree=7900/7900
[pid=20903] ppid=20901 vsize=9625004 CPUtime=2.1 cores=1,3,5,7
/proc/20903/stat : 20903 (java) S 20901 20903 18146 0 -1 4202496 8014 0 1 0 207 3 0 0 20 0 19 0 280506538 9856004096 10762 33554432000 1073741824 1073778376 140737224936800 140737224927936 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20903/statm: 2406251 10762 2278 9 0 2396937 0
[pid=20903/tid=20905] ppid=20901 vsize=9625004 CPUtime=1.41 cores=1,3,5,7
/proc/20903/task/20905/stat : 20905 (java) R 20901 20903 18146 0 -1 4202560 2505 0 1 0 139 2 0 0 20 0 19 0 280506539 9856004096 10762 33554432000 1073741824 1073778376 140737224936800 139763094524312 139762950709137 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20903/tid=20906] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20906/stat : 20906 (java) S 20901 20903 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280506539 9856004096 10762 33554432000 1073741824 1073778376 140737224936800 139763072624808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20903/tid=20907] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20907/stat : 20907 (java) S 20901 20903 18146 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 280506539 9856004096 10762 33554432000 1073741824 1073778376 140737224936800 139763071572264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20908] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20908/stat : 20908 (java) S 20901 20903 18146 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280506539 9856004096 10762 33554432000 1073741824 1073778376 140737224936800 139763070519720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20903/tid=20909] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20909/stat : 20909 (java) S 20901 20903 18146 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 280506539 9856004096 10762 33554432000 1073741824 1073778376 140737224936800 139763069467176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20903/tid=20910] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20910/stat : 20910 (java) S 20901 20903 18146 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 280506539 9856004096 10762 33554432000 1073741824 1073778376 140737224936800 139762732100264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20903/tid=20911] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20911/stat : 20911 (java) S 20901 20903 18146 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 280506539 9856004096 10762 33554432000 1073741824 1073778376 140737224936800 139762731047720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20903/tid=20912] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20912/stat : 20912 (java) S 20901 20903 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280506539 9856004096 10762 33554432000 1073741824 1073778376 140737224936800 139762729995176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20913] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20913/stat : 20913 (java) S 20901 20903 18146 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280506539 9856004096 10762 33554432000 1073741824 1073778376 140737224936800 139762728942632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20903/tid=20914] ppid=20901 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/20903/task/20914/stat : 20914 (java) S 20901 20903 18146 0 -1 4202560 30 0 0 0 4 0 0 0 20 0 19 0 280506540 9856004096 10762 33554432000 1073741824 1073778376 140737224936800 139762716743784 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20903/tid=20915] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20915/stat : 20915 (java) S 20901 20903 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280506541 9856004096 10762 33554432000 1073741824 1073778376 140737224936800 139762715690104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20916] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20916/stat : 20916 (java) S 20901 20903 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280506541 9856004096 10762 33554432000 1073741824 1073778376 140737224936800 139762714637448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20917] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20917/stat : 20917 (java) S 20901 20903 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280506543 9856004096 10762 33554432000 1073741824 1073778376 140737224936800 139762713586192 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20918] ppid=20901 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/20903/task/20918/stat : 20918 (java) S 20901 20903 18146 0 -1 4202560 1908 0 0 0 29 0 0 0 20 0 19 0 280506543 9856004096 10762 33554432000 1073741824 1073778376 140737224936800 139762712533560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20919] ppid=20901 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/20903/task/20919/stat : 20919 (java) S 20901 20903 18146 0 -1 4202560 2325 0 0 0 27 0 0 0 20 0 19 0 280506543 9856004096 10762 33554432000 1073741824 1073778376 140737224936800 139762711481016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20903/tid=20920] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20920/stat : 20920 (java) S 20901 20903 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280506543 9856004096 10762 33554432000 1073741824 1073778376 140737224936800 139762710428664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20903/tid=20921] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20921/stat : 20921 (java) S 20901 20903 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280506543 9856004096 10762 33554432000 1073741824 1073778376 140737224936800 139762709376328 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20903/tid=20922] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20922/stat : 20922 (java) S 20901 20903 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280506562 9856004096 10762 33554432000 1073741824 1073778376 140737224936800 139762708321064 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.1
Current children cumulated vsize (KiB) 9625004

[startup+3.10076 s]
/proc/loadavg: 1.94 2.00 1.98 3/213 20922
/proc/meminfo: memFree=31026728/32873844 swapFree=7900/7900
[pid=20903] ppid=20901 vsize=9625004 CPUtime=3.73 cores=1,3,5,7
/proc/20903/stat : 20903 (java) S 20901 20903 18146 0 -1 4202496 8032 0 1 0 370 3 0 0 20 0 19 0 280506538 9856004096 11793 33554432000 1073741824 1073778376 140737224936800 140737224927936 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20903/statm: 2406251 11793 2278 9 0 2396937 0
[pid=20903/tid=20905] ppid=20901 vsize=9625004 CPUtime=2.94 cores=1,3,5,7
/proc/20903/task/20905/stat : 20905 (java) R 20901 20903 18146 0 -1 4202560 2511 0 1 0 292 2 0 0 20 0 19 0 280506539 9856004096 11793 33554432000 1073741824 1073778376 140737224936800 139763094524312 139762950760384 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20903/tid=20906] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20906/stat : 20906 (java) S 20901 20903 18146 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 280506539 9856004096 11793 33554432000 1073741824 1073778376 140737224936800 139763072624808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20903/tid=20907] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20907/stat : 20907 (java) S 20901 20903 18146 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 280506539 9856004096 11793 33554432000 1073741824 1073778376 140737224936800 139763071572264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20903/tid=20908] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20908/stat : 20908 (java) S 20901 20903 18146 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280506539 9856004096 11793 33554432000 1073741824 1073778376 140737224936800 139763070519720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20903/tid=20909] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20909/stat : 20909 (java) S 20901 20903 18146 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 280506539 9856004096 11793 33554432000 1073741824 1073778376 140737224936800 139763069467176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20903/tid=20910] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20910/stat : 20910 (java) S 20901 20903 18146 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 280506539 9856004096 11793 33554432000 1073741824 1073778376 140737224936800 139762732100264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20911] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20911/stat : 20911 (java) S 20901 20903 18146 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 280506539 9856004096 11793 33554432000 1073741824 1073778376 140737224936800 139762731047720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20912] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20912/stat : 20912 (java) S 20901 20903 18146 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280506539 9856004096 11793 33554432000 1073741824 1073778376 140737224936800 139762729995176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20913] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20913/stat : 20913 (java) S 20901 20903 18146 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280506539 9856004096 11793 33554432000 1073741824 1073778376 140737224936800 139762728942632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20903/tid=20914] ppid=20901 vsize=9625004 CPUtime=0.1 cores=1,3,5,7
/proc/20903/task/20914/stat : 20914 (java) S 20901 20903 18146 0 -1 4202560 31 0 0 0 10 0 0 0 20 0 19 0 280506540 9856004096 11793 33554432000 1073741824 1073778376 140737224936800 139762716743784 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20903/tid=20915] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20915/stat : 20915 (java) S 20901 20903 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280506541 9856004096 11793 33554432000 1073741824 1073778376 140737224936800 139762715690104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20916] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20916/stat : 20916 (java) S 20901 20903 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280506541 9856004096 11793 33554432000 1073741824 1073778376 140737224936800 139762714637448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20917] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20917/stat : 20917 (java) S 20901 20903 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280506543 9856004096 11793 33554432000 1073741824 1073778376 140737224936800 139762713586192 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20918] ppid=20901 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/20903/task/20918/stat : 20918 (java) S 20901 20903 18146 0 -1 4202560 1908 0 0 0 29 0 0 0 20 0 19 0 280506543 9856004096 11793 33554432000 1073741824 1073778376 140737224936800 139762712533560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20919] ppid=20901 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/20903/task/20919/stat : 20919 (java) S 20901 20903 18146 0 -1 4202560 2325 0 0 0 27 0 0 0 20 0 19 0 280506543 9856004096 11793 33554432000 1073741824 1073778376 140737224936800 139762711481016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20903/tid=20920] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20920/stat : 20920 (java) S 20901 20903 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280506543 9856004096 11793 33554432000 1073741824 1073778376 140737224936800 139762710428664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20903/tid=20921] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20921/stat : 20921 (java) S 20901 20903 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280506543 9856004096 11793 33554432000 1073741824 1073778376 140737224936800 139762709376328 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20903/tid=20922] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20922/stat : 20922 (java) S 20901 20903 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280506562 9856004096 11793 33554432000 1073741824 1073778376 140737224936800 139762708321064 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.73
Current children cumulated vsize (KiB) 9625004

[startup+6.30066 s]
/proc/loadavg: 1.94 2.00 1.98 3/213 20922
/proc/meminfo: memFree=31022496/32873844 swapFree=7900/7900
[pid=20903] ppid=20901 vsize=9625004 CPUtime=6.97 cores=1,3,5,7
/proc/20903/stat : 20903 (java) S 20901 20903 18146 0 -1 4202496 8046 0 1 0 694 3 0 0 20 0 19 0 280506538 9856004096 11733 33554432000 1073741824 1073778376 140737224936800 140737224927936 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20903/statm: 2406251 11733 2278 9 0 2396937 0
[pid=20903/tid=20905] ppid=20901 vsize=9625004 CPUtime=6.01 cores=1,3,5,7
/proc/20903/task/20905/stat : 20905 (java) R 20901 20903 18146 0 -1 4202560 2522 0 1 0 599 2 0 0 20 0 19 0 280506539 9856004096 11733 33554432000 1073741824 1073778376 140737224936800 139763094524152 139762950745000 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=20903/tid=20906] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20906/stat : 20906 (java) S 20901 20903 18146 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 280506539 9856004096 11733 33554432000 1073741824 1073778376 140737224936800 139763072624808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20903/tid=20907] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20907/stat : 20907 (java) S 20901 20903 18146 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 280506539 9856004096 11733 33554432000 1073741824 1073778376 140737224936800 139763071572264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20903/tid=20908] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20908/stat : 20908 (java) S 20901 20903 18146 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280506539 9856004096 11733 33554432000 1073741824 1073778376 140737224936800 139763070519720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20903/tid=20909] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20909/stat : 20909 (java) S 20901 20903 18146 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 280506539 9856004096 11733 33554432000 1073741824 1073778376 140737224936800 139763069467176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20910] ppid=20901 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/20903/task/20910/stat : 20910 (java) S 20901 20903 18146 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 280506539 9856004096 11733 33554432000 1073741824 1073778376 140737224936800 139762732100264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20903/tid=20911] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20911/stat : 20911 (java) S 20901 20903 18146 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 280506539 9856004096 11733 33554432000 1073741824 1073778376 140737224936800 139762731047720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20903/tid=20912] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20912/stat : 20912 (java) S 20901 20903 18146 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 280506539 9856004096 11733 33554432000 1073741824 1073778376 140737224936800 139762729995176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20913] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20913/stat : 20913 (java) S 20901 20903 18146 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 280506539 9856004096 11733 33554432000 1073741824 1073778376 140737224936800 139762728942632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20903/tid=20914] ppid=20901 vsize=9625004 CPUtime=0.21 cores=1,3,5,7
/proc/20903/task/20914/stat : 20914 (java) S 20901 20903 18146 0 -1 4202560 31 0 0 0 21 0 0 0 20 0 19 0 280506540 9856004096 11733 33554432000 1073741824 1073778376 140737224936800 139762716743784 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20903/tid=20915] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20915/stat : 20915 (java) S 20901 20903 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280506541 9856004096 11733 33554432000 1073741824 1073778376 140737224936800 139762715690104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20916] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20916/stat : 20916 (java) S 20901 20903 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280506541 9856004096 11733 33554432000 1073741824 1073778376 140737224936800 139762714637448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20917] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20917/stat : 20917 (java) S 20901 20903 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280506543 9856004096 11733 33554432000 1073741824 1073778376 140737224936800 139762713586192 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20918] ppid=20901 vsize=9625004 CPUtime=0.3 cores=1,3,5,7
/proc/20903/task/20918/stat : 20918 (java) S 20901 20903 18146 0 -1 4202560 1908 0 0 0 30 0 0 0 20 0 19 0 280506543 9856004096 11733 33554432000 1073741824 1073778376 140737224936800 139762712533560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20919] ppid=20901 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/20903/task/20919/stat : 20919 (java) S 20901 20903 18146 0 -1 4202560 2325 0 0 0 27 0 0 0 20 0 19 0 280506543 9856004096 11733 33554432000 1073741824 1073778376 140737224936800 139762711481016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20903/tid=20920] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20920/stat : 20920 (java) S 20901 20903 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280506543 9856004096 11733 33554432000 1073741824 1073778376 140737224936800 139762710428664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20903/tid=20921] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20921/stat : 20921 (java) S 20901 20903 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280506543 9856004096 11733 33554432000 1073741824 1073778376 140737224936800 139762709376328 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20903/tid=20922] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20922/stat : 20922 (java) S 20901 20903 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280506562 9856004096 11733 33554432000 1073741824 1073778376 140737224936800 139762708321064 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.97
Current children cumulated vsize (KiB) 9625004

[startup+12.7008 s]

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

/proc/20903/task/20907/stat : 20907 (java) S 20901 20903 18146 0 -1 4202560 24 0 0 0 26 0 0 0 20 0 19 0 280506539 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139763071572264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20903/tid=20908] ppid=20901 vsize=9625004 CPUtime=0.23 cores=1,3,5,7
/proc/20903/task/20908/stat : 20908 (java) S 20901 20903 18146 0 -1 4202560 14 0 0 0 23 0 0 0 20 0 19 0 280506539 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139763070519720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20903/tid=20909] ppid=20901 vsize=9625004 CPUtime=0.26 cores=1,3,5,7
/proc/20903/task/20909/stat : 20909 (java) S 20901 20903 18146 0 -1 4202560 30 0 0 0 26 0 0 0 20 0 19 0 280506539 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139763069467176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20903/tid=20910] ppid=20901 vsize=9625004 CPUtime=0.26 cores=1,3,5,7
/proc/20903/task/20910/stat : 20910 (java) S 20901 20903 18146 0 -1 4202560 20 0 0 0 26 0 0 0 20 0 19 0 280506539 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762732100264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20911] ppid=20901 vsize=9625004 CPUtime=0.24 cores=1,3,5,7
/proc/20903/task/20911/stat : 20911 (java) S 20901 20903 18146 0 -1 4202560 19 0 0 0 24 0 0 0 20 0 19 0 280506539 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762731047720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20912] ppid=20901 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/20903/task/20912/stat : 20912 (java) S 20901 20903 18146 0 -1 4202560 27 0 0 0 25 0 0 0 20 0 19 0 280506539 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762729995176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20903/tid=20913] ppid=20901 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/20903/task/20913/stat : 20913 (java) S 20901 20903 18146 0 -1 4202560 16 0 0 0 27 0 0 0 20 0 19 0 280506539 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762728942632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20903/tid=20914] ppid=20901 vsize=9625004 CPUtime=2.17 cores=1,3,5,7
/proc/20903/task/20914/stat : 20914 (java) S 20901 20903 18146 0 -1 4202560 40 0 0 0 216 1 0 0 20 0 19 0 280506540 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762716743784 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20903/tid=20915] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20915/stat : 20915 (java) S 20901 20903 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280506541 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762715690104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20916] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20916/stat : 20916 (java) S 20901 20903 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280506541 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762714637448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20917] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20917/stat : 20917 (java) S 20901 20903 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280506543 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762713586192 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20918] ppid=20901 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/20903/task/20918/stat : 20918 (java) S 20901 20903 18146 0 -1 4202560 2276 0 0 0 34 0 0 0 20 0 19 0 280506543 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762712533560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20919] ppid=20901 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/20903/task/20919/stat : 20919 (java) S 20901 20903 18146 0 -1 4202560 2331 0 0 0 29 0 0 0 20 0 19 0 280506543 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762711481016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20903/tid=20920] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20920/stat : 20920 (java) S 20901 20903 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280506543 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762710428664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20903/tid=20921] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20921/stat : 20921 (java) S 20901 20903 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280506543 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762709376328 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20903/tid=20922] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20922/stat : 20922 (java) S 20901 20903 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280506562 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762708321064 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 104.39
Current children cumulated vsize (KiB) 9625004

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

[startup+103.901 s]
/proc/loadavg: 1.96 1.98 1.98 3/213 20922
/proc/meminfo: memFree=30978540/32873844 swapFree=7900/7900
[pid=20903] ppid=20901 vsize=9625004 CPUtime=105.99 cores=1,3,5,7
/proc/20903/stat : 20903 (java) S 20901 20903 18146 0 -1 4202496 8689 0 1 0 10588 11 0 0 20 0 19 0 280506538 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 140737224927936 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20903/statm: 2406251 15250 2279 9 0 2396937 0
[pid=20903/tid=20905] ppid=20901 vsize=9625004 CPUtime=100.96 cores=1,3,5,7
/proc/20903/task/20905/stat : 20905 (java) R 20901 20903 18146 0 -1 4202560 2645 0 1 0 10093 3 0 0 20 0 19 0 280506539 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139763094524312 139762950687143 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20903/tid=20906] ppid=20901 vsize=9625004 CPUtime=0.23 cores=1,3,5,7
/proc/20903/task/20906/stat : 20906 (java) S 20901 20903 18146 0 -1 4202560 58 0 0 0 23 0 0 0 20 0 19 0 280506539 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139763072624808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20903/tid=20907] ppid=20901 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/20903/task/20907/stat : 20907 (java) S 20901 20903 18146 0 -1 4202560 24 0 0 0 27 0 0 0 20 0 19 0 280506539 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139763071572264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20903/tid=20908] ppid=20901 vsize=9625004 CPUtime=0.23 cores=1,3,5,7
/proc/20903/task/20908/stat : 20908 (java) S 20901 20903 18146 0 -1 4202560 14 0 0 0 23 0 0 0 20 0 19 0 280506539 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139763070519720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20903/tid=20909] ppid=20901 vsize=9625004 CPUtime=0.26 cores=1,3,5,7
/proc/20903/task/20909/stat : 20909 (java) S 20901 20903 18146 0 -1 4202560 30 0 0 0 26 0 0 0 20 0 19 0 280506539 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139763069467176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20903/tid=20910] ppid=20901 vsize=9625004 CPUtime=0.26 cores=1,3,5,7
/proc/20903/task/20910/stat : 20910 (java) S 20901 20903 18146 0 -1 4202560 20 0 0 0 26 0 0 0 20 0 19 0 280506539 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762732100264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20911] ppid=20901 vsize=9625004 CPUtime=0.24 cores=1,3,5,7
/proc/20903/task/20911/stat : 20911 (java) S 20901 20903 18146 0 -1 4202560 19 0 0 0 24 0 0 0 20 0 19 0 280506539 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762731047720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20912] ppid=20901 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/20903/task/20912/stat : 20912 (java) S 20901 20903 18146 0 -1 4202560 27 0 0 0 25 0 0 0 20 0 19 0 280506539 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762729995176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20903/tid=20913] ppid=20901 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/20903/task/20913/stat : 20913 (java) S 20901 20903 18146 0 -1 4202560 16 0 0 0 27 0 0 0 20 0 19 0 280506539 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762728942632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20903/tid=20914] ppid=20901 vsize=9625004 CPUtime=2.2 cores=1,3,5,7
/proc/20903/task/20914/stat : 20914 (java) S 20901 20903 18146 0 -1 4202560 40 0 0 0 219 1 0 0 20 0 19 0 280506540 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762716743784 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20903/tid=20915] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20915/stat : 20915 (java) S 20901 20903 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280506541 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762715690104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20916] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20916/stat : 20916 (java) S 20901 20903 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280506541 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762714637448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20917] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20917/stat : 20917 (java) S 20901 20903 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280506543 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762713586192 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20918] ppid=20901 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/20903/task/20918/stat : 20918 (java) S 20901 20903 18146 0 -1 4202560 2276 0 0 0 34 0 0 0 20 0 19 0 280506543 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762712533560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20919] ppid=20901 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/20903/task/20919/stat : 20919 (java) S 20901 20903 18146 0 -1 4202560 2331 0 0 0 29 0 0 0 20 0 19 0 280506543 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762711481016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20903/tid=20920] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20920/stat : 20920 (java) S 20901 20903 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280506543 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762710428664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20903/tid=20921] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20921/stat : 20921 (java) S 20901 20903 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280506543 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762709376328 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20903/tid=20922] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20922/stat : 20922 (java) S 20901 20903 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280506562 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762708321064 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 105.99
Current children cumulated vsize (KiB) 9625004

[startup+104.701 s]
/proc/loadavg: 1.96 1.98 1.98 3/213 20922
/proc/meminfo: memFree=30978540/32873844 swapFree=7900/7900
[pid=20903] ppid=20901 vsize=9625004 CPUtime=106.79 cores=1,3,5,7
/proc/20903/stat : 20903 (java) S 20901 20903 18146 0 -1 4202496 8689 0 1 0 10668 11 0 0 20 0 19 0 280506538 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 140737224927936 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20903/statm: 2406251 15250 2279 9 0 2396937 0
[pid=20903/tid=20905] ppid=20901 vsize=9625004 CPUtime=101.76 cores=1,3,5,7
/proc/20903/task/20905/stat : 20905 (java) R 20901 20903 18146 0 -1 4202560 2645 0 1 0 10173 3 0 0 20 0 19 0 280506539 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139763094524192 139762950824211 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20903/tid=20906] ppid=20901 vsize=9625004 CPUtime=0.23 cores=1,3,5,7
/proc/20903/task/20906/stat : 20906 (java) S 20901 20903 18146 0 -1 4202560 58 0 0 0 23 0 0 0 20 0 19 0 280506539 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139763072624808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20903/tid=20907] ppid=20901 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/20903/task/20907/stat : 20907 (java) S 20901 20903 18146 0 -1 4202560 24 0 0 0 27 0 0 0 20 0 19 0 280506539 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139763071572264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20903/tid=20908] ppid=20901 vsize=9625004 CPUtime=0.23 cores=1,3,5,7
/proc/20903/task/20908/stat : 20908 (java) S 20901 20903 18146 0 -1 4202560 14 0 0 0 23 0 0 0 20 0 19 0 280506539 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139763070519720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20903/tid=20909] ppid=20901 vsize=9625004 CPUtime=0.26 cores=1,3,5,7
/proc/20903/task/20909/stat : 20909 (java) S 20901 20903 18146 0 -1 4202560 30 0 0 0 26 0 0 0 20 0 19 0 280506539 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139763069467176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20903/tid=20910] ppid=20901 vsize=9625004 CPUtime=0.26 cores=1,3,5,7
/proc/20903/task/20910/stat : 20910 (java) S 20901 20903 18146 0 -1 4202560 20 0 0 0 26 0 0 0 20 0 19 0 280506539 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762732100264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20911] ppid=20901 vsize=9625004 CPUtime=0.24 cores=1,3,5,7
/proc/20903/task/20911/stat : 20911 (java) S 20901 20903 18146 0 -1 4202560 19 0 0 0 24 0 0 0 20 0 19 0 280506539 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762731047720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20912] ppid=20901 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/20903/task/20912/stat : 20912 (java) S 20901 20903 18146 0 -1 4202560 27 0 0 0 25 0 0 0 20 0 19 0 280506539 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762729995176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20903/tid=20913] ppid=20901 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/20903/task/20913/stat : 20913 (java) S 20901 20903 18146 0 -1 4202560 16 0 0 0 27 0 0 0 20 0 19 0 280506539 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762728942632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20903/tid=20914] ppid=20901 vsize=9625004 CPUtime=2.2 cores=1,3,5,7
/proc/20903/task/20914/stat : 20914 (java) S 20901 20903 18146 0 -1 4202560 40 0 0 0 219 1 0 0 20 0 19 0 280506540 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762716743784 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20903/tid=20915] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20915/stat : 20915 (java) S 20901 20903 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280506541 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762715690104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20916] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20916/stat : 20916 (java) S 20901 20903 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280506541 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762714637448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20917] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20917/stat : 20917 (java) S 20901 20903 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280506543 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762713586192 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20918] ppid=20901 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/20903/task/20918/stat : 20918 (java) S 20901 20903 18146 0 -1 4202560 2276 0 0 0 34 0 0 0 20 0 19 0 280506543 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762712533560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20919] ppid=20901 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/20903/task/20919/stat : 20919 (java) S 20901 20903 18146 0 -1 4202560 2331 0 0 0 29 0 0 0 20 0 19 0 280506543 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762711481016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20903/tid=20920] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20920/stat : 20920 (java) S 20901 20903 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280506543 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762710428664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20903/tid=20921] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20921/stat : 20921 (java) S 20901 20903 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280506543 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762709376328 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20903/tid=20922] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20922/stat : 20922 (java) S 20901 20903 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280506562 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762708321064 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 106.79
Current children cumulated vsize (KiB) 9625004

[startup+105.101 s]
/proc/loadavg: 1.96 1.98 1.98 3/213 20922
/proc/meminfo: memFree=30978540/32873844 swapFree=7900/7900
[pid=20903] ppid=20901 vsize=9625004 CPUtime=107.19 cores=1,3,5,7
/proc/20903/stat : 20903 (java) S 20901 20903 18146 0 -1 4202496 8689 0 1 0 10708 11 0 0 20 0 19 0 280506538 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 140737224927936 225448067133 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/20903/statm: 2406251 15250 2279 9 0 2396937 0
[pid=20903/tid=20905] ppid=20901 vsize=9625004 CPUtime=102.16 cores=1,3,5,7
/proc/20903/task/20905/stat : 20905 (java) R 20901 20903 18146 0 -1 4202560 2645 0 1 0 10213 3 0 0 20 0 19 0 280506539 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139763094524192 139762950744960 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=20903/tid=20906] ppid=20901 vsize=9625004 CPUtime=0.23 cores=1,3,5,7
/proc/20903/task/20906/stat : 20906 (java) S 20901 20903 18146 0 -1 4202560 58 0 0 0 23 0 0 0 20 0 19 0 280506539 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139763072624808 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20903/tid=20907] ppid=20901 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/20903/task/20907/stat : 20907 (java) S 20901 20903 18146 0 -1 4202560 24 0 0 0 27 0 0 0 20 0 19 0 280506539 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139763071572264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20903/tid=20908] ppid=20901 vsize=9625004 CPUtime=0.23 cores=1,3,5,7
/proc/20903/task/20908/stat : 20908 (java) S 20901 20903 18146 0 -1 4202560 14 0 0 0 23 0 0 0 20 0 19 0 280506539 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139763070519720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20903/tid=20909] ppid=20901 vsize=9625004 CPUtime=0.26 cores=1,3,5,7
/proc/20903/task/20909/stat : 20909 (java) S 20901 20903 18146 0 -1 4202560 30 0 0 0 26 0 0 0 20 0 19 0 280506539 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139763069467176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20903/tid=20910] ppid=20901 vsize=9625004 CPUtime=0.26 cores=1,3,5,7
/proc/20903/task/20910/stat : 20910 (java) S 20901 20903 18146 0 -1 4202560 20 0 0 0 26 0 0 0 20 0 19 0 280506539 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762732100264 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20911] ppid=20901 vsize=9625004 CPUtime=0.24 cores=1,3,5,7
/proc/20903/task/20911/stat : 20911 (java) S 20901 20903 18146 0 -1 4202560 19 0 0 0 24 0 0 0 20 0 19 0 280506539 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762731047720 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20912] ppid=20901 vsize=9625004 CPUtime=0.25 cores=1,3,5,7
/proc/20903/task/20912/stat : 20912 (java) S 20901 20903 18146 0 -1 4202560 27 0 0 0 25 0 0 0 20 0 19 0 280506539 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762729995176 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20903/tid=20913] ppid=20901 vsize=9625004 CPUtime=0.27 cores=1,3,5,7
/proc/20903/task/20913/stat : 20913 (java) S 20901 20903 18146 0 -1 4202560 16 0 0 0 27 0 0 0 20 0 19 0 280506539 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762728942632 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20903/tid=20914] ppid=20901 vsize=9625004 CPUtime=2.2 cores=1,3,5,7
/proc/20903/task/20914/stat : 20914 (java) S 20901 20903 18146 0 -1 4202560 40 0 0 0 219 1 0 0 20 0 19 0 280506540 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762716743784 225448081321 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20903/tid=20915] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20915/stat : 20915 (java) S 20901 20903 18146 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 280506541 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762715690104 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20916] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20916/stat : 20916 (java) S 20901 20903 18146 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 280506541 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762714637448 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20917] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20917/stat : 20917 (java) S 20901 20903 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280506543 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762713586192 225448089376 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20918] ppid=20901 vsize=9625004 CPUtime=0.34 cores=1,3,5,7
/proc/20903/task/20918/stat : 20918 (java) S 20901 20903 18146 0 -1 4202560 2276 0 0 0 34 0 0 0 20 0 19 0 280506543 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762712533560 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=20903/tid=20919] ppid=20901 vsize=9625004 CPUtime=0.29 cores=1,3,5,7
/proc/20903/task/20919/stat : 20919 (java) S 20901 20903 18146 0 -1 4202560 2331 0 0 0 29 0 0 0 20 0 19 0 280506543 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762711481016 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=20903/tid=20920] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20920/stat : 20920 (java) S 20901 20903 18146 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 280506543 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762710428664 225448080444 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=20903/tid=20921] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20921/stat : 20921 (java) S 20901 20903 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280506543 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762709376328 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=20903/tid=20922] ppid=20901 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/20903/task/20922/stat : 20922 (java) S 20901 20903 18146 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 280506562 9856004096 15250 33554432000 1073741824 1073778376 140737224936800 139762708321064 225448081321 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 107.19
Current children cumulated vsize (KiB) 9625004

Child status: 30
Real time (s): 105.142
CPU time (s): 107.298
CPU user time (s): 107.125
CPU system time (s): 0.172973
CPU usage (%): 102.05
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 107.125
system time used= 0.172973
maximum resident set size= 61044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8702
page faults= 1
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6346
involuntary context switches= 8128

runsolver used 0.463929 second user time and 1.12583 second system time

The end

Launcher Data 

Begin job on node137 at 2012-05-27 20:37:00
IDJOB=3710619
IDBENCH=2031
IDSOLVER=2289
FILE ID=node137/3710619-1338143820
RUNJOBID= node137-1338140231-20454
PBS_JOBID= 14624475
Free space on /tmp= 71492 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/routing/normalized-s4-4-3-8pb.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710619-1338143820/watcher-3710619-1338143820 -o /tmp/evaluation-result-3710619-1338143820/solver-3710619-1338143820 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710619-1338143820.opb

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

MD5SUM BENCH= b1277fdeb2e21bbaf9784bfe98a40d01
RANDOM SEED=765655808

node137.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.600
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	: 5333.20
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.600
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.600
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.600
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.600
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.600
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	: 5331.90
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.600
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.600
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:        31066112 kB
Buffers:          323316 kB
Cached:           573004 kB
SwapCached:        20904 kB
Active:           840228 kB
Inactive:         117556 kB
Active(anon):      39964 kB
Inactive(anon):    23688 kB
Active(file):     800264 kB
Inactive(file):    93868 kB
Unevictable:        7900 kB
Mlocked:            7900 kB
SwapTotal:      67108856 kB
SwapFree:       67082664 kB
Dirty:              1680 kB
Writeback:             0 kB
AnonPages:         82804 kB
Mapped:            17888 kB
Shmem:                 0 kB
Slab:             704784 kB
SReclaimable:     145860 kB
SUnreclaim:       558924 kB
KernelStack:        1768 kB
PageTables:         4260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     697100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     57344 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= 71492 MiB
End job on node137 at 2012-05-27 20:38:45