Trace number 3492368

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 67.2668 66.1016

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975965--soft-66-100-0.wbo
MD5SUM2c30a8298656a46724ae4314cbfd6760
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark2.72358
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 constraints42
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 1838
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 1837
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1171
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.05/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.05/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.05/0.08	c See www.sat4j.org for details.
0.05/0.09	c version 2.3.1.v20110525
0.05/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.05/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.05/0.09	c java.vm.version	19.1-b02
0.05/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.05/0.09	c sun.arch.data.model	64
0.05/0.09	c java.version		1.6.0_24
0.05/0.09	c os.name		Linux
0.05/0.09	c os.version		2.6.18-164.el5
0.05/0.09	c os.arch		amd64
0.05/0.09	c Free memory 		9996466904
0.05/0.09	c Max memory 		10048897024
0.05/0.09	c Total memory 		10048897024
0.05/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c Expensive reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3492368-1307909672.wbo
0.09/0.11	c reading problem ... 
0.09/0.16	c ... done. Wall clock time 0.054s.
0.09/0.16	c #vars     211
0.09/0.16	c #constraints  101
0.09/0.16	c constraints type 
0.09/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27
0.09/0.16	c org.sat4j.minisat.constraints.card.MinWatchCard => 41
0.09/0.16	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3
0.09/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 30
0.28/0.21	c SATISFIABLE
0.28/0.21	c OPTIMIZING...
0.28/0.21	c Got one! Elapsed wall clock time (in seconds):0.104
0.28/0.21	o 222
0.66/0.45	c cleaning 2554 clauses out of 5111 with flag 5000/5111
0.80/0.58	c Got one! Elapsed wall clock time (in seconds):0.474
0.80/0.58	o 201
0.91/0.62	c cleaning 3904 clauses out of 7820 with flag 1001/10374
0.91/0.64	c Got one! Elapsed wall clock time (in seconds):0.532
0.91/0.64	o 175
1.03/0.79	c cleaning 4605 clauses out of 9218 with flag 5000/15676
1.13/0.85	c Got one! Elapsed wall clock time (in seconds):0.743
1.13/0.85	o 166
1.34/1.00	c cleaning 5165 clauses out of 10343 with flag 4000/21406
1.46/1.18	c cleaning 5585 clauses out of 11178 with flag 10000/27406
1.56/1.25	c Got one! Elapsed wall clock time (in seconds):1.14
1.56/1.25	o 127
1.66/1.39	c cleaning 5783 clauses out of 11568 with flag 4002/33381
1.86/1.59	c cleaning 5888 clauses out of 11783 with flag 10000/39379
2.16/1.82	c cleaning 6446 clauses out of 12896 with flag 17001/46380
2.36/2.04	c Got one! Elapsed wall clock time (in seconds):1.935
2.36/2.04	o 119
2.57/2.24	c cleaning 9100 clauses out of 18216 with flag 5002/58146
2.76/2.44	c cleaning 7555 clauses out of 15115 with flag 11001/64145
2.86/2.57	c Got one! Elapsed wall clock time (in seconds):2.458
2.86/2.57	o 114
2.96/2.64	c cleaning 6739 clauses out of 13484 with flag 2001/70069
3.16/2.85	c cleaning 6367 clauses out of 12744 with flag 8000/76068
3.46/3.10	c cleaning 6687 clauses out of 13379 with flag 15002/83070
3.68/3.36	c cleaning 7340 clauses out of 14690 with flag 23000/91068
3.87/3.54	c Got one! Elapsed wall clock time (in seconds):3.434
3.87/3.54	o 110
4.07/3.75	c cleaning 9189 clauses out of 18383 with flag 5000/102101
4.37/4.02	c cleaning 7590 clauses out of 15195 with flag 11001/108102
4.57/4.26	c cleaning 7298 clauses out of 14605 with flag 18001/115102
4.87/4.51	c cleaning 7646 clauses out of 15306 with flag 26000/123101
4.87/4.54	c Got one! Elapsed wall clock time (in seconds):4.43
4.87/4.54	o 88
5.07/4.72	c cleaning 6600 clauses out of 13205 with flag 5000/128646
5.27/4.93	c cleaning 6299 clauses out of 12606 with flag 11001/134647
5.48/5.16	c cleaning 6650 clauses out of 13307 with flag 18001/141647
5.78/5.44	c cleaning 7321 clauses out of 14658 with flag 26002/149648
6.08/5.74	c cleaning 8164 clauses out of 16336 with flag 35001/158647
6.18/5.86	c Got one! Elapsed wall clock time (in seconds):5.756
6.18/5.86	o 65
6.28/5.93	c cleaning 6985 clauses out of 13976 with flag 2001/164451
6.48/6.14	c cleaning 6494 clauses out of 12992 with flag 8002/170452
6.78/6.41	c cleaning 6744 clauses out of 13497 with flag 15001/177451
7.08/6.76	c cleaning 7374 clauses out of 14753 with flag 23001/185451
7.48/7.13	c cleaning 8184 clauses out of 16378 with flag 32000/194450
7.78/7.49	c cleaning 9092 clauses out of 18197 with flag 42003/204453
8.19/7.85	c cleaning 9548 clauses out of 19103 with flag 52001/214451
8.59/8.20	c cleaning 9768 clauses out of 19555 with flag 62001/224451
8.69/8.33	c Got one! Elapsed wall clock time (in seconds):8.226
8.69/8.33	o 60
8.69/8.38	c cleaning 7489 clauses out of 14985 with flag 1000/229649
8.99/8.61	c cleaning 6744 clauses out of 13498 with flag 7002/235651
9.20/8.86	c cleaning 6868 clauses out of 13752 with flag 14000/242649
9.49/9.20	c cleaning 7435 clauses out of 14885 with flag 22001/250650
9.89/9.58	c cleaning 8218 clauses out of 16449 with flag 31000/259649
10.30/9.95	c cleaning 9112 clauses out of 18232 with flag 41001/269650
10.70/10.33	c cleaning 9554 clauses out of 19119 with flag 51000/279649
11.00/10.68	c cleaning 9779 clauses out of 19568 with flag 61003/289652
11.40/11.04	c cleaning 9888 clauses out of 19786 with flag 71000/299649
11.70/11.36	c Got one! Elapsed wall clock time (in seconds):11.255
11.70/11.36	o 58
11.90/11.59	c cleaning 12177 clauses out of 24364 with flag 5001/314115
12.20/11.81	c cleaning 9088 clauses out of 18187 with flag 11001/320115
12.40/12.08	c cleaning 8042 clauses out of 16098 with flag 18000/327114
12.70/12.36	c cleaning 8023 clauses out of 16056 with flag 26000/335114
13.00/12.66	c cleaning 8511 clauses out of 17033 with flag 35000/344114
13.30/12.99	c cleaning 9254 clauses out of 18523 with flag 45001/354115
13.70/13.36	c cleaning 9629 clauses out of 19268 with flag 55000/364114
14.10/13.71	c cleaning 9812 clauses out of 19639 with flag 65000/374114
14.40/14.06	c cleaning 9911 clauses out of 19827 with flag 75000/384114
14.80/14.41	c cleaning 9954 clauses out of 19917 with flag 85001/394115
15.10/14.76	c cleaning 9976 clauses out of 19962 with flag 95000/404114
15.40/15.08	c cleaning 9990 clauses out of 19988 with flag 105002/414116
15.81/15.44	c cleaning 9991 clauses out of 19996 with flag 115000/424114
16.11/15.79	c cleaning 10002 clauses out of 20008 with flag 125003/434117
16.21/15.82	c Got one! Elapsed wall clock time (in seconds):15.714
16.21/15.82	o 51
16.41/16.01	c cleaning 7885 clauses out of 15776 with flag 5000/439887
16.61/16.21	c cleaning 6944 clauses out of 13891 with flag 11000/445887
16.83/16.45	c cleaning 6967 clauses out of 13949 with flag 18002/452889
17.14/16.75	c cleaning 7482 clauses out of 14980 with flag 26000/460887
17.44/17.07	c cleaning 8244 clauses out of 16498 with flag 35000/469887
17.84/17.42	c cleaning 9120 clauses out of 18255 with flag 45001/479888
18.14/17.76	c cleaning 9562 clauses out of 19134 with flag 55000/489887
18.54/18.14	c cleaning 9778 clauses out of 19572 with flag 65000/499887
18.84/18.49	c cleaning 9892 clauses out of 19794 with flag 75000/509887
19.24/18.86	c cleaning 9946 clauses out of 19903 with flag 85001/519888
19.54/19.19	c cleaning 9972 clauses out of 19957 with flag 95001/529888
19.94/19.52	c cleaning 9987 clauses out of 19984 with flag 105000/539887
20.25/19.86	c cleaning 9994 clauses out of 19998 with flag 115001/549888
20.54/20.19	c cleaning 9994 clauses out of 20005 with flag 125002/559889
20.94/20.52	c cleaning 9995 clauses out of 20009 with flag 135000/569887
21.25/20.89	c cleaning 10002 clauses out of 20014 with flag 145000/579887
21.64/21.24	c cleaning 10002 clauses out of 20012 with flag 155000/589887
21.94/21.57	c cleaning 10002 clauses out of 20013 with flag 165003/599890
22.24/21.90	c cleaning 10001 clauses out of 20010 with flag 175002/609889
22.65/22.22	c cleaning 10000 clauses out of 20007 with flag 185000/619887
22.95/22.57	c cleaning 10000 clauses out of 20007 with flag 195000/629887
23.25/22.90	c cleaning 9999 clauses out of 20007 with flag 205000/639887
23.65/23.24	c cleaning 9995 clauses out of 20008 with flag 215000/649887
23.94/23.57	c cleaning 10003 clauses out of 20014 with flag 225001/659888
24.34/23.92	c cleaning 10002 clauses out of 20011 with flag 235001/669888
24.74/24.32	c cleaning 10002 clauses out of 20009 with flag 245001/679888
25.05/24.69	c cleaning 9997 clauses out of 20006 with flag 255000/689887
25.45/25.04	c cleaning 10000 clauses out of 20010 with flag 265001/699888
25.75/25.39	c cleaning 10003 clauses out of 20011 with flag 275002/709889
26.15/25.76	c cleaning 9994 clauses out of 20006 with flag 285000/719887
26.55/26.10	c cleaning 10002 clauses out of 20013 with flag 295001/729888
26.86/26.44	c cleaning 10000 clauses out of 20010 with flag 305000/739887
27.26/26.80	c cleaning 9998 clauses out of 20010 with flag 315000/749887
27.56/27.17	c cleaning 10003 clauses out of 20013 with flag 325001/759888
27.96/27.52	c cleaning 10001 clauses out of 20009 with flag 335000/769887
28.26/27.86	c cleaning 9999 clauses out of 20008 with flag 345000/779887
28.56/28.10	c Got one! Elapsed wall clock time (in seconds):27.995
28.56/28.10	o 49
28.76/28.32	c cleaning 11256 clauses out of 22521 with flag 5000/792399
28.97/28.54	c cleaning 8629 clauses out of 17266 with flag 11001/798400
29.16/28.80	c cleaning 7816 clauses out of 15639 with flag 18003/805402
29.46/29.09	c cleaning 7907 clauses out of 15821 with flag 26001/813400
29.86/29.40	c cleaning 8454 clauses out of 16914 with flag 35001/822400
30.17/29.78	c cleaning 9226 clauses out of 18460 with flag 45001/832400
30.56/30.17	c cleaning 9613 clauses out of 19236 with flag 55003/842402
30.96/30.55	c cleaning 9805 clauses out of 19621 with flag 65001/852400
31.36/30.92	c cleaning 9904 clauses out of 19816 with flag 75001/862400
31.66/31.28	c cleaning 9949 clauses out of 19913 with flag 85002/872401
32.06/31.63	c cleaning 9977 clauses out of 19962 with flag 95000/882399
32.46/32.00	c cleaning 9990 clauses out of 19987 with flag 105002/892401
32.56/32.11	c Got one! Elapsed wall clock time (in seconds):31.999
32.56/32.11	o 48
32.56/32.19	c cleaning 7635 clauses out of 15278 with flag 2001/897682
32.77/32.40	c cleaning 6819 clauses out of 13643 with flag 8001/903682
33.07/32.65	c cleaning 6906 clauses out of 13823 with flag 15000/910681
33.37/32.92	c cleaning 7455 clauses out of 14917 with flag 23000/918681
33.67/33.24	c cleaning 8228 clauses out of 16464 with flag 32002/927683
34.07/33.63	c cleaning 9112 clauses out of 18236 with flag 42002/937683
34.47/34.00	c cleaning 9556 clauses out of 19122 with flag 52000/947681
34.77/34.40	c cleaning 9778 clauses out of 19566 with flag 62000/957681
35.17/34.75	c cleaning 9889 clauses out of 19788 with flag 72000/967681
35.57/35.13	c cleaning 9946 clauses out of 19899 with flag 82000/977681
35.88/35.49	c cleaning 9970 clauses out of 19953 with flag 92000/987681
36.28/35.85	c cleaning 9986 clauses out of 19984 with flag 102001/997682
36.58/36.17	c cleaning 9997 clauses out of 19999 with flag 112002/1007683
36.98/36.52	c cleaning 9998 clauses out of 20001 with flag 122001/1017682
37.28/36.85	c cleaning 9996 clauses out of 20002 with flag 132000/1027681
37.58/37.18	c cleaning 9999 clauses out of 20009 with flag 142003/1037684
37.98/37.52	c cleaning 9998 clauses out of 20008 with flag 152001/1047682
38.28/37.87	c cleaning 10000 clauses out of 20009 with flag 162000/1057681
38.68/38.21	c cleaning 9997 clauses out of 20009 with flag 172000/1067681
38.99/38.56	c cleaning 9998 clauses out of 20012 with flag 182000/1077681
39.38/38.90	c cleaning 10002 clauses out of 20014 with flag 192000/1087681
39.68/39.23	c cleaning 10002 clauses out of 20013 with flag 202001/1097682
39.99/39.57	c cleaning 10002 clauses out of 20011 with flag 212001/1107682
40.39/39.90	c cleaning 9998 clauses out of 20009 with flag 222001/1117682
40.69/40.22	c cleaning 10003 clauses out of 20011 with flag 232001/1127682
40.99/40.56	c cleaning 9999 clauses out of 20007 with flag 242000/1137681
41.39/40.91	c cleaning 9999 clauses out of 20010 with flag 252002/1147683
41.69/41.25	c cleaning 9998 clauses out of 20010 with flag 262001/1157682
41.99/41.57	c cleaning 9998 clauses out of 20011 with flag 272000/1167681
42.39/41.90	c cleaning 9998 clauses out of 20015 with flag 282002/1177683
42.69/42.24	c cleaning 10000 clauses out of 20015 with flag 292000/1187681
42.99/42.57	c cleaning 10001 clauses out of 20016 with flag 302001/1197682
43.30/42.89	c cleaning 10003 clauses out of 20016 with flag 312002/1207683
43.70/43.22	c cleaning 10004 clauses out of 20013 with flag 322002/1217683
44.00/43.57	c cleaning 9998 clauses out of 20007 with flag 332000/1227681
44.40/43.91	c cleaning 10000 clauses out of 20012 with flag 342003/1237684
44.71/44.26	c cleaning 10001 clauses out of 20010 with flag 352001/1247682
45.01/44.60	c cleaning 9999 clauses out of 20008 with flag 362000/1257681
45.41/44.93	c cleaning 9999 clauses out of 20009 with flag 372000/1267681
45.51/45.08	c Got one! Elapsed wall clock time (in seconds):44.972
45.51/45.08	o 23
45.61/45.12	c cleaning 7948 clauses out of 15903 with flag 1001/1273574
45.81/45.35	c cleaning 6975 clauses out of 13957 with flag 7003/1279576
46.11/45.61	c cleaning 6985 clauses out of 13980 with flag 14001/1286574
46.31/45.89	c cleaning 7492 clauses out of 14994 with flag 22000/1294573
46.72/46.21	c cleaning 8246 clauses out of 16503 with flag 31001/1303574
47.01/46.58	c cleaning 9120 clauses out of 18256 with flag 41000/1313573
47.41/46.95	c cleaning 9564 clauses out of 19137 with flag 51001/1323574
47.82/47.32	c cleaning 9784 clauses out of 19573 with flag 61001/1333574
48.11/47.68	c cleaning 9890 clauses out of 19788 with flag 71000/1343573
48.52/48.05	c cleaning 9945 clauses out of 19898 with flag 81000/1353573
48.92/48.43	c cleaning 9971 clauses out of 19953 with flag 91000/1363573
49.22/48.79	c cleaning 9988 clauses out of 19982 with flag 101000/1373573
49.62/49.17	c cleaning 9991 clauses out of 19994 with flag 111000/1383573
50.03/49.52	c cleaning 9997 clauses out of 20004 with flag 121001/1393574
50.32/49.87	c cleaning 9998 clauses out of 20006 with flag 131000/1403573
50.72/50.27	c cleaning 10000 clauses out of 20010 with flag 141002/1413575
51.22/50.71	c cleaning 9999 clauses out of 20008 with flag 151000/1423573
51.62/51.13	c cleaning 10001 clauses out of 20011 with flag 161002/1433575
52.02/51.58	c cleaning 9995 clauses out of 20008 with flag 171000/1443573
52.42/51.94	c cleaning 10002 clauses out of 20014 with flag 181001/1453574
52.72/52.27	c cleaning 10000 clauses out of 20012 with flag 191001/1463574
53.12/52.61	c cleaning 10002 clauses out of 20011 with flag 201000/1473573
53.42/52.97	c cleaning 9997 clauses out of 20009 with flag 211000/1483573
53.83/53.31	c cleaning 10005 clauses out of 20015 with flag 221003/1493576
54.13/53.64	c cleaning 9997 clauses out of 20007 with flag 231000/1503573
54.43/53.97	c cleaning 9997 clauses out of 20010 with flag 241000/1513573
54.84/54.33	c cleaning 10003 clauses out of 20013 with flag 251000/1523573
55.14/54.69	c cleaning 10001 clauses out of 20011 with flag 261001/1533574
55.55/55.06	c cleaning 10000 clauses out of 20009 with flag 271000/1543573
55.94/55.46	c cleaning 10001 clauses out of 20009 with flag 281000/1553573
56.62/55.85	c cleaning 10000 clauses out of 20009 with flag 291001/1563574
57.20/56.20	c cleaning 10001 clauses out of 20010 with flag 301002/1573575
57.60/56.53	c cleaning 10000 clauses out of 20008 with flag 311001/1583574
57.90/56.88	c cleaning 9998 clauses out of 20007 with flag 321000/1593573
58.31/57.22	c cleaning 9996 clauses out of 20009 with flag 331000/1603573
58.60/57.57	c cleaning 10003 clauses out of 20016 with flag 341003/1613576
59.00/57.93	c cleaning 10000 clauses out of 20010 with flag 351000/1623573
59.30/58.26	c cleaning 9993 clauses out of 20010 with flag 361000/1633573
59.60/58.59	c cleaning 10002 clauses out of 20017 with flag 371000/1643573
60.00/58.93	c cleaning 10002 clauses out of 20015 with flag 381000/1653573
60.41/59.31	c cleaning 10002 clauses out of 20013 with flag 391000/1663573
60.70/59.65	c cleaning 10002 clauses out of 20011 with flag 401000/1673573
61.00/59.98	c cleaning 9999 clauses out of 20010 with flag 411001/1683574
61.40/60.32	c cleaning 9999 clauses out of 20010 with flag 421000/1693573
61.70/60.66	c cleaning 9999 clauses out of 20011 with flag 431000/1703573
62.11/61.04	c cleaning 10003 clauses out of 20013 with flag 441001/1713574
62.41/61.39	c cleaning 10000 clauses out of 20010 with flag 451001/1723574
62.81/61.73	c cleaning 10002 clauses out of 20009 with flag 461000/1733573
63.21/62.10	c cleaning 9999 clauses out of 20008 with flag 471001/1743574
63.51/62.46	c cleaning 9999 clauses out of 20008 with flag 481000/1753573
63.91/62.82	c cleaning 9999 clauses out of 20010 with flag 491001/1763574
64.21/63.17	c cleaning 10000 clauses out of 20011 with flag 501001/1773574
64.61/63.52	c cleaning 9997 clauses out of 20010 with flag 511000/1783573
64.92/63.86	c cleaning 10007 clauses out of 20017 with flag 521004/1793577
65.32/64.23	c cleaning 9998 clauses out of 20008 with flag 531002/1803575
65.62/64.58	c cleaning 9999 clauses out of 20008 with flag 541000/1813573
66.03/64.95	c cleaning 10000 clauses out of 20009 with flag 551000/1823573
66.42/65.31	c cleaning 10002 clauses out of 20010 with flag 561001/1833574
66.72/65.69	c cleaning 9999 clauses out of 20007 with flag 571000/1843573
67.16/66.06	c cleaning 10002 clauses out of 20009 with flag 581004/1853577
67.16/66.09	c starts		: 225
67.16/66.09	c conflicts		: 1853871
67.16/66.09	c decisions		: 2778435
67.16/66.09	c propagations		: 40503509
67.16/66.09	c inspects		: 411376174
67.16/66.09	c shortcuts		: 0
67.16/66.09	c learnt literals	: 8
67.16/66.09	c learnt binary clauses	: 26
67.16/66.09	c learnt ternary clauses	: 767
67.16/66.09	c learnt constraints	: 1853862
67.16/66.09	c ignored constraints	: 0
67.16/66.09	c root simplifications	: 0
67.16/66.09	c removed literals (reason simplification)	: 16858671
67.16/66.09	c reason swapping (by a shorter reason)	: 0
67.16/66.09	c Calls to reduceDB	: 201
67.16/66.09	c number of reductions to clauses (during analyze)	: 0
67.16/66.09	c number of learned constraints concerned by reduction	: 0
67.16/66.09	c number of learning phase by resolution	: 0
67.16/66.09	c number of learning phase by cutting planes	: 0
67.16/66.09	c speed (assignments/second)	: 1927728.761125125
67.16/66.09	c non guided choices	779
67.16/66.09	c learnt constraints type 
67.16/66.09	c constraints type 
67.16/66.09	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27
67.16/66.09	c org.sat4j.minisat.constraints.card.MinWatchCard => 41
67.16/66.09	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3
67.16/66.09	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 30
67.16/66.09	s OPTIMUM FOUND
67.16/66.09	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 
67.16/66.09	c objective function=23
67.16/66.09	c Total wall clock time (in seconds): 65.984

Verifier Data 

OK	23

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-3492368-1307909672/watcher-3492368-1307909672 -o /var/tmp/evaluation-result-3492368-1307909672/solver-3492368-1307909672 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492368-1307909672.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.09 1.97 1.74 2/195 5197
/proc/meminfo: memFree=1032988/32951124 swapFree=67055716/67111528
[pid=5197] ppid=5195 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/5197/stat : 5197 (java) R 5195 5197 2916 0 -1 4202496 774 0 0 0 0 0 0 0 25 0 1 0 635158478 23580672 516 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268655699712 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/5197/statm: 5757 528 396 9 0 124 0

[startup+0.066512 s]
/proc/loadavg: 2.09 1.97 1.74 2/195 5197
/proc/meminfo: memFree=1032988/32951124 swapFree=67055716/67111528
[pid=5197] ppid=5195 vsize=10472924 CPUtime=0.05 cores=1,3,5,7
/proc/5197/stat : 5197 (java) S 5195 5197 2916 0 -1 4202496 11701 0 1 0 4 1 0 0 25 0 18 0 635158478 10724274176 11396 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5197/statm: 2618231 11396 1733 9 0 2608972 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472924

[startup+0.100468 s]
/proc/loadavg: 2.09 1.97 1.74 2/195 5197
/proc/meminfo: memFree=1032988/32951124 swapFree=67055716/67111528
[pid=5197] ppid=5195 vsize=10605220 CPUtime=0.09 cores=1,3,5,7
/proc/5197/stat : 5197 (java) S 5195 5197 2916 0 -1 4202496 13091 0 1 0 8 1 0 0 25 0 18 0 635158478 10859745280 12749 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5197/statm: 2651305 12753 2093 9 0 2642039 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 10605220

[startup+0.300468 s]
/proc/loadavg: 2.09 1.97 1.74 2/195 5197
/proc/meminfo: memFree=1032988/32951124 swapFree=67055716/67111528
[pid=5197] ppid=5195 vsize=10608120 CPUtime=0.53 cores=1,3,5,7
/proc/5197/stat : 5197 (java) S 5195 5197 2916 0 -1 4202496 16168 0 1 0 51 2 0 0 25 0 19 0 635158478 10862714880 14770 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5197/statm: 2652030 14770 2215 9 0 2642764 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10608120

[startup+0.7004 s]
/proc/loadavg: 2.09 1.97 1.74 2/195 5197
/proc/meminfo: memFree=1032988/32951124 swapFree=67055716/67111528
[pid=5197] ppid=5195 vsize=10608120 CPUtime=1.03 cores=1,3,5,7
/proc/5197/stat : 5197 (java) S 5195 5197 2916 0 -1 4202496 17328 0 1 0 101 2 0 0 25 0 19 0 635158478 10862714880 15713 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5197/statm: 2652030 15713 2247 9 0 2642764 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 10608120

[startup+1.50127 s]
/proc/loadavg: 2.08 1.97 1.74 3/214 5216
/proc/meminfo: memFree=978556/32951124 swapFree=67055716/67111528
[pid=5197] ppid=5195 vsize=10608120 CPUtime=1.86 cores=1,3,5,7
/proc/5197/stat : 5197 (java) S 5195 5197 2916 0 -1 4202496 17490 0 1 0 184 2 0 0 25 0 19 0 635158478 10862714880 15871 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5197/statm: 2652030 15871 2248 9 0 2642764 0
[pid=5197/tid=5199] ppid=5195 vsize=10608120 CPUtime=1.39 cores=1,3,5,7
/proc/5197/task/5199/stat : 5199 (java) R 5195 5197 2916 0 -1 4202560 11997 0 1 0 138 1 0 0 20 0 19 0 635158479 10862714880 15871 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 46912505585703 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5197/tid=5200] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5200/stat : 5200 (java) S 5195 5197 2916 0 -1 4202560 37 0 0 0 0 0 0 0 16 0 19 0 635158480 10862714880 15871 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 5 0 0 0
[pid=5197/tid=5201] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5201/stat : 5201 (java) S 5195 5197 2916 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 19 0 635158480 10862714880 15871 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 5 0 0 0
[pid=5197/tid=5202] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5202/stat : 5202 (java) S 5195 5197 2916 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 635158480 10862714880 15871 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 1 0 0 0
[pid=5197/tid=5203] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5203/stat : 5203 (java) S 5195 5197 2916 0 -1 4202560 153 0 0 0 0 0 0 0 16 0 19 0 635158480 10862714880 15871 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 5 0 0 0
[pid=5197/tid=5204] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5204/stat : 5204 (java) S 5195 5197 2916 0 -1 4202560 93 0 0 0 0 0 0 0 15 0 19 0 635158480 10862714880 15871 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 5 0 0 0
[pid=5197/tid=5205] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5205/stat : 5205 (java) S 5195 5197 2916 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 19 0 635158480 10862714880 15871 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 1 0 0 0
[pid=5197/tid=5206] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5206/stat : 5206 (java) S 5195 5197 2916 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 635158480 10862714880 15871 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
[pid=5197/tid=5207] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5207/stat : 5207 (java) S 5195 5197 2916 0 -1 4202560 94 0 0 0 0 0 0 0 15 0 19 0 635158480 10862714880 15871 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 1 0 0 0
[pid=5197/tid=5208] ppid=5195 vsize=10608120 CPUtime=0.06 cores=1,3,5,7
/proc/5197/task/5208/stat : 5208 (java) S 5195 5197 2916 0 -1 4202560 416 0 0 0 6 0 0 0 16 0 19 0 635158481 10862714880 15871 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478720 0 0 0 16800975 18446604471137240960 0 0 -1 3 0 0 0
[pid=5197/tid=5209] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5209/stat : 5209 (java) S 5195 5197 2916 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 635158482 10862714880 15871 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
[pid=5197/tid=5210] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5210/stat : 5210 (java) S 5195 5197 2916 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 635158482 10862714880 15871 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
[pid=5197/tid=5211] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5211/stat : 5211 (java) S 5195 5197 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635158484 10862714880 15871 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672485809 0 4 0 16800975 18446604471137240960 0 0 -1 3 0 0 0
[pid=5197/tid=5212] ppid=5195 vsize=10608120 CPUtime=0.18 cores=1,3,5,7
/proc/5197/task/5212/stat : 5212 (java) S 5195 5197 2916 0 -1 4202560 1201 0 0 0 18 0 0 0 15 0 19 0 635158484 10862714880 15871 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 5 0 0 0
[pid=5197/tid=5213] ppid=5195 vsize=10608120 CPUtime=0.18 cores=1,3,5,7
/proc/5197/task/5213/stat : 5213 (java) S 5195 5197 2916 0 -1 4202560 2267 0 0 0 18 0 0 0 15 0 19 0 635158484 10862714880 15871 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 1 0 0 0
[pid=5197/tid=5214] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5214/stat : 5214 (java) S 5195 5197 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635158484 10862714880 15871 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 3 0 0 0
[pid=5197/tid=5215] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5215/stat : 5215 (java) S 5195 5197 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635158484 10862714880 15871 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478720 0 4 0 16800975 18446604471137240960 0 0 -1 1 0 0 0
[pid=5197/tid=5216] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5216/stat : 5216 (java) S 5195 5197 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635158495 10862714880 15871 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478720 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 10608120

[startup+3.10098 s]
/proc/loadavg: 2.08 1.97 1.74 3/214 5216
/proc/meminfo: memFree=977440/32951124 swapFree=67055716/67111528
[pid=5197] ppid=5195 vsize=10608120 CPUtime=3.46 cores=1,3,5,7
/proc/5197/stat : 5197 (java) S 5195 5197 2916 0 -1 4202496 17882 0 1 0 344 2 0 0 25 0 19 0 635158478 10862714880 16257 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5197/statm: 2652030 16257 2248 9 0 2642764 0
[pid=5197/tid=5199] ppid=5195 vsize=10608120 CPUtime=2.91 cores=1,3,5,7
/proc/5197/task/5199/stat : 5199 (java) R 5195 5197 2916 0 -1 4202560 12004 0 1 0 290 1 0 0 23 0 19 0 635158479 10862714880 16257 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 46912505702087 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5197/tid=5200] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5200/stat : 5200 (java) S 5195 5197 2916 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 635158480 10862714880 16257 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 5 0 0 0
[pid=5197/tid=5201] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5201/stat : 5201 (java) S 5195 5197 2916 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 19 0 635158480 10862714880 16257 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 5 0 0 0
[pid=5197/tid=5202] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5202/stat : 5202 (java) S 5195 5197 2916 0 -1 4202560 57 0 0 0 0 0 0 0 15 0 19 0 635158480 10862714880 16257 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
[pid=5197/tid=5203] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5203/stat : 5203 (java) S 5195 5197 2916 0 -1 4202560 192 0 0 0 0 0 0 0 16 0 19 0 635158480 10862714880 16257 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 5 0 0 0
[pid=5197/tid=5204] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5204/stat : 5204 (java) S 5195 5197 2916 0 -1 4202560 184 0 0 0 0 0 0 0 15 0 19 0 635158480 10862714880 16257 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
[pid=5197/tid=5205] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5205/stat : 5205 (java) S 5195 5197 2916 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 635158480 10862714880 16257 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 1 0 0 0
[pid=5197/tid=5206] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5206/stat : 5206 (java) S 5195 5197 2916 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 635158480 10862714880 16257 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
[pid=5197/tid=5207] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5207/stat : 5207 (java) S 5195 5197 2916 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 635158480 10862714880 16257 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 1 0 0 0
[pid=5197/tid=5208] ppid=5195 vsize=10608120 CPUtime=0.14 cores=1,3,5,7
/proc/5197/task/5208/stat : 5208 (java) S 5195 5197 2916 0 -1 4202560 549 0 0 0 14 0 0 0 16 0 19 0 635158481 10862714880 16257 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478720 0 0 0 16800975 18446604471137240960 0 0 -1 3 0 0 0
[pid=5197/tid=5209] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5209/stat : 5209 (java) S 5195 5197 2916 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 635158482 10862714880 16257 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
[pid=5197/tid=5210] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5210/stat : 5210 (java) S 5195 5197 2916 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 635158482 10862714880 16257 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
[pid=5197/tid=5211] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5211/stat : 5211 (java) S 5195 5197 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635158484 10862714880 16257 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672485809 0 4 0 16800975 18446604471137240960 0 0 -1 3 0 0 0
[pid=5197/tid=5212] ppid=5195 vsize=10608120 CPUtime=0.18 cores=1,3,5,7
/proc/5197/task/5212/stat : 5212 (java) S 5195 5197 2916 0 -1 4202560 1201 0 0 0 18 0 0 0 15 0 19 0 635158484 10862714880 16257 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 5 0 0 0
[pid=5197/tid=5213] ppid=5195 vsize=10608120 CPUtime=0.18 cores=1,3,5,7
/proc/5197/task/5213/stat : 5213 (java) S 5195 5197 2916 0 -1 4202560 2267 0 0 0 18 0 0 0 15 0 19 0 635158484 10862714880 16257 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 1 0 0 0
[pid=5197/tid=5214] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5214/stat : 5214 (java) S 5195 5197 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635158484 10862714880 16257 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 3 0 0 0
[pid=5197/tid=5215] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5215/stat : 5215 (java) S 5195 5197 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635158484 10862714880 16257 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478720 0 4 0 16800975 18446604471137240960 0 0 -1 1 0 0 0
[pid=5197/tid=5216] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5216/stat : 5216 (java) S 5195 5197 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635158495 10862714880 16257 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478720 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.46
Current children cumulated vsize (KiB) 10608120

[startup+6.30141 s]
/proc/loadavg: 2.08 1.97 1.74 3/214 5216
/proc/meminfo: memFree=975920/32951124 swapFree=67055716/67111528
[pid=5197] ppid=5195 vsize=10608120 CPUtime=6.68 cores=1,3,5,7
/proc/5197/stat : 5197 (java) S 5195 5197 2916 0 -1 4202496 17924 0 1 0 665 3 0 0 25 0 19 0 635158478 10862714880 16210 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5197/statm: 2652030 16210 2248 9 0 2642764 0
[pid=5197/tid=5199] ppid=5195 vsize=10608120 CPUtime=5.94 cores=1,3,5,7
/proc/5197/task/5199/stat : 5199 (java) R 5195 5197 2916 0 -1 4202560 12018 0 1 0 593 1 0 0 25 0 19 0 635158479 10862714880 16210 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 46912505537719 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5197/tid=5200] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5200/stat : 5200 (java) S 5195 5197 2916 0 -1 4202560 91 0 0 0 0 0 0 0 15 0 19 0 635158480 10862714880 16210 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 1 0 0 0
[pid=5197/tid=5201] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5201/stat : 5201 (java) S 5195 5197 2916 0 -1 4202560 63 0 0 0 0 0 0 0 15 0 19 0 635158480 10862714880 16210 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 5 0 0 0
[pid=5197/tid=5202] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5202/stat : 5202 (java) S 5195 5197 2916 0 -1 4202560 60 0 0 0 0 0 0 0 15 0 19 0 635158480 10862714880 16210 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
[pid=5197/tid=5203] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5203/stat : 5203 (java) S 5195 5197 2916 0 -1 4202560 192 0 0 0 0 0 0 0 15 0 19 0 635158480 10862714880 16210 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
[pid=5197/tid=5204] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5204/stat : 5204 (java) S 5195 5197 2916 0 -1 4202560 184 0 0 0 0 0 0 0 15 0 19 0 635158480 10862714880 16210 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 5 0 0 0
[pid=5197/tid=5205] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5205/stat : 5205 (java) S 5195 5197 2916 0 -1 4202560 12 0 0 0 0 0 0 0 15 0 19 0 635158480 10862714880 16210 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 1 0 0 0
[pid=5197/tid=5206] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5206/stat : 5206 (java) S 5195 5197 2916 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 635158480 10862714880 16210 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
[pid=5197/tid=5207] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5207/stat : 5207 (java) S 5195 5197 2916 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 635158480 10862714880 16210 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
[pid=5197/tid=5208] ppid=5195 vsize=10608120 CPUtime=0.29 cores=1,3,5,7
/proc/5197/task/5208/stat : 5208 (java) S 5195 5197 2916 0 -1 4202560 573 0 0 0 29 0 0 0 16 0 19 0 635158481 10862714880 16210 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478720 0 0 0 16800975 18446604471137240960 0 0 -1 3 0 0 0
[pid=5197/tid=5209] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5209/stat : 5209 (java) S 5195 5197 2916 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 635158482 10862714880 16210 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
[pid=5197/tid=5210] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5210/stat : 5210 (java) S 5195 5197 2916 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 635158482 10862714880 16210 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
[pid=5197/tid=5211] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5211/stat : 5211 (java) S 5195 5197 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635158484 10862714880 16210 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672485809 0 4 0 16800975 18446604471137240960 0 0 -1 3 0 0 0
[pid=5197/tid=5212] ppid=5195 vsize=10608120 CPUtime=0.18 cores=1,3,5,7
/proc/5197/task/5212/stat : 5212 (java) S 5195 5197 2916 0 -1 4202560 1201 0 0 0 18 0 0 0 15 0 19 0 635158484 10862714880 16210 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 5 0 0 0
[pid=5197/tid=5213] ppid=5195 vsize=10608120 CPUtime=0.18 cores=1,3,5,7
/proc/5197/task/5213/stat : 5213 (java) S 5195 5197 2916 0 -1 4202560 2267 0 0 0 18 0 0 0 15 0 19 0 635158484 10862714880 16210 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 1 0 0 0
[pid=5197/tid=5214] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5214/stat : 5214 (java) S 5195 5197 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635158484 10862714880 16210 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 3 0 0 0
[pid=5197/tid=5215] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5215/stat : 5215 (java) S 5195 5197 2916 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 635158484 10862714880 16210 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478720 0 4 0 16800975 18446604471137240960 0 0 -1 1 0 0 0
[pid=5197/tid=5216] ppid=5195 vsize=10608120 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5216/stat : 5216 (java) S 5195 5197 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635158495 10862714880 16210 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478720 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.68
Current children cumulated vsize (KiB) 10608120

[startup+12.7013 s]

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

[pid=5197/tid=5206] ppid=5195 vsize=10608584 CPUtime=0.04 cores=1,3,5,7
/proc/5197/task/5206/stat : 5206 (java) S 5195 5197 2916 0 -1 4202560 11 0 0 0 4 0 0 0 15 0 19 0 635158480 10863190016 20540 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
[pid=5197/tid=5207] ppid=5195 vsize=10608584 CPUtime=0.04 cores=1,3,5,7
/proc/5197/task/5207/stat : 5207 (java) S 5195 5197 2916 0 -1 4202560 113 0 0 0 4 0 0 0 15 0 19 0 635158480 10863190016 20540 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
[pid=5197/tid=5208] ppid=5195 vsize=10608584 CPUtime=2.47 cores=1,3,5,7
/proc/5197/task/5208/stat : 5208 (java) S 5195 5197 2916 0 -1 4202560 1056 0 0 0 245 2 0 0 16 0 19 0 635158481 10863190016 20540 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478720 0 0 0 16800975 18446604471137240960 0 0 -1 3 0 0 0
[pid=5197/tid=5209] ppid=5195 vsize=10608584 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5209/stat : 5209 (java) S 5195 5197 2916 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 635158482 10863190016 20540 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
[pid=5197/tid=5210] ppid=5195 vsize=10608584 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5210/stat : 5210 (java) S 5195 5197 2916 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 635158482 10863190016 20540 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
[pid=5197/tid=5211] ppid=5195 vsize=10608584 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5211/stat : 5211 (java) S 5195 5197 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635158484 10863190016 20540 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672485809 0 4 0 16800975 18446604471137240960 0 0 -1 3 0 0 0
[pid=5197/tid=5212] ppid=5195 vsize=10608584 CPUtime=0.2 cores=1,3,5,7
/proc/5197/task/5212/stat : 5212 (java) S 5195 5197 2916 0 -1 4202560 1271 0 0 0 20 0 0 0 16 0 19 0 635158484 10863190016 20540 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 5 0 0 0
[pid=5197/tid=5213] ppid=5195 vsize=10608584 CPUtime=0.75 cores=1,3,5,7
/proc/5197/task/5213/stat : 5213 (java) S 5195 5197 2916 0 -1 4202560 10726 0 0 0 74 1 0 0 16 0 19 0 635158484 10863190016 20540 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 1 0 0 0
[pid=5197/tid=5214] ppid=5195 vsize=10608584 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5214/stat : 5214 (java) S 5195 5197 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635158484 10863190016 20540 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 3 0 0 0
[pid=5197/tid=5215] ppid=5195 vsize=10608584 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5215/stat : 5215 (java) S 5195 5197 2916 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 635158484 10863190016 20540 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478720 0 4 0 16800975 18446604471137240960 0 0 -1 1 0 0 0
[pid=5197/tid=5216] ppid=5195 vsize=10608584 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5216/stat : 5216 (java) S 5195 5197 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635158495 10863190016 20540 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478720 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 61.81
Current children cumulated vsize (KiB) 10608584

[startup+63.9013 s]
/proc/loadavg: 2.10 1.99 1.76 3/214 5218
/proc/meminfo: memFree=957416/32951124 swapFree=67055716/67111528
[pid=5197] ppid=5195 vsize=10608584 CPUtime=65.02 cores=1,3,5,7
/proc/5197/stat : 5197 (java) S 5195 5197 2916 0 -1 4202496 27185 0 1 0 6492 10 0 0 25 0 19 0 635158478 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5197/statm: 2652146 20544 2251 9 0 2642880 0
[pid=5197/tid=5199] ppid=5195 vsize=10608584 CPUtime=61.03 cores=1,3,5,7
/proc/5197/task/5199/stat : 5199 (java) R 5195 5197 2916 0 -1 4202560 12191 0 1 0 6101 2 0 0 19 0 19 0 635158479 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 46912505600026 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5197/tid=5200] ppid=5195 vsize=10608584 CPUtime=0.04 cores=1,3,5,7
/proc/5197/task/5200/stat : 5200 (java) S 5195 5197 2916 0 -1 4202560 96 0 0 0 4 0 0 0 16 0 19 0 635158480 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 5 0 0 0
[pid=5197/tid=5201] ppid=5195 vsize=10608584 CPUtime=0.04 cores=1,3,5,7
/proc/5197/task/5201/stat : 5201 (java) S 5195 5197 2916 0 -1 4202560 73 0 0 0 4 0 0 0 15 0 19 0 635158480 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 1 0 0 0
[pid=5197/tid=5202] ppid=5195 vsize=10608584 CPUtime=0.04 cores=1,3,5,7
/proc/5197/task/5202/stat : 5202 (java) S 5195 5197 2916 0 -1 4202560 70 0 0 0 4 0 0 0 16 0 19 0 635158480 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
[pid=5197/tid=5203] ppid=5195 vsize=10608584 CPUtime=0.04 cores=1,3,5,7
/proc/5197/task/5203/stat : 5203 (java) S 5195 5197 2916 0 -1 4202560 201 0 0 0 4 0 0 0 15 0 19 0 635158480 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
[pid=5197/tid=5204] ppid=5195 vsize=10608584 CPUtime=0.04 cores=1,3,5,7
/proc/5197/task/5204/stat : 5204 (java) S 5195 5197 2916 0 -1 4202560 195 0 0 0 4 0 0 0 15 0 19 0 635158480 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 5 0 0 0
[pid=5197/tid=5205] ppid=5195 vsize=10608584 CPUtime=0.04 cores=1,3,5,7
/proc/5197/task/5205/stat : 5205 (java) S 5195 5197 2916 0 -1 4202560 25 0 0 0 4 0 0 0 15 0 19 0 635158480 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 1 0 0 0
[pid=5197/tid=5206] ppid=5195 vsize=10608584 CPUtime=0.04 cores=1,3,5,7
/proc/5197/task/5206/stat : 5206 (java) S 5195 5197 2916 0 -1 4202560 11 0 0 0 4 0 0 0 15 0 19 0 635158480 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
[pid=5197/tid=5207] ppid=5195 vsize=10608584 CPUtime=0.04 cores=1,3,5,7
/proc/5197/task/5207/stat : 5207 (java) S 5195 5197 2916 0 -1 4202560 113 0 0 0 4 0 0 0 15 0 19 0 635158480 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 1 0 0 0
[pid=5197/tid=5208] ppid=5195 vsize=10608584 CPUtime=2.61 cores=1,3,5,7
/proc/5197/task/5208/stat : 5208 (java) S 5195 5197 2916 0 -1 4202560 1059 0 0 0 258 3 0 0 15 0 19 0 635158481 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478720 0 0 0 16800975 18446604471137240960 0 0 -1 3 0 0 0
[pid=5197/tid=5209] ppid=5195 vsize=10608584 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5209/stat : 5209 (java) S 5195 5197 2916 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 635158482 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
[pid=5197/tid=5210] ppid=5195 vsize=10608584 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5210/stat : 5210 (java) S 5195 5197 2916 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 635158482 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
[pid=5197/tid=5211] ppid=5195 vsize=10608584 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5211/stat : 5211 (java) S 5195 5197 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635158484 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672485809 0 4 0 16800975 18446604471137240960 0 0 -1 3 0 0 0
[pid=5197/tid=5212] ppid=5195 vsize=10608584 CPUtime=0.2 cores=1,3,5,7
/proc/5197/task/5212/stat : 5212 (java) S 5195 5197 2916 0 -1 4202560 1271 0 0 0 20 0 0 0 16 0 19 0 635158484 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 5 0 0 0
[pid=5197/tid=5213] ppid=5195 vsize=10608584 CPUtime=0.75 cores=1,3,5,7
/proc/5197/task/5213/stat : 5213 (java) S 5195 5197 2916 0 -1 4202560 10726 0 0 0 74 1 0 0 15 0 19 0 635158484 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 1 0 0 0
[pid=5197/tid=5214] ppid=5195 vsize=10608584 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5214/stat : 5214 (java) S 5195 5197 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635158484 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 3 0 0 0
[pid=5197/tid=5215] ppid=5195 vsize=10608584 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5215/stat : 5215 (java) S 5195 5197 2916 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 635158484 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478720 0 4 0 16800975 18446604471137240960 0 0 -1 1 0 0 0
[pid=5197/tid=5216] ppid=5195 vsize=10608584 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5216/stat : 5216 (java) S 5195 5197 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635158495 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478720 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 65.02
Current children cumulated vsize (KiB) 10608584

[startup+65.501 s]
/proc/loadavg: 2.10 1.99 1.76 3/214 5218
/proc/meminfo: memFree=957412/32951124 swapFree=67055716/67111528
[pid=5197] ppid=5195 vsize=10608584 CPUtime=66.62 cores=1,3,5,7
/proc/5197/stat : 5197 (java) S 5195 5197 2916 0 -1 4202496 27189 0 1 0 6652 10 0 0 25 0 19 0 635158478 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5197/statm: 2652146 20544 2251 9 0 2642880 0
[pid=5197/tid=5199] ppid=5195 vsize=10608584 CPUtime=62.57 cores=1,3,5,7
/proc/5197/task/5199/stat : 5199 (java) R 5195 5197 2916 0 -1 4202560 12195 0 1 0 6255 2 0 0 18 0 19 0 635158479 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 46912505624193 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5197/tid=5200] ppid=5195 vsize=10608584 CPUtime=0.04 cores=1,3,5,7
/proc/5197/task/5200/stat : 5200 (java) S 5195 5197 2916 0 -1 4202560 96 0 0 0 4 0 0 0 16 0 19 0 635158480 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 5 0 0 0
[pid=5197/tid=5201] ppid=5195 vsize=10608584 CPUtime=0.04 cores=1,3,5,7
/proc/5197/task/5201/stat : 5201 (java) S 5195 5197 2916 0 -1 4202560 73 0 0 0 4 0 0 0 15 0 19 0 635158480 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 1 0 0 0
[pid=5197/tid=5202] ppid=5195 vsize=10608584 CPUtime=0.04 cores=1,3,5,7
/proc/5197/task/5202/stat : 5202 (java) S 5195 5197 2916 0 -1 4202560 70 0 0 0 4 0 0 0 15 0 19 0 635158480 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
[pid=5197/tid=5203] ppid=5195 vsize=10608584 CPUtime=0.04 cores=1,3,5,7
/proc/5197/task/5203/stat : 5203 (java) S 5195 5197 2916 0 -1 4202560 201 0 0 0 4 0 0 0 15 0 19 0 635158480 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
[pid=5197/tid=5204] ppid=5195 vsize=10608584 CPUtime=0.04 cores=1,3,5,7
/proc/5197/task/5204/stat : 5204 (java) S 5195 5197 2916 0 -1 4202560 195 0 0 0 4 0 0 0 15 0 19 0 635158480 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 1 0 0 0
[pid=5197/tid=5205] ppid=5195 vsize=10608584 CPUtime=0.05 cores=1,3,5,7
/proc/5197/task/5205/stat : 5205 (java) S 5195 5197 2916 0 -1 4202560 25 0 0 0 5 0 0 0 15 0 19 0 635158480 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 1 0 0 0
[pid=5197/tid=5206] ppid=5195 vsize=10608584 CPUtime=0.04 cores=1,3,5,7
/proc/5197/task/5206/stat : 5206 (java) S 5195 5197 2916 0 -1 4202560 11 0 0 0 4 0 0 0 15 0 19 0 635158480 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 1 0 0 0
[pid=5197/tid=5207] ppid=5195 vsize=10608584 CPUtime=0.04 cores=1,3,5,7
/proc/5197/task/5207/stat : 5207 (java) S 5195 5197 2916 0 -1 4202560 113 0 0 0 4 0 0 0 15 0 19 0 635158480 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 1 0 0 0
[pid=5197/tid=5208] ppid=5195 vsize=10608584 CPUtime=2.66 cores=1,3,5,7
/proc/5197/task/5208/stat : 5208 (java) S 5195 5197 2916 0 -1 4202560 1059 0 0 0 263 3 0 0 15 0 19 0 635158481 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478720 0 0 0 16800975 18446604471137240960 0 0 -1 3 0 0 0
[pid=5197/tid=5209] ppid=5195 vsize=10608584 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5209/stat : 5209 (java) S 5195 5197 2916 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 635158482 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
[pid=5197/tid=5210] ppid=5195 vsize=10608584 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5210/stat : 5210 (java) S 5195 5197 2916 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 635158482 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
[pid=5197/tid=5211] ppid=5195 vsize=10608584 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5211/stat : 5211 (java) S 5195 5197 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635158484 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672485809 0 4 0 16800975 18446604471137240960 0 0 -1 3 0 0 0
[pid=5197/tid=5212] ppid=5195 vsize=10608584 CPUtime=0.2 cores=1,3,5,7
/proc/5197/task/5212/stat : 5212 (java) S 5195 5197 2916 0 -1 4202560 1271 0 0 0 20 0 0 0 16 0 19 0 635158484 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 5 0 0 0
[pid=5197/tid=5213] ppid=5195 vsize=10608584 CPUtime=0.75 cores=1,3,5,7
/proc/5197/task/5213/stat : 5213 (java) S 5195 5197 2916 0 -1 4202560 10726 0 0 0 74 1 0 0 15 0 19 0 635158484 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 1 0 0 0
[pid=5197/tid=5214] ppid=5195 vsize=10608584 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5214/stat : 5214 (java) S 5195 5197 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635158484 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 3 0 0 0
[pid=5197/tid=5215] ppid=5195 vsize=10608584 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5215/stat : 5215 (java) S 5195 5197 2916 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 635158484 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478720 0 4 0 16800975 18446604471137240960 0 0 -1 1 0 0 0
[pid=5197/tid=5216] ppid=5195 vsize=10608584 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5216/stat : 5216 (java) S 5195 5197 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635158495 10863190016 20544 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478720 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 66.62
Current children cumulated vsize (KiB) 10608584

[startup+65.9009 s]
/proc/loadavg: 2.09 1.99 1.76 3/214 5218
/proc/meminfo: memFree=957412/32951124 swapFree=67055716/67111528
[pid=5197] ppid=5195 vsize=10608584 CPUtime=67.06 cores=1,3,5,7
/proc/5197/stat : 5197 (java) S 5195 5197 2916 0 -1 4202496 27191 0 1 0 6696 10 0 0 25 0 19 0 635158478 10863190016 20545 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672464869 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5197/statm: 2652146 20545 2251 9 0 2642880 0
[pid=5197/tid=5199] ppid=5195 vsize=10608584 CPUtime=62.96 cores=1,3,5,7
/proc/5197/task/5199/stat : 5199 (java) R 5195 5197 2916 0 -1 4202560 12197 0 1 0 6294 2 0 0 19 0 19 0 635158479 10863190016 20545 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 46912505166921 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5197/tid=5200] ppid=5195 vsize=10608584 CPUtime=0.04 cores=1,3,5,7
/proc/5197/task/5200/stat : 5200 (java) S 5195 5197 2916 0 -1 4202560 96 0 0 0 4 0 0 0 16 0 19 0 635158480 10863190016 20545 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 5 0 0 0
[pid=5197/tid=5201] ppid=5195 vsize=10608584 CPUtime=0.04 cores=1,3,5,7
/proc/5197/task/5201/stat : 5201 (java) S 5195 5197 2916 0 -1 4202560 73 0 0 0 4 0 0 0 15 0 19 0 635158480 10863190016 20545 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 1 0 0 0
[pid=5197/tid=5202] ppid=5195 vsize=10608584 CPUtime=0.04 cores=1,3,5,7
/proc/5197/task/5202/stat : 5202 (java) S 5195 5197 2916 0 -1 4202560 70 0 0 0 4 0 0 0 15 0 19 0 635158480 10863190016 20545 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
[pid=5197/tid=5203] ppid=5195 vsize=10608584 CPUtime=0.04 cores=1,3,5,7
/proc/5197/task/5203/stat : 5203 (java) S 5195 5197 2916 0 -1 4202560 201 0 0 0 4 0 0 0 16 0 19 0 635158480 10863190016 20545 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
[pid=5197/tid=5204] ppid=5195 vsize=10608584 CPUtime=0.04 cores=1,3,5,7
/proc/5197/task/5204/stat : 5204 (java) S 5195 5197 2916 0 -1 4202560 195 0 0 0 4 0 0 0 15 0 19 0 635158480 10863190016 20545 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 1 0 0 0
[pid=5197/tid=5205] ppid=5195 vsize=10608584 CPUtime=0.05 cores=1,3,5,7
/proc/5197/task/5205/stat : 5205 (java) S 5195 5197 2916 0 -1 4202560 25 0 0 0 5 0 0 0 15 0 19 0 635158480 10863190016 20545 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 1 0 0 0
[pid=5197/tid=5206] ppid=5195 vsize=10608584 CPUtime=0.04 cores=1,3,5,7
/proc/5197/task/5206/stat : 5206 (java) S 5195 5197 2916 0 -1 4202560 11 0 0 0 4 0 0 0 15 0 19 0 635158480 10863190016 20545 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 1 0 0 0
[pid=5197/tid=5207] ppid=5195 vsize=10608584 CPUtime=0.04 cores=1,3,5,7
/proc/5197/task/5207/stat : 5207 (java) S 5195 5197 2916 0 -1 4202560 113 0 0 0 4 0 0 0 15 0 19 0 635158480 10863190016 20545 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 1 0 0 0
[pid=5197/tid=5208] ppid=5195 vsize=10608584 CPUtime=2.68 cores=1,3,5,7
/proc/5197/task/5208/stat : 5208 (java) S 5195 5197 2916 0 -1 4202560 1059 0 0 0 265 3 0 0 15 0 19 0 635158481 10863190016 20545 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478720 0 0 0 16800975 18446604471137240960 0 0 -1 3 0 0 0
[pid=5197/tid=5209] ppid=5195 vsize=10608584 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5209/stat : 5209 (java) S 5195 5197 2916 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 635158482 10863190016 20545 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
[pid=5197/tid=5210] ppid=5195 vsize=10608584 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5210/stat : 5210 (java) S 5195 5197 2916 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 635158482 10863190016 20545 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
[pid=5197/tid=5211] ppid=5195 vsize=10608584 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5211/stat : 5211 (java) S 5195 5197 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635158484 10863190016 20545 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672485809 0 4 0 16800975 18446604471137240960 0 0 -1 3 0 0 0
[pid=5197/tid=5212] ppid=5195 vsize=10608584 CPUtime=0.21 cores=1,3,5,7
/proc/5197/task/5212/stat : 5212 (java) S 5195 5197 2916 0 -1 4202560 1271 0 0 0 21 0 0 0 15 0 19 0 635158484 10863190016 20545 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 5 0 0 0
[pid=5197/tid=5213] ppid=5195 vsize=10608584 CPUtime=0.77 cores=1,3,5,7
/proc/5197/task/5213/stat : 5213 (java) S 5195 5197 2916 0 -1 4202560 10726 0 0 0 76 1 0 0 15 0 19 0 635158484 10863190016 20545 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 1 0 0 0
[pid=5197/tid=5214] ppid=5195 vsize=10608584 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5214/stat : 5214 (java) S 5195 5197 2916 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 635158484 10863190016 20545 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478105 0 4 0 16800975 18446604471137240960 0 0 -1 3 0 0 0
[pid=5197/tid=5215] ppid=5195 vsize=10608584 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5215/stat : 5215 (java) S 5195 5197 2916 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 635158484 10863190016 20545 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478720 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
[pid=5197/tid=5216] ppid=5195 vsize=10608584 CPUtime=0 cores=1,3,5,7
/proc/5197/task/5216/stat : 5216 (java) S 5195 5197 2916 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 635158495 10863190016 20545 33554432000 1073741824 1073778376 140735202190144 18446744073709551615 268672478720 0 4 0 16800975 18446604471137240960 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 67.06
Current children cumulated vsize (KiB) 10608584

[startup+66.1008 s]
/proc/loadavg: 2.09 1.99 1.76 3/214 5218
/proc/meminfo: memFree=957412/32951124 swapFree=67055716/67111528
[pid=5197] ppid=5195 vsize=0 CPUtime=67.26 cores=1,3,5,7
/proc/5197/stat : 5197 (java) Z 5195 5197 2916 0 -1 4203548 27219 0 1 0 6716 10 0 0 18 0 2 0 635158478 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/5197/statm: 0 0 0 0 0 0 0
[pid=5197/tid=5207] ppid=5195 vsize=0 CPUtime=0.05 cores=1,3,5,7
/proc/5197/task/5207/stat : 5207 (java) R 5195 5197 2916 0 -1 4203588 113 0 0 0 5 0 0 0 15 0 2 0 635158480 0 0 33554432000 0 0 0 0 0 0 4 0 16800975 18446744073709551615 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 67.26
Current children cumulated vsize (KiB) 0

Child status: 30
Real time (s): 66.1016
CPU time (s): 67.2668
CPU user time (s): 67.1608
CPU system time (s): 0.105983
CPU usage (%): 101.763
Max. virtual memory (cumulated for all children) (KiB): 10608584

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 67.1608
system time used= 0.105983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27219
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= 6977
involuntary context switches= 3791

runsolver used 0.108983 second user time and 0.268959 second system time

The end

Launcher Data 

Begin job on node107 at 2011-06-12 22:14:32
IDJOB=3492368
IDBENCH=78782
IDSOLVER=1982
FILE ID=node107/3492368-1307909672
RUNJOBID= node107-1307908886-4789
PBS_JOBID= 13559596
Free space on /var/tmp= 2892 MiB

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

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

MD5SUM BENCH= 2c30a8298656a46724ae4314cbfd6760
RANDOM SEED=1490976792

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1033168 kB
Buffers:         60068 kB
Cached:       30723268 kB
SwapCached:      20072 kB
Active:       15773360 kB
Inactive:     15184444 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1033168 kB
SwapTotal:    67111528 kB
SwapFree:     67055716 kB
Dirty:             480 kB
Writeback:           0 kB
AnonPages:      172508 kB
Mapped:          21136 kB
Slab:           896496 kB
PageTables:       4704 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10535652 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2892 MiB
End job on node107 at 2011-06-12 22:15:38