Trace number 3492661

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 187.936 186.214

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110970631--soft-0-100-0.wbo
MD5SUMe433b9b816c291c8bf4fd4860d096bb6
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark16
Best CPU time to get the best result obtained on this benchmark3.22451
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 1320
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.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.09	c version 2.3.1.v20110525
0.04/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.09	c java.vm.version	19.1-b02
0.04/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.18-164.el5
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		9996466904
0.04/0.09	c Max memory 		10048897024
0.04/0.09	c Total memory 		10048897024
0.04/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3492661-1307911090.wbo
0.10/0.11	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.27/0.24	c SATISFIABLE
0.27/0.24	c OPTIMIZING...
0.27/0.24	c Got one! Elapsed wall clock time (in seconds):0.129
0.27/0.24	o 795
0.27/0.26	c Got one! Elapsed wall clock time (in seconds):0.154
0.27/0.26	o 654
0.27/0.28	c Got one! Elapsed wall clock time (in seconds):0.168
0.27/0.28	o 580
0.27/0.29	c Got one! Elapsed wall clock time (in seconds):0.184
0.27/0.29	o 553
0.51/0.30	c Got one! Elapsed wall clock time (in seconds):0.192
0.51/0.30	o 546
0.51/0.31	c Got one! Elapsed wall clock time (in seconds):0.201
0.51/0.31	o 503
0.51/0.32	c Got one! Elapsed wall clock time (in seconds):0.215
0.51/0.32	o 455
0.64/0.48	c Got one! Elapsed wall clock time (in seconds):0.371
0.64/0.48	o 447
0.76/0.51	c Got one! Elapsed wall clock time (in seconds):0.397
0.76/0.51	o 442
0.76/0.53	c Got one! Elapsed wall clock time (in seconds):0.425
0.76/0.53	o 395
0.86/0.65	c Got one! Elapsed wall clock time (in seconds):0.538
0.86/0.65	o 353
0.96/0.72	c cleaning 4160 clauses out of 8326 with flag 1000/8326
1.32/1.05	c cleaning 5082 clauses out of 10169 with flag 7003/14329
1.61/1.38	c Got one! Elapsed wall clock time (in seconds):1.275
1.61/1.38	o 343
1.92/1.61	c cleaning 7688 clauses out of 15388 with flag 5000/24630
2.09/1.70	c Got one! Elapsed wall clock time (in seconds):1.589
2.09/1.70	o 341
2.29/1.93	c Got one! Elapsed wall clock time (in seconds):1.818
2.29/1.93	o 334
2.29/1.97	c cleaning 7117 clauses out of 14245 with flag 1001/31175
2.41/2.08	c Got one! Elapsed wall clock time (in seconds):1.967
2.41/2.08	o 331
2.52/2.19	c cleaning 6366 clauses out of 12739 with flag 3000/36786
2.62/2.24	c Got one! Elapsed wall clock time (in seconds):2.127
2.62/2.24	o 314
2.82/2.44	c cleaning 5707 clauses out of 11427 with flag 4000/41840
3.12/2.78	c Got one! Elapsed wall clock time (in seconds):2.668
3.12/2.78	o 308
3.22/2.82	c cleaning 5504 clauses out of 11015 with flag 1000/47135
3.52/3.12	c cleaning 5750 clauses out of 11513 with flag 7002/53137
3.92/3.56	c cleaning 6377 clauses out of 12762 with flag 14001/60136
4.32/3.96	c Got one! Elapsed wall clock time (in seconds):3.847
4.32/3.96	o 303
4.54/4.17	c cleaning 8992 clauses out of 17992 with flag 5004/71743
5.04/4.60	c cleaning 7491 clauses out of 14996 with flag 11000/77739
5.44/5.01	c cleaning 7245 clauses out of 14506 with flag 18001/84740
5.85/5.47	c cleaning 7626 clauses out of 15261 with flag 26001/92740
6.44/6.04	c cleaning 8311 clauses out of 16634 with flag 35000/101739
7.14/6.76	c cleaning 9159 clauses out of 18324 with flag 45001/111740
7.84/7.40	c cleaning 9577 clauses out of 19165 with flag 55001/121740
8.34/7.95	c cleaning 9785 clauses out of 19589 with flag 65002/131741
9.04/8.60	c cleaning 9896 clauses out of 19802 with flag 75000/141739
9.65/9.25	c cleaning 9948 clauses out of 19906 with flag 85000/151739
9.85/9.46	c Got one! Elapsed wall clock time (in seconds):9.347
9.85/9.46	o 291
9.85/9.50	c cleaning 7774 clauses out of 15554 with flag 1001/157335
10.15/9.71	c cleaning 6886 clauses out of 13779 with flag 7000/163334
10.36/9.97	c cleaning 6945 clauses out of 13894 with flag 14001/170335
10.65/10.23	c Got one! Elapsed wall clock time (in seconds):10.118
10.65/10.23	o 280
10.65/10.29	c cleaning 6390 clauses out of 12785 with flag 2002/176171
10.95/10.50	c cleaning 6193 clauses out of 12394 with flag 8001/182170
11.15/10.75	c cleaning 6594 clauses out of 13200 with flag 15000/189169
11.56/11.10	c cleaning 7297 clauses out of 14606 with flag 23000/197169
11.96/11.53	c Got one! Elapsed wall clock time (in seconds):11.419
11.96/11.53	o 277
12.16/11.72	c cleaning 10523 clauses out of 21050 with flag 5000/210910
12.57/12.12	c cleaning 8254 clauses out of 16527 with flag 11000/216910
12.87/12.46	c Got one! Elapsed wall clock time (in seconds):12.35
12.87/12.46	o 272
12.87/12.50	c cleaning 7110 clauses out of 14228 with flag 1003/222865
13.17/12.72	c cleaning 6554 clauses out of 13117 with flag 7002/228864
13.37/12.98	c cleaning 6774 clauses out of 13563 with flag 14002/235864
13.47/13.09	c Got one! Elapsed wall clock time (in seconds):12.977
13.47/13.09	o 271
13.72/13.22	c cleaning 6165 clauses out of 12336 with flag 4002/241411
13.92/13.43	c cleaning 6081 clauses out of 12169 with flag 10000/247409
14.12/13.68	c cleaning 6539 clauses out of 13090 with flag 17002/254411
14.62/14.16	c cleaning 7259 clauses out of 14549 with flag 25000/262409
14.92/14.45	c Got one! Elapsed wall clock time (in seconds):14.339
14.92/14.45	o 266
14.92/14.48	c cleaning 6268 clauses out of 12547 with flag 1000/267666
15.13/14.69	c cleaning 6133 clauses out of 12280 with flag 7001/273667
15.43/14.95	c cleaning 6567 clauses out of 13146 with flag 14000/280666
15.73/15.24	c cleaning 7286 clauses out of 14579 with flag 22000/288666
16.13/15.60	c cleaning 8143 clauses out of 16294 with flag 31001/297667
16.23/15.76	c Got one! Elapsed wall clock time (in seconds):15.648
16.23/15.76	o 252
16.45/15.91	c cleaning 6653 clauses out of 13320 with flag 3003/302836
16.75/16.25	c cleaning 6331 clauses out of 12669 with flag 9005/308838
17.25/16.78	c cleaning 6665 clauses out of 13335 with flag 16002/315835
17.45/16.91	c Got one! Elapsed wall clock time (in seconds):16.805
17.45/16.91	o 242
17.55/17.01	c cleaning 6002 clauses out of 12007 with flag 3000/321172
17.75/17.22	c cleaning 6000 clauses out of 12005 with flag 9000/327172
17.87/17.30	c Got one! Elapsed wall clock time (in seconds):17.194
17.87/17.30	o 231
17.97/17.43	c cleaning 5775 clauses out of 11562 with flag 4000/332729
18.17/17.65	c cleaning 5887 clauses out of 11787 with flag 10000/338729
18.37/17.85	c Got one! Elapsed wall clock time (in seconds):17.743
18.37/17.85	o 224
18.47/17.90	c cleaning 5891 clauses out of 11800 with flag 1001/344629
18.67/18.10	c cleaning 5948 clauses out of 11908 with flag 7000/350628
18.87/18.35	c cleaning 6473 clauses out of 12960 with flag 14000/357628
19.17/18.62	c cleaning 7241 clauses out of 14489 with flag 22002/365630
19.37/18.83	c Got one! Elapsed wall clock time (in seconds):18.722
19.37/18.83	o 210
19.37/18.87	c cleaning 6541 clauses out of 13087 with flag 1001/371469
19.57/19.08	c cleaning 6266 clauses out of 12545 with flag 7000/377468
19.87/19.33	c cleaning 6634 clauses out of 13280 with flag 14001/384469
20.17/19.62	c cleaning 7321 clauses out of 14647 with flag 22002/392470
20.57/20.00	c cleaning 8154 clauses out of 16324 with flag 31000/401468
21.17/20.65	c cleaning 9080 clauses out of 18171 with flag 41001/411469
21.88/21.33	c cleaning 9537 clauses out of 19091 with flag 51001/421469
22.58/22.00	c cleaning 9769 clauses out of 19554 with flag 61001/431469
23.18/22.64	c cleaning 9887 clauses out of 19784 with flag 71000/441468
23.68/23.18	c cleaning 9944 clauses out of 19898 with flag 81001/451469
24.38/23.80	c cleaning 9975 clauses out of 19953 with flag 91000/461468
24.88/24.36	c cleaning 9980 clauses out of 19978 with flag 101000/471468
25.28/24.75	c Got one! Elapsed wall clock time (in seconds):24.646
25.28/24.75	o 200
25.48/24.94	c cleaning 10658 clauses out of 21321 with flag 5000/482791
25.68/25.17	c cleaning 8329 clauses out of 16663 with flag 11000/488791
26.08/25.53	c cleaning 7662 clauses out of 15339 with flag 18005/495796
26.48/25.94	c cleaning 7829 clauses out of 15673 with flag 26001/503792
26.99/26.41	c cleaning 8419 clauses out of 16843 with flag 35000/512791
27.59/27.01	c cleaning 9206 clauses out of 18424 with flag 45000/522791
28.09/27.57	c cleaning 9603 clauses out of 19220 with flag 55002/532793
28.69/28.12	c cleaning 9802 clauses out of 19618 with flag 65003/542794
29.29/28.73	c cleaning 9900 clauses out of 19814 with flag 75001/552792
29.79/29.30	c cleaning 9950 clauses out of 19916 with flag 85003/562794
30.39/29.89	c cleaning 9973 clauses out of 19963 with flag 95000/572791
31.09/30.50	c cleaning 9993 clauses out of 19992 with flag 105002/582793
31.60/31.02	c cleaning 9994 clauses out of 20002 with flag 115005/592796
32.10/31.58	c cleaning 9986 clauses out of 20003 with flag 125000/602791
32.70/32.13	c cleaning 10000 clauses out of 20017 with flag 135000/612791
33.20/32.64	c cleaning 9999 clauses out of 20018 with flag 145001/622792
33.70/33.15	c cleaning 9996 clauses out of 20018 with flag 155000/632791
34.00/33.44	c Got one! Elapsed wall clock time (in seconds):33.336
34.00/33.44	o 181
34.20/33.62	c cleaning 10103 clauses out of 20216 with flag 5000/642985
34.40/33.85	c cleaning 8053 clauses out of 16114 with flag 11001/648986
34.60/34.09	c cleaning 7527 clauses out of 15060 with flag 18000/655985
34.91/34.36	c cleaning 7763 clauses out of 15533 with flag 26000/663985
35.21/34.67	c cleaning 8382 clauses out of 16770 with flag 35000/672985
35.61/35.04	c cleaning 9188 clauses out of 18388 with flag 45000/682985
36.01/35.41	c cleaning 9590 clauses out of 19200 with flag 55000/692985
36.31/35.77	c cleaning 9802 clauses out of 19611 with flag 65001/702986
36.82/36.26	c cleaning 9901 clauses out of 19810 with flag 75002/712987
37.51/36.92	c cleaning 9949 clauses out of 19908 with flag 85001/722986
38.02/37.49	c cleaning 9973 clauses out of 19958 with flag 95000/732985
38.62/38.06	c cleaning 9988 clauses out of 19985 with flag 105000/742985
39.12/38.56	c cleaning 9995 clauses out of 20000 with flag 115003/752988
39.62/39.08	c cleaning 9994 clauses out of 20002 with flag 125000/762985
40.22/39.60	c Got one! Elapsed wall clock time (in seconds):39.495
40.22/39.60	o 159
40.42/39.80	c cleaning 12187 clauses out of 24386 with flag 5002/777363
40.62/40.02	c cleaning 9094 clauses out of 18200 with flag 11003/783364
40.82/40.29	c cleaning 8048 clauses out of 16103 with flag 18000/790361
41.12/40.56	c cleaning 8025 clauses out of 16055 with flag 26000/798361
41.62/41.02	c cleaning 8498 clauses out of 17030 with flag 35000/807361
42.12/41.57	c cleaning 9265 clauses out of 18537 with flag 45005/817366
42.72/42.12	c cleaning 9624 clauses out of 19267 with flag 55000/827361
42.82/42.27	c Got one! Elapsed wall clock time (in seconds):42.165
42.82/42.27	o 143
42.92/42.37	c cleaning 7705 clauses out of 15414 with flag 3001/833132
43.12/42.58	c cleaning 6850 clauses out of 13709 with flag 9001/839132
43.43/42.82	c cleaning 6925 clauses out of 13858 with flag 16000/846131
43.72/43.10	c cleaning 7464 clauses out of 14933 with flag 24000/854131
44.03/43.43	c cleaning 8229 clauses out of 16469 with flag 33000/863131
44.33/43.78	c cleaning 9117 clauses out of 18241 with flag 43001/873132
44.93/44.36	c cleaning 9557 clauses out of 19124 with flag 53001/883132
45.23/44.62	c Got one! Elapsed wall clock time (in seconds):44.51
45.23/44.62	o 140
45.23/44.66	c cleaning 7600 clauses out of 15205 with flag 1001/888770
45.43/44.86	c cleaning 6799 clauses out of 13604 with flag 7000/894769
45.63/45.09	c cleaning 6900 clauses out of 13807 with flag 14002/901771
45.93/45.36	c cleaning 7450 clauses out of 14907 with flag 22002/909771
46.23/45.69	c cleaning 8224 clauses out of 16456 with flag 31001/918770
46.63/46.07	c cleaning 9111 clauses out of 18231 with flag 41000/928769
47.03/46.43	c cleaning 9557 clauses out of 19122 with flag 51002/938771
47.33/46.79	c cleaning 9777 clauses out of 19563 with flag 61000/948769
47.94/47.31	c cleaning 9889 clauses out of 19787 with flag 71001/958770
48.54/47.99	c cleaning 9945 clauses out of 19899 with flag 81002/968771
48.64/48.10	c Got one! Elapsed wall clock time (in seconds):47.987
48.64/48.10	o 125
48.84/48.22	c cleaning 7850 clauses out of 15706 with flag 4005/974523
49.04/48.43	c cleaning 6921 clauses out of 13851 with flag 10000/980518
49.24/48.66	c cleaning 6959 clauses out of 13930 with flag 17000/987518
49.54/48.93	c cleaning 7481 clauses out of 14971 with flag 25000/995518
49.84/49.25	c cleaning 8239 clauses out of 16490 with flag 34000/1004518
50.15/49.59	c cleaning 9122 clauses out of 18252 with flag 44001/1014519
50.54/49.95	c cleaning 9559 clauses out of 19129 with flag 54000/1024518
50.84/50.30	c cleaning 9780 clauses out of 19571 with flag 64001/1034519
51.25/50.64	c cleaning 9891 clauses out of 19790 with flag 74000/1044518
51.54/50.99	c cleaning 9945 clauses out of 19901 with flag 84002/1054520
51.94/51.38	c cleaning 9971 clauses out of 19954 with flag 94000/1064518
52.44/51.83	c cleaning 9989 clauses out of 19983 with flag 104000/1074518
52.75/52.12	c Got one! Elapsed wall clock time (in seconds):52.012
52.75/52.12	o 111
52.95/52.35	c cleaning 10194 clauses out of 20400 with flag 5001/1084924
53.62/52.71	c cleaning 8102 clauses out of 16208 with flag 11003/1090926
54.02/52.93	c Got one! Elapsed wall clock time (in seconds):52.825
54.02/52.93	o 107
54.02/52.98	c cleaning 6671 clauses out of 13347 with flag 1000/1096167
54.37/53.20	c cleaning 6333 clauses out of 12676 with flag 7000/1102167
54.77/53.52	c cleaning 6669 clauses out of 13345 with flag 14002/1109169
55.18/53.97	c cleaning 7331 clauses out of 14676 with flag 22002/1117169
55.77/54.54	c cleaning 8168 clauses out of 16344 with flag 31001/1126168
56.38/55.11	c cleaning 9080 clauses out of 18177 with flag 41002/1136169
56.88/55.66	c cleaning 9545 clauses out of 19095 with flag 51000/1146167
57.48/56.22	c cleaning 9771 clauses out of 19552 with flag 61002/1156169
57.98/56.76	c cleaning 9884 clauses out of 19780 with flag 71001/1166168
58.49/57.29	c cleaning 9943 clauses out of 19896 with flag 81001/1176168
59.08/57.81	c cleaning 9971 clauses out of 19953 with flag 91001/1186168
59.59/58.34	c cleaning 9985 clauses out of 19981 with flag 101000/1196167
60.09/58.86	c cleaning 9990 clauses out of 19997 with flag 111001/1206168
60.69/59.46	c cleaning 9997 clauses out of 20007 with flag 121001/1216168
61.29/60.07	c cleaning 9998 clauses out of 20011 with flag 131002/1226169
61.89/60.67	c cleaning 10001 clauses out of 20011 with flag 141000/1236167
62.49/61.24	c cleaning 10000 clauses out of 20010 with flag 151000/1246167
63.09/61.82	c cleaning 10001 clauses out of 20011 with flag 161001/1256168
63.69/62.42	c cleaning 9999 clauses out of 20009 with flag 171000/1266167
64.30/63.02	c cleaning 10005 clauses out of 20011 with flag 181001/1276168
64.90/63.61	c cleaning 9997 clauses out of 20007 with flag 191002/1286169
65.40/64.15	c cleaning 9998 clauses out of 20009 with flag 201001/1296168
66.00/64.72	c cleaning 9998 clauses out of 20011 with flag 211001/1306168
66.51/65.28	c cleaning 10001 clauses out of 20013 with flag 221001/1316168
67.11/65.83	c cleaning 10001 clauses out of 20012 with flag 231001/1326168
67.71/66.40	c cleaning 10002 clauses out of 20012 with flag 241002/1336169
68.21/66.96	c cleaning 9996 clauses out of 20008 with flag 251000/1346167
68.81/67.54	c cleaning 9999 clauses out of 20012 with flag 261000/1356167
69.42/68.12	c cleaning 10000 clauses out of 20013 with flag 271000/1366167
69.91/68.69	c cleaning 9998 clauses out of 20014 with flag 281001/1376168
70.52/69.30	c cleaning 10003 clauses out of 20016 with flag 291001/1386168
71.12/69.89	c cleaning 10002 clauses out of 20012 with flag 301000/1396167
71.73/70.47	c cleaning 9996 clauses out of 20010 with flag 311000/1406167
72.32/71.06	c cleaning 9998 clauses out of 20014 with flag 321000/1416167
72.92/71.67	c cleaning 9998 clauses out of 20017 with flag 331001/1426168
73.02/71.73	c Got one! Elapsed wall clock time (in seconds):71.618
73.02/71.73	o 104
73.14/71.89	c cleaning 7842 clauses out of 15692 with flag 5001/1431841
73.44/72.11	c cleaning 6921 clauses out of 13849 with flag 11000/1437840
73.64/72.36	c cleaning 6955 clauses out of 13928 with flag 18000/1444840
73.95/72.64	c cleaning 7482 clauses out of 14974 with flag 26001/1452841
74.25/72.96	c cleaning 8239 clauses out of 16492 with flag 35001/1461841
74.65/73.31	c cleaning 9124 clauses out of 18254 with flag 45002/1471842
74.95/73.66	c cleaning 9557 clauses out of 19128 with flag 55000/1481840
75.35/74.01	c cleaning 9779 clauses out of 19571 with flag 65000/1491840
75.65/74.37	c cleaning 9887 clauses out of 19792 with flag 75000/1501840
76.05/74.74	c cleaning 9947 clauses out of 19905 with flag 85000/1511840
76.45/75.11	c cleaning 9973 clauses out of 19959 with flag 95001/1521841
76.75/75.48	c cleaning 9984 clauses out of 19986 with flag 105001/1531841
77.15/75.85	c cleaning 9991 clauses out of 20001 with flag 115000/1541840
77.55/76.23	c cleaning 10001 clauses out of 20010 with flag 125000/1551840
77.85/76.59	c cleaning 10000 clauses out of 20009 with flag 135000/1561840
78.26/76.93	c cleaning 10001 clauses out of 20010 with flag 145001/1571841
78.75/77.41	c cleaning 9996 clauses out of 20008 with flag 155000/1581840
79.25/77.94	c cleaning 10005 clauses out of 20015 with flag 165003/1591843
79.85/78.50	c cleaning 9998 clauses out of 20007 with flag 175000/1601840
80.37/79.06	c cleaning 9999 clauses out of 20010 with flag 185001/1611841
80.96/79.68	c cleaning 10005 clauses out of 20011 with flag 195001/1621841
81.57/80.29	c cleaning 9999 clauses out of 20006 with flag 205001/1631841
82.06/80.79	c cleaning 10000 clauses out of 20006 with flag 215000/1641840
82.67/81.33	c cleaning 9991 clauses out of 20006 with flag 225000/1651840
83.17/81.85	c cleaning 10004 clauses out of 20018 with flag 235003/1661843
83.77/82.47	c cleaning 10000 clauses out of 20011 with flag 245000/1671840
84.27/82.97	c Got one! Elapsed wall clock time (in seconds):82.865
84.27/82.97	o 103
84.47/83.18	c cleaning 12024 clauses out of 24056 with flag 5004/1685885
84.77/83.41	c cleaning 9010 clauses out of 18030 with flag 11002/1691883
84.98/83.66	c cleaning 8004 clauses out of 16019 with flag 18001/1698882
85.27/83.95	c cleaning 8000 clauses out of 16014 with flag 26000/1706881
85.58/84.28	c cleaning 8502 clauses out of 17014 with flag 35000/1715881
85.98/84.66	c cleaning 9251 clauses out of 18520 with flag 45008/1725889
86.58/85.25	c cleaning 9626 clauses out of 19261 with flag 55000/1735881
87.19/85.83	c cleaning 9813 clauses out of 19636 with flag 65001/1745882
87.78/86.43	c cleaning 9906 clauses out of 19825 with flag 75003/1755884
87.78/86.49	c Got one! Elapsed wall clock time (in seconds):86.382
87.78/86.49	o 99
87.99/86.66	c cleaning 7904 clauses out of 15818 with flag 5001/1761783
88.19/86.87	c cleaning 6951 clauses out of 13913 with flag 11000/1767782
88.49/87.12	c cleaning 6976 clauses out of 13964 with flag 18002/1774784
88.79/87.40	c cleaning 7491 clauses out of 14992 with flag 26006/1782788
89.09/87.74	c cleaning 8243 clauses out of 16495 with flag 35000/1791782
89.49/88.10	c cleaning 9120 clauses out of 18254 with flag 45002/1801784
89.80/88.46	c cleaning 9565 clauses out of 19138 with flag 55006/1811788
90.20/88.84	c cleaning 9779 clauses out of 19567 with flag 65000/1821782
90.80/89.42	c cleaning 9887 clauses out of 19788 with flag 75000/1831782
91.40/90.02	c cleaning 9948 clauses out of 19903 with flag 85002/1841784
91.90/90.58	c cleaning 9973 clauses out of 19953 with flag 95000/1851782
92.50/91.18	c cleaning 9984 clauses out of 19981 with flag 105001/1861783
93.10/91.77	c Got one! Elapsed wall clock time (in seconds):91.66
93.10/91.77	o 95
93.30/91.99	c cleaning 12308 clauses out of 24625 with flag 5001/1876411
93.60/92.24	c cleaning 9154 clauses out of 18317 with flag 11001/1882411
93.81/92.49	c cleaning 8080 clauses out of 16165 with flag 18003/1889413
94.12/92.77	c cleaning 8038 clauses out of 16084 with flag 26002/1897412
94.52/93.10	c cleaning 8514 clauses out of 17045 with flag 35001/1906411
94.82/93.46	c cleaning 9258 clauses out of 18532 with flag 45002/1916412
95.22/93.82	c cleaning 9627 clauses out of 19272 with flag 55000/1926410
95.52/94.16	c cleaning 9817 clauses out of 19645 with flag 65000/1936410
95.92/94.51	c cleaning 9907 clauses out of 19829 with flag 75001/1946411
96.22/94.87	c cleaning 9956 clauses out of 19922 with flag 85001/1956411
96.62/95.21	c cleaning 9977 clauses out of 19966 with flag 95001/1966411
97.02/95.65	c cleaning 9986 clauses out of 19988 with flag 105000/1976410
97.52/96.18	c cleaning 9993 clauses out of 20002 with flag 115000/1986410
98.12/96.72	c cleaning 9999 clauses out of 20009 with flag 125000/1996410
98.62/97.24	c cleaning 10000 clauses out of 20010 with flag 135000/2006410
99.12/97.75	c cleaning 10003 clauses out of 20011 with flag 145001/2016411
99.62/98.29	c cleaning 9999 clauses out of 20008 with flag 155001/2026411
100.12/98.78	c cleaning 9999 clauses out of 20009 with flag 165001/2036411
100.73/99.32	c cleaning 9999 clauses out of 20009 with flag 175000/2046410
101.23/99.87	c cleaning 9997 clauses out of 20010 with flag 185000/2056410
101.83/100.47	c cleaning 10002 clauses out of 20013 with flag 195000/2066410
102.43/101.02	c cleaning 10002 clauses out of 20012 with flag 205001/2076411
102.93/101.57	c cleaning 10000 clauses out of 20009 with flag 215000/2086410
103.53/102.12	c cleaning 10002 clauses out of 20013 with flag 225004/2096414
104.03/102.68	c cleaning 10002 clauses out of 20009 with flag 235002/2106412
104.63/103.21	c cleaning 9998 clauses out of 20006 with flag 245001/2116411
105.13/103.79	c cleaning 10001 clauses out of 20009 with flag 255002/2126412
105.63/104.20	c Got one! Elapsed wall clock time (in seconds):104.093
105.63/104.20	o 90
105.73/104.40	c cleaning 11331 clauses out of 22665 with flag 5002/2139069
106.04/104.63	c cleaning 8663 clauses out of 17333 with flag 11001/2145068
106.25/104.88	c cleaning 7830 clauses out of 15670 with flag 18001/2152068
106.55/105.16	c cleaning 7916 clauses out of 15840 with flag 26001/2160068
106.84/105.47	c cleaning 8457 clauses out of 16923 with flag 35000/2169067
107.24/105.82	c cleaning 9231 clauses out of 18470 with flag 45004/2179071
107.55/106.19	c cleaning 9611 clauses out of 19235 with flag 55000/2189067
107.95/106.54	c cleaning 9808 clauses out of 19625 with flag 65001/2199068
108.35/106.90	c cleaning 9902 clauses out of 19816 with flag 75000/2209067
108.65/107.26	c cleaning 9952 clauses out of 19915 with flag 85001/2219068
109.05/107.65	c cleaning 9972 clauses out of 19962 with flag 95000/2229067
109.45/108.01	c cleaning 9989 clauses out of 19990 with flag 105000/2239067
109.75/108.36	c cleaning 9998 clauses out of 20001 with flag 115000/2249067
110.15/108.70	c cleaning 9997 clauses out of 20004 with flag 125001/2259068
110.45/109.06	c cleaning 9997 clauses out of 20006 with flag 135000/2269067
110.85/109.42	c cleaning 9999 clauses out of 20010 with flag 145001/2279068
111.15/109.77	c cleaning 9999 clauses out of 20011 with flag 155001/2289068
111.55/110.14	c cleaning 10001 clauses out of 20012 with flag 165001/2299068
111.95/110.50	c cleaning 10002 clauses out of 20011 with flag 175001/2309068
112.25/110.87	c cleaning 9998 clauses out of 20008 with flag 185000/2319067
112.65/111.23	c cleaning 10002 clauses out of 20013 with flag 195003/2329070
113.05/111.60	c cleaning 9993 clauses out of 20008 with flag 205000/2339067
113.35/111.95	c cleaning 10003 clauses out of 20016 with flag 215001/2349068
113.75/112.34	c cleaning 10004 clauses out of 20012 with flag 225000/2359067
114.35/112.91	c cleaning 10003 clauses out of 20009 with flag 235001/2369068
114.96/113.50	c cleaning 9998 clauses out of 20005 with flag 245000/2379067
115.46/114.02	c cleaning 9997 clauses out of 20007 with flag 255000/2389067
115.96/114.54	c cleaning 9997 clauses out of 20010 with flag 265000/2399067
116.46/115.06	c cleaning 10004 clauses out of 20013 with flag 275000/2409067
116.97/115.56	c cleaning 9995 clauses out of 20011 with flag 285002/2419069
117.46/116.07	c cleaning 10001 clauses out of 20014 with flag 295000/2429067
117.86/116.50	c Got one! Elapsed wall clock time (in seconds):116.387
117.86/116.50	o 88
118.16/116.70	c cleaning 11729 clauses out of 23464 with flag 5000/2442518
118.36/116.93	c cleaning 8863 clauses out of 17736 with flag 11001/2448519
118.56/117.19	c cleaning 7930 clauses out of 15872 with flag 18000/2455518
118.86/117.47	c cleaning 7963 clauses out of 15942 with flag 26000/2463518
119.26/117.89	c cleaning 8486 clauses out of 16986 with flag 35007/2472525
119.77/118.38	c cleaning 9240 clauses out of 18493 with flag 45000/2482518
120.27/118.88	c cleaning 9621 clauses out of 19253 with flag 55000/2492518
120.87/119.40	c cleaning 9806 clauses out of 19632 with flag 65000/2502518
121.17/119.75	c Got one! Elapsed wall clock time (in seconds):119.644
121.17/119.75	o 82
121.37/119.95	c cleaning 10942 clauses out of 21889 with flag 5001/2514581
121.57/120.17	c cleaning 8469 clauses out of 16946 with flag 11000/2520580
121.87/120.42	c cleaning 7736 clauses out of 15478 with flag 18001/2527581
122.07/120.69	c cleaning 7867 clauses out of 15742 with flag 26001/2535581
122.48/121.02	c cleaning 8436 clauses out of 16877 with flag 35003/2544583
122.78/121.39	c cleaning 9215 clauses out of 18439 with flag 45001/2554581
123.38/121.95	c cleaning 9605 clauses out of 19223 with flag 55000/2564580
123.88/122.44	c cleaning 9800 clauses out of 19619 with flag 65001/2574581
124.38/122.94	c cleaning 9905 clauses out of 19822 with flag 75004/2584584
124.48/123.08	c Got one! Elapsed wall clock time (in seconds):122.975
124.48/123.08	o 72
124.58/123.18	c cleaning 7909 clauses out of 15828 with flag 3001/2590495
124.78/123.39	c cleaning 6955 clauses out of 13918 with flag 9000/2596494
125.08/123.62	c cleaning 6974 clauses out of 13963 with flag 16000/2603494
125.38/123.90	c cleaning 7493 clauses out of 14990 with flag 24001/2611495
125.69/124.23	c cleaning 8247 clauses out of 16497 with flag 33001/2620495
125.99/124.59	c cleaning 9121 clauses out of 18249 with flag 43000/2630494
126.39/124.94	c cleaning 9558 clauses out of 19128 with flag 53000/2640494
126.80/125.31	c cleaning 9780 clauses out of 19572 with flag 63002/2650496
127.20/125.74	c cleaning 9882 clauses out of 19790 with flag 73000/2660494
127.20/125.78	c Got one! Elapsed wall clock time (in seconds):125.676
127.20/125.78	o 53
127.40/125.95	c cleaning 7912 clauses out of 15829 with flag 5003/2666415
127.60/126.17	c cleaning 6951 clauses out of 13915 with flag 11001/2672413
127.90/126.42	c cleaning 6980 clauses out of 13966 with flag 18003/2679415
128.20/126.70	c cleaning 7486 clauses out of 14983 with flag 26000/2687412
128.50/127.02	c cleaning 8245 clauses out of 16500 with flag 35003/2696415
128.80/127.38	c cleaning 9122 clauses out of 18252 with flag 45000/2706412
129.20/127.75	c cleaning 9559 clauses out of 19130 with flag 55000/2716412
129.61/128.10	c cleaning 9780 clauses out of 19571 with flag 65000/2726412
129.91/128.46	c cleaning 9893 clauses out of 19793 with flag 75002/2736414
130.31/128.84	c cleaning 9940 clauses out of 19899 with flag 85001/2746413
130.71/129.20	c cleaning 9975 clauses out of 19958 with flag 95000/2756412
131.01/129.56	c cleaning 9987 clauses out of 19984 with flag 105001/2766413
131.41/129.97	c cleaning 9993 clauses out of 19996 with flag 115000/2776412
131.81/130.37	c cleaning 9997 clauses out of 20003 with flag 125000/2786412
132.21/130.76	c cleaning 9998 clauses out of 20008 with flag 135002/2796414
132.61/131.18	c cleaning 10000 clauses out of 20009 with flag 145001/2806413
133.11/131.60	c cleaning 9997 clauses out of 20009 with flag 155001/2816413
133.52/132.09	c cleaning 9997 clauses out of 20011 with flag 165000/2826412
134.02/132.53	c cleaning 9999 clauses out of 20014 with flag 175000/2836412
134.42/132.98	c cleaning 9998 clauses out of 20015 with flag 185000/2846412
134.92/133.42	c cleaning 10002 clauses out of 20018 with flag 195001/2856413
135.32/133.87	c cleaning 10000 clauses out of 20015 with flag 205000/2866412
135.32/133.89	c Got one! Elapsed wall clock time (in seconds):133.787
135.32/133.89	o 49
135.52/134.06	c cleaning 7586 clauses out of 15178 with flag 5000/2871575
135.73/134.26	c cleaning 6792 clauses out of 13592 with flag 11000/2877575
136.02/134.52	c cleaning 6891 clauses out of 13800 with flag 18000/2884575
136.22/134.79	c cleaning 7451 clauses out of 14910 with flag 26001/2892576
136.62/135.10	c cleaning 8225 clauses out of 16458 with flag 35000/2901575
136.92/135.45	c cleaning 9112 clauses out of 18234 with flag 45001/2911576
137.32/135.82	c cleaning 9556 clauses out of 19122 with flag 55001/2921576
137.62/136.18	c cleaning 9780 clauses out of 19569 with flag 65004/2931579
138.03/136.55	c cleaning 9888 clauses out of 19785 with flag 75000/2941575
138.43/136.90	c cleaning 9943 clauses out of 19899 with flag 85002/2951577
138.73/137.27	c cleaning 9972 clauses out of 19956 with flag 95002/2961577
139.13/137.64	c cleaning 9985 clauses out of 19982 with flag 105000/2971575
139.53/138.00	c cleaning 9996 clauses out of 19997 with flag 115000/2981575
139.83/138.38	c cleaning 9990 clauses out of 20001 with flag 125000/2991575
140.23/138.74	c cleaning 10002 clauses out of 20013 with flag 135002/3001577
140.63/139.12	c cleaning 10001 clauses out of 20011 with flag 145002/3011577
141.03/139.50	c cleaning 9999 clauses out of 20011 with flag 155003/3021578
141.34/139.88	c cleaning 10000 clauses out of 20010 with flag 165001/3031576
141.64/140.14	c Got one! Elapsed wall clock time (in seconds):140.029
141.64/140.14	o 42
141.84/140.33	c cleaning 11182 clauses out of 22372 with flag 5001/3043938
142.04/140.56	c cleaning 8595 clauses out of 17193 with flag 11004/3049941
142.35/140.81	c cleaning 7794 clauses out of 15595 with flag 18001/3056938
142.54/141.09	c cleaning 7897 clauses out of 15802 with flag 26002/3064939
142.94/141.40	c cleaning 8448 clauses out of 16903 with flag 35000/3073937
143.24/141.77	c cleaning 9225 clauses out of 18457 with flag 45002/3083939
143.64/142.12	c cleaning 9611 clauses out of 19232 with flag 55002/3093939
144.05/142.50	c cleaning 9803 clauses out of 19619 with flag 65000/3103937
144.35/142.87	c cleaning 9902 clauses out of 19816 with flag 75000/3113937
144.75/143.23	c cleaning 9953 clauses out of 19915 with flag 85001/3123938
145.05/143.57	c cleaning 9975 clauses out of 19961 with flag 95000/3133937
145.45/143.93	c cleaning 9987 clauses out of 19988 with flag 105002/3143939
145.75/144.28	c cleaning 9995 clauses out of 20001 with flag 115002/3153939
146.15/144.63	c cleaning 9995 clauses out of 20004 with flag 125000/3163937
146.56/145.00	c cleaning 10001 clauses out of 20009 with flag 135000/3173937
146.86/145.35	c cleaning 10002 clauses out of 20010 with flag 145002/3183939
147.26/145.70	c cleaning 10000 clauses out of 20007 with flag 155001/3193938
147.56/146.05	c cleaning 9998 clauses out of 20007 with flag 165001/3203938
147.97/146.42	c cleaning 9998 clauses out of 20009 with flag 175001/3213938
148.27/146.76	c cleaning 9998 clauses out of 20010 with flag 185000/3223937
148.67/147.11	c cleaning 10001 clauses out of 20012 with flag 195000/3233937
148.97/147.47	c cleaning 10001 clauses out of 20014 with flag 205003/3243940
149.37/147.83	c cleaning 10000 clauses out of 20010 with flag 215000/3253937
149.67/148.18	c cleaning 9999 clauses out of 20010 with flag 225000/3263937
150.08/148.54	c cleaning 10001 clauses out of 20012 with flag 235001/3273938
150.47/148.95	c cleaning 10001 clauses out of 20012 with flag 245002/3283939
150.87/149.33	c cleaning 10001 clauses out of 20009 with flag 255000/3293937
151.27/149.73	c cleaning 9997 clauses out of 20008 with flag 265000/3303937
151.67/150.13	c cleaning 10001 clauses out of 20014 with flag 275003/3313940
151.97/150.48	c cleaning 9997 clauses out of 20010 with flag 285000/3323937
152.37/150.84	c cleaning 9999 clauses out of 20016 with flag 295003/3333940
152.37/150.90	c Got one! Elapsed wall clock time (in seconds):150.787
152.37/150.90	o 32
152.59/151.02	c cleaning 7757 clauses out of 15519 with flag 4002/3339442
152.79/151.23	c cleaning 6875 clauses out of 13760 with flag 10000/3345440
152.99/151.47	c cleaning 6939 clauses out of 13889 with flag 17004/3352444
153.29/151.74	c cleaning 7468 clauses out of 14947 with flag 25001/3360441
153.59/152.04	c cleaning 8236 clauses out of 16479 with flag 34001/3369441
153.89/152.39	c cleaning 9119 clauses out of 18242 with flag 44000/3379440
154.29/152.75	c cleaning 9559 clauses out of 19125 with flag 54002/3389442
154.69/153.11	c cleaning 9776 clauses out of 19565 with flag 64001/3399441
155.01/153.47	c cleaning 9890 clauses out of 19788 with flag 74000/3409440
155.41/153.82	c cleaning 9942 clauses out of 19899 with flag 84001/3419441
155.71/154.19	c cleaning 9971 clauses out of 19956 with flag 94000/3429440
156.11/154.54	c cleaning 9987 clauses out of 19987 with flag 104002/3439442
156.41/154.90	c cleaning 9992 clauses out of 19999 with flag 114001/3449441
156.81/155.25	c cleaning 9996 clauses out of 20007 with flag 124001/3459441
157.21/155.61	c cleaning 10000 clauses out of 20012 with flag 134002/3469442
157.51/155.96	c cleaning 10003 clauses out of 20013 with flag 144003/3479443
157.91/156.32	c cleaning 9997 clauses out of 20007 with flag 154000/3489440
158.22/156.68	c cleaning 10001 clauses out of 20010 with flag 164000/3499440
158.62/157.02	c cleaning 9998 clauses out of 20009 with flag 174000/3509440
158.93/157.37	c cleaning 10002 clauses out of 20012 with flag 184001/3519441
159.32/157.73	c cleaning 10001 clauses out of 20012 with flag 194003/3529443
159.62/158.09	c cleaning 10002 clauses out of 20009 with flag 204001/3539441
160.02/158.44	c cleaning 9995 clauses out of 20007 with flag 214001/3549441
160.32/158.78	c cleaning 10000 clauses out of 20013 with flag 224002/3559442
160.72/159.13	c cleaning 10000 clauses out of 20011 with flag 234000/3569440
161.02/159.46	c cleaning 10002 clauses out of 20012 with flag 244001/3579441
161.42/159.81	c cleaning 10000 clauses out of 20009 with flag 254000/3589440
161.72/160.14	c cleaning 10001 clauses out of 20011 with flag 264002/3599442
162.02/160.48	c cleaning 10001 clauses out of 20010 with flag 274002/3609442
162.42/160.82	c cleaning 9996 clauses out of 20008 with flag 284001/3619441
162.72/161.17	c cleaning 10001 clauses out of 20011 with flag 294000/3629440
163.13/161.51	c cleaning 10001 clauses out of 20013 with flag 304003/3639443
163.43/161.85	c cleaning 9997 clauses out of 20009 with flag 314000/3649440
163.73/162.18	c cleaning 9999 clauses out of 20012 with flag 324000/3659440
164.13/162.52	c cleaning 10003 clauses out of 20015 with flag 334002/3669442
164.44/162.88	c cleaning 9999 clauses out of 20010 with flag 344000/3679440
164.83/163.22	c cleaning 10002 clauses out of 20011 with flag 354000/3689440
165.13/163.57	c cleaning 10001 clauses out of 20011 with flag 364002/3699442
165.54/163.91	c cleaning 10001 clauses out of 20008 with flag 374000/3709440
165.84/164.26	c cleaning 9999 clauses out of 20007 with flag 384000/3719440
166.24/164.60	c cleaning 10001 clauses out of 20008 with flag 394000/3729440
166.54/164.93	c cleaning 9999 clauses out of 20008 with flag 404001/3739441
166.84/165.28	c cleaning 10002 clauses out of 20012 with flag 414004/3749444
167.24/165.61	c cleaning 9998 clauses out of 20006 with flag 424000/3759440
167.54/165.95	c cleaning 10000 clauses out of 20010 with flag 434002/3769442
167.94/166.30	c cleaning 10001 clauses out of 20009 with flag 444001/3779441
168.24/166.65	c cleaning 10002 clauses out of 20008 with flag 454001/3789441
168.64/167.00	c cleaning 9999 clauses out of 20006 with flag 464001/3799441
168.94/167.35	c cleaning 9998 clauses out of 20008 with flag 474002/3809442
169.34/167.71	c cleaning 9998 clauses out of 20008 with flag 484000/3819440
169.64/168.04	c cleaning 10000 clauses out of 20011 with flag 494001/3829441
169.95/168.39	c cleaning 10000 clauses out of 20010 with flag 504000/3839440
170.34/168.75	c cleaning 10000 clauses out of 20010 with flag 514000/3849440
170.75/169.10	c cleaning 10000 clauses out of 20010 with flag 524000/3859440
171.05/169.45	c cleaning 9999 clauses out of 20011 with flag 534001/3869441
171.45/169.81	c cleaning 10004 clauses out of 20013 with flag 544002/3879442
171.75/170.15	c cleaning 10000 clauses out of 20008 with flag 554001/3889441
172.06/170.49	c cleaning 9998 clauses out of 20009 with flag 564002/3899442
172.45/170.82	c Got one! Elapsed wall clock time (in seconds):170.71
172.45/170.82	o 28
172.65/171.04	c cleaning 12395 clauses out of 24793 with flag 5001/3914224
172.85/171.27	c cleaning 9196 clauses out of 18397 with flag 11000/3920223
173.16/171.51	c cleaning 8096 clauses out of 16201 with flag 18000/3927223
173.36/171.78	c cleaning 8048 clauses out of 16105 with flag 26000/3935223
173.66/172.09	c cleaning 8526 clauses out of 17057 with flag 35000/3944223
174.06/172.43	c cleaning 9257 clauses out of 18531 with flag 45000/3954223
174.37/172.79	c cleaning 9634 clauses out of 19276 with flag 55002/3964225
174.76/173.13	c cleaning 9816 clauses out of 19641 with flag 65001/3974224
175.06/173.47	c cleaning 9909 clauses out of 19827 with flag 75003/3984226
175.47/173.83	c cleaning 9953 clauses out of 19915 with flag 85000/3994223
175.76/174.18	c cleaning 9976 clauses out of 19962 with flag 95000/4004223
176.16/174.59	c cleaning 9991 clauses out of 19986 with flag 105000/4014223
176.67/175.04	c cleaning 9996 clauses out of 19999 with flag 115004/4024227
177.07/175.40	c cleaning 9994 clauses out of 20001 with flag 125002/4034225
177.47/175.88	c cleaning 10002 clauses out of 20006 with flag 135001/4044224
177.87/176.25	c cleaning 9998 clauses out of 20007 with flag 145004/4054227
178.27/176.61	c cleaning 10001 clauses out of 20007 with flag 155002/4064225
178.57/176.97	c cleaning 9998 clauses out of 20004 with flag 165000/4074223
178.97/177.37	c cleaning 9999 clauses out of 20007 with flag 175001/4084224
179.27/177.68	c Got one! Elapsed wall clock time (in seconds):177.573
179.27/177.68	o 16
179.57/177.90	c cleaning 11654 clauses out of 23315 with flag 5000/4097531
179.78/178.11	c cleaning 8827 clauses out of 17661 with flag 11000/4103531
179.97/178.35	c cleaning 7916 clauses out of 15835 with flag 18001/4110532
180.27/178.61	c cleaning 7957 clauses out of 15919 with flag 26001/4118532
180.58/178.92	c cleaning 8477 clauses out of 16961 with flag 35000/4127531
180.88/179.26	c cleaning 9239 clauses out of 18486 with flag 45002/4137533
181.28/179.63	c cleaning 9616 clauses out of 19246 with flag 55001/4147532
181.58/179.98	c cleaning 9811 clauses out of 19629 with flag 65000/4157531
181.98/180.31	c cleaning 9900 clauses out of 19818 with flag 75000/4167531
182.28/180.65	c cleaning 9955 clauses out of 19919 with flag 85001/4177532
182.59/180.99	c cleaning 9975 clauses out of 19963 with flag 95000/4187531
182.99/181.34	c cleaning 9988 clauses out of 19988 with flag 105000/4197531
183.29/181.69	c cleaning 9996 clauses out of 20001 with flag 115001/4207532
183.69/182.05	c cleaning 9997 clauses out of 20006 with flag 125002/4217533
183.99/182.38	c cleaning 9998 clauses out of 20007 with flag 135000/4227531
184.39/182.71	c cleaning 9999 clauses out of 20009 with flag 145000/4237531
184.69/183.04	c cleaning 9999 clauses out of 20010 with flag 155000/4247531
184.99/183.38	c cleaning 10001 clauses out of 20011 with flag 165000/4257531
185.40/183.74	c cleaning 10001 clauses out of 20010 with flag 175000/4267531
185.70/184.08	c cleaning 10001 clauses out of 20010 with flag 185001/4277532
186.10/184.42	c cleaning 9999 clauses out of 20008 with flag 195000/4287531
186.40/184.77	c cleaning 10001 clauses out of 20009 with flag 205000/4297531
186.80/185.12	c cleaning 9998 clauses out of 20009 with flag 215001/4307532
187.10/185.47	c cleaning 10001 clauses out of 20010 with flag 225001/4317532
187.41/185.79	c cleaning 10002 clauses out of 20011 with flag 235003/4327534
187.81/186.12	c cleaning 10002 clauses out of 20009 with flag 245003/4337534
187.91/186.20	c starts		: 302
187.91/186.20	c conflicts		: 4339987
187.91/186.20	c decisions		: 7176898
187.91/186.20	c propagations		: 121969041
187.91/186.20	c inspects		: 956932370
187.91/186.20	c shortcuts		: 0
187.91/186.20	c learnt literals	: 6
187.91/186.20	c learnt binary clauses	: 149
187.91/186.20	c learnt ternary clauses	: 3222
187.91/186.20	c learnt constraints	: 4339980
187.91/186.20	c ignored constraints	: 0
187.91/186.20	c root simplifications	: 0
187.91/186.20	c removed literals (reason simplification)	: 21353585
187.91/186.20	c reason swapping (by a shorter reason)	: 0
187.91/186.20	c Calls to reduceDB	: 472
187.91/186.20	c number of reductions to clauses (during analyze)	: 0
187.91/186.20	c number of learned constraints concerned by reduction	: 0
187.91/186.20	c number of learning phase by resolution	: 0
187.91/186.20	c number of learning phase by cutting planes	: 0
187.91/186.20	c speed (assignments/second)	: 1.4312255456465619E7
187.91/186.20	c non guided choices	3344
187.91/186.20	c learnt constraints type 
187.91/186.20	c constraints type 
187.91/186.20	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
187.91/186.20	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
187.91/186.20	s OPTIMUM FOUND
187.91/186.20	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 
187.91/186.20	c objective function=16
187.91/186.20	c Total wall clock time (in seconds): 186.096

Verifier Data 

OK	16

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.94 2/195 2464
/proc/meminfo: memFree=1488060/32951124 swapFree=67050916/67111528
[pid=2464] ppid=2462 vsize=256 CPUtime=0 cores=1,3,5,7
/proc/2464/stat : 2464 (java) R 2462 2464 648 0 -1 4194304 269 0 0 0 0 0 0 0 23 0 1 0 883525214 262144 33 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212034731509 0 0 4096 0 0 0 0 17 1 0 0 0
/proc/2464/statm: 77 39 30 9 0 23 0

[startup+0.048966 s]
/proc/loadavg: 2.00 2.00 1.94 2/195 2464
/proc/meminfo: memFree=1488060/32951124 swapFree=67050916/67111528
[pid=2464] ppid=2462 vsize=10467480 CPUtime=0.04 cores=1,3,5,7
/proc/2464/stat : 2464 (java) S 2462 2464 648 0 -1 4202496 11333 0 1 0 3 1 0 0 23 0 13 0 883525214 10718699520 11030 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051458021 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0
/proc/2464/statm: 2616870 11030 1679 9 0 2607618 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467480

[startup+0.100985 s]
/proc/loadavg: 2.00 2.00 1.94 2/195 2464
/proc/meminfo: memFree=1488060/32951124 swapFree=67050916/67111528
[pid=2464] ppid=2462 vsize=10539856 CPUtime=0.1 cores=1,3,5,7
/proc/2464/stat : 2464 (java) S 2462 2464 648 0 -1 4202496 13015 0 1 0 9 1 0 0 23 0 18 0 883525214 10792812544 12712 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2464/statm: 2634964 12714 2092 9 0 2625698 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539856

[startup+0.300923 s]
/proc/loadavg: 2.00 2.00 1.94 2/195 2464
/proc/meminfo: memFree=1488060/32951124 swapFree=67050916/67111528
[pid=2464] ppid=2462 vsize=10543152 CPUtime=0.51 cores=1,3,5,7
/proc/2464/stat : 2464 (java) S 2462 2464 648 0 -1 4202496 15790 0 1 0 49 2 0 0 23 0 19 0 883525214 10796187648 14746 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2464/statm: 2635788 14746 2214 9 0 2626522 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10543152

[startup+0.700848 s]
/proc/loadavg: 2.00 2.00 1.94 2/195 2464
/proc/meminfo: memFree=1488060/32951124 swapFree=67050916/67111528
[pid=2464] ppid=2462 vsize=10543152 CPUtime=0.96 cores=1,3,5,7
/proc/2464/stat : 2464 (java) S 2462 2464 648 0 -1 4202496 16447 0 1 0 94 2 0 0 23 0 19 0 883525214 10796187648 15403 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2464/statm: 2635788 15403 2218 9 0 2626522 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 10543152

[startup+1.50071 s]
/proc/loadavg: 2.00 2.00 1.94 3/214 2483
/proc/meminfo: memFree=1432568/32951124 swapFree=67050916/67111528
[pid=2464] ppid=2462 vsize=10543152 CPUtime=1.82 cores=1,3,5,7
/proc/2464/stat : 2464 (java) S 2462 2464 648 0 -1 4202496 17462 0 1 0 180 2 0 0 23 0 19 0 883525214 10796187648 16411 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2464/statm: 2635788 16411 2246 9 0 2626522 0
[pid=2464/tid=2466] ppid=2462 vsize=10543152 CPUtime=1.46 cores=1,3,5,7
/proc/2464/task/2466/stat : 2466 (java) R 2462 2464 648 0 -1 4202560 12471 0 1 0 145 1 0 0 25 0 19 0 883525215 10796187648 16411 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 46912505565503 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=2464/tid=2467] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2467/stat : 2467 (java) S 2462 2464 648 0 -1 4202560 186 0 0 0 0 0 0 0 15 0 19 0 883525217 10796187648 16411 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 5 0 0 0
[pid=2464/tid=2468] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2468/stat : 2468 (java) S 2462 2464 648 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883525217 10796187648 16411 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 5 0 0 0
[pid=2464/tid=2469] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2469/stat : 2469 (java) S 2462 2464 648 0 -1 4202560 83 0 0 0 0 0 0 0 15 0 19 0 883525217 10796187648 16411 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 3 0 0 0
[pid=2464/tid=2470] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2470/stat : 2470 (java) S 2462 2464 648 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 883525217 10796187648 16411 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 5 0 0 0
[pid=2464/tid=2471] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2471/stat : 2471 (java) S 2462 2464 648 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883525217 10796187648 16411 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 5 0 0 0
[pid=2464/tid=2472] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2472/stat : 2472 (java) S 2462 2464 648 0 -1 4202560 132 0 0 0 0 0 0 0 15 0 19 0 883525217 10796187648 16411 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 7 0 0 0
[pid=2464/tid=2473] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2473/stat : 2473 (java) S 2462 2464 648 0 -1 4202560 72 0 0 0 0 0 0 0 15 0 19 0 883525217 10796187648 16411 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 3 0 0 0
[pid=2464/tid=2474] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2474/stat : 2474 (java) S 2462 2464 648 0 -1 4202560 112 0 0 0 0 0 0 0 15 0 19 0 883525217 10796187648 16411 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 5 0 0 0
[pid=2464/tid=2475] ppid=2462 vsize=10543152 CPUtime=0.02 cores=1,3,5,7
/proc/2464/task/2475/stat : 2475 (java) S 2462 2464 648 0 -1 4202560 413 0 0 0 2 0 0 0 15 0 19 0 883525218 10796187648 16411 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471872 0 0 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2476] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2476/stat : 2476 (java) S 2462 2464 648 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 883525218 10796187648 16411 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2477] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2477/stat : 2477 (java) S 2462 2464 648 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 883525218 10796187648 16411 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 7 0 0 0
[pid=2464/tid=2478] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2478/stat : 2478 (java) S 2462 2464 648 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883525220 10796187648 16411 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051478961 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2479] ppid=2462 vsize=10543152 CPUtime=0.19 cores=1,3,5,7
/proc/2464/task/2479/stat : 2479 (java) S 2462 2464 648 0 -1 4202560 1705 0 0 0 19 0 0 0 15 0 19 0 883525220 10796187648 16411 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 7 0 0 0
[pid=2464/tid=2480] ppid=2462 vsize=10543152 CPUtime=0.12 cores=1,3,5,7
/proc/2464/task/2480/stat : 2480 (java) S 2462 2464 648 0 -1 4202560 1133 0 0 0 12 0 0 0 16 0 19 0 883525220 10796187648 16411 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2481] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2481/stat : 2481 (java) S 2462 2464 648 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883525220 10796187648 16411 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2482] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2482/stat : 2482 (java) S 2462 2464 648 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883525220 10796187648 16411 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471872 0 4 0 16800975 18446604466064062400 0 0 -1 5 0 0 0
[pid=2464/tid=2483] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2483/stat : 2483 (java) S 2462 2464 648 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 883525231 10796187648 16411 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471872 0 4 0 16800975 18446604466064062400 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 10543152

[startup+3.10142 s]
/proc/loadavg: 2.00 2.00 1.94 3/214 2483
/proc/meminfo: memFree=1427236/32951124 swapFree=67050916/67111528
[pid=2464] ppid=2462 vsize=10543152 CPUtime=3.52 cores=1,3,5,7
/proc/2464/stat : 2464 (java) S 2462 2464 648 0 -1 4202496 18614 0 1 0 350 2 0 0 23 0 19 0 883525214 10796187648 17258 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2464/statm: 2635788 17258 2249 9 0 2626522 0
[pid=2464/tid=2466] ppid=2462 vsize=10543152 CPUtime=2.99 cores=1,3,5,7
/proc/2464/task/2466/stat : 2466 (java) R 2462 2464 648 0 -1 4202560 12476 0 1 0 298 1 0 0 25 0 19 0 883525215 10796187648 17258 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 46912505571500 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=2464/tid=2467] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2467/stat : 2467 (java) S 2462 2464 648 0 -1 4202560 186 0 0 0 0 0 0 0 15 0 19 0 883525217 10796187648 17258 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 5 0 0 0
[pid=2464/tid=2468] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2468/stat : 2468 (java) S 2462 2464 648 0 -1 4202560 98 0 0 0 0 0 0 0 15 0 19 0 883525217 10796187648 17258 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 5 0 0 0
[pid=2464/tid=2469] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2469/stat : 2469 (java) S 2462 2464 648 0 -1 4202560 83 0 0 0 0 0 0 0 15 0 19 0 883525217 10796187648 17258 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2470] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2470/stat : 2470 (java) S 2462 2464 648 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 883525217 10796187648 17258 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2471] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2471/stat : 2471 (java) S 2462 2464 648 0 -1 4202560 82 0 0 0 0 0 0 0 15 0 19 0 883525217 10796187648 17258 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 7 0 0 0
[pid=2464/tid=2472] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2472/stat : 2472 (java) S 2462 2464 648 0 -1 4202560 132 0 0 0 0 0 0 0 15 0 19 0 883525217 10796187648 17258 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 5 0 0 0
[pid=2464/tid=2473] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2473/stat : 2473 (java) S 2462 2464 648 0 -1 4202560 135 0 0 0 0 0 0 0 16 0 19 0 883525217 10796187648 17258 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2474] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2474/stat : 2474 (java) S 2462 2464 648 0 -1 4202560 119 0 0 0 0 0 0 0 15 0 19 0 883525217 10796187648 17258 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 7 0 0 0
[pid=2464/tid=2475] ppid=2462 vsize=10543152 CPUtime=0.08 cores=1,3,5,7
/proc/2464/task/2475/stat : 2475 (java) S 2462 2464 648 0 -1 4202560 581 0 0 0 8 0 0 0 15 0 19 0 883525218 10796187648 17258 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471872 0 0 0 16800975 18446604466064062400 0 0 -1 3 0 0 0
[pid=2464/tid=2476] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2476/stat : 2476 (java) S 2462 2464 648 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 883525218 10796187648 17258 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2477] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2477/stat : 2477 (java) S 2462 2464 648 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 883525218 10796187648 17258 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 7 0 0 0
[pid=2464/tid=2478] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2478/stat : 2478 (java) S 2462 2464 648 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883525220 10796187648 17258 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051478961 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2479] ppid=2462 vsize=10543152 CPUtime=0.28 cores=1,3,5,7
/proc/2464/task/2479/stat : 2479 (java) S 2462 2464 648 0 -1 4202560 2432 0 0 0 28 0 0 0 15 0 19 0 883525220 10796187648 17258 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 7 0 0 0
[pid=2464/tid=2480] ppid=2462 vsize=10543152 CPUtime=0.13 cores=1,3,5,7
/proc/2464/task/2480/stat : 2480 (java) S 2462 2464 648 0 -1 4202560 1136 0 0 0 13 0 0 0 15 0 19 0 883525220 10796187648 17258 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2481] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2481/stat : 2481 (java) S 2462 2464 648 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883525220 10796187648 17258 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2482] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2482/stat : 2482 (java) S 2462 2464 648 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883525220 10796187648 17258 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471872 0 4 0 16800975 18446604466064062400 0 0 -1 5 0 0 0
[pid=2464/tid=2483] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2483/stat : 2483 (java) S 2462 2464 648 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 883525231 10796187648 17258 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471872 0 4 0 16800975 18446604466064062400 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.52
Current children cumulated vsize (KiB) 10543152

[startup+6.30085 s]
/proc/loadavg: 2.00 2.00 1.94 3/214 2483
/proc/meminfo: memFree=1426352/32951124 swapFree=67050916/67111528
[pid=2464] ppid=2462 vsize=10543152 CPUtime=6.74 cores=1,3,5,7
/proc/2464/stat : 2464 (java) S 2462 2464 648 0 -1 4202496 18835 0 1 0 672 2 0 0 23 0 19 0 883525214 10796187648 17471 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2464/statm: 2635788 17471 2249 9 0 2626522 0
[pid=2464/tid=2466] ppid=2462 vsize=10543152 CPUtime=6.09 cores=1,3,5,7
/proc/2464/task/2466/stat : 2466 (java) R 2462 2464 648 0 -1 4202560 12484 0 1 0 608 1 0 0 20 0 19 0 883525215 10796187648 17471 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 46912505565523 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2464/tid=2467] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2467/stat : 2467 (java) S 2462 2464 648 0 -1 4202560 186 0 0 0 0 0 0 0 15 0 19 0 883525217 10796187648 17471 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2468] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2468/stat : 2468 (java) S 2462 2464 648 0 -1 4202560 100 0 0 0 0 0 0 0 16 0 19 0 883525217 10796187648 17471 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 5 0 0 0
[pid=2464/tid=2469] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2469/stat : 2469 (java) S 2462 2464 648 0 -1 4202560 145 0 0 0 0 0 0 0 15 0 19 0 883525217 10796187648 17471 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2470] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2470/stat : 2470 (java) S 2462 2464 648 0 -1 4202560 46 0 0 0 0 0 0 0 15 0 19 0 883525217 10796187648 17471 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 5 0 0 0
[pid=2464/tid=2471] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2471/stat : 2471 (java) S 2462 2464 648 0 -1 4202560 83 0 0 0 0 0 0 0 15 0 19 0 883525217 10796187648 17471 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 7 0 0 0
[pid=2464/tid=2472] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2472/stat : 2472 (java) S 2462 2464 648 0 -1 4202560 133 0 0 0 0 0 0 0 15 0 19 0 883525217 10796187648 17471 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 5 0 0 0
[pid=2464/tid=2473] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2473/stat : 2473 (java) S 2462 2464 648 0 -1 4202560 136 0 0 0 0 0 0 0 16 0 19 0 883525217 10796187648 17471 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2474] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2474/stat : 2474 (java) S 2462 2464 648 0 -1 4202560 174 0 0 0 0 0 0 0 16 0 19 0 883525217 10796187648 17471 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 7 0 0 0
[pid=2464/tid=2475] ppid=2462 vsize=10543152 CPUtime=0.17 cores=1,3,5,7
/proc/2464/task/2475/stat : 2475 (java) S 2462 2464 648 0 -1 4202560 625 0 0 0 17 0 0 0 15 0 19 0 883525218 10796187648 17471 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471872 0 0 0 16800975 18446604466064062400 0 0 -1 3 0 0 0
[pid=2464/tid=2476] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2476/stat : 2476 (java) S 2462 2464 648 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 883525218 10796187648 17471 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2477] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2477/stat : 2477 (java) S 2462 2464 648 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 883525218 10796187648 17471 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 7 0 0 0
[pid=2464/tid=2478] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2478/stat : 2478 (java) S 2462 2464 648 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883525220 10796187648 17471 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051478961 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2479] ppid=2462 vsize=10543152 CPUtime=0.29 cores=1,3,5,7
/proc/2464/task/2479/stat : 2479 (java) S 2462 2464 648 0 -1 4202560 2434 0 0 0 29 0 0 0 15 0 19 0 883525220 10796187648 17471 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 7 0 0 0
[pid=2464/tid=2480] ppid=2462 vsize=10543152 CPUtime=0.14 cores=1,3,5,7
/proc/2464/task/2480/stat : 2480 (java) S 2462 2464 648 0 -1 4202560 1137 0 0 0 14 0 0 0 15 0 19 0 883525220 10796187648 17471 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2481] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2481/stat : 2481 (java) S 2462 2464 648 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883525220 10796187648 17471 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2482] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2482/stat : 2482 (java) S 2462 2464 648 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883525220 10796187648 17471 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471872 0 4 0 16800975 18446604466064062400 0 0 -1 5 0 0 0
[pid=2464/tid=2483] ppid=2462 vsize=10543152 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2483/stat : 2483 (java) S 2462 2464 648 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 883525231 10796187648 17471 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471872 0 4 0 16800975 18446604466064062400 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.74
Current children cumulated vsize (KiB) 10543152

[startup+12.7007 s]

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

/proc/2464/task/2467/stat : 2467 (java) S 2462 2464 648 0 -1 4202560 198 0 0 0 13 0 0 0 15 0 19 0 883525217 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 5 0 0 0
[pid=2464/tid=2468] ppid=2462 vsize=10558916 CPUtime=0.13 cores=1,3,5,7
/proc/2464/task/2468/stat : 2468 (java) S 2462 2464 648 0 -1 4202560 111 0 0 0 13 0 0 0 16 0 19 0 883525217 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2469] ppid=2462 vsize=10558916 CPUtime=0.14 cores=1,3,5,7
/proc/2464/task/2469/stat : 2469 (java) S 2462 2464 648 0 -1 4202560 209 0 0 0 14 0 0 0 15 0 19 0 883525217 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 5 0 0 0
[pid=2464/tid=2470] ppid=2462 vsize=10558916 CPUtime=0.14 cores=1,3,5,7
/proc/2464/task/2470/stat : 2470 (java) S 2462 2464 648 0 -1 4202560 61 0 0 0 14 0 0 0 15 0 19 0 883525217 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 7 0 0 0
[pid=2464/tid=2471] ppid=2462 vsize=10558916 CPUtime=0.12 cores=1,3,5,7
/proc/2464/task/2471/stat : 2471 (java) S 2462 2464 648 0 -1 4202560 136 0 0 0 12 0 0 0 15 0 19 0 883525217 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 7 0 0 0
[pid=2464/tid=2472] ppid=2462 vsize=10558916 CPUtime=0.13 cores=1,3,5,7
/proc/2464/task/2472/stat : 2472 (java) S 2462 2464 648 0 -1 4202560 148 0 0 0 13 0 0 0 16 0 19 0 883525217 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 5 0 0 0
[pid=2464/tid=2473] ppid=2462 vsize=10558916 CPUtime=0.13 cores=1,3,5,7
/proc/2464/task/2473/stat : 2473 (java) S 2462 2464 648 0 -1 4202560 147 0 0 0 13 0 0 0 15 0 19 0 883525217 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2474] ppid=2462 vsize=10558916 CPUtime=0.13 cores=1,3,5,7
/proc/2464/task/2474/stat : 2474 (java) S 2462 2464 648 0 -1 4202560 340 0 0 0 13 0 0 0 15 0 19 0 883525217 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 7 0 0 0
[pid=2464/tid=2475] ppid=2462 vsize=10558916 CPUtime=6.71 cores=1,3,5,7
/proc/2464/task/2475/stat : 2475 (java) S 2462 2464 648 0 -1 4202560 1416 0 0 0 664 7 0 0 15 0 19 0 883525218 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471872 0 0 0 16800975 18446604466064062400 0 0 -1 3 0 0 0
[pid=2464/tid=2476] ppid=2462 vsize=10558916 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2476/stat : 2476 (java) S 2462 2464 648 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 883525218 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2477] ppid=2462 vsize=10558916 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2477/stat : 2477 (java) S 2462 2464 648 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 883525218 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 7 0 0 0
[pid=2464/tid=2478] ppid=2462 vsize=10558916 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2478/stat : 2478 (java) S 2462 2464 648 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883525220 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051478961 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2479] ppid=2462 vsize=10558916 CPUtime=0.42 cores=1,3,5,7
/proc/2464/task/2479/stat : 2479 (java) S 2462 2464 648 0 -1 4202560 3325 0 0 0 42 0 0 0 15 0 19 0 883525220 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 3 0 0 0
[pid=2464/tid=2480] ppid=2462 vsize=10558916 CPUtime=0.76 cores=1,3,5,7
/proc/2464/task/2480/stat : 2480 (java) S 2462 2464 648 0 -1 4202560 8202 0 0 0 75 1 0 0 15 0 19 0 883525220 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2481] ppid=2462 vsize=10558916 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2481/stat : 2481 (java) S 2462 2464 648 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883525220 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2482] ppid=2462 vsize=10558916 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2482/stat : 2482 (java) S 2462 2464 648 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 883525220 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471872 0 4 0 16800975 18446604466064062400 0 0 -1 5 0 0 0
[pid=2464/tid=2483] ppid=2462 vsize=10558916 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2483/stat : 2483 (java) S 2462 2464 648 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 883525231 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471872 0 4 0 16800975 18446604466064062400 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 187.2
Current children cumulated vsize (KiB) 10558916

[startup+185.907 s]
/proc/loadavg: 2.38 2.14 1.99 3/214 2545
/proc/meminfo: memFree=1405216/32951124 swapFree=67050916/67111528
[pid=2464] ppid=2462 vsize=10558916 CPUtime=187.62 cores=1,3,5,7
/proc/2464/stat : 2464 (java) S 2462 2464 648 0 -1 4202496 28402 0 1 0 18745 17 0 0 23 0 19 0 883525214 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2464/statm: 2639729 22669 2250 9 0 2630463 0
[pid=2464/tid=2466] ppid=2462 vsize=10558916 CPUtime=178.51 cores=1,3,5,7
/proc/2464/task/2466/stat : 2466 (java) R 2462 2464 648 0 -1 4202560 12944 0 1 0 17849 2 0 0 25 0 19 0 883525215 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 46912505595416 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2464/tid=2467] ppid=2462 vsize=10558916 CPUtime=0.13 cores=1,3,5,7
/proc/2464/task/2467/stat : 2467 (java) S 2462 2464 648 0 -1 4202560 198 0 0 0 13 0 0 0 15 0 19 0 883525217 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2468] ppid=2462 vsize=10558916 CPUtime=0.13 cores=1,3,5,7
/proc/2464/task/2468/stat : 2468 (java) S 2462 2464 648 0 -1 4202560 111 0 0 0 13 0 0 0 15 0 19 0 883525217 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2469] ppid=2462 vsize=10558916 CPUtime=0.14 cores=1,3,5,7
/proc/2464/task/2469/stat : 2469 (java) S 2462 2464 648 0 -1 4202560 209 0 0 0 14 0 0 0 15 0 19 0 883525217 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 5 0 0 0
[pid=2464/tid=2470] ppid=2462 vsize=10558916 CPUtime=0.14 cores=1,3,5,7
/proc/2464/task/2470/stat : 2470 (java) S 2462 2464 648 0 -1 4202560 61 0 0 0 14 0 0 0 16 0 19 0 883525217 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 7 0 0 0
[pid=2464/tid=2471] ppid=2462 vsize=10558916 CPUtime=0.12 cores=1,3,5,7
/proc/2464/task/2471/stat : 2471 (java) S 2462 2464 648 0 -1 4202560 136 0 0 0 12 0 0 0 15 0 19 0 883525217 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 7 0 0 0
[pid=2464/tid=2472] ppid=2462 vsize=10558916 CPUtime=0.13 cores=1,3,5,7
/proc/2464/task/2472/stat : 2472 (java) S 2462 2464 648 0 -1 4202560 148 0 0 0 13 0 0 0 15 0 19 0 883525217 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 5 0 0 0
[pid=2464/tid=2473] ppid=2462 vsize=10558916 CPUtime=0.13 cores=1,3,5,7
/proc/2464/task/2473/stat : 2473 (java) S 2462 2464 648 0 -1 4202560 147 0 0 0 13 0 0 0 15 0 19 0 883525217 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2474] ppid=2462 vsize=10558916 CPUtime=0.13 cores=1,3,5,7
/proc/2464/task/2474/stat : 2474 (java) S 2462 2464 648 0 -1 4202560 340 0 0 0 13 0 0 0 15 0 19 0 883525217 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 5 0 0 0
[pid=2464/tid=2475] ppid=2462 vsize=10558916 CPUtime=6.72 cores=1,3,5,7
/proc/2464/task/2475/stat : 2475 (java) S 2462 2464 648 0 -1 4202560 1416 0 0 0 665 7 0 0 15 0 19 0 883525218 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471872 0 0 0 16800975 18446604466064062400 0 0 -1 3 0 0 0
[pid=2464/tid=2476] ppid=2462 vsize=10558916 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2476/stat : 2476 (java) S 2462 2464 648 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 883525218 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2477] ppid=2462 vsize=10558916 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2477/stat : 2477 (java) S 2462 2464 648 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 883525218 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 7 0 0 0
[pid=2464/tid=2478] ppid=2462 vsize=10558916 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2478/stat : 2478 (java) S 2462 2464 648 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883525220 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051478961 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2479] ppid=2462 vsize=10558916 CPUtime=0.42 cores=1,3,5,7
/proc/2464/task/2479/stat : 2479 (java) S 2462 2464 648 0 -1 4202560 3325 0 0 0 42 0 0 0 15 0 19 0 883525220 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 3 0 0 0
[pid=2464/tid=2480] ppid=2462 vsize=10558916 CPUtime=0.77 cores=1,3,5,7
/proc/2464/task/2480/stat : 2480 (java) S 2462 2464 648 0 -1 4202560 8203 0 0 0 76 1 0 0 15 0 19 0 883525220 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2481] ppid=2462 vsize=10558916 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2481/stat : 2481 (java) S 2462 2464 648 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883525220 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2482] ppid=2462 vsize=10558916 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2482/stat : 2482 (java) S 2462 2464 648 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 883525220 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471872 0 4 0 16800975 18446604466064062400 0 0 -1 5 0 0 0
[pid=2464/tid=2483] ppid=2462 vsize=10558916 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2483/stat : 2483 (java) S 2462 2464 648 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 883525231 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471872 0 4 0 16800975 18446604466064062400 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 187.62
Current children cumulated vsize (KiB) 10558916

[startup+186.101 s]
/proc/loadavg: 2.38 2.14 1.99 3/214 2545
/proc/meminfo: memFree=1405216/32951124 swapFree=67050916/67111528
[pid=2464] ppid=2462 vsize=10558916 CPUtime=187.81 cores=1,3,5,7
/proc/2464/stat : 2464 (java) S 2462 2464 648 0 -1 4202496 28402 0 1 0 18764 17 0 0 23 0 19 0 883525214 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2464/statm: 2639729 22669 2250 9 0 2630463 0
[pid=2464/tid=2466] ppid=2462 vsize=10558916 CPUtime=178.71 cores=1,3,5,7
/proc/2464/task/2466/stat : 2466 (java) R 2462 2464 648 0 -1 4202560 12944 0 1 0 17869 2 0 0 25 0 19 0 883525215 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 46912505541084 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2464/tid=2467] ppid=2462 vsize=10558916 CPUtime=0.13 cores=1,3,5,7
/proc/2464/task/2467/stat : 2467 (java) S 2462 2464 648 0 -1 4202560 198 0 0 0 13 0 0 0 15 0 19 0 883525217 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2468] ppid=2462 vsize=10558916 CPUtime=0.13 cores=1,3,5,7
/proc/2464/task/2468/stat : 2468 (java) S 2462 2464 648 0 -1 4202560 111 0 0 0 13 0 0 0 15 0 19 0 883525217 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2469] ppid=2462 vsize=10558916 CPUtime=0.14 cores=1,3,5,7
/proc/2464/task/2469/stat : 2469 (java) S 2462 2464 648 0 -1 4202560 209 0 0 0 14 0 0 0 15 0 19 0 883525217 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 5 0 0 0
[pid=2464/tid=2470] ppid=2462 vsize=10558916 CPUtime=0.14 cores=1,3,5,7
/proc/2464/task/2470/stat : 2470 (java) S 2462 2464 648 0 -1 4202560 61 0 0 0 14 0 0 0 16 0 19 0 883525217 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 7 0 0 0
[pid=2464/tid=2471] ppid=2462 vsize=10558916 CPUtime=0.12 cores=1,3,5,7
/proc/2464/task/2471/stat : 2471 (java) S 2462 2464 648 0 -1 4202560 136 0 0 0 12 0 0 0 15 0 19 0 883525217 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 7 0 0 0
[pid=2464/tid=2472] ppid=2462 vsize=10558916 CPUtime=0.13 cores=1,3,5,7
/proc/2464/task/2472/stat : 2472 (java) S 2462 2464 648 0 -1 4202560 148 0 0 0 13 0 0 0 15 0 19 0 883525217 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 5 0 0 0
[pid=2464/tid=2473] ppid=2462 vsize=10558916 CPUtime=0.13 cores=1,3,5,7
/proc/2464/task/2473/stat : 2473 (java) S 2462 2464 648 0 -1 4202560 147 0 0 0 13 0 0 0 15 0 19 0 883525217 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2474] ppid=2462 vsize=10558916 CPUtime=0.13 cores=1,3,5,7
/proc/2464/task/2474/stat : 2474 (java) S 2462 2464 648 0 -1 4202560 340 0 0 0 13 0 0 0 15 0 19 0 883525217 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 5 0 0 0
[pid=2464/tid=2475] ppid=2462 vsize=10558916 CPUtime=6.72 cores=1,3,5,7
/proc/2464/task/2475/stat : 2475 (java) S 2462 2464 648 0 -1 4202560 1416 0 0 0 665 7 0 0 15 0 19 0 883525218 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471872 0 0 0 16800975 18446604466064062400 0 0 -1 3 0 0 0
[pid=2464/tid=2476] ppid=2462 vsize=10558916 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2476/stat : 2476 (java) S 2462 2464 648 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 883525218 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2477] ppid=2462 vsize=10558916 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2477/stat : 2477 (java) S 2462 2464 648 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 883525218 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 7 0 0 0
[pid=2464/tid=2478] ppid=2462 vsize=10558916 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2478/stat : 2478 (java) S 2462 2464 648 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883525220 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051478961 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2479] ppid=2462 vsize=10558916 CPUtime=0.42 cores=1,3,5,7
/proc/2464/task/2479/stat : 2479 (java) S 2462 2464 648 0 -1 4202560 3325 0 0 0 42 0 0 0 15 0 19 0 883525220 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 3 0 0 0
[pid=2464/tid=2480] ppid=2462 vsize=10558916 CPUtime=0.77 cores=1,3,5,7
/proc/2464/task/2480/stat : 2480 (java) S 2462 2464 648 0 -1 4202560 8203 0 0 0 76 1 0 0 15 0 19 0 883525220 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2481] ppid=2462 vsize=10558916 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2481/stat : 2481 (java) S 2462 2464 648 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883525220 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2482] ppid=2462 vsize=10558916 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2482/stat : 2482 (java) S 2462 2464 648 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 883525220 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471872 0 4 0 16800975 18446604466064062400 0 0 -1 5 0 0 0
[pid=2464/tid=2483] ppid=2462 vsize=10558916 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2483/stat : 2483 (java) S 2462 2464 648 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 883525231 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471872 0 4 0 16800975 18446604466064062400 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 187.81
Current children cumulated vsize (KiB) 10558916

[startup+186.201 s]
/proc/loadavg: 2.38 2.14 1.99 3/214 2545
/proc/meminfo: memFree=1405216/32951124 swapFree=67050916/67111528
[pid=2464] ppid=2462 vsize=10558916 CPUtime=187.91 cores=1,3,5,7
/proc/2464/stat : 2464 (java) S 2462 2464 648 0 -1 4202496 28403 0 1 0 18774 17 0 0 23 0 19 0 883525214 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051458021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/2464/statm: 2639729 22669 2250 9 0 2630463 0
[pid=2464/tid=2466] ppid=2462 vsize=10558916 CPUtime=178.79 cores=1,3,5,7
/proc/2464/task/2466/stat : 2466 (java) R 2462 2464 648 0 -1 4202560 12945 0 1 0 17877 2 0 0 25 0 19 0 883525215 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 46912505634757 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=2464/tid=2467] ppid=2462 vsize=10558916 CPUtime=0.13 cores=1,3,5,7
/proc/2464/task/2467/stat : 2467 (java) S 2462 2464 648 0 -1 4202560 198 0 0 0 13 0 0 0 15 0 19 0 883525217 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2468] ppid=2462 vsize=10558916 CPUtime=0.13 cores=1,3,5,7
/proc/2464/task/2468/stat : 2468 (java) S 2462 2464 648 0 -1 4202560 111 0 0 0 13 0 0 0 15 0 19 0 883525217 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2469] ppid=2462 vsize=10558916 CPUtime=0.14 cores=1,3,5,7
/proc/2464/task/2469/stat : 2469 (java) S 2462 2464 648 0 -1 4202560 209 0 0 0 14 0 0 0 15 0 19 0 883525217 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 5 0 0 0
[pid=2464/tid=2470] ppid=2462 vsize=10558916 CPUtime=0.15 cores=1,3,5,7
/proc/2464/task/2470/stat : 2470 (java) S 2462 2464 648 0 -1 4202560 61 0 0 0 15 0 0 0 16 0 19 0 883525217 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 7 0 0 0
[pid=2464/tid=2471] ppid=2462 vsize=10558916 CPUtime=0.12 cores=1,3,5,7
/proc/2464/task/2471/stat : 2471 (java) S 2462 2464 648 0 -1 4202560 136 0 0 0 12 0 0 0 15 0 19 0 883525217 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 7 0 0 0
[pid=2464/tid=2472] ppid=2462 vsize=10558916 CPUtime=0.13 cores=1,3,5,7
/proc/2464/task/2472/stat : 2472 (java) S 2462 2464 648 0 -1 4202560 148 0 0 0 13 0 0 0 16 0 19 0 883525217 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 5 0 0 0
[pid=2464/tid=2473] ppid=2462 vsize=10558916 CPUtime=0.13 cores=1,3,5,7
/proc/2464/task/2473/stat : 2473 (java) S 2462 2464 648 0 -1 4202560 147 0 0 0 13 0 0 0 16 0 19 0 883525217 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2474] ppid=2462 vsize=10558916 CPUtime=0.13 cores=1,3,5,7
/proc/2464/task/2474/stat : 2474 (java) S 2462 2464 648 0 -1 4202560 340 0 0 0 13 0 0 0 15 0 19 0 883525217 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 5 0 0 0
[pid=2464/tid=2475] ppid=2462 vsize=10558916 CPUtime=6.74 cores=1,3,5,7
/proc/2464/task/2475/stat : 2475 (java) S 2462 2464 648 0 -1 4202560 1416 0 0 0 667 7 0 0 15 0 19 0 883525218 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471872 0 0 0 16800975 18446604466064062400 0 0 -1 3 0 0 0
[pid=2464/tid=2476] ppid=2462 vsize=10558916 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2476/stat : 2476 (java) S 2462 2464 648 0 -1 4202560 17 0 0 0 0 0 0 0 19 0 19 0 883525218 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2477] ppid=2462 vsize=10558916 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2477/stat : 2477 (java) S 2462 2464 648 0 -1 4202560 10 0 0 0 0 0 0 0 19 0 19 0 883525218 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 7 0 0 0
[pid=2464/tid=2478] ppid=2462 vsize=10558916 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2478/stat : 2478 (java) S 2462 2464 648 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 883525220 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051478961 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2479] ppid=2462 vsize=10558916 CPUtime=0.42 cores=1,3,5,7
/proc/2464/task/2479/stat : 2479 (java) S 2462 2464 648 0 -1 4202560 3325 0 0 0 42 0 0 0 15 0 19 0 883525220 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 3 0 0 0
[pid=2464/tid=2480] ppid=2462 vsize=10558916 CPUtime=0.77 cores=1,3,5,7
/proc/2464/task/2480/stat : 2480 (java) S 2462 2464 648 0 -1 4202560 8203 0 0 0 76 1 0 0 15 0 19 0 883525220 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2481] ppid=2462 vsize=10558916 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2481/stat : 2481 (java) S 2462 2464 648 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 883525220 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471257 0 4 0 16800975 18446604466064062400 0 0 -1 1 0 0 0
[pid=2464/tid=2482] ppid=2462 vsize=10558916 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2482/stat : 2482 (java) S 2462 2464 648 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 883525220 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471872 0 4 0 16800975 18446604466064062400 0 0 -1 5 0 0 0
[pid=2464/tid=2483] ppid=2462 vsize=10558916 CPUtime=0 cores=1,3,5,7
/proc/2464/task/2483/stat : 2483 (java) S 2462 2464 648 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 883525231 10812329984 22669 33554432000 1073741824 1073778376 140735534427632 18446744073709551615 212051471872 0 4 0 16800975 18446604466064062400 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 187.91
Current children cumulated vsize (KiB) 10558916

Child status: 30
Real time (s): 186.214
CPU time (s): 187.936
CPU user time (s): 187.756
CPU system time (s): 0.179972
CPU usage (%): 100.925
Max. virtual memory (cumulated for all children) (KiB): 10563460

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 187.756
system time used= 0.179972
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28430
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= 16085
involuntary context switches= 9467

runsolver used 0.310952 second user time and 0.726889 second system time

The end

Launcher Data 

Begin job on node146 at 2011-06-12 22:38:10
IDJOB=3492661
IDBENCH=79214
IDSOLVER=1982
FILE ID=node146/3492661-1307911090
RUNJOBID= node146-1307908413-2091
PBS_JOBID= 13559563
Free space on /tmp= 6552 MiB

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

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

MD5SUM BENCH= e433b9b816c291c8bf4fd4860d096bb6
RANDOM SEED=1652859076

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1488844 kB
Buffers:         71684 kB
Cached:       30328416 kB
SwapCached:      13072 kB
Active:       15809084 kB
Inactive:     14704884 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1488844 kB
SwapTotal:    67111528 kB
SwapFree:     67050916 kB
Dirty:             116 kB
Writeback:           0 kB
AnonPages:      112340 kB
Mapped:          17504 kB
Slab:           884456 kB
PageTables:       5012 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10552160 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= 6552 MiB
End job on node146 at 2011-06-12 22:41:16