Trace number 3492671

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 58.7051 56.9504

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110968094--soft-0-100-0.wbo
MD5SUM38689affd31dfd76c9ffeea1f5bf526c
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark9
Best CPU time to get the best result obtained on this benchmark4.00239
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 1242
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-3492671-1307911110.wbo
0.10/0.10	c reading problem ... 
0.10/0.16	c ... done. Wall clock time 0.054s.
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.28/0.23	c SATISFIABLE
0.28/0.23	c OPTIMIZING...
0.28/0.23	c Got one! Elapsed wall clock time (in seconds):0.125
0.28/0.23	o 636
0.28/0.26	c Got one! Elapsed wall clock time (in seconds):0.156
0.28/0.26	o 629
0.28/0.27	c Got one! Elapsed wall clock time (in seconds):0.169
0.28/0.27	o 469
0.28/0.29	c Got one! Elapsed wall clock time (in seconds):0.186
0.28/0.29	o 454
0.52/0.34	c Got one! Elapsed wall clock time (in seconds):0.233
0.52/0.34	o 439
0.52/0.36	c Got one! Elapsed wall clock time (in seconds):0.258
0.52/0.36	o 399
0.52/0.38	c Got one! Elapsed wall clock time (in seconds):0.277
0.52/0.38	o 372
0.77/0.51	c Got one! Elapsed wall clock time (in seconds):0.402
0.77/0.51	o 363
0.77/0.59	c Got one! Elapsed wall clock time (in seconds):0.487
0.77/0.59	o 339
0.86/0.62	c Got one! Elapsed wall clock time (in seconds):0.514
0.86/0.62	o 337
0.97/0.76	c cleaning 4809 clauses out of 9618 with flag 2000/9618
1.43/1.08	c cleaning 5400 clauses out of 10809 with flag 8000/15618
1.73/1.38	c Got one! Elapsed wall clock time (in seconds):1.275
1.73/1.38	o 305
2.03/1.61	c cleaning 7706 clauses out of 15418 with flag 5000/25627
2.46/2.02	c cleaning 6855 clauses out of 13716 with flag 11004/31631
2.46/2.07	c Got one! Elapsed wall clock time (in seconds):1.962
2.46/2.07	o 304
2.58/2.20	c Got one! Elapsed wall clock time (in seconds):2.093
2.58/2.20	o 277
2.77/2.31	c cleaning 6801 clauses out of 13634 with flag 2001/38404
2.97/2.60	c cleaning 6414 clauses out of 12832 with flag 8000/44403
3.17/2.77	c Got one! Elapsed wall clock time (in seconds):2.664
3.17/2.77	o 262
3.27/2.88	c cleaning 5990 clauses out of 11992 with flag 3001/49977
3.58/3.15	c cleaning 5996 clauses out of 12003 with flag 9002/55978
3.78/3.34	c Got one! Elapsed wall clock time (in seconds):3.235
3.78/3.34	o 253
3.88/3.43	c cleaning 5610 clauses out of 11231 with flag 2000/61202
4.18/3.74	c cleaning 5808 clauses out of 11621 with flag 8000/67202
4.29/3.86	c Got one! Elapsed wall clock time (in seconds):3.752
4.29/3.86	o 226
4.39/4.00	c cleaning 5890 clauses out of 11787 with flag 4003/73176
4.69/4.26	c Got one! Elapsed wall clock time (in seconds):4.155
4.69/4.26	o 225
4.89/4.46	c cleaning 8372 clauses out of 16751 with flag 5002/84030
4.99/4.60	c Got one! Elapsed wall clock time (in seconds):4.492
4.99/4.60	o 196
5.21/4.70	c cleaning 7103 clauses out of 14207 with flag 2004/89858
5.51/5.03	c cleaning 6547 clauses out of 13100 with flag 8000/95854
5.61/5.12	c Got one! Elapsed wall clock time (in seconds):5.012
5.61/5.12	o 184
5.71/5.25	c cleaning 6070 clauses out of 12146 with flag 4002/101447
6.02/5.54	c cleaning 6032 clauses out of 12077 with flag 10003/107448
6.41/5.93	c cleaning 6517 clauses out of 13042 with flag 17000/114445
6.81/6.30	c cleaning 7257 clauses out of 14525 with flag 25000/122445
7.22/6.73	c cleaning 8123 clauses out of 16269 with flag 34001/131446
7.22/6.78	c Got one! Elapsed wall clock time (in seconds):6.679
7.22/6.78	o 143
7.42/6.97	c cleaning 6936 clauses out of 13881 with flag 5002/137181
7.51/7.01	c Got one! Elapsed wall clock time (in seconds):6.901
7.51/7.01	o 140
7.61/7.19	c cleaning 6168 clauses out of 12352 with flag 5000/142588
8.02/7.51	c cleaning 6088 clauses out of 12184 with flag 11000/148588
8.13/7.64	c Got one! Elapsed wall clock time (in seconds):7.536
8.13/7.64	o 116
8.23/7.74	c cleaning 5728 clauses out of 11463 with flag 3000/153955
8.43/7.96	c cleaning 5865 clauses out of 11737 with flag 9002/159957
8.83/8.36	c cleaning 6430 clauses out of 12872 with flag 16002/166957
9.24/8.80	c cleaning 7218 clauses out of 14441 with flag 24001/174956
9.73/9.27	c cleaning 8106 clauses out of 16223 with flag 33001/183956
10.03/9.53	c Got one! Elapsed wall clock time (in seconds):9.422
10.03/9.53	o 114
10.03/9.57	c cleaning 6948 clauses out of 13905 with flag 1000/189744
10.23/9.78	c cleaning 6475 clauses out of 12958 with flag 7001/195745
10.54/10.02	c cleaning 6736 clauses out of 13483 with flag 14001/202745
10.84/10.36	c cleaning 7368 clauses out of 14747 with flag 22001/210745
11.66/10.81	c Got one! Elapsed wall clock time (in seconds):10.703
11.66/10.81	o 109
11.86/11.05	c cleaning 10345 clauses out of 20702 with flag 5000/224068
12.42/11.36	c cleaning 8176 clauses out of 16358 with flag 11001/230069
13.19/11.72	c cleaning 7583 clauses out of 15181 with flag 18000/237068
13.31/11.86	c Got one! Elapsed wall clock time (in seconds):11.753
13.31/11.86	o 102
13.44/11.97	c cleaning 6655 clauses out of 13322 with flag 3000/242792
13.65/12.19	c cleaning 6330 clauses out of 12668 with flag 9001/248793
13.94/12.48	c cleaning 6664 clauses out of 13340 with flag 16003/255795
14.35/12.89	c cleaning 7329 clauses out of 14673 with flag 24000/263792
14.85/13.36	c cleaning 8167 clauses out of 16345 with flag 33001/272793
15.45/13.97	c cleaning 9087 clauses out of 18180 with flag 43003/282795
16.06/14.55	c cleaning 9542 clauses out of 19093 with flag 53003/292795
16.56/15.09	c cleaning 9769 clauses out of 19548 with flag 63000/302792
16.86/15.38	c Got one! Elapsed wall clock time (in seconds):15.279
16.86/15.38	o 83
17.16/15.61	c cleaning 10108 clauses out of 20232 with flag 5000/313245
17.46/15.91	c cleaning 8057 clauses out of 16125 with flag 11001/319246
17.76/16.26	c cleaning 7529 clauses out of 15067 with flag 18000/326245
18.18/16.65	c cleaning 7766 clauses out of 15543 with flag 26005/334250
18.68/17.12	c cleaning 8382 clauses out of 16773 with flag 35001/343246
19.19/17.67	c cleaning 9191 clauses out of 18390 with flag 45000/353245
19.69/18.18	c cleaning 9597 clauses out of 19199 with flag 55000/363245
20.29/18.71	c cleaning 9796 clauses out of 19604 with flag 65002/373247
20.79/19.23	c cleaning 9901 clauses out of 19806 with flag 75000/383245
21.29/19.73	c cleaning 9947 clauses out of 19905 with flag 85000/393245
21.79/20.23	c cleaning 9974 clauses out of 19958 with flag 95000/403245
22.29/20.72	c cleaning 9988 clauses out of 19984 with flag 105000/413245
22.69/21.20	c cleaning 9995 clauses out of 19997 with flag 115001/423246
23.19/21.67	c cleaning 9995 clauses out of 20003 with flag 125002/433247
23.69/22.16	c cleaning 10000 clauses out of 20007 with flag 135001/443246
23.79/22.28	c Got one! Elapsed wall clock time (in seconds):22.173
23.79/22.28	o 74
23.99/22.43	c cleaning 7970 clauses out of 15941 with flag 4000/449180
24.19/22.68	c cleaning 6980 clauses out of 13973 with flag 10002/455182
24.50/22.98	c cleaning 6989 clauses out of 13992 with flag 17001/462181
24.80/23.20	c Got one! Elapsed wall clock time (in seconds):23.093
24.80/23.20	o 62
24.80/23.24	c cleaning 6349 clauses out of 12716 with flag 1000/467894
25.00/23.45	c cleaning 6181 clauses out of 12367 with flag 7000/473894
25.20/23.68	c cleaning 6590 clauses out of 13191 with flag 14005/480899
25.60/24.01	c cleaning 7294 clauses out of 14597 with flag 22001/488895
25.90/24.36	c Got one! Elapsed wall clock time (in seconds):24.254
25.90/24.36	o 60
26.10/24.56	c cleaning 10218 clauses out of 20448 with flag 5000/502040
26.30/24.77	c cleaning 8111 clauses out of 16230 with flag 11000/508040
26.60/25.02	c cleaning 7557 clauses out of 15119 with flag 18000/515040
26.91/25.35	c cleaning 7772 clauses out of 15562 with flag 26000/523040
27.31/25.78	c cleaning 8386 clauses out of 16790 with flag 35000/532040
27.81/26.21	c cleaning 9194 clauses out of 18404 with flag 45000/542040
28.21/26.62	c cleaning 9602 clauses out of 19212 with flag 55002/552042
28.61/27.09	c cleaning 9800 clauses out of 19611 with flag 65003/562043
29.12/27.54	c cleaning 9896 clauses out of 19810 with flag 75002/572042
29.51/27.96	c cleaning 9950 clauses out of 19913 with flag 85001/582041
29.91/28.36	c cleaning 9972 clauses out of 19963 with flag 95001/592041
30.01/28.50	c Got one! Elapsed wall clock time (in seconds):28.395
30.01/28.50	o 55
30.11/28.58	c cleaning 7599 clauses out of 15206 with flag 2000/597256
30.31/28.79	c cleaning 6801 clauses out of 13607 with flag 8000/603256
30.61/29.03	c cleaning 6898 clauses out of 13806 with flag 15000/610256
30.91/29.32	c cleaning 7451 clauses out of 14911 with flag 23003/618259
31.22/29.68	c cleaning 8226 clauses out of 16457 with flag 32000/627256
31.61/30.07	c cleaning 9113 clauses out of 18232 with flag 42001/637257
32.01/30.46	c cleaning 9556 clauses out of 19118 with flag 52000/647256
32.42/30.87	c cleaning 9777 clauses out of 19562 with flag 62000/657256
32.82/31.26	c cleaning 9888 clauses out of 19787 with flag 72002/667258
33.22/31.65	c cleaning 9944 clauses out of 19898 with flag 82001/677257
33.72/32.11	c cleaning 9973 clauses out of 19954 with flag 92001/687257
34.13/32.55	c cleaning 9990 clauses out of 19983 with flag 102003/697259
34.53/32.98	c cleaning 9993 clauses out of 19994 with flag 112004/707260
35.03/33.40	c cleaning 9992 clauses out of 19997 with flag 122000/717256
35.43/33.83	c cleaning 9997 clauses out of 20005 with flag 132000/727256
35.83/34.26	c cleaning 9998 clauses out of 20008 with flag 142000/737256
36.23/34.67	c cleaning 9999 clauses out of 20012 with flag 152002/747258
36.63/35.09	c cleaning 10000 clauses out of 20013 with flag 162002/757258
37.13/35.51	c cleaning 9997 clauses out of 20012 with flag 172001/767257
37.53/35.93	c cleaning 10001 clauses out of 20017 with flag 182003/777259
37.94/36.36	c cleaning 10004 clauses out of 20014 with flag 192001/787257
38.33/36.76	c cleaning 9997 clauses out of 20009 with flag 202000/797256
38.73/37.16	c cleaning 9997 clauses out of 20012 with flag 212000/807256
39.13/37.59	c cleaning 10002 clauses out of 20016 with flag 222001/817257
39.33/37.78	c Got one! Elapsed wall clock time (in seconds):37.677
39.33/37.78	o 47
39.43/37.83	c cleaning 7532 clauses out of 15072 with flag 1000/822315
39.64/38.05	c cleaning 6762 clauses out of 13541 with flag 7001/828316
39.84/38.28	c cleaning 6883 clauses out of 13779 with flag 14001/835316
40.14/38.57	c cleaning 7441 clauses out of 14896 with flag 22001/843316
40.44/38.88	c cleaning 8222 clauses out of 16456 with flag 31002/852317
40.84/39.25	c cleaning 9113 clauses out of 18236 with flag 41004/862319
41.25/39.65	c cleaning 9553 clauses out of 19119 with flag 51000/872315
41.64/40.03	c cleaning 9779 clauses out of 19567 with flag 61001/882316
42.04/40.41	c cleaning 9893 clauses out of 19789 with flag 71002/892317
42.44/40.84	c cleaning 9939 clauses out of 19896 with flag 81002/902317
42.84/41.23	c cleaning 9973 clauses out of 19955 with flag 91000/912315
43.25/41.69	c cleaning 9984 clauses out of 19982 with flag 101000/922315
43.85/42.21	c cleaning 9993 clauses out of 19998 with flag 111000/932315
44.25/42.64	c cleaning 9997 clauses out of 20005 with flag 121000/942315
44.65/43.08	c cleaning 9999 clauses out of 20008 with flag 131000/952315
45.15/43.52	c cleaning 10000 clauses out of 20010 with flag 141001/962316
45.36/43.79	c Got one! Elapsed wall clock time (in seconds):43.688
45.36/43.79	o 41
45.66/44.01	c cleaning 10930 clauses out of 21875 with flag 5000/974181
45.86/44.22	c cleaning 8467 clauses out of 16946 with flag 11001/980182
46.06/44.45	c cleaning 7735 clauses out of 15479 with flag 18001/987182
46.35/44.73	c cleaning 7869 clauses out of 15743 with flag 26000/995181
46.66/45.06	c cleaning 8435 clauses out of 16875 with flag 35001/1004182
47.05/45.42	c cleaning 9216 clauses out of 18439 with flag 45000/1014181
47.36/45.79	c cleaning 9607 clauses out of 19224 with flag 55001/1024182
47.76/46.15	c cleaning 9803 clauses out of 19619 with flag 65003/1034184
48.16/46.51	c cleaning 9903 clauses out of 19815 with flag 75002/1044183
48.46/46.87	c cleaning 9949 clauses out of 19911 with flag 85001/1054182
48.87/47.24	c cleaning 9977 clauses out of 19962 with flag 95001/1064182
49.26/47.61	c cleaning 9984 clauses out of 19984 with flag 105000/1074181
49.56/47.97	c cleaning 9995 clauses out of 20000 with flag 115000/1084181
49.97/48.34	c cleaning 9999 clauses out of 20005 with flag 125000/1094181
50.36/48.72	c cleaning 9990 clauses out of 20007 with flag 135001/1104182
50.67/49.08	c cleaning 10003 clauses out of 20016 with flag 145000/1114181
51.07/49.47	c cleaning 10001 clauses out of 20013 with flag 155000/1124181
51.47/49.88	c cleaning 10001 clauses out of 20012 with flag 165000/1134181
51.67/50.07	c Got one! Elapsed wall clock time (in seconds):49.968
51.67/50.07	o 20
51.87/50.27	c cleaning 10170 clauses out of 20348 with flag 5001/1144518
52.07/50.47	c cleaning 8085 clauses out of 16178 with flag 11001/1150518
52.28/50.69	c cleaning 7542 clauses out of 15092 with flag 18000/1157517
52.57/50.96	c cleaning 7773 clauses out of 15551 with flag 26001/1165518
52.87/51.28	c cleaning 8384 clauses out of 16780 with flag 35003/1174520
53.28/51.63	c cleaning 9191 clauses out of 18394 with flag 45001/1184518
53.57/51.99	c cleaning 9594 clauses out of 19202 with flag 55000/1194517
53.97/52.33	c cleaning 9799 clauses out of 19608 with flag 65000/1204517
54.28/52.68	c cleaning 9903 clauses out of 19810 with flag 75001/1214518
54.58/52.90	c Got one! Elapsed wall clock time (in seconds):52.798
54.58/52.90	o 9
54.82/53.13	c cleaning 11036 clauses out of 22082 with flag 5002/1226693
55.02/53.33	c cleaning 8516 clauses out of 17045 with flag 11001/1232692
55.23/53.55	c cleaning 7758 clauses out of 15528 with flag 18000/1239691
55.53/53.80	c cleaning 7881 clauses out of 15771 with flag 26001/1247692
55.73/54.09	c cleaning 8443 clauses out of 16893 with flag 35004/1256695
56.13/54.44	c cleaning 9217 clauses out of 18446 with flag 45000/1266691
56.43/54.78	c cleaning 9610 clauses out of 19230 with flag 55001/1276692
56.83/55.14	c cleaning 9805 clauses out of 19620 with flag 65001/1286692
57.13/55.47	c cleaning 9902 clauses out of 19816 with flag 75002/1296693
57.54/55.80	c cleaning 9950 clauses out of 19912 with flag 85000/1306691
57.85/56.15	c cleaning 9978 clauses out of 19963 with flag 95001/1316692
58.25/56.50	c cleaning 9988 clauses out of 19984 with flag 105000/1326691
58.55/56.88	c cleaning 9994 clauses out of 19995 with flag 115000/1336691
58.65/56.94	c starts		: 223
58.65/56.94	c conflicts		: 1338121
58.65/56.94	c decisions		: 2172253
58.65/56.94	c propagations		: 39176883
58.65/56.94	c inspects		: 310745195
58.65/56.94	c shortcuts		: 0
58.65/56.94	c learnt literals	: 6
58.65/56.94	c learnt binary clauses	: 106
58.65/56.94	c learnt ternary clauses	: 2089
58.65/56.94	c learnt constraints	: 1338114
58.65/56.94	c ignored constraints	: 0
58.65/56.94	c root simplifications	: 0
58.65/56.94	c removed literals (reason simplification)	: 8529121
58.65/56.94	c reason swapping (by a shorter reason)	: 0
58.65/56.94	c Calls to reduceDB	: 155
58.65/56.94	c number of reductions to clauses (during analyze)	: 0
58.65/56.94	c number of learned constraints concerned by reduction	: 0
58.65/56.94	c number of learning phase by resolution	: 0
58.65/56.94	c number of learning phase by cutting planes	: 0
58.65/56.94	c speed (assignments/second)	: 9702051.263001485
58.65/56.94	c non guided choices	1796
58.65/56.94	c learnt constraints type 
58.65/56.94	c constraints type 
58.65/56.94	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
58.65/56.94	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
58.65/56.94	s OPTIMUM FOUND
58.65/56.94	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 
58.65/56.94	c objective function=9
58.65/56.94	c Total wall clock time (in seconds): 56.837

Verifier Data 

OK	9

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-3492671-1307911110/watcher-3492671-1307911110 -o /var/tmp/evaluation-result-3492671-1307911110/solver-3492671-1307911110 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492671-1307911110.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.04 2.02 1.92 3/195 13824
/proc/meminfo: memFree=778260/32950928 swapFree=67050636/67111528
[pid=13824] ppid=13822 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/13824/stat : 13824 (java) S 13822 13824 10203 0 -1 4202496 1232 0 0 0 0 0 0 0 25 0 2 0 902709744 31260672 950 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826042853 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/13824/statm: 7632 955 728 9 0 383 0
[pid=13824/tid=13825] ppid=13822 vsize=30528 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13825/stat : 13825 (java) R 13822 13824 10203 0 -1 4202560 123 0 0 0 0 0 0 0 25 0 2 0 902709745 31260672 957 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251814240000 0 0 4096 0 0 0 0 -1 1 0 0 0

[startup+0.0895899 s]
/proc/loadavg: 2.04 2.02 1.92 3/195 13824
/proc/meminfo: memFree=778260/32950928 swapFree=67050636/67111528
[pid=13824] ppid=13822 vsize=10539900 CPUtime=0.09 cores=1,3,5,7
/proc/13824/stat : 13824 (java) S 13822 13824 10203 0 -1 4202496 12972 0 1 0 8 1 0 0 25 0 18 0 902709744 10792857600 12634 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13824/statm: 2634975 12634 2092 9 0 2625709 0
[pid=13824/tid=13825] ppid=13822 vsize=10539900 CPUtime=0.07 cores=1,3,5,7
/proc/13824/task/13825/stat : 13825 (java) R 13822 13824 10203 0 -1 4202560 11019 0 1 0 6 1 0 0 25 0 18 0 902709745 10792857600 12635 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 47992029076307 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10539900

[startup+0.100449 s]
/proc/loadavg: 2.04 2.02 1.92 3/195 13824
/proc/meminfo: memFree=778260/32950928 swapFree=67050636/67111528
[pid=13824] ppid=13822 vsize=10539900 CPUtime=0.1 cores=1,3,5,7
/proc/13824/stat : 13824 (java) S 13822 13824 10203 0 -1 4202496 13124 0 1 0 9 1 0 0 25 0 18 0 902709744 10792857600 12786 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13824/statm: 2634975 12786 2092 9 0 2625709 0
[pid=13824/tid=13825] ppid=13822 vsize=10539900 CPUtime=0.08 cores=1,3,5,7
/proc/13824/task/13825/stat : 13825 (java) R 13822 13824 10203 0 -1 4202560 11170 0 1 0 7 1 0 0 25 0 18 0 902709745 10792857600 12786 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 47992029076276 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539900

[startup+0.300418 s]
/proc/loadavg: 2.04 2.02 1.92 3/195 13824
/proc/meminfo: memFree=778260/32950928 swapFree=67050636/67111528
[pid=13824] ppid=13822 vsize=10541232 CPUtime=0.52 cores=1,3,5,7
/proc/13824/stat : 13824 (java) S 13822 13824 10203 0 -1 4202496 15902 0 1 0 50 2 0 0 25 0 19 0 902709744 10794221568 14713 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13824/statm: 2635308 14713 2215 9 0 2626042 0
[pid=13824/tid=13825] ppid=13822 vsize=10541232 CPUtime=0.28 cores=1,3,5,7
/proc/13824/task/13825/stat : 13825 (java) R 13822 13824 10203 0 -1 4202560 11819 0 1 0 27 1 0 0 25 0 19 0 902709745 10794221568 14713 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 47992029076307 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10541232

[startup+0.700349 s]
/proc/loadavg: 2.04 2.02 1.92 3/195 13824
/proc/meminfo: memFree=778260/32950928 swapFree=67050636/67111528
[pid=13824] ppid=13822 vsize=10541232 CPUtime=0.97 cores=1,3,5,7
/proc/13824/stat : 13824 (java) S 13822 13824 10203 0 -1 4202496 16703 0 1 0 95 2 0 0 25 0 19 0 902709744 10794221568 15466 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13824/statm: 2635308 15466 2219 9 0 2626042 0
[pid=13824/tid=13825] ppid=13822 vsize=10541232 CPUtime=0.68 cores=1,3,5,7
/proc/13824/task/13825/stat : 13825 (java) R 13822 13824 10203 0 -1 4202560 12527 0 1 0 67 1 0 0 25 0 19 0 902709745 10794221568 15466 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 46912505596039 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 10541232

[startup+1.50121 s]
/proc/loadavg: 2.04 2.02 1.92 3/214 13843
/proc/meminfo: memFree=713280/32950928 swapFree=67050636/67111528
[pid=13824] ppid=13822 vsize=10542928 CPUtime=1.93 cores=1,3,5,7
/proc/13824/stat : 13824 (java) S 13822 13824 10203 0 -1 4202496 21424 0 1 0 190 3 0 0 25 0 19 0 902709744 10795958272 18793 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13824/statm: 2635732 18793 2248 9 0 2626466 0
[pid=13824/tid=13825] ppid=13822 vsize=10542928 CPUtime=1.45 cores=1,3,5,7
/proc/13824/task/13825/stat : 13825 (java) R 13822 13824 10203 0 -1 4202560 12564 0 1 0 144 1 0 0 25 0 19 0 902709745 10795958272 18793 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 46912505615007 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13824/tid=13827] ppid=13822 vsize=10542928 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13827/stat : 13827 (java) S 13822 13824 10203 0 -1 4202560 172 0 0 0 0 0 0 0 15 0 19 0 902709746 10795958272 18793 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13828] ppid=13822 vsize=10542928 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13828/stat : 13828 (java) S 13822 13824 10203 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 19 0 902709746 10795958272 18793 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 7 0 0 0
[pid=13824/tid=13829] ppid=13822 vsize=10542928 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13829/stat : 13829 (java) S 13822 13824 10203 0 -1 4202560 112 0 0 0 0 0 0 0 15 0 19 0 902709746 10795958272 18793 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 7 0 0 0
[pid=13824/tid=13830] ppid=13822 vsize=10542928 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13830/stat : 13830 (java) S 13822 13824 10203 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 19 0 902709746 10795958272 18793 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 3 0 0 0
[pid=13824/tid=13831] ppid=13822 vsize=10542928 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13831/stat : 13831 (java) S 13822 13824 10203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902709746 10795958272 18793 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13832] ppid=13822 vsize=10542928 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13832/stat : 13832 (java) S 13822 13824 10203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902709746 10795958272 18793 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13833] ppid=13822 vsize=10542928 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13833/stat : 13833 (java) S 13822 13824 10203 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 902709746 10795958272 18793 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 7 0 0 0
[pid=13824/tid=13834] ppid=13822 vsize=10542928 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13834/stat : 13834 (java) S 13822 13824 10203 0 -1 4202560 219 0 0 0 0 0 0 0 16 0 19 0 902709746 10795958272 18793 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13835] ppid=13822 vsize=10542928 CPUtime=0.02 cores=1,3,5,7
/proc/13824/task/13835/stat : 13835 (java) S 13822 13824 10203 0 -1 4202560 451 0 0 0 2 0 0 0 15 0 19 0 902709747 10795958272 18793 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056704 0 0 0 16800975 18446604471107761472 0 0 -1 5 0 0 0
[pid=13824/tid=13836] ppid=13822 vsize=10542928 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13836/stat : 13836 (java) S 13822 13824 10203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902709748 10795958272 18793 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13837] ppid=13822 vsize=10542928 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13837/stat : 13837 (java) S 13822 13824 10203 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902709748 10795958272 18793 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13838] ppid=13822 vsize=10542928 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13838/stat : 13838 (java) S 13822 13824 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902709750 10795958272 18793 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826063793 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13839] ppid=13822 vsize=10542928 CPUtime=0.25 cores=1,3,5,7
/proc/13824/task/13839/stat : 13839 (java) S 13822 13824 10203 0 -1 4202560 5098 0 0 0 25 0 0 0 19 0 19 0 902709750 10795958272 18793 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 7 0 0 0
[pid=13824/tid=13840] ppid=13822 vsize=10542928 CPUtime=0.17 cores=1,3,5,7
/proc/13824/task/13840/stat : 13840 (java) S 13822 13824 10203 0 -1 4202560 1553 0 0 0 17 0 0 0 16 0 19 0 902709750 10795958272 18793 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 3 0 0 0
[pid=13824/tid=13841] ppid=13822 vsize=10542928 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13841/stat : 13841 (java) S 13822 13824 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902709750 10795958272 18793 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13842] ppid=13822 vsize=10542928 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13842/stat : 13842 (java) S 13822 13824 10203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902709750 10795958272 18793 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056704 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13843] ppid=13822 vsize=10542928 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13843/stat : 13843 (java) S 13822 13824 10203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902709761 10795958272 18793 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056704 0 4 0 16800975 18446604471107761472 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 10542928

[startup+3.10094 s]
/proc/loadavg: 2.04 2.02 1.92 3/214 13843
/proc/meminfo: memFree=709808/32950928 swapFree=67050636/67111528
[pid=13824] ppid=13822 vsize=10543588 CPUtime=3.58 cores=1,3,5,7
/proc/13824/stat : 13824 (java) S 13822 13824 10203 0 -1 4202496 21873 0 1 0 355 3 0 0 25 0 19 0 902709744 10796634112 19237 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13824/statm: 2635897 19237 2249 9 0 2626631 0
[pid=13824/tid=13825] ppid=13822 vsize=10543588 CPUtime=2.98 cores=1,3,5,7
/proc/13824/task/13825/stat : 13825 (java) R 13822 13824 10203 0 -1 4202560 12568 0 1 0 297 1 0 0 25 0 19 0 902709745 10796634112 19237 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 46912505526570 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13824/tid=13827] ppid=13822 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13827/stat : 13827 (java) S 13822 13824 10203 0 -1 4202560 172 0 0 0 0 0 0 0 15 0 19 0 902709746 10796634112 19237 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13828] ppid=13822 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13828/stat : 13828 (java) S 13822 13824 10203 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 902709746 10796634112 19237 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 7 0 0 0
[pid=13824/tid=13829] ppid=13822 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13829/stat : 13829 (java) S 13822 13824 10203 0 -1 4202560 174 0 0 0 0 0 0 0 15 0 19 0 902709746 10796634112 19237 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13830] ppid=13822 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13830/stat : 13830 (java) S 13822 13824 10203 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 19 0 902709746 10796634112 19237 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 3 0 0 0
[pid=13824/tid=13831] ppid=13822 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13831/stat : 13831 (java) S 13822 13824 10203 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902709746 10796634112 19237 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13832] ppid=13822 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13832/stat : 13832 (java) S 13822 13824 10203 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902709746 10796634112 19237 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13833] ppid=13822 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13833/stat : 13833 (java) S 13822 13824 10203 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 902709746 10796634112 19237 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 7 0 0 0
[pid=13824/tid=13834] ppid=13822 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13834/stat : 13834 (java) S 13822 13824 10203 0 -1 4202560 318 0 0 0 0 0 0 0 15 0 19 0 902709746 10796634112 19237 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 7 0 0 0
[pid=13824/tid=13835] ppid=13822 vsize=10543588 CPUtime=0.08 cores=1,3,5,7
/proc/13824/task/13835/stat : 13835 (java) S 13822 13824 10203 0 -1 4202560 609 0 0 0 8 0 0 0 15 0 19 0 902709747 10796634112 19237 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056704 0 0 0 16800975 18446604471107761472 0 0 -1 5 0 0 0
[pid=13824/tid=13836] ppid=13822 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13836/stat : 13836 (java) S 13822 13824 10203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902709748 10796634112 19237 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13837] ppid=13822 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13837/stat : 13837 (java) S 13822 13824 10203 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902709748 10796634112 19237 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13838] ppid=13822 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13838/stat : 13838 (java) S 13822 13824 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902709750 10796634112 19237 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826063793 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13839] ppid=13822 vsize=10543588 CPUtime=0.25 cores=1,3,5,7
/proc/13824/task/13839/stat : 13839 (java) S 13822 13824 10203 0 -1 4202560 5099 0 0 0 25 0 0 0 15 0 19 0 902709750 10796634112 19237 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 7 0 0 0
[pid=13824/tid=13840] ppid=13822 vsize=10543588 CPUtime=0.19 cores=1,3,5,7
/proc/13824/task/13840/stat : 13840 (java) S 13822 13824 10203 0 -1 4202560 1673 0 0 0 19 0 0 0 15 0 19 0 902709750 10796634112 19237 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 3 0 0 0
[pid=13824/tid=13841] ppid=13822 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13841/stat : 13841 (java) S 13822 13824 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902709750 10796634112 19237 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13842] ppid=13822 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13842/stat : 13842 (java) S 13822 13824 10203 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902709750 10796634112 19237 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056704 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13843] ppid=13822 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13843/stat : 13843 (java) S 13822 13824 10203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902709761 10796634112 19237 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056704 0 4 0 16800975 18446604471107761472 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 10543588

[startup+6.30141 s]
/proc/loadavg: 2.04 2.02 1.92 3/214 13843
/proc/meminfo: memFree=713084/32950928 swapFree=67050636/67111528
[pid=13824] ppid=13822 vsize=10543588 CPUtime=6.81 cores=1,3,5,7
/proc/13824/stat : 13824 (java) S 13822 13824 10203 0 -1 4202496 22189 0 1 0 678 3 0 0 25 0 19 0 902709744 10796634112 18140 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13824/statm: 2635897 18140 2250 9 0 2626631 0
[pid=13824/tid=13825] ppid=13822 vsize=10543588 CPUtime=6.04 cores=1,3,5,7
/proc/13824/task/13825/stat : 13825 (java) R 13822 13824 10203 0 -1 4202560 12580 0 1 0 603 1 0 0 25 0 19 0 902709745 10796634112 18140 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 46912505730320 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=13824/tid=13827] ppid=13822 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13827/stat : 13827 (java) S 13822 13824 10203 0 -1 4202560 293 0 0 0 0 0 0 0 16 0 19 0 902709746 10796634112 18140 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 3 0 0 0
[pid=13824/tid=13828] ppid=13822 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13828/stat : 13828 (java) S 13822 13824 10203 0 -1 4202560 76 0 0 0 0 0 0 0 15 0 19 0 902709746 10796634112 18140 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 7 0 0 0
[pid=13824/tid=13829] ppid=13822 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13829/stat : 13829 (java) S 13822 13824 10203 0 -1 4202560 180 0 0 0 0 0 0 0 15 0 19 0 902709746 10796634112 18140 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13830] ppid=13822 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13830/stat : 13830 (java) S 13822 13824 10203 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 902709746 10796634112 18140 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 3 0 0 0
[pid=13824/tid=13831] ppid=13822 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13831/stat : 13831 (java) S 13822 13824 10203 0 -1 4202560 101 0 0 0 0 0 0 0 16 0 19 0 902709746 10796634112 18140 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13832] ppid=13822 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13832/stat : 13832 (java) S 13822 13824 10203 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 902709746 10796634112 18140 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13833] ppid=13822 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13833/stat : 13833 (java) S 13822 13824 10203 0 -1 4202560 20 0 0 0 0 0 0 0 15 0 19 0 902709746 10796634112 18140 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13834] ppid=13822 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13834/stat : 13834 (java) S 13822 13824 10203 0 -1 4202560 319 0 0 0 0 0 0 0 15 0 19 0 902709746 10796634112 18140 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 7 0 0 0
[pid=13824/tid=13835] ppid=13822 vsize=10543588 CPUtime=0.2 cores=1,3,5,7
/proc/13824/task/13835/stat : 13835 (java) S 13822 13824 10203 0 -1 4202560 641 0 0 0 20 0 0 0 15 0 19 0 902709747 10796634112 18140 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056704 0 0 0 16800975 18446604471107761472 0 0 -1 5 0 0 0
[pid=13824/tid=13836] ppid=13822 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13836/stat : 13836 (java) S 13822 13824 10203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902709748 10796634112 18140 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13837] ppid=13822 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13837/stat : 13837 (java) S 13822 13824 10203 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902709748 10796634112 18140 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13838] ppid=13822 vsize=10543588 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13838/stat : 13838 (java) S 13822 13824 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902709750 10796634112 18140 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826063793 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13839] ppid=13822 vsize=10543588 CPUtime=0.26 cores=1,3,5,7
/proc/13824/task/13839/stat : 13839 (java) S 13822 13824 10203 0 -1 4202560 5099 0 0 0 26 0 0 0 15 0 19 0 902709750 10796634112 18140 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 7 0 0 0
[pid=13824/tid=13840] ppid=13822 vsize=10543588 CPUtime=0.22 cores=1,3,5,7
/proc/13824/task/13840/stat : 13840 (java) S 13822 13824 10203 0 -1 4202560 1712 0 0 0 22 0 0 0 15 0 19 0 902709750 10796634112 18140 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 3 0 0 0

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

/proc/13824/task/13827/stat : 13827 (java) S 13822 13824 10203 0 -1 4202560 299 0 0 0 4 0 0 0 16 0 19 0 902709746 10808852480 21438 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 5 0 0 0
[pid=13824/tid=13828] ppid=13822 vsize=10555520 CPUtime=0.04 cores=1,3,5,7
/proc/13824/task/13828/stat : 13828 (java) S 13822 13824 10203 0 -1 4202560 84 0 0 0 4 0 0 0 16 0 19 0 902709746 10808852480 21438 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 7 0 0 0
[pid=13824/tid=13829] ppid=13822 vsize=10555520 CPUtime=0.04 cores=1,3,5,7
/proc/13824/task/13829/stat : 13829 (java) S 13822 13824 10203 0 -1 4202560 185 0 0 0 4 0 0 0 16 0 19 0 902709746 10808852480 21438 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 7 0 0 0
[pid=13824/tid=13830] ppid=13822 vsize=10555520 CPUtime=0.03 cores=1,3,5,7
/proc/13824/task/13830/stat : 13830 (java) S 13822 13824 10203 0 -1 4202560 19 0 0 0 3 0 0 0 15 0 19 0 902709746 10808852480 21438 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 7 0 0 0
[pid=13824/tid=13831] ppid=13822 vsize=10555520 CPUtime=0.03 cores=1,3,5,7
/proc/13824/task/13831/stat : 13831 (java) S 13822 13824 10203 0 -1 4202560 105 0 0 0 3 0 0 0 15 0 19 0 902709746 10808852480 21438 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 5 0 0 0
[pid=13824/tid=13832] ppid=13822 vsize=10555520 CPUtime=0.03 cores=1,3,5,7
/proc/13824/task/13832/stat : 13832 (java) S 13822 13824 10203 0 -1 4202560 11 0 0 0 3 0 0 0 15 0 19 0 902709746 10808852480 21438 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 5 0 0 0
[pid=13824/tid=13833] ppid=13822 vsize=10555520 CPUtime=0.04 cores=1,3,5,7
/proc/13824/task/13833/stat : 13833 (java) S 13822 13824 10203 0 -1 4202560 28 0 0 0 4 0 0 0 15 0 19 0 902709746 10808852480 21438 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 5 0 0 0
[pid=13824/tid=13834] ppid=13822 vsize=10555520 CPUtime=0.04 cores=1,3,5,7
/proc/13824/task/13834/stat : 13834 (java) S 13822 13824 10203 0 -1 4202560 320 0 0 0 4 0 0 0 16 0 19 0 902709746 10808852480 21438 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 3 0 0 0
[pid=13824/tid=13835] ppid=13822 vsize=10555520 CPUtime=1.99 cores=1,3,5,7
/proc/13824/task/13835/stat : 13835 (java) S 13822 13824 10203 0 -1 4202560 1079 0 0 0 198 1 0 0 15 0 19 0 902709747 10808852480 21438 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056704 0 0 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13836] ppid=13822 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13836/stat : 13836 (java) S 13822 13824 10203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902709748 10808852480 21438 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13837] ppid=13822 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13837/stat : 13837 (java) S 13822 13824 10203 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902709748 10808852480 21438 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13838] ppid=13822 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13838/stat : 13838 (java) S 13822 13824 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902709750 10808852480 21438 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826063793 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13839] ppid=13822 vsize=10555520 CPUtime=0.41 cores=1,3,5,7
/proc/13824/task/13839/stat : 13839 (java) S 13822 13824 10203 0 -1 4202560 5548 0 0 0 41 0 0 0 15 0 19 0 902709750 10808852480 21438 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 7 0 0 0
[pid=13824/tid=13840] ppid=13822 vsize=10555520 CPUtime=1.15 cores=1,3,5,7
/proc/13824/task/13840/stat : 13840 (java) S 13822 13824 10203 0 -1 4202560 10889 0 0 0 114 1 0 0 15 0 19 0 902709750 10808852480 21438 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 3 0 0 0
[pid=13824/tid=13841] ppid=13822 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13841/stat : 13841 (java) S 13822 13824 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902709750 10808852480 21438 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13842] ppid=13822 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13842/stat : 13842 (java) S 13822 13824 10203 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902709750 10808852480 21438 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056704 0 4 0 16800975 18446604471107761472 0 0 -1 3 0 0 0
[pid=13824/tid=13843] ppid=13822 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13843/stat : 13843 (java) S 13822 13824 10203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902709761 10808852480 21438 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056704 0 4 0 16800975 18446604471107761472 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 56.03
Current children cumulated vsize (KiB) 10555520

[startup+55.9011 s]
/proc/loadavg: 2.02 2.01 1.92 3/214 13845
/proc/meminfo: memFree=699084/32950928 swapFree=67050636/67111528
[pid=13824] ppid=13822 vsize=10555520 CPUtime=57.65 cores=1,3,5,7
/proc/13824/stat : 13824 (java) S 13822 13824 10203 0 -1 4202496 32452 0 1 0 5758 7 0 0 25 0 19 0 902709744 10808852480 21445 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13824/statm: 2638880 21445 2252 9 0 2629614 0
[pid=13824/tid=13825] ppid=13822 vsize=10555520 CPUtime=53.65 cores=1,3,5,7
/proc/13824/task/13825/stat : 13825 (java) R 13822 13824 10203 0 -1 4202560 12720 0 1 0 5363 2 0 0 25 0 19 0 902709745 10808852480 21445 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 46912505526535 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13824/tid=13827] ppid=13822 vsize=10555520 CPUtime=0.04 cores=1,3,5,7
/proc/13824/task/13827/stat : 13827 (java) S 13822 13824 10203 0 -1 4202560 299 0 0 0 4 0 0 0 15 0 19 0 902709746 10808852480 21445 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 5 0 0 0
[pid=13824/tid=13828] ppid=13822 vsize=10555520 CPUtime=0.04 cores=1,3,5,7
/proc/13824/task/13828/stat : 13828 (java) S 13822 13824 10203 0 -1 4202560 84 0 0 0 4 0 0 0 15 0 19 0 902709746 10808852480 21445 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 3 0 0 0
[pid=13824/tid=13829] ppid=13822 vsize=10555520 CPUtime=0.04 cores=1,3,5,7
/proc/13824/task/13829/stat : 13829 (java) S 13822 13824 10203 0 -1 4202560 185 0 0 0 4 0 0 0 15 0 19 0 902709746 10808852480 21445 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 7 0 0 0
[pid=13824/tid=13830] ppid=13822 vsize=10555520 CPUtime=0.03 cores=1,3,5,7
/proc/13824/task/13830/stat : 13830 (java) S 13822 13824 10203 0 -1 4202560 19 0 0 0 3 0 0 0 16 0 19 0 902709746 10808852480 21445 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 7 0 0 0
[pid=13824/tid=13831] ppid=13822 vsize=10555520 CPUtime=0.03 cores=1,3,5,7
/proc/13824/task/13831/stat : 13831 (java) S 13822 13824 10203 0 -1 4202560 105 0 0 0 3 0 0 0 15 0 19 0 902709746 10808852480 21445 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 5 0 0 0
[pid=13824/tid=13832] ppid=13822 vsize=10555520 CPUtime=0.03 cores=1,3,5,7
/proc/13824/task/13832/stat : 13832 (java) S 13822 13824 10203 0 -1 4202560 11 0 0 0 3 0 0 0 15 0 19 0 902709746 10808852480 21445 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 7 0 0 0
[pid=13824/tid=13833] ppid=13822 vsize=10555520 CPUtime=0.05 cores=1,3,5,7
/proc/13824/task/13833/stat : 13833 (java) S 13822 13824 10203 0 -1 4202560 28 0 0 0 5 0 0 0 15 0 19 0 902709746 10808852480 21445 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 5 0 0 0
[pid=13824/tid=13834] ppid=13822 vsize=10555520 CPUtime=0.04 cores=1,3,5,7
/proc/13824/task/13834/stat : 13834 (java) S 13822 13824 10203 0 -1 4202560 327 0 0 0 4 0 0 0 16 0 19 0 902709746 10808852480 21445 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 3 0 0 0
[pid=13824/tid=13835] ppid=13822 vsize=10555520 CPUtime=2.06 cores=1,3,5,7
/proc/13824/task/13835/stat : 13835 (java) S 13822 13824 10203 0 -1 4202560 1081 0 0 0 205 1 0 0 15 0 19 0 902709747 10808852480 21445 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056704 0 0 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13836] ppid=13822 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13836/stat : 13836 (java) S 13822 13824 10203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902709748 10808852480 21445 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13837] ppid=13822 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13837/stat : 13837 (java) S 13822 13824 10203 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902709748 10808852480 21445 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13838] ppid=13822 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13838/stat : 13838 (java) S 13822 13824 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902709750 10808852480 21445 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826063793 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13839] ppid=13822 vsize=10555520 CPUtime=0.41 cores=1,3,5,7
/proc/13824/task/13839/stat : 13839 (java) S 13822 13824 10203 0 -1 4202560 5548 0 0 0 41 0 0 0 15 0 19 0 902709750 10808852480 21445 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 7 0 0 0
[pid=13824/tid=13840] ppid=13822 vsize=10555520 CPUtime=1.15 cores=1,3,5,7
/proc/13824/task/13840/stat : 13840 (java) S 13822 13824 10203 0 -1 4202560 10889 0 0 0 114 1 0 0 15 0 19 0 902709750 10808852480 21445 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 3 0 0 0
[pid=13824/tid=13841] ppid=13822 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13841/stat : 13841 (java) S 13822 13824 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902709750 10808852480 21445 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13842] ppid=13822 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13842/stat : 13842 (java) S 13822 13824 10203 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902709750 10808852480 21445 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056704 0 4 0 16800975 18446604471107761472 0 0 -1 3 0 0 0
[pid=13824/tid=13843] ppid=13822 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13843/stat : 13843 (java) S 13822 13824 10203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902709761 10808852480 21445 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056704 0 4 0 16800975 18446604471107761472 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 57.65
Current children cumulated vsize (KiB) 10555520

[startup+56.7009 s]
/proc/loadavg: 2.02 2.01 1.92 3/214 13845
/proc/meminfo: memFree=698972/32950928 swapFree=67050636/67111528
[pid=13824] ppid=13822 vsize=10555520 CPUtime=58.45 cores=1,3,5,7
/proc/13824/stat : 13824 (java) S 13822 13824 10203 0 -1 4202496 32457 0 1 0 5838 7 0 0 25 0 19 0 902709744 10808852480 21448 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13824/statm: 2638880 21448 2252 9 0 2629614 0
[pid=13824/tid=13825] ppid=13822 vsize=10555520 CPUtime=54.42 cores=1,3,5,7
/proc/13824/task/13825/stat : 13825 (java) R 13822 13824 10203 0 -1 4202560 12724 0 1 0 5440 2 0 0 25 0 19 0 902709745 10808852480 21448 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 46912505541615 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13824/tid=13827] ppid=13822 vsize=10555520 CPUtime=0.04 cores=1,3,5,7
/proc/13824/task/13827/stat : 13827 (java) S 13822 13824 10203 0 -1 4202560 299 0 0 0 4 0 0 0 15 0 19 0 902709746 10808852480 21448 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 7 0 0 0
[pid=13824/tid=13828] ppid=13822 vsize=10555520 CPUtime=0.04 cores=1,3,5,7
/proc/13824/task/13828/stat : 13828 (java) S 13822 13824 10203 0 -1 4202560 84 0 0 0 4 0 0 0 16 0 19 0 902709746 10808852480 21448 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 3 0 0 0
[pid=13824/tid=13829] ppid=13822 vsize=10555520 CPUtime=0.04 cores=1,3,5,7
/proc/13824/task/13829/stat : 13829 (java) S 13822 13824 10203 0 -1 4202560 185 0 0 0 4 0 0 0 15 0 19 0 902709746 10808852480 21448 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 7 0 0 0
[pid=13824/tid=13830] ppid=13822 vsize=10555520 CPUtime=0.03 cores=1,3,5,7
/proc/13824/task/13830/stat : 13830 (java) S 13822 13824 10203 0 -1 4202560 19 0 0 0 3 0 0 0 15 0 19 0 902709746 10808852480 21448 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 7 0 0 0
[pid=13824/tid=13831] ppid=13822 vsize=10555520 CPUtime=0.03 cores=1,3,5,7
/proc/13824/task/13831/stat : 13831 (java) S 13822 13824 10203 0 -1 4202560 105 0 0 0 3 0 0 0 16 0 19 0 902709746 10808852480 21448 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 5 0 0 0
[pid=13824/tid=13832] ppid=13822 vsize=10555520 CPUtime=0.03 cores=1,3,5,7
/proc/13824/task/13832/stat : 13832 (java) S 13822 13824 10203 0 -1 4202560 12 0 0 0 3 0 0 0 16 0 19 0 902709746 10808852480 21448 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 7 0 0 0
[pid=13824/tid=13833] ppid=13822 vsize=10555520 CPUtime=0.05 cores=1,3,5,7
/proc/13824/task/13833/stat : 13833 (java) S 13822 13824 10203 0 -1 4202560 28 0 0 0 5 0 0 0 16 0 19 0 902709746 10808852480 21448 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 5 0 0 0
[pid=13824/tid=13834] ppid=13822 vsize=10555520 CPUtime=0.04 cores=1,3,5,7
/proc/13824/task/13834/stat : 13834 (java) S 13822 13824 10203 0 -1 4202560 327 0 0 0 4 0 0 0 15 0 19 0 902709746 10808852480 21448 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 3 0 0 0
[pid=13824/tid=13835] ppid=13822 vsize=10555520 CPUtime=2.08 cores=1,3,5,7
/proc/13824/task/13835/stat : 13835 (java) S 13822 13824 10203 0 -1 4202560 1081 0 0 0 207 1 0 0 15 0 19 0 902709747 10808852480 21448 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056704 0 0 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13836] ppid=13822 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13836/stat : 13836 (java) S 13822 13824 10203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902709748 10808852480 21448 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13837] ppid=13822 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13837/stat : 13837 (java) S 13822 13824 10203 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902709748 10808852480 21448 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13838] ppid=13822 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13838/stat : 13838 (java) S 13822 13824 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902709750 10808852480 21448 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826063793 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13839] ppid=13822 vsize=10555520 CPUtime=0.41 cores=1,3,5,7
/proc/13824/task/13839/stat : 13839 (java) S 13822 13824 10203 0 -1 4202560 5548 0 0 0 41 0 0 0 15 0 19 0 902709750 10808852480 21448 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 7 0 0 0
[pid=13824/tid=13840] ppid=13822 vsize=10555520 CPUtime=1.15 cores=1,3,5,7
/proc/13824/task/13840/stat : 13840 (java) S 13822 13824 10203 0 -1 4202560 10889 0 0 0 114 1 0 0 15 0 19 0 902709750 10808852480 21448 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 3 0 0 0
[pid=13824/tid=13841] ppid=13822 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13841/stat : 13841 (java) S 13822 13824 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902709750 10808852480 21448 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13842] ppid=13822 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13842/stat : 13842 (java) S 13822 13824 10203 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902709750 10808852480 21448 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056704 0 4 0 16800975 18446604471107761472 0 0 -1 3 0 0 0
[pid=13824/tid=13843] ppid=13822 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13843/stat : 13843 (java) S 13822 13824 10203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902709761 10808852480 21448 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056704 0 4 0 16800975 18446604471107761472 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 58.45
Current children cumulated vsize (KiB) 10555520

[startup+56.9009 s]
/proc/loadavg: 2.02 2.01 1.92 3/214 13845
/proc/meminfo: memFree=698972/32950928 swapFree=67050636/67111528
[pid=13824] ppid=13822 vsize=10555520 CPUtime=58.65 cores=1,3,5,7
/proc/13824/stat : 13824 (java) S 13822 13824 10203 0 -1 4202496 32461 0 1 0 5858 7 0 0 25 0 19 0 902709744 10808852480 21451 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826042853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/13824/statm: 2638880 21451 2252 9 0 2629614 0
[pid=13824/tid=13825] ppid=13822 vsize=10555520 CPUtime=54.6 cores=1,3,5,7
/proc/13824/task/13825/stat : 13825 (java) R 13822 13824 10203 0 -1 4202560 12725 0 1 0 5458 2 0 0 25 0 19 0 902709745 10808852480 21451 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 46912505596034 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=13824/tid=13827] ppid=13822 vsize=10555520 CPUtime=0.04 cores=1,3,5,7
/proc/13824/task/13827/stat : 13827 (java) S 13822 13824 10203 0 -1 4202560 299 0 0 0 4 0 0 0 15 0 19 0 902709746 10808852480 21451 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 7 0 0 0
[pid=13824/tid=13828] ppid=13822 vsize=10555520 CPUtime=0.04 cores=1,3,5,7
/proc/13824/task/13828/stat : 13828 (java) S 13822 13824 10203 0 -1 4202560 84 0 0 0 4 0 0 0 15 0 19 0 902709746 10808852480 21451 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 3 0 0 0
[pid=13824/tid=13829] ppid=13822 vsize=10555520 CPUtime=0.04 cores=1,3,5,7
/proc/13824/task/13829/stat : 13829 (java) S 13822 13824 10203 0 -1 4202560 185 0 0 0 4 0 0 0 16 0 19 0 902709746 10808852480 21451 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 7 0 0 0
[pid=13824/tid=13830] ppid=13822 vsize=10555520 CPUtime=0.03 cores=1,3,5,7
/proc/13824/task/13830/stat : 13830 (java) S 13822 13824 10203 0 -1 4202560 19 0 0 0 3 0 0 0 15 0 19 0 902709746 10808852480 21451 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 3 0 0 0
[pid=13824/tid=13831] ppid=13822 vsize=10555520 CPUtime=0.03 cores=1,3,5,7
/proc/13824/task/13831/stat : 13831 (java) S 13822 13824 10203 0 -1 4202560 105 0 0 0 3 0 0 0 16 0 19 0 902709746 10808852480 21451 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 5 0 0 0
[pid=13824/tid=13832] ppid=13822 vsize=10555520 CPUtime=0.03 cores=1,3,5,7
/proc/13824/task/13832/stat : 13832 (java) S 13822 13824 10203 0 -1 4202560 12 0 0 0 3 0 0 0 15 0 19 0 902709746 10808852480 21451 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 7 0 0 0
[pid=13824/tid=13833] ppid=13822 vsize=10555520 CPUtime=0.05 cores=1,3,5,7
/proc/13824/task/13833/stat : 13833 (java) S 13822 13824 10203 0 -1 4202560 28 0 0 0 5 0 0 0 16 0 19 0 902709746 10808852480 21451 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 5 0 0 0
[pid=13824/tid=13834] ppid=13822 vsize=10555520 CPUtime=0.04 cores=1,3,5,7
/proc/13824/task/13834/stat : 13834 (java) S 13822 13824 10203 0 -1 4202560 327 0 0 0 4 0 0 0 15 0 19 0 902709746 10808852480 21451 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 3 0 0 0
[pid=13824/tid=13835] ppid=13822 vsize=10555520 CPUtime=2.1 cores=1,3,5,7
/proc/13824/task/13835/stat : 13835 (java) S 13822 13824 10203 0 -1 4202560 1084 0 0 0 209 1 0 0 15 0 19 0 902709747 10808852480 21451 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056704 0 0 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13836] ppid=13822 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13836/stat : 13836 (java) S 13822 13824 10203 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902709748 10808852480 21451 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13837] ppid=13822 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13837/stat : 13837 (java) S 13822 13824 10203 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902709748 10808852480 21451 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13838] ppid=13822 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13838/stat : 13838 (java) S 13822 13824 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902709750 10808852480 21451 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826063793 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13839] ppid=13822 vsize=10555520 CPUtime=0.41 cores=1,3,5,7
/proc/13824/task/13839/stat : 13839 (java) S 13822 13824 10203 0 -1 4202560 5548 0 0 0 41 0 0 0 15 0 19 0 902709750 10808852480 21451 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 7 0 0 0
[pid=13824/tid=13840] ppid=13822 vsize=10555520 CPUtime=1.15 cores=1,3,5,7
/proc/13824/task/13840/stat : 13840 (java) S 13822 13824 10203 0 -1 4202560 10889 0 0 0 114 1 0 0 15 0 19 0 902709750 10808852480 21451 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 3 0 0 0
[pid=13824/tid=13841] ppid=13822 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13841/stat : 13841 (java) S 13822 13824 10203 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902709750 10808852480 21451 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056089 0 4 0 16800975 18446604471107761472 0 0 -1 1 0 0 0
[pid=13824/tid=13842] ppid=13822 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13842/stat : 13842 (java) S 13822 13824 10203 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902709750 10808852480 21451 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056704 0 4 0 16800975 18446604471107761472 0 0 -1 3 0 0 0
[pid=13824/tid=13843] ppid=13822 vsize=10555520 CPUtime=0 cores=1,3,5,7
/proc/13824/task/13843/stat : 13843 (java) S 13822 13824 10203 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 902709761 10808852480 21451 33554432000 1073741824 1073778376 140734246598224 18446744073709551615 251826056704 0 4 0 16800975 18446604471107761472 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 58.65
Current children cumulated vsize (KiB) 10555520

Child status: 30
Real time (s): 56.9504
CPU time (s): 58.7051
CPU user time (s): 58.6271
CPU system time (s): 0.077988
CPU usage (%): 103.081
Max. virtual memory (cumulated for all children) (KiB): 10565856

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 58.6271
system time used= 0.077988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32482
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= 5385
involuntary context switches= 2777

runsolver used 0.107983 second user time and 0.215967 second system time

The end

Launcher Data 

Begin job on node126 at 2011-06-12 22:38:30
IDJOB=3492671
IDBENCH=79219
IDSOLVER=1982
FILE ID=node126/3492671-1307911110
RUNJOBID= node126-1307908863-13199
PBS_JOBID= 13559580
Free space on /var/tmp= 2888 MiB

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

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

MD5SUM BENCH= 38689affd31dfd76c9ffeea1f5bf526c
RANDOM SEED=85919035

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

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
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.74
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.783
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.74
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.783
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.80
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.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
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.82
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.783
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:        778780 kB
Buffers:         62684 kB
Cached:       30591064 kB
SwapCached:      14604 kB
Active:       16297212 kB
Inactive:     14914736 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:        778780 kB
SwapTotal:    67111528 kB
SwapFree:     67050636 kB
Dirty:             156 kB
Writeback:          24 kB
AnonPages:      556152 kB
Mapped:          17584 kB
Slab:           895012 kB
PageTables:       6036 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 10546056 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= 2888 MiB
End job on node126 at 2011-06-12 22:39:27