Trace number 3492318

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 NameAnswerCPU timeWall clock time
Sat4j Resolution 2011-06-08OPTIMUM 53.8698 52.8558

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110969860--soft-33-100-0.wbo
MD5SUM81d0b3111be77447a435e48fa3fc6a23
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark1.91171
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints69
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 3204
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 3203
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1147
Number of bits of the biggest sum of numbers11
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.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.08	c version 2.3.1.v20110525
0.03/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.08	c java.vm.version	19.1-b02
0.03/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.08	c sun.arch.data.model	64
0.03/0.08	c java.version		1.6.0_24
0.03/0.08	c os.name		Linux
0.03/0.08	c os.version		2.6.18-164.el5
0.03/0.08	c os.arch		amd64
0.03/0.08	c Free memory 		9996466904
0.03/0.08	c Max memory 		10048897024
0.03/0.08	c Total memory 		10048897024
0.03/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
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 lightweight component caching from RSAT taking into account the objective function
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=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3492318-1307909403.wbo
0.10/0.11	c reading problem ... 
0.10/0.16	c ... done. Wall clock time 0.055s.
0.10/0.16	c #vars     238
0.10/0.16	c #constraints  101
0.10/0.16	c constraints type 
0.10/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27
0.10/0.16	c org.sat4j.minisat.constraints.card.MinWatchCard => 20
0.10/0.16	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3
0.10/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 51
0.10/0.22	c SATISFIABLE
0.10/0.22	c OPTIMIZING...
0.10/0.22	c Got one! Elapsed wall clock time (in seconds):0.113
0.10/0.22	o 480
0.40/0.26	c Got one! Elapsed wall clock time (in seconds):0.153
0.40/0.26	o 453
0.40/0.27	c Got one! Elapsed wall clock time (in seconds):0.168
0.40/0.27	o 315
0.40/0.29	c Got one! Elapsed wall clock time (in seconds):0.183
0.40/0.29	o 267
0.68/0.42	c Got one! Elapsed wall clock time (in seconds):0.315
0.68/0.42	o 259
0.78/0.51	c cleaning 3234 clauses out of 6469 with flag 2001/6469
1.04/0.74	c cleaning 4610 clauses out of 9234 with flag 8000/12468
1.04/0.76	c Got one! Elapsed wall clock time (in seconds):0.655
1.04/0.76	o 245
1.24/0.92	c cleaning 4953 clauses out of 9920 with flag 5002/17764
1.24/0.97	c Got one! Elapsed wall clock time (in seconds):0.868
1.24/0.97	o 224
1.45/1.12	c cleaning 5229 clauses out of 10465 with flag 4003/23262
1.57/1.29	c Got one! Elapsed wall clock time (in seconds):1.189
1.57/1.29	o 223
1.77/1.40	c Got one! Elapsed wall clock time (in seconds):1.298
1.77/1.40	o 220
1.87/1.55	c cleaning 8253 clauses out of 16516 with flag 3000/34542
2.07/1.78	c cleaning 7126 clauses out of 14263 with flag 9000/40542
2.17/1.82	c Got one! Elapsed wall clock time (in seconds):1.717
2.17/1.82	o 217
2.27/1.91	c Got one! Elapsed wall clock time (in seconds):1.809
2.27/1.91	o 216
2.37/2.00	c cleaning 6578 clauses out of 13159 with flag 2000/46564
2.37/2.09	c Got one! Elapsed wall clock time (in seconds):1.982
2.37/2.09	o 175
2.48/2.20	c cleaning 5989 clauses out of 11988 with flag 3005/51971
2.78/2.40	c cleaning 5994 clauses out of 11994 with flag 9000/57966
2.87/2.51	c Got one! Elapsed wall clock time (in seconds):2.403
2.87/2.51	o 166
2.97/2.61	c cleaning 5839 clauses out of 11686 with flag 3001/63652
3.17/2.83	c cleaning 5919 clauses out of 11846 with flag 9000/69651
3.46/3.10	c Got one! Elapsed wall clock time (in seconds):2.993
3.46/3.10	o 154
3.57/3.30	c cleaning 8616 clauses out of 17237 with flag 5000/80961
3.86/3.52	c cleaning 7302 clauses out of 14621 with flag 11000/86961
4.06/3.78	c cleaning 7147 clauses out of 14319 with flag 18000/93961
4.17/3.89	c Got one! Elapsed wall clock time (in seconds):3.782
4.17/3.89	o 144
4.38/4.00	c cleaning 6528 clauses out of 13069 with flag 3000/99858
4.58/4.27	c cleaning 6264 clauses out of 12541 with flag 9000/105858
4.87/4.54	c cleaning 6635 clauses out of 13277 with flag 16000/112858
5.27/4.91	c cleaning 7312 clauses out of 14642 with flag 24000/120858
5.57/5.26	c cleaning 8160 clauses out of 16330 with flag 33000/129858
5.97/5.63	c Got one! Elapsed wall clock time (in seconds):5.528
5.97/5.63	o 126
6.17/5.89	c cleaning 11540 clauses out of 23084 with flag 5002/144772
6.28/5.94	c Got one! Elapsed wall clock time (in seconds):5.837
6.28/5.94	o 114
6.47/6.16	c cleaning 8759 clauses out of 17526 with flag 5001/150754
6.77/6.42	c cleaning 7374 clauses out of 14766 with flag 11000/156753
7.38/6.75	c cleaning 7191 clauses out of 14392 with flag 18000/163753
7.94/7.10	c cleaning 7592 clauses out of 15201 with flag 26000/171753
8.34/7.51	c cleaning 8297 clauses out of 16610 with flag 35001/180754
8.74/7.91	c cleaning 9153 clauses out of 18313 with flag 45001/190754
9.05/8.29	c cleaning 9571 clauses out of 19159 with flag 55000/200753
9.45/8.69	c cleaning 9784 clauses out of 19588 with flag 65000/210753
9.95/9.11	c cleaning 9897 clauses out of 19804 with flag 75000/220753
10.35/9.52	c cleaning 9949 clauses out of 19907 with flag 85000/230753
10.56/9.79	c Got one! Elapsed wall clock time (in seconds):9.682
10.56/9.79	o 110
10.86/10.00	c cleaning 10735 clauses out of 21473 with flag 5000/242268
11.06/10.24	c cleaning 8365 clauses out of 16739 with flag 11001/248269
11.26/10.49	c cleaning 7685 clauses out of 15377 with flag 18004/255272
11.66/10.81	c cleaning 7837 clauses out of 15689 with flag 26001/263269
11.87/11.08	c Got one! Elapsed wall clock time (in seconds):10.978
11.87/11.08	o 99
12.06/11.28	c cleaning 10036 clauses out of 20081 with flag 5000/275498
12.36/11.52	c cleaning 8018 clauses out of 16046 with flag 11001/281499
12.57/11.78	c cleaning 7510 clauses out of 15028 with flag 18001/288499
12.97/12.11	c cleaning 7751 clauses out of 15517 with flag 26000/296498
13.26/12.46	c cleaning 8374 clauses out of 16768 with flag 35002/305500
13.66/12.86	c cleaning 9195 clauses out of 18393 with flag 45001/315499
14.07/13.22	c cleaning 9596 clauses out of 19197 with flag 55000/325498
14.47/13.67	c cleaning 9798 clauses out of 19605 with flag 65004/335502
14.87/14.07	c cleaning 9896 clauses out of 19804 with flag 75001/345499
15.27/14.48	c cleaning 9948 clauses out of 19911 with flag 85004/355502
15.77/14.91	c cleaning 9978 clauses out of 19965 with flag 95006/365504
15.77/14.98	c Got one! Elapsed wall clock time (in seconds):14.87
15.77/14.98	o 83
15.97/15.12	c cleaning 7645 clauses out of 15297 with flag 4000/370814
16.18/15.34	c cleaning 6826 clauses out of 13655 with flag 10003/376817
16.47/15.60	c cleaning 6907 clauses out of 13826 with flag 17000/383814
16.67/15.89	c cleaning 7456 clauses out of 14920 with flag 25001/391815
17.10/16.25	c cleaning 8222 clauses out of 16463 with flag 34000/400814
17.60/16.70	c cleaning 9114 clauses out of 18241 with flag 44000/410814
18.10/17.21	c cleaning 9557 clauses out of 19128 with flag 54001/420815
18.50/17.67	c cleaning 9779 clauses out of 19571 with flag 64001/430815
19.00/18.12	c cleaning 9892 clauses out of 19792 with flag 74001/440815
19.40/18.52	c cleaning 9945 clauses out of 19901 with flag 84002/450816
19.50/18.63	c Got one! Elapsed wall clock time (in seconds):18.527
19.50/18.63	o 80
19.62/18.74	c cleaning 7792 clauses out of 15591 with flag 3001/456451
19.81/18.97	c cleaning 6898 clauses out of 13801 with flag 9003/462453
20.11/19.22	c cleaning 6947 clauses out of 13901 with flag 16001/469451
20.41/19.55	c cleaning 7471 clauses out of 14954 with flag 24001/477451
20.81/19.91	c cleaning 8233 clauses out of 16483 with flag 33001/486451
21.21/20.33	c cleaning 9122 clauses out of 18249 with flag 43000/496450
21.61/20.73	c cleaning 9557 clauses out of 19127 with flag 53000/506450
21.72/20.87	c Got one! Elapsed wall clock time (in seconds):20.765
21.72/20.87	o 45
21.82/20.95	c cleaning 7660 clauses out of 15332 with flag 2001/512212
22.01/21.16	c cleaning 6835 clauses out of 13676 with flag 8005/518216
22.31/21.40	c cleaning 6914 clauses out of 13838 with flag 15002/525213
22.51/21.69	c cleaning 7457 clauses out of 14923 with flag 23001/533212
22.92/22.04	c cleaning 8228 clauses out of 16467 with flag 32002/542213
23.01/22.16	c Got one! Elapsed wall clock time (in seconds):22.054
23.01/22.16	o 43
23.11/22.23	c cleaning 6860 clauses out of 13730 with flag 2000/547704
23.31/22.45	c cleaning 6428 clauses out of 12870 with flag 8000/553704
23.53/22.70	c cleaning 6718 clauses out of 13443 with flag 15001/560705
23.83/22.99	c cleaning 7359 clauses out of 14725 with flag 23001/568705
24.22/23.37	c cleaning 8178 clauses out of 16366 with flag 32001/577705
24.73/23.80	c cleaning 9090 clauses out of 18189 with flag 42002/587706
25.03/24.15	c Got one! Elapsed wall clock time (in seconds):24.047
25.03/24.15	o 27
25.33/24.42	c cleaning 11931 clauses out of 23871 with flag 5001/602478
25.53/24.67	c cleaning 8963 clauses out of 17939 with flag 11000/608477
25.82/24.94	c cleaning 7985 clauses out of 15979 with flag 18003/615480
26.13/25.23	c cleaning 7993 clauses out of 15994 with flag 26003/623480
26.42/25.55	c cleaning 8492 clauses out of 16998 with flag 35000/632477
26.82/25.94	c cleaning 9251 clauses out of 18507 with flag 45001/642478
27.13/26.30	c cleaning 9621 clauses out of 19255 with flag 55000/652477
27.53/26.68	c cleaning 9814 clauses out of 19638 with flag 65004/662481
27.93/27.02	c cleaning 9906 clauses out of 19821 with flag 75001/672478
28.23/27.34	c cleaning 9956 clauses out of 19915 with flag 85001/682478
28.43/27.59	c Got one! Elapsed wall clock time (in seconds):27.48
28.43/27.59	o 25
28.73/27.83	c cleaning 11322 clauses out of 22649 with flag 5003/695168
28.93/28.06	c cleaning 8657 clauses out of 17324 with flag 11000/701165
29.13/28.28	c cleaning 7826 clauses out of 15667 with flag 18000/708165
29.44/28.55	c cleaning 7911 clauses out of 15844 with flag 26003/716168
29.74/28.85	c cleaning 8459 clauses out of 16932 with flag 35002/725167
30.04/29.17	c cleaning 9233 clauses out of 18471 with flag 45000/735165
30.44/29.51	c cleaning 9615 clauses out of 19239 with flag 55001/745166
30.74/29.84	c cleaning 9810 clauses out of 19628 with flag 65005/755170
31.14/30.20	c cleaning 9900 clauses out of 19813 with flag 75000/765165
31.45/30.56	c cleaning 9952 clauses out of 19913 with flag 85000/775165
31.85/30.90	c cleaning 9976 clauses out of 19962 with flag 95001/785166
32.05/31.11	c Got one! Elapsed wall clock time (in seconds):31.004
32.05/31.11	o 17
32.25/31.33	c cleaning 10795 clauses out of 21593 with flag 5002/796773
32.45/31.57	c cleaning 8394 clauses out of 16796 with flag 11000/802771
32.76/31.85	c cleaning 7697 clauses out of 15403 with flag 18001/809772
33.05/32.16	c cleaning 7848 clauses out of 15707 with flag 26002/817773
33.45/32.53	c cleaning 8426 clauses out of 16858 with flag 35001/826772
33.86/32.93	c cleaning 9207 clauses out of 18431 with flag 45000/836771
34.25/33.32	c cleaning 9605 clauses out of 19224 with flag 55000/846771
34.65/33.70	c cleaning 9805 clauses out of 19620 with flag 65001/856772
34.65/33.76	c Got one! Elapsed wall clock time (in seconds):33.65
34.65/33.76	o 8
34.85/33.91	c cleaning 7596 clauses out of 15201 with flag 4003/862158
35.06/34.14	c cleaning 6796 clauses out of 13602 with flag 10000/868155
35.35/34.40	c cleaning 6901 clauses out of 13807 with flag 17001/875156
35.65/34.74	c cleaning 7449 clauses out of 14905 with flag 25000/883155
35.95/35.10	c cleaning 8220 clauses out of 16457 with flag 34001/892156
36.45/35.54	c cleaning 9115 clauses out of 18237 with flag 44001/902156
36.85/35.94	c cleaning 9555 clauses out of 19121 with flag 54000/912155
37.26/36.37	c cleaning 9780 clauses out of 19569 with flag 64003/922158
37.66/36.74	c cleaning 9885 clauses out of 19787 with flag 74001/932156
38.06/37.11	c cleaning 9949 clauses out of 19905 with flag 84004/942159
38.46/37.50	c cleaning 9968 clauses out of 19952 with flag 94000/952155
38.86/37.91	c cleaning 9983 clauses out of 19984 with flag 104000/962155
39.26/38.31	c cleaning 9992 clauses out of 20002 with flag 114001/972156
39.56/38.69	c cleaning 10000 clauses out of 20010 with flag 124001/982156
40.06/39.14	c cleaning 9997 clauses out of 20009 with flag 134000/992155
40.47/39.53	c cleaning 10001 clauses out of 20012 with flag 144000/1002155
40.86/39.92	c cleaning 10003 clauses out of 20011 with flag 154000/1012155
41.26/40.31	c cleaning 9998 clauses out of 20008 with flag 164000/1022155
41.67/40.78	c cleaning 10002 clauses out of 20013 with flag 174003/1032158
42.07/41.19	c cleaning 9995 clauses out of 20008 with flag 184000/1042155
42.47/41.58	c cleaning 10001 clauses out of 20013 with flag 194000/1052155
42.87/41.95	c cleaning 10000 clauses out of 20012 with flag 204000/1062155
43.27/42.33	c cleaning 9999 clauses out of 20012 with flag 214000/1072155
43.67/42.70	c cleaning 10001 clauses out of 20013 with flag 224000/1082155
43.97/43.08	c cleaning 10004 clauses out of 20013 with flag 234001/1092156
44.37/43.46	c cleaning 10001 clauses out of 20010 with flag 244002/1102157
44.77/43.85	c cleaning 9999 clauses out of 20007 with flag 254000/1112155
45.17/44.23	c cleaning 10002 clauses out of 20009 with flag 264001/1122156
45.57/44.60	c cleaning 9999 clauses out of 20007 with flag 274001/1132156
45.98/45.02	c cleaning 9998 clauses out of 20010 with flag 284003/1142158
46.38/45.44	c cleaning 10000 clauses out of 20009 with flag 294000/1152155
46.78/45.82	c cleaning 9998 clauses out of 20009 with flag 304000/1162155
47.08/46.20	c cleaning 10003 clauses out of 20012 with flag 314001/1172156
47.48/46.58	c cleaning 9999 clauses out of 20008 with flag 324000/1182155
47.88/46.99	c cleaning 9998 clauses out of 20009 with flag 334000/1192155
48.29/47.38	c cleaning 10003 clauses out of 20011 with flag 344000/1202155
48.68/47.75	c cleaning 9998 clauses out of 20008 with flag 354000/1212155
49.08/48.11	c cleaning 10003 clauses out of 20011 with flag 364001/1222156
49.38/48.47	c cleaning 10001 clauses out of 20011 with flag 374004/1232159
49.78/48.82	c cleaning 9998 clauses out of 20006 with flag 384000/1242155
50.08/49.19	c cleaning 9998 clauses out of 20008 with flag 394000/1252155
50.48/49.56	c cleaning 10001 clauses out of 20011 with flag 404001/1262156
50.88/49.92	c cleaning 9998 clauses out of 20010 with flag 414001/1272156
51.18/50.29	c cleaning 10001 clauses out of 20011 with flag 424000/1282155
51.60/50.66	c cleaning 10004 clauses out of 20012 with flag 434002/1292157
52.00/51.05	c cleaning 9999 clauses out of 20007 with flag 444001/1302156
52.40/51.44	c cleaning 10001 clauses out of 20008 with flag 454001/1312156
52.80/51.82	c cleaning 9997 clauses out of 20005 with flag 464000/1322155
53.20/52.20	c cleaning 10003 clauses out of 20010 with flag 474002/1332157
53.60/52.60	c cleaning 10000 clauses out of 20005 with flag 484000/1342155
53.81/52.85	c starts		: 216
53.81/52.85	c conflicts		: 1348160
53.81/52.85	c decisions		: 2094398
53.81/52.85	c propagations		: 31644763
53.81/52.85	c inspects		: 316958270
53.81/52.85	c shortcuts		: 0
53.81/52.85	c learnt literals	: 8
53.81/52.85	c learnt binary clauses	: 92
53.81/52.85	c learnt ternary clauses	: 832
53.81/52.85	c learnt constraints	: 1348151
53.81/52.85	c ignored constraints	: 0
53.81/52.85	c root simplifications	: 0
53.81/52.85	c removed literals (reason simplification)	: 10930835
53.81/52.85	c reason swapping (by a shorter reason)	: 0
53.81/52.85	c Calls to reduceDB	: 152
53.81/52.85	c number of reductions to clauses (during analyze)	: 0
53.81/52.85	c number of learned constraints concerned by reduction	: 0
53.81/52.85	c number of learning phase by resolution	: 0
53.81/52.85	c number of learning phase by cutting planes	: 0
53.81/52.85	c speed (assignments/second)	: 1657748.598669391
53.81/52.85	c non guided choices	1171
53.81/52.85	c learnt constraints type 
53.81/52.85	c constraints type 
53.81/52.85	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27
53.81/52.85	c org.sat4j.minisat.constraints.card.MinWatchCard => 20
53.81/52.85	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3
53.81/52.85	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 51
53.81/52.85	s OPTIMUM FOUND
53.81/52.85	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 
53.81/52.85	c objective function=8
53.81/52.85	c Total wall clock time (in seconds): 52.741

Verifier Data 

OK	8

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-3492318-1307909403/watcher-3492318-1307909403 -o /tmp/evaluation-result-3492318-1307909403/solver-3492318-1307909403 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492318-1307909403.wbo 

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

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.93 1.98 1.93 3/192 22322
/proc/meminfo: memFree=12057300/32951132 swapFree=67054624/67111528
[pid=22322] ppid=22320 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/22322/stat : 22322 (java) R 22320 22322 19566 0 -1 4202496 951 0 0 0 0 0 0 0 25 0 1 0 902539969 23580672 693 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274659845608 0 0 4096 0 0 0 0 17 2 0 0 0
/proc/22322/statm: 5757 693 509 9 0 124 0

[startup+0.044068 s]
/proc/loadavg: 1.93 1.98 1.93 3/192 22322
/proc/meminfo: memFree=12057300/32951132 swapFree=67054624/67111528
[pid=22322] ppid=22320 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/22322/stat : 22322 (java) S 22320 22322 19566 0 -1 4202496 11280 0 1 0 2 1 0 0 25 0 13 0 902539969 10718699520 10975 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676611045 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0
/proc/22322/statm: 2616870 10975 1673 9 0 2607618 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480

[startup+0.101023 s]
/proc/loadavg: 1.93 1.98 1.93 3/192 22322
/proc/meminfo: memFree=12057300/32951132 swapFree=67054624/67111528
[pid=22322] ppid=22320 vsize=10539940 CPUtime=0.1 cores=0,2,4,6
/proc/22322/stat : 22322 (java) S 22320 22322 19566 0 -1 4202496 13084 0 1 0 9 1 0 0 25 0 18 0 902539969 10792898560 12779 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22322/statm: 2634985 12780 2093 9 0 2625719 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539940

[startup+0.301086 s]
/proc/loadavg: 1.93 1.98 1.93 3/192 22322
/proc/meminfo: memFree=12057300/32951132 swapFree=67054624/67111528
[pid=22322] ppid=22320 vsize=10544100 CPUtime=0.54 cores=0,2,4,6
/proc/22322/stat : 22322 (java) S 22320 22322 19566 0 -1 4202496 16020 0 1 0 52 2 0 0 25 0 19 0 902539969 10797158400 14860 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22322/statm: 2636025 14860 2215 9 0 2626759 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10544100

[startup+0.700927 s]
/proc/loadavg: 1.93 1.98 1.93 3/192 22322
/proc/meminfo: memFree=12057300/32951132 swapFree=67054624/67111528
[pid=22322] ppid=22320 vsize=10543672 CPUtime=1.04 cores=0,2,4,6
/proc/22322/stat : 22322 (java) S 22320 22322 19566 0 -1 4202496 16961 0 1 0 101 3 0 0 25 0 19 0 902539969 10796720128 15650 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22322/statm: 2635918 15650 2247 9 0 2626652 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 10543672

[startup+1.50086 s]
/proc/loadavg: 1.93 1.98 1.93 4/212 22342
/proc/meminfo: memFree=11987664/32951132 swapFree=67054624/67111528
[pid=22322] ppid=22320 vsize=10543672 CPUtime=1.87 cores=0,2,4,6
/proc/22322/stat : 22322 (java) S 22320 22322 19566 0 -1 4202496 17372 0 1 0 184 3 0 0 25 0 19 0 902539969 10796720128 16058 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22322/statm: 2635918 16058 2248 9 0 2626652 0
[pid=22322/tid=22324] ppid=22320 vsize=10543672 CPUtime=1.42 cores=0,2,4,6
/proc/22322/task/22324/stat : 22324 (java) R 22320 22322 19566 0 -1 4202560 12191 0 1 0 141 1 0 0 25 0 19 0 902539970 10796720128 16058 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 46912505535658 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22322/tid=22325] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22325/stat : 22325 (java) S 22320 22322 19566 0 -1 4202560 121 0 0 0 0 0 0 0 15 0 19 0 902539972 10796720128 16058 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 0 0 0 0
[pid=22322/tid=22326] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22326/stat : 22326 (java) S 22320 22322 19566 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902539972 10796720128 16058 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 6 0 0 0
[pid=22322/tid=22327] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22327/stat : 22327 (java) S 22320 22322 19566 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902539972 10796720128 16058 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 6 0 0 0
[pid=22322/tid=22328] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22328/stat : 22328 (java) S 22320 22322 19566 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902539972 10796720128 16058 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 0 0 0 0
[pid=22322/tid=22329] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22329/stat : 22329 (java) S 22320 22322 19566 0 -1 4202560 112 0 0 0 0 0 0 0 15 0 19 0 902539972 10796720128 16058 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 0 0 0 0
[pid=22322/tid=22330] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22330/stat : 22330 (java) S 22320 22322 19566 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 19 0 902539972 10796720128 16058 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 0 0 0 0
[pid=22322/tid=22331] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22331/stat : 22331 (java) S 22320 22322 19566 0 -1 4202560 83 0 0 0 0 0 0 0 15 0 19 0 902539972 10796720128 16058 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
[pid=22322/tid=22332] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22332/stat : 22332 (java) S 22320 22322 19566 0 -1 4202560 120 0 0 0 0 0 0 0 16 0 19 0 902539972 10796720128 16058 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 6 0 0 0
[pid=22322/tid=22333] ppid=22320 vsize=10543672 CPUtime=0.04 cores=0,2,4,6
/proc/22322/task/22333/stat : 22333 (java) S 22320 22322 19566 0 -1 4202560 413 0 0 0 4 0 0 0 15 0 19 0 902539973 10796720128 16058 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624896 0 0 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22335] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22335/stat : 22335 (java) S 22320 22322 19566 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902539973 10796720128 16058 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
[pid=22322/tid=22336] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22336/stat : 22336 (java) S 22320 22322 19566 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 902539973 10796720128 16058 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22337] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22337/stat : 22337 (java) S 22320 22322 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902539975 10796720128 16058 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676631985 0 4 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22338] ppid=22320 vsize=10543672 CPUtime=0.17 cores=0,2,4,6
/proc/22322/task/22338/stat : 22338 (java) S 22320 22322 19566 0 -1 4202560 1211 0 0 0 17 0 0 0 15 0 19 0 902539975 10796720128 16058 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
[pid=22322/tid=22339] ppid=22320 vsize=10543672 CPUtime=0.19 cores=0,2,4,6
/proc/22322/task/22339/stat : 22339 (java) S 22320 22322 19566 0 -1 4202560 1909 0 0 0 19 0 0 0 15 0 19 0 902539975 10796720128 16058 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 0 0 0 0
[pid=22322/tid=22340] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22340/stat : 22340 (java) S 22320 22322 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902539975 10796720128 16058 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22341] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22341/stat : 22341 (java) S 22320 22322 19566 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902539975 10796720128 16058 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624896 0 4 0 16800975 18446604452428832960 0 0 -1 0 0 0 0
[pid=22322/tid=22342] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22342/stat : 22342 (java) S 22320 22322 19566 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902539986 10796720128 16058 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624896 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 10543672

[startup+3.10155 s]
/proc/loadavg: 1.93 1.98 1.93 3/212 22342
/proc/meminfo: memFree=11985060/32951132 swapFree=67054624/67111528
[pid=22322] ppid=22320 vsize=10543672 CPUtime=3.46 cores=0,2,4,6
/proc/22322/stat : 22322 (java) S 22320 22322 19566 0 -1 4202496 17867 0 1 0 343 3 0 0 25 0 19 0 902539969 10796720128 16546 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22322/statm: 2635918 16546 2248 9 0 2626652 0
[pid=22322/tid=22324] ppid=22320 vsize=10543672 CPUtime=2.92 cores=0,2,4,6
/proc/22322/task/22324/stat : 22324 (java) R 22320 22322 19566 0 -1 4202560 12198 0 1 0 290 2 0 0 25 0 19 0 902539970 10796720128 16546 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 46912505540891 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22322/tid=22325] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22325/stat : 22325 (java) S 22320 22322 19566 0 -1 4202560 243 0 0 0 0 0 0 0 15 0 19 0 902539972 10796720128 16546 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 6 0 0 0
[pid=22322/tid=22326] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22326/stat : 22326 (java) S 22320 22322 19566 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902539972 10796720128 16546 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 6 0 0 0
[pid=22322/tid=22327] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22327/stat : 22327 (java) S 22320 22322 19566 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902539972 10796720128 16546 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
[pid=22322/tid=22328] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22328/stat : 22328 (java) S 22320 22322 19566 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 902539972 10796720128 16546 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 0 0 0 0
[pid=22322/tid=22329] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22329/stat : 22329 (java) S 22320 22322 19566 0 -1 4202560 114 0 0 0 0 0 0 0 15 0 19 0 902539972 10796720128 16546 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
[pid=22322/tid=22330] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22330/stat : 22330 (java) S 22320 22322 19566 0 -1 4202560 116 0 0 0 0 0 0 0 15 0 19 0 902539972 10796720128 16546 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 0 0 0 0
[pid=22322/tid=22331] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22331/stat : 22331 (java) S 22320 22322 19566 0 -1 4202560 83 0 0 0 0 0 0 0 15 0 19 0 902539972 10796720128 16546 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
[pid=22322/tid=22332] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22332/stat : 22332 (java) S 22320 22322 19566 0 -1 4202560 258 0 0 0 0 0 0 0 16 0 19 0 902539972 10796720128 16546 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 6 0 0 0
[pid=22322/tid=22333] ppid=22320 vsize=10543672 CPUtime=0.12 cores=0,2,4,6
/proc/22322/task/22333/stat : 22333 (java) S 22320 22322 19566 0 -1 4202560 573 0 0 0 12 0 0 0 16 0 19 0 902539973 10796720128 16546 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624896 0 0 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22335] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22335/stat : 22335 (java) S 22320 22322 19566 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902539973 10796720128 16546 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
[pid=22322/tid=22336] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22336/stat : 22336 (java) S 22320 22322 19566 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 902539973 10796720128 16546 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22337] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22337/stat : 22337 (java) S 22320 22322 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902539975 10796720128 16546 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676631985 0 4 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22338] ppid=22320 vsize=10543672 CPUtime=0.17 cores=0,2,4,6
/proc/22322/task/22338/stat : 22338 (java) S 22320 22322 19566 0 -1 4202560 1211 0 0 0 17 0 0 0 15 0 19 0 902539975 10796720128 16546 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
[pid=22322/tid=22339] ppid=22320 vsize=10543672 CPUtime=0.2 cores=0,2,4,6
/proc/22322/task/22339/stat : 22339 (java) S 22320 22322 19566 0 -1 4202560 1909 0 0 0 20 0 0 0 15 0 19 0 902539975 10796720128 16546 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 0 0 0 0
[pid=22322/tid=22340] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22340/stat : 22340 (java) S 22320 22322 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902539975 10796720128 16546 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22341] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22341/stat : 22341 (java) S 22320 22322 19566 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902539975 10796720128 16546 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624896 0 4 0 16800975 18446604452428832960 0 0 -1 0 0 0 0
[pid=22322/tid=22342] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22342/stat : 22342 (java) S 22320 22322 19566 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902539986 10796720128 16546 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624896 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 3.46
Current children cumulated vsize (KiB) 10543672

[startup+6.30102 s]
/proc/loadavg: 1.93 1.98 1.93 3/212 22342
/proc/meminfo: memFree=11983560/32951132 swapFree=67054624/67111528
[pid=22322] ppid=22320 vsize=10543672 CPUtime=6.67 cores=0,2,4,6
/proc/22322/stat : 22322 (java) S 22320 22322 19566 0 -1 4202496 18107 0 1 0 663 4 0 0 25 0 19 0 902539969 10796720128 16768 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22322/statm: 2635918 16768 2248 9 0 2626652 0
[pid=22322/tid=22324] ppid=22320 vsize=10543672 CPUtime=5.96 cores=0,2,4,6
/proc/22322/task/22324/stat : 22324 (java) R 22320 22322 19566 0 -1 4202560 12209 0 1 0 594 2 0 0 18 0 19 0 902539970 10796720128 16768 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 46912505605954 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=22322/tid=22325] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22325/stat : 22325 (java) S 22320 22322 19566 0 -1 4202560 243 0 0 0 0 0 0 0 15 0 19 0 902539972 10796720128 16768 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22326] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22326/stat : 22326 (java) S 22320 22322 19566 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 902539972 10796720128 16768 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22327] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22327/stat : 22327 (java) S 22320 22322 19566 0 -1 4202560 29 0 0 0 0 0 0 0 15 0 19 0 902539972 10796720128 16768 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
[pid=22322/tid=22328] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22328/stat : 22328 (java) S 22320 22322 19566 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 902539972 10796720128 16768 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22329] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22329/stat : 22329 (java) S 22320 22322 19566 0 -1 4202560 150 0 0 0 0 0 0 0 15 0 19 0 902539972 10796720128 16768 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
[pid=22322/tid=22330] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22330/stat : 22330 (java) S 22320 22322 19566 0 -1 4202560 149 0 0 0 0 0 0 0 15 0 19 0 902539972 10796720128 16768 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
[pid=22322/tid=22331] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22331/stat : 22331 (java) S 22320 22322 19566 0 -1 4202560 83 0 0 0 0 0 0 0 15 0 19 0 902539972 10796720128 16768 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22332] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22332/stat : 22332 (java) S 22320 22322 19566 0 -1 4202560 306 0 0 0 0 0 0 0 15 0 19 0 902539972 10796720128 16768 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22333] ppid=22320 vsize=10543672 CPUtime=0.24 cores=0,2,4,6
/proc/22322/task/22333/stat : 22333 (java) S 22320 22322 19566 0 -1 4202560 647 0 0 0 24 0 0 0 16 0 19 0 902539973 10796720128 16768 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624896 0 0 0 16800975 18446604452428832960 0 0 -1 0 0 0 0
[pid=22322/tid=22335] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22335/stat : 22335 (java) S 22320 22322 19566 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902539973 10796720128 16768 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
[pid=22322/tid=22336] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22336/stat : 22336 (java) S 22320 22322 19566 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 902539973 10796720128 16768 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22337] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22337/stat : 22337 (java) S 22320 22322 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902539975 10796720128 16768 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676631985 0 4 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22338] ppid=22320 vsize=10543672 CPUtime=0.17 cores=0,2,4,6
/proc/22322/task/22338/stat : 22338 (java) S 22320 22322 19566 0 -1 4202560 1211 0 0 0 17 0 0 0 15 0 19 0 902539975 10796720128 16768 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
[pid=22322/tid=22339] ppid=22320 vsize=10543672 CPUtime=0.21 cores=0,2,4,6
/proc/22322/task/22339/stat : 22339 (java) S 22320 22322 19566 0 -1 4202560 1909 0 0 0 21 0 0 0 15 0 19 0 902539975 10796720128 16768 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 0 0 0 0
[pid=22322/tid=22340] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22340/stat : 22340 (java) S 22320 22322 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902539975 10796720128 16768 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22341] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22341/stat : 22341 (java) S 22320 22322 19566 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902539975 10796720128 16768 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624896 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
[pid=22322/tid=22342] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22342/stat : 22342 (java) S 22320 22322 19566 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902539986 10796720128 16768 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624896 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 6.67
Current children cumulated vsize (KiB) 10543672

[startup+12.7009 s]

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

/proc/22322/task/22325/stat : 22325 (java) S 22320 22322 19566 0 -1 4202560 250 0 0 0 3 0 0 0 15 0 19 0 902539972 10796720128 19722 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 6 0 0 0
[pid=22322/tid=22326] ppid=22320 vsize=10543672 CPUtime=0.03 cores=0,2,4,6
/proc/22322/task/22326/stat : 22326 (java) S 22320 22322 19566 0 -1 4202560 7 0 0 0 3 0 0 0 15 0 19 0 902539972 10796720128 19722 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 6 0 0 0
[pid=22322/tid=22327] ppid=22320 vsize=10543672 CPUtime=0.04 cores=0,2,4,6
/proc/22322/task/22327/stat : 22327 (java) S 22320 22322 19566 0 -1 4202560 33 0 0 0 4 0 0 0 15 0 19 0 902539972 10796720128 19722 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 6 0 0 0
[pid=22322/tid=22328] ppid=22320 vsize=10543672 CPUtime=0.03 cores=0,2,4,6
/proc/22322/task/22328/stat : 22328 (java) S 22320 22322 19566 0 -1 4202560 22 0 0 0 3 0 0 0 15 0 19 0 902539972 10796720128 19722 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
[pid=22322/tid=22329] ppid=22320 vsize=10543672 CPUtime=0.04 cores=0,2,4,6
/proc/22322/task/22329/stat : 22329 (java) S 22320 22322 19566 0 -1 4202560 159 0 0 0 4 0 0 0 15 0 19 0 902539972 10796720128 19722 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 0 0 0 0
[pid=22322/tid=22330] ppid=22320 vsize=10543672 CPUtime=0.03 cores=0,2,4,6
/proc/22322/task/22330/stat : 22330 (java) S 22320 22322 19566 0 -1 4202560 155 0 0 0 3 0 0 0 15 0 19 0 902539972 10796720128 19722 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 6 0 0 0
[pid=22322/tid=22331] ppid=22320 vsize=10543672 CPUtime=0.04 cores=0,2,4,6
/proc/22322/task/22331/stat : 22331 (java) S 22320 22322 19566 0 -1 4202560 92 0 0 0 4 0 0 0 15 0 19 0 902539972 10796720128 19722 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
[pid=22322/tid=22332] ppid=22320 vsize=10543672 CPUtime=0.03 cores=0,2,4,6
/proc/22322/task/22332/stat : 22332 (java) S 22320 22322 19566 0 -1 4202560 308 0 0 0 3 0 0 0 15 0 19 0 902539972 10796720128 19722 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
[pid=22322/tid=22333] ppid=22320 vsize=10543672 CPUtime=2.04 cores=0,2,4,6
/proc/22322/task/22333/stat : 22333 (java) S 22320 22322 19566 0 -1 4202560 996 0 0 0 202 2 0 0 15 0 19 0 902539973 10796720128 19722 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624896 0 0 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22335] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22335/stat : 22335 (java) S 22320 22322 19566 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902539973 10796720128 19722 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
[pid=22322/tid=22336] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22336/stat : 22336 (java) S 22320 22322 19566 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 902539973 10796720128 19722 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22337] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22337/stat : 22337 (java) S 22320 22322 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902539975 10796720128 19722 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676631985 0 4 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22338] ppid=22320 vsize=10543672 CPUtime=0.22 cores=0,2,4,6
/proc/22322/task/22338/stat : 22338 (java) S 22320 22322 19566 0 -1 4202560 1276 0 0 0 22 0 0 0 16 0 19 0 902539975 10796720128 19722 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
[pid=22322/tid=22339] ppid=22320 vsize=10543672 CPUtime=0.67 cores=0,2,4,6
/proc/22322/task/22339/stat : 22339 (java) S 22320 22322 19566 0 -1 4202560 9271 0 0 0 66 1 0 0 15 0 19 0 902539975 10796720128 19722 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 0 0 0 0
[pid=22322/tid=22340] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22340/stat : 22340 (java) S 22320 22322 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902539975 10796720128 19722 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22341] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22341/stat : 22341 (java) S 22320 22322 19566 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902539975 10796720128 19722 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624896 0 4 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22342] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22342/stat : 22342 (java) S 22320 22322 19566 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902539986 10796720128 19722 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624896 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 52.9
Current children cumulated vsize (KiB) 10543672

[startup+52.3011 s]
/proc/loadavg: 2.14 2.03 1.94 3/212 22457
/proc/meminfo: memFree=11971940/32951132 swapFree=67054624/67111528
[pid=22322] ppid=22320 vsize=10543672 CPUtime=53.3 cores=0,2,4,6
/proc/22322/stat : 22322 (java) S 22320 22322 19566 0 -1 4202496 26072 0 1 0 5321 9 0 0 25 0 19 0 902539969 10796720128 19723 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22322/statm: 2635918 19723 2250 9 0 2626652 0
[pid=22322/tid=22324] ppid=22320 vsize=10543672 CPUtime=49.97 cores=0,2,4,6
/proc/22322/task/22324/stat : 22324 (java) R 22320 22322 19566 0 -1 4202560 12344 0 1 0 4994 3 0 0 18 0 19 0 902539970 10796720128 19723 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 46912505606544 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22322/tid=22325] ppid=22320 vsize=10543672 CPUtime=0.03 cores=0,2,4,6
/proc/22322/task/22325/stat : 22325 (java) S 22320 22322 19566 0 -1 4202560 250 0 0 0 3 0 0 0 15 0 19 0 902539972 10796720128 19723 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 6 0 0 0
[pid=22322/tid=22326] ppid=22320 vsize=10543672 CPUtime=0.03 cores=0,2,4,6
/proc/22322/task/22326/stat : 22326 (java) S 22320 22322 19566 0 -1 4202560 7 0 0 0 3 0 0 0 16 0 19 0 902539972 10796720128 19723 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 6 0 0 0
[pid=22322/tid=22327] ppid=22320 vsize=10543672 CPUtime=0.04 cores=0,2,4,6
/proc/22322/task/22327/stat : 22327 (java) S 22320 22322 19566 0 -1 4202560 33 0 0 0 4 0 0 0 15 0 19 0 902539972 10796720128 19723 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 6 0 0 0
[pid=22322/tid=22328] ppid=22320 vsize=10543672 CPUtime=0.03 cores=0,2,4,6
/proc/22322/task/22328/stat : 22328 (java) S 22320 22322 19566 0 -1 4202560 22 0 0 0 3 0 0 0 15 0 19 0 902539972 10796720128 19723 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 0 0 0 0
[pid=22322/tid=22329] ppid=22320 vsize=10543672 CPUtime=0.04 cores=0,2,4,6
/proc/22322/task/22329/stat : 22329 (java) S 22320 22322 19566 0 -1 4202560 159 0 0 0 4 0 0 0 15 0 19 0 902539972 10796720128 19723 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 0 0 0 0
[pid=22322/tid=22330] ppid=22320 vsize=10543672 CPUtime=0.03 cores=0,2,4,6
/proc/22322/task/22330/stat : 22330 (java) S 22320 22322 19566 0 -1 4202560 155 0 0 0 3 0 0 0 15 0 19 0 902539972 10796720128 19723 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 6 0 0 0
[pid=22322/tid=22331] ppid=22320 vsize=10543672 CPUtime=0.04 cores=0,2,4,6
/proc/22322/task/22331/stat : 22331 (java) S 22320 22322 19566 0 -1 4202560 92 0 0 0 4 0 0 0 15 0 19 0 902539972 10796720128 19723 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
[pid=22322/tid=22332] ppid=22320 vsize=10543672 CPUtime=0.03 cores=0,2,4,6
/proc/22322/task/22332/stat : 22332 (java) S 22320 22322 19566 0 -1 4202560 308 0 0 0 3 0 0 0 15 0 19 0 902539972 10796720128 19723 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
[pid=22322/tid=22333] ppid=22320 vsize=10543672 CPUtime=2.06 cores=0,2,4,6
/proc/22322/task/22333/stat : 22333 (java) S 22320 22322 19566 0 -1 4202560 997 0 0 0 204 2 0 0 15 0 19 0 902539973 10796720128 19723 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624896 0 0 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22335] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22335/stat : 22335 (java) S 22320 22322 19566 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902539973 10796720128 19723 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
[pid=22322/tid=22336] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22336/stat : 22336 (java) S 22320 22322 19566 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 902539973 10796720128 19723 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22337] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22337/stat : 22337 (java) S 22320 22322 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902539975 10796720128 19723 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676631985 0 4 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22338] ppid=22320 vsize=10543672 CPUtime=0.23 cores=0,2,4,6
/proc/22322/task/22338/stat : 22338 (java) S 22320 22322 19566 0 -1 4202560 1277 0 0 0 23 0 0 0 15 0 19 0 902539975 10796720128 19723 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
[pid=22322/tid=22339] ppid=22320 vsize=10543672 CPUtime=0.67 cores=0,2,4,6
/proc/22322/task/22339/stat : 22339 (java) S 22320 22322 19566 0 -1 4202560 9271 0 0 0 66 1 0 0 15 0 19 0 902539975 10796720128 19723 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 0 0 0 0
[pid=22322/tid=22340] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22340/stat : 22340 (java) S 22320 22322 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902539975 10796720128 19723 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22341] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22341/stat : 22341 (java) S 22320 22322 19566 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902539975 10796720128 19723 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624896 0 4 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22342] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22342/stat : 22342 (java) S 22320 22322 19566 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902539986 10796720128 19723 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624896 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 53.3
Current children cumulated vsize (KiB) 10543672

[startup+52.701 s]
/proc/loadavg: 2.14 2.03 1.94 3/212 22457
/proc/meminfo: memFree=11971692/32951132 swapFree=67054624/67111528
[pid=22322] ppid=22320 vsize=10543672 CPUtime=53.71 cores=0,2,4,6
/proc/22322/stat : 22322 (java) S 22320 22322 19566 0 -1 4202496 26074 0 1 0 5362 9 0 0 25 0 19 0 902539969 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22322/statm: 2635918 19724 2250 9 0 2626652 0
[pid=22322/tid=22324] ppid=22320 vsize=10543672 CPUtime=50.36 cores=0,2,4,6
/proc/22322/task/22324/stat : 22324 (java) R 22320 22322 19566 0 -1 4202560 12345 0 1 0 5033 3 0 0 19 0 19 0 902539970 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 46912505606210 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22322/tid=22325] ppid=22320 vsize=10543672 CPUtime=0.03 cores=0,2,4,6
/proc/22322/task/22325/stat : 22325 (java) S 22320 22322 19566 0 -1 4202560 250 0 0 0 3 0 0 0 15 0 19 0 902539972 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 0 0 0 0
[pid=22322/tid=22326] ppid=22320 vsize=10543672 CPUtime=0.03 cores=0,2,4,6
/proc/22322/task/22326/stat : 22326 (java) S 22320 22322 19566 0 -1 4202560 8 0 0 0 3 0 0 0 16 0 19 0 902539972 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 6 0 0 0
[pid=22322/tid=22327] ppid=22320 vsize=10543672 CPUtime=0.04 cores=0,2,4,6
/proc/22322/task/22327/stat : 22327 (java) S 22320 22322 19566 0 -1 4202560 33 0 0 0 4 0 0 0 15 0 19 0 902539972 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 6 0 0 0
[pid=22322/tid=22328] ppid=22320 vsize=10543672 CPUtime=0.03 cores=0,2,4,6
/proc/22322/task/22328/stat : 22328 (java) S 22320 22322 19566 0 -1 4202560 22 0 0 0 3 0 0 0 15 0 19 0 902539972 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 0 0 0 0
[pid=22322/tid=22329] ppid=22320 vsize=10543672 CPUtime=0.04 cores=0,2,4,6
/proc/22322/task/22329/stat : 22329 (java) S 22320 22322 19566 0 -1 4202560 159 0 0 0 4 0 0 0 15 0 19 0 902539972 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 0 0 0 0
[pid=22322/tid=22330] ppid=22320 vsize=10543672 CPUtime=0.03 cores=0,2,4,6
/proc/22322/task/22330/stat : 22330 (java) S 22320 22322 19566 0 -1 4202560 155 0 0 0 3 0 0 0 15 0 19 0 902539972 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 6 0 0 0
[pid=22322/tid=22331] ppid=22320 vsize=10543672 CPUtime=0.04 cores=0,2,4,6
/proc/22322/task/22331/stat : 22331 (java) S 22320 22322 19566 0 -1 4202560 92 0 0 0 4 0 0 0 15 0 19 0 902539972 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
[pid=22322/tid=22332] ppid=22320 vsize=10543672 CPUtime=0.03 cores=0,2,4,6
/proc/22322/task/22332/stat : 22332 (java) S 22320 22322 19566 0 -1 4202560 308 0 0 0 3 0 0 0 15 0 19 0 902539972 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
[pid=22322/tid=22333] ppid=22320 vsize=10543672 CPUtime=2.07 cores=0,2,4,6
/proc/22322/task/22333/stat : 22333 (java) S 22320 22322 19566 0 -1 4202560 997 0 0 0 205 2 0 0 15 0 19 0 902539973 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624896 0 0 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22335] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22335/stat : 22335 (java) S 22320 22322 19566 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902539973 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
[pid=22322/tid=22336] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22336/stat : 22336 (java) S 22320 22322 19566 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 902539973 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22337] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22337/stat : 22337 (java) S 22320 22322 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902539975 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676631985 0 4 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22338] ppid=22320 vsize=10543672 CPUtime=0.23 cores=0,2,4,6
/proc/22322/task/22338/stat : 22338 (java) S 22320 22322 19566 0 -1 4202560 1277 0 0 0 23 0 0 0 15 0 19 0 902539975 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
[pid=22322/tid=22339] ppid=22320 vsize=10543672 CPUtime=0.67 cores=0,2,4,6
/proc/22322/task/22339/stat : 22339 (java) S 22320 22322 19566 0 -1 4202560 9271 0 0 0 66 1 0 0 15 0 19 0 902539975 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 0 0 0 0
[pid=22322/tid=22340] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22340/stat : 22340 (java) S 22320 22322 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902539975 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22341] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22341/stat : 22341 (java) S 22320 22322 19566 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902539975 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624896 0 4 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22342] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22342/stat : 22342 (java) S 22320 22322 19566 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902539986 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624896 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 53.71
Current children cumulated vsize (KiB) 10543672

[startup+52.807 s]
/proc/loadavg: 2.14 2.03 1.94 3/212 22457
/proc/meminfo: memFree=11971692/32951132 swapFree=67054624/67111528
[pid=22322] ppid=22320 vsize=10543672 CPUtime=53.81 cores=0,2,4,6
/proc/22322/stat : 22322 (java) S 22320 22322 19566 0 -1 4202496 26074 0 1 0 5372 9 0 0 25 0 19 0 902539969 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0
/proc/22322/statm: 2635918 19724 2250 9 0 2626652 0
[pid=22322/tid=22324] ppid=22320 vsize=10543672 CPUtime=50.46 cores=0,2,4,6
/proc/22322/task/22324/stat : 22324 (java) R 22320 22322 19566 0 -1 4202560 12345 0 1 0 5043 3 0 0 19 0 19 0 902539970 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 46912505583294 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=22322/tid=22325] ppid=22320 vsize=10543672 CPUtime=0.03 cores=0,2,4,6
/proc/22322/task/22325/stat : 22325 (java) S 22320 22322 19566 0 -1 4202560 250 0 0 0 3 0 0 0 15 0 19 0 902539972 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 0 0 0 0
[pid=22322/tid=22326] ppid=22320 vsize=10543672 CPUtime=0.03 cores=0,2,4,6
/proc/22322/task/22326/stat : 22326 (java) S 22320 22322 19566 0 -1 4202560 8 0 0 0 3 0 0 0 16 0 19 0 902539972 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 6 0 0 0
[pid=22322/tid=22327] ppid=22320 vsize=10543672 CPUtime=0.04 cores=0,2,4,6
/proc/22322/task/22327/stat : 22327 (java) S 22320 22322 19566 0 -1 4202560 33 0 0 0 4 0 0 0 15 0 19 0 902539972 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 6 0 0 0
[pid=22322/tid=22328] ppid=22320 vsize=10543672 CPUtime=0.03 cores=0,2,4,6
/proc/22322/task/22328/stat : 22328 (java) S 22320 22322 19566 0 -1 4202560 22 0 0 0 3 0 0 0 15 0 19 0 902539972 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 0 0 0 0
[pid=22322/tid=22329] ppid=22320 vsize=10543672 CPUtime=0.04 cores=0,2,4,6
/proc/22322/task/22329/stat : 22329 (java) S 22320 22322 19566 0 -1 4202560 159 0 0 0 4 0 0 0 15 0 19 0 902539972 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 0 0 0 0
[pid=22322/tid=22330] ppid=22320 vsize=10543672 CPUtime=0.03 cores=0,2,4,6
/proc/22322/task/22330/stat : 22330 (java) S 22320 22322 19566 0 -1 4202560 155 0 0 0 3 0 0 0 15 0 19 0 902539972 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 6 0 0 0
[pid=22322/tid=22331] ppid=22320 vsize=10543672 CPUtime=0.04 cores=0,2,4,6
/proc/22322/task/22331/stat : 22331 (java) S 22320 22322 19566 0 -1 4202560 92 0 0 0 4 0 0 0 15 0 19 0 902539972 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
[pid=22322/tid=22332] ppid=22320 vsize=10543672 CPUtime=0.03 cores=0,2,4,6
/proc/22322/task/22332/stat : 22332 (java) S 22320 22322 19566 0 -1 4202560 308 0 0 0 3 0 0 0 15 0 19 0 902539972 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
[pid=22322/tid=22333] ppid=22320 vsize=10543672 CPUtime=2.07 cores=0,2,4,6
/proc/22322/task/22333/stat : 22333 (java) S 22320 22322 19566 0 -1 4202560 997 0 0 0 205 2 0 0 15 0 19 0 902539973 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624896 0 0 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22335] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22335/stat : 22335 (java) S 22320 22322 19566 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902539973 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
[pid=22322/tid=22336] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22336/stat : 22336 (java) S 22320 22322 19566 0 -1 4202560 10 0 0 0 0 0 0 0 21 0 19 0 902539973 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22337] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22337/stat : 22337 (java) S 22320 22322 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902539975 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676631985 0 4 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22338] ppid=22320 vsize=10543672 CPUtime=0.23 cores=0,2,4,6
/proc/22322/task/22338/stat : 22338 (java) S 22320 22322 19566 0 -1 4202560 1277 0 0 0 23 0 0 0 15 0 19 0 902539975 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
[pid=22322/tid=22339] ppid=22320 vsize=10543672 CPUtime=0.67 cores=0,2,4,6
/proc/22322/task/22339/stat : 22339 (java) S 22320 22322 19566 0 -1 4202560 9271 0 0 0 66 1 0 0 15 0 19 0 902539975 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 0 0 0 0
[pid=22322/tid=22340] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22340/stat : 22340 (java) S 22320 22322 19566 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902539975 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624281 0 4 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22341] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22341/stat : 22341 (java) S 22320 22322 19566 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902539975 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624896 0 4 0 16800975 18446604452428832960 0 0 -1 2 0 0 0
[pid=22322/tid=22342] ppid=22320 vsize=10543672 CPUtime=0 cores=0,2,4,6
/proc/22322/task/22342/stat : 22342 (java) S 22320 22322 19566 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902539986 10796720128 19724 33554432000 1073741824 1073778376 140734457826832 18446744073709551615 274676624896 0 4 0 16800975 18446604452428832960 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 53.81
Current children cumulated vsize (KiB) 10543672

Child status: 30
Real time (s): 52.8558
CPU time (s): 53.8698
CPU user time (s): 53.7708
CPU system time (s): 0.098984
CPU usage (%): 101.918
Max. virtual memory (cumulated for all children) (KiB): 10544100

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 53.7708
system time used= 0.098984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26095
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5344
involuntary context switches= 2260

runsolver used 0.095985 second user time and 0.226965 second system time

The end

Launcher Data 

Begin job on node131 at 2011-06-12 22:10:03
IDJOB=3492318
IDBENCH=78747
IDSOLVER=1982
FILE ID=node131/3492318-1307909403
RUNJOBID= node131-1307907581-21984
PBS_JOBID= 13559575
Free space on /tmp= 56584 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110969860--soft-33-100-0.wbo
COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3492318-1307909403/watcher-3492318-1307909403 -o /tmp/evaluation-result-3492318-1307909403/solver-3492318-1307909403 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492318-1307909403.wbo

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

MD5SUM BENCH= 81d0b3111be77447a435e48fa3fc6a23
RANDOM SEED=1002151066

node131.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.66
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.77
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      12057976 kB
Buffers:        332672 kB
Cached:       19808380 kB
SwapCached:       9816 kB
Active:       15645788 kB
Inactive:      4561544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      12057976 kB
SwapTotal:    67111528 kB
SwapFree:     67054624 kB
Dirty:             728 kB
Writeback:           0 kB
AnonPages:       63840 kB
Mapped:          20476 kB
Slab:           622048 kB
PageTables:       4684 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 10541100 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 56584 MiB
End job on node131 at 2011-06-12 22:10:56