Trace number 3492517

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 49.6914 48.5277

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111220767--soft-33-100-0.wbo
MD5SUM76159a1844a191e7556569a339118f97
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark28
Best CPU time to get the best result obtained on this benchmark1.39679
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 constraints64
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 3426
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 3425
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1248
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@13d4c61c
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-3492517-1307909919.wbo
0.10/0.11	c reading problem ... 
0.10/0.16	c ... done. Wall clock time 0.054s.
0.10/0.16	c #vars     233
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.minisat.constraints.card.MinWatchCard => 30
0.10/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 41
0.29/0.25	c SATISFIABLE
0.29/0.25	c OPTIMIZING...
0.29/0.25	c Got one! Elapsed wall clock time (in seconds):0.145
0.29/0.25	o 553
0.29/0.28	c Got one! Elapsed wall clock time (in seconds):0.167
0.29/0.28	o 541
0.29/0.29	c Got one! Elapsed wall clock time (in seconds):0.185
0.29/0.29	o 487
0.53/0.31	c Got one! Elapsed wall clock time (in seconds):0.203
0.53/0.31	o 483
0.53/0.34	c Got one! Elapsed wall clock time (in seconds):0.228
0.53/0.34	o 451
0.53/0.36	c Got one! Elapsed wall clock time (in seconds):0.253
0.53/0.36	o 450
0.53/0.39	c Got one! Elapsed wall clock time (in seconds):0.283
0.53/0.39	o 398
0.66/0.47	c Got one! Elapsed wall clock time (in seconds):0.365
0.66/0.47	o 384
0.77/0.50	c Got one! Elapsed wall clock time (in seconds):0.389
0.77/0.50	o 361
0.77/0.52	c Got one! Elapsed wall clock time (in seconds):0.414
0.77/0.52	o 349
0.77/0.56	c Got one! Elapsed wall clock time (in seconds):0.451
0.77/0.56	o 311
1.01/0.70	c cleaning 5653 clauses out of 11317 with flag 3000/11317
1.01/0.76	c Got one! Elapsed wall clock time (in seconds):0.645
1.01/0.76	o 308
1.12/0.88	c cleaning 5554 clauses out of 11116 with flag 4000/16769
1.23/0.91	c Got one! Elapsed wall clock time (in seconds):0.804
1.23/0.91	o 304
1.23/0.97	c Got one! Elapsed wall clock time (in seconds):0.859
1.23/0.97	o 231
1.43/1.11	c cleaning 6047 clauses out of 12097 with flag 4000/23304
1.65/1.32	c cleaning 6019 clauses out of 12050 with flag 10000/29304
1.75/1.47	c Got one! Elapsed wall clock time (in seconds):1.358
1.75/1.47	o 215
1.85/1.51	c cleaning 5699 clauses out of 11406 with flag 1000/34679
2.06/1.71	c cleaning 5845 clauses out of 11707 with flag 7000/40679
2.26/1.94	c cleaning 6423 clauses out of 12862 with flag 14000/47679
2.47/2.12	c Got one! Elapsed wall clock time (in seconds):2.01
2.47/2.12	o 197
2.67/2.32	c cleaning 8311 clauses out of 16631 with flag 5002/57871
2.87/2.52	c cleaning 7156 clauses out of 14318 with flag 11000/63869
3.07/2.73	c Got one! Elapsed wall clock time (in seconds):2.619
3.07/2.73	o 191
3.27/2.94	c cleaning 9313 clauses out of 18640 with flag 5000/75347
3.37/3.01	c Got one! Elapsed wall clock time (in seconds):2.905
3.37/3.01	o 169
3.47/3.14	c cleaning 7213 clauses out of 14433 with flag 3000/80453
3.68/3.37	c cleaning 6607 clauses out of 13221 with flag 9001/86454
3.97/3.60	c cleaning 6805 clauses out of 13613 with flag 16000/93453
4.17/3.87	c cleaning 7400 clauses out of 14808 with flag 24000/101453
4.48/4.18	c Got one! Elapsed wall clock time (in seconds):4.068
4.48/4.18	o 168
4.68/4.37	c cleaning 10522 clauses out of 21053 with flag 5002/115098
4.88/4.59	c cleaning 8263 clauses out of 16530 with flag 11001/121097
5.18/4.85	c cleaning 7628 clauses out of 15269 with flag 18003/128099
5.38/5.01	c Got one! Elapsed wall clock time (in seconds):4.9
5.38/5.01	o 113
5.38/5.05	c cleaning 6742 clauses out of 13487 with flag 1002/133945
5.58/5.25	c cleaning 6366 clauses out of 12743 with flag 7000/139943
5.58/5.29	c Got one! Elapsed wall clock time (in seconds):5.185
5.58/5.29	o 101
5.81/5.42	c cleaning 5768 clauses out of 11542 with flag 4000/145108
6.00/5.64	c cleaning 5884 clauses out of 11775 with flag 10001/151109
6.30/5.94	c cleaning 6444 clauses out of 12891 with flag 17001/158109
6.60/6.25	c cleaning 7217 clauses out of 14446 with flag 25000/166108
6.91/6.58	c cleaning 8114 clauses out of 16233 with flag 34004/175112
7.01/6.68	c Got one! Elapsed wall clock time (in seconds):6.57
7.01/6.68	o 79
7.11/6.78	c cleaning 6894 clauses out of 13800 with flag 3002/180793
7.31/6.98	c cleaning 6449 clauses out of 12907 with flag 9003/186794
7.61/7.25	c cleaning 6725 clauses out of 13455 with flag 16000/193791
7.91/7.50	c cleaning 7361 clauses out of 14730 with flag 24000/201791
8.12/7.78	c cleaning 8181 clauses out of 16369 with flag 33000/210791
8.51/8.12	c cleaning 9081 clauses out of 18190 with flag 43002/220793
8.82/8.45	c cleaning 9547 clauses out of 19107 with flag 53000/230791
9.12/8.79	c cleaning 9775 clauses out of 19560 with flag 63000/240791
9.52/9.15	c cleaning 9886 clauses out of 19787 with flag 73002/250793
9.82/9.49	c cleaning 9940 clauses out of 19900 with flag 83001/260792
9.92/9.53	c Got one! Elapsed wall clock time (in seconds):9.415
9.92/9.53	o 68
10.02/9.68	c cleaning 7765 clauses out of 15539 with flag 5002/266371
10.23/9.90	c cleaning 6883 clauses out of 13773 with flag 11001/272370
10.53/10.14	c cleaning 6941 clauses out of 13889 with flag 18000/279369
10.83/10.42	c cleaning 7471 clauses out of 14948 with flag 26000/287369
11.13/10.74	c cleaning 8233 clauses out of 16478 with flag 35001/296370
11.44/11.08	c cleaning 9119 clauses out of 18247 with flag 45003/306372
11.83/11.43	c cleaning 9559 clauses out of 19126 with flag 55001/316370
12.14/11.78	c cleaning 9777 clauses out of 19567 with flag 65001/326370
12.54/12.15	c cleaning 9889 clauses out of 19789 with flag 75000/336369
12.94/12.50	c cleaning 9948 clauses out of 19901 with flag 85001/346370
13.24/12.86	c cleaning 9972 clauses out of 19953 with flag 95001/356370
13.64/13.24	c cleaning 9986 clauses out of 19980 with flag 105000/366369
13.74/13.32	c Got one! Elapsed wall clock time (in seconds):13.214
13.74/13.32	o 53
13.86/13.42	c cleaning 7639 clauses out of 15284 with flag 3000/371659
14.06/13.62	c cleaning 6817 clauses out of 13645 with flag 9000/377659
14.26/13.87	c cleaning 6910 clauses out of 13828 with flag 16000/384659
14.56/14.14	c cleaning 7456 clauses out of 14920 with flag 24002/392661
14.86/14.42	c cleaning 8225 clauses out of 16463 with flag 33001/401660
15.26/14.81	c cleaning 9115 clauses out of 18238 with flag 43001/411660
15.56/15.17	c cleaning 9551 clauses out of 19122 with flag 53000/421659
15.97/15.52	c cleaning 9781 clauses out of 19571 with flag 63000/431659
16.27/15.86	c cleaning 9892 clauses out of 19790 with flag 73000/441659
16.57/16.19	c cleaning 9945 clauses out of 19902 with flag 83004/451663
16.97/16.52	c cleaning 9971 clauses out of 19953 with flag 93000/461659
17.27/16.87	c cleaning 9988 clauses out of 19983 with flag 103001/471660
17.57/17.17	c cleaning 9991 clauses out of 19995 with flag 113001/481660
17.87/17.48	c cleaning 9991 clauses out of 20003 with flag 123000/491659
18.27/17.80	c cleaning 9993 clauses out of 20012 with flag 133000/501659
18.57/18.14	c cleaning 10002 clauses out of 20019 with flag 143000/511659
18.88/18.47	c cleaning 10003 clauses out of 20018 with flag 153001/521660
19.18/18.77	c cleaning 10000 clauses out of 20014 with flag 163000/531659
19.38/18.96	c Got one! Elapsed wall clock time (in seconds):18.855
19.38/18.96	o 49
19.58/19.16	c cleaning 10622 clauses out of 21254 with flag 5001/542899
19.78/19.38	c cleaning 8306 clauses out of 16632 with flag 11001/548899
20.08/19.63	c cleaning 7660 clauses out of 15327 with flag 18002/555900
20.38/19.91	c cleaning 7828 clauses out of 15665 with flag 26000/563898
20.68/20.25	c cleaning 8415 clauses out of 16837 with flag 35000/572898
21.08/20.62	c cleaning 9202 clauses out of 18422 with flag 45000/582898
21.48/21.06	c Got one! Elapsed wall clock time (in seconds):20.95
21.48/21.06	o 47
21.78/21.35	c cleaning 11849 clauses out of 23706 with flag 5000/597384
22.09/21.60	c cleaning 8924 clauses out of 17857 with flag 11000/603384
22.28/21.85	c cleaning 7962 clauses out of 15933 with flag 18000/610384
22.59/22.12	c cleaning 7984 clauses out of 15972 with flag 26001/618385
22.89/22.49	c cleaning 8485 clauses out of 16987 with flag 35000/627384
23.29/22.85	c cleaning 9248 clauses out of 18502 with flag 45000/637384
23.69/23.23	c cleaning 9623 clauses out of 19255 with flag 55001/647385
23.99/23.58	c cleaning 9809 clauses out of 19631 with flag 65000/657384
24.39/23.93	c cleaning 9903 clauses out of 19822 with flag 75000/667384
24.70/24.26	c cleaning 9954 clauses out of 19919 with flag 85000/677384
25.10/24.60	c cleaning 9976 clauses out of 19965 with flag 95000/687384
25.40/24.94	c cleaning 9993 clauses out of 19990 with flag 105001/697385
25.70/25.27	c cleaning 9994 clauses out of 19997 with flag 115001/707385
26.10/25.60	c cleaning 9999 clauses out of 20003 with flag 125001/717385
26.40/25.95	c cleaning 9998 clauses out of 20003 with flag 135000/727384
26.70/26.26	c cleaning 9995 clauses out of 20005 with flag 145000/737384
27.00/26.59	c cleaning 10000 clauses out of 20010 with flag 155000/747384
27.40/26.92	c cleaning 10001 clauses out of 20011 with flag 165001/757385
27.70/27.22	c Got one! Elapsed wall clock time (in seconds):27.111
27.70/27.22	o 38
27.91/27.44	c cleaning 12367 clauses out of 24742 with flag 5002/772117
28.11/27.67	c cleaning 9181 clauses out of 18374 with flag 11001/778116
28.41/27.91	c cleaning 8093 clauses out of 16192 with flag 18000/785115
28.61/28.17	c cleaning 8046 clauses out of 16099 with flag 26000/793115
28.91/28.49	c cleaning 8522 clauses out of 17053 with flag 35000/802115
29.31/28.84	c cleaning 9264 clauses out of 18532 with flag 45001/812116
29.71/29.24	c cleaning 9631 clauses out of 19269 with flag 55002/822117
30.01/29.59	c cleaning 9814 clauses out of 19636 with flag 65000/832115
30.41/29.91	c cleaning 9909 clauses out of 19823 with flag 75001/842116
30.71/30.24	c cleaning 9951 clauses out of 19913 with flag 85000/852115
31.11/30.60	c cleaning 9978 clauses out of 19963 with flag 95001/862116
31.42/30.94	c cleaning 9981 clauses out of 19984 with flag 105000/872115
31.72/31.27	c cleaning 9996 clauses out of 20003 with flag 115000/882115
32.12/31.61	c cleaning 9997 clauses out of 20007 with flag 125000/892115
32.42/31.93	c cleaning 9999 clauses out of 20011 with flag 135001/902116
32.72/32.25	c cleaning 10002 clauses out of 20011 with flag 145000/912115
32.82/32.33	c Got one! Elapsed wall clock time (in seconds):32.223
32.82/32.33	o 29
32.92/32.43	c cleaning 7792 clauses out of 15592 with flag 3000/917698
33.12/32.63	c cleaning 6896 clauses out of 13801 with flag 9001/923699
33.32/32.86	c cleaning 6947 clauses out of 13904 with flag 16000/930698
33.62/33.11	c cleaning 7473 clauses out of 14959 with flag 24002/938700
33.92/33.43	c cleaning 8236 clauses out of 16485 with flag 33001/947699
34.22/33.79	c cleaning 9119 clauses out of 18250 with flag 43002/957700
34.63/34.12	c cleaning 9559 clauses out of 19129 with flag 53000/967698
34.93/34.45	c cleaning 9782 clauses out of 19571 with flag 63001/977699
35.23/34.77	c cleaning 9889 clauses out of 19788 with flag 73000/987698
35.64/35.14	c cleaning 9944 clauses out of 19899 with flag 83000/997698
35.93/35.47	c cleaning 9970 clauses out of 19955 with flag 93000/1007698
36.23/35.79	c cleaning 9988 clauses out of 19988 with flag 103003/1017701
36.63/36.14	c cleaning 9995 clauses out of 19997 with flag 113000/1027698
36.93/36.48	c cleaning 9995 clauses out of 20002 with flag 123000/1037698
37.33/36.80	c cleaning 10003 clauses out of 20009 with flag 133002/1047700
37.63/37.14	c cleaning 9999 clauses out of 20005 with flag 143001/1057699
37.94/37.47	c cleaning 9997 clauses out of 20005 with flag 153000/1067698
38.23/37.79	c cleaning 10000 clauses out of 20009 with flag 163001/1077699
38.54/38.09	c cleaning 10001 clauses out of 20010 with flag 173002/1087700
38.95/38.40	c cleaning 9999 clauses out of 20008 with flag 183001/1097699
39.25/38.72	c cleaning 10000 clauses out of 20011 with flag 193003/1107701
39.55/39.05	c cleaning 10001 clauses out of 20010 with flag 203002/1117700
39.85/39.38	c cleaning 9998 clauses out of 20007 with flag 213000/1127698
40.06/39.55	c Got one! Elapsed wall clock time (in seconds):39.444
40.06/39.55	o 28
40.25/39.73	c cleaning 10451 clauses out of 20918 with flag 5001/1138607
40.45/39.95	c cleaning 8229 clauses out of 16468 with flag 11002/1144608
40.66/40.18	c cleaning 7614 clauses out of 15238 with flag 18001/1151607
40.96/40.44	c cleaning 7808 clauses out of 15624 with flag 26001/1159607
41.26/40.74	c cleaning 8404 clauses out of 16818 with flag 35003/1168609
41.56/41.07	c cleaning 9201 clauses out of 18412 with flag 45001/1178607
41.96/41.47	c cleaning 9600 clauses out of 19212 with flag 55002/1188608
42.36/41.82	c cleaning 9802 clauses out of 19610 with flag 65000/1198606
42.66/42.14	c cleaning 9895 clauses out of 19808 with flag 75000/1208606
42.96/42.48	c cleaning 9952 clauses out of 19913 with flag 85000/1218606
43.36/42.80	c cleaning 9978 clauses out of 19963 with flag 95002/1228608
43.66/43.11	c cleaning 9987 clauses out of 19983 with flag 105000/1238606
43.96/43.42	c cleaning 9992 clauses out of 19996 with flag 115000/1248606
44.26/43.74	c cleaning 9997 clauses out of 20004 with flag 125000/1258606
44.57/44.06	c cleaning 9996 clauses out of 20009 with flag 135002/1268608
44.86/44.39	c cleaning 9997 clauses out of 20011 with flag 145000/1278606
45.27/44.72	c cleaning 10003 clauses out of 20016 with flag 155002/1288608
45.57/45.05	c cleaning 10000 clauses out of 20011 with flag 165000/1298606
45.87/45.39	c cleaning 9999 clauses out of 20011 with flag 175000/1308606
46.27/45.72	c cleaning 10000 clauses out of 20012 with flag 185000/1318606
46.57/46.06	c cleaning 10002 clauses out of 20012 with flag 195000/1328606
46.97/46.45	c cleaning 10000 clauses out of 20010 with flag 205000/1338606
47.68/46.81	c cleaning 10001 clauses out of 20011 with flag 215001/1348607
48.23/47.14	c cleaning 10002 clauses out of 20010 with flag 225001/1358607
48.53/47.46	c cleaning 10000 clauses out of 20009 with flag 235002/1368608
48.83/47.78	c cleaning 10000 clauses out of 20008 with flag 245001/1378607
49.23/48.11	c cleaning 9999 clauses out of 20007 with flag 255000/1388606
49.56/48.45	c cleaning 10003 clauses out of 20007 with flag 265000/1398606
49.65/48.52	c starts		: 219
49.65/48.52	c conflicts		: 1400300
49.65/48.52	c decisions		: 2143314
49.65/48.52	c propagations		: 32090334
49.65/48.52	c inspects		: 315770295
49.65/48.52	c shortcuts		: 0
49.65/48.52	c learnt literals	: 7
49.65/48.52	c learnt binary clauses	: 29
49.65/48.52	c learnt ternary clauses	: 567
49.65/48.52	c learnt constraints	: 1400292
49.65/48.52	c ignored constraints	: 0
49.65/48.52	c root simplifications	: 0
49.65/48.52	c removed literals (reason simplification)	: 11365903
49.65/48.52	c reason swapping (by a shorter reason)	: 0
49.65/48.52	c Calls to reduceDB	: 155
49.65/48.52	c number of reductions to clauses (during analyze)	: 0
49.65/48.52	c number of learned constraints concerned by reduction	: 0
49.65/48.52	c number of learning phase by resolution	: 0
49.65/48.52	c number of learning phase by cutting planes	: 0
49.65/48.52	c speed (assignments/second)	: 3580711.2251729527
49.65/48.52	c non guided choices	1058
49.65/48.52	c learnt constraints type 
49.65/48.52	c constraints type 
49.65/48.52	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
49.65/48.52	c org.sat4j.minisat.constraints.card.MinWatchCard => 30
49.65/48.52	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 41
49.65/48.52	s OPTIMUM FOUND
49.65/48.52	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 
49.65/48.52	c objective function=28
49.65/48.52	c Total wall clock time (in seconds): 48.408

Verifier Data 

OK	28

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-3492517-1307909919/watcher-3492517-1307909919 -o /var/tmp/evaluation-result-3492517-1307909919/solver-3492517-1307909919 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492517-1307909919.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 1.93 1/175 22762
/proc/meminfo: memFree=3347592/32951124 swapFree=67054520/67111528
[pid=22762] ppid=22760 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/22762/stat : 22762 (java) R 22760 22762 20310 0 -1 4202496 678 0 0 0 0 0 0 0 22 0 1 0 902590447 23580672 420 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210199684864 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/22762/statm: 5757 430 326 9 0 124 0

[startup+0.095616 s]
/proc/loadavg: 2.00 2.00 1.93 1/175 22762
/proc/meminfo: memFree=3347592/32951124 swapFree=67054520/67111528
[pid=22762] ppid=22760 vsize=10540284 CPUtime=0.09 cores=1,3,5,7
/proc/22762/stat : 22762 (java) S 22760 22762 20310 0 -1 4202496 12947 0 1 0 8 1 0 0 22 0 18 0 902590447 10793250816 12623 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22762/statm: 2635071 12624 2093 9 0 2625805 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10540284

[startup+0.100648 s]
/proc/loadavg: 2.00 2.00 1.93 1/175 22762
/proc/meminfo: memFree=3347592/32951124 swapFree=67054520/67111528
[pid=22762] ppid=22760 vsize=10540284 CPUtime=0.1 cores=1,3,5,7
/proc/22762/stat : 22762 (java) S 22760 22762 20310 0 -1 4202496 13016 0 1 0 9 1 0 0 22 0 18 0 902590447 10793250816 12692 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22762/statm: 2635071 12693 2093 9 0 2625805 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540284

[startup+0.300616 s]
/proc/loadavg: 2.00 2.00 1.93 1/175 22762
/proc/meminfo: memFree=3347592/32951124 swapFree=67054520/67111528
[pid=22762] ppid=22760 vsize=10544092 CPUtime=0.53 cores=1,3,5,7
/proc/22762/stat : 22762 (java) S 22760 22762 20310 0 -1 4202496 16006 0 1 0 51 2 0 0 22 0 19 0 902590447 10797150208 14874 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22762/statm: 2636023 14874 2215 9 0 2626757 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10544092

[startup+0.700559 s]
/proc/loadavg: 2.00 2.00 1.93 1/175 22762
/proc/meminfo: memFree=3347592/32951124 swapFree=67054520/67111528
[pid=22762] ppid=22760 vsize=10544092 CPUtime=1.01 cores=1,3,5,7
/proc/22762/stat : 22762 (java) S 22760 22762 20310 0 -1 4202496 16961 0 1 0 99 2 0 0 22 0 19 0 902590447 10797150208 15652 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22762/statm: 2636023 15652 2223 9 0 2626757 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 10544092

[startup+1.50145 s]
/proc/loadavg: 2.00 2.00 1.93 3/194 22781
/proc/meminfo: memFree=3290432/32951124 swapFree=67054520/67111528
[pid=22762] ppid=22760 vsize=10544092 CPUtime=1.85 cores=1,3,5,7
/proc/22762/stat : 22762 (java) S 22760 22762 20310 0 -1 4202496 18002 0 1 0 183 2 0 0 22 0 19 0 902590447 10797150208 16688 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22762/statm: 2636023 16688 2248 9 0 2626757 0
[pid=22762/tid=22764] ppid=22760 vsize=10544092 CPUtime=1.42 cores=1,3,5,7
/proc/22762/task/22764/stat : 22764 (java) R 22760 22762 20310 0 -1 4202560 12540 0 1 0 141 1 0 0 20 0 19 0 902590448 10797150208 16688 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 46912505593847 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22762/tid=22765] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22765/stat : 22765 (java) S 22760 22762 20310 0 -1 4202560 71 0 0 0 0 0 0 0 16 0 19 0 902590450 10797150208 16688 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22766] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22766/stat : 22766 (java) S 22760 22762 20310 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 902590450 10797150208 16688 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 7 0 0 0
[pid=22762/tid=22767] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22767/stat : 22767 (java) S 22760 22762 20310 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902590450 10797150208 16688 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 7 0 0 0
[pid=22762/tid=22768] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22768/stat : 22768 (java) S 22760 22762 20310 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 902590450 10797150208 16688 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22769] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22769/stat : 22769 (java) S 22760 22762 20310 0 -1 4202560 100 0 0 0 0 0 0 0 15 0 19 0 902590450 10797150208 16688 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 7 0 0 0
[pid=22762/tid=22770] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22770/stat : 22770 (java) S 22760 22762 20310 0 -1 4202560 164 0 0 0 0 0 0 0 16 0 19 0 902590450 10797150208 16688 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22771] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22771/stat : 22771 (java) S 22760 22762 20310 0 -1 4202560 116 0 0 0 0 0 0 0 16 0 19 0 902590450 10797150208 16688 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 7 0 0 0
[pid=22762/tid=22772] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22772/stat : 22772 (java) S 22760 22762 20310 0 -1 4202560 79 0 0 0 0 0 0 0 15 0 19 0 902590450 10797150208 16688 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 7 0 0 0
[pid=22762/tid=22773] ppid=22760 vsize=10544092 CPUtime=0.04 cores=1,3,5,7
/proc/22762/task/22773/stat : 22773 (java) S 22760 22762 20310 0 -1 4202560 494 0 0 0 4 0 0 0 16 0 19 0 902590451 10797150208 16688 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463872 0 0 0 16800975 18446604471158024000 0 0 -1 5 0 0 0
[pid=22762/tid=22774] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22774/stat : 22774 (java) S 22760 22762 20310 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 902590451 10797150208 16688 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22775] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22775/stat : 22775 (java) S 22760 22762 20310 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902590451 10797150208 16688 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22776] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22776/stat : 22776 (java) S 22760 22762 20310 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902590454 10797150208 16688 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216470961 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22777] ppid=22760 vsize=10544092 CPUtime=0.15 cores=1,3,5,7
/proc/22762/task/22777/stat : 22777 (java) S 22760 22762 20310 0 -1 4202560 1011 0 0 0 15 0 0 0 15 0 19 0 902590454 10797150208 16688 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 1 0 0 0
[pid=22762/tid=22778] ppid=22760 vsize=10544092 CPUtime=0.2 cores=1,3,5,7
/proc/22762/task/22778/stat : 22778 (java) S 22760 22762 20310 0 -1 4202560 2266 0 0 0 20 0 0 0 15 0 19 0 902590454 10797150208 16688 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22779] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22779/stat : 22779 (java) S 22760 22762 20310 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902590454 10797150208 16688 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22780] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22780/stat : 22780 (java) S 22760 22762 20310 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902590454 10797150208 16688 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024000 0 0 -1 1 0 0 0
[pid=22762/tid=22781] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22781/stat : 22781 (java) S 22760 22762 20310 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902590465 10797150208 16688 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 10544092

[startup+3.10116 s]
/proc/loadavg: 2.00 2.00 1.93 4/214 22837
/proc/meminfo: memFree=3239588/32951124 swapFree=67054520/67111528
[pid=22762] ppid=22760 vsize=10544092 CPUtime=3.47 cores=1,3,5,7
/proc/22762/stat : 22762 (java) S 22760 22762 20310 0 -1 4202496 18345 0 1 0 344 3 0 0 22 0 19 0 902590447 10797150208 17025 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22762/statm: 2636023 17025 2248 9 0 2626757 0
[pid=22762/tid=22764] ppid=22760 vsize=10544092 CPUtime=2.94 cores=1,3,5,7
/proc/22762/task/22764/stat : 22764 (java) R 22760 22762 20310 0 -1 4202560 12546 0 1 0 293 1 0 0 24 0 19 0 902590448 10797150208 17025 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 46912505553694 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22762/tid=22765] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22765/stat : 22765 (java) S 22760 22762 20310 0 -1 4202560 72 0 0 0 0 0 0 0 16 0 19 0 902590450 10797150208 17025 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22766] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22766/stat : 22766 (java) S 22760 22762 20310 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902590450 10797150208 17025 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 7 0 0 0
[pid=22762/tid=22767] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22767/stat : 22767 (java) S 22760 22762 20310 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902590450 10797150208 17025 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 7 0 0 0
[pid=22762/tid=22768] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22768/stat : 22768 (java) S 22760 22762 20310 0 -1 4202560 5 0 0 0 0 0 0 0 16 0 19 0 902590450 10797150208 17025 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 1 0 0 0
[pid=22762/tid=22769] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22769/stat : 22769 (java) S 22760 22762 20310 0 -1 4202560 211 0 0 0 0 0 0 0 15 0 19 0 902590450 10797150208 17025 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 7 0 0 0
[pid=22762/tid=22770] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22770/stat : 22770 (java) S 22760 22762 20310 0 -1 4202560 164 0 0 0 0 0 0 0 16 0 19 0 902590450 10797150208 17025 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22771] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22771/stat : 22771 (java) S 22760 22762 20310 0 -1 4202560 123 0 0 0 0 0 0 0 16 0 19 0 902590450 10797150208 17025 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22772] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22772/stat : 22772 (java) S 22760 22762 20310 0 -1 4202560 188 0 0 0 0 0 0 0 15 0 19 0 902590450 10797150208 17025 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 7 0 0 0
[pid=22762/tid=22773] ppid=22760 vsize=10544092 CPUtime=0.11 cores=1,3,5,7
/proc/22762/task/22773/stat : 22773 (java) S 22760 22762 20310 0 -1 4202560 602 0 0 0 11 0 0 0 16 0 19 0 902590451 10797150208 17025 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463872 0 0 0 16800975 18446604471158024000 0 0 -1 5 0 0 0
[pid=22762/tid=22774] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22774/stat : 22774 (java) S 22760 22762 20310 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 902590451 10797150208 17025 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22775] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22775/stat : 22775 (java) S 22760 22762 20310 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902590451 10797150208 17025 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22776] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22776/stat : 22776 (java) S 22760 22762 20310 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902590454 10797150208 17025 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216470961 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22777] ppid=22760 vsize=10544092 CPUtime=0.15 cores=1,3,5,7
/proc/22762/task/22777/stat : 22777 (java) S 22760 22762 20310 0 -1 4202560 1011 0 0 0 15 0 0 0 15 0 19 0 902590454 10797150208 17025 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 1 0 0 0
[pid=22762/tid=22778] ppid=22760 vsize=10544092 CPUtime=0.21 cores=1,3,5,7
/proc/22762/task/22778/stat : 22778 (java) S 22760 22762 20310 0 -1 4202560 2266 0 0 0 21 0 0 0 15 0 19 0 902590454 10797150208 17025 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22779] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22779/stat : 22779 (java) S 22760 22762 20310 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902590454 10797150208 17025 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22780] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22780/stat : 22780 (java) S 22760 22762 20310 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902590454 10797150208 17025 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024000 0 0 -1 1 0 0 0
[pid=22762/tid=22781] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22781/stat : 22781 (java) S 22760 22762 20310 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902590465 10797150208 17025 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.47
Current children cumulated vsize (KiB) 10544092

[startup+6.30062 s]
/proc/loadavg: 2.00 2.00 1.93 3/214 22837
/proc/meminfo: memFree=3232232/32951124 swapFree=67054520/67111528
[pid=22762] ppid=22760 vsize=10544092 CPUtime=6.7 cores=1,3,5,7
/proc/22762/stat : 22762 (java) S 22760 22762 20310 0 -1 4202496 18436 0 1 0 667 3 0 0 22 0 19 0 902590447 10797150208 17102 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22762/statm: 2636023 17102 2249 9 0 2626757 0
[pid=22762/tid=22764] ppid=22760 vsize=10544092 CPUtime=5.96 cores=1,3,5,7
/proc/22762/task/22764/stat : 22764 (java) R 22760 22762 20310 0 -1 4202560 12561 0 1 0 595 1 0 0 19 0 19 0 902590448 10797150208 17102 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 46912505630598 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22762/tid=22765] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22765/stat : 22765 (java) S 22760 22762 20310 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 902590450 10797150208 17102 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 7 0 0 0
[pid=22762/tid=22766] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22766/stat : 22766 (java) S 22760 22762 20310 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902590450 10797150208 17102 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 1 0 0 0
[pid=22762/tid=22767] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22767/stat : 22767 (java) S 22760 22762 20310 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 902590450 10797150208 17102 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 1 0 0 0
[pid=22762/tid=22768] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22768/stat : 22768 (java) S 22760 22762 20310 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902590450 10797150208 17102 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 1 0 0 0
[pid=22762/tid=22769] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22769/stat : 22769 (java) S 22760 22762 20310 0 -1 4202560 217 0 0 0 0 0 0 0 15 0 19 0 902590450 10797150208 17102 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 1 0 0 0
[pid=22762/tid=22770] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22770/stat : 22770 (java) S 22760 22762 20310 0 -1 4202560 165 0 0 0 0 0 0 0 15 0 19 0 902590450 10797150208 17102 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22771] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22771/stat : 22771 (java) S 22760 22762 20310 0 -1 4202560 129 0 0 0 0 0 0 0 15 0 19 0 902590450 10797150208 17102 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22772] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22772/stat : 22772 (java) S 22760 22762 20310 0 -1 4202560 198 0 0 0 0 0 0 0 16 0 19 0 902590450 10797150208 17102 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 7 0 0 0
[pid=22762/tid=22773] ppid=22760 vsize=10544092 CPUtime=0.27 cores=1,3,5,7
/proc/22762/task/22773/stat : 22773 (java) S 22760 22762 20310 0 -1 4202560 642 0 0 0 27 0 0 0 15 0 19 0 902590451 10797150208 17102 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463872 0 0 0 16800975 18446604471158024000 0 0 -1 5 0 0 0
[pid=22762/tid=22774] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22774/stat : 22774 (java) S 22760 22762 20310 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 902590451 10797150208 17102 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22775] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22775/stat : 22775 (java) S 22760 22762 20310 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902590451 10797150208 17102 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22776] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22776/stat : 22776 (java) S 22760 22762 20310 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902590454 10797150208 17102 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216470961 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22777] ppid=22760 vsize=10544092 CPUtime=0.16 cores=1,3,5,7
/proc/22762/task/22777/stat : 22777 (java) S 22760 22762 20310 0 -1 4202560 1011 0 0 0 16 0 0 0 15 0 19 0 902590454 10797150208 17102 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 1 0 0 0
[pid=22762/tid=22778] ppid=22760 vsize=10544092 CPUtime=0.22 cores=1,3,5,7
/proc/22762/task/22778/stat : 22778 (java) S 22760 22762 20310 0 -1 4202560 2270 0 0 0 22 0 0 0 15 0 19 0 902590454 10797150208 17102 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22779] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22779/stat : 22779 (java) S 22760 22762 20310 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902590454 10797150208 17102 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22780] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22780/stat : 22780 (java) S 22760 22762 20310 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902590454 10797150208 17102 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024000 0 0 -1 1 0 0 0
[pid=22762/tid=22781] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22781/stat : 22781 (java) S 22760 22762 20310 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902590465 10797150208 17102 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.7
Current children cumulated vsize (KiB) 10544092

[startup+12.7015 s]

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

/proc/22762/task/22765/stat : 22765 (java) S 22760 22762 20310 0 -1 4202560 98 0 0 0 3 0 0 0 15 0 19 0 902590450 10797150208 18059 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 1 0 0 0
[pid=22762/tid=22766] ppid=22760 vsize=10544092 CPUtime=0.03 cores=1,3,5,7
/proc/22762/task/22766/stat : 22766 (java) S 22760 22762 20310 0 -1 4202560 32 0 0 0 3 0 0 0 15 0 19 0 902590450 10797150208 18059 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 7 0 0 0
[pid=22762/tid=22767] ppid=22760 vsize=10544092 CPUtime=0.04 cores=1,3,5,7
/proc/22762/task/22767/stat : 22767 (java) S 22760 22762 20310 0 -1 4202560 11 0 0 0 4 0 0 0 15 0 19 0 902590450 10797150208 18059 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 1 0 0 0
[pid=22762/tid=22768] ppid=22760 vsize=10544092 CPUtime=0.02 cores=1,3,5,7
/proc/22762/task/22768/stat : 22768 (java) S 22760 22762 20310 0 -1 4202560 9 0 0 0 2 0 0 0 16 0 19 0 902590450 10797150208 18059 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 7 0 0 0
[pid=22762/tid=22769] ppid=22760 vsize=10544092 CPUtime=0.04 cores=1,3,5,7
/proc/22762/task/22769/stat : 22769 (java) S 22760 22762 20310 0 -1 4202560 221 0 0 0 4 0 0 0 15 0 19 0 902590450 10797150208 18059 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 7 0 0 0
[pid=22762/tid=22770] ppid=22760 vsize=10544092 CPUtime=0.03 cores=1,3,5,7
/proc/22762/task/22770/stat : 22770 (java) S 22760 22762 20310 0 -1 4202560 172 0 0 0 3 0 0 0 15 0 19 0 902590450 10797150208 18059 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 1 0 0 0
[pid=22762/tid=22771] ppid=22760 vsize=10544092 CPUtime=0.04 cores=1,3,5,7
/proc/22762/task/22771/stat : 22771 (java) S 22760 22762 20310 0 -1 4202560 226 0 0 0 4 0 0 0 15 0 19 0 902590450 10797150208 18059 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22772] ppid=22760 vsize=10544092 CPUtime=0.05 cores=1,3,5,7
/proc/22762/task/22772/stat : 22772 (java) S 22760 22762 20310 0 -1 4202560 226 0 0 0 5 0 0 0 16 0 19 0 902590450 10797150208 18059 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22773] ppid=22760 vsize=10544092 CPUtime=1.95 cores=1,3,5,7
/proc/22762/task/22773/stat : 22773 (java) S 22760 22762 20310 0 -1 4202560 1043 0 0 0 193 2 0 0 15 0 19 0 902590451 10797150208 18059 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463872 0 0 0 16800975 18446604471158024000 0 0 -1 5 0 0 0
[pid=22762/tid=22774] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22774/stat : 22774 (java) S 22760 22762 20310 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 902590451 10797150208 18059 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22775] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22775/stat : 22775 (java) S 22760 22762 20310 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902590451 10797150208 18059 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22776] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22776/stat : 22776 (java) S 22760 22762 20310 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902590454 10797150208 18059 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216470961 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22777] ppid=22760 vsize=10544092 CPUtime=0.16 cores=1,3,5,7
/proc/22762/task/22777/stat : 22777 (java) S 22760 22762 20310 0 -1 4202560 1011 0 0 0 16 0 0 0 15 0 19 0 902590454 10797150208 18059 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 1 0 0 0
[pid=22762/tid=22778] ppid=22760 vsize=10544092 CPUtime=0.24 cores=1,3,5,7
/proc/22762/task/22778/stat : 22778 (java) S 22760 22762 20310 0 -1 4202560 2660 0 0 0 24 0 0 0 15 0 19 0 902590454 10797150208 18059 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22779] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22779/stat : 22779 (java) S 22760 22762 20310 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902590454 10797150208 18059 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22780] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22780/stat : 22780 (java) S 22760 22762 20310 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 902590454 10797150208 18059 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22781] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22781/stat : 22781 (java) S 22760 22762 20310 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902590465 10797150208 18059 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 46.87
Current children cumulated vsize (KiB) 10544092

[startup+47.9006 s]
/proc/loadavg: 2.14 2.03 1.94 3/214 22895
/proc/meminfo: memFree=3190280/32951124 swapFree=67054520/67111528
[pid=22762] ppid=22760 vsize=10544092 CPUtime=49.03 cores=1,3,5,7
/proc/22762/stat : 22762 (java) S 22760 22762 20310 0 -1 4202496 28580 0 1 0 4896 7 0 0 22 0 19 0 902590447 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22762/statm: 2636023 22834 2251 9 0 2626757 0
[pid=22762/tid=22764] ppid=22760 vsize=10544092 CPUtime=45.67 cores=1,3,5,7
/proc/22762/task/22764/stat : 22764 (java) R 22760 22762 20310 0 -1 4202560 12692 0 1 0 4565 2 0 0 18 0 19 0 902590448 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 46912505525536 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=22762/tid=22765] ppid=22760 vsize=10544092 CPUtime=0.03 cores=1,3,5,7
/proc/22762/task/22765/stat : 22765 (java) S 22760 22762 20310 0 -1 4202560 98 0 0 0 3 0 0 0 15 0 19 0 902590450 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 1 0 0 0
[pid=22762/tid=22766] ppid=22760 vsize=10544092 CPUtime=0.04 cores=1,3,5,7
/proc/22762/task/22766/stat : 22766 (java) S 22760 22762 20310 0 -1 4202560 32 0 0 0 4 0 0 0 15 0 19 0 902590450 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 7 0 0 0
[pid=22762/tid=22767] ppid=22760 vsize=10544092 CPUtime=0.04 cores=1,3,5,7
/proc/22762/task/22767/stat : 22767 (java) S 22760 22762 20310 0 -1 4202560 11 0 0 0 4 0 0 0 16 0 19 0 902590450 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 1 0 0 0
[pid=22762/tid=22768] ppid=22760 vsize=10544092 CPUtime=0.03 cores=1,3,5,7
/proc/22762/task/22768/stat : 22768 (java) S 22760 22762 20310 0 -1 4202560 9 0 0 0 3 0 0 0 16 0 19 0 902590450 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 7 0 0 0
[pid=22762/tid=22769] ppid=22760 vsize=10544092 CPUtime=0.04 cores=1,3,5,7
/proc/22762/task/22769/stat : 22769 (java) S 22760 22762 20310 0 -1 4202560 221 0 0 0 4 0 0 0 16 0 19 0 902590450 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 7 0 0 0
[pid=22762/tid=22770] ppid=22760 vsize=10544092 CPUtime=0.03 cores=1,3,5,7
/proc/22762/task/22770/stat : 22770 (java) S 22760 22762 20310 0 -1 4202560 172 0 0 0 3 0 0 0 15 0 19 0 902590450 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 1 0 0 0
[pid=22762/tid=22771] ppid=22760 vsize=10544092 CPUtime=0.04 cores=1,3,5,7
/proc/22762/task/22771/stat : 22771 (java) S 22760 22762 20310 0 -1 4202560 226 0 0 0 4 0 0 0 15 0 19 0 902590450 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 7 0 0 0
[pid=22762/tid=22772] ppid=22760 vsize=10544092 CPUtime=0.05 cores=1,3,5,7
/proc/22762/task/22772/stat : 22772 (java) S 22760 22762 20310 0 -1 4202560 226 0 0 0 5 0 0 0 15 0 19 0 902590450 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 7 0 0 0
[pid=22762/tid=22773] ppid=22760 vsize=10544092 CPUtime=2.02 cores=1,3,5,7
/proc/22762/task/22773/stat : 22773 (java) S 22760 22762 20310 0 -1 4202560 1043 0 0 0 200 2 0 0 15 0 19 0 902590451 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463872 0 0 0 16800975 18446604471158024000 0 0 -1 5 0 0 0
[pid=22762/tid=22774] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22774/stat : 22774 (java) S 22760 22762 20310 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 902590451 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22775] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22775/stat : 22775 (java) S 22760 22762 20310 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902590451 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22776] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22776/stat : 22776 (java) S 22760 22762 20310 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902590454 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216470961 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22777] ppid=22760 vsize=10544092 CPUtime=0.19 cores=1,3,5,7
/proc/22762/task/22777/stat : 22777 (java) S 22760 22762 20310 0 -1 4202560 1043 0 0 0 19 0 0 0 15 0 19 0 902590454 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 1 0 0 0
[pid=22762/tid=22778] ppid=22760 vsize=10544092 CPUtime=0.78 cores=1,3,5,7
/proc/22762/task/22778/stat : 22778 (java) S 22760 22762 20310 0 -1 4202560 11648 0 0 0 77 1 0 0 16 0 19 0 902590454 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22779] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22779/stat : 22779 (java) S 22760 22762 20310 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902590454 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22780] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22780/stat : 22780 (java) S 22760 22762 20310 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 902590454 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024000 0 0 -1 1 0 0 0
[pid=22762/tid=22781] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22781/stat : 22781 (java) S 22760 22762 20310 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902590465 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 49.03
Current children cumulated vsize (KiB) 10544092

[startup+48.3016 s]
/proc/loadavg: 2.13 2.03 1.94 5/214 22895
/proc/meminfo: memFree=3185816/32951124 swapFree=67054520/67111528
[pid=22762] ppid=22760 vsize=10544092 CPUtime=49.45 cores=1,3,5,7
/proc/22762/stat : 22762 (java) S 22760 22762 20310 0 -1 4202496 28581 0 1 0 4938 7 0 0 22 0 19 0 902590447 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22762/statm: 2636023 22834 2251 9 0 2626757 0
[pid=22762/tid=22764] ppid=22760 vsize=10544092 CPUtime=46.05 cores=1,3,5,7
/proc/22762/task/22764/stat : 22764 (java) R 22760 22762 20310 0 -1 4202560 12693 0 1 0 4603 2 0 0 17 0 19 0 902590448 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 46912505531251 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22762/tid=22765] ppid=22760 vsize=10544092 CPUtime=0.03 cores=1,3,5,7
/proc/22762/task/22765/stat : 22765 (java) S 22760 22762 20310 0 -1 4202560 98 0 0 0 3 0 0 0 15 0 19 0 902590450 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 1 0 0 0
[pid=22762/tid=22766] ppid=22760 vsize=10544092 CPUtime=0.04 cores=1,3,5,7
/proc/22762/task/22766/stat : 22766 (java) S 22760 22762 20310 0 -1 4202560 32 0 0 0 4 0 0 0 15 0 19 0 902590450 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 7 0 0 0
[pid=22762/tid=22767] ppid=22760 vsize=10544092 CPUtime=0.04 cores=1,3,5,7
/proc/22762/task/22767/stat : 22767 (java) S 22760 22762 20310 0 -1 4202560 11 0 0 0 4 0 0 0 15 0 19 0 902590450 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 1 0 0 0
[pid=22762/tid=22768] ppid=22760 vsize=10544092 CPUtime=0.03 cores=1,3,5,7
/proc/22762/task/22768/stat : 22768 (java) S 22760 22762 20310 0 -1 4202560 9 0 0 0 3 0 0 0 15 0 19 0 902590450 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 7 0 0 0
[pid=22762/tid=22769] ppid=22760 vsize=10544092 CPUtime=0.04 cores=1,3,5,7
/proc/22762/task/22769/stat : 22769 (java) S 22760 22762 20310 0 -1 4202560 221 0 0 0 4 0 0 0 15 0 19 0 902590450 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 1 0 0 0
[pid=22762/tid=22770] ppid=22760 vsize=10544092 CPUtime=0.03 cores=1,3,5,7
/proc/22762/task/22770/stat : 22770 (java) S 22760 22762 20310 0 -1 4202560 172 0 0 0 3 0 0 0 15 0 19 0 902590450 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 1 0 0 0
[pid=22762/tid=22771] ppid=22760 vsize=10544092 CPUtime=0.04 cores=1,3,5,7
/proc/22762/task/22771/stat : 22771 (java) S 22760 22762 20310 0 -1 4202560 226 0 0 0 4 0 0 0 15 0 19 0 902590450 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 7 0 0 0
[pid=22762/tid=22772] ppid=22760 vsize=10544092 CPUtime=0.05 cores=1,3,5,7
/proc/22762/task/22772/stat : 22772 (java) S 22760 22762 20310 0 -1 4202560 226 0 0 0 5 0 0 0 16 0 19 0 902590450 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 7 0 0 0
[pid=22762/tid=22773] ppid=22760 vsize=10544092 CPUtime=2.03 cores=1,3,5,7
/proc/22762/task/22773/stat : 22773 (java) S 22760 22762 20310 0 -1 4202560 1043 0 0 0 201 2 0 0 15 0 19 0 902590451 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463872 0 0 0 16800975 18446604471158024000 0 0 -1 5 0 0 0
[pid=22762/tid=22774] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22774/stat : 22774 (java) S 22760 22762 20310 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 902590451 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22775] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22775/stat : 22775 (java) S 22760 22762 20310 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902590451 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22776] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22776/stat : 22776 (java) S 22760 22762 20310 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902590454 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216470961 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22777] ppid=22760 vsize=10544092 CPUtime=0.19 cores=1,3,5,7
/proc/22762/task/22777/stat : 22777 (java) S 22760 22762 20310 0 -1 4202560 1043 0 0 0 19 0 0 0 15 0 19 0 902590454 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 1 0 0 0
[pid=22762/tid=22778] ppid=22760 vsize=10544092 CPUtime=0.79 cores=1,3,5,7
/proc/22762/task/22778/stat : 22778 (java) R 22760 22762 20310 0 -1 4202560 11648 0 0 0 78 1 0 0 15 0 19 0 902590454 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 47473095575744 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=22762/tid=22779] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22779/stat : 22779 (java) S 22760 22762 20310 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902590454 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22780] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22780/stat : 22780 (java) S 22760 22762 20310 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 902590454 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024000 0 0 -1 1 0 0 0
[pid=22762/tid=22781] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22781/stat : 22781 (java) S 22760 22762 20310 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902590465 10797150208 22834 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 49.45
Current children cumulated vsize (KiB) 10544092

[startup+48.5005 s]
/proc/loadavg: 2.13 2.03 1.94 5/214 22895
/proc/meminfo: memFree=3185816/32951124 swapFree=67054520/67111528
[pid=22762] ppid=22760 vsize=10544092 CPUtime=49.65 cores=1,3,5,7
/proc/22762/stat : 22762 (java) S 22760 22762 20310 0 -1 4202496 28583 0 1 0 4958 7 0 0 22 0 19 0 902590447 10797150208 22835 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216450021 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/22762/statm: 2636023 22835 2251 9 0 2626757 0
[pid=22762/tid=22764] ppid=22760 vsize=10544092 CPUtime=46.23 cores=1,3,5,7
/proc/22762/task/22764/stat : 22764 (java) R 22760 22762 20310 0 -1 4202560 12695 0 1 0 4621 2 0 0 18 0 19 0 902590448 10797150208 22835 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 46912505679778 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=22762/tid=22765] ppid=22760 vsize=10544092 CPUtime=0.03 cores=1,3,5,7
/proc/22762/task/22765/stat : 22765 (java) S 22760 22762 20310 0 -1 4202560 98 0 0 0 3 0 0 0 15 0 19 0 902590450 10797150208 22835 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 1 0 0 0
[pid=22762/tid=22766] ppid=22760 vsize=10544092 CPUtime=0.04 cores=1,3,5,7
/proc/22762/task/22766/stat : 22766 (java) S 22760 22762 20310 0 -1 4202560 32 0 0 0 4 0 0 0 15 0 19 0 902590450 10797150208 22835 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 7 0 0 0
[pid=22762/tid=22767] ppid=22760 vsize=10544092 CPUtime=0.04 cores=1,3,5,7
/proc/22762/task/22767/stat : 22767 (java) S 22760 22762 20310 0 -1 4202560 11 0 0 0 4 0 0 0 15 0 19 0 902590450 10797150208 22835 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 1 0 0 0
[pid=22762/tid=22768] ppid=22760 vsize=10544092 CPUtime=0.03 cores=1,3,5,7
/proc/22762/task/22768/stat : 22768 (java) S 22760 22762 20310 0 -1 4202560 9 0 0 0 3 0 0 0 15 0 19 0 902590450 10797150208 22835 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 7 0 0 0
[pid=22762/tid=22769] ppid=22760 vsize=10544092 CPUtime=0.04 cores=1,3,5,7
/proc/22762/task/22769/stat : 22769 (java) S 22760 22762 20310 0 -1 4202560 221 0 0 0 4 0 0 0 15 0 19 0 902590450 10797150208 22835 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 1 0 0 0
[pid=22762/tid=22770] ppid=22760 vsize=10544092 CPUtime=0.03 cores=1,3,5,7
/proc/22762/task/22770/stat : 22770 (java) S 22760 22762 20310 0 -1 4202560 172 0 0 0 3 0 0 0 15 0 19 0 902590450 10797150208 22835 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 1 0 0 0
[pid=22762/tid=22771] ppid=22760 vsize=10544092 CPUtime=0.04 cores=1,3,5,7
/proc/22762/task/22771/stat : 22771 (java) S 22760 22762 20310 0 -1 4202560 226 0 0 0 4 0 0 0 15 0 19 0 902590450 10797150208 22835 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 1 0 0 0
[pid=22762/tid=22772] ppid=22760 vsize=10544092 CPUtime=0.05 cores=1,3,5,7
/proc/22762/task/22772/stat : 22772 (java) S 22760 22762 20310 0 -1 4202560 226 0 0 0 5 0 0 0 15 0 19 0 902590450 10797150208 22835 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 7 0 0 0
[pid=22762/tid=22773] ppid=22760 vsize=10544092 CPUtime=2.04 cores=1,3,5,7
/proc/22762/task/22773/stat : 22773 (java) S 22760 22762 20310 0 -1 4202560 1043 0 0 0 202 2 0 0 16 0 19 0 902590451 10797150208 22835 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463872 0 0 0 16800975 18446604471158024000 0 0 -1 5 0 0 0
[pid=22762/tid=22774] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22774/stat : 22774 (java) S 22760 22762 20310 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 902590451 10797150208 22835 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22775] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22775/stat : 22775 (java) S 22760 22762 20310 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 902590451 10797150208 22835 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22776] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22776/stat : 22776 (java) S 22760 22762 20310 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902590454 10797150208 22835 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216470961 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22777] ppid=22760 vsize=10544092 CPUtime=0.19 cores=1,3,5,7
/proc/22762/task/22777/stat : 22777 (java) S 22760 22762 20310 0 -1 4202560 1043 0 0 0 19 0 0 0 15 0 19 0 902590454 10797150208 22835 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 1 0 0 0
[pid=22762/tid=22778] ppid=22760 vsize=10544092 CPUtime=0.8 cores=1,3,5,7
/proc/22762/task/22778/stat : 22778 (java) S 22760 22762 20310 0 -1 4202560 11648 0 0 0 79 1 0 0 15 0 19 0 902590454 10797150208 22835 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22779] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22779/stat : 22779 (java) S 22760 22762 20310 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902590454 10797150208 22835 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463257 0 4 0 16800975 18446604471158024000 0 0 -1 3 0 0 0
[pid=22762/tid=22780] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22780/stat : 22780 (java) S 22760 22762 20310 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 902590454 10797150208 22835 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024000 0 0 -1 1 0 0 0
[pid=22762/tid=22781] ppid=22760 vsize=10544092 CPUtime=0 cores=1,3,5,7
/proc/22762/task/22781/stat : 22781 (java) S 22760 22762 20310 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902590465 10797150208 22835 33554432000 1073741824 1073778376 140736397893456 18446744073709551615 210216463872 0 4 0 16800975 18446604471158024000 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 49.65
Current children cumulated vsize (KiB) 10544092

Child status: 30
Real time (s): 48.5277
CPU time (s): 49.6914
CPU user time (s): 49.6105
CPU system time (s): 0.080987
CPU usage (%): 102.398
Max. virtual memory (cumulated for all children) (KiB): 10544092

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.6105
system time used= 0.080987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28610
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= 5265
involuntary context switches= 2153

runsolver used 0.087986 second user time and 0.189971 second system time

The end

Launcher Data 

Begin job on node130 at 2011-06-12 22:18:39
IDJOB=3492517
IDBENCH=78855
IDSOLVER=1982
FILE ID=node130/3492517-1307909919
RUNJOBID= node130-1307908122-22595
PBS_JOBID= 13559576
Free space on /var/tmp= 2908 MiB

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

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

MD5SUM BENCH= 76159a1844a191e7556569a339118f97
RANDOM SEED=1294855190

node130.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.838
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.67
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.838
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.838
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.838
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.81
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.838
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.75
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.838
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.838
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.838
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.81
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       3348400 kB
Buffers:         64740 kB
Cached:       28613176 kB
SwapCached:      10292 kB
Active:       14100140 kB
Inactive:     14598844 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       3348400 kB
SwapTotal:    67111528 kB
SwapFree:     67054520 kB
Dirty:             128 kB
Writeback:           0 kB
AnonPages:       18460 kB
Mapped:          13176 kB
Slab:           839040 kB
PageTables:       4624 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   221996 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= 2908 MiB
End job on node130 at 2011-06-12 22:19:28