Trace number 3492009

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 65.0601 63.6153

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111212272--soft-0-100-0.wbo
MD5SUM833ed0c2692f571257dcfcd637053de2
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark2.88356
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 5180
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 5179
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1210
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.08	c version 2.3.1.v20110525
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.18-164.el5
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		9996466904
0.00/0.08	c Max memory 		10048897024
0.00/0.08	c Total memory 		10048897024
0.00/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c Expensive reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3492009-1307911212.wbo
0.10/0.10	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.29/0.21	c SATISFIABLE
0.29/0.21	c OPTIMIZING...
0.29/0.21	c Got one! Elapsed wall clock time (in seconds):0.111
0.29/0.21	o 646
0.29/0.25	c Got one! Elapsed wall clock time (in seconds):0.15
0.29/0.25	o 604
0.29/0.26	c Got one! Elapsed wall clock time (in seconds):0.16
0.29/0.26	o 569
0.29/0.28	c Got one! Elapsed wall clock time (in seconds):0.174
0.29/0.28	o 548
0.29/0.29	c Got one! Elapsed wall clock time (in seconds):0.191
0.29/0.29	o 541
0.52/0.31	c Got one! Elapsed wall clock time (in seconds):0.207
0.52/0.31	o 534
0.52/0.33	c Got one! Elapsed wall clock time (in seconds):0.232
0.52/0.33	o 530
0.52/0.35	c Got one! Elapsed wall clock time (in seconds):0.249
0.52/0.35	o 486
0.65/0.40	c Got one! Elapsed wall clock time (in seconds):0.3
0.65/0.40	o 483
0.65/0.43	c Got one! Elapsed wall clock time (in seconds):0.324
0.65/0.43	o 481
0.77/0.59	c Got one! Elapsed wall clock time (in seconds):0.487
0.77/0.59	o 451
0.87/0.62	c Got one! Elapsed wall clock time (in seconds):0.521
0.87/0.62	o 448
0.98/0.75	c Got one! Elapsed wall clock time (in seconds):0.65
0.98/0.75	o 424
1.10/0.82	c cleaning 5081 clauses out of 10169 with flag 1000/10169
1.23/0.95	c Got one! Elapsed wall clock time (in seconds):0.85
1.23/0.95	o 420
1.23/0.99	c Got one! Elapsed wall clock time (in seconds):0.889
1.23/0.99	o 357
1.35/1.08	c cleaning 5364 clauses out of 10729 with flag 2002/15810
1.46/1.15	c Got one! Elapsed wall clock time (in seconds):1.047
1.46/1.15	o 324
1.46/1.18	c Got one! Elapsed wall clock time (in seconds):1.081
1.46/1.18	o 261
1.66/1.36	c cleaning 5788 clauses out of 11585 with flag 4000/22030
1.88/1.56	c Got one! Elapsed wall clock time (in seconds):1.457
1.88/1.56	o 252
2.00/1.60	c cleaning 5452 clauses out of 10914 with flag 1000/27147
2.00/1.68	c Got one! Elapsed wall clock time (in seconds):1.576
2.00/1.68	o 247
2.20/1.88	c cleaning 5320 clauses out of 10656 with flag 4001/32341
2.51/2.17	c cleaning 5665 clauses out of 11335 with flag 10000/38340
2.90/2.55	c Got one! Elapsed wall clock time (in seconds):2.446
2.90/2.55	o 212
3.10/2.75	c cleaning 8618 clauses out of 17240 with flag 5001/49910
3.40/3.03	c cleaning 7304 clauses out of 14623 with flag 11002/55911
3.61/3.24	c Got one! Elapsed wall clock time (in seconds):3.14
3.61/3.24	o 179
3.71/3.32	c cleaning 6548 clauses out of 13101 with flag 2000/61693
3.81/3.43	c Got one! Elapsed wall clock time (in seconds):3.328
3.81/3.43	o 153
3.91/3.54	c cleaning 5912 clauses out of 11835 with flag 3000/66975
4.21/3.85	c cleaning 5956 clauses out of 11924 with flag 9001/72976
4.61/4.20	c cleaning 6479 clauses out of 12968 with flag 16001/79976
4.91/4.58	c cleaning 7242 clauses out of 14489 with flag 24001/87976
5.41/5.04	c cleaning 8118 clauses out of 16246 with flag 33000/96975
5.92/5.58	c cleaning 9060 clauses out of 18129 with flag 43001/106976
6.02/5.66	c Got one! Elapsed wall clock time (in seconds):5.558
6.02/5.66	o 139
6.22/5.81	c cleaning 7271 clauses out of 14548 with flag 4001/112455
6.42/6.04	c cleaning 6633 clauses out of 13276 with flag 10000/118454
6.72/6.34	c cleaning 6819 clauses out of 13644 with flag 17001/125455
7.12/6.76	c cleaning 7410 clauses out of 14824 with flag 25000/133454
7.62/7.23	c cleaning 8202 clauses out of 16414 with flag 34000/142454
8.03/7.69	c cleaning 9104 clauses out of 18213 with flag 44001/152455
8.63/8.21	c cleaning 9553 clauses out of 19113 with flag 54005/162459
9.14/8.75	c cleaning 9773 clauses out of 19555 with flag 64000/172454
9.64/9.27	c cleaning 9886 clauses out of 19782 with flag 74000/182454
10.14/9.78	c cleaning 9943 clauses out of 19898 with flag 84002/192456
10.64/10.23	c Got one! Elapsed wall clock time (in seconds):10.123
10.64/10.23	o 117
10.84/10.46	c cleaning 11876 clauses out of 23759 with flag 5001/206260
11.14/10.73	c cleaning 8932 clauses out of 17882 with flag 11000/212259
11.54/11.13	c cleaning 7970 clauses out of 15950 with flag 18000/219259
11.94/11.56	c cleaning 7980 clauses out of 15980 with flag 26000/227259
12.45/12.07	c cleaning 8497 clauses out of 17003 with flag 35003/236262
13.04/12.62	c cleaning 9251 clauses out of 18504 with flag 45001/246260
13.55/13.15	c cleaning 9616 clauses out of 19252 with flag 55000/256259
14.04/13.69	c cleaning 9813 clauses out of 19638 with flag 65002/266261
14.54/14.19	c cleaning 9910 clauses out of 19824 with flag 75001/276260
15.14/14.74	c cleaning 9954 clauses out of 19916 with flag 85003/286262
15.35/14.96	c Got one! Elapsed wall clock time (in seconds):14.856
15.35/14.96	o 103
15.47/15.00	c cleaning 7642 clauses out of 15292 with flag 1001/291592
15.67/15.21	c cleaning 6820 clauses out of 13649 with flag 7000/297591
15.97/15.58	c cleaning 6911 clauses out of 13829 with flag 14000/304591
16.36/15.73	c Got one! Elapsed wall clock time (in seconds):15.626
16.36/15.73	o 94
16.57/15.85	c cleaning 6292 clauses out of 12594 with flag 3002/310267
16.87/16.06	c cleaning 6144 clauses out of 12300 with flag 9000/316265
17.41/16.36	c cleaning 6571 clauses out of 13156 with flag 16000/323265
17.61/16.49	c Got one! Elapsed wall clock time (in seconds):16.388
17.61/16.49	o 88
17.77/16.59	c cleaning 6139 clauses out of 12288 with flag 3002/328968
17.97/16.79	c cleaning 6069 clauses out of 12147 with flag 9000/334966
18.27/17.05	c cleaning 6531 clauses out of 13078 with flag 16000/341966
18.70/17.40	c cleaning 7270 clauses out of 14548 with flag 24001/349967
19.10/17.89	c cleaning 8136 clauses out of 16280 with flag 33003/358969
19.70/18.44	c cleaning 9064 clauses out of 18143 with flag 43002/368968
20.30/19.07	c cleaning 9531 clauses out of 19077 with flag 53000/378966
20.90/19.64	c cleaning 9769 clauses out of 19548 with flag 63002/388968
21.40/20.19	c cleaning 9880 clauses out of 19777 with flag 73000/398966
22.00/20.77	c cleaning 9940 clauses out of 19900 with flag 83003/408969
22.60/21.35	c cleaning 9976 clauses out of 19959 with flag 93002/418968
23.10/21.88	c cleaning 9989 clauses out of 19982 with flag 103001/428967
23.70/22.42	c cleaning 9982 clauses out of 19992 with flag 113000/438966
24.20/22.96	c cleaning 9997 clauses out of 20012 with flag 123002/448968
24.81/23.53	c cleaning 10004 clauses out of 20013 with flag 133000/458966
25.41/24.12	c cleaning 9992 clauses out of 20010 with flag 143001/468967
26.01/24.71	c cleaning 10002 clauses out of 20017 with flag 153000/478966
26.11/24.88	c Got one! Elapsed wall clock time (in seconds):24.775
26.11/24.88	o 72
26.21/24.95	c cleaning 7566 clauses out of 15145 with flag 2000/484096
26.41/25.17	c cleaning 6786 clauses out of 13580 with flag 8001/490097
26.71/25.42	c cleaning 6892 clauses out of 13794 with flag 15001/497097
27.01/25.70	c cleaning 7447 clauses out of 14903 with flag 23002/505098
27.31/26.05	c cleaning 8220 clauses out of 16454 with flag 32000/514096
27.81/26.51	c cleaning 9111 clauses out of 18237 with flag 42003/524099
28.21/26.99	c cleaning 9552 clauses out of 19124 with flag 52001/534097
28.32/27.02	c Got one! Elapsed wall clock time (in seconds):26.919
28.32/27.02	o 62
28.42/27.19	c cleaning 7535 clauses out of 15079 with flag 5001/539604
28.73/27.42	c cleaning 6766 clauses out of 13543 with flag 11000/545603
28.93/27.66	c cleaning 6881 clauses out of 13778 with flag 18001/552604
29.23/27.94	c cleaning 7446 clauses out of 14899 with flag 26003/560606
29.63/28.30	c cleaning 8223 clauses out of 16453 with flag 35003/569606
30.03/28.72	c cleaning 9106 clauses out of 18228 with flag 45001/579604
30.63/29.39	c cleaning 9551 clauses out of 19121 with flag 55000/589603
31.23/29.99	c cleaning 9780 clauses out of 19571 with flag 65001/599604
31.83/30.52	c cleaning 9885 clauses out of 19790 with flag 75000/609603
32.33/31.02	c cleaning 9947 clauses out of 19907 with flag 85002/619605
32.83/31.52	c cleaning 9976 clauses out of 19959 with flag 95001/629604
33.33/32.05	c cleaning 9981 clauses out of 19982 with flag 105000/639603
33.83/32.53	c cleaning 9996 clauses out of 20002 with flag 115001/649604
34.34/33.01	c cleaning 10000 clauses out of 20007 with flag 125002/659605
34.84/33.54	c cleaning 10000 clauses out of 20006 with flag 135001/669604
35.34/34.08	c cleaning 9996 clauses out of 20005 with flag 145000/679603
35.84/34.52	c cleaning 10003 clauses out of 20011 with flag 155002/689605
36.34/35.01	c cleaning 9999 clauses out of 20007 with flag 165001/699604
36.84/35.54	c cleaning 10002 clauses out of 20008 with flag 175001/709604
37.35/36.06	c cleaning 9993 clauses out of 20005 with flag 185000/719603
37.95/36.68	c cleaning 10000 clauses out of 20012 with flag 195000/729603
38.55/37.29	c cleaning 10000 clauses out of 20012 with flag 205000/739603
39.15/37.82	c cleaning 9999 clauses out of 20013 with flag 215001/749604
39.65/38.31	c cleaning 10003 clauses out of 20014 with flag 225001/759604
40.15/38.84	c cleaning 9999 clauses out of 20011 with flag 235001/769604
40.65/39.30	c cleaning 10001 clauses out of 20011 with flag 245000/779603
41.15/39.83	c cleaning 9999 clauses out of 20011 with flag 255001/789604
41.66/40.30	c cleaning 10001 clauses out of 20013 with flag 265002/799605
42.06/40.75	c cleaning 10002 clauses out of 20011 with flag 275001/809604
42.56/41.21	c cleaning 9998 clauses out of 20008 with flag 285000/819603
43.07/41.70	c cleaning 9994 clauses out of 20012 with flag 295002/829605
43.56/42.20	c cleaning 10003 clauses out of 20016 with flag 305000/839603
44.17/42.81	c cleaning 9999 clauses out of 20013 with flag 315000/849603
44.47/43.12	c Got one! Elapsed wall clock time (in seconds):43.021
44.47/43.12	o 61
44.67/43.35	c cleaning 10714 clauses out of 21435 with flag 5000/861024
44.97/43.62	c cleaning 8357 clauses out of 16723 with flag 11002/867026
45.27/43.92	c cleaning 7677 clauses out of 15364 with flag 18000/874024
45.57/44.25	c cleaning 7839 clauses out of 15688 with flag 26001/882025
45.97/44.66	c cleaning 8421 clauses out of 16849 with flag 35001/891025
46.38/45.08	c cleaning 9209 clauses out of 18428 with flag 45001/901025
46.87/45.52	c cleaning 9606 clauses out of 19221 with flag 55003/911027
47.27/45.99	c cleaning 9804 clauses out of 19614 with flag 65002/921026
47.78/46.47	c cleaning 9901 clauses out of 19808 with flag 75000/931024
48.18/46.87	c cleaning 9950 clauses out of 19908 with flag 85001/941025
48.58/47.29	c cleaning 9971 clauses out of 19958 with flag 95001/951025
49.08/47.74	c cleaning 9985 clauses out of 19986 with flag 105000/961024
49.58/48.27	c cleaning 9998 clauses out of 20001 with flag 115000/971024
49.88/48.51	c Got one! Elapsed wall clock time (in seconds):48.404
49.88/48.51	o 23
49.88/48.56	c cleaning 7982 clauses out of 15973 with flag 1000/976994
50.18/48.80	c cleaning 6994 clauses out of 13993 with flag 7002/982996
50.38/49.09	c cleaning 6998 clauses out of 14000 with flag 14003/989997
50.79/49.42	c cleaning 7496 clauses out of 14999 with flag 22000/997994
51.09/49.79	c cleaning 8249 clauses out of 16503 with flag 31000/1006994
51.59/50.20	c cleaning 9124 clauses out of 18255 with flag 41001/1016995
51.89/50.60	c cleaning 9559 clauses out of 19130 with flag 51000/1026994
52.39/51.00	c cleaning 9783 clauses out of 19573 with flag 61002/1036996
52.69/51.38	c cleaning 9892 clauses out of 19788 with flag 71000/1046994
53.10/51.79	c cleaning 9944 clauses out of 19898 with flag 81002/1056996
53.49/52.15	c cleaning 9973 clauses out of 19953 with flag 91001/1066995
53.89/52.52	c cleaning 9985 clauses out of 19980 with flag 101001/1076995
54.29/52.93	c cleaning 9989 clauses out of 19994 with flag 111000/1086994
54.59/53.28	c cleaning 9996 clauses out of 20006 with flag 121001/1096995
54.99/53.63	c cleaning 10002 clauses out of 20009 with flag 131000/1106994
55.30/53.95	c cleaning 9998 clauses out of 20007 with flag 141000/1116994
55.70/54.33	c cleaning 10002 clauses out of 20010 with flag 151001/1126995
56.10/54.70	c cleaning 10000 clauses out of 20007 with flag 161000/1136994
56.50/55.12	c cleaning 9997 clauses out of 20008 with flag 171001/1146995
56.90/55.52	c cleaning 10001 clauses out of 20011 with flag 181001/1156995
57.30/55.93	c cleaning 10001 clauses out of 20010 with flag 191001/1166995
57.70/56.39	c cleaning 10002 clauses out of 20011 with flag 201003/1176997
58.20/56.81	c cleaning 9997 clauses out of 20006 with flag 211000/1186994
58.51/57.20	c cleaning 9999 clauses out of 20010 with flag 221001/1196995
58.61/57.25	c Got one! Elapsed wall clock time (in seconds):57.145
58.61/57.25	o 5
58.80/57.40	c cleaning 7508 clauses out of 15024 with flag 4000/1202008
59.01/57.62	c cleaning 6754 clauses out of 13516 with flag 10000/1208008
59.20/57.85	c cleaning 6876 clauses out of 13763 with flag 17001/1215009
59.50/58.14	c cleaning 7438 clauses out of 14887 with flag 25001/1223009
59.81/58.48	c cleaning 8221 clauses out of 16448 with flag 34000/1232008
60.21/58.83	c cleaning 9111 clauses out of 18229 with flag 44002/1242010
60.61/59.23	c cleaning 9555 clauses out of 19116 with flag 54000/1252008
61.01/59.62	c cleaning 9777 clauses out of 19561 with flag 64000/1262008
61.31/59.98	c cleaning 9888 clauses out of 19785 with flag 74001/1272009
61.72/60.33	c cleaning 9946 clauses out of 19896 with flag 84000/1282008
62.02/60.69	c cleaning 9971 clauses out of 19952 with flag 94002/1292010
62.42/61.07	c cleaning 9981 clauses out of 19979 with flag 104000/1302008
62.82/61.47	c cleaning 9996 clauses out of 19999 with flag 114001/1312009
63.22/61.86	c cleaning 9997 clauses out of 20003 with flag 124001/1322009
63.62/62.28	c cleaning 10000 clauses out of 20008 with flag 134003/1332011
64.03/62.68	c cleaning 10001 clauses out of 20005 with flag 144000/1342008
64.42/63.08	c cleaning 10002 clauses out of 20005 with flag 154001/1352009
64.93/63.55	c cleaning 9999 clauses out of 20002 with flag 164001/1362009
65.03/63.60	c starts		: 222
65.03/63.60	c conflicts		: 1363192
65.03/63.60	c decisions		: 2199159
65.03/63.60	c propagations		: 40902445
65.03/63.60	c inspects		: 332198997
65.03/63.60	c shortcuts		: 0
65.03/63.60	c learnt literals	: 5
65.03/63.60	c learnt binary clauses	: 105
65.03/63.60	c learnt ternary clauses	: 2413
65.03/63.60	c learnt constraints	: 1363186
65.03/63.60	c ignored constraints	: 0
65.03/63.60	c root simplifications	: 0
65.03/63.60	c removed literals (reason simplification)	: 9870910
65.03/63.60	c reason swapping (by a shorter reason)	: 0
65.03/63.60	c Calls to reduceDB	: 153
65.03/63.60	c number of reductions to clauses (during analyze)	: 0
65.03/63.60	c number of learned constraints concerned by reduction	: 0
65.03/63.60	c number of learning phase by resolution	: 0
65.03/63.60	c number of learning phase by cutting planes	: 0
65.03/63.60	c speed (assignments/second)	: 6435249.37067338
65.03/63.60	c non guided choices	1669
65.03/63.60	c learnt constraints type 
65.03/63.60	c constraints type 
65.03/63.60	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
65.03/63.60	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
65.03/63.60	s OPTIMUM FOUND
65.03/63.61	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 
65.03/63.61	c objective function=5
65.03/63.61	c Total wall clock time (in seconds): 63.502

Verifier Data 

OK	5

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-3492009-1307911212/watcher-3492009-1307911212 -o /var/tmp/evaluation-result-3492009-1307911212/solver-3492009-1307911212 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492009-1307911212.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: 2.11 2.06 1.95 2/195 16571
/proc/meminfo: memFree=1360880/32950904 swapFree=67055440/67111528
[pid=16571] ppid=16569 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/16571/stat : 16571 (java) S 16569 16571 14274 0 -1 4202496 1239 0 0 0 0 0 0 0 25 0 2 0 902720957 31260672 958 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290682341 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/16571/statm: 7632 958 730 9 0 383 0
[pid=16571/tid=16572] ppid=16569 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16572/stat : 16572 (java) R 16569 16571 14274 0 -1 4202560 123 0 0 0 0 0 0 0 25 0 2 0 902720958 31260672 958 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237278879488 0 0 4096 0 0 0 0 -1 0 0 0 0

[startup+0.0902259 s]
/proc/loadavg: 2.11 2.06 1.95 2/195 16571
/proc/meminfo: memFree=1360880/32950904 swapFree=67055440/67111528
[pid=16571] ppid=16569 vsize=10539716 CPUtime=0.09 cores=0,2,4,6
/proc/16571/stat : 16571 (java) S 16569 16571 14274 0 -1 4202496 12975 0 1 0 8 1 0 0 25 0 18 0 902720957 10792669184 12649 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16571/statm: 2634929 12649 2092 9 0 2625663 0
[pid=16571/tid=16572] ppid=16569 vsize=10539716 CPUtime=0.07 cores=0,2,4,6
/proc/16571/task/16572/stat : 16572 (java) R 16569 16571 14274 0 -1 4202560 11019 0 1 0 6 1 0 0 25 0 18 0 902720958 10792669184 12649 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 46912505099250 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539716

[startup+0.101223 s]
/proc/loadavg: 2.11 2.06 1.95 2/195 16571
/proc/meminfo: memFree=1360880/32950904 swapFree=67055440/67111528
[pid=16571] ppid=16569 vsize=10539716 CPUtime=0.1 cores=0,2,4,6
/proc/16571/stat : 16571 (java) S 16569 16571 14274 0 -1 4202496 13129 0 1 0 9 1 0 0 25 0 18 0 902720957 10792669184 12803 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16571/statm: 2634929 12803 2092 9 0 2625663 0
[pid=16571/tid=16572] ppid=16569 vsize=10539716 CPUtime=0.08 cores=0,2,4,6
/proc/16571/task/16572/stat : 16572 (java) R 16569 16571 14274 0 -1 4202560 11173 0 1 0 7 1 0 0 25 0 18 0 902720958 10792669184 12803 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 47007997376024 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539716

[startup+0.301188 s]
/proc/loadavg: 2.11 2.06 1.95 2/195 16571
/proc/meminfo: memFree=1360880/32950904 swapFree=67055440/67111528
[pid=16571] ppid=16569 vsize=10543700 CPUtime=0.52 cores=0,2,4,6
/proc/16571/stat : 16571 (java) S 16569 16571 14274 0 -1 4202496 15806 0 1 0 50 2 0 0 25 0 19 0 902720957 10796748800 14695 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16571/statm: 2635925 14695 2214 9 0 2626659 0
[pid=16571/tid=16572] ppid=16569 vsize=10543700 CPUtime=0.29 cores=0,2,4,6
/proc/16571/task/16572/stat : 16572 (java) R 16569 16571 14274 0 -1 4202560 11817 0 1 0 27 2 0 0 25 0 19 0 902720958 10796748800 14695 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 46912505561947 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10543700

[startup+0.701062 s]
/proc/loadavg: 2.11 2.06 1.95 2/195 16571
/proc/meminfo: memFree=1360880/32950904 swapFree=67055440/67111528
[pid=16571] ppid=16569 vsize=10543700 CPUtime=0.98 cores=0,2,4,6
/proc/16571/stat : 16571 (java) S 16569 16571 14274 0 -1 4202496 16860 0 1 0 96 2 0 0 25 0 19 0 902720957 10796748800 15276 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16571/statm: 2635925 15276 2218 9 0 2626659 0
[pid=16571/tid=16572] ppid=16569 vsize=10543700 CPUtime=0.69 cores=0,2,4,6
/proc/16571/task/16572/stat : 16572 (java) R 16569 16571 14274 0 -1 4202560 12384 0 1 0 67 2 0 0 25 0 19 0 902720958 10796748800 15276 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 46912505333440 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 10543700

[startup+1.50087 s]
/proc/loadavg: 2.11 2.06 1.95 4/214 16590
/proc/meminfo: memFree=1304768/32950904 swapFree=67055440/67111528
[pid=16571] ppid=16569 vsize=10543700 CPUtime=1.88 cores=0,2,4,6
/proc/16571/stat : 16571 (java) S 16569 16571 14274 0 -1 4202496 18416 0 1 0 185 3 0 0 25 0 19 0 902720957 10796748800 16617 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16571/statm: 2635925 16617 2248 9 0 2626659 0
[pid=16571/tid=16572] ppid=16569 vsize=10543700 CPUtime=1.45 cores=0,2,4,6
/proc/16571/task/16572/stat : 16572 (java) R 16569 16571 14274 0 -1 4202560 12530 0 1 0 143 2 0 0 25 0 19 0 902720958 10796748800 16617 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 46912505526579 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16571/tid=16574] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16574/stat : 16574 (java) S 16569 16571 14274 0 -1 4202560 190 0 0 0 0 0 0 0 15 0 19 0 902720959 10796748800 16617 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 2 0 0 0
[pid=16571/tid=16575] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16575/stat : 16575 (java) S 16569 16571 14274 0 -1 4202560 75 0 0 0 0 0 0 0 15 0 19 0 902720959 10796748800 16617 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
[pid=16571/tid=16576] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16576/stat : 16576 (java) S 16569 16571 14274 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902720959 10796748800 16617 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 4 0 0 0
[pid=16571/tid=16577] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16577/stat : 16577 (java) S 16569 16571 14274 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902720959 10796748800 16617 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 4 0 0 0
[pid=16571/tid=16578] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16578/stat : 16578 (java) S 16569 16571 14274 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902720959 10796748800 16617 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 4 0 0 0
[pid=16571/tid=16579] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16579/stat : 16579 (java) S 16569 16571 14274 0 -1 4202560 133 0 0 0 0 0 0 0 16 0 19 0 902720959 10796748800 16617 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 4 0 0 0
[pid=16571/tid=16580] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16580/stat : 16580 (java) S 16569 16571 14274 0 -1 4202560 205 0 0 0 0 0 0 0 15 0 19 0 902720959 10796748800 16617 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 2 0 0 0
[pid=16571/tid=16581] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16581/stat : 16581 (java) S 16569 16571 14274 0 -1 4202560 78 0 0 0 0 0 0 0 16 0 19 0 902720959 10796748800 16617 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 2 0 0 0
[pid=16571/tid=16582] ppid=16569 vsize=10543700 CPUtime=0.03 cores=0,2,4,6
/proc/16571/task/16582/stat : 16582 (java) S 16569 16571 14274 0 -1 4202560 493 0 0 0 3 0 0 0 15 0 19 0 902720960 10796748800 16617 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290696192 0 0 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16583] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16583/stat : 16583 (java) S 16569 16571 14274 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902720961 10796748800 16617 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16584] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16584/stat : 16584 (java) S 16569 16571 14274 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902720961 10796748800 16617 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16585] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16585/stat : 16585 (java) S 16569 16571 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902720963 10796748800 16617 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290703281 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16586] ppid=16569 vsize=10543700 CPUtime=0.17 cores=0,2,4,6
/proc/16571/task/16586/stat : 16586 (java) S 16569 16571 14274 0 -1 4202560 1861 0 0 0 17 0 0 0 15 0 19 0 902720963 10796748800 16617 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 2 0 0 0
[pid=16571/tid=16587] ppid=16569 vsize=10543700 CPUtime=0.19 cores=0,2,4,6
/proc/16571/task/16587/stat : 16587 (java) S 16569 16571 14274 0 -1 4202560 1696 0 0 0 19 0 0 0 15 0 19 0 902720963 10796748800 16617 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
[pid=16571/tid=16588] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16588/stat : 16588 (java) S 16569 16571 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902720963 10796748800 16617 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16589] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16589/stat : 16589 (java) S 16569 16571 14274 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902720963 10796748800 16617 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290696192 0 4 0 16800975 18446604453937961984 0 0 -1 4 0 0 0
[pid=16571/tid=16590] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16590/stat : 16590 (java) S 16569 16571 14274 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902720974 10796748800 16617 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290696192 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.88
Current children cumulated vsize (KiB) 10543700

[startup+3.10069 s]
/proc/loadavg: 2.10 2.06 1.95 3/214 16590
/proc/meminfo: memFree=1302412/32950904 swapFree=67055440/67111528
[pid=16571] ppid=16569 vsize=10543700 CPUtime=3.5 cores=0,2,4,6
/proc/16571/stat : 16571 (java) S 16569 16571 14274 0 -1 4202496 18824 0 1 0 347 3 0 0 25 0 19 0 902720957 10796748800 17020 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16571/statm: 2635925 17020 2248 9 0 2626659 0
[pid=16571/tid=16572] ppid=16569 vsize=10543700 CPUtime=2.98 cores=0,2,4,6
/proc/16571/task/16572/stat : 16572 (java) R 16569 16571 14274 0 -1 4202560 12536 0 1 0 296 2 0 0 25 0 19 0 902720958 10796748800 17020 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 46912505576123 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16571/tid=16574] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16574/stat : 16574 (java) S 16569 16571 14274 0 -1 4202560 268 0 0 0 0 0 0 0 15 0 19 0 902720959 10796748800 17020 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16575] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16575/stat : 16575 (java) S 16569 16571 14274 0 -1 4202560 146 0 0 0 0 0 0 0 15 0 19 0 902720959 10796748800 17020 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
[pid=16571/tid=16576] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16576/stat : 16576 (java) S 16569 16571 14274 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 902720959 10796748800 17020 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 4 0 0 0
[pid=16571/tid=16577] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16577/stat : 16577 (java) S 16569 16571 14274 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902720959 10796748800 17020 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
[pid=16571/tid=16578] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16578/stat : 16578 (java) S 16569 16571 14274 0 -1 4202560 83 0 0 0 0 0 0 0 15 0 19 0 902720959 10796748800 17020 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 4 0 0 0
[pid=16571/tid=16579] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16579/stat : 16579 (java) S 16569 16571 14274 0 -1 4202560 176 0 0 0 0 0 0 0 15 0 19 0 902720959 10796748800 17020 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 2 0 0 0
[pid=16571/tid=16580] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16580/stat : 16580 (java) S 16569 16571 14274 0 -1 4202560 205 0 0 0 0 0 0 0 15 0 19 0 902720959 10796748800 17020 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 2 0 0 0
[pid=16571/tid=16581] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16581/stat : 16581 (java) S 16569 16571 14274 0 -1 4202560 78 0 0 0 0 0 0 0 15 0 19 0 902720959 10796748800 17020 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 2 0 0 0
[pid=16571/tid=16582] ppid=16569 vsize=10543700 CPUtime=0.09 cores=0,2,4,6
/proc/16571/task/16582/stat : 16582 (java) S 16569 16571 14274 0 -1 4202560 612 0 0 0 9 0 0 0 15 0 19 0 902720960 10796748800 17020 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290696192 0 0 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16583] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16583/stat : 16583 (java) S 16569 16571 14274 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902720961 10796748800 17020 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16584] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16584/stat : 16584 (java) S 16569 16571 14274 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902720961 10796748800 17020 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16585] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16585/stat : 16585 (java) S 16569 16571 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902720963 10796748800 17020 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290703281 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16586] ppid=16569 vsize=10543700 CPUtime=0.19 cores=0,2,4,6
/proc/16571/task/16586/stat : 16586 (java) S 16569 16571 14274 0 -1 4202560 1863 0 0 0 19 0 0 0 15 0 19 0 902720963 10796748800 17020 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 2 0 0 0
[pid=16571/tid=16587] ppid=16569 vsize=10543700 CPUtime=0.2 cores=0,2,4,6
/proc/16571/task/16587/stat : 16587 (java) S 16569 16571 14274 0 -1 4202560 1696 0 0 0 20 0 0 0 15 0 19 0 902720963 10796748800 17020 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
[pid=16571/tid=16588] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16588/stat : 16588 (java) S 16569 16571 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902720963 10796748800 17020 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16589] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16589/stat : 16589 (java) S 16569 16571 14274 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902720963 10796748800 17020 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290696192 0 4 0 16800975 18446604453937961984 0 0 -1 4 0 0 0
[pid=16571/tid=16590] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16590/stat : 16590 (java) S 16569 16571 14274 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902720974 10796748800 17020 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290696192 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 10543700

[startup+6.30112 s]
/proc/loadavg: 2.10 2.06 1.95 3/214 16591
/proc/meminfo: memFree=1300540/32950904 swapFree=67055440/67111528
[pid=16571] ppid=16569 vsize=10543700 CPUtime=6.72 cores=0,2,4,6
/proc/16571/stat : 16571 (java) S 16569 16571 14274 0 -1 4202496 18874 0 1 0 669 3 0 0 25 0 19 0 902720957 10796748800 17008 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16571/statm: 2635925 17008 2248 9 0 2626659 0
[pid=16571/tid=16572] ppid=16569 vsize=10543700 CPUtime=6.06 cores=0,2,4,6
/proc/16571/task/16572/stat : 16572 (java) R 16569 16571 14274 0 -1 4202560 12545 0 1 0 604 2 0 0 25 0 19 0 902720958 10796748800 17008 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 46912505561709 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=16571/tid=16574] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16574/stat : 16574 (java) S 16569 16571 14274 0 -1 4202560 268 0 0 0 0 0 0 0 15 0 19 0 902720959 10796748800 17008 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 4 0 0 0
[pid=16571/tid=16575] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16575/stat : 16575 (java) S 16569 16571 14274 0 -1 4202560 146 0 0 0 0 0 0 0 15 0 19 0 902720959 10796748800 17008 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 4 0 0 0
[pid=16571/tid=16576] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16576/stat : 16576 (java) S 16569 16571 14274 0 -1 4202560 11 0 0 0 0 0 0 0 16 0 19 0 902720959 10796748800 17008 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
[pid=16571/tid=16577] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16577/stat : 16577 (java) S 16569 16571 14274 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902720959 10796748800 17008 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
[pid=16571/tid=16578] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16578/stat : 16578 (java) S 16569 16571 14274 0 -1 4202560 83 0 0 0 0 0 0 0 15 0 19 0 902720959 10796748800 17008 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 4 0 0 0
[pid=16571/tid=16579] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16579/stat : 16579 (java) S 16569 16571 14274 0 -1 4202560 177 0 0 0 0 0 0 0 15 0 19 0 902720959 10796748800 17008 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 2 0 0 0
[pid=16571/tid=16580] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16580/stat : 16580 (java) S 16569 16571 14274 0 -1 4202560 206 0 0 0 0 0 0 0 15 0 19 0 902720959 10796748800 17008 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 2 0 0 0
[pid=16571/tid=16581] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16581/stat : 16581 (java) S 16569 16571 14274 0 -1 4202560 79 0 0 0 0 0 0 0 15 0 19 0 902720959 10796748800 17008 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
[pid=16571/tid=16582] ppid=16569 vsize=10543700 CPUtime=0.2 cores=0,2,4,6
/proc/16571/task/16582/stat : 16582 (java) S 16569 16571 14274 0 -1 4202560 646 0 0 0 20 0 0 0 15 0 19 0 902720960 10796748800 17008 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290696192 0 0 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16583] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16583/stat : 16583 (java) S 16569 16571 14274 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902720961 10796748800 17008 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16584] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16584/stat : 16584 (java) S 16569 16571 14274 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902720961 10796748800 17008 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16585] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16585/stat : 16585 (java) S 16569 16571 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902720963 10796748800 17008 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290703281 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16586] ppid=16569 vsize=10543700 CPUtime=0.19 cores=0,2,4,6
/proc/16571/task/16586/stat : 16586 (java) S 16569 16571 14274 0 -1 4202560 1863 0 0 0 19 0 0 0 15 0 19 0 902720963 10796748800 17008 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 2 0 0 0
[pid=16571/tid=16587] ppid=16569 vsize=10543700 CPUtime=0.2 cores=0,2,4,6
/proc/16571/task/16587/stat : 16587 (java) S 16569 16571 14274 0 -1 4202560 1696 0 0 0 20 0 0 0 15 0 19 0 902720963 10796748800 17008 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0

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

/proc/16571/task/16574/stat : 16574 (java) S 16569 16571 14274 0 -1 4202560 273 0 0 0 4 0 0 0 15 0 19 0 902720959 10796748800 22987 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
[pid=16571/tid=16575] ppid=16569 vsize=10543700 CPUtime=0.04 cores=0,2,4,6
/proc/16571/task/16575/stat : 16575 (java) S 16569 16571 14274 0 -1 4202560 152 0 0 0 4 0 0 0 15 0 19 0 902720959 10796748800 22987 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
[pid=16571/tid=16576] ppid=16569 vsize=10543700 CPUtime=0.05 cores=0,2,4,6
/proc/16571/task/16576/stat : 16576 (java) S 16569 16571 14274 0 -1 4202560 19 0 0 0 5 0 0 0 16 0 19 0 902720959 10796748800 22987 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16577] ppid=16569 vsize=10543700 CPUtime=0.05 cores=0,2,4,6
/proc/16571/task/16577/stat : 16577 (java) S 16569 16571 14274 0 -1 4202560 10 0 0 0 5 0 0 0 16 0 19 0 902720959 10796748800 22987 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16578] ppid=16569 vsize=10543700 CPUtime=0.04 cores=0,2,4,6
/proc/16571/task/16578/stat : 16578 (java) S 16569 16571 14274 0 -1 4202560 95 0 0 0 4 0 0 0 15 0 19 0 902720959 10796748800 22987 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 2 0 0 0
[pid=16571/tid=16579] ppid=16569 vsize=10543700 CPUtime=0.04 cores=0,2,4,6
/proc/16571/task/16579/stat : 16579 (java) S 16569 16571 14274 0 -1 4202560 186 0 0 0 4 0 0 0 16 0 19 0 902720959 10796748800 22987 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
[pid=16571/tid=16580] ppid=16569 vsize=10543700 CPUtime=0.04 cores=0,2,4,6
/proc/16571/task/16580/stat : 16580 (java) S 16569 16571 14274 0 -1 4202560 231 0 0 0 4 0 0 0 15 0 19 0 902720959 10796748800 22987 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
[pid=16571/tid=16581] ppid=16569 vsize=10543700 CPUtime=0.04 cores=0,2,4,6
/proc/16571/task/16581/stat : 16581 (java) S 16569 16571 14274 0 -1 4202560 91 0 0 0 4 0 0 0 15 0 19 0 902720959 10796748800 22987 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 2 0 0 0
[pid=16571/tid=16582] ppid=16569 vsize=10543700 CPUtime=2.02 cores=0,2,4,6
/proc/16571/task/16582/stat : 16582 (java) S 16569 16571 14274 0 -1 4202560 1085 0 0 0 201 1 0 0 15 0 19 0 902720960 10796748800 22987 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290696192 0 0 0 16800975 18446604453937961984 0 0 -1 4 0 0 0
[pid=16571/tid=16583] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16583/stat : 16583 (java) S 16569 16571 14274 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902720961 10796748800 22987 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16584] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16584/stat : 16584 (java) S 16569 16571 14274 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902720961 10796748800 22987 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16585] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16585/stat : 16585 (java) S 16569 16571 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902720963 10796748800 22987 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290703281 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16586] ppid=16569 vsize=10543700 CPUtime=0.24 cores=0,2,4,6
/proc/16571/task/16586/stat : 16586 (java) S 16569 16571 14274 0 -1 4202560 1895 0 0 0 24 0 0 0 15 0 19 0 902720963 10796748800 22987 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 2 0 0 0
[pid=16571/tid=16587] ppid=16569 vsize=10543700 CPUtime=0.99 cores=0,2,4,6
/proc/16571/task/16587/stat : 16587 (java) S 16569 16571 14274 0 -1 4202560 11815 0 0 0 98 1 0 0 15 0 19 0 902720963 10796748800 22987 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
[pid=16571/tid=16588] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16588/stat : 16588 (java) S 16569 16571 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902720963 10796748800 22987 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16589] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16589/stat : 16589 (java) S 16569 16571 14274 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902720963 10796748800 22987 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290696192 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
[pid=16571/tid=16590] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16590/stat : 16590 (java) S 16569 16571 14274 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902720974 10796748800 22987 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290696192 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 63.72
Current children cumulated vsize (KiB) 10543700

[startup+63.101 s]
/proc/loadavg: 2.08 2.06 1.96 3/214 16592
/proc/meminfo: memFree=1269348/32950904 swapFree=67055440/67111528
[pid=16571] ppid=16569 vsize=10543700 CPUtime=64.53 cores=0,2,4,6
/proc/16571/stat : 16571 (java) S 16569 16571 14274 0 -1 4202496 29695 0 1 0 6447 6 0 0 25 0 19 0 902720957 10796748800 22990 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16571/statm: 2635925 22990 2250 9 0 2626659 0
[pid=16571/tid=16572] ppid=16569 vsize=10543700 CPUtime=60.83 cores=0,2,4,6
/proc/16571/task/16572/stat : 16572 (java) R 16569 16571 14274 0 -1 4202560 12682 0 1 0 6081 2 0 0 25 0 19 0 902720958 10796748800 22990 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 46912505540920 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16571/tid=16574] ppid=16569 vsize=10543700 CPUtime=0.04 cores=0,2,4,6
/proc/16571/task/16574/stat : 16574 (java) S 16569 16571 14274 0 -1 4202560 273 0 0 0 4 0 0 0 15 0 19 0 902720959 10796748800 22990 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
[pid=16571/tid=16575] ppid=16569 vsize=10543700 CPUtime=0.04 cores=0,2,4,6
/proc/16571/task/16575/stat : 16575 (java) S 16569 16571 14274 0 -1 4202560 152 0 0 0 4 0 0 0 15 0 19 0 902720959 10796748800 22990 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
[pid=16571/tid=16576] ppid=16569 vsize=10543700 CPUtime=0.05 cores=0,2,4,6
/proc/16571/task/16576/stat : 16576 (java) S 16569 16571 14274 0 -1 4202560 19 0 0 0 5 0 0 0 15 0 19 0 902720959 10796748800 22990 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16577] ppid=16569 vsize=10543700 CPUtime=0.05 cores=0,2,4,6
/proc/16571/task/16577/stat : 16577 (java) S 16569 16571 14274 0 -1 4202560 10 0 0 0 5 0 0 0 16 0 19 0 902720959 10796748800 22990 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16578] ppid=16569 vsize=10543700 CPUtime=0.04 cores=0,2,4,6
/proc/16571/task/16578/stat : 16578 (java) S 16569 16571 14274 0 -1 4202560 95 0 0 0 4 0 0 0 15 0 19 0 902720959 10796748800 22990 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 2 0 0 0
[pid=16571/tid=16579] ppid=16569 vsize=10543700 CPUtime=0.04 cores=0,2,4,6
/proc/16571/task/16579/stat : 16579 (java) S 16569 16571 14274 0 -1 4202560 186 0 0 0 4 0 0 0 15 0 19 0 902720959 10796748800 22990 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
[pid=16571/tid=16580] ppid=16569 vsize=10543700 CPUtime=0.04 cores=0,2,4,6
/proc/16571/task/16580/stat : 16580 (java) S 16569 16571 14274 0 -1 4202560 231 0 0 0 4 0 0 0 15 0 19 0 902720959 10796748800 22990 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
[pid=16571/tid=16581] ppid=16569 vsize=10543700 CPUtime=0.04 cores=0,2,4,6
/proc/16571/task/16581/stat : 16581 (java) S 16569 16571 14274 0 -1 4202560 91 0 0 0 4 0 0 0 15 0 19 0 902720959 10796748800 22990 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 2 0 0 0
[pid=16571/tid=16582] ppid=16569 vsize=10543700 CPUtime=2.05 cores=0,2,4,6
/proc/16571/task/16582/stat : 16582 (java) S 16569 16571 14274 0 -1 4202560 1090 0 0 0 204 1 0 0 15 0 19 0 902720960 10796748800 22990 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290696192 0 0 0 16800975 18446604453937961984 0 0 -1 4 0 0 0
[pid=16571/tid=16583] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16583/stat : 16583 (java) S 16569 16571 14274 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902720961 10796748800 22990 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16584] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16584/stat : 16584 (java) S 16569 16571 14274 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902720961 10796748800 22990 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16585] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16585/stat : 16585 (java) S 16569 16571 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902720963 10796748800 22990 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290703281 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16586] ppid=16569 vsize=10543700 CPUtime=0.24 cores=0,2,4,6
/proc/16571/task/16586/stat : 16586 (java) S 16569 16571 14274 0 -1 4202560 1895 0 0 0 24 0 0 0 15 0 19 0 902720963 10796748800 22990 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 2 0 0 0
[pid=16571/tid=16587] ppid=16569 vsize=10543700 CPUtime=0.99 cores=0,2,4,6
/proc/16571/task/16587/stat : 16587 (java) S 16569 16571 14274 0 -1 4202560 11815 0 0 0 98 1 0 0 15 0 19 0 902720963 10796748800 22990 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
[pid=16571/tid=16588] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16588/stat : 16588 (java) S 16569 16571 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902720963 10796748800 22990 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16589] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16589/stat : 16589 (java) S 16569 16571 14274 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902720963 10796748800 22990 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290696192 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
[pid=16571/tid=16590] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16590/stat : 16590 (java) S 16569 16571 14274 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902720974 10796748800 22990 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290696192 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 64.53
Current children cumulated vsize (KiB) 10543700

[startup+63.5009 s]
/proc/loadavg: 2.08 2.06 1.96 3/214 16592
/proc/meminfo: memFree=1269348/32950904 swapFree=67055440/67111528
[pid=16571] ppid=16569 vsize=10543700 CPUtime=64.93 cores=0,2,4,6
/proc/16571/stat : 16571 (java) S 16569 16571 14274 0 -1 4202496 29697 0 1 0 6487 6 0 0 25 0 19 0 902720957 10796748800 22992 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16571/statm: 2635925 22992 2250 9 0 2626659 0
[pid=16571/tid=16572] ppid=16569 vsize=10543700 CPUtime=61.23 cores=0,2,4,6
/proc/16571/task/16572/stat : 16572 (java) R 16569 16571 14274 0 -1 4202560 12684 0 1 0 6121 2 0 0 25 0 19 0 902720958 10796748800 22992 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 46912505591737 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=16571/tid=16574] ppid=16569 vsize=10543700 CPUtime=0.04 cores=0,2,4,6
/proc/16571/task/16574/stat : 16574 (java) S 16569 16571 14274 0 -1 4202560 273 0 0 0 4 0 0 0 15 0 19 0 902720959 10796748800 22992 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
[pid=16571/tid=16575] ppid=16569 vsize=10543700 CPUtime=0.04 cores=0,2,4,6
/proc/16571/task/16575/stat : 16575 (java) S 16569 16571 14274 0 -1 4202560 152 0 0 0 4 0 0 0 15 0 19 0 902720959 10796748800 22992 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
[pid=16571/tid=16576] ppid=16569 vsize=10543700 CPUtime=0.05 cores=0,2,4,6
/proc/16571/task/16576/stat : 16576 (java) S 16569 16571 14274 0 -1 4202560 19 0 0 0 5 0 0 0 15 0 19 0 902720959 10796748800 22992 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16577] ppid=16569 vsize=10543700 CPUtime=0.05 cores=0,2,4,6
/proc/16571/task/16577/stat : 16577 (java) S 16569 16571 14274 0 -1 4202560 10 0 0 0 5 0 0 0 16 0 19 0 902720959 10796748800 22992 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16578] ppid=16569 vsize=10543700 CPUtime=0.04 cores=0,2,4,6
/proc/16571/task/16578/stat : 16578 (java) S 16569 16571 14274 0 -1 4202560 95 0 0 0 4 0 0 0 15 0 19 0 902720959 10796748800 22992 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 2 0 0 0
[pid=16571/tid=16579] ppid=16569 vsize=10543700 CPUtime=0.04 cores=0,2,4,6
/proc/16571/task/16579/stat : 16579 (java) S 16569 16571 14274 0 -1 4202560 186 0 0 0 4 0 0 0 15 0 19 0 902720959 10796748800 22992 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
[pid=16571/tid=16580] ppid=16569 vsize=10543700 CPUtime=0.04 cores=0,2,4,6
/proc/16571/task/16580/stat : 16580 (java) S 16569 16571 14274 0 -1 4202560 231 0 0 0 4 0 0 0 15 0 19 0 902720959 10796748800 22992 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
[pid=16571/tid=16581] ppid=16569 vsize=10543700 CPUtime=0.04 cores=0,2,4,6
/proc/16571/task/16581/stat : 16581 (java) S 16569 16571 14274 0 -1 4202560 91 0 0 0 4 0 0 0 15 0 19 0 902720959 10796748800 22992 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 2 0 0 0
[pid=16571/tid=16582] ppid=16569 vsize=10543700 CPUtime=2.05 cores=0,2,4,6
/proc/16571/task/16582/stat : 16582 (java) S 16569 16571 14274 0 -1 4202560 1090 0 0 0 204 1 0 0 15 0 19 0 902720960 10796748800 22992 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290696192 0 0 0 16800975 18446604453937961984 0 0 -1 4 0 0 0
[pid=16571/tid=16583] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16583/stat : 16583 (java) S 16569 16571 14274 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902720961 10796748800 22992 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16584] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16584/stat : 16584 (java) S 16569 16571 14274 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902720961 10796748800 22992 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16585] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16585/stat : 16585 (java) S 16569 16571 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902720963 10796748800 22992 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290703281 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16586] ppid=16569 vsize=10543700 CPUtime=0.24 cores=0,2,4,6
/proc/16571/task/16586/stat : 16586 (java) S 16569 16571 14274 0 -1 4202560 1895 0 0 0 24 0 0 0 15 0 19 0 902720963 10796748800 22992 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 2 0 0 0
[pid=16571/tid=16587] ppid=16569 vsize=10543700 CPUtime=0.99 cores=0,2,4,6
/proc/16571/task/16587/stat : 16587 (java) S 16569 16571 14274 0 -1 4202560 11815 0 0 0 98 1 0 0 15 0 19 0 902720963 10796748800 22992 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
[pid=16571/tid=16588] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16588/stat : 16588 (java) S 16569 16571 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902720963 10796748800 22992 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16589] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16589/stat : 16589 (java) S 16569 16571 14274 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902720963 10796748800 22992 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290696192 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
[pid=16571/tid=16590] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16590/stat : 16590 (java) S 16569 16571 14274 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902720974 10796748800 22992 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290696192 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 64.93
Current children cumulated vsize (KiB) 10543700

[startup+63.6009 s]
/proc/loadavg: 2.08 2.06 1.96 3/214 16592
/proc/meminfo: memFree=1269348/32950904 swapFree=67055440/67111528
[pid=16571] ppid=16569 vsize=10543700 CPUtime=65.03 cores=0,2,4,6
/proc/16571/stat : 16571 (java) S 16569 16571 14274 0 -1 4202496 29701 0 1 0 6497 6 0 0 25 0 19 0 902720957 10796748800 22994 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290682341 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/16571/statm: 2635925 22994 2250 9 0 2626659 0
[pid=16571/tid=16572] ppid=16569 vsize=10543700 CPUtime=61.31 cores=0,2,4,6
/proc/16571/task/16572/stat : 16572 (java) R 16569 16571 14274 0 -1 4202560 12685 0 1 0 6129 2 0 0 25 0 19 0 902720958 10796748800 22994 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 46912505540610 0 4 0 16800975 0 0 0 -1 6 0 0 0
[pid=16571/tid=16574] ppid=16569 vsize=10543700 CPUtime=0.04 cores=0,2,4,6
/proc/16571/task/16574/stat : 16574 (java) S 16569 16571 14274 0 -1 4202560 273 0 0 0 4 0 0 0 15 0 19 0 902720959 10796748800 22994 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
[pid=16571/tid=16575] ppid=16569 vsize=10543700 CPUtime=0.04 cores=0,2,4,6
/proc/16571/task/16575/stat : 16575 (java) S 16569 16571 14274 0 -1 4202560 152 0 0 0 4 0 0 0 15 0 19 0 902720959 10796748800 22994 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16576] ppid=16569 vsize=10543700 CPUtime=0.05 cores=0,2,4,6
/proc/16571/task/16576/stat : 16576 (java) S 16569 16571 14274 0 -1 4202560 19 0 0 0 5 0 0 0 15 0 19 0 902720959 10796748800 22994 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16577] ppid=16569 vsize=10543700 CPUtime=0.05 cores=0,2,4,6
/proc/16571/task/16577/stat : 16577 (java) S 16569 16571 14274 0 -1 4202560 10 0 0 0 5 0 0 0 15 0 19 0 902720959 10796748800 22994 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16578] ppid=16569 vsize=10543700 CPUtime=0.04 cores=0,2,4,6
/proc/16571/task/16578/stat : 16578 (java) S 16569 16571 14274 0 -1 4202560 95 0 0 0 4 0 0 0 15 0 19 0 902720959 10796748800 22994 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 2 0 0 0
[pid=16571/tid=16579] ppid=16569 vsize=10543700 CPUtime=0.04 cores=0,2,4,6
/proc/16571/task/16579/stat : 16579 (java) S 16569 16571 14274 0 -1 4202560 188 0 0 0 4 0 0 0 16 0 19 0 902720959 10796748800 22994 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
[pid=16571/tid=16580] ppid=16569 vsize=10543700 CPUtime=0.04 cores=0,2,4,6
/proc/16571/task/16580/stat : 16580 (java) S 16569 16571 14274 0 -1 4202560 231 0 0 0 4 0 0 0 15 0 19 0 902720959 10796748800 22994 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
[pid=16571/tid=16581] ppid=16569 vsize=10543700 CPUtime=0.04 cores=0,2,4,6
/proc/16571/task/16581/stat : 16581 (java) S 16569 16571 14274 0 -1 4202560 91 0 0 0 4 0 0 0 15 0 19 0 902720959 10796748800 22994 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 2 0 0 0
[pid=16571/tid=16582] ppid=16569 vsize=10543700 CPUtime=2.06 cores=0,2,4,6
/proc/16571/task/16582/stat : 16582 (java) S 16569 16571 14274 0 -1 4202560 1090 0 0 0 205 1 0 0 16 0 19 0 902720960 10796748800 22994 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290696192 0 0 0 16800975 18446604453937961984 0 0 -1 4 0 0 0
[pid=16571/tid=16583] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16583/stat : 16583 (java) S 16569 16571 14274 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902720961 10796748800 22994 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16584] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16584/stat : 16584 (java) S 16569 16571 14274 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902720961 10796748800 22994 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16585] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16585/stat : 16585 (java) S 16569 16571 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902720963 10796748800 22994 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290703281 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16586] ppid=16569 vsize=10543700 CPUtime=0.24 cores=0,2,4,6
/proc/16571/task/16586/stat : 16586 (java) S 16569 16571 14274 0 -1 4202560 1895 0 0 0 24 0 0 0 15 0 19 0 902720963 10796748800 22994 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 2 0 0 0
[pid=16571/tid=16587] ppid=16569 vsize=10543700 CPUtime=1 cores=0,2,4,6
/proc/16571/task/16587/stat : 16587 (java) S 16569 16571 14274 0 -1 4202560 11816 0 0 0 99 1 0 0 15 0 19 0 902720963 10796748800 22994 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
[pid=16571/tid=16588] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16588/stat : 16588 (java) S 16569 16571 14274 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902720963 10796748800 22994 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290695577 0 4 0 16800975 18446604453937961984 0 0 -1 6 0 0 0
[pid=16571/tid=16589] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16589/stat : 16589 (java) S 16569 16571 14274 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902720963 10796748800 22994 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290696192 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
[pid=16571/tid=16590] ppid=16569 vsize=10543700 CPUtime=0 cores=0,2,4,6
/proc/16571/task/16590/stat : 16590 (java) S 16569 16571 14274 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902720974 10796748800 22994 33554432000 1073741824 1073778376 140735307926912 18446744073709551615 237290696192 0 4 0 16800975 18446604453937961984 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 65.03
Current children cumulated vsize (KiB) 10543700

Child status: 30
Real time (s): 63.6153
CPU time (s): 65.0601
CPU user time (s): 64.9861
CPU system time (s): 0.073988
CPU usage (%): 102.271
Max. virtual memory (cumulated for all children) (KiB): 10545296

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 64.9861
system time used= 0.073988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29726
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= 5456
involuntary context switches= 2949

runsolver used 0.106983 second user time and 0.247962 second system time

The end

Launcher Data 

Begin job on node121 at 2011-06-12 22:40:12
IDJOB=3492009
IDBENCH=79255
IDSOLVER=1982
FILE ID=node121/3492009-1307911212
RUNJOBID= node121-1307908110-15571
PBS_JOBID= 13559585
Free space on /var/tmp= 2892 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111212272--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-3492009-1307911212/watcher-3492009-1307911212 -o /var/tmp/evaluation-result-3492009-1307911212/solver-3492009-1307911212 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492009-1307911212.wbo

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

MD5SUM BENCH= 833ed0c2692f571257dcfcd637053de2
RANDOM SEED=1798173762

node121.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.817
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.63
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.817
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	: 5226.07
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.817
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.84
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.817
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.77
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.817
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.82
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.817
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.74
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.817
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.817
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:       1360788 kB
Buffers:         66232 kB
Cached:       30303172 kB
SwapCached:       9696 kB
Active:       15391792 kB
Inactive:     15252732 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:       1360788 kB
SwapTotal:    67111528 kB
SwapFree:     67055440 kB
Dirty:             692 kB
Writeback:           0 kB
AnonPages:      272788 kB
Mapped:          21308 kB
Slab:           882152 kB
PageTables:       4956 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS: 10553940 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= 2892 MiB
End job on node121 at 2011-06-12 22:41:16