Trace number 3492707

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 75.1956 73.8087

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111223220--soft-0-100-0.wbo
MD5SUMeefb750387a2df9ca152a94906c66d6e
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark2.51262
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints101
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 4944
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 4943
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1230
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.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.08	c version 2.3.1.v20110525
0.03/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.08	c java.vm.version	19.1-b02
0.03/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.08	c sun.arch.data.model	64
0.03/0.08	c java.version		1.6.0_24
0.03/0.08	c os.name		Linux
0.03/0.08	c os.version		2.6.18-164.el5
0.03/0.08	c os.arch		amd64
0.03/0.08	c Free memory 		9996466904
0.03/0.08	c Max memory 		10048897024
0.03/0.08	c Total memory 		10048897024
0.03/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c Expensive reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3492707-1307911167.wbo
0.10/0.10	c reading problem ... 
0.10/0.16	c ... done. Wall clock time 0.055s.
0.10/0.16	c #vars     270
0.10/0.16	c #constraints  101
0.10/0.16	c constraints type 
0.10/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
0.10/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
0.30/0.23	c SATISFIABLE
0.30/0.23	c OPTIMIZING...
0.30/0.23	c Got one! Elapsed wall clock time (in seconds):0.131
0.30/0.23	o 689
0.30/0.26	c Got one! Elapsed wall clock time (in seconds):0.159
0.30/0.26	o 637
0.30/0.29	c Got one! Elapsed wall clock time (in seconds):0.191
0.30/0.29	o 608
0.30/0.30	c Got one! Elapsed wall clock time (in seconds):0.198
0.30/0.30	o 457
0.65/0.40	c Got one! Elapsed wall clock time (in seconds):0.298
0.65/0.40	o 433
0.65/0.42	c Got one! Elapsed wall clock time (in seconds):0.321
0.65/0.42	o 425
0.65/0.43	c Got one! Elapsed wall clock time (in seconds):0.331
0.65/0.43	o 413
0.88/0.64	c Got one! Elapsed wall clock time (in seconds):0.539
0.88/0.64	o 406
0.98/0.72	c cleaning 4172 clauses out of 8350 with flag 1003/8350
0.98/0.74	c Got one! Elapsed wall clock time (in seconds):0.638
0.98/0.74	o 385
1.34/1.01	c cleaning 4630 clauses out of 9275 with flag 5000/13447
1.34/1.03	c Got one! Elapsed wall clock time (in seconds):0.932
1.34/1.03	o 360
1.53/1.27	c cleaning 4909 clauses out of 9826 with flag 5002/18628
1.95/1.66	c cleaning 5453 clauses out of 10915 with flag 11000/24626
2.07/1.73	c Got one! Elapsed wall clock time (in seconds):1.628
2.07/1.73	o 326
2.17/1.85	c Got one! Elapsed wall clock time (in seconds):1.746
2.17/1.85	o 316
2.38/2.01	c cleaning 6004 clauses out of 12035 with flag 3000/31199
2.68/2.31	c cleaning 6015 clauses out of 12031 with flag 9000/37199
2.98/2.67	c cleaning 6501 clauses out of 13017 with flag 16001/44200
3.08/2.78	c Got one! Elapsed wall clock time (in seconds):2.681
3.08/2.78	o 314
3.18/2.85	c cleaning 5764 clauses out of 11533 with flag 2002/49217
3.48/3.11	c Got one! Elapsed wall clock time (in seconds):3.006
3.48/3.11	o 313
3.48/3.15	c cleaning 5876 clauses out of 11758 with flag 1000/55206
3.69/3.37	c Got one! Elapsed wall clock time (in seconds):3.263
3.69/3.37	o 275
3.99/3.62	c cleaning 8375 clauses out of 16761 with flag 5001/66085
4.29/3.97	c cleaning 7184 clauses out of 14385 with flag 11000/72084
4.69/4.37	c cleaning 7093 clauses out of 14201 with flag 18000/79084
4.89/4.57	c Got one! Elapsed wall clock time (in seconds):4.464
4.89/4.57	o 256
4.99/4.61	c cleaning 6194 clauses out of 12392 with flag 1001/84368
5.19/4.83	c cleaning 6096 clauses out of 12197 with flag 7000/90367
5.49/5.16	c cleaning 6547 clauses out of 13102 with flag 14001/97368
6.00/5.63	c cleaning 7272 clauses out of 14554 with flag 22000/105367
6.30/5.95	c Got one! Elapsed wall clock time (in seconds):5.843
6.30/5.95	o 254
6.50/6.14	c cleaning 9553 clauses out of 19109 with flag 5000/117194
6.70/6.38	c cleaning 7767 clauses out of 15556 with flag 11000/123194
6.80/6.44	c Got one! Elapsed wall clock time (in seconds):6.34
6.80/6.44	o 253
6.92/6.58	c cleaning 6501 clauses out of 13009 with flag 4000/128414
7.12/6.79	c cleaning 6251 clauses out of 12511 with flag 10003/134417
7.42/7.09	c cleaning 6623 clauses out of 13259 with flag 17002/141416
7.92/7.51	c cleaning 7310 clauses out of 14634 with flag 25000/149414
8.42/8.01	c cleaning 8154 clauses out of 16324 with flag 34000/158414
8.92/8.54	c cleaning 9083 clauses out of 18170 with flag 44000/168414
9.52/9.18	c cleaning 9528 clauses out of 19087 with flag 54000/178414
9.82/9.42	c Got one! Elapsed wall clock time (in seconds):9.314
9.82/9.42	o 245
9.92/9.50	c cleaning 7677 clauses out of 15360 with flag 2002/184215
10.13/9.75	c cleaning 6837 clauses out of 13681 with flag 8000/190213
10.43/10.04	c cleaning 6919 clauses out of 13845 with flag 15001/197214
10.83/10.42	c cleaning 7459 clauses out of 14925 with flag 23000/205213
10.83/10.49	c Got one! Elapsed wall clock time (in seconds):10.392
10.83/10.49	o 238
10.94/10.59	c Got one! Elapsed wall clock time (in seconds):10.483
10.94/10.59	o 202
11.04/10.67	c cleaning 6460 clauses out of 12927 with flag 2001/210674
11.44/11.04	c cleaning 6227 clauses out of 12466 with flag 8000/216673
11.84/11.40	c cleaning 6614 clauses out of 13239 with flag 15000/223673
12.14/11.74	c cleaning 7308 clauses out of 14625 with flag 23000/231673
12.64/12.25	c cleaning 8150 clauses out of 16319 with flag 32002/240675
13.14/12.72	c Got one! Elapsed wall clock time (in seconds):12.616
13.14/12.72	o 194
13.40/12.92	c cleaning 10593 clauses out of 21191 with flag 5001/253697
13.60/13.15	c cleaning 8296 clauses out of 16599 with flag 11002/259698
13.90/13.42	c cleaning 7645 clauses out of 15301 with flag 18000/266696
14.30/13.84	c cleaning 7826 clauses out of 15657 with flag 26001/274697
14.81/14.39	c cleaning 8405 clauses out of 16830 with flag 35000/283696
14.90/14.43	c Got one! Elapsed wall clock time (in seconds):14.33
14.90/14.43	o 188
15.10/14.63	c cleaning 6987 clauses out of 13978 with flag 5005/289249
15.30/14.87	c cleaning 6490 clauses out of 12987 with flag 11001/295245
15.60/15.14	c cleaning 6745 clauses out of 13496 with flag 18000/302244
15.91/15.45	c cleaning 7372 clauses out of 14751 with flag 26000/310244
16.30/15.87	c cleaning 8190 clauses out of 16383 with flag 35004/319248
17.01/16.51	c cleaning 9091 clauses out of 18191 with flag 45002/329246
17.51/17.09	c cleaning 9547 clauses out of 19099 with flag 55001/339245
18.11/17.69	c cleaning 9768 clauses out of 19553 with flag 65002/349246
18.71/18.29	c cleaning 9887 clauses out of 19783 with flag 75000/359244
19.03/18.59	c Got one! Elapsed wall clock time (in seconds):18.489
19.03/18.59	o 187
19.23/18.78	c cleaning 10188 clauses out of 20386 with flag 5000/369734
19.43/18.99	c cleaning 8097 clauses out of 16199 with flag 11001/375735
19.74/19.24	c cleaning 7543 clauses out of 15102 with flag 18001/382735
20.14/19.61	c cleaning 7768 clauses out of 15560 with flag 26002/390736
20.64/20.11	c cleaning 8390 clauses out of 16791 with flag 35001/399735
21.14/20.67	c cleaning 9193 clauses out of 18402 with flag 45002/409736
21.74/21.21	c cleaning 9599 clauses out of 19208 with flag 55001/419735
22.34/21.82	c cleaning 9800 clauses out of 19609 with flag 65001/429735
22.85/22.33	c Got one! Elapsed wall clock time (in seconds):22.223
22.85/22.33	o 176
23.07/22.52	c cleaning 11599 clauses out of 23205 with flag 5000/443131
23.27/22.75	c cleaning 8800 clauses out of 17607 with flag 11001/449132
23.47/23.00	c cleaning 7899 clauses out of 15809 with flag 18003/456134
23.77/23.28	c cleaning 7952 clauses out of 15909 with flag 26002/464133
24.17/23.60	c cleaning 8471 clauses out of 16955 with flag 35000/473131
24.47/23.98	c cleaning 9239 clauses out of 18484 with flag 45000/483131
25.07/24.50	c cleaning 9611 clauses out of 19245 with flag 55000/493131
25.57/25.03	c cleaning 9816 clauses out of 19636 with flag 65002/503133
26.07/25.58	c cleaning 9898 clauses out of 19818 with flag 75000/513131
26.27/25.72	c Got one! Elapsed wall clock time (in seconds):25.62
26.27/25.72	o 174
26.37/25.82	c cleaning 7677 clauses out of 15360 with flag 3001/518571
26.57/26.04	c cleaning 6835 clauses out of 13682 with flag 9000/524570
26.77/26.27	c cleaning 6914 clauses out of 13847 with flag 16000/531570
27.07/26.58	c cleaning 7454 clauses out of 14933 with flag 24000/539570
27.47/26.96	c cleaning 8234 clauses out of 16479 with flag 33000/548570
28.08/27.51	c cleaning 9117 clauses out of 18246 with flag 43001/558571
28.68/28.13	c cleaning 9561 clauses out of 19130 with flag 53002/568572
29.28/28.75	c cleaning 9777 clauses out of 19569 with flag 63002/578572
29.58/29.08	c Got one! Elapsed wall clock time (in seconds):28.977
29.58/29.08	o 167
29.78/29.27	c cleaning 10487 clauses out of 20977 with flag 5000/589757
29.98/29.49	c cleaning 8240 clauses out of 16490 with flag 11000/595757
30.29/29.72	c cleaning 7619 clauses out of 15250 with flag 18000/602757
30.58/30.00	c cleaning 7812 clauses out of 15632 with flag 26001/610758
30.88/30.33	c cleaning 8407 clauses out of 16820 with flag 35001/619758
31.29/30.70	c cleaning 9194 clauses out of 18412 with flag 45000/629757
31.79/31.24	c cleaning 9603 clauses out of 19218 with flag 55000/639757
32.29/31.78	c cleaning 9799 clauses out of 19616 with flag 65001/649758
32.89/32.32	c cleaning 9899 clauses out of 19816 with flag 75000/659757
33.39/32.87	c cleaning 9946 clauses out of 19917 with flag 85000/669757
33.99/33.43	c cleaning 9982 clauses out of 19973 with flag 95002/679759
34.49/33.96	c cleaning 9990 clauses out of 19993 with flag 105004/689761
34.99/34.48	c cleaning 9995 clauses out of 19999 with flag 115000/699757
35.49/34.95	c cleaning 10000 clauses out of 20004 with flag 125000/709757
35.99/35.49	c cleaning 9998 clauses out of 20004 with flag 135000/719757
36.59/36.06	c cleaning 9999 clauses out of 20008 with flag 145002/729759
36.70/36.17	c Got one! Elapsed wall clock time (in seconds):36.063
36.70/36.17	o 158
36.90/36.30	c cleaning 7915 clauses out of 15837 with flag 4000/735587
37.10/36.51	c cleaning 6958 clauses out of 13924 with flag 10002/741589
37.30/36.76	c Got one! Elapsed wall clock time (in seconds):36.652
37.30/36.76	o 141
37.50/36.95	c cleaning 9108 clauses out of 18222 with flag 5001/752845
37.70/37.16	c cleaning 7553 clauses out of 15117 with flag 11004/758848
37.90/37.39	c cleaning 7274 clauses out of 14561 with flag 18001/765845
38.40/37.82	c cleaning 7636 clauses out of 15287 with flag 26001/773845
38.80/38.29	c cleaning 8320 clauses out of 16650 with flag 35000/782844
39.40/38.85	c cleaning 9161 clauses out of 18331 with flag 45001/792845
39.90/39.35	c cleaning 9571 clauses out of 19169 with flag 55000/802844
40.40/39.87	c cleaning 9791 clauses out of 19599 with flag 65001/812845
40.90/40.38	c cleaning 9898 clauses out of 19810 with flag 75003/822847
41.50/40.94	c cleaning 9948 clauses out of 19910 with flag 85001/832845
42.00/41.44	c cleaning 9977 clauses out of 19962 with flag 95001/842845
42.11/41.54	c Got one! Elapsed wall clock time (in seconds):41.433
42.11/41.54	o 123
42.21/41.67	c cleaning 7949 clauses out of 15904 with flag 4001/848764
42.41/41.88	c cleaning 6972 clauses out of 13955 with flag 10001/854764
42.71/42.11	c cleaning 6987 clauses out of 13982 with flag 17000/861763
42.91/42.38	c cleaning 7495 clauses out of 14996 with flag 25001/869764
43.21/42.69	c cleaning 8245 clauses out of 16501 with flag 34001/878764
43.62/43.06	c cleaning 9125 clauses out of 18256 with flag 44001/888764
44.02/43.43	c cleaning 9559 clauses out of 19130 with flag 54000/898763
44.32/43.79	c cleaning 9784 clauses out of 19574 with flag 64003/908766
44.93/44.33	c cleaning 9884 clauses out of 19787 with flag 74000/918763
45.43/44.89	c cleaning 9945 clauses out of 19904 with flag 84001/928764
46.03/45.46	c cleaning 9974 clauses out of 19958 with flag 94000/938763
46.13/45.56	c Got one! Elapsed wall clock time (in seconds):45.462
46.13/45.56	o 104
46.33/45.70	c cleaning 7799 clauses out of 15610 with flag 4000/944389
46.53/45.91	c cleaning 6899 clauses out of 13811 with flag 10000/950389
46.74/46.14	c cleaning 6952 clauses out of 13913 with flag 17001/957390
47.04/46.42	c cleaning 7474 clauses out of 14961 with flag 25001/965390
47.34/46.73	c cleaning 8239 clauses out of 16486 with flag 34000/974389
47.74/47.10	c cleaning 9120 clauses out of 18249 with flag 44002/984391
48.04/47.47	c cleaning 9561 clauses out of 19127 with flag 54000/994389
48.45/47.84	c cleaning 9780 clauses out of 19567 with flag 64001/1004390
48.75/48.19	c cleaning 9888 clauses out of 19787 with flag 74001/1014390
49.15/48.55	c cleaning 9940 clauses out of 19901 with flag 84003/1024392
49.55/48.91	c cleaning 9975 clauses out of 19959 with flag 94001/1034390
49.95/49.37	c cleaning 9982 clauses out of 19983 with flag 104000/1044389
50.83/49.93	c cleaning 9996 clauses out of 20001 with flag 114000/1054389
51.82/50.53	c cleaning 10000 clauses out of 20005 with flag 124000/1064389
52.42/51.11	c cleaning 9993 clauses out of 20006 with flag 134001/1074390
52.93/51.62	c cleaning 9998 clauses out of 20013 with flag 144001/1084390
53.43/52.18	c cleaning 10000 clauses out of 20015 with flag 154001/1094390
54.04/52.72	c cleaning 10002 clauses out of 20014 with flag 164000/1104389
54.63/53.35	c cleaning 10004 clauses out of 20014 with flag 174002/1114391
55.24/53.96	c cleaning 9996 clauses out of 20008 with flag 184000/1124389
55.84/54.52	c cleaning 10000 clauses out of 20014 with flag 194002/1134391
56.44/55.16	c cleaning 10000 clauses out of 20012 with flag 204000/1144389
57.04/55.75	c cleaning 9999 clauses out of 20015 with flag 214003/1154392
57.64/56.32	c cleaning 9998 clauses out of 20013 with flag 224000/1164389
58.14/56.88	c cleaning 10006 clauses out of 20020 with flag 234005/1174394
58.75/57.41	c cleaning 10001 clauses out of 20009 with flag 244000/1184389
59.25/57.93	c cleaning 9998 clauses out of 20008 with flag 254000/1194389
59.75/58.47	c cleaning 9999 clauses out of 20013 with flag 264003/1204392
59.95/58.68	c Got one! Elapsed wall clock time (in seconds):58.576
59.95/58.68	o 95
60.05/58.75	c cleaning 7957 clauses out of 15923 with flag 2001/1210301
60.25/58.96	c cleaning 6976 clauses out of 13965 with flag 8000/1216300
60.55/59.22	c cleaning 6991 clauses out of 13990 with flag 15001/1223301
60.85/59.51	c cleaning 7495 clauses out of 15001 with flag 23003/1231303
61.15/59.82	c cleaning 8244 clauses out of 16503 with flag 32000/1240300
61.45/60.19	c cleaning 9126 clauses out of 18260 with flag 42001/1250301
61.86/60.55	c cleaning 9562 clauses out of 19135 with flag 52002/1260302
62.25/60.93	c cleaning 9781 clauses out of 19572 with flag 62001/1270301
62.65/61.39	c cleaning 9890 clauses out of 19791 with flag 72001/1280301
63.26/61.93	c cleaning 9946 clauses out of 19903 with flag 82003/1290303
63.76/62.49	c cleaning 9974 clauses out of 19957 with flag 92003/1300303
64.36/63.03	c cleaning 9985 clauses out of 19983 with flag 102003/1310303
64.96/63.61	c cleaning 9989 clauses out of 19996 with flag 112001/1320301
65.46/64.17	c cleaning 9997 clauses out of 20008 with flag 122002/1330302
66.06/64.74	c cleaning 10001 clauses out of 20010 with flag 132001/1340301
66.27/64.91	c Got one! Elapsed wall clock time (in seconds):64.808
66.27/64.91	o 94
66.27/64.98	c cleaning 7506 clauses out of 15017 with flag 2006/1345309
66.46/65.19	c cleaning 6749 clauses out of 13507 with flag 8002/1351305
66.76/65.44	c cleaning 6872 clauses out of 13756 with flag 15000/1358303
67.06/65.73	c cleaning 7439 clauses out of 14886 with flag 23002/1366305
67.37/66.04	c cleaning 8216 clauses out of 16445 with flag 32000/1375303
67.77/66.42	c cleaning 9113 clauses out of 18230 with flag 42001/1385304
68.17/66.80	c cleaning 9556 clauses out of 19117 with flag 52001/1395304
68.57/67.20	c cleaning 9777 clauses out of 19561 with flag 62001/1405304
68.87/67.56	c cleaning 9886 clauses out of 19783 with flag 72000/1415303
69.27/67.95	c cleaning 9944 clauses out of 19898 with flag 82001/1425304
69.67/68.32	c cleaning 9973 clauses out of 19956 with flag 92003/1435306
70.07/68.74	c cleaning 9983 clauses out of 19980 with flag 102000/1445303
70.58/69.30	c cleaning 9993 clauses out of 19997 with flag 112000/1455303
71.17/69.86	c cleaning 9997 clauses out of 20005 with flag 122001/1465304
71.68/70.40	c cleaning 9999 clauses out of 20009 with flag 132002/1475305
72.07/70.77	c Got one! Elapsed wall clock time (in seconds):70.668
72.07/70.77	o 93
72.27/70.98	c cleaning 11125 clauses out of 22260 with flag 5000/1487555
72.57/71.21	c cleaning 8563 clauses out of 17136 with flag 11001/1493556
72.78/71.45	c cleaning 7781 clauses out of 15572 with flag 18000/1500555
73.08/71.73	c cleaning 7892 clauses out of 15791 with flag 26000/1508555
73.38/72.05	c cleaning 8443 clauses out of 16899 with flag 35000/1517555
73.78/72.43	c cleaning 9223 clauses out of 18457 with flag 45001/1527556
74.18/72.81	c cleaning 9613 clauses out of 19234 with flag 55001/1537556
74.48/73.19	c cleaning 9807 clauses out of 19621 with flag 65001/1547556
74.88/73.55	c cleaning 9900 clauses out of 19813 with flag 75000/1557555
75.09/73.78	c Got one! Elapsed wall clock time (in seconds):73.673
75.09/73.78	o 1
75.09/73.79	c starts		: 224
75.09/73.79	c conflicts		: 1564278
75.09/73.79	c decisions		: 2600232
75.09/73.79	c propagations		: 51471239
75.09/73.79	c inspects		: 359004806
75.09/73.79	c shortcuts		: 0
75.09/73.79	c learnt literals	: 0
75.09/73.79	c learnt binary clauses	: 73
75.09/73.79	c learnt ternary clauses	: 1649
75.09/73.79	c learnt constraints	: 1564278
75.09/73.79	c ignored constraints	: 0
75.09/73.79	c root simplifications	: 0
75.09/73.79	c removed literals (reason simplification)	: 5669704
75.09/73.79	c reason swapping (by a shorter reason)	: 0
75.09/73.79	c Calls to reduceDB	: 180
75.09/73.79	c number of reductions to clauses (during analyze)	: 0
75.09/73.79	c number of learned constraints concerned by reduction	: 0
75.09/73.79	c number of learning phase by resolution	: 0
75.09/73.79	c number of learning phase by cutting planes	: 0
75.09/73.79	c speed (assignments/second)	: 4.679203545454546E9
75.09/73.79	c non guided choices	2240
75.09/73.79	c learnt constraints type 
75.09/73.79	c constraints type 
75.09/73.79	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
75.09/73.79	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
75.09/73.79	s OPTIMUM FOUND
75.09/73.79	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 
75.09/73.79	c objective function=1
75.09/73.79	c Total wall clock time (in seconds): 73.685

Verifier Data 

OK	1

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-3492707-1307911167/watcher-3492707-1307911167 -o /var/tmp/evaluation-result-3492707-1307911167/solver-3492707-1307911167 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492707-1307911167.wbo 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.01 2.03 1.93 3/195 1188
/proc/meminfo: memFree=1212552/32950928 swapFree=67055948/67111528
[pid=1188] ppid=1186 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/1188/stat : 1188 (java) R 1186 1188 30857 0 -1 4202496 713 0 0 0 0 0 0 0 25 0 1 0 902716417 23580672 456 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208075269888 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/1188/statm: 5757 467 353 9 0 124 0
[pid=1188/tid=1189] ppid=1186 vsize=30540 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1189/stat : 1189 (java) R 1186 1188 30857 0 -1 4202560 126 0 0 0 0 0 0 0 25 0 2 0 902716417 31272960 960 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208080232251 0 0 0 16784584 0 0 0 -1 4 0 0 0

[startup+0.0394511 s]
/proc/loadavg: 2.01 2.03 1.93 3/195 1188
/proc/meminfo: memFree=1212552/32950928 swapFree=67055948/67111528
[pid=1188] ppid=1186 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/1188/stat : 1188 (java) S 1186 1188 30857 0 -1 4202496 11220 0 1 0 2 1 0 0 25 0 13 0 902716417 10718699520 10916 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092035045 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/1188/statm: 2616870 10916 1669 9 0 2607618 0
[pid=1188/tid=1189] ppid=1186 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/1188/task/1189/stat : 1189 (java) R 1186 1188 30857 0 -1 4202560 10072 0 1 0 2 1 0 0 25 0 13 0 902716417 10718699520 10917 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 47129781990147 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480

[startup+0.100442 s]
/proc/loadavg: 2.01 2.03 1.93 3/195 1188
/proc/meminfo: memFree=1212552/32950928 swapFree=67055948/67111528
[pid=1188] ppid=1186 vsize=10539980 CPUtime=0.1 cores=0,2,4,6
/proc/1188/stat : 1188 (java) S 1186 1188 30857 0 -1 4202496 13129 0 1 0 9 1 0 0 25 0 18 0 902716417 10792939520 12824 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1188/statm: 2634995 12824 2092 9 0 2625729 0
[pid=1188/tid=1189] ppid=1186 vsize=10539980 CPUtime=0.08 cores=0,2,4,6
/proc/1188/task/1189/stat : 1189 (java) R 1186 1188 30857 0 -1 4202560 11215 0 1 0 7 1 0 0 18 0 18 0 902716417 10792939520 12824 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 47129785050648 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539980

[startup+0.307455 s]
/proc/loadavg: 2.01 2.03 1.93 3/195 1188
/proc/meminfo: memFree=1212552/32950928 swapFree=67055948/67111528
[pid=1188] ppid=1186 vsize=10545872 CPUtime=0.54 cores=0,2,4,6
/proc/1188/stat : 1188 (java) S 1186 1188 30857 0 -1 4202496 16391 0 1 0 52 2 0 0 25 0 19 0 902716417 10798972928 14769 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1188/statm: 2636468 14769 2214 9 0 2627202 0
[pid=1188/tid=1189] ppid=1186 vsize=10545872 CPUtime=0.29 cores=0,2,4,6
/proc/1188/task/1189/stat : 1189 (java) R 1186 1188 30857 0 -1 4202560 11851 0 1 0 28 1 0 0 19 0 19 0 902716417 10798972928 14769 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 46912505513607 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.54
Current children cumulated vsize (KiB) 10545872

[startup+0.70034 s]
/proc/loadavg: 2.01 2.03 1.93 3/195 1188
/proc/meminfo: memFree=1212552/32950928 swapFree=67055948/67111528
[pid=1188] ppid=1186 vsize=10545872 CPUtime=0.98 cores=0,2,4,6
/proc/1188/stat : 1188 (java) S 1186 1188 30857 0 -1 4202496 16966 0 1 0 96 2 0 0 25 0 19 0 902716417 10798972928 15333 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1188/statm: 2636468 15333 2218 9 0 2627202 0
[pid=1188/tid=1189] ppid=1186 vsize=10545872 CPUtime=0.69 cores=0,2,4,6
/proc/1188/task/1189/stat : 1189 (java) R 1186 1188 30857 0 -1 4202560 12391 0 1 0 67 2 0 0 19 0 19 0 902716417 10798972928 15333 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 46912505216952 0 4 0 16800975 0 0 0 -1 4 0 0 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 10545872

[startup+1.50123 s]
/proc/loadavg: 2.01 2.03 1.93 3/214 1207
/proc/meminfo: memFree=1156376/32950928 swapFree=67055948/67111528
[pid=1188] ppid=1186 vsize=10545872 CPUtime=1.85 cores=0,2,4,6
/proc/1188/stat : 1188 (java) S 1186 1188 30857 0 -1 4202496 17977 0 1 0 183 2 0 0 25 0 19 0 902716417 10798972928 16327 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1188/statm: 2636468 16327 2246 9 0 2627202 0
[pid=1188/tid=1189] ppid=1186 vsize=10545872 CPUtime=1.45 cores=0,2,4,6
/proc/1188/task/1189/stat : 1189 (java) R 1186 1188 30857 0 -1 4202560 12398 0 1 0 143 2 0 0 20 0 19 0 902716417 10798972928 16327 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 46912505552382 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1188/tid=1191] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1191/stat : 1191 (java) S 1186 1188 30857 0 -1 4202560 142 0 0 0 0 0 0 0 15 0 19 0 902716419 10798972928 16327 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 2 0 0 0
[pid=1188/tid=1192] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1192/stat : 1192 (java) S 1186 1188 30857 0 -1 4202560 2 0 0 0 0 0 0 0 16 0 19 0 902716419 10798972928 16327 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 2 0 0 0
[pid=1188/tid=1193] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1193/stat : 1193 (java) S 1186 1188 30857 0 -1 4202560 32 0 0 0 0 0 0 0 16 0 19 0 902716419 10798972928 16327 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 6 0 0 0
[pid=1188/tid=1194] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1194/stat : 1194 (java) S 1186 1188 30857 0 -1 4202560 29 0 0 0 0 0 0 0 15 0 19 0 902716419 10798972928 16327 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 2 0 0 0
[pid=1188/tid=1195] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1195/stat : 1195 (java) S 1186 1188 30857 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902716419 10798972928 16327 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
[pid=1188/tid=1196] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1196/stat : 1196 (java) S 1186 1188 30857 0 -1 4202560 153 0 0 0 0 0 0 0 15 0 19 0 902716419 10798972928 16327 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
[pid=1188/tid=1197] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1197/stat : 1197 (java) S 1186 1188 30857 0 -1 4202560 51 0 0 0 0 0 0 0 15 0 19 0 902716419 10798972928 16327 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 6 0 0 0
[pid=1188/tid=1198] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1198/stat : 1198 (java) S 1186 1188 30857 0 -1 4202560 144 0 0 0 0 0 0 0 15 0 19 0 902716419 10798972928 16327 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 2 0 0 0
[pid=1188/tid=1199] ppid=1186 vsize=10545872 CPUtime=0.03 cores=0,2,4,6
/proc/1188/task/1199/stat : 1199 (java) S 1186 1188 30857 0 -1 4202560 428 0 0 0 3 0 0 0 16 0 19 0 902716420 10798972928 16327 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048896 0 0 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1200] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1200/stat : 1200 (java) S 1186 1188 30857 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902716420 10798972928 16327 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1201] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1201/stat : 1201 (java) S 1186 1188 30857 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902716420 10798972928 16327 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1202] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1202/stat : 1202 (java) S 1186 1188 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902716422 10798972928 16327 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092055985 0 4 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1203] ppid=1186 vsize=10545872 CPUtime=0.17 cores=0,2,4,6
/proc/1188/task/1203/stat : 1203 (java) S 1186 1188 30857 0 -1 4202560 2714 0 0 0 17 0 0 0 15 0 19 0 902716422 10798972928 16327 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
[pid=1188/tid=1204] ppid=1186 vsize=10545872 CPUtime=0.17 cores=0,2,4,6
/proc/1188/task/1204/stat : 1204 (java) S 1186 1188 30857 0 -1 4202560 732 0 0 0 17 0 0 0 15 0 19 0 902716422 10798972928 16327 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 2 0 0 0
[pid=1188/tid=1205] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1205/stat : 1205 (java) S 1186 1188 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902716422 10798972928 16327 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1206] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1206/stat : 1206 (java) S 1186 1188 30857 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902716422 10798972928 16327 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048896 0 4 0 16800975 18446604453588257664 0 0 -1 6 0 0 0
[pid=1188/tid=1207] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1207/stat : 1207 (java) S 1186 1188 30857 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902716433 10798972928 16327 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048896 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.85
Current children cumulated vsize (KiB) 10545872

[startup+3.10093 s]
/proc/loadavg: 2.01 2.03 1.93 3/214 1207
/proc/meminfo: memFree=1154020/32950928 swapFree=67055948/67111528
[pid=1188] ppid=1186 vsize=10545872 CPUtime=3.48 cores=0,2,4,6
/proc/1188/stat : 1188 (java) S 1186 1188 30857 0 -1 4202496 18299 0 1 0 346 2 0 0 25 0 19 0 902716417 10798972928 16475 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1188/statm: 2636468 16475 2247 9 0 2627202 0
[pid=1188/tid=1189] ppid=1186 vsize=10545872 CPUtime=2.98 cores=0,2,4,6
/proc/1188/task/1189/stat : 1189 (java) R 1186 1188 30857 0 -1 4202560 12404 0 1 0 296 2 0 0 25 0 19 0 902716417 10798972928 16475 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 46912505537815 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1188/tid=1191] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1191/stat : 1191 (java) S 1186 1188 30857 0 -1 4202560 144 0 0 0 0 0 0 0 15 0 19 0 902716419 10798972928 16475 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
[pid=1188/tid=1192] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1192/stat : 1192 (java) S 1186 1188 30857 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902716419 10798972928 16475 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 2 0 0 0
[pid=1188/tid=1193] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1193/stat : 1193 (java) S 1186 1188 30857 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 19 0 902716419 10798972928 16475 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1194] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1194/stat : 1194 (java) S 1186 1188 30857 0 -1 4202560 34 0 0 0 0 0 0 0 16 0 19 0 902716419 10798972928 16475 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 2 0 0 0
[pid=1188/tid=1195] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1195/stat : 1195 (java) S 1186 1188 30857 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 902716419 10798972928 16475 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 6 0 0 0
[pid=1188/tid=1196] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1196/stat : 1196 (java) S 1186 1188 30857 0 -1 4202560 154 0 0 0 0 0 0 0 16 0 19 0 902716419 10798972928 16475 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
[pid=1188/tid=1197] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1197/stat : 1197 (java) S 1186 1188 30857 0 -1 4202560 51 0 0 0 0 0 0 0 16 0 19 0 902716419 10798972928 16475 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 6 0 0 0
[pid=1188/tid=1198] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1198/stat : 1198 (java) S 1186 1188 30857 0 -1 4202560 155 0 0 0 0 0 0 0 15 0 19 0 902716419 10798972928 16475 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
[pid=1188/tid=1199] ppid=1186 vsize=10545872 CPUtime=0.09 cores=0,2,4,6
/proc/1188/task/1199/stat : 1199 (java) S 1186 1188 30857 0 -1 4202560 542 0 0 0 9 0 0 0 16 0 19 0 902716420 10798972928 16475 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048896 0 0 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1200] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1200/stat : 1200 (java) S 1186 1188 30857 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902716420 10798972928 16475 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1201] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1201/stat : 1201 (java) S 1186 1188 30857 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902716420 10798972928 16475 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1202] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1202/stat : 1202 (java) S 1186 1188 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902716422 10798972928 16475 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092055985 0 4 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1203] ppid=1186 vsize=10545872 CPUtime=0.2 cores=0,2,4,6
/proc/1188/task/1203/stat : 1203 (java) S 1186 1188 30857 0 -1 4202560 2889 0 0 0 20 0 0 0 15 0 19 0 902716422 10798972928 16475 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
[pid=1188/tid=1204] ppid=1186 vsize=10545872 CPUtime=0.17 cores=0,2,4,6
/proc/1188/task/1204/stat : 1204 (java) S 1186 1188 30857 0 -1 4202560 732 0 0 0 17 0 0 0 15 0 19 0 902716422 10798972928 16475 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 2 0 0 0
[pid=1188/tid=1205] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1205/stat : 1205 (java) S 1186 1188 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902716422 10798972928 16475 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1206] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1206/stat : 1206 (java) S 1186 1188 30857 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902716422 10798972928 16475 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048896 0 4 0 16800975 18446604453588257664 0 0 -1 6 0 0 0
[pid=1188/tid=1207] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1207/stat : 1207 (java) S 1186 1188 30857 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902716433 10798972928 16475 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048896 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 10545872

[startup+6.30121 s]
/proc/loadavg: 2.01 2.03 1.93 3/214 1207
/proc/meminfo: memFree=1151780/32950928 swapFree=67055948/67111528
[pid=1188] ppid=1186 vsize=10545872 CPUtime=6.7 cores=0,2,4,6
/proc/1188/stat : 1188 (java) S 1186 1188 30857 0 -1 4202496 18703 0 1 0 668 2 0 0 25 0 19 0 902716417 10798972928 16841 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1188/statm: 2636468 16841 2248 9 0 2627202 0
[pid=1188/tid=1189] ppid=1186 vsize=10545872 CPUtime=6.06 cores=0,2,4,6
/proc/1188/task/1189/stat : 1189 (java) R 1186 1188 30857 0 -1 4202560 12414 0 1 0 604 2 0 0 25 0 19 0 902716417 10798972928 16841 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 46912505609574 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1188/tid=1191] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1191/stat : 1191 (java) S 1186 1188 30857 0 -1 4202560 188 0 0 0 0 0 0 0 15 0 19 0 902716419 10798972928 16841 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 6 0 0 0
[pid=1188/tid=1192] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1192/stat : 1192 (java) S 1186 1188 30857 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902716419 10798972928 16841 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 2 0 0 0
[pid=1188/tid=1193] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1193/stat : 1193 (java) S 1186 1188 30857 0 -1 4202560 64 0 0 0 0 0 0 0 15 0 19 0 902716419 10798972928 16841 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 2 0 0 0
[pid=1188/tid=1194] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1194/stat : 1194 (java) S 1186 1188 30857 0 -1 4202560 50 0 0 0 0 0 0 0 15 0 19 0 902716419 10798972928 16841 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 2 0 0 0
[pid=1188/tid=1195] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1195/stat : 1195 (java) S 1186 1188 30857 0 -1 4202560 87 0 0 0 0 0 0 0 15 0 19 0 902716419 10798972928 16841 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 6 0 0 0
[pid=1188/tid=1196] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1196/stat : 1196 (java) S 1186 1188 30857 0 -1 4202560 259 0 0 0 0 0 0 0 15 0 19 0 902716419 10798972928 16841 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
[pid=1188/tid=1197] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1197/stat : 1197 (java) S 1186 1188 30857 0 -1 4202560 52 0 0 0 0 0 0 0 15 0 19 0 902716419 10798972928 16841 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 6 0 0 0
[pid=1188/tid=1198] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1198/stat : 1198 (java) S 1186 1188 30857 0 -1 4202560 161 0 0 0 0 0 0 0 16 0 19 0 902716419 10798972928 16841 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 6 0 0 0
[pid=1188/tid=1199] ppid=1186 vsize=10545872 CPUtime=0.2 cores=0,2,4,6
/proc/1188/task/1199/stat : 1199 (java) S 1186 1188 30857 0 -1 4202560 622 0 0 0 20 0 0 0 16 0 19 0 902716420 10798972928 16841 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048896 0 0 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1200] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1200/stat : 1200 (java) S 1186 1188 30857 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902716420 10798972928 16841 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1201] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1201/stat : 1201 (java) S 1186 1188 30857 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902716420 10798972928 16841 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1202] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1202/stat : 1202 (java) S 1186 1188 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902716422 10798972928 16841 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092055985 0 4 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1203] ppid=1186 vsize=10545872 CPUtime=0.21 cores=0,2,4,6
/proc/1188/task/1203/stat : 1203 (java) S 1186 1188 30857 0 -1 4202560 2920 0 0 0 21 0 0 0 15 0 19 0 902716422 10798972928 16841 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
[pid=1188/tid=1204] ppid=1186 vsize=10545872 CPUtime=0.17 cores=0,2,4,6
/proc/1188/task/1204/stat : 1204 (java) S 1186 1188 30857 0 -1 4202560 732 0 0 0 17 0 0 0 15 0 19 0 902716422 10798972928 16841 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 2 0 0 0

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

/proc/1188/statm: 2636468 21542 2250 9 0 2627202 0
[pid=1188/tid=1189] ppid=1186 vsize=10545872 CPUtime=70.09 cores=0,2,4,6
/proc/1188/task/1189/stat : 1189 (java) R 1186 1188 30857 0 -1 4202560 12577 0 1 0 7007 2 0 0 25 0 19 0 902716417 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 46912505532208 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1188/tid=1191] ppid=1186 vsize=10545872 CPUtime=0.05 cores=0,2,4,6
/proc/1188/task/1191/stat : 1191 (java) S 1186 1188 30857 0 -1 4202560 214 0 0 0 5 0 0 0 15 0 19 0 902716419 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
[pid=1188/tid=1192] ppid=1186 vsize=10545872 CPUtime=0.05 cores=0,2,4,6
/proc/1188/task/1192/stat : 1192 (java) S 1186 1188 30857 0 -1 4202560 16 0 0 0 5 0 0 0 16 0 19 0 902716419 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 6 0 0 0
[pid=1188/tid=1193] ppid=1186 vsize=10545872 CPUtime=0.05 cores=0,2,4,6
/proc/1188/task/1193/stat : 1193 (java) S 1186 1188 30857 0 -1 4202560 99 0 0 0 5 0 0 0 15 0 19 0 902716419 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
[pid=1188/tid=1194] ppid=1186 vsize=10545872 CPUtime=0.04 cores=0,2,4,6
/proc/1188/task/1194/stat : 1194 (java) S 1186 1188 30857 0 -1 4202560 64 0 0 0 4 0 0 0 15 0 19 0 902716419 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 2 0 0 0
[pid=1188/tid=1195] ppid=1186 vsize=10545872 CPUtime=0.05 cores=0,2,4,6
/proc/1188/task/1195/stat : 1195 (java) S 1186 1188 30857 0 -1 4202560 106 0 0 0 5 0 0 0 15 0 19 0 902716419 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 6 0 0 0
[pid=1188/tid=1196] ppid=1186 vsize=10545872 CPUtime=0.05 cores=0,2,4,6
/proc/1188/task/1196/stat : 1196 (java) S 1186 1188 30857 0 -1 4202560 313 0 0 0 5 0 0 0 15 0 19 0 902716419 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
[pid=1188/tid=1197] ppid=1186 vsize=10545872 CPUtime=0.04 cores=0,2,4,6
/proc/1188/task/1197/stat : 1197 (java) S 1186 1188 30857 0 -1 4202560 68 0 0 0 4 0 0 0 15 0 19 0 902716419 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 2 0 0 0
[pid=1188/tid=1198] ppid=1186 vsize=10545872 CPUtime=0.04 cores=0,2,4,6
/proc/1188/task/1198/stat : 1198 (java) S 1186 1188 30857 0 -1 4202560 161 0 0 0 4 0 0 0 15 0 19 0 902716419 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
[pid=1188/tid=1199] ppid=1186 vsize=10545872 CPUtime=2.36 cores=0,2,4,6
/proc/1188/task/1199/stat : 1199 (java) S 1186 1188 30857 0 -1 4202560 1183 0 0 0 235 1 0 0 16 0 19 0 902716420 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048896 0 0 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1200] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1200/stat : 1200 (java) S 1186 1188 30857 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902716420 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1201] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1201/stat : 1201 (java) S 1186 1188 30857 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902716420 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1202] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1202/stat : 1202 (java) S 1186 1188 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902716422 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092055985 0 4 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1203] ppid=1186 vsize=10545872 CPUtime=0.93 cores=0,2,4,6
/proc/1188/task/1203/stat : 1203 (java) S 1186 1188 30857 0 -1 4202560 14535 0 0 0 92 1 0 0 15 0 19 0 902716422 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
[pid=1188/tid=1204] ppid=1186 vsize=10545872 CPUtime=0.24 cores=0,2,4,6
/proc/1188/task/1204/stat : 1204 (java) S 1186 1188 30857 0 -1 4202560 801 0 0 0 24 0 0 0 16 0 19 0 902716422 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 2 0 0 0
[pid=1188/tid=1205] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1205/stat : 1205 (java) S 1186 1188 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902716422 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1206] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1206/stat : 1206 (java) S 1186 1188 30857 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902716422 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048896 0 4 0 16800975 18446604453588257664 0 0 -1 2 0 0 0
[pid=1188/tid=1207] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1207/stat : 1207 (java) S 1186 1188 30857 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902716433 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048896 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 74.08
Current children cumulated vsize (KiB) 10545872

[startup+73.5015 s]
/proc/loadavg: 2.00 2.02 1.93 3/214 1209
/proc/meminfo: memFree=1130096/32950928 swapFree=67055948/67111528
[pid=1188] ppid=1186 vsize=10545872 CPUtime=74.88 cores=0,2,4,6
/proc/1188/stat : 1188 (java) S 1186 1188 30857 0 -1 4202496 31294 0 1 0 7482 6 0 0 25 0 19 0 902716417 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1188/statm: 2636468 21542 2250 9 0 2627202 0
[pid=1188/tid=1189] ppid=1186 vsize=10545872 CPUtime=70.86 cores=0,2,4,6
/proc/1188/task/1189/stat : 1189 (java) R 1186 1188 30857 0 -1 4202560 12579 0 1 0 7084 2 0 0 25 0 19 0 902716417 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 46912505524104 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1188/tid=1191] ppid=1186 vsize=10545872 CPUtime=0.05 cores=0,2,4,6
/proc/1188/task/1191/stat : 1191 (java) S 1186 1188 30857 0 -1 4202560 214 0 0 0 5 0 0 0 15 0 19 0 902716419 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
[pid=1188/tid=1192] ppid=1186 vsize=10545872 CPUtime=0.05 cores=0,2,4,6
/proc/1188/task/1192/stat : 1192 (java) S 1186 1188 30857 0 -1 4202560 16 0 0 0 5 0 0 0 15 0 19 0 902716419 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 6 0 0 0
[pid=1188/tid=1193] ppid=1186 vsize=10545872 CPUtime=0.05 cores=0,2,4,6
/proc/1188/task/1193/stat : 1193 (java) S 1186 1188 30857 0 -1 4202560 99 0 0 0 5 0 0 0 15 0 19 0 902716419 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
[pid=1188/tid=1194] ppid=1186 vsize=10545872 CPUtime=0.04 cores=0,2,4,6
/proc/1188/task/1194/stat : 1194 (java) S 1186 1188 30857 0 -1 4202560 64 0 0 0 4 0 0 0 15 0 19 0 902716419 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 2 0 0 0
[pid=1188/tid=1195] ppid=1186 vsize=10545872 CPUtime=0.05 cores=0,2,4,6
/proc/1188/task/1195/stat : 1195 (java) S 1186 1188 30857 0 -1 4202560 106 0 0 0 5 0 0 0 15 0 19 0 902716419 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 6 0 0 0
[pid=1188/tid=1196] ppid=1186 vsize=10545872 CPUtime=0.05 cores=0,2,4,6
/proc/1188/task/1196/stat : 1196 (java) S 1186 1188 30857 0 -1 4202560 313 0 0 0 5 0 0 0 15 0 19 0 902716419 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
[pid=1188/tid=1197] ppid=1186 vsize=10545872 CPUtime=0.05 cores=0,2,4,6
/proc/1188/task/1197/stat : 1197 (java) S 1186 1188 30857 0 -1 4202560 68 0 0 0 5 0 0 0 16 0 19 0 902716419 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 2 0 0 0
[pid=1188/tid=1198] ppid=1186 vsize=10545872 CPUtime=0.04 cores=0,2,4,6
/proc/1188/task/1198/stat : 1198 (java) S 1186 1188 30857 0 -1 4202560 161 0 0 0 4 0 0 0 16 0 19 0 902716419 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
[pid=1188/tid=1199] ppid=1186 vsize=10545872 CPUtime=2.39 cores=0,2,4,6
/proc/1188/task/1199/stat : 1199 (java) S 1186 1188 30857 0 -1 4202560 1183 0 0 0 238 1 0 0 16 0 19 0 902716420 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048896 0 0 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1200] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1200/stat : 1200 (java) S 1186 1188 30857 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902716420 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1201] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1201/stat : 1201 (java) S 1186 1188 30857 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902716420 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1202] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1202/stat : 1202 (java) S 1186 1188 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902716422 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092055985 0 4 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1203] ppid=1186 vsize=10545872 CPUtime=0.93 cores=0,2,4,6
/proc/1188/task/1203/stat : 1203 (java) S 1186 1188 30857 0 -1 4202560 14535 0 0 0 92 1 0 0 15 0 19 0 902716422 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
[pid=1188/tid=1204] ppid=1186 vsize=10545872 CPUtime=0.24 cores=0,2,4,6
/proc/1188/task/1204/stat : 1204 (java) S 1186 1188 30857 0 -1 4202560 801 0 0 0 24 0 0 0 16 0 19 0 902716422 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 2 0 0 0
[pid=1188/tid=1205] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1205/stat : 1205 (java) S 1186 1188 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902716422 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1206] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1206/stat : 1206 (java) S 1186 1188 30857 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902716422 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048896 0 4 0 16800975 18446604453588257664 0 0 -1 2 0 0 0
[pid=1188/tid=1207] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1207/stat : 1207 (java) S 1186 1188 30857 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902716433 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048896 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 74.88
Current children cumulated vsize (KiB) 10545872

[startup+73.7065 s]
/proc/loadavg: 2.00 2.02 1.93 3/214 1209
/proc/meminfo: memFree=1130096/32950928 swapFree=67055948/67111528
[pid=1188] ppid=1186 vsize=10545872 CPUtime=75.09 cores=0,2,4,6
/proc/1188/stat : 1188 (java) S 1186 1188 30857 0 -1 4202496 31295 0 1 0 7503 6 0 0 25 0 19 0 902716417 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1188/statm: 2636468 21542 2250 9 0 2627202 0
[pid=1188/tid=1189] ppid=1186 vsize=10545872 CPUtime=71.05 cores=0,2,4,6
/proc/1188/task/1189/stat : 1189 (java) R 1186 1188 30857 0 -1 4202560 12580 0 1 0 7103 2 0 0 25 0 19 0 902716417 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 46912505532138 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=1188/tid=1191] ppid=1186 vsize=10545872 CPUtime=0.05 cores=0,2,4,6
/proc/1188/task/1191/stat : 1191 (java) S 1186 1188 30857 0 -1 4202560 214 0 0 0 5 0 0 0 15 0 19 0 902716419 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
[pid=1188/tid=1192] ppid=1186 vsize=10545872 CPUtime=0.06 cores=0,2,4,6
/proc/1188/task/1192/stat : 1192 (java) S 1186 1188 30857 0 -1 4202560 16 0 0 0 6 0 0 0 15 0 19 0 902716419 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 6 0 0 0
[pid=1188/tid=1193] ppid=1186 vsize=10545872 CPUtime=0.05 cores=0,2,4,6
/proc/1188/task/1193/stat : 1193 (java) S 1186 1188 30857 0 -1 4202560 99 0 0 0 5 0 0 0 15 0 19 0 902716419 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
[pid=1188/tid=1194] ppid=1186 vsize=10545872 CPUtime=0.04 cores=0,2,4,6
/proc/1188/task/1194/stat : 1194 (java) S 1186 1188 30857 0 -1 4202560 64 0 0 0 4 0 0 0 15 0 19 0 902716419 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 6 0 0 0
[pid=1188/tid=1195] ppid=1186 vsize=10545872 CPUtime=0.05 cores=0,2,4,6
/proc/1188/task/1195/stat : 1195 (java) S 1186 1188 30857 0 -1 4202560 106 0 0 0 5 0 0 0 15 0 19 0 902716419 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 6 0 0 0
[pid=1188/tid=1196] ppid=1186 vsize=10545872 CPUtime=0.05 cores=0,2,4,6
/proc/1188/task/1196/stat : 1196 (java) S 1186 1188 30857 0 -1 4202560 313 0 0 0 5 0 0 0 15 0 19 0 902716419 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
[pid=1188/tid=1197] ppid=1186 vsize=10545872 CPUtime=0.05 cores=0,2,4,6
/proc/1188/task/1197/stat : 1197 (java) S 1186 1188 30857 0 -1 4202560 68 0 0 0 5 0 0 0 15 0 19 0 902716419 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 2 0 0 0
[pid=1188/tid=1198] ppid=1186 vsize=10545872 CPUtime=0.04 cores=0,2,4,6
/proc/1188/task/1198/stat : 1198 (java) S 1186 1188 30857 0 -1 4202560 161 0 0 0 4 0 0 0 15 0 19 0 902716419 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
[pid=1188/tid=1199] ppid=1186 vsize=10545872 CPUtime=2.4 cores=0,2,4,6
/proc/1188/task/1199/stat : 1199 (java) S 1186 1188 30857 0 -1 4202560 1183 0 0 0 239 1 0 0 16 0 19 0 902716420 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048896 0 0 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1200] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1200/stat : 1200 (java) S 1186 1188 30857 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 902716420 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1201] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1201/stat : 1201 (java) S 1186 1188 30857 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 902716420 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1202] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1202/stat : 1202 (java) S 1186 1188 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902716422 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092055985 0 4 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1203] ppid=1186 vsize=10545872 CPUtime=0.93 cores=0,2,4,6
/proc/1188/task/1203/stat : 1203 (java) S 1186 1188 30857 0 -1 4202560 14535 0 0 0 92 1 0 0 15 0 19 0 902716422 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
[pid=1188/tid=1204] ppid=1186 vsize=10545872 CPUtime=0.24 cores=0,2,4,6
/proc/1188/task/1204/stat : 1204 (java) S 1186 1188 30857 0 -1 4202560 801 0 0 0 24 0 0 0 16 0 19 0 902716422 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 2 0 0 0
[pid=1188/tid=1205] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1205/stat : 1205 (java) S 1186 1188 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902716422 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1206] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1206/stat : 1206 (java) S 1186 1188 30857 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902716422 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048896 0 4 0 16800975 18446604453588257664 0 0 -1 2 0 0 0
[pid=1188/tid=1207] ppid=1186 vsize=10545872 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1207/stat : 1207 (java) S 1186 1188 30857 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902716433 10798972928 21542 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048896 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 75.09
Current children cumulated vsize (KiB) 10545872

[startup+73.8015 s]
/proc/loadavg: 2.00 2.02 1.93 3/214 1209
/proc/meminfo: memFree=1130096/32950928 swapFree=67055948/67111528
[pid=1188] ppid=1186 vsize=10546900 CPUtime=75.18 cores=0,2,4,6
/proc/1188/stat : 1188 (java) S 1186 1188 30857 0 -1 4202496 31322 0 1 0 7512 6 0 0 25 0 17 0 902716417 10800025600 21568 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092035045 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/1188/statm: 2636725 21568 2252 9 0 2627459 0
[pid=1188/tid=1189] ppid=1186 vsize=10546900 CPUtime=71.13 cores=0,2,4,6
/proc/1188/task/1189/stat : 1189 (java) S 1186 1188 30857 0 -1 4202560 12585 0 1 0 7111 2 0 0 25 0 17 0 902716417 10800025600 21568 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1191] ppid=1186 vsize=10546900 CPUtime=0.05 cores=0,2,4,6
/proc/1188/task/1191/stat : 1191 (java) S 1186 1188 30857 0 -1 4202560 214 0 0 0 5 0 0 0 15 0 17 0 902716419 10800025600 21568 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
[pid=1188/tid=1192] ppid=1186 vsize=10546900 CPUtime=0.06 cores=0,2,4,6
/proc/1188/task/1192/stat : 1192 (java) S 1186 1188 30857 0 -1 4202560 16 0 0 0 6 0 0 0 15 0 17 0 902716419 10800025600 21568 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 6 0 0 0
[pid=1188/tid=1193] ppid=1186 vsize=10546900 CPUtime=0.05 cores=0,2,4,6
/proc/1188/task/1193/stat : 1193 (java) S 1186 1188 30857 0 -1 4202560 99 0 0 0 5 0 0 0 15 0 17 0 902716419 10800025600 21568 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
[pid=1188/tid=1194] ppid=1186 vsize=10546900 CPUtime=0.04 cores=0,2,4,6
/proc/1188/task/1194/stat : 1194 (java) S 1186 1188 30857 0 -1 4202560 64 0 0 0 4 0 0 0 15 0 17 0 902716419 10800025600 21568 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 6 0 0 0
[pid=1188/tid=1195] ppid=1186 vsize=10546900 CPUtime=0.05 cores=0,2,4,6
/proc/1188/task/1195/stat : 1195 (java) S 1186 1188 30857 0 -1 4202560 106 0 0 0 5 0 0 0 15 0 17 0 902716419 10800025600 21568 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 6 0 0 0
[pid=1188/tid=1196] ppid=1186 vsize=10546900 CPUtime=0.05 cores=0,2,4,6
/proc/1188/task/1196/stat : 1196 (java) S 1186 1188 30857 0 -1 4202560 313 0 0 0 5 0 0 0 15 0 17 0 902716419 10800025600 21568 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
[pid=1188/tid=1197] ppid=1186 vsize=10546900 CPUtime=0.05 cores=0,2,4,6
/proc/1188/task/1197/stat : 1197 (java) S 1186 1188 30857 0 -1 4202560 68 0 0 0 5 0 0 0 15 0 17 0 902716419 10800025600 21568 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 2 0 0 0
[pid=1188/tid=1198] ppid=1186 vsize=10546900 CPUtime=0.04 cores=0,2,4,6
/proc/1188/task/1198/stat : 1198 (java) S 1186 1188 30857 0 -1 4202560 161 0 0 0 4 0 0 0 15 0 17 0 902716419 10800025600 21568 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
[pid=1188/tid=1199] ppid=1186 vsize=10546900 CPUtime=2.4 cores=0,2,4,6
/proc/1188/task/1199/stat : 1199 (java) S 1186 1188 30857 0 -1 4202560 1184 0 0 0 239 1 0 0 15 0 17 0 902716420 10800025600 21568 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048896 0 0 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1200] ppid=1186 vsize=10546900 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1200/stat : 1200 (java) S 1186 1188 30857 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 17 0 902716420 10800025600 21568 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1201] ppid=1186 vsize=10546900 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1201/stat : 1201 (java) S 1186 1188 30857 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 17 0 902716420 10800025600 21568 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1203] ppid=1186 vsize=10546900 CPUtime=0.93 cores=0,2,4,6
/proc/1188/task/1203/stat : 1203 (java) S 1186 1188 30857 0 -1 4202560 14535 0 0 0 92 1 0 0 15 0 17 0 902716422 10800025600 21568 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
[pid=1188/tid=1204] ppid=1186 vsize=10546900 CPUtime=0.24 cores=0,2,4,6
/proc/1188/task/1204/stat : 1204 (java) S 1186 1188 30857 0 -1 4202560 801 0 0 0 24 0 0 0 15 0 17 0 902716422 10800025600 21568 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 2 0 0 0
[pid=1188/tid=1205] ppid=1186 vsize=10546900 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1205/stat : 1205 (java) S 1186 1188 30857 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 17 0 902716422 10800025600 21568 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048281 0 4 0 16800975 18446604453588257664 0 0 -1 4 0 0 0
[pid=1188/tid=1207] ppid=1186 vsize=10546900 CPUtime=0 cores=0,2,4,6
/proc/1188/task/1207/stat : 1207 (java) S 1186 1188 30857 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 17 0 902716433 10800025600 21568 33554432000 1073741824 1073778376 140736199550864 18446744073709551615 208092048896 0 4 0 16800975 18446604453588257664 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 75.18
Current children cumulated vsize (KiB) 10546900

Child status: 30
Real time (s): 73.8087
CPU time (s): 75.1956
CPU user time (s): 75.1216
CPU system time (s): 0.073988
CPU usage (%): 101.879
Max. virtual memory (cumulated for all children) (KiB): 10546900

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

runsolver used 0.115982 second user time and 0.295955 second system time

The end

Launcher Data 

Begin job on node127 at 2011-06-12 22:39:28
IDJOB=3492707
IDBENCH=79237
IDSOLVER=1982
FILE ID=node127/3492707-1307911167
RUNJOBID= node127-1307908873-770
PBS_JOBID= 13559579
Free space on /var/tmp= 2892 MiB

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

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

MD5SUM BENCH= eefb750387a2df9ca152a94906c66d6e
RANDOM SEED=2144307666

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.823
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.60
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.823
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:     32950928 kB
MemFree:       1212708 kB
Buffers:         62792 kB
Cached:       30535688 kB
SwapCached:       9120 kB
Active:       15437608 kB
Inactive:     15346284 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:       1212708 kB
SwapTotal:    67111528 kB
SwapFree:     67055948 kB
Dirty:             512 kB
Writeback:           0 kB
AnonPages:      183148 kB
Mapped:          21468 kB
Slab:           889848 kB
PageTables:       4780 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 10544788 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 node127 at 2011-06-12 22:40:41