Trace number 3492321

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 63.2414 62.2026

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972154--soft-66-100-0.wbo
MD5SUMeabed96e9c28cf15c9772fe79986c067
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark66
Best CPU time to get the best result obtained on this benchmark1.46178
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 constraints28
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 1415
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 1414
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1221
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.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	c See www.sat4j.org for details.
0.06/0.08	c version 2.3.1.v20110525
0.06/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.08	c java.vm.version	19.1-b02
0.06/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.08	c sun.arch.data.model	64
0.06/0.08	c java.version		1.6.0_24
0.06/0.08	c os.name		Linux
0.06/0.08	c os.version		2.6.18-164.el5
0.06/0.08	c os.arch		amd64
0.06/0.08	c Free memory 		9996466904
0.06/0.08	c Max memory 		10048897024
0.06/0.08	c Total memory 		10048897024
0.06/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@13d4c61c
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-3492321-1307909441.wbo
0.10/0.10	c reading problem ... 
0.10/0.16	c ... done. Wall clock time 0.053s.
0.10/0.16	c #vars     197
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 => 28
0.10/0.16	c org.sat4j.minisat.constraints.card.MinWatchCard => 50
0.10/0.16	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2
0.10/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21
0.68/0.45	c cleaning 2499 clauses out of 5001 with flag 5001/5001
0.91/0.66	c cleaning 4246 clauses out of 8502 with flag 11001/11001
1.14/0.89	c cleaning 5621 clauses out of 11255 with flag 18000/18000
1.45/1.17	c cleaning 6809 clauses out of 13634 with flag 26000/26000
1.57/1.29	c SATISFIABLE
1.57/1.29	c OPTIMIZING...
1.57/1.29	c Got one! Elapsed wall clock time (in seconds):1.181
1.57/1.29	o 310
1.67/1.36	c cleaning 6158 clauses out of 12321 with flag 2003/31496
1.87/1.53	c cleaning 6077 clauses out of 12160 with flag 8000/37493
2.07/1.76	c cleaning 6541 clauses out of 13085 with flag 15002/44495
2.37/2.02	c cleaning 7267 clauses out of 14543 with flag 23001/52494
2.68/2.30	c cleaning 8135 clauses out of 16276 with flag 32001/61494
2.98/2.62	c cleaning 9067 clauses out of 18141 with flag 42001/71494
3.18/2.86	c Got one! Elapsed wall clock time (in seconds):2.76
3.18/2.86	o 164
3.38/3.06	c cleaning 10937 clauses out of 21885 with flag 5001/84305
3.60/3.27	c cleaning 8469 clauses out of 16948 with flag 11001/90305
3.79/3.49	c cleaning 7732 clauses out of 15478 with flag 18000/97304
4.09/3.72	c cleaning 7871 clauses out of 15748 with flag 26002/105306
4.39/4.01	c cleaning 8431 clauses out of 16875 with flag 35000/114304
4.70/4.36	c cleaning 9216 clauses out of 18444 with flag 45000/124304
5.10/4.70	c cleaning 9607 clauses out of 19228 with flag 55000/134304
5.40/5.03	c cleaning 9807 clauses out of 19621 with flag 65000/144304
5.50/5.18	c Got one! Elapsed wall clock time (in seconds):5.08
5.50/5.18	o 138
5.70/5.36	c cleaning 10014 clauses out of 20041 with flag 5000/154531
5.91/5.55	c cleaning 8011 clauses out of 16028 with flag 11001/160532
6.10/5.79	c cleaning 7507 clauses out of 15017 with flag 18001/167532
6.50/6.10	c cleaning 7750 clauses out of 15509 with flag 26000/175531
6.70/6.39	c cleaning 8373 clauses out of 16759 with flag 35000/184531
7.10/6.72	c cleaning 9190 clauses out of 18388 with flag 45002/194533
7.40/7.08	c cleaning 9596 clauses out of 19197 with flag 55001/204532
7.80/7.41	c cleaning 9794 clauses out of 19600 with flag 65000/214531
8.11/7.73	c cleaning 9901 clauses out of 19808 with flag 75002/224533
8.41/8.07	c cleaning 9948 clauses out of 19905 with flag 85000/234531
8.81/8.40	c cleaning 9975 clauses out of 19957 with flag 95000/244531
9.12/8.73	c cleaning 9988 clauses out of 19983 with flag 105001/254532
9.41/9.07	c cleaning 9991 clauses out of 19995 with flag 115001/264532
9.81/9.41	c cleaning 9998 clauses out of 20004 with flag 125001/274532
10.11/9.73	c cleaning 9997 clauses out of 20005 with flag 135000/284531
10.42/10.05	c cleaning 9997 clauses out of 20009 with flag 145001/294532
10.72/10.39	c cleaning 10003 clauses out of 20011 with flag 155000/304531
11.12/10.71	c cleaning 10001 clauses out of 20011 with flag 165003/314534
11.42/11.01	c cleaning 9997 clauses out of 20007 with flag 175000/324531
11.72/11.33	c cleaning 10002 clauses out of 20013 with flag 185003/334534
12.02/11.64	c cleaning 10002 clauses out of 20009 with flag 195001/344532
12.32/11.97	c cleaning 9998 clauses out of 20007 with flag 205001/354532
12.72/12.30	c cleaning 9999 clauses out of 20009 with flag 215001/364532
13.02/12.64	c cleaning 9999 clauses out of 20009 with flag 225000/374531
13.32/12.97	c cleaning 10003 clauses out of 20012 with flag 235002/384533
13.63/13.29	c cleaning 9999 clauses out of 20007 with flag 245000/394531
14.02/13.62	c cleaning 10000 clauses out of 20010 with flag 255002/404533
14.32/13.96	c cleaning 9995 clauses out of 20008 with flag 265000/414531
14.63/14.29	c cleaning 10004 clauses out of 20017 with flag 275004/424535
15.02/14.64	c cleaning 10002 clauses out of 20010 with flag 285001/434532
15.32/14.98	c cleaning 9999 clauses out of 20009 with flag 295002/444533
15.53/15.19	c Got one! Elapsed wall clock time (in seconds):15.08
15.53/15.19	o 106
15.73/15.39	c cleaning 10766 clauses out of 21538 with flag 5003/456061
15.93/15.58	c cleaning 8382 clauses out of 16769 with flag 11000/462058
16.23/15.83	c cleaning 7691 clauses out of 15387 with flag 18000/469058
16.43/16.09	c cleaning 7846 clauses out of 15697 with flag 26001/477059
16.73/16.39	c cleaning 8420 clauses out of 16852 with flag 35002/486060
17.13/16.71	c cleaning 9213 clauses out of 18432 with flag 45002/496060
17.43/17.04	c cleaning 9602 clauses out of 19217 with flag 55000/506058
17.73/17.36	c cleaning 9803 clauses out of 19618 with flag 65003/516061
18.04/17.68	c cleaning 9902 clauses out of 19813 with flag 75001/526059
18.43/18.00	c cleaning 9950 clauses out of 19911 with flag 85001/536059
18.73/18.32	c cleaning 9973 clauses out of 19960 with flag 95000/546058
19.04/18.64	c cleaning 9987 clauses out of 19988 with flag 105001/556059
19.33/18.97	c cleaning 9988 clauses out of 20000 with flag 115000/566058
19.73/19.31	c cleaning 9997 clauses out of 20012 with flag 125000/576058
20.03/19.64	c cleaning 9998 clauses out of 20015 with flag 135000/586058
20.35/19.98	c cleaning 10005 clauses out of 20017 with flag 145000/596058
20.75/20.31	c cleaning 10001 clauses out of 20014 with flag 155002/606060
21.05/20.65	c cleaning 10002 clauses out of 20013 with flag 165002/616060
21.45/21.00	c cleaning 9997 clauses out of 20009 with flag 175000/626058
21.75/21.37	c cleaning 10004 clauses out of 20012 with flag 185000/636058
22.15/21.73	c cleaning 10001 clauses out of 20009 with flag 195001/646059
22.46/22.06	c cleaning 9999 clauses out of 20008 with flag 205001/656059
22.77/22.38	c cleaning 9999 clauses out of 20011 with flag 215003/666061
23.16/22.71	c cleaning 9999 clauses out of 20011 with flag 225002/676060
23.47/23.02	c cleaning 10003 clauses out of 20011 with flag 235001/686059
23.77/23.34	c cleaning 10001 clauses out of 20007 with flag 245000/696058
24.07/23.67	c cleaning 9992 clauses out of 20006 with flag 255000/706058
24.47/24.00	c cleaning 9998 clauses out of 20014 with flag 265000/716058
24.77/24.33	c cleaning 10003 clauses out of 20016 with flag 275000/726058
25.07/24.67	c cleaning 10001 clauses out of 20015 with flag 285002/736060
25.47/25.01	c cleaning 9997 clauses out of 20012 with flag 295000/746058
25.78/25.33	c cleaning 10003 clauses out of 20016 with flag 305001/756059
26.07/25.65	c cleaning 10003 clauses out of 20013 with flag 315001/766059
26.37/25.99	c cleaning 10000 clauses out of 20012 with flag 325003/776061
26.78/26.31	c cleaning 10001 clauses out of 20009 with flag 335000/786058
27.07/26.65	c cleaning 9993 clauses out of 20008 with flag 345000/796058
27.37/26.99	c cleaning 10004 clauses out of 20015 with flag 355000/806058
27.77/27.35	c cleaning 9996 clauses out of 20012 with flag 365001/816059
27.77/27.40	c Got one! Elapsed wall clock time (in seconds):27.295
27.77/27.40	o 100
27.98/27.53	c cleaning 7702 clauses out of 15409 with flag 4002/821452
28.18/27.72	c cleaning 6847 clauses out of 13706 with flag 10001/827451
28.38/27.96	c cleaning 6925 clauses out of 13859 with flag 17001/834451
28.68/28.21	c cleaning 7464 clauses out of 14934 with flag 25001/842451
28.98/28.53	c cleaning 8228 clauses out of 16469 with flag 34000/851450
29.28/28.88	c cleaning 9115 clauses out of 18241 with flag 44000/861450
29.68/29.25	c cleaning 9559 clauses out of 19127 with flag 54001/871451
30.09/29.62	c cleaning 9780 clauses out of 19567 with flag 64000/881450
30.38/29.98	c cleaning 9890 clauses out of 19789 with flag 74002/891452
30.78/30.39	c cleaning 9941 clauses out of 19897 with flag 84000/901450
31.19/30.76	c cleaning 9975 clauses out of 19957 with flag 94001/911451
31.59/31.11	c cleaning 9986 clauses out of 19984 with flag 104003/921453
31.89/31.46	c cleaning 9995 clauses out of 19996 with flag 114001/931451
32.29/31.80	c cleaning 9995 clauses out of 20001 with flag 124001/941451
32.59/32.16	c cleaning 9997 clauses out of 20006 with flag 134001/951451
32.89/32.49	c cleaning 9998 clauses out of 20008 with flag 144000/961450
33.29/32.84	c cleaning 10000 clauses out of 20010 with flag 154000/971450
33.59/33.19	c cleaning 10000 clauses out of 20010 with flag 164000/981450
33.99/33.52	c cleaning 10001 clauses out of 20011 with flag 174001/991451
34.29/33.87	c cleaning 10001 clauses out of 20010 with flag 184001/1001451
34.69/34.21	c cleaning 10000 clauses out of 20008 with flag 194000/1011450
34.99/34.54	c cleaning 10001 clauses out of 20009 with flag 204001/1021451
35.29/34.89	c cleaning 9997 clauses out of 20008 with flag 214001/1031451
35.70/35.23	c cleaning 10004 clauses out of 20014 with flag 224004/1041454
36.00/35.57	c cleaning 9999 clauses out of 20006 with flag 234000/1051450
36.40/35.91	c cleaning 10001 clauses out of 20009 with flag 244002/1061452
36.71/36.24	c cleaning 9999 clauses out of 20007 with flag 254001/1071451
37.01/36.59	c cleaning 10000 clauses out of 20007 with flag 264000/1081450
37.41/36.93	c cleaning 9996 clauses out of 20007 with flag 274000/1091450
37.51/37.00	c Got one! Elapsed wall clock time (in seconds):36.899
37.51/37.00	o 73
37.61/37.10	c cleaning 7672 clauses out of 15352 with flag 3002/1096791
37.71/37.29	c cleaning 6834 clauses out of 13678 with flag 9000/1102789
38.01/37.54	c cleaning 6921 clauses out of 13849 with flag 16005/1109794
38.31/37.84	c cleaning 7453 clauses out of 14923 with flag 24000/1117789
38.61/38.15	c cleaning 8226 clauses out of 16470 with flag 33000/1126789
38.91/38.49	c cleaning 9119 clauses out of 18245 with flag 43001/1136790
39.31/38.84	c cleaning 9556 clauses out of 19125 with flag 53000/1146789
39.71/39.22	c cleaning 9778 clauses out of 19570 with flag 63001/1156790
40.12/39.61	c cleaning 9894 clauses out of 19793 with flag 73002/1166791
40.41/39.96	c cleaning 9944 clauses out of 19898 with flag 83001/1176790
40.81/40.30	c cleaning 9971 clauses out of 19956 with flag 93003/1186792
41.12/40.64	c cleaning 9987 clauses out of 19983 with flag 103001/1196790
41.41/40.98	c cleaning 9993 clauses out of 19995 with flag 113000/1206789
41.81/41.30	c cleaning 9995 clauses out of 20002 with flag 123000/1216789
42.12/41.63	c cleaning 9997 clauses out of 20007 with flag 133000/1226789
42.42/41.96	c cleaning 10001 clauses out of 20010 with flag 143000/1236789
42.82/42.32	c cleaning 10002 clauses out of 20010 with flag 153001/1246790
43.12/42.66	c cleaning 9998 clauses out of 20007 with flag 163000/1256789
43.42/43.00	c cleaning 9998 clauses out of 20010 with flag 173001/1266790
43.82/43.32	c cleaning 9998 clauses out of 20011 with flag 183000/1276789
44.02/43.52	c Got one! Elapsed wall clock time (in seconds):43.414
44.02/43.52	o 66
44.22/43.73	c cleaning 10797 clauses out of 21603 with flag 5002/1288379
44.42/43.94	c cleaning 8396 clauses out of 16804 with flag 11000/1294377
44.62/44.18	c cleaning 7697 clauses out of 15409 with flag 18001/1301378
44.92/44.47	c cleaning 7848 clauses out of 15711 with flag 26000/1309377
45.22/44.78	c cleaning 8430 clauses out of 16865 with flag 35002/1318379
45.63/45.11	c cleaning 9214 clauses out of 18435 with flag 45002/1328379
45.92/45.48	c cleaning 9606 clauses out of 19220 with flag 55001/1338378
46.32/45.86	c cleaning 9804 clauses out of 19613 with flag 65000/1348377
46.73/46.22	c cleaning 9900 clauses out of 19810 with flag 75001/1358378
47.02/46.58	c cleaning 9948 clauses out of 19909 with flag 85000/1368377
47.42/46.93	c cleaning 9977 clauses out of 19963 with flag 95002/1378379
47.73/47.28	c cleaning 9986 clauses out of 19985 with flag 105001/1388378
48.13/47.65	c cleaning 9995 clauses out of 20000 with flag 115002/1398379
48.53/48.00	c cleaning 9999 clauses out of 20005 with flag 125002/1408379
48.83/48.36	c cleaning 9997 clauses out of 20005 with flag 135001/1418378
49.23/48.70	c cleaning 9997 clauses out of 20007 with flag 145000/1428377
49.53/49.02	c cleaning 10004 clauses out of 20013 with flag 155003/1438380
49.83/49.34	c cleaning 10001 clauses out of 20006 with flag 165000/1448377
50.14/49.66	c cleaning 10000 clauses out of 20008 with flag 175003/1458380
50.45/49.98	c cleaning 10000 clauses out of 20007 with flag 185002/1468379
50.85/50.34	c cleaning 9997 clauses out of 20005 with flag 195000/1478377
51.16/50.69	c cleaning 9998 clauses out of 20008 with flag 205000/1488377
51.55/51.01	c cleaning 10002 clauses out of 20011 with flag 215001/1498378
51.85/51.33	c cleaning 9998 clauses out of 20008 with flag 225000/1508377
52.16/51.66	c cleaning 10001 clauses out of 20012 with flag 235002/1518379
52.45/51.99	c cleaning 9997 clauses out of 20010 with flag 245001/1528378
52.85/52.30	c cleaning 10001 clauses out of 20012 with flag 255000/1538377
53.15/52.61	c cleaning 10000 clauses out of 20012 with flag 265001/1548378
53.46/52.94	c cleaning 10001 clauses out of 20013 with flag 275002/1558379
53.75/53.26	c cleaning 10001 clauses out of 20012 with flag 285002/1568379
54.05/53.58	c cleaning 10002 clauses out of 20012 with flag 295003/1578380
54.46/53.93	c cleaning 9997 clauses out of 20007 with flag 305000/1588377
54.76/54.27	c cleaning 9996 clauses out of 20010 with flag 315000/1598377
55.06/54.60	c cleaning 10003 clauses out of 20014 with flag 325000/1608377
55.46/54.91	c cleaning 10002 clauses out of 20013 with flag 335002/1618379
55.76/55.25	c cleaning 10001 clauses out of 20010 with flag 345001/1628378
56.06/55.58	c cleaning 9995 clauses out of 20008 with flag 355000/1638377
56.46/55.92	c cleaning 10003 clauses out of 20014 with flag 365001/1648378
56.77/56.24	c cleaning 10001 clauses out of 20012 with flag 375002/1658379
57.07/56.55	c cleaning 10000 clauses out of 20009 with flag 385000/1668377
57.37/56.87	c cleaning 9999 clauses out of 20009 with flag 395000/1678377
57.77/57.21	c cleaning 9999 clauses out of 20010 with flag 405000/1688377
58.07/57.53	c cleaning 10002 clauses out of 20015 with flag 415004/1698381
58.37/57.84	c cleaning 10001 clauses out of 20009 with flag 425000/1708377
58.67/58.16	c cleaning 9995 clauses out of 20008 with flag 435000/1718377
58.97/58.49	c cleaning 10001 clauses out of 20013 with flag 445000/1728377
59.37/58.81	c cleaning 10004 clauses out of 20013 with flag 455001/1738378
59.67/59.13	c cleaning 9999 clauses out of 20008 with flag 465000/1748377
59.97/59.45	c cleaning 9999 clauses out of 20009 with flag 475000/1758377
60.27/59.78	c cleaning 9998 clauses out of 20010 with flag 485000/1768377
60.57/60.09	c cleaning 10002 clauses out of 20012 with flag 495000/1778377
60.98/60.43	c cleaning 10000 clauses out of 20010 with flag 505000/1788377
61.27/60.74	c cleaning 10000 clauses out of 20011 with flag 515001/1798378
61.58/61.06	c cleaning 10002 clauses out of 20011 with flag 525001/1808378
61.97/61.40	c cleaning 10000 clauses out of 20008 with flag 535000/1818377
62.27/61.77	c cleaning 10001 clauses out of 20009 with flag 545001/1828378
63.07/62.12	c cleaning 10000 clauses out of 20006 with flag 555000/1838377
63.07/62.18	c starts		: 216
63.07/62.18	c conflicts		: 1839940
63.07/62.18	c decisions		: 2851703
63.07/62.18	c propagations		: 41308798
63.07/62.18	c inspects		: 422423939
63.07/62.18	c shortcuts		: 0
63.07/62.18	c learnt literals	: 6
63.07/62.18	c learnt binary clauses	: 21
63.07/62.18	c learnt ternary clauses	: 533
63.07/62.18	c learnt constraints	: 1839933
63.07/62.18	c ignored constraints	: 0
63.07/62.18	c root simplifications	: 0
63.07/62.18	c removed literals (reason simplification)	: 15184918
63.07/62.18	c reason swapping (by a shorter reason)	: 0
63.07/62.18	c Calls to reduceDB	: 193
63.07/62.18	c number of reductions to clauses (during analyze)	: 0
63.07/62.18	c number of learned constraints concerned by reduction	: 0
63.07/62.18	c number of learning phase by resolution	: 0
63.07/62.18	c number of learning phase by cutting planes	: 0
63.07/62.18	c speed (assignments/second)	: 2213643.3202936603
63.07/62.18	c non guided choices	302
63.07/62.18	c learnt constraints type 
63.07/62.18	c constraints type 
63.07/62.18	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 28
63.07/62.18	c org.sat4j.minisat.constraints.card.MinWatchCard => 50
63.07/62.18	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 2
63.07/62.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 21
63.07/62.18	s OPTIMUM FOUND
63.07/62.18	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 
63.07/62.18	c objective function=66
63.07/62.18	c Total wall clock time (in seconds): 62.076

Verifier Data 

OK	66

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 /tmp/evaluation-result-3492321-1307909441/watcher-3492321-1307909441 -o /tmp/evaluation-result-3492321-1307909441/solver-3492321-1307909441 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492321-1307909441.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.11 1.86 1.64 2/195 5025
/proc/meminfo: memFree=32220056/32951124 swapFree=67050044/67111528
[pid=5025] ppid=5023 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/5025/stat : 5025 (java) R 5023 5025 2655 0 -1 4202496 908 0 0 0 0 0 0 0 25 0 1 0 902546848 23580672 653 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218365994773 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/5025/statm: 5757 664 486 9 0 124 0

[startup+0.0798881 s]
/proc/loadavg: 2.11 1.86 1.64 2/195 5025
/proc/meminfo: memFree=32220056/32951124 swapFree=67050044/67111528
[pid=5025] ppid=5023 vsize=10473088 CPUtime=0.06 cores=1,3,5,7
/proc/5025/stat : 5025 (java) S 5023 5025 2655 0 -1 4202496 12003 0 1 0 5 1 0 0 25 0 18 0 902546848 10724442112 11700 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5025/statm: 2618272 11700 1755 9 0 2609006 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10473088

[startup+0.100876 s]
/proc/loadavg: 2.11 1.86 1.64 2/195 5025
/proc/meminfo: memFree=32220056/32951124 swapFree=67050044/67111528
[pid=5025] ppid=5023 vsize=10540296 CPUtime=0.1 cores=1,3,5,7
/proc/5025/stat : 5025 (java) S 5023 5025 2655 0 -1 4202496 13104 0 1 0 9 1 0 0 25 0 18 0 902546848 10793263104 12760 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5025/statm: 2635074 12760 2093 9 0 2625808 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540296

[startup+0.300803 s]
/proc/loadavg: 2.11 1.86 1.64 2/195 5025
/proc/meminfo: memFree=32220056/32951124 swapFree=67050044/67111528
[pid=5025] ppid=5023 vsize=10545020 CPUtime=0.54 cores=1,3,5,7
/proc/5025/stat : 5025 (java) S 5023 5025 2655 0 -1 4202496 16407 0 1 0 52 2 0 0 25 0 19 0 902546848 10798100480 15231 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5025/statm: 2636255 15231 2215 9 0 2626989 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10545020

[startup+0.700765 s]
/proc/loadavg: 2.11 1.86 1.64 2/195 5025
/proc/meminfo: memFree=32220056/32951124 swapFree=67050044/67111528
[pid=5025] ppid=5023 vsize=10545020 CPUtime=1.04 cores=1,3,5,7
/proc/5025/stat : 5025 (java) S 5023 5025 2655 0 -1 4202496 17600 0 1 0 102 2 0 0 25 0 19 0 902546848 10798100480 16217 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5025/statm: 2636255 16217 2247 9 0 2626989 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 10545020

[startup+1.50062 s]
/proc/loadavg: 2.11 1.86 1.64 3/214 5044
/proc/meminfo: memFree=32163876/32951124 swapFree=67050044/67111528
[pid=5025] ppid=5023 vsize=10545020 CPUtime=1.87 cores=1,3,5,7
/proc/5025/stat : 5025 (java) S 5023 5025 2655 0 -1 4202496 17840 0 1 0 185 2 0 0 25 0 19 0 902546848 10798100480 16453 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5025/statm: 2636255 16453 2248 9 0 2626989 0
[pid=5025/tid=5027] ppid=5023 vsize=10545020 CPUtime=1.42 cores=1,3,5,7
/proc/5025/task/5027/stat : 5027 (java) R 5023 5025 2655 0 -1 4202560 11937 0 1 0 140 2 0 0 20 0 19 0 902546849 10798100480 16453 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 46912505540592 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5025/tid=5028] ppid=5023 vsize=10545020 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5028/stat : 5028 (java) S 5023 5025 2655 0 -1 4202560 129 0 0 0 0 0 0 0 15 0 19 0 902546850 10798100480 16453 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5029] ppid=5023 vsize=10545020 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5029/stat : 5029 (java) S 5023 5025 2655 0 -1 4202560 156 0 0 0 0 0 0 0 15 0 19 0 902546850 10798100480 16453 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5030] ppid=5023 vsize=10545020 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5030/stat : 5030 (java) S 5023 5025 2655 0 -1 4202560 18 0 0 0 0 0 0 0 16 0 19 0 902546850 10798100480 16453 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
[pid=5025/tid=5031] ppid=5023 vsize=10545020 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5031/stat : 5031 (java) S 5023 5025 2655 0 -1 4202560 20 0 0 0 0 0 0 0 16 0 19 0 902546850 10798100480 16453 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 7 0 0 0
[pid=5025/tid=5032] ppid=5023 vsize=10545020 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5032/stat : 5032 (java) S 5023 5025 2655 0 -1 4202560 57 0 0 0 0 0 0 0 16 0 19 0 902546850 10798100480 16453 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5033] ppid=5023 vsize=10545020 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5033/stat : 5033 (java) S 5023 5025 2655 0 -1 4202560 89 0 0 0 0 0 0 0 15 0 19 0 902546850 10798100480 16453 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
[pid=5025/tid=5034] ppid=5023 vsize=10545020 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5034/stat : 5034 (java) S 5023 5025 2655 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902546850 10798100480 16453 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
[pid=5025/tid=5035] ppid=5023 vsize=10545020 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5035/stat : 5035 (java) S 5023 5025 2655 0 -1 4202560 85 0 0 0 0 0 0 0 15 0 19 0 902546850 10798100480 16453 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
[pid=5025/tid=5036] ppid=5023 vsize=10545020 CPUtime=0.05 cores=1,3,5,7
/proc/5025/task/5036/stat : 5036 (java) S 5023 5025 2655 0 -1 4202560 427 0 0 0 5 0 0 0 15 0 19 0 902546851 10798100480 16453 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773760 0 0 0 16800975 18446604471132300224 0 0 -1 3 0 0 0
[pid=5025/tid=5037] ppid=5023 vsize=10545020 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5037/stat : 5037 (java) S 5023 5025 2655 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902546852 10798100480 16453 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 3 0 0 0
[pid=5025/tid=5038] ppid=5023 vsize=10545020 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5038/stat : 5038 (java) S 5023 5025 2655 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 902546852 10798100480 16453 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 3 0 0 0
[pid=5025/tid=5039] ppid=5023 vsize=10545020 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5039/stat : 5039 (java) S 5023 5025 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902546854 10798100480 16453 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382780849 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5040] ppid=5023 vsize=10545020 CPUtime=0.2 cores=1,3,5,7
/proc/5025/task/5040/stat : 5040 (java) S 5023 5025 2655 0 -1 4202560 2215 0 0 0 20 0 0 0 18 0 19 0 902546854 10798100480 16453 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 7 0 0 0
[pid=5025/tid=5041] ppid=5023 vsize=10545020 CPUtime=0.16 cores=1,3,5,7
/proc/5025/task/5041/stat : 5041 (java) S 5023 5025 2655 0 -1 4202560 1556 0 0 0 16 0 0 0 15 0 19 0 902546854 10798100480 16453 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
[pid=5025/tid=5042] ppid=5023 vsize=10545020 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5042/stat : 5042 (java) S 5023 5025 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902546854 10798100480 16453 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5043] ppid=5023 vsize=10545020 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5043/stat : 5043 (java) S 5023 5025 2655 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902546854 10798100480 16453 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773760 0 4 0 16800975 18446604471132300224 0 0 -1 7 0 0 0
[pid=5025/tid=5044] ppid=5023 vsize=10545020 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5044/stat : 5044 (java) S 5023 5025 2655 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902546865 10798100480 16453 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773760 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 10545020

[startup+3.10134 s]
/proc/loadavg: 2.10 1.86 1.65 3/214 5044
/proc/meminfo: memFree=32162636/32951124 swapFree=67050044/67111528
[pid=5025] ppid=5023 vsize=10545020 CPUtime=3.49 cores=1,3,5,7
/proc/5025/stat : 5025 (java) S 5023 5025 2655 0 -1 4202496 18126 0 1 0 346 3 0 0 25 0 19 0 902546848 10798100480 16733 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5025/statm: 2636255 16733 2248 9 0 2626989 0
[pid=5025/tid=5027] ppid=5023 vsize=10545020 CPUtime=2.94 cores=1,3,5,7
/proc/5025/task/5027/stat : 5027 (java) R 5023 5025 2655 0 -1 4202560 11943 0 1 0 292 2 0 0 24 0 19 0 902546849 10798100480 16733 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 46912505539929 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5025/tid=5028] ppid=5023 vsize=10545020 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5028/stat : 5028 (java) S 5023 5025 2655 0 -1 4202560 130 0 0 0 0 0 0 0 15 0 19 0 902546850 10798100480 16733 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 7 0 0 0
[pid=5025/tid=5029] ppid=5023 vsize=10545020 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5029/stat : 5029 (java) S 5023 5025 2655 0 -1 4202560 156 0 0 0 0 0 0 0 15 0 19 0 902546850 10798100480 16733 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5030] ppid=5023 vsize=10545020 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5030/stat : 5030 (java) S 5023 5025 2655 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 902546850 10798100480 16733 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5031] ppid=5023 vsize=10545020 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5031/stat : 5031 (java) S 5023 5025 2655 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 19 0 902546850 10798100480 16733 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 7 0 0 0
[pid=5025/tid=5032] ppid=5023 vsize=10545020 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5032/stat : 5032 (java) S 5023 5025 2655 0 -1 4202560 147 0 0 0 0 0 0 0 15 0 19 0 902546850 10798100480 16733 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5033] ppid=5023 vsize=10545020 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5033/stat : 5033 (java) S 5023 5025 2655 0 -1 4202560 90 0 0 0 0 0 0 0 16 0 19 0 902546850 10798100480 16733 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
[pid=5025/tid=5034] ppid=5023 vsize=10545020 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5034/stat : 5034 (java) S 5023 5025 2655 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902546850 10798100480 16733 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
[pid=5025/tid=5035] ppid=5023 vsize=10545020 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5035/stat : 5035 (java) S 5023 5025 2655 0 -1 4202560 87 0 0 0 0 0 0 0 16 0 19 0 902546850 10798100480 16733 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 7 0 0 0
[pid=5025/tid=5036] ppid=5023 vsize=10545020 CPUtime=0.12 cores=1,3,5,7
/proc/5025/task/5036/stat : 5036 (java) S 5023 5025 2655 0 -1 4202560 609 0 0 0 12 0 0 0 15 0 19 0 902546851 10798100480 16733 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773760 0 0 0 16800975 18446604471132300224 0 0 -1 3 0 0 0
[pid=5025/tid=5037] ppid=5023 vsize=10545020 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5037/stat : 5037 (java) S 5023 5025 2655 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902546852 10798100480 16733 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 3 0 0 0
[pid=5025/tid=5038] ppid=5023 vsize=10545020 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5038/stat : 5038 (java) S 5023 5025 2655 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 902546852 10798100480 16733 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 3 0 0 0
[pid=5025/tid=5039] ppid=5023 vsize=10545020 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5039/stat : 5039 (java) S 5023 5025 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902546854 10798100480 16733 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382780849 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5040] ppid=5023 vsize=10545020 CPUtime=0.21 cores=1,3,5,7
/proc/5025/task/5040/stat : 5040 (java) S 5023 5025 2655 0 -1 4202560 2215 0 0 0 21 0 0 0 18 0 19 0 902546854 10798100480 16733 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 7 0 0 0
[pid=5025/tid=5041] ppid=5023 vsize=10545020 CPUtime=0.16 cores=1,3,5,7
/proc/5025/task/5041/stat : 5041 (java) S 5023 5025 2655 0 -1 4202560 1556 0 0 0 16 0 0 0 15 0 19 0 902546854 10798100480 16733 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
[pid=5025/tid=5042] ppid=5023 vsize=10545020 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5042/stat : 5042 (java) S 5023 5025 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902546854 10798100480 16733 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5043] ppid=5023 vsize=10545020 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5043/stat : 5043 (java) S 5023 5025 2655 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902546854 10798100480 16733 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773760 0 4 0 16800975 18446604471132300224 0 0 -1 7 0 0 0
[pid=5025/tid=5044] ppid=5023 vsize=10545020 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5044/stat : 5044 (java) S 5023 5025 2655 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902546865 10798100480 16733 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773760 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.49
Current children cumulated vsize (KiB) 10545020

[startup+6.30078 s]
/proc/loadavg: 2.10 1.86 1.65 3/214 5044
/proc/meminfo: memFree=32161516/32951124 swapFree=67050044/67111528
[pid=5025] ppid=5023 vsize=10544368 CPUtime=6.7 cores=1,3,5,7
/proc/5025/stat : 5025 (java) S 5023 5025 2655 0 -1 4202496 18193 0 1 0 667 3 0 0 25 0 19 0 902546848 10797432832 16559 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5025/statm: 2636092 16559 2248 9 0 2626826 0
[pid=5025/tid=5027] ppid=5023 vsize=10544368 CPUtime=5.99 cores=1,3,5,7
/proc/5025/task/5027/stat : 5027 (java) R 5023 5025 2655 0 -1 4202560 11955 0 1 0 597 2 0 0 19 0 19 0 902546849 10797432832 16559 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 46912505574910 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5025/tid=5028] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5028/stat : 5028 (java) S 5023 5025 2655 0 -1 4202560 134 0 0 0 0 0 0 0 15 0 19 0 902546850 10797432832 16559 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 7 0 0 0
[pid=5025/tid=5029] ppid=5023 vsize=10544368 CPUtime=0.01 cores=1,3,5,7
/proc/5025/task/5029/stat : 5029 (java) S 5023 5025 2655 0 -1 4202560 156 0 0 0 1 0 0 0 16 0 19 0 902546850 10797432832 16559 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 7 0 0 0
[pid=5025/tid=5030] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5030/stat : 5030 (java) S 5023 5025 2655 0 -1 4202560 19 0 0 0 0 0 0 0 15 0 19 0 902546850 10797432832 16559 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5031] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5031/stat : 5031 (java) S 5023 5025 2655 0 -1 4202560 22 0 0 0 0 0 0 0 15 0 19 0 902546850 10797432832 16559 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5032] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5032/stat : 5032 (java) S 5023 5025 2655 0 -1 4202560 147 0 0 0 0 0 0 0 16 0 19 0 902546850 10797432832 16559 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5033] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5033/stat : 5033 (java) S 5023 5025 2655 0 -1 4202560 90 0 0 0 0 0 0 0 15 0 19 0 902546850 10797432832 16559 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
[pid=5025/tid=5034] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5034/stat : 5034 (java) S 5023 5025 2655 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 902546850 10797432832 16559 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
[pid=5025/tid=5035] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5035/stat : 5035 (java) S 5023 5025 2655 0 -1 4202560 89 0 0 0 0 0 0 0 15 0 19 0 902546850 10797432832 16559 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5036] ppid=5023 vsize=10544368 CPUtime=0.26 cores=1,3,5,7
/proc/5025/task/5036/stat : 5036 (java) S 5023 5025 2655 0 -1 4202560 656 0 0 0 26 0 0 0 15 0 19 0 902546851 10797432832 16559 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773760 0 0 0 16800975 18446604471132300224 0 0 -1 3 0 0 0
[pid=5025/tid=5037] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5037/stat : 5037 (java) S 5023 5025 2655 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902546852 10797432832 16559 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 3 0 0 0
[pid=5025/tid=5038] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5038/stat : 5038 (java) S 5023 5025 2655 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 902546852 10797432832 16559 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 3 0 0 0
[pid=5025/tid=5039] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5039/stat : 5039 (java) S 5023 5025 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902546854 10797432832 16559 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382780849 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5040] ppid=5023 vsize=10544368 CPUtime=0.21 cores=1,3,5,7
/proc/5025/task/5040/stat : 5040 (java) S 5023 5025 2655 0 -1 4202560 2215 0 0 0 21 0 0 0 18 0 19 0 902546854 10797432832 16559 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 7 0 0 0
[pid=5025/tid=5041] ppid=5023 vsize=10544368 CPUtime=0.16 cores=1,3,5,7
/proc/5025/task/5041/stat : 5041 (java) S 5023 5025 2655 0 -1 4202560 1556 0 0 0 16 0 0 0 15 0 19 0 902546854 10797432832 16559 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
[pid=5025/tid=5042] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5042/stat : 5042 (java) S 5023 5025 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902546854 10797432832 16559 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5043] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5043/stat : 5043 (java) R 5023 5025 2655 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902546854 10797432832 16559 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773760 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=5025/tid=5044] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5044/stat : 5044 (java) S 5023 5025 2655 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902546865 10797432832 16559 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773760 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 6.7
Current children cumulated vsize (KiB) 10544368

[startup+12.7006 s]

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

[pid=5025/tid=5034] ppid=5023 vsize=10544368 CPUtime=0.03 cores=1,3,5,7
/proc/5025/task/5034/stat : 5034 (java) S 5023 5025 2655 0 -1 4202560 9 0 0 0 3 0 0 0 15 0 19 0 902546850 10797432832 17012 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5035] ppid=5023 vsize=10544368 CPUtime=0.04 cores=1,3,5,7
/proc/5025/task/5035/stat : 5035 (java) S 5023 5025 2655 0 -1 4202560 95 0 0 0 4 0 0 0 15 0 19 0 902546850 10797432832 17012 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 7 0 0 0
[pid=5025/tid=5036] ppid=5023 vsize=10544368 CPUtime=2.5 cores=1,3,5,7
/proc/5025/task/5036/stat : 5036 (java) S 5023 5025 2655 0 -1 4202560 1017 0 0 0 248 2 0 0 15 0 19 0 902546851 10797432832 17012 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773760 0 0 0 16800975 18446604471132300224 0 0 -1 3 0 0 0
[pid=5025/tid=5037] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5037/stat : 5037 (java) S 5023 5025 2655 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902546852 10797432832 17012 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 3 0 0 0
[pid=5025/tid=5038] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5038/stat : 5038 (java) S 5023 5025 2655 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 902546852 10797432832 17012 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 3 0 0 0
[pid=5025/tid=5039] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5039/stat : 5039 (java) S 5023 5025 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902546854 10797432832 17012 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382780849 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5040] ppid=5023 vsize=10544368 CPUtime=0.24 cores=1,3,5,7
/proc/5025/task/5040/stat : 5040 (java) S 5023 5025 2655 0 -1 4202560 2589 0 0 0 24 0 0 0 15 0 19 0 902546854 10797432832 17012 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 7 0 0 0
[pid=5025/tid=5041] ppid=5023 vsize=10544368 CPUtime=0.16 cores=1,3,5,7
/proc/5025/task/5041/stat : 5041 (java) S 5023 5025 2655 0 -1 4202560 1556 0 0 0 16 0 0 0 15 0 19 0 902546854 10797432832 17012 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
[pid=5025/tid=5042] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5042/stat : 5042 (java) S 5023 5025 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902546854 10797432832 17012 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5043] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5043/stat : 5043 (java) S 5023 5025 2655 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 902546854 10797432832 17012 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773760 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
[pid=5025/tid=5044] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5044/stat : 5044 (java) S 5023 5025 2655 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902546865 10797432832 17012 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773760 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 61.27
Current children cumulated vsize (KiB) 10544368

[startup+61.501 s]
/proc/loadavg: 2.29 1.94 1.68 3/214 5046
/proc/meminfo: memFree=32159076/32951124 swapFree=67050044/67111528
[pid=5025] ppid=5023 vsize=10544368 CPUtime=62.08 cores=1,3,5,7
/proc/5025/stat : 5025 (java) S 5023 5025 2655 0 -1 4202496 19142 0 1 0 6202 6 0 0 25 0 19 0 902546848 10797432832 17012 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5025/statm: 2636092 17012 2249 9 0 2626826 0
[pid=5025/tid=5027] ppid=5023 vsize=10544368 CPUtime=58.72 cores=1,3,5,7
/proc/5025/task/5027/stat : 5027 (java) R 5023 5025 2655 0 -1 4202560 12123 0 1 0 5870 2 0 0 25 0 19 0 902546849 10797432832 17012 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 46912505529835 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5025/tid=5028] ppid=5023 vsize=10544368 CPUtime=0.05 cores=1,3,5,7
/proc/5025/task/5028/stat : 5028 (java) S 5023 5025 2655 0 -1 4202560 137 0 0 0 5 0 0 0 15 0 19 0 902546850 10797432832 17012 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
[pid=5025/tid=5029] ppid=5023 vsize=10544368 CPUtime=0.05 cores=1,3,5,7
/proc/5025/task/5029/stat : 5029 (java) S 5023 5025 2655 0 -1 4202560 163 0 0 0 5 0 0 0 16 0 19 0 902546850 10797432832 17012 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5030] ppid=5023 vsize=10544368 CPUtime=0.04 cores=1,3,5,7
/proc/5025/task/5030/stat : 5030 (java) S 5023 5025 2655 0 -1 4202560 24 0 0 0 4 0 0 0 15 0 19 0 902546850 10797432832 17012 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 7 0 0 0
[pid=5025/tid=5031] ppid=5023 vsize=10544368 CPUtime=0.03 cores=1,3,5,7
/proc/5025/task/5031/stat : 5031 (java) S 5023 5025 2655 0 -1 4202560 29 0 0 0 3 0 0 0 15 0 19 0 902546850 10797432832 17012 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
[pid=5025/tid=5032] ppid=5023 vsize=10544368 CPUtime=0.04 cores=1,3,5,7
/proc/5025/task/5032/stat : 5032 (java) S 5023 5025 2655 0 -1 4202560 147 0 0 0 4 0 0 0 15 0 19 0 902546850 10797432832 17012 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 7 0 0 0
[pid=5025/tid=5033] ppid=5023 vsize=10544368 CPUtime=0.06 cores=1,3,5,7
/proc/5025/task/5033/stat : 5033 (java) S 5023 5025 2655 0 -1 4202560 100 0 0 0 6 0 0 0 15 0 19 0 902546850 10797432832 17012 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
[pid=5025/tid=5034] ppid=5023 vsize=10544368 CPUtime=0.03 cores=1,3,5,7
/proc/5025/task/5034/stat : 5034 (java) S 5023 5025 2655 0 -1 4202560 9 0 0 0 3 0 0 0 15 0 19 0 902546850 10797432832 17012 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5035] ppid=5023 vsize=10544368 CPUtime=0.04 cores=1,3,5,7
/proc/5025/task/5035/stat : 5035 (java) S 5023 5025 2655 0 -1 4202560 95 0 0 0 4 0 0 0 16 0 19 0 902546850 10797432832 17012 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 7 0 0 0
[pid=5025/tid=5036] ppid=5023 vsize=10544368 CPUtime=2.54 cores=1,3,5,7
/proc/5025/task/5036/stat : 5036 (java) S 5023 5025 2655 0 -1 4202560 1017 0 0 0 252 2 0 0 15 0 19 0 902546851 10797432832 17012 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773760 0 0 0 16800975 18446604471132300224 0 0 -1 3 0 0 0
[pid=5025/tid=5037] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5037/stat : 5037 (java) S 5023 5025 2655 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902546852 10797432832 17012 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 3 0 0 0
[pid=5025/tid=5038] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5038/stat : 5038 (java) S 5023 5025 2655 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 902546852 10797432832 17012 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 3 0 0 0
[pid=5025/tid=5039] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5039/stat : 5039 (java) S 5023 5025 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902546854 10797432832 17012 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382780849 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5040] ppid=5023 vsize=10544368 CPUtime=0.24 cores=1,3,5,7
/proc/5025/task/5040/stat : 5040 (java) S 5023 5025 2655 0 -1 4202560 2589 0 0 0 24 0 0 0 15 0 19 0 902546854 10797432832 17012 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 7 0 0 0
[pid=5025/tid=5041] ppid=5023 vsize=10544368 CPUtime=0.16 cores=1,3,5,7
/proc/5025/task/5041/stat : 5041 (java) S 5023 5025 2655 0 -1 4202560 1556 0 0 0 16 0 0 0 15 0 19 0 902546854 10797432832 17012 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
[pid=5025/tid=5042] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5042/stat : 5042 (java) S 5023 5025 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902546854 10797432832 17012 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5043] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5043/stat : 5043 (java) S 5023 5025 2655 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 902546854 10797432832 17012 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773760 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
[pid=5025/tid=5044] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5044/stat : 5044 (java) S 5023 5025 2655 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902546865 10797432832 17012 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773760 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 62.08
Current children cumulated vsize (KiB) 10544368

[startup+61.9009 s]
/proc/loadavg: 2.29 1.94 1.68 3/214 5046
/proc/meminfo: memFree=32159076/32951124 swapFree=67050044/67111528
[pid=5025] ppid=5023 vsize=10544368 CPUtime=62.68 cores=1,3,5,7
/proc/5025/stat : 5025 (java) S 5023 5025 2655 0 -1 4202496 25061 0 1 0 6261 7 0 0 25 0 19 0 902546848 10797432832 21101 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5025/statm: 2636092 21101 2251 9 0 2626826 0
[pid=5025/tid=5027] ppid=5023 vsize=10544368 CPUtime=59.09 cores=1,3,5,7
/proc/5025/task/5027/stat : 5027 (java) R 5023 5025 2655 0 -1 4202560 12126 0 1 0 5907 2 0 0 25 0 19 0 902546849 10797432832 21101 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 46912505329190 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5025/tid=5028] ppid=5023 vsize=10544368 CPUtime=0.05 cores=1,3,5,7
/proc/5025/task/5028/stat : 5028 (java) S 5023 5025 2655 0 -1 4202560 137 0 0 0 5 0 0 0 15 0 19 0 902546850 10797432832 21101 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
[pid=5025/tid=5029] ppid=5023 vsize=10544368 CPUtime=0.05 cores=1,3,5,7
/proc/5025/task/5029/stat : 5029 (java) S 5023 5025 2655 0 -1 4202560 163 0 0 0 5 0 0 0 15 0 19 0 902546850 10797432832 21101 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5030] ppid=5023 vsize=10544368 CPUtime=0.04 cores=1,3,5,7
/proc/5025/task/5030/stat : 5030 (java) S 5023 5025 2655 0 -1 4202560 24 0 0 0 4 0 0 0 15 0 19 0 902546850 10797432832 21101 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
[pid=5025/tid=5031] ppid=5023 vsize=10544368 CPUtime=0.03 cores=1,3,5,7
/proc/5025/task/5031/stat : 5031 (java) S 5023 5025 2655 0 -1 4202560 29 0 0 0 3 0 0 0 15 0 19 0 902546850 10797432832 21101 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
[pid=5025/tid=5032] ppid=5023 vsize=10544368 CPUtime=0.04 cores=1,3,5,7
/proc/5025/task/5032/stat : 5032 (java) S 5023 5025 2655 0 -1 4202560 147 0 0 0 4 0 0 0 15 0 19 0 902546850 10797432832 21101 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5033] ppid=5023 vsize=10544368 CPUtime=0.06 cores=1,3,5,7
/proc/5025/task/5033/stat : 5033 (java) S 5023 5025 2655 0 -1 4202560 100 0 0 0 6 0 0 0 15 0 19 0 902546850 10797432832 21101 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
[pid=5025/tid=5034] ppid=5023 vsize=10544368 CPUtime=0.03 cores=1,3,5,7
/proc/5025/task/5034/stat : 5034 (java) S 5023 5025 2655 0 -1 4202560 9 0 0 0 3 0 0 0 15 0 19 0 902546850 10797432832 21101 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5035] ppid=5023 vsize=10544368 CPUtime=0.04 cores=1,3,5,7
/proc/5025/task/5035/stat : 5035 (java) S 5023 5025 2655 0 -1 4202560 95 0 0 0 4 0 0 0 15 0 19 0 902546850 10797432832 21101 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5036] ppid=5023 vsize=10544368 CPUtime=2.55 cores=1,3,5,7
/proc/5025/task/5036/stat : 5036 (java) S 5023 5025 2655 0 -1 4202560 1018 0 0 0 253 2 0 0 15 0 19 0 902546851 10797432832 21101 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773760 0 0 0 16800975 18446604471132300224 0 0 -1 3 0 0 0
[pid=5025/tid=5037] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5037/stat : 5037 (java) S 5023 5025 2655 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902546852 10797432832 21101 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 3 0 0 0
[pid=5025/tid=5038] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5038/stat : 5038 (java) S 5023 5025 2655 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 902546852 10797432832 21101 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 3 0 0 0
[pid=5025/tid=5039] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5039/stat : 5039 (java) S 5023 5025 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902546854 10797432832 21101 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382780849 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5040] ppid=5023 vsize=10544368 CPUtime=0.4 cores=1,3,5,7
/proc/5025/task/5040/stat : 5040 (java) R 5023 5025 2655 0 -1 4202560 8480 0 0 0 39 1 0 0 16 0 19 0 902546854 10797432832 21101 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 47378771847256 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=5025/tid=5041] ppid=5023 vsize=10544368 CPUtime=0.2 cores=1,3,5,7
/proc/5025/task/5041/stat : 5041 (java) S 5023 5025 2655 0 -1 4202560 1580 0 0 0 20 0 0 0 15 0 19 0 902546854 10797432832 21101 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
[pid=5025/tid=5042] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5042/stat : 5042 (java) S 5023 5025 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902546854 10797432832 21101 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5043] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5043/stat : 5043 (java) S 5023 5025 2655 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 902546854 10797432832 21101 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773760 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
[pid=5025/tid=5044] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5044/stat : 5044 (java) S 5023 5025 2655 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902546865 10797432832 21101 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773760 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 62.68
Current children cumulated vsize (KiB) 10544368

[startup+62.1008 s]
/proc/loadavg: 2.29 1.94 1.68 3/214 5046
/proc/meminfo: memFree=32159076/32951124 swapFree=67050044/67111528
[pid=5025] ppid=5023 vsize=10544368 CPUtime=63.07 cores=1,3,5,7
/proc/5025/stat : 5025 (java) S 5023 5025 2655 0 -1 4202496 26044 0 1 0 6299 8 0 0 25 0 19 0 902546848 10797432832 21189 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5025/statm: 2636092 21189 2251 9 0 2626826 0
[pid=5025/tid=5027] ppid=5023 vsize=10544368 CPUtime=59.29 cores=1,3,5,7
/proc/5025/task/5027/stat : 5027 (java) R 5023 5025 2655 0 -1 4202560 12126 0 1 0 5927 2 0 0 25 0 19 0 902546849 10797432832 21189 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 46912505837725 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5025/tid=5028] ppid=5023 vsize=10544368 CPUtime=0.05 cores=1,3,5,7
/proc/5025/task/5028/stat : 5028 (java) S 5023 5025 2655 0 -1 4202560 137 0 0 0 5 0 0 0 15 0 19 0 902546850 10797432832 21189 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
[pid=5025/tid=5029] ppid=5023 vsize=10544368 CPUtime=0.05 cores=1,3,5,7
/proc/5025/task/5029/stat : 5029 (java) S 5023 5025 2655 0 -1 4202560 163 0 0 0 5 0 0 0 15 0 19 0 902546850 10797432832 21189 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5030] ppid=5023 vsize=10544368 CPUtime=0.04 cores=1,3,5,7
/proc/5025/task/5030/stat : 5030 (java) S 5023 5025 2655 0 -1 4202560 24 0 0 0 4 0 0 0 15 0 19 0 902546850 10797432832 21189 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
[pid=5025/tid=5031] ppid=5023 vsize=10544368 CPUtime=0.03 cores=1,3,5,7
/proc/5025/task/5031/stat : 5031 (java) S 5023 5025 2655 0 -1 4202560 29 0 0 0 3 0 0 0 15 0 19 0 902546850 10797432832 21189 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
[pid=5025/tid=5032] ppid=5023 vsize=10544368 CPUtime=0.04 cores=1,3,5,7
/proc/5025/task/5032/stat : 5032 (java) S 5023 5025 2655 0 -1 4202560 147 0 0 0 4 0 0 0 15 0 19 0 902546850 10797432832 21189 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5033] ppid=5023 vsize=10544368 CPUtime=0.06 cores=1,3,5,7
/proc/5025/task/5033/stat : 5033 (java) S 5023 5025 2655 0 -1 4202560 100 0 0 0 6 0 0 0 15 0 19 0 902546850 10797432832 21189 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
[pid=5025/tid=5034] ppid=5023 vsize=10544368 CPUtime=0.03 cores=1,3,5,7
/proc/5025/task/5034/stat : 5034 (java) S 5023 5025 2655 0 -1 4202560 9 0 0 0 3 0 0 0 15 0 19 0 902546850 10797432832 21189 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5035] ppid=5023 vsize=10544368 CPUtime=0.04 cores=1,3,5,7
/proc/5025/task/5035/stat : 5035 (java) S 5023 5025 2655 0 -1 4202560 95 0 0 0 4 0 0 0 15 0 19 0 902546850 10797432832 21189 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5036] ppid=5023 vsize=10544368 CPUtime=2.55 cores=1,3,5,7
/proc/5025/task/5036/stat : 5036 (java) S 5023 5025 2655 0 -1 4202560 1018 0 0 0 253 2 0 0 15 0 19 0 902546851 10797432832 21189 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773760 0 0 0 16800975 18446604471132300224 0 0 -1 3 0 0 0
[pid=5025/tid=5037] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5037/stat : 5037 (java) S 5023 5025 2655 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902546852 10797432832 21189 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 3 0 0 0
[pid=5025/tid=5038] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5038/stat : 5038 (java) S 5023 5025 2655 0 -1 4202560 9 0 0 0 0 0 0 0 21 0 19 0 902546852 10797432832 21189 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 3 0 0 0
[pid=5025/tid=5039] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5039/stat : 5039 (java) S 5023 5025 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902546854 10797432832 21189 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382780849 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5040] ppid=5023 vsize=10544368 CPUtime=0.57 cores=1,3,5,7
/proc/5025/task/5040/stat : 5040 (java) R 5023 5025 2655 0 -1 4202560 9463 0 0 0 56 1 0 0 16 0 19 0 902546854 10797432832 21189 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 47378775108400 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=5025/tid=5041] ppid=5023 vsize=10544368 CPUtime=0.2 cores=1,3,5,7
/proc/5025/task/5041/stat : 5041 (java) S 5023 5025 2655 0 -1 4202560 1580 0 0 0 20 0 0 0 15 0 19 0 902546854 10797432832 21189 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
[pid=5025/tid=5042] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5042/stat : 5042 (java) S 5023 5025 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902546854 10797432832 21189 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773145 0 4 0 16800975 18446604471132300224 0 0 -1 1 0 0 0
[pid=5025/tid=5043] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5043/stat : 5043 (java) S 5023 5025 2655 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 902546854 10797432832 21189 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773760 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
[pid=5025/tid=5044] ppid=5023 vsize=10544368 CPUtime=0 cores=1,3,5,7
/proc/5025/task/5044/stat : 5044 (java) S 5023 5025 2655 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902546865 10797432832 21189 33554432000 1073741824 1073778376 140736540132368 18446744073709551615 218382773760 0 4 0 16800975 18446604471132300224 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 63.07
Current children cumulated vsize (KiB) 10544368

[startup+62.2009 s]
/proc/loadavg: 2.29 1.94 1.68 3/214 5046
/proc/meminfo: memFree=32159076/32951124 swapFree=67050044/67111528
[pid=5025] ppid=5023 vsize=0 CPUtime=63.23 cores=1,3,5,7
/proc/5025/stat : 5025 (java) Z 5023 5025 2655 0 -1 4203548 28725 0 1 0 6315 8 0 0 18 0 2 0 902546848 0 0 33554432000 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/5025/statm: 0 0 0 0 0 0 0
[pid=5025/tid=5027] ppid=5023 vsize=0 CPUtime=59.36 cores=1,3,5,7
/proc/5025/task/5027/stat : 5027 (java) R 5023 5025 2655 0 -1 4203588 12131 0 1 0 5934 2 0 0 25 0 2 0 902546849 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) 63.23
Current children cumulated vsize (KiB) 0

Child status: 30
Real time (s): 62.2026
CPU time (s): 63.2414
CPU user time (s): 63.1544
CPU system time (s): 0.086986
CPU usage (%): 101.67
Max. virtual memory (cumulated for all children) (KiB): 10545020

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 63.1544
system time used= 0.086986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28725
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= 6299
involuntary context switches= 2803

runsolver used 0.096985 second user time and 0.252961 second system time

The end

Launcher Data 

Begin job on node101 at 2011-06-12 22:10:41
IDJOB=3492321
IDBENCH=78750
IDSOLVER=1982
FILE ID=node101/3492321-1307909441
RUNJOBID= node101-1307908937-4736
PBS_JOBID= 13559601
Free space on /tmp= 74060 MiB

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

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

MD5SUM BENCH= eabed96e9c28cf15c9772fe79986c067
RANDOM SEED=587779519

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.841
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.841
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:      32220840 kB
Buffers:        118236 kB
Cached:         165544 kB
SwapCached:      24860 kB
Active:         447216 kB
Inactive:        97916 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32220840 kB
SwapTotal:    67111528 kB
SwapFree:     67050044 kB
Dirty:             196 kB
Writeback:           0 kB
AnonPages:      258952 kB
Mapped:          17496 kB
Slab:           120644 kB
PageTables:       5312 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10544064 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 /tmp at the end= 74060 MiB
End job on node101 at 2011-06-12 22:11:43