Trace number 3492657

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 42.6015 41.5156

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111226062--soft-0-100-0.wbo
MD5SUM033c12179045731c4fd222e5d353b2b2
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark3.50747
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 constraints101
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 4944
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 4943
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1231
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.09	c version 2.3.1.v20110525
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.18-164.el5
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		9996466904
0.00/0.09	c Max memory 		10048897024
0.00/0.09	c Total memory 		10048897024
0.00/0.09	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-3492657-1307911075.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     270
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 => 30
0.10/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
0.26/0.24	c SATISFIABLE
0.26/0.24	c OPTIMIZING...
0.26/0.24	c Got one! Elapsed wall clock time (in seconds):0.129
0.26/0.24	o 489
0.26/0.28	c Got one! Elapsed wall clock time (in seconds):0.168
0.26/0.28	o 455
0.50/0.33	c Got one! Elapsed wall clock time (in seconds):0.219
0.50/0.33	o 445
0.50/0.35	c Got one! Elapsed wall clock time (in seconds):0.241
0.50/0.35	o 437
0.50/0.38	c Got one! Elapsed wall clock time (in seconds):0.267
0.50/0.38	o 419
0.63/0.49	c Got one! Elapsed wall clock time (in seconds):0.384
0.63/0.49	o 405
0.75/0.52	c Got one! Elapsed wall clock time (in seconds):0.415
0.75/0.52	o 394
0.75/0.55	c Got one! Elapsed wall clock time (in seconds):0.439
0.75/0.55	o 327
0.95/0.72	c Got one! Elapsed wall clock time (in seconds):0.615
0.95/0.72	o 309
1.10/0.80	c cleaning 5015 clauses out of 10035 with flag 1000/10035
1.21/0.96	c Got one! Elapsed wall clock time (in seconds):0.849
1.21/0.96	o 304
1.31/1.07	c cleaning 5398 clauses out of 10805 with flag 3001/15820
1.42/1.17	c Got one! Elapsed wall clock time (in seconds):1.062
1.42/1.17	o 303
1.51/1.25	c Got one! Elapsed wall clock time (in seconds):1.143
1.51/1.25	o 287
1.62/1.34	c Got one! Elapsed wall clock time (in seconds):1.229
1.62/1.34	o 281
1.62/1.39	c cleaning 6196 clauses out of 12399 with flag 1001/22812
1.85/1.56	c Got one! Elapsed wall clock time (in seconds):1.451
1.85/1.56	o 266
1.95/1.61	c Got one! Elapsed wall clock time (in seconds):1.504
1.95/1.61	o 262
1.95/1.66	c cleaning 6185 clauses out of 12377 with flag 1000/28986
2.26/1.92	c cleaning 6090 clauses out of 12192 with flag 7000/34986
2.66/2.32	c cleaning 6543 clauses out of 13103 with flag 14001/41987
2.66/2.38	c Got one! Elapsed wall clock time (in seconds):2.272
2.66/2.38	o 252
2.76/2.47	c Got one! Elapsed wall clock time (in seconds):2.36
2.76/2.47	o 239
2.86/2.59	c cleaning 6602 clauses out of 13218 with flag 3000/48645
3.06/2.73	c Got one! Elapsed wall clock time (in seconds):2.619
3.06/2.73	o 232
3.18/2.83	c cleaning 5931 clauses out of 11870 with flag 3000/53899
3.38/3.05	c cleaning 5969 clauses out of 11940 with flag 9001/59900
3.48/3.12	c Got one! Elapsed wall clock time (in seconds):3.015
3.48/3.12	o 218
3.59/3.23	c Got one! Elapsed wall clock time (in seconds):3.125
3.59/3.23	o 216
3.69/3.31	c cleaning 6102 clauses out of 12212 with flag 2001/66141
3.69/3.36	c Got one! Elapsed wall clock time (in seconds):3.253
3.69/3.36	o 212
3.88/3.51	c cleaning 5647 clauses out of 11305 with flag 4000/71336
3.88/3.57	c Got one! Elapsed wall clock time (in seconds):3.463
3.88/3.57	o 209
4.14/3.70	c cleaning 5373 clauses out of 10756 with flag 4000/76434
4.14/3.77	c Got one! Elapsed wall clock time (in seconds):3.662
4.14/3.77	o 208
4.34/3.92	c cleaning 5624 clauses out of 11259 with flag 4001/82310
4.54/4.14	c cleaning 5820 clauses out of 11641 with flag 10007/88316
4.94/4.53	c cleaning 6402 clauses out of 12814 with flag 17000/95309
4.94/4.55	c Got one! Elapsed wall clock time (in seconds):4.444
4.94/4.55	o 181
5.14/4.75	c cleaning 5820 clauses out of 11659 with flag 5001/100556
5.14/4.77	c Got one! Elapsed wall clock time (in seconds):4.658
5.14/4.77	o 180
5.38/4.92	c cleaning 5425 clauses out of 10859 with flag 5002/105576
5.48/5.06	c Got one! Elapsed wall clock time (in seconds):4.951
5.48/5.06	o 140
5.58/5.16	c cleaning 5546 clauses out of 11102 with flag 3000/111244
5.78/5.36	c cleaning 5776 clauses out of 11556 with flag 9000/117244
5.88/5.41	c Got one! Elapsed wall clock time (in seconds):5.301
5.88/5.41	o 124
5.98/5.54	c cleaning 5428 clauses out of 10863 with flag 4001/122327
6.18/5.75	c cleaning 5714 clauses out of 11434 with flag 10000/128326
6.48/6.04	c cleaning 6355 clauses out of 12721 with flag 17001/135327
6.88/6.42	c cleaning 7177 clauses out of 14367 with flag 25002/143328
7.18/6.74	c Got one! Elapsed wall clock time (in seconds):6.629
7.18/6.74	o 108
7.38/6.93	c cleaning 8808 clauses out of 17630 with flag 5001/153768
7.58/7.19	c cleaning 7400 clauses out of 14821 with flag 11000/159767
8.33/7.58	c cleaning 7206 clauses out of 14424 with flag 18003/166770
8.80/7.98	c cleaning 7605 clauses out of 15216 with flag 26001/174768
9.31/8.41	c cleaning 8301 clauses out of 16611 with flag 35001/183768
9.72/8.89	c cleaning 9149 clauses out of 18310 with flag 45001/193768
10.32/9.43	c cleaning 9574 clauses out of 19160 with flag 55000/203767
10.83/9.99	c cleaning 9790 clauses out of 19587 with flag 65001/213768
11.12/10.26	c Got one! Elapsed wall clock time (in seconds):10.151
11.12/10.26	o 102
11.32/10.46	c cleaning 10009 clauses out of 20027 with flag 5000/223998
11.53/10.69	c cleaning 8007 clauses out of 16019 with flag 11001/229999
11.83/10.99	c cleaning 7502 clauses out of 15011 with flag 18000/236998
12.33/11.42	c cleaning 7753 clauses out of 15509 with flag 26000/244998
12.73/11.86	c cleaning 8376 clauses out of 16758 with flag 35002/254000
12.83/11.99	c Got one! Elapsed wall clock time (in seconds):11.879
12.83/11.99	o 86
12.93/12.09	c cleaning 6798 clauses out of 13603 with flag 3000/259221
13.23/12.31	c cleaning 6399 clauses out of 12807 with flag 9002/265223
13.43/12.56	c cleaning 6699 clauses out of 13406 with flag 16000/272221
13.73/12.86	c cleaning 7348 clauses out of 14707 with flag 24000/280221
14.14/13.22	c cleaning 8178 clauses out of 16360 with flag 33001/289222
14.65/13.72	c cleaning 9088 clauses out of 18181 with flag 43000/299221
15.05/14.20	c cleaning 9541 clauses out of 19095 with flag 53002/309223
15.16/14.29	c Got one! Elapsed wall clock time (in seconds):14.186
15.16/14.29	o 73
15.36/14.44	c cleaning 7718 clauses out of 15449 with flag 4000/315118
15.56/14.67	c cleaning 6851 clauses out of 13732 with flag 10001/321119
15.86/14.98	c cleaning 6938 clauses out of 13881 with flag 17001/328119
16.27/15.32	c cleaning 7466 clauses out of 14943 with flag 25001/336119
16.66/15.75	c cleaning 8234 clauses out of 16477 with flag 34001/345119
16.87/15.96	c Got one! Elapsed wall clock time (in seconds):15.856
16.87/15.96	o 69
16.97/16.01	c cleaning 6877 clauses out of 13760 with flag 1001/350636
17.18/16.22	c cleaning 6437 clauses out of 12883 with flag 7001/356636
17.38/16.47	c cleaning 6720 clauses out of 13446 with flag 14001/363636
17.58/16.68	c Got one! Elapsed wall clock time (in seconds):16.57
17.58/16.68	o 63
17.78/16.90	c cleaning 8986 clauses out of 17977 with flag 5000/374887
18.08/17.10	c cleaning 7488 clauses out of 14991 with flag 11000/380887
18.28/17.36	c cleaning 7245 clauses out of 14504 with flag 18001/387888
18.59/17.65	c cleaning 7623 clauses out of 15259 with flag 26001/395888
18.88/17.99	c cleaning 8313 clauses out of 16636 with flag 35001/404888
19.39/18.44	c cleaning 9156 clauses out of 18322 with flag 45000/414887
19.79/18.85	c cleaning 9576 clauses out of 19166 with flag 55000/424887
20.09/19.15	c Got one! Elapsed wall clock time (in seconds):19.042
20.09/19.15	o 59
20.29/19.36	c cleaning 11105 clauses out of 22216 with flag 5000/437513
20.49/19.58	c cleaning 8553 clauses out of 17112 with flag 11001/443514
20.79/19.83	c cleaning 7776 clauses out of 15560 with flag 18002/450515
21.09/20.12	c cleaning 7886 clauses out of 15782 with flag 26000/458513
21.39/20.45	c cleaning 8448 clauses out of 16901 with flag 35005/467518
21.79/20.83	c cleaning 9223 clauses out of 18450 with flag 45002/477515
21.90/20.95	c Got one! Elapsed wall clock time (in seconds):20.843
21.90/20.95	o 45
21.99/21.07	c cleaning 7586 clauses out of 15174 with flag 3004/483462
22.19/21.29	c cleaning 6783 clauses out of 13584 with flag 9000/489458
22.49/21.56	c cleaning 6895 clauses out of 13802 with flag 16001/496459
22.79/21.86	c cleaning 7450 clauses out of 14906 with flag 24000/504458
23.19/22.25	c cleaning 8221 clauses out of 16456 with flag 33000/513458
23.59/22.63	c cleaning 9114 clauses out of 18237 with flag 43002/523460
24.00/23.08	c cleaning 9559 clauses out of 19122 with flag 53001/533459
24.30/23.32	c Got one! Elapsed wall clock time (in seconds):23.213
24.30/23.32	o 42
24.50/23.52	c cleaning 10634 clauses out of 21273 with flag 5002/545169
24.70/23.73	c cleaning 8313 clauses out of 16637 with flag 11000/551167
24.90/23.97	c cleaning 7657 clauses out of 15326 with flag 18002/558169
25.21/24.25	c cleaning 7830 clauses out of 15668 with flag 26001/566168
25.60/24.60	c cleaning 8411 clauses out of 16837 with flag 35000/575167
26.00/25.01	c cleaning 9209 clauses out of 18429 with flag 45003/585170
26.40/25.45	c cleaning 9605 clauses out of 19217 with flag 55000/595167
26.60/25.67	c Got one! Elapsed wall clock time (in seconds):25.564
26.60/25.67	o 32
26.81/25.87	c cleaning 10515 clauses out of 21043 with flag 5000/606598
27.01/26.09	c cleaning 8261 clauses out of 16529 with flag 11001/612599
27.32/26.33	c cleaning 7627 clauses out of 15267 with flag 18000/619598
27.61/26.60	c cleaning 7811 clauses out of 15640 with flag 26000/627598
27.91/26.91	c cleaning 8411 clauses out of 16829 with flag 35000/636598
28.21/27.25	c cleaning 9204 clauses out of 18422 with flag 45004/646602
28.61/27.63	c cleaning 9602 clauses out of 19214 with flag 55000/656598
28.91/27.99	c Got one! Elapsed wall clock time (in seconds):27.881
28.91/27.99	o 29
29.23/28.20	c cleaning 11400 clauses out of 22812 with flag 5001/669798
29.43/28.41	c cleaning 8703 clauses out of 17411 with flag 11000/675797
29.64/28.64	c cleaning 7847 clauses out of 15709 with flag 18001/682798
29.94/28.93	c cleaning 7927 clauses out of 15861 with flag 26000/690797
30.24/29.25	c cleaning 8462 clauses out of 16934 with flag 35000/699797
30.64/29.61	c cleaning 9233 clauses out of 18473 with flag 45001/709798
30.94/29.97	c cleaning 9613 clauses out of 19239 with flag 55000/719797
31.34/30.32	c cleaning 9810 clauses out of 19627 with flag 65001/729798
31.75/30.71	c cleaning 9902 clauses out of 19816 with flag 75000/739797
32.04/31.05	c cleaning 9953 clauses out of 19914 with flag 85000/749797
32.34/31.39	c cleaning 9975 clauses out of 19963 with flag 95002/759799
32.74/31.71	c cleaning 9989 clauses out of 19986 with flag 105000/769797
33.05/32.06	c cleaning 9994 clauses out of 19998 with flag 115001/779798
33.15/32.12	c Got one! Elapsed wall clock time (in seconds):32.01
33.15/32.12	o 27
33.25/32.25	c cleaning 7866 clauses out of 15740 with flag 4001/785534
33.45/32.46	c cleaning 6933 clauses out of 13874 with flag 10001/791534
33.75/32.72	c cleaning 6964 clauses out of 13943 with flag 17003/798536
34.06/33.01	c cleaning 7482 clauses out of 14977 with flag 25001/806534
34.35/33.38	c cleaning 8243 clauses out of 16497 with flag 34003/815536
34.75/33.78	c cleaning 9119 clauses out of 18252 with flag 44001/825534
35.16/34.14	c cleaning 9555 clauses out of 19132 with flag 54000/835533
35.55/34.51	c cleaning 9780 clauses out of 19577 with flag 64000/845533
35.66/34.61	c Got one! Elapsed wall clock time (in seconds):34.503
35.66/34.61	o 16
35.76/34.72	c cleaning 7880 clauses out of 15766 with flag 3002/851502
35.96/34.92	c cleaning 6942 clauses out of 13890 with flag 9006/857506
36.16/35.15	c cleaning 6968 clauses out of 13942 with flag 16000/864500
36.46/35.41	c cleaning 7482 clauses out of 14976 with flag 24002/872502
36.76/35.72	c cleaning 8243 clauses out of 16493 with flag 33001/881501
37.06/36.05	c cleaning 9120 clauses out of 18249 with flag 43000/891500
37.46/36.43	c cleaning 9559 clauses out of 19129 with flag 53000/901500
37.76/36.77	c cleaning 9781 clauses out of 19570 with flag 63000/911500
38.06/37.09	c cleaning 9891 clauses out of 19789 with flag 73000/921500
38.46/37.45	c cleaning 9948 clauses out of 19900 with flag 83002/931502
38.87/37.80	c cleaning 9969 clauses out of 19950 with flag 93000/941500
39.17/38.15	c cleaning 9988 clauses out of 19981 with flag 103000/951500
39.48/38.50	c cleaning 9995 clauses out of 19995 with flag 113002/961502
39.87/38.85	c cleaning 9994 clauses out of 19999 with flag 123001/971501
40.07/39.05	c Got one! Elapsed wall clock time (in seconds):38.937
40.07/39.05	o 15
40.27/39.23	c cleaning 10753 clauses out of 21514 with flag 5001/983010
40.47/39.45	c cleaning 8377 clauses out of 16760 with flag 11000/989009
40.68/39.68	c cleaning 7689 clauses out of 15384 with flag 18001/996010
40.97/39.94	c cleaning 7843 clauses out of 15696 with flag 26002/1004011
41.27/40.24	c cleaning 8418 clauses out of 16851 with flag 35000/1013009
41.58/40.58	c cleaning 9212 clauses out of 18436 with flag 45003/1023012
41.98/40.92	c Got one! Elapsed wall clock time (in seconds):40.812
41.98/40.92	o 3
42.18/41.14	c cleaning 12004 clauses out of 24012 with flag 5001/1037800
42.38/41.35	c cleaning 8998 clauses out of 18006 with flag 11000/1043799
42.58/41.51	c starts		: 213
42.58/41.51	c conflicts		: 1048461
42.58/41.51	c decisions		: 1704754
42.58/41.51	c propagations		: 26761752
42.58/41.51	c inspects		: 230749883
42.58/41.51	c shortcuts		: 0
42.58/41.51	c learnt literals	: 7
42.58/41.51	c learnt binary clauses	: 98
42.58/41.51	c learnt ternary clauses	: 815
42.58/41.51	c learnt constraints	: 1048453
42.58/41.51	c ignored constraints	: 0
42.58/41.51	c root simplifications	: 0
42.58/41.51	c removed literals (reason simplification)	: 6413143
42.58/41.51	c reason swapping (by a shorter reason)	: 0
42.58/41.51	c Calls to reduceDB	: 128
42.58/41.51	c number of reductions to clauses (during analyze)	: 0
42.58/41.51	c number of learned constraints concerned by reduction	: 0
42.58/41.51	c number of learning phase by resolution	: 0
42.58/41.51	c number of learning phase by cutting planes	: 0
42.58/41.51	c speed (assignments/second)	: 4.5746584615384616E7
42.58/41.51	c non guided choices	2346
42.58/41.51	c learnt constraints type 
42.58/41.51	c constraints type 
42.58/41.51	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
42.58/41.51	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
42.58/41.51	s OPTIMUM FOUND
42.58/41.51	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 
42.58/41.51	c objective function=3
42.58/41.51	c Total wall clock time (in seconds): 41.398

Verifier Data 

OK	3

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 27180
/proc/meminfo: memFree=11118876/32951124 swapFree=67056304/67111528
[pid=27180] ppid=27178 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/27180/stat : 27180 (java) R 27178 27180 24181 0 -1 4202496 877 0 0 0 0 0 0 0 25 0 1 0 981338088 23580672 619 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260015433472 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/27180/statm: 5757 632 466 9 0 124 0

[startup+0.014478 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 27180
/proc/meminfo: memFree=11118876/32951124 swapFree=67056304/67111528
[pid=27180] ppid=27178 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/27180/stat : 27180 (java) S 27178 27180 24181 0 -1 4202496 3470 0 1 0 0 0 0 0 25 0 2 0 981338088 10694979584 3170 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032198629 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/27180/statm: 2611079 3191 917 9 0 2602235 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 10444316

[startup+0.100454 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 27180
/proc/meminfo: memFree=11118876/32951124 swapFree=67056304/67111528
[pid=27180] ppid=27178 vsize=10540296 CPUtime=0.1 cores=1,3,5,7
/proc/27180/stat : 27180 (java) S 27178 27180 24181 0 -1 4202496 13080 0 1 0 8 2 0 0 25 0 18 0 981338088 10793263104 12750 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27180/statm: 2635074 12754 2093 9 0 2625808 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540296

[startup+0.300414 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 27180
/proc/meminfo: memFree=11118876/32951124 swapFree=67056304/67111528
[pid=27180] ppid=27178 vsize=10544192 CPUtime=0.5 cores=1,3,5,7
/proc/27180/stat : 27180 (java) S 27178 27180 24181 0 -1 4202496 15984 0 1 0 47 3 0 0 25 0 19 0 981338088 10797252608 14902 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27180/statm: 2636048 14902 2215 9 0 2626782 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10544192

[startup+0.700341 s]
/proc/loadavg: 2.00 2.00 2.00 2/195 27180
/proc/meminfo: memFree=11118876/32951124 swapFree=67056304/67111528
[pid=27180] ppid=27178 vsize=10544192 CPUtime=0.95 cores=1,3,5,7
/proc/27180/stat : 27180 (java) S 27178 27180 24181 0 -1 4202496 16626 0 1 0 92 3 0 0 25 0 19 0 981338088 10797252608 15518 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27180/statm: 2636048 15518 2219 9 0 2626782 0
Current children cumulated CPU time (s) 0.95
Current children cumulated vsize (KiB) 10544192

[startup+1.50121 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 27199
/proc/meminfo: memFree=11062640/32951124 swapFree=67056304/67111528
[pid=27180] ppid=27178 vsize=10544192 CPUtime=1.85 cores=1,3,5,7
/proc/27180/stat : 27180 (java) S 27178 27180 24181 0 -1 4202496 18055 0 1 0 182 3 0 0 25 0 19 0 981338088 10797252608 16942 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27180/statm: 2636048 16942 2248 9 0 2626782 0
[pid=27180/tid=27182] ppid=27178 vsize=10544192 CPUtime=1.43 cores=1,3,5,7
/proc/27180/task/27182/stat : 27182 (java) R 27178 27180 24181 0 -1 4202560 12507 0 1 0 141 2 0 0 25 0 19 0 981338089 10797252608 16942 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 46912505565772 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27180/tid=27183] ppid=27178 vsize=10544192 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27183/stat : 27183 (java) S 27178 27180 24181 0 -1 4202560 141 0 0 0 0 0 0 0 15 0 19 0 981338090 10797252608 16942 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 5 0 0 0
[pid=27180/tid=27184] ppid=27178 vsize=10544192 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27184/stat : 27184 (java) S 27178 27180 24181 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 981338090 10797252608 16942 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 5 0 0 0
[pid=27180/tid=27185] ppid=27178 vsize=10544192 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27185/stat : 27185 (java) S 27178 27180 24181 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981338090 10797252608 16942 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 5 0 0 0
[pid=27180/tid=27186] ppid=27178 vsize=10544192 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27186/stat : 27186 (java) S 27178 27180 24181 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981338090 10797252608 16942 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 5 0 0 0
[pid=27180/tid=27187] ppid=27178 vsize=10544192 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27187/stat : 27187 (java) S 27178 27180 24181 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 981338090 10797252608 16942 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 7 0 0 0
[pid=27180/tid=27188] ppid=27178 vsize=10544192 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27188/stat : 27188 (java) S 27178 27180 24181 0 -1 4202560 301 0 0 0 0 0 0 0 15 0 19 0 981338090 10797252608 16942 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 7 0 0 0
[pid=27180/tid=27189] ppid=27178 vsize=10544192 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27189/stat : 27189 (java) S 27178 27180 24181 0 -1 4202560 118 0 0 0 0 0 0 0 15 0 19 0 981338090 10797252608 16942 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 1 0 0 0
[pid=27180/tid=27190] ppid=27178 vsize=10544192 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27190/stat : 27190 (java) S 27178 27180 24181 0 -1 4202560 88 0 0 0 0 0 0 0 15 0 19 0 981338090 10797252608 16942 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 5 0 0 0
[pid=27180/tid=27191] ppid=27178 vsize=10544192 CPUtime=0.03 cores=1,3,5,7
/proc/27180/task/27191/stat : 27191 (java) S 27178 27180 24181 0 -1 4202560 541 0 0 0 3 0 0 0 16 0 19 0 981338091 10797252608 16942 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032212480 0 0 0 16800975 18446604469392378944 0 0 -1 3 0 0 0
[pid=27180/tid=27192] ppid=27178 vsize=10544192 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27192/stat : 27192 (java) S 27178 27180 24181 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981338092 10797252608 16942 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 3 0 0 0
[pid=27180/tid=27193] ppid=27178 vsize=10544192 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27193/stat : 27193 (java) S 27178 27180 24181 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981338092 10797252608 16942 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 7 0 0 0
[pid=27180/tid=27194] ppid=27178 vsize=10544192 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27194/stat : 27194 (java) S 27178 27180 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981338094 10797252608 16942 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032219569 0 4 0 16800975 18446604469392378944 0 0 -1 3 0 0 0
[pid=27180/tid=27195] ppid=27178 vsize=10544192 CPUtime=0.14 cores=1,3,5,7
/proc/27180/task/27195/stat : 27195 (java) S 27178 27180 24181 0 -1 4202560 1076 0 0 0 14 0 0 0 15 0 19 0 981338094 10797252608 16942 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 7 0 0 0
[pid=27180/tid=27196] ppid=27178 vsize=10544192 CPUtime=0.2 cores=1,3,5,7
/proc/27180/task/27196/stat : 27196 (java) S 27178 27180 24181 0 -1 4202560 2023 0 0 0 20 0 0 0 15 0 19 0 981338094 10797252608 16942 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 1 0 0 0
[pid=27180/tid=27197] ppid=27178 vsize=10544192 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27197/stat : 27197 (java) S 27178 27180 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981338094 10797252608 16942 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 3 0 0 0
[pid=27180/tid=27198] ppid=27178 vsize=10544192 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27198/stat : 27198 (java) S 27178 27180 24181 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981338094 10797252608 16942 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032212480 0 4 0 16800975 18446604469392378944 0 0 -1 5 0 0 0
[pid=27180/tid=27199] ppid=27178 vsize=10544192 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27199/stat : 27199 (java) S 27178 27180 24181 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981338105 10797252608 16942 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032212480 0 4 0 16800975 18446604469392378944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 10544192

[startup+3.1009 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 27199
/proc/meminfo: memFree=11059540/32951124 swapFree=67056304/67111528
[pid=27180] ppid=27178 vsize=10544344 CPUtime=3.48 cores=1,3,5,7
/proc/27180/stat : 27180 (java) S 27178 27180 24181 0 -1 4202496 18123 0 1 0 345 3 0 0 25 0 19 0 981338088 10797408256 17004 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27180/statm: 2636086 17004 2249 9 0 2626820 0
[pid=27180/tid=27182] ppid=27178 vsize=10544344 CPUtime=2.95 cores=1,3,5,7
/proc/27180/task/27182/stat : 27182 (java) R 27178 27180 24181 0 -1 4202560 12513 0 1 0 293 2 0 0 25 0 19 0 981338089 10797408256 17004 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 46912505583755 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27180/tid=27183] ppid=27178 vsize=10544344 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27183/stat : 27183 (java) S 27178 27180 24181 0 -1 4202560 141 0 0 0 0 0 0 0 15 0 19 0 981338090 10797408256 17004 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 5 0 0 0
[pid=27180/tid=27184] ppid=27178 vsize=10544344 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27184/stat : 27184 (java) S 27178 27180 24181 0 -1 4202560 99 0 0 0 0 0 0 0 15 0 19 0 981338090 10797408256 17004 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 5 0 0 0
[pid=27180/tid=27185] ppid=27178 vsize=10544344 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27185/stat : 27185 (java) S 27178 27180 24181 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 981338090 10797408256 17004 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 1 0 0 0
[pid=27180/tid=27186] ppid=27178 vsize=10544344 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27186/stat : 27186 (java) S 27178 27180 24181 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 981338090 10797408256 17004 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 5 0 0 0
[pid=27180/tid=27187] ppid=27178 vsize=10544344 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27187/stat : 27187 (java) S 27178 27180 24181 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 981338090 10797408256 17004 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 7 0 0 0
[pid=27180/tid=27188] ppid=27178 vsize=10544344 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27188/stat : 27188 (java) S 27178 27180 24181 0 -1 4202560 310 0 0 0 0 0 0 0 15 0 19 0 981338090 10797408256 17004 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 7 0 0 0
[pid=27180/tid=27189] ppid=27178 vsize=10544344 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27189/stat : 27189 (java) S 27178 27180 24181 0 -1 4202560 118 0 0 0 0 0 0 0 15 0 19 0 981338090 10797408256 17004 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 1 0 0 0
[pid=27180/tid=27190] ppid=27178 vsize=10544344 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27190/stat : 27190 (java) S 27178 27180 24181 0 -1 4202560 89 0 0 0 0 0 0 0 15 0 19 0 981338090 10797408256 17004 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 5 0 0 0
[pid=27180/tid=27191] ppid=27178 vsize=10544344 CPUtime=0.1 cores=1,3,5,7
/proc/27180/task/27191/stat : 27191 (java) S 27178 27180 24181 0 -1 4202560 542 0 0 0 10 0 0 0 16 0 19 0 981338091 10797408256 17004 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032212480 0 0 0 16800975 18446604469392378944 0 0 -1 3 0 0 0
[pid=27180/tid=27192] ppid=27178 vsize=10544344 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27192/stat : 27192 (java) S 27178 27180 24181 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981338092 10797408256 17004 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 3 0 0 0
[pid=27180/tid=27193] ppid=27178 vsize=10544344 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27193/stat : 27193 (java) S 27178 27180 24181 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981338092 10797408256 17004 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 7 0 0 0
[pid=27180/tid=27194] ppid=27178 vsize=10544344 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27194/stat : 27194 (java) S 27178 27180 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981338094 10797408256 17004 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032219569 0 4 0 16800975 18446604469392378944 0 0 -1 3 0 0 0
[pid=27180/tid=27195] ppid=27178 vsize=10544344 CPUtime=0.16 cores=1,3,5,7
/proc/27180/task/27195/stat : 27195 (java) S 27178 27180 24181 0 -1 4202560 1116 0 0 0 16 0 0 0 15 0 19 0 981338094 10797408256 17004 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 7 0 0 0
[pid=27180/tid=27196] ppid=27178 vsize=10544344 CPUtime=0.2 cores=1,3,5,7
/proc/27180/task/27196/stat : 27196 (java) S 27178 27180 24181 0 -1 4202560 2023 0 0 0 20 0 0 0 15 0 19 0 981338094 10797408256 17004 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 1 0 0 0
[pid=27180/tid=27197] ppid=27178 vsize=10544344 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27197/stat : 27197 (java) S 27178 27180 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981338094 10797408256 17004 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 3 0 0 0
[pid=27180/tid=27198] ppid=27178 vsize=10544344 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27198/stat : 27198 (java) S 27178 27180 24181 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981338094 10797408256 17004 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032212480 0 4 0 16800975 18446604469392378944 0 0 -1 5 0 0 0
[pid=27180/tid=27199] ppid=27178 vsize=10544344 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27199/stat : 27199 (java) S 27178 27180 24181 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981338105 10797408256 17004 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032212480 0 4 0 16800975 18446604469392378944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 10544344

[startup+6.30132 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 27199
/proc/meminfo: memFree=11058248/32951124 swapFree=67056304/67111528
[pid=27180] ppid=27178 vsize=10543932 CPUtime=6.78 cores=1,3,5,7
/proc/27180/stat : 27180 (java) S 27178 27180 24181 0 -1 4202496 19242 0 1 0 675 3 0 0 25 0 19 0 981338088 10796986368 16935 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27180/statm: 2635983 16935 2250 9 0 2626717 0
[pid=27180/tid=27182] ppid=27178 vsize=10543932 CPUtime=5.99 cores=1,3,5,7
/proc/27180/task/27182/stat : 27182 (java) R 27178 27180 24181 0 -1 4202560 12528 0 1 0 597 2 0 0 25 0 19 0 981338089 10796986368 16935 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 46912505532196 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=27180/tid=27183] ppid=27178 vsize=10543932 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27183/stat : 27183 (java) S 27178 27180 24181 0 -1 4202560 142 0 0 0 0 0 0 0 15 0 19 0 981338090 10796986368 16935 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 5 0 0 0
[pid=27180/tid=27184] ppid=27178 vsize=10543932 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27184/stat : 27184 (java) S 27178 27180 24181 0 -1 4202560 100 0 0 0 0 0 0 0 16 0 19 0 981338090 10796986368 16935 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 7 0 0 0
[pid=27180/tid=27185] ppid=27178 vsize=10543932 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27185/stat : 27185 (java) S 27178 27180 24181 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 981338090 10796986368 16935 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 1 0 0 0
[pid=27180/tid=27186] ppid=27178 vsize=10543932 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27186/stat : 27186 (java) S 27178 27180 24181 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 981338090 10796986368 16935 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 7 0 0 0
[pid=27180/tid=27187] ppid=27178 vsize=10543932 CPUtime=0.01 cores=1,3,5,7
/proc/27180/task/27187/stat : 27187 (java) S 27178 27180 24181 0 -1 4202560 15 0 0 0 1 0 0 0 15 0 19 0 981338090 10796986368 16935 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 5 0 0 0
[pid=27180/tid=27188] ppid=27178 vsize=10543932 CPUtime=0.01 cores=1,3,5,7
/proc/27180/task/27188/stat : 27188 (java) S 27178 27180 24181 0 -1 4202560 311 0 0 0 1 0 0 0 15 0 19 0 981338090 10796986368 16935 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 7 0 0 0
[pid=27180/tid=27189] ppid=27178 vsize=10543932 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27189/stat : 27189 (java) S 27178 27180 24181 0 -1 4202560 119 0 0 0 0 0 0 0 15 0 19 0 981338090 10796986368 16935 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 1 0 0 0
[pid=27180/tid=27190] ppid=27178 vsize=10543932 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27190/stat : 27190 (java) S 27178 27180 24181 0 -1 4202560 91 0 0 0 0 0 0 0 16 0 19 0 981338090 10796986368 16935 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 5 0 0 0
[pid=27180/tid=27191] ppid=27178 vsize=10543932 CPUtime=0.25 cores=1,3,5,7
/proc/27180/task/27191/stat : 27191 (java) S 27178 27180 24181 0 -1 4202560 542 0 0 0 25 0 0 0 16 0 19 0 981338091 10796986368 16935 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032212480 0 0 0 16800975 18446604469392378944 0 0 -1 3 0 0 0
[pid=27180/tid=27192] ppid=27178 vsize=10543932 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27192/stat : 27192 (java) S 27178 27180 24181 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981338092 10796986368 16935 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 3 0 0 0
[pid=27180/tid=27193] ppid=27178 vsize=10543932 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27193/stat : 27193 (java) S 27178 27180 24181 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981338092 10796986368 16935 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 7 0 0 0
[pid=27180/tid=27194] ppid=27178 vsize=10543932 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27194/stat : 27194 (java) S 27178 27180 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981338094 10796986368 16935 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032219569 0 4 0 16800975 18446604469392378944 0 0 -1 3 0 0 0
[pid=27180/tid=27195] ppid=27178 vsize=10543932 CPUtime=0.21 cores=1,3,5,7
/proc/27180/task/27195/stat : 27195 (java) S 27178 27180 24181 0 -1 4202560 1930 0 0 0 21 0 0 0 15 0 19 0 981338094 10796986368 16935 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 5 0 0 0
[pid=27180/tid=27196] ppid=27178 vsize=10543932 CPUtime=0.24 cores=1,3,5,7
/proc/27180/task/27196/stat : 27196 (java) S 27178 27180 24181 0 -1 4202560 2305 0 0 0 24 0 0 0 15 0 19 0 981338094 10796986368 16935 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 1 0 0 0
[pid=27180/tid=27197] ppid=27178 vsize=10543932 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27197/stat : 27197 (java) S 27178 27180 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981338094 10796986368 16935 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 3 0 0 0
[pid=27180/tid=27198] ppid=27178 vsize=10543932 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27198/stat : 27198 (java) S 27178 27180 24181 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981338094 10796986368 16935 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032212480 0 4 0 16800975 18446604469392378944 0 0 -1 5 0 0 0
[pid=27180/tid=27199] ppid=27178 vsize=10543932 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27199/stat : 27199 (java) S 27178 27180 24181 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981338105 10796986368 16935 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032212480 0 4 0 16800975 18446604469392378944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.78
Current children cumulated vsize (KiB) 10543932

[startup+12.7011 s]

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

/proc/27180/task/27183/stat : 27183 (java) S 27178 27180 24181 0 -1 4202560 171 0 0 0 3 0 0 0 15 0 19 0 981338090 10805649408 19797 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 7 0 0 0
[pid=27180/tid=27184] ppid=27178 vsize=10552392 CPUtime=0.03 cores=1,3,5,7
/proc/27180/task/27184/stat : 27184 (java) S 27178 27180 24181 0 -1 4202560 108 0 0 0 3 0 0 0 15 0 19 0 981338090 10805649408 19797 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 5 0 0 0
[pid=27180/tid=27185] ppid=27178 vsize=10552392 CPUtime=0.02 cores=1,3,5,7
/proc/27180/task/27185/stat : 27185 (java) S 27178 27180 24181 0 -1 4202560 9 0 0 0 2 0 0 0 16 0 19 0 981338090 10805649408 19797 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 5 0 0 0
[pid=27180/tid=27186] ppid=27178 vsize=10552392 CPUtime=0.02 cores=1,3,5,7
/proc/27180/task/27186/stat : 27186 (java) S 27178 27180 24181 0 -1 4202560 8 0 0 0 2 0 0 0 15 0 19 0 981338090 10805649408 19797 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 1 0 0 0
[pid=27180/tid=27187] ppid=27178 vsize=10552392 CPUtime=0.03 cores=1,3,5,7
/proc/27180/task/27187/stat : 27187 (java) S 27178 27180 24181 0 -1 4202560 29 0 0 0 3 0 0 0 16 0 19 0 981338090 10805649408 19797 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 5 0 0 0
[pid=27180/tid=27188] ppid=27178 vsize=10552392 CPUtime=0.04 cores=1,3,5,7
/proc/27180/task/27188/stat : 27188 (java) S 27178 27180 24181 0 -1 4202560 344 0 0 0 4 0 0 0 15 0 19 0 981338090 10805649408 19797 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 1 0 0 0
[pid=27180/tid=27189] ppid=27178 vsize=10552392 CPUtime=0.03 cores=1,3,5,7
/proc/27180/task/27189/stat : 27189 (java) S 27178 27180 24181 0 -1 4202560 128 0 0 0 3 0 0 0 15 0 19 0 981338090 10805649408 19797 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 1 0 0 0
[pid=27180/tid=27190] ppid=27178 vsize=10552392 CPUtime=0.03 cores=1,3,5,7
/proc/27180/task/27190/stat : 27190 (java) S 27178 27180 24181 0 -1 4202560 97 0 0 0 3 0 0 0 15 0 19 0 981338090 10805649408 19797 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 1 0 0 0
[pid=27180/tid=27191] ppid=27178 vsize=10552392 CPUtime=1.6 cores=1,3,5,7
/proc/27180/task/27191/stat : 27191 (java) S 27178 27180 24181 0 -1 4202560 923 0 0 0 158 2 0 0 15 0 19 0 981338091 10805649408 19797 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032212480 0 0 0 16800975 18446604469392378944 0 0 -1 3 0 0 0
[pid=27180/tid=27192] ppid=27178 vsize=10552392 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27192/stat : 27192 (java) S 27178 27180 24181 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981338092 10805649408 19797 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 3 0 0 0
[pid=27180/tid=27193] ppid=27178 vsize=10552392 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27193/stat : 27193 (java) S 27178 27180 24181 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981338092 10805649408 19797 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 7 0 0 0
[pid=27180/tid=27194] ppid=27178 vsize=10552392 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27194/stat : 27194 (java) S 27178 27180 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981338094 10805649408 19797 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032219569 0 4 0 16800975 18446604469392378944 0 0 -1 3 0 0 0
[pid=27180/tid=27195] ppid=27178 vsize=10552392 CPUtime=0.66 cores=1,3,5,7
/proc/27180/task/27195/stat : 27195 (java) S 27178 27180 24181 0 -1 4202560 7595 0 0 0 66 0 0 0 15 0 19 0 981338094 10805649408 19797 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 5 0 0 0
[pid=27180/tid=27196] ppid=27178 vsize=10552392 CPUtime=0.26 cores=1,3,5,7
/proc/27180/task/27196/stat : 27196 (java) S 27178 27180 24181 0 -1 4202560 2498 0 0 0 26 0 0 0 15 0 19 0 981338094 10805649408 19797 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 1 0 0 0
[pid=27180/tid=27197] ppid=27178 vsize=10552392 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27197/stat : 27197 (java) S 27178 27180 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981338094 10805649408 19797 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 3 0 0 0
[pid=27180/tid=27198] ppid=27178 vsize=10552392 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27198/stat : 27198 (java) S 27178 27180 24181 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 981338094 10805649408 19797 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032212480 0 4 0 16800975 18446604469392378944 0 0 -1 7 0 0 0
[pid=27180/tid=27199] ppid=27178 vsize=10552392 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27199/stat : 27199 (java) S 27178 27180 24181 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981338105 10805649408 19797 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032212480 0 4 0 16800975 18446604469392378944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 40.97
Current children cumulated vsize (KiB) 10552392

[startup+40.707 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 27200
/proc/meminfo: memFree=11047204/32951124 swapFree=67056304/67111528
[pid=27180] ppid=27178 vsize=10552392 CPUtime=41.78 cores=1,3,5,7
/proc/27180/stat : 27180 (java) S 27178 27180 24181 0 -1 4202496 25702 0 1 0 4171 7 0 0 25 0 19 0 981338088 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27180/statm: 2638098 19798 2252 9 0 2628832 0
[pid=27180/tid=27182] ppid=27178 vsize=10552392 CPUtime=38.89 cores=1,3,5,7
/proc/27180/task/27182/stat : 27182 (java) R 27178 27180 24181 0 -1 4202560 12636 0 1 0 3887 2 0 0 18 0 19 0 981338089 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 46912505531290 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27180/tid=27183] ppid=27178 vsize=10552392 CPUtime=0.03 cores=1,3,5,7
/proc/27180/task/27183/stat : 27183 (java) S 27178 27180 24181 0 -1 4202560 171 0 0 0 3 0 0 0 15 0 19 0 981338090 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 7 0 0 0
[pid=27180/tid=27184] ppid=27178 vsize=10552392 CPUtime=0.03 cores=1,3,5,7
/proc/27180/task/27184/stat : 27184 (java) S 27178 27180 24181 0 -1 4202560 108 0 0 0 3 0 0 0 16 0 19 0 981338090 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 5 0 0 0
[pid=27180/tid=27185] ppid=27178 vsize=10552392 CPUtime=0.02 cores=1,3,5,7
/proc/27180/task/27185/stat : 27185 (java) S 27178 27180 24181 0 -1 4202560 9 0 0 0 2 0 0 0 15 0 19 0 981338090 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 5 0 0 0
[pid=27180/tid=27186] ppid=27178 vsize=10552392 CPUtime=0.02 cores=1,3,5,7
/proc/27180/task/27186/stat : 27186 (java) S 27178 27180 24181 0 -1 4202560 8 0 0 0 2 0 0 0 16 0 19 0 981338090 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 7 0 0 0
[pid=27180/tid=27187] ppid=27178 vsize=10552392 CPUtime=0.03 cores=1,3,5,7
/proc/27180/task/27187/stat : 27187 (java) S 27178 27180 24181 0 -1 4202560 30 0 0 0 3 0 0 0 15 0 19 0 981338090 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 1 0 0 0
[pid=27180/tid=27188] ppid=27178 vsize=10552392 CPUtime=0.04 cores=1,3,5,7
/proc/27180/task/27188/stat : 27188 (java) S 27178 27180 24181 0 -1 4202560 344 0 0 0 4 0 0 0 15 0 19 0 981338090 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 1 0 0 0
[pid=27180/tid=27189] ppid=27178 vsize=10552392 CPUtime=0.03 cores=1,3,5,7
/proc/27180/task/27189/stat : 27189 (java) S 27178 27180 24181 0 -1 4202560 128 0 0 0 3 0 0 0 15 0 19 0 981338090 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 1 0 0 0
[pid=27180/tid=27190] ppid=27178 vsize=10552392 CPUtime=0.03 cores=1,3,5,7
/proc/27180/task/27190/stat : 27190 (java) S 27178 27180 24181 0 -1 4202560 97 0 0 0 3 0 0 0 15 0 19 0 981338090 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 1 0 0 0
[pid=27180/tid=27191] ppid=27178 vsize=10552392 CPUtime=1.64 cores=1,3,5,7
/proc/27180/task/27191/stat : 27191 (java) S 27178 27180 24181 0 -1 4202560 923 0 0 0 162 2 0 0 15 0 19 0 981338091 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032212480 0 0 0 16800975 18446604469392378944 0 0 -1 3 0 0 0
[pid=27180/tid=27192] ppid=27178 vsize=10552392 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27192/stat : 27192 (java) S 27178 27180 24181 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981338092 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 3 0 0 0
[pid=27180/tid=27193] ppid=27178 vsize=10552392 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27193/stat : 27193 (java) S 27178 27180 24181 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981338092 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 7 0 0 0
[pid=27180/tid=27194] ppid=27178 vsize=10552392 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27194/stat : 27194 (java) S 27178 27180 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981338094 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032219569 0 4 0 16800975 18446604469392378944 0 0 -1 3 0 0 0
[pid=27180/tid=27195] ppid=27178 vsize=10552392 CPUtime=0.66 cores=1,3,5,7
/proc/27180/task/27195/stat : 27195 (java) S 27178 27180 24181 0 -1 4202560 7595 0 0 0 66 0 0 0 15 0 19 0 981338094 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 5 0 0 0
[pid=27180/tid=27196] ppid=27178 vsize=10552392 CPUtime=0.26 cores=1,3,5,7
/proc/27180/task/27196/stat : 27196 (java) S 27178 27180 24181 0 -1 4202560 2498 0 0 0 26 0 0 0 15 0 19 0 981338094 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 1 0 0 0
[pid=27180/tid=27197] ppid=27178 vsize=10552392 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27197/stat : 27197 (java) S 27178 27180 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981338094 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 3 0 0 0
[pid=27180/tid=27198] ppid=27178 vsize=10552392 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27198/stat : 27198 (java) S 27178 27180 24181 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 981338094 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032212480 0 4 0 16800975 18446604469392378944 0 0 -1 7 0 0 0
[pid=27180/tid=27199] ppid=27178 vsize=10552392 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27199/stat : 27199 (java) S 27178 27180 24181 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981338105 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032212480 0 4 0 16800975 18446604469392378944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 41.78
Current children cumulated vsize (KiB) 10552392

[startup+41.1009 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 27200
/proc/meminfo: memFree=11047204/32951124 swapFree=67056304/67111528
[pid=27180] ppid=27178 vsize=10552392 CPUtime=42.18 cores=1,3,5,7
/proc/27180/stat : 27180 (java) S 27178 27180 24181 0 -1 4202496 25702 0 1 0 4211 7 0 0 25 0 19 0 981338088 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27180/statm: 2638098 19798 2252 9 0 2628832 0
[pid=27180/tid=27182] ppid=27178 vsize=10552392 CPUtime=39.29 cores=1,3,5,7
/proc/27180/task/27182/stat : 27182 (java) R 27178 27180 24181 0 -1 4202560 12636 0 1 0 3927 2 0 0 18 0 19 0 981338089 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 46912505558257 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27180/tid=27183] ppid=27178 vsize=10552392 CPUtime=0.03 cores=1,3,5,7
/proc/27180/task/27183/stat : 27183 (java) S 27178 27180 24181 0 -1 4202560 171 0 0 0 3 0 0 0 15 0 19 0 981338090 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 7 0 0 0
[pid=27180/tid=27184] ppid=27178 vsize=10552392 CPUtime=0.03 cores=1,3,5,7
/proc/27180/task/27184/stat : 27184 (java) S 27178 27180 24181 0 -1 4202560 108 0 0 0 3 0 0 0 16 0 19 0 981338090 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 5 0 0 0
[pid=27180/tid=27185] ppid=27178 vsize=10552392 CPUtime=0.02 cores=1,3,5,7
/proc/27180/task/27185/stat : 27185 (java) S 27178 27180 24181 0 -1 4202560 9 0 0 0 2 0 0 0 15 0 19 0 981338090 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 5 0 0 0
[pid=27180/tid=27186] ppid=27178 vsize=10552392 CPUtime=0.02 cores=1,3,5,7
/proc/27180/task/27186/stat : 27186 (java) S 27178 27180 24181 0 -1 4202560 8 0 0 0 2 0 0 0 16 0 19 0 981338090 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 7 0 0 0
[pid=27180/tid=27187] ppid=27178 vsize=10552392 CPUtime=0.03 cores=1,3,5,7
/proc/27180/task/27187/stat : 27187 (java) S 27178 27180 24181 0 -1 4202560 30 0 0 0 3 0 0 0 15 0 19 0 981338090 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 1 0 0 0
[pid=27180/tid=27188] ppid=27178 vsize=10552392 CPUtime=0.04 cores=1,3,5,7
/proc/27180/task/27188/stat : 27188 (java) S 27178 27180 24181 0 -1 4202560 344 0 0 0 4 0 0 0 15 0 19 0 981338090 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 1 0 0 0
[pid=27180/tid=27189] ppid=27178 vsize=10552392 CPUtime=0.03 cores=1,3,5,7
/proc/27180/task/27189/stat : 27189 (java) S 27178 27180 24181 0 -1 4202560 128 0 0 0 3 0 0 0 15 0 19 0 981338090 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 1 0 0 0
[pid=27180/tid=27190] ppid=27178 vsize=10552392 CPUtime=0.03 cores=1,3,5,7
/proc/27180/task/27190/stat : 27190 (java) S 27178 27180 24181 0 -1 4202560 97 0 0 0 3 0 0 0 15 0 19 0 981338090 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 1 0 0 0
[pid=27180/tid=27191] ppid=27178 vsize=10552392 CPUtime=1.64 cores=1,3,5,7
/proc/27180/task/27191/stat : 27191 (java) S 27178 27180 24181 0 -1 4202560 923 0 0 0 162 2 0 0 15 0 19 0 981338091 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032212480 0 0 0 16800975 18446604469392378944 0 0 -1 3 0 0 0
[pid=27180/tid=27192] ppid=27178 vsize=10552392 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27192/stat : 27192 (java) S 27178 27180 24181 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981338092 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 3 0 0 0
[pid=27180/tid=27193] ppid=27178 vsize=10552392 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27193/stat : 27193 (java) S 27178 27180 24181 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981338092 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 7 0 0 0
[pid=27180/tid=27194] ppid=27178 vsize=10552392 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27194/stat : 27194 (java) S 27178 27180 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981338094 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032219569 0 4 0 16800975 18446604469392378944 0 0 -1 3 0 0 0
[pid=27180/tid=27195] ppid=27178 vsize=10552392 CPUtime=0.66 cores=1,3,5,7
/proc/27180/task/27195/stat : 27195 (java) S 27178 27180 24181 0 -1 4202560 7595 0 0 0 66 0 0 0 15 0 19 0 981338094 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 5 0 0 0
[pid=27180/tid=27196] ppid=27178 vsize=10552392 CPUtime=0.26 cores=1,3,5,7
/proc/27180/task/27196/stat : 27196 (java) S 27178 27180 24181 0 -1 4202560 2498 0 0 0 26 0 0 0 15 0 19 0 981338094 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 1 0 0 0
[pid=27180/tid=27197] ppid=27178 vsize=10552392 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27197/stat : 27197 (java) S 27178 27180 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981338094 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 3 0 0 0
[pid=27180/tid=27198] ppid=27178 vsize=10552392 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27198/stat : 27198 (java) S 27178 27180 24181 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 981338094 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032212480 0 4 0 16800975 18446604469392378944 0 0 -1 7 0 0 0
[pid=27180/tid=27199] ppid=27178 vsize=10552392 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27199/stat : 27199 (java) S 27178 27180 24181 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981338105 10805649408 19798 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032212480 0 4 0 16800975 18446604469392378944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 42.18
Current children cumulated vsize (KiB) 10552392

[startup+41.5009 s]
/proc/loadavg: 2.00 2.00 2.00 3/214 27200
/proc/meminfo: memFree=11047204/32951124 swapFree=67056304/67111528
[pid=27180] ppid=27178 vsize=10552392 CPUtime=42.58 cores=1,3,5,7
/proc/27180/stat : 27180 (java) S 27178 27180 24181 0 -1 4202496 25758 0 1 0 4251 7 0 0 25 0 19 0 981338088 10805649408 19679 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032198629 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/27180/statm: 2638098 19679 2252 9 0 2628832 0
[pid=27180/tid=27182] ppid=27178 vsize=10552392 CPUtime=39.65 cores=1,3,5,7
/proc/27180/task/27182/stat : 27182 (java) R 27178 27180 24181 0 -1 4202560 12639 0 1 0 3963 2 0 0 19 0 19 0 981338089 10805649408 19679 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 46912505714656 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=27180/tid=27183] ppid=27178 vsize=10552392 CPUtime=0.03 cores=1,3,5,7
/proc/27180/task/27183/stat : 27183 (java) S 27178 27180 24181 0 -1 4202560 171 0 0 0 3 0 0 0 16 0 19 0 981338090 10805649408 19679 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 7 0 0 0
[pid=27180/tid=27184] ppid=27178 vsize=10552392 CPUtime=0.03 cores=1,3,5,7
/proc/27180/task/27184/stat : 27184 (java) S 27178 27180 24181 0 -1 4202560 108 0 0 0 3 0 0 0 15 0 19 0 981338090 10805649408 19679 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 5 0 0 0
[pid=27180/tid=27185] ppid=27178 vsize=10552392 CPUtime=0.02 cores=1,3,5,7
/proc/27180/task/27185/stat : 27185 (java) S 27178 27180 24181 0 -1 4202560 9 0 0 0 2 0 0 0 15 0 19 0 981338090 10805649408 19679 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 5 0 0 0
[pid=27180/tid=27186] ppid=27178 vsize=10552392 CPUtime=0.02 cores=1,3,5,7
/proc/27180/task/27186/stat : 27186 (java) S 27178 27180 24181 0 -1 4202560 8 0 0 0 2 0 0 0 15 0 19 0 981338090 10805649408 19679 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 7 0 0 0
[pid=27180/tid=27187] ppid=27178 vsize=10552392 CPUtime=0.03 cores=1,3,5,7
/proc/27180/task/27187/stat : 27187 (java) S 27178 27180 24181 0 -1 4202560 30 0 0 0 3 0 0 0 15 0 19 0 981338090 10805649408 19679 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 1 0 0 0
[pid=27180/tid=27188] ppid=27178 vsize=10552392 CPUtime=0.04 cores=1,3,5,7
/proc/27180/task/27188/stat : 27188 (java) S 27178 27180 24181 0 -1 4202560 344 0 0 0 4 0 0 0 15 0 19 0 981338090 10805649408 19679 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 1 0 0 0
[pid=27180/tid=27189] ppid=27178 vsize=10552392 CPUtime=0.03 cores=1,3,5,7
/proc/27180/task/27189/stat : 27189 (java) S 27178 27180 24181 0 -1 4202560 128 0 0 0 3 0 0 0 16 0 19 0 981338090 10805649408 19679 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 5 0 0 0
[pid=27180/tid=27190] ppid=27178 vsize=10552392 CPUtime=0.03 cores=1,3,5,7
/proc/27180/task/27190/stat : 27190 (java) S 27178 27180 24181 0 -1 4202560 97 0 0 0 3 0 0 0 15 0 19 0 981338090 10805649408 19679 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 1 0 0 0
[pid=27180/tid=27191] ppid=27178 vsize=10552392 CPUtime=1.66 cores=1,3,5,7
/proc/27180/task/27191/stat : 27191 (java) S 27178 27180 24181 0 -1 4202560 976 0 0 0 164 2 0 0 15 0 19 0 981338091 10805649408 19679 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032212480 0 0 0 16800975 18446604469392378944 0 0 -1 3 0 0 0
[pid=27180/tid=27192] ppid=27178 vsize=10552392 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27192/stat : 27192 (java) S 27178 27180 24181 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 981338092 10805649408 19679 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 3 0 0 0
[pid=27180/tid=27193] ppid=27178 vsize=10552392 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27193/stat : 27193 (java) S 27178 27180 24181 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981338092 10805649408 19679 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 7 0 0 0
[pid=27180/tid=27194] ppid=27178 vsize=10552392 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27194/stat : 27194 (java) S 27178 27180 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981338094 10805649408 19679 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032219569 0 4 0 16800975 18446604469392378944 0 0 -1 3 0 0 0
[pid=27180/tid=27195] ppid=27178 vsize=10552392 CPUtime=0.66 cores=1,3,5,7
/proc/27180/task/27195/stat : 27195 (java) S 27178 27180 24181 0 -1 4202560 7595 0 0 0 66 0 0 0 15 0 19 0 981338094 10805649408 19679 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 5 0 0 0
[pid=27180/tid=27196] ppid=27178 vsize=10552392 CPUtime=0.26 cores=1,3,5,7
/proc/27180/task/27196/stat : 27196 (java) S 27178 27180 24181 0 -1 4202560 2498 0 0 0 26 0 0 0 15 0 19 0 981338094 10805649408 19679 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 1 0 0 0
[pid=27180/tid=27197] ppid=27178 vsize=10552392 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27197/stat : 27197 (java) S 27178 27180 24181 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981338094 10805649408 19679 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032211865 0 4 0 16800975 18446604469392378944 0 0 -1 3 0 0 0
[pid=27180/tid=27198] ppid=27178 vsize=10552392 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27198/stat : 27198 (java) S 27178 27180 24181 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 981338094 10805649408 19679 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032212480 0 4 0 16800975 18446604469392378944 0 0 -1 7 0 0 0
[pid=27180/tid=27199] ppid=27178 vsize=10552392 CPUtime=0 cores=1,3,5,7
/proc/27180/task/27199/stat : 27199 (java) S 27178 27180 24181 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981338105 10805649408 19679 33554432000 1073741824 1073778376 140736159347072 18446744073709551615 260032212480 0 4 0 16800975 18446604469392378944 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 42.58
Current children cumulated vsize (KiB) 10552392

Child status: 30
Real time (s): 41.5156
CPU time (s): 42.6015
CPU user time (s): 42.5225
CPU system time (s): 0.078987
CPU usage (%): 102.616
Max. virtual memory (cumulated for all children) (KiB): 10563016

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 42.5225
system time used= 0.078987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25778
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= 4848
involuntary context switches= 1876

runsolver used 0.077988 second user time and 0.160975 second system time

The end

Launcher Data 

Begin job on node110 at 2011-06-12 22:37:55
IDJOB=3492657
IDBENCH=79212
IDSOLVER=1982
FILE ID=node110/3492657-1307911075
RUNJOBID= node110-1307907269-25819
PBS_JOBID= 13559603
Free space on /var/tmp= 2884 MiB

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

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

MD5SUM BENCH= 033c12179045731c4fd222e5d353b2b2
RANDOM SEED=1745856510

node110.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.83
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.75
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.83
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.76
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.83
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.74
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      11119288 kB
Buffers:         54532 kB
Cached:       20955728 kB
SwapCached:       9144 kB
Active:        5807924 kB
Inactive:     15309844 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      11119288 kB
SwapTotal:    67111528 kB
SwapFree:     67056304 kB
Dirty:             128 kB
Writeback:           0 kB
AnonPages:      105280 kB
Mapped:          21496 kB
Slab:           649552 kB
PageTables:       4304 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10552420 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2884 MiB
End job on node110 at 2011-06-12 22:38:37