Trace number 3711083

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 NameAnswerobjective functionCPU timeWall clock time
SAT4J PB specific settings 2.3.2 snapshotOPT122 1096.48 1090.87

General information on the benchmark

Name/OPT-SMALLINT-LIN/heinz/
normalized-neos-538867.opb
MD5SUM3b75c8039d6468258a1aa0343ce1fddb
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark122
Best CPU time to get the best result obtained on this benchmark58.879
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables792
Total number of constraints1170
Number of constraints which are clauses1143
Number of constraints which are cardinality constraints (but not clauses)27
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint18
Number of terms in the objective function 666
Biggest coefficient in the objective function 80
Number of bits for the biggest coefficient in the objective function 7
Sum of the numbers in the objective function 18684
Number of bits of the sum of numbers in the objective function 15
Biggest number in a constraint 80
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 18684
Number of bits of the biggest sum of numbers15
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.06/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.06/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.09	c See www.sat4j.org for details.
0.06/0.09	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.06/0.10	c version 2.3.2.v20120418
0.06/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.10	c java.vm.version	19.1-b02
0.06/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.10	c sun.arch.data.model	64
0.06/0.10	c java.version		1.6.0_24
0.06/0.10	c os.name		Linux
0.06/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.10	c os.arch		amd64
0.06/0.10	c Free memory 		501472288
0.06/0.10	c Max memory 		7480803328
0.06/0.10	c Total memory 		504102912
0.06/0.10	c Number of processors 	8
0.06/0.13	c read org.sat4j.minisat.orders.VarOrderHeap
0.06/0.13	c configuring ORDERS
0.06/0.14	c --- Begin Solver configuration ---
0.06/0.14	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2dcb25f1
0.06/0.14	c Learn all clauses as in MiniSAT
0.06/0.14	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.06/0.14	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.06/0.14	c Expensive reason simplification
0.06/0.14	c Armin Biere (Picosat) restarts strategy
0.06/0.14	c Glucose learned constraints deletion strategy
0.06/0.14	c timeout=2147483s
0.06/0.14	c DB Simplification allowed=true
0.06/0.14	c Heuristics kept accross calls (keep the solver "hot")
0.06/0.14	c --- End Solver configuration ---
0.06/0.14	c solving HOME/instance-3711083-1338201592.opb
0.06/0.14	c reading problem ... 
0.23/0.26	c ... done. Wall clock time 0.122s.
0.23/0.26	c declared #vars     792
0.23/0.26	c #constraints  1188
0.23/0.26	c constraints type 
0.23/0.26	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1161
0.23/0.26	c org.sat4j.minisat.constraints.card.MinWatchCard => 27
0.23/0.26	c 1188 constraints processed.
0.23/0.28	c SATISFIABLE
0.23/0.28	c OPTIMIZING...
0.23/0.28	c Got one! Elapsed wall clock time (in seconds):0.138
0.23/0.28	o 477
0.23/0.29	c Got one! Elapsed wall clock time (in seconds):0.156
0.23/0.29	o 472
0.88/0.59	c Got one! Elapsed wall clock time (in seconds):0.449
0.88/0.59	o 462
1.02/0.68	c Got one! Elapsed wall clock time (in seconds):0.539
1.02/0.68	o 457
1.26/0.74	c Got one! Elapsed wall clock time (in seconds):0.599
1.26/0.74	o 452
1.26/0.75	c Got one! Elapsed wall clock time (in seconds):0.613
1.26/0.75	o 447
1.39/0.80	c Got one! Elapsed wall clock time (in seconds):0.656
1.39/0.80	o 442
1.39/0.80	c Got one! Elapsed wall clock time (in seconds):0.661
1.39/0.80	o 437
1.39/0.87	c Got one! Elapsed wall clock time (in seconds):0.734
1.39/0.87	o 432
1.52/0.95	c cleaning 4151 clauses out of 8303 with flag 1002/8303
1.65/1.01	c Got one! Elapsed wall clock time (in seconds):0.869
1.65/1.01	o 427
1.87/1.29	c cleaning 4900 clauses out of 9803 with flag 5000/13954
2.27/1.63	c cleaning 5446 clauses out of 10903 with flag 11000/19954
2.59/1.97	c Got one! Elapsed wall clock time (in seconds):1.834
2.59/1.97	o 422
2.79/2.15	c Got one! Elapsed wall clock time (in seconds):2.014
2.79/2.15	o 417
2.79/2.20	c Got one! Elapsed wall clock time (in seconds):2.065
2.79/2.20	o 412
2.90/2.25	c Got one! Elapsed wall clock time (in seconds):2.113
2.90/2.25	o 402
3.03/2.33	c Got one! Elapsed wall clock time (in seconds):2.194
3.03/2.33	o 392
3.03/2.37	c Got one! Elapsed wall clock time (in seconds):2.235
3.03/2.37	o 387
3.17/2.45	c cleaning 9482 clauses out of 18974 with flag 1001/33471
3.29/2.51	c Got one! Elapsed wall clock time (in seconds):2.37
3.29/2.51	o 382
3.50/2.75	c Got one! Elapsed wall clock time (in seconds):2.61
3.50/2.75	o 377
3.50/2.78	c Got one! Elapsed wall clock time (in seconds):2.643
3.50/2.78	o 372
3.60/2.85	c cleaning 7809 clauses out of 15624 with flag 1001/39603
3.91/3.12	c Got one! Elapsed wall clock time (in seconds):2.987
3.91/3.12	o 362
3.91/3.19	c cleaning 6640 clauses out of 13289 with flag 1000/45077
4.22/3.41	c Got one! Elapsed wall clock time (in seconds):3.269
4.22/3.41	o 357
4.32/3.53	c cleaning 6062 clauses out of 12140 with flag 2000/50568
4.42/3.65	c Got one! Elapsed wall clock time (in seconds):3.51
4.42/3.65	o 352
4.42/3.66	c Got one! Elapsed wall clock time (in seconds):3.521
4.42/3.66	o 347
4.62/3.85	c Got one! Elapsed wall clock time (in seconds):3.714
4.62/3.85	o 342
4.72/3.92	c cleaning 6078 clauses out of 12161 with flag 1002/56651
4.72/3.94	c Got one! Elapsed wall clock time (in seconds):3.801
4.72/3.94	o 337
5.02/4.25	c cleaning 5565 clauses out of 11147 with flag 5000/61715
5.23/4.48	c Got one! Elapsed wall clock time (in seconds):4.345
5.23/4.48	o 332
5.32/4.59	c Got one! Elapsed wall clock time (in seconds):4.456
5.32/4.59	o 327
5.42/4.66	c cleaning 6028 clauses out of 12063 with flag 1000/68196
5.83/5.04	c cleaning 6008 clauses out of 12036 with flag 7001/74197
5.93/5.11	c Got one! Elapsed wall clock time (in seconds):4.971
5.93/5.11	o 322
6.13/5.36	c Got one! Elapsed wall clock time (in seconds):5.221
6.13/5.36	o 317
6.24/5.40	c Got one! Elapsed wall clock time (in seconds):5.266
6.24/5.40	o 307
6.24/5.47	c cleaning 6446 clauses out of 12904 with flag 1000/81073
6.35/5.59	c Got one! Elapsed wall clock time (in seconds):5.457
6.35/5.59	o 302
6.64/5.84	c cleaning 6188 clauses out of 12398 with flag 4000/87013
7.04/6.21	c cleaning 6098 clauses out of 12212 with flag 10002/93015
7.35/6.59	c Got one! Elapsed wall clock time (in seconds):6.449
7.35/6.59	o 297
7.74/6.90	c cleaning 8591 clauses out of 17202 with flag 5000/104103
7.84/7.03	c Got one! Elapsed wall clock time (in seconds):6.893
7.84/7.03	o 292
8.04/7.28	c cleaning 7234 clauses out of 14484 with flag 4000/109976
8.34/7.57	c Got one! Elapsed wall clock time (in seconds):7.437
8.34/7.57	o 282
8.45/7.64	c cleaning 6429 clauses out of 12867 with flag 1004/115593
8.75/7.95	c Got one! Elapsed wall clock time (in seconds):7.808
8.75/7.95	o 277
8.85/8.01	c cleaning 6164 clauses out of 12341 with flag 1001/121496
9.25/8.41	c cleaning 6078 clauses out of 12177 with flag 7001/127496
9.35/8.54	c Got one! Elapsed wall clock time (in seconds):8.399
9.35/8.54	o 267
9.56/8.80	c cleaning 5990 clauses out of 12008 with flag 4000/133405
10.05/9.21	c cleaning 6007 clauses out of 12021 with flag 10003/139408
10.05/9.27	c Got one! Elapsed wall clock time (in seconds):9.137
10.05/9.27	o 262
10.16/9.35	c Got one! Elapsed wall clock time (in seconds):9.212
10.16/9.35	o 257
10.46/9.60	c cleaning 6078 clauses out of 12179 with flag 4000/145573
10.46/9.63	c Got one! Elapsed wall clock time (in seconds):9.495
10.46/9.63	o 252
10.77/9.94	c cleaning 5653 clauses out of 11324 with flag 5001/150796
11.16/10.32	c cleaning 5826 clauses out of 11671 with flag 11001/156796
11.16/10.37	c Got one! Elapsed wall clock time (in seconds):10.228
11.16/10.37	o 247
11.46/10.68	c cleaning 5675 clauses out of 11365 with flag 5002/162316
11.87/11.04	c cleaning 5837 clauses out of 11688 with flag 11000/168314
12.26/11.47	c cleaning 6424 clauses out of 12851 with flag 18000/175314
12.90/12.00	c cleaning 7210 clauses out of 14427 with flag 26000/183314
13.49/12.60	c cleaning 8101 clauses out of 16217 with flag 35000/192314
14.10/13.29	c cleaning 9056 clauses out of 18117 with flag 45001/202315
14.30/13.44	c Got one! Elapsed wall clock time (in seconds):13.307
14.30/13.44	o 242
14.50/13.63	c cleaning 7087 clauses out of 14190 with flag 3000/207444
14.90/14.04	c cleaning 6551 clauses out of 13107 with flag 9004/213448
15.41/14.50	c cleaning 6763 clauses out of 13552 with flag 16000/220444
15.91/15.05	c cleaning 7386 clauses out of 14789 with flag 24000/228444
16.52/15.69	c cleaning 8190 clauses out of 16403 with flag 33000/237444
16.94/16.02	c Got one! Elapsed wall clock time (in seconds):15.887
16.94/16.02	o 232
17.24/16.36	c cleaning 9103 clauses out of 18233 with flag 5001/247464
17.64/16.77	c cleaning 7556 clauses out of 15129 with flag 11000/253463
18.14/17.22	c Got one! Elapsed wall clock time (in seconds):17.082
18.14/17.22	o 227
18.45/17.55	c cleaning 9664 clauses out of 19332 with flag 5001/265222
18.64/17.76	c Got one! Elapsed wall clock time (in seconds):17.626
18.64/17.76	o 217
18.84/17.90	c cleaning 7353 clauses out of 14714 with flag 2000/270268
19.14/18.27	c cleaning 6668 clauses out of 13361 with flag 8000/276268
19.65/18.78	c cleaning 6836 clauses out of 13693 with flag 15000/283268
20.24/19.32	c cleaning 7424 clauses out of 14857 with flag 23000/291268
20.84/19.93	c cleaning 8208 clauses out of 16433 with flag 32000/300268
21.55/20.65	c cleaning 9100 clauses out of 18225 with flag 42000/310268
21.76/20.82	c Got one! Elapsed wall clock time (in seconds):20.687
21.76/20.82	o 212
21.95/21.01	c cleaning 7246 clauses out of 14495 with flag 3004/315638
22.35/21.42	c cleaning 6611 clauses out of 13247 with flag 9002/321636
22.75/21.90	c cleaning 6796 clauses out of 13634 with flag 16000/328634
23.36/22.46	c cleaning 7408 clauses out of 14839 with flag 24001/336635
23.56/22.60	c Got one! Elapsed wall clock time (in seconds):22.465
23.56/22.60	o 202
23.66/22.79	c cleaning 6229 clauses out of 12480 with flag 3000/341684
23.76/22.81	c Got one! Elapsed wall clock time (in seconds):22.675
23.76/22.81	o 197
24.07/23.12	c cleaning 5686 clauses out of 11382 with flag 5000/346815
24.46/23.51	c cleaning 5840 clauses out of 11698 with flag 11002/352817
24.66/23.76	c Got one! Elapsed wall clock time (in seconds):23.626
24.66/23.76	o 187
24.86/23.90	c cleaning 5710 clauses out of 11439 with flag 2000/358398
25.26/24.31	c cleaning 5852 clauses out of 11732 with flag 8003/364401
25.67/24.78	c cleaning 6429 clauses out of 12877 with flag 15000/371398
26.27/25.31	c cleaning 7215 clauses out of 14449 with flag 23001/379399
26.87/25.93	c cleaning 8100 clauses out of 16233 with flag 32000/388398
27.47/26.59	c cleaning 9060 clauses out of 18133 with flag 42000/398398
28.27/27.33	c cleaning 10012 clauses out of 20073 with flag 53000/409398
29.07/28.13	c cleaning 11015 clauses out of 22061 with flag 65000/421398
29.87/28.95	c Got one! Elapsed wall clock time (in seconds):28.81
29.87/28.95	o 182
30.17/29.28	c cleaning 14253 clauses out of 28534 with flag 5000/438886
30.58/29.69	c cleaning 10132 clauses out of 20282 with flag 11001/444887
31.08/30.12	c cleaning 8560 clauses out of 17150 with flag 18001/451887
31.60/30.69	c cleaning 8286 clauses out of 16589 with flag 26000/459886
32.30/31.31	c cleaning 8642 clauses out of 17305 with flag 35002/468888
33.00/32.00	c cleaning 9326 clauses out of 18661 with flag 45000/478886
33.70/32.76	c cleaning 10149 clauses out of 20336 with flag 56001/489887
34.61/33.60	c cleaning 11077 clauses out of 22186 with flag 68000/501886
35.51/34.52	c cleaning 12038 clauses out of 24109 with flag 81000/514886
36.42/35.48	c cleaning 13028 clauses out of 26072 with flag 95001/528887
37.52/36.53	c cleaning 14007 clauses out of 28043 with flag 110000/543886
38.62/37.63	c cleaning 15001 clauses out of 30038 with flag 126002/559888
39.86/38.85	c cleaning 16008 clauses out of 32035 with flag 143000/576886
41.16/40.12	c cleaning 17011 clauses out of 34028 with flag 161001/594887
42.37/41.38	c cleaning 17993 clauses out of 36016 with flag 180000/613886
43.59/42.59	c Got one! Elapsed wall clock time (in seconds):42.453
43.59/42.59	o 172
43.99/42.99	c cleaning 20231 clauses out of 40493 with flag 5001/636356
44.49/43.45	c cleaning 13114 clauses out of 26262 with flag 11001/642356
45.02/43.94	c cleaning 10064 clauses out of 20147 with flag 18000/649355
45.13/44.06	c Got one! Elapsed wall clock time (in seconds):43.919
45.13/44.06	o 167
45.32/44.29	c cleaning 7811 clauses out of 15643 with flag 4001/654915
45.72/44.65	c cleaning 6906 clauses out of 13832 with flag 10001/660915
46.13/45.07	c cleaning 6948 clauses out of 13926 with flag 17001/667915
46.64/45.54	c cleaning 7483 clauses out of 14979 with flag 25002/675916
47.16/46.09	c cleaning 8236 clauses out of 16494 with flag 34000/684914
47.89/46.76	c cleaning 9115 clauses out of 18258 with flag 44000/694914
48.61/47.48	c cleaning 10058 clauses out of 20144 with flag 55001/705915
49.41/48.23	c cleaning 11033 clauses out of 22085 with flag 67000/717914
50.22/49.05	c cleaning 12020 clauses out of 24052 with flag 80000/730914
51.14/49.92	c cleaning 13002 clauses out of 26033 with flag 94001/744915
52.14/50.94	c cleaning 14002 clauses out of 28030 with flag 109000/759914
53.26/52.02	c cleaning 14987 clauses out of 30028 with flag 125000/775914
53.76/52.59	c Got one! Elapsed wall clock time (in seconds):52.455
53.76/52.59	o 157
54.17/52.93	c cleaning 14291 clauses out of 28605 with flag 5002/789478
54.57/53.33	c cleaning 10151 clauses out of 20315 with flag 11003/795479
54.97/53.79	c cleaning 8574 clauses out of 17162 with flag 18001/802477
55.57/54.33	c cleaning 8274 clauses out of 16587 with flag 26000/810476
55.88/54.65	c Got one! Elapsed wall clock time (in seconds):54.515
55.88/54.65	o 152
56.18/54.95	c cleaning 9208 clauses out of 18426 with flag 5002/820589
56.58/55.33	c cleaning 7601 clauses out of 15217 with flag 11001/826588
56.98/55.76	c cleaning 7295 clauses out of 14617 with flag 18002/833589
57.29/56.07	c Got one! Elapsed wall clock time (in seconds):55.929
57.29/56.07	o 147
57.39/56.13	c cleaning 6605 clauses out of 13223 with flag 1002/839490
57.69/56.48	c cleaning 6298 clauses out of 12616 with flag 7000/845488
58.19/56.92	c cleaning 6641 clauses out of 13318 with flag 14000/852488
58.69/57.40	c cleaning 7334 clauses out of 14678 with flag 22001/860489
59.21/57.96	c cleaning 8163 clauses out of 16344 with flag 31001/869489
59.91/58.60	c cleaning 9079 clauses out of 18184 with flag 41004/879492
60.51/59.26	c cleaning 10045 clauses out of 20103 with flag 52002/890490
61.31/60.04	c cleaning 11027 clauses out of 22060 with flag 64004/902492
62.11/60.85	c cleaning 12009 clauses out of 24029 with flag 77000/915488
63.01/61.71	c cleaning 12997 clauses out of 26020 with flag 91000/929488
63.92/62.68	c cleaning 13995 clauses out of 28023 with flag 106000/944488
65.03/63.74	c cleaning 15006 clauses out of 30030 with flag 122002/960490
66.13/64.84	c cleaning 16001 clauses out of 32026 with flag 139004/977492
67.33/66.06	c cleaning 17000 clauses out of 34021 with flag 157000/995488
68.63/67.34	c cleaning 18008 clauses out of 36023 with flag 176002/1014490
70.03/68.70	c cleaning 18998 clauses out of 38013 with flag 196000/1034488
71.34/70.08	c cleaning 19992 clauses out of 40016 with flag 217001/1055489
71.65/70.37	c Got one! Elapsed wall clock time (in seconds):70.237
71.65/70.37	o 137
71.75/70.45	c cleaning 12704 clauses out of 25424 with flag 1001/1060889
72.16/70.85	c cleaning 9344 clauses out of 18720 with flag 7001/1066889
72.68/71.31	c cleaning 8180 clauses out of 16376 with flag 14001/1073889
73.18/71.81	c cleaning 8090 clauses out of 16195 with flag 22000/1081888
73.68/72.37	c cleaning 8546 clauses out of 17105 with flag 31000/1090888
74.32/72.97	c cleaning 9255 clauses out of 18559 with flag 41000/1100888
75.04/73.63	c cleaning 10133 clauses out of 20304 with flag 52000/1111888
75.74/74.37	c cleaning 11076 clauses out of 22171 with flag 64000/1123888
76.54/75.18	c cleaning 12037 clauses out of 24095 with flag 77000/1136888
77.45/76.06	c cleaning 13010 clauses out of 26058 with flag 91000/1150888
78.46/77.04	c cleaning 14006 clauses out of 28051 with flag 106003/1165891
79.46/78.05	c cleaning 15017 clauses out of 30042 with flag 122000/1181888
79.97/78.55	c Got one! Elapsed wall clock time (in seconds):78.412
79.97/78.55	o 132
80.27/78.86	c cleaning 14119 clauses out of 28269 with flag 5000/1195132
80.69/79.26	c cleaning 10062 clauses out of 20150 with flag 11000/1201132
81.08/79.68	c cleaning 8530 clauses out of 17088 with flag 18000/1208132
81.58/80.17	c cleaning 8269 clauses out of 16560 with flag 26002/1216134
82.09/80.69	c cleaning 8630 clauses out of 17289 with flag 35000/1225132
82.70/81.29	c cleaning 9320 clauses out of 18660 with flag 45001/1235133
83.40/81.96	c cleaning 10154 clauses out of 20339 with flag 56000/1246132
84.10/82.65	c cleaning 11083 clauses out of 22185 with flag 68000/1258132
84.90/83.41	c cleaning 12033 clauses out of 24102 with flag 81000/1271132
85.70/84.27	c cleaning 13027 clauses out of 26072 with flag 95003/1285135
86.71/85.22	c cleaning 14003 clauses out of 28043 with flag 110001/1300133
87.70/86.26	c cleaning 15003 clauses out of 30039 with flag 126000/1316132
88.82/87.32	c cleaning 16015 clauses out of 32036 with flag 143000/1333132
89.92/88.43	c cleaning 17000 clauses out of 34022 with flag 161001/1351133
91.13/89.61	c cleaning 17994 clauses out of 36021 with flag 180000/1370132
92.33/90.89	c cleaning 18990 clauses out of 38027 with flag 200000/1390132
93.73/92.23	c cleaning 20004 clauses out of 40037 with flag 221000/1411132
95.23/93.70	c cleaning 21001 clauses out of 42034 with flag 243001/1433133
96.73/95.25	c cleaning 21986 clauses out of 44035 with flag 266003/1456135
98.34/96.88	c cleaning 23014 clauses out of 46048 with flag 290002/1480134
100.04/98.57	c cleaning 24002 clauses out of 48032 with flag 315000/1505132
101.85/100.37	c cleaning 25006 clauses out of 50033 with flag 341003/1531135
103.67/102.15	c cleaning 26000 clauses out of 52024 with flag 368000/1558132
105.59/104.06	c cleaning 27006 clauses out of 54026 with flag 396002/1586134
107.69/106.11	c cleaning 28001 clauses out of 56019 with flag 425001/1615133
109.71/108.13	c cleaning 28995 clauses out of 58018 with flag 455001/1645133
111.91/110.33	c cleaning 29997 clauses out of 60022 with flag 486000/1676132
114.22/112.60	c cleaning 30993 clauses out of 62027 with flag 518002/1708134
116.43/114.85	c cleaning 32007 clauses out of 64033 with flag 551001/1741133
118.75/117.14	c cleaning 33001 clauses out of 66025 with flag 585000/1775132
121.27/119.66	c cleaning 33997 clauses out of 68024 with flag 620000/1810132
123.87/122.28	c cleaning 34998 clauses out of 70030 with flag 656003/1846135
126.58/124.94	c cleaning 35994 clauses out of 72030 with flag 693001/1883133
129.59/127.92	c cleaning 36992 clauses out of 74035 with flag 731000/1921132
132.60/130.91	c cleaning 38014 clauses out of 76044 with flag 770001/1960133
135.49/133.85	c cleaning 38997 clauses out of 78030 with flag 810001/2000133
138.30/136.69	c cleaning 39998 clauses out of 80033 with flag 851001/2041133
141.41/139.71	c cleaning 41008 clauses out of 82034 with flag 893000/2083132
144.52/142.83	c cleaning 42005 clauses out of 84028 with flag 936002/2126134
147.82/146.12	c cleaning 42999 clauses out of 86021 with flag 980000/2170132
151.03/149.31	c cleaning 43987 clauses out of 88022 with flag 1025000/2215132
152.05/150.36	c Got one! Elapsed wall clock time (in seconds):150.223
152.05/150.36	o 127
152.46/150.78	c cleaning 31926 clauses out of 63871 with flag 5000/2234968
152.85/151.19	c cleaning 18953 clauses out of 37945 with flag 11000/2240968
153.37/151.65	c cleaning 12985 clauses out of 25995 with flag 18003/2247971
153.87/152.15	c cleaning 10486 clauses out of 21007 with flag 26000/2255968
154.37/152.69	c cleaning 9745 clauses out of 19521 with flag 35000/2264968
154.98/153.25	c cleaning 9875 clauses out of 19776 with flag 45000/2274968
155.58/153.87	c cleaning 10416 clauses out of 20901 with flag 56000/2285968
156.28/154.58	c cleaning 11235 clauses out of 22486 with flag 68001/2297969
157.08/155.35	c cleaning 12113 clauses out of 24251 with flag 81001/2310969
157.89/156.20	c cleaning 13052 clauses out of 26137 with flag 95000/2324968
158.90/157.11	c cleaning 14019 clauses out of 28085 with flag 110000/2339968
159.82/158.06	c cleaning 15023 clauses out of 30068 with flag 126002/2355970
160.82/159.08	c cleaning 16002 clauses out of 32046 with flag 143003/2372971
161.93/160.16	c cleaning 17005 clauses out of 34041 with flag 161000/2390968
163.13/161.33	c cleaning 17993 clauses out of 36036 with flag 180000/2409968
164.33/162.55	c cleaning 19004 clauses out of 38044 with flag 200001/2429969
165.64/163.84	c cleaning 20010 clauses out of 40039 with flag 221000/2450968
167.06/165.24	c cleaning 21001 clauses out of 42029 with flag 243000/2472968
168.56/166.72	c cleaning 21986 clauses out of 44028 with flag 266000/2495968
170.09/168.25	c cleaning 23009 clauses out of 46043 with flag 290001/2519969
171.70/169.85	c cleaning 23987 clauses out of 48033 with flag 315000/2544968
173.41/171.55	c cleaning 25008 clauses out of 50047 with flag 341001/2570969
175.12/173.29	c cleaning 25994 clauses out of 52039 with flag 368001/2597969
176.94/175.09	c cleaning 26997 clauses out of 54047 with flag 396003/2625971
178.84/176.90	c cleaning 28009 clauses out of 56047 with flag 425000/2654968
180.75/178.84	c cleaning 29003 clauses out of 58038 with flag 455000/2684968
182.77/180.84	c cleaning 30001 clauses out of 60035 with flag 486000/2715968
184.88/182.96	c cleaning 31006 clauses out of 62035 with flag 518001/2747969
186.99/185.07	c cleaning 31993 clauses out of 64028 with flag 551000/2780968
189.31/187.33	c cleaning 32988 clauses out of 66036 with flag 585001/2814969
191.62/189.66	c cleaning 33999 clauses out of 68047 with flag 620000/2849968
194.12/192.11	c cleaning 35011 clauses out of 70048 with flag 656000/2885968
196.54/194.57	c cleaning 36012 clauses out of 72040 with flag 693003/2922971
199.05/197.08	c cleaning 36994 clauses out of 74025 with flag 731000/2960968
201.77/199.73	c cleaning 38009 clauses out of 76033 with flag 770002/2999970
204.50/202.41	c cleaning 38993 clauses out of 78022 with flag 810000/3039968
207.40/205.32	c cleaning 40000 clauses out of 80029 with flag 851000/3080968
210.41/208.35	c cleaning 41006 clauses out of 82029 with flag 893000/3122968
213.63/211.56	c cleaning 42006 clauses out of 84026 with flag 936003/3165971
216.75/214.60	c cleaning 42997 clauses out of 86019 with flag 980002/3209970
220.45/218.06	c cleaning 43998 clauses out of 88020 with flag 1025000/3254968
223.88/221.40	c cleaning 45002 clauses out of 90022 with flag 1071000/3300968
227.67/225.10	c cleaning 45992 clauses out of 92020 with flag 1118000/3347968
231.29/228.79	c cleaning 47003 clauses out of 94030 with flag 1166002/3395970
234.98/232.42	c cleaning 48000 clauses out of 96026 with flag 1215001/3444969
238.70/236.16	c cleaning 48983 clauses out of 98025 with flag 1265000/3494968
242.61/240.08	c cleaning 50001 clauses out of 100044 with flag 1316002/3545970
246.56/243.93	c cleaning 51013 clauses out of 102045 with flag 1368004/3597972
250.58/247.96	c cleaning 51993 clauses out of 104028 with flag 1421000/3650968
255.09/252.47	c cleaning 53004 clauses out of 106035 with flag 1475000/3704968
259.51/256.87	c cleaning 53991 clauses out of 108031 with flag 1530000/3759968
264.03/261.30	c cleaning 55005 clauses out of 110041 with flag 1586001/3815969
268.33/265.62	c cleaning 55999 clauses out of 112037 with flag 1643002/3872970
272.96/270.26	c cleaning 56989 clauses out of 114037 with flag 1701001/3930969
277.68/274.98	c cleaning 58010 clauses out of 116050 with flag 1760003/3989971
282.51/279.77	c cleaning 59012 clauses out of 118037 with flag 1820000/4049968
287.31/284.55	c cleaning 59996 clauses out of 120025 with flag 1881000/4110968
292.62/289.82	c cleaning 60988 clauses out of 122029 with flag 1943000/4172968
297.75/294.97	c cleaning 62003 clauses out of 124041 with flag 2006000/4235968
303.06/300.26	c cleaning 62999 clauses out of 126044 with flag 2070006/4299974
308.26/305.41	c cleaning 63993 clauses out of 128039 with flag 2135000/4364968
313.57/310.76	c cleaning 65007 clauses out of 130046 with flag 2201000/4430968
319.00/316.13	c cleaning 66010 clauses out of 132041 with flag 2268002/4497970
324.42/321.53	c cleaning 67002 clauses out of 134031 with flag 2336002/4565970
330.14/327.26	c cleaning 68006 clauses out of 136028 with flag 2405001/4634969
336.26/333.34	c cleaning 68999 clauses out of 138021 with flag 2475000/4704968
342.38/339.48	c cleaning 69996 clauses out of 140022 with flag 2546000/4775968
348.52/345.53	c cleaning 71001 clauses out of 142026 with flag 2618000/4847968
354.73/351.73	c cleaning 72003 clauses out of 144025 with flag 2691000/4920968
361.05/358.07	c cleaning 72992 clauses out of 146022 with flag 2765000/4994968
367.37/364.36	c cleaning 73998 clauses out of 148030 with flag 2840000/5069968
373.78/370.77	c cleaning 74994 clauses out of 150032 with flag 2916000/5145968
380.18/377.12	c cleaning 76006 clauses out of 152039 with flag 2993001/5222969
386.40/383.33	c cleaning 76996 clauses out of 154036 with flag 3071004/5300972
393.00/389.99	c cleaning 78000 clauses out of 156037 with flag 3150001/5379969
399.83/396.77	c cleaning 78994 clauses out of 158036 with flag 3230000/5459968
406.95/403.81	c cleaning 80009 clauses out of 160043 with flag 3311001/5540969
414.08/410.94	c cleaning 80999 clauses out of 162034 with flag 3393001/5622969
421.23/418.04	c cleaning 81999 clauses out of 164035 with flag 3476001/5705969
428.36/425.14	c cleaning 82983 clauses out of 166036 with flag 3560001/5789969
435.50/432.24	c cleaning 84005 clauses out of 168053 with flag 3645001/5874969
443.00/439.71	c cleaning 84999 clauses out of 170047 with flag 3731000/5960968
450.53/447.29	c cleaning 85997 clauses out of 172050 with flag 3818002/6047970
458.86/455.58	c cleaning 87020 clauses out of 174053 with flag 3906002/6135970
466.90/463.58	c cleaning 87995 clauses out of 176031 with flag 3995000/6224968
475.22/471.84	c cleaning 88991 clauses out of 178037 with flag 4085001/6314969
483.54/480.13	c cleaning 90004 clauses out of 180045 with flag 4176000/6405968
491.57/488.18	c cleaning 90989 clauses out of 182041 with flag 4268000/6497968
499.89/496.40	c cleaning 91999 clauses out of 184052 with flag 4361000/6590968
508.20/504.72	c cleaning 93005 clauses out of 186053 with flag 4455000/6684968
516.93/513.43	c cleaning 94017 clauses out of 188051 with flag 4550003/6779971
525.34/521.81	c cleaning 95005 clauses out of 190031 with flag 4646000/6875968
534.86/531.38	c cleaning 95987 clauses out of 192027 with flag 4743001/6972969
543.58/540.09	c cleaning 97007 clauses out of 194040 with flag 4841001/7070969
552.50/548.94	c cleaning 97988 clauses out of 196032 with flag 4940000/7169968
561.70/558.19	c cleaning 99000 clauses out of 198044 with flag 5040000/7269968
570.90/567.23	c cleaning 100008 clauses out of 200044 with flag 5141000/7370968
580.32/576.67	c cleaning 100991 clauses out of 202036 with flag 5243000/7472968
590.15/586.49	c cleaning 101996 clauses out of 204045 with flag 5346000/7575968
599.59/595.89	c cleaning 103010 clauses out of 206049 with flag 5450000/7679968
609.60/605.80	c cleaning 104003 clauses out of 208039 with flag 5555000/7784968
619.92/616.10	c cleaning 105009 clauses out of 210036 with flag 5661000/7890968
630.46/626.65	c cleaning 105996 clauses out of 212031 with flag 5768004/7997972
640.58/636.77	c cleaning 107000 clauses out of 214032 with flag 5876001/8105969
651.10/647.26	c cleaning 107991 clauses out of 216031 with flag 5985000/8214968
658.34/654.41	c Got one! Elapsed wall clock time (in seconds):654.271
658.34/654.41	o 122
659.34/655.49	c cleaning 97813 clauses out of 195652 with flag 5000/8302580
659.95/656.09	c cleaning 51912 clauses out of 103839 with flag 11000/8308580
660.56/656.62	c cleaning 29446 clauses out of 58928 with flag 18001/8315581
661.07/657.15	c cleaning 18729 clauses out of 37483 with flag 26002/8323582
661.69/657.71	c cleaning 13858 clauses out of 27752 with flag 35000/8332580
662.28/658.34	c cleaning 11928 clauses out of 23896 with flag 45002/8342582
662.99/659.02	c cleaning 11455 clauses out of 22966 with flag 56000/8353580
663.69/659.76	c cleaning 11730 clauses out of 23511 with flag 68000/8365580
664.51/660.57	c cleaning 12368 clauses out of 24781 with flag 81000/8378580
665.42/661.42	c cleaning 13186 clauses out of 26413 with flag 95000/8392580
666.43/662.41	c cleaning 14097 clauses out of 28227 with flag 110000/8407580
667.44/663.40	c cleaning 15039 clauses out of 30131 with flag 126001/8423581
668.46/664.45	c cleaning 16035 clauses out of 32091 with flag 143000/8440580
669.58/665.56	c cleaning 17014 clauses out of 34056 with flag 161000/8458580
670.78/666.77	c cleaning 17997 clauses out of 36042 with flag 180000/8477580
672.09/668.06	c cleaning 19011 clauses out of 38046 with flag 200001/8497581
673.49/669.43	c cleaning 19983 clauses out of 40034 with flag 221000/8518580
675.02/670.92	c cleaning 21008 clauses out of 42052 with flag 243001/8540581
676.52/672.47	c cleaning 21997 clauses out of 44043 with flag 266000/8563580
678.14/674.08	c cleaning 23007 clauses out of 46047 with flag 290001/8587581
679.84/675.77	c cleaning 24005 clauses out of 48041 with flag 315002/8612582
681.67/677.51	c cleaning 24999 clauses out of 50036 with flag 341002/8638582
683.48/679.34	c cleaning 25997 clauses out of 52035 with flag 368000/8665580
685.41/681.21	c cleaning 27003 clauses out of 54039 with flag 396001/8693581
687.33/683.18	c cleaning 28004 clauses out of 56035 with flag 425000/8722580
689.43/685.22	c cleaning 28999 clauses out of 58032 with flag 455001/8752581
691.44/687.30	c cleaning 29989 clauses out of 60032 with flag 486000/8783580
693.65/689.42	c cleaning 31004 clauses out of 62043 with flag 518000/8815580
695.96/691.73	c cleaning 32003 clauses out of 64041 with flag 551002/8848582
698.29/694.01	c cleaning 32997 clauses out of 66036 with flag 585000/8882580
700.73/696.49	c cleaning 33988 clauses out of 68040 with flag 620001/8917581
703.24/698.96	c cleaning 34993 clauses out of 70052 with flag 656001/8953581
705.85/701.52	c cleaning 36016 clauses out of 72058 with flag 693000/8990580
708.46/704.18	c cleaning 37006 clauses out of 74045 with flag 731003/9028583
711.27/706.90	c cleaning 38004 clauses out of 76037 with flag 770001/9067581
714.09/709.73	c cleaning 39005 clauses out of 78032 with flag 810000/9107580
717.01/712.66	c cleaning 40006 clauses out of 80028 with flag 851001/9148581
720.13/715.76	c cleaning 40992 clauses out of 82021 with flag 893000/9190580
723.24/718.88	c cleaning 42002 clauses out of 84030 with flag 936001/9233581
726.55/722.10	c cleaning 42987 clauses out of 86027 with flag 980000/9277580
729.86/725.41	c cleaning 44002 clauses out of 88041 with flag 1025001/9322581
733.19/728.79	c cleaning 45004 clauses out of 90038 with flag 1071000/9368580
736.62/732.19	c cleaning 45998 clauses out of 92035 with flag 1118001/9415581
740.02/735.59	c cleaning 47004 clauses out of 94039 with flag 1166003/9463583
743.65/739.18	c cleaning 47995 clauses out of 96033 with flag 1215001/9512581
747.36/742.84	c cleaning 49004 clauses out of 98037 with flag 1265000/9562580
751.17/746.66	c cleaning 49993 clauses out of 100033 with flag 1316000/9613580
755.17/750.60	c cleaning 50989 clauses out of 102041 with flag 1368001/9665581
759.09/754.59	c cleaning 52002 clauses out of 104051 with flag 1421000/9718580
763.20/758.65	c cleaning 52999 clauses out of 106049 with flag 1475000/9772580
767.42/762.89	c cleaning 53999 clauses out of 108050 with flag 1530000/9827580
771.75/767.16	c cleaning 54997 clauses out of 110052 with flag 1586001/9883581
775.97/771.37	c cleaning 55999 clauses out of 112056 with flag 1643002/9940582
780.40/775.72	c cleaning 57008 clauses out of 114055 with flag 1701000/9998580
785.01/780.31	c cleaning 57989 clauses out of 116047 with flag 1760000/10057580
789.84/785.14	c cleaning 59017 clauses out of 118058 with flag 1820000/10117580
794.64/789.95	c cleaning 60013 clauses out of 120041 with flag 1881000/10178580
799.76/795.00	c cleaning 60998 clauses out of 122028 with flag 1943000/10240580
804.58/799.84	c cleaning 62007 clauses out of 124030 with flag 2006000/10303580
809.81/805.06	c cleaning 62999 clauses out of 126023 with flag 2070000/10367580
815.03/810.22	c cleaning 63987 clauses out of 128024 with flag 2135000/10432580
820.35/815.53	c cleaning 64997 clauses out of 130037 with flag 2201000/10498580
825.87/821.06	c cleaning 66007 clauses out of 132040 with flag 2268000/10565580
831.48/826.61	c cleaning 67002 clauses out of 134033 with flag 2336000/10633580
836.99/832.11	c cleaning 67998 clauses out of 136032 with flag 2405001/10702581
842.50/837.69	c cleaning 69006 clauses out of 138033 with flag 2475000/10772580
848.52/843.65	c cleaning 69999 clauses out of 140029 with flag 2546002/10843582
854.45/849.57	c cleaning 70989 clauses out of 142029 with flag 2618001/10915581
860.37/855.49	c cleaning 71996 clauses out of 144041 with flag 2691002/10988582
866.30/861.31	c cleaning 73001 clauses out of 146043 with flag 2765000/11062580
872.32/867.34	c cleaning 74005 clauses out of 148043 with flag 2840001/11137581
878.53/873.58	c cleaning 74990 clauses out of 150039 with flag 2916002/11213582
884.83/879.84	c cleaning 75997 clauses out of 152047 with flag 2993000/11290580
891.35/886.39	c cleaning 76996 clauses out of 154050 with flag 3071000/11368580
898.19/893.19	c cleaning 78015 clauses out of 156055 with flag 3150001/11447581
904.72/899.67	c cleaning 79006 clauses out of 158040 with flag 3230001/11527581
911.43/906.31	c cleaning 80010 clauses out of 160035 with flag 3311002/11608582
918.64/913.51	c cleaning 80983 clauses out of 162023 with flag 3393000/11690580
925.57/920.48	c cleaning 82005 clauses out of 164040 with flag 3476000/11773580
932.98/927.85	c cleaning 83001 clauses out of 166035 with flag 3560000/11857580
940.20/935.05	c cleaning 84002 clauses out of 168034 with flag 3645000/11942580
947.81/942.66	c cleaning 84975 clauses out of 170032 with flag 3731000/12028580
955.43/950.21	c cleaning 86014 clauses out of 172057 with flag 3818000/12115580
962.97/957.79	c cleaning 87012 clauses out of 174043 with flag 3906000/12203580
970.68/965.46	c cleaning 87993 clauses out of 176031 with flag 3995000/12292580
978.70/973.46	c cleaning 89008 clauses out of 178038 with flag 4085000/12382580
986.71/981.44	c cleaning 89999 clauses out of 180030 with flag 4176000/12473580
994.83/989.55	c cleaning 90977 clauses out of 182031 with flag 4268000/12565580
1002.97/997.67	c cleaning 92013 clauses out of 184054 with flag 4361000/12658580
1011.30/1005.93	c cleaning 93011 clauses out of 186044 with flag 4455003/12752583
1019.71/1014.39	c cleaning 94005 clauses out of 188030 with flag 4550000/12847580
1028.12/1022.74	c cleaning 94980 clauses out of 190025 with flag 4646000/12943580
1036.55/1031.11	c cleaning 96014 clauses out of 192046 with flag 4743001/13040581
1045.27/1039.80	c cleaning 96999 clauses out of 194031 with flag 4841000/13138580
1054.01/1048.51	c cleaning 98006 clauses out of 196033 with flag 4940001/13237581
1062.83/1057.39	c cleaning 99000 clauses out of 198026 with flag 5040000/13337580
1072.25/1066.78	c cleaning 99990 clauses out of 200026 with flag 5141000/13438580
1081.98/1076.42	c cleaning 101007 clauses out of 202037 with flag 5243001/13540581
1091.60/1086.08	c cleaning 102011 clauses out of 204029 with flag 5346000/13643580
1096.48/1090.86	c starts		: 383
1096.48/1090.86	c conflicts		: 13701399
1096.48/1090.86	c decisions		: 28159409
1096.48/1090.86	c propagations		: 2584154550
1096.48/1090.86	c inspects		: 6437554415
1096.48/1090.86	c shortcuts		: 0
1096.48/1090.86	c learnt literals	: 11
1096.48/1090.86	c learnt binary clauses	: 17
1096.48/1090.86	c learnt ternary clauses	: 249
1096.48/1090.86	c learnt constraints	: 13701387
1096.48/1090.86	c ignored constraints	: 0
1096.48/1090.86	c root simplifications	: 393
1096.48/1090.86	c removed literals (reason simplification)	: 36834667
1096.48/1090.86	c reason swapping (by a shorter reason)	: 0
1096.48/1090.86	c Calls to reduceDB	: 370
1096.48/1090.86	c number of reductions to clauses (during analyze)	: 0
1096.48/1090.86	c number of learned constraints concerned by reduction	: 0
1096.48/1090.86	c number of learning phase by resolution	: 0
1096.48/1090.86	c number of learning phase by cutting planes	: 0
1096.48/1090.86	c speed (assignments/second)	: 2369488.380665251
1096.48/1090.86	c non guided choices	7587
1096.48/1090.86	c learnt constraints type 
1096.48/1090.86	c constraints type 
1096.48/1090.86	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1161
1096.48/1090.86	c org.sat4j.minisat.constraints.card.MinWatchCard => 27
1096.48/1090.86	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 0
1096.48/1090.86	c 1188 constraints processed.
1096.48/1090.86	s OPTIMUM FOUND
1096.48/1090.86	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 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 x547 -x548 -x549 -x550 -x551 -x552 x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 x562 -x563 -x564 -x565 -x566 -x567 x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 x594 -x595 -x596 -x597 -x598 x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 -x616 -x617 -x618 -x619 -x620 x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 x629 -x630 -x631 -x632 -x633 -x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 -x644 x645 -x646 -x647 -x648 -x649 -x650 -x651 -x652 -x653 x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 -x674 -x675 -x676 -x677 -x678 x679 -x680 -x681 -x682 -x683 -x684 -x685 x686 -x687 -x688 -x689 -x690 -x691 -x692 -x693 -x694 -x695 -x696 -x697 -x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 x707 -x708 -x709 -x710 -x711 x712 -x713 -x714 x715 -x716 -x717 -x718 -x719 -x720 x721 -x722 -x723 x724 -x725 -x726 -x727 -x728 -x729 x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 x739 -x740 -x741 -x742 -x743 -x744 -x745 x746 -x747 x748 -x749 -x750 -x751 -x752 -x753 x754 -x755 -x756 -x757 -x758 -x759 -x760 -x761 -x762 -x763 -x764 -x765 x766 -x767 -x768 -x769 -x770 -x771 -x772 -x773 -x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 -x783 -x784 -x785 -x786 -x787 -x788 x789 -x790 -x791 -x792 
1096.48/1090.86	c objective function=122
1096.48/1090.86	c Total wall clock time (in seconds): 1090.726

Verifier Data 

OK	122

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-3711083-1338201592/watcher-3711083-1338201592 -o /tmp/evaluation-result-3711083-1338201592/solver-3711083-1338201592 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711083-1338201592.opb 

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.05 2.05 2.02 3/194 10802
/proc/meminfo: memFree=30761732/32873844 swapFree=6872/6872
[pid=10802] ppid=10800 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/10802/stat : 10802 (java) D 10800 10802 9972 0 -1 4202496 242 0 0 0 0 0 0 0 20 0 1 0 286287698 9515008 176 33554432000 1073741824 1073778376 140737485599728 140737485582456 270118241168 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/10802/statm: 2323 176 133 9 0 71 0

[startup+0.0920129 s]
/proc/loadavg: 2.05 2.05 2.02 3/194 10802
/proc/meminfo: memFree=30761732/32873844 swapFree=6872/6872
[pid=10802] ppid=10800 vsize=9558440 CPUtime=0.06 cores=1,3,5,7
/proc/10802/stat : 10802 (java) S 10800 10802 9972 0 -1 4202496 3405 0 1 0 6 0 0 0 20 0 18 0 286287698 9787842560 4612 33554432000 1073741824 1073778376 140736143208224 140736143199360 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10802/statm: 2389610 4613 1778 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558440

[startup+0.100331 s]
/proc/loadavg: 2.05 2.05 2.02 3/194 10802
/proc/meminfo: memFree=30761732/32873844 swapFree=6872/6872
[pid=10802] ppid=10800 vsize=9558440 CPUtime=0.06 cores=1,3,5,7
/proc/10802/stat : 10802 (java) S 10800 10802 9972 0 -1 4202496 3550 0 1 0 6 0 0 0 20 0 18 0 286287698 9787842560 4757 33554432000 1073741824 1073778376 140736143208224 140736143199360 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10802/statm: 2389610 4771 1842 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558440

[startup+0.300281 s]
/proc/loadavg: 2.05 2.05 2.02 3/194 10802
/proc/meminfo: memFree=30761732/32873844 swapFree=6872/6872
[pid=10802] ppid=10800 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/10802/stat : 10802 (java) S 10800 10802 9972 0 -1 4202496 4970 0 1 0 39 1 0 0 20 0 19 0 286287698 9856004096 8103 33554432000 1073741824 1073778376 140736143208224 140736143199360 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10802/statm: 2406251 8103 2224 9 0 2396937 0
Current children cumulated CPU time (s) 0.4
Current children cumulated vsize (KiB) 9625004

[startup+0.700278 s]
/proc/loadavg: 2.05 2.05 2.02 3/194 10802
/proc/meminfo: memFree=30761732/32873844 swapFree=6872/6872
[pid=10802] ppid=10800 vsize=9625004 CPUtime=1.26 cores=1,3,5,7
/proc/10802/stat : 10802 (java) S 10800 10802 9972 0 -1 4202496 10577 0 1 0 124 2 0 0 20 0 19 0 286287698 9856004096 11394 33554432000 1073741824 1073778376 140736143208224 140736143199360 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10802/statm: 2406251 11394 2251 9 0 2396937 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 9625004

[startup+1.50067 s]
/proc/loadavg: 2.05 2.05 2.02 3/213 10821
/proc/meminfo: memFree=30716172/32873844 swapFree=6872/6872
[pid=10802] ppid=10800 vsize=9625004 CPUtime=2.17 cores=1,3,5,7
/proc/10802/stat : 10802 (java) S 10800 10802 9972 0 -1 4202496 10696 0 1 0 215 2 0 0 20 0 19 0 286287698 9856004096 13530 33554432000 1073741824 1073778376 140736143208224 140736143199360 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10802/statm: 2406251 13530 2280 9 0 2396937 0
[pid=10802/tid=10804] ppid=10800 vsize=9625004 CPUtime=1.43 cores=1,3,5,7
/proc/10802/task/10804/stat : 10804 (java) R 10800 10802 9972 0 -1 4202560 2524 0 1 0 143 0 0 0 20 0 19 0 286287700 9856004096 13530 33554432000 1073741824 1073778376 140736143208224 140241513259432 140241369810592 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10802/tid=10805] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10805/stat : 10805 (java) S 10800 10802 9972 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 286287701 9856004096 13530 33554432000 1073741824 1073778376 140736143208224 140241491360552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10806] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10806/stat : 10806 (java) S 10800 10802 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286287701 9856004096 13530 33554432000 1073741824 1073778376 140736143208224 140241490307752 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10802/tid=10807] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10807/stat : 10807 (java) S 10800 10802 9972 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 286287701 9856004096 13530 33554432000 1073741824 1073778376 140736143208224 140241489255464 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10802/tid=10808] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10808/stat : 10808 (java) S 10800 10802 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286287701 9856004096 13530 33554432000 1073741824 1073778376 140736143208224 140241488202664 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10802/tid=10809] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10809/stat : 10809 (java) S 10800 10802 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286287701 9856004096 13530 33554432000 1073741824 1073778376 140736143208224 140241151191336 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10810] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10810/stat : 10810 (java) S 10800 10802 9972 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 286287701 9856004096 13530 33554432000 1073741824 1073778376 140736143208224 140241150138536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10802/tid=10811] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10811/stat : 10811 (java) S 10800 10802 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286287701 9856004096 13530 33554432000 1073741824 1073778376 140736143208224 140241149086248 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10812] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10812/stat : 10812 (java) S 10800 10802 9972 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 286287701 9856004096 13530 33554432000 1073741824 1073778376 140736143208224 140241148033448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10802/tid=10813] ppid=10800 vsize=9625004 CPUtime=0.01 cores=1,3,5,7
/proc/10802/task/10813/stat : 10813 (java) S 10800 10802 9972 0 -1 4202560 30 0 0 0 1 0 0 0 20 0 19 0 286287702 9856004096 13530 33554432000 1073741824 1073778376 140736143208224 140241135835880 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10802/tid=10814] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10814/stat : 10814 (java) S 10800 10802 9972 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286287703 9856004096 13530 33554432000 1073741824 1073778376 140736143208224 140241134781944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10815] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10815/stat : 10815 (java) S 10800 10802 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286287703 9856004096 13530 33554432000 1073741824 1073778376 140736143208224 140241133729544 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10816] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10816/stat : 10816 (java) S 10800 10802 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286287706 9856004096 13530 33554432000 1073741824 1073778376 140736143208224 140241132678032 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10817] ppid=10800 vsize=9625004 CPUtime=0.32 cores=1,3,5,7
/proc/10802/task/10817/stat : 10817 (java) S 10800 10802 9972 0 -1 4202560 2552 0 0 0 32 0 0 0 20 0 19 0 286287706 9856004096 13530 33554432000 1073741824 1073778376 140736143208224 140241131624632 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10818] ppid=10800 vsize=9625004 CPUtime=0.35 cores=1,3,5,7
/proc/10802/task/10818/stat : 10818 (java) S 10800 10802 9972 0 -1 4202560 4381 0 0 0 35 0 0 0 20 0 19 0 286287706 9856004096 13530 33554432000 1073741824 1073778376 140736143208224 140241130571832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10802/tid=10819] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10819/stat : 10819 (java) S 10800 10802 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286287706 9856004096 13530 33554432000 1073741824 1073778376 140736143208224 140241129519736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10802/tid=10820] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10820/stat : 10820 (java) S 10800 10802 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286287706 9856004096 13530 33554432000 1073741824 1073778376 140736143208224 140241128467144 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10821] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10821/stat : 10821 (java) S 10800 10802 9972 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 286287725 9856004096 13530 33554432000 1073741824 1073778376 140736143208224 140241127413160 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 9625004

[startup+3.10067 s]
/proc/loadavg: 2.05 2.05 2.02 3/213 10821
/proc/meminfo: memFree=30713504/32873844 swapFree=6872/6872
[pid=10802] ppid=10800 vsize=9625004 CPUtime=3.91 cores=1,3,5,7
/proc/10802/stat : 10802 (java) S 10800 10802 9972 0 -1 4202496 10940 0 1 0 388 3 0 0 20 0 19 0 286287698 9856004096 14581 33554432000 1073741824 1073778376 140736143208224 140736143199360 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10802/statm: 2406251 14581 2283 9 0 2396937 0
[pid=10802/tid=10804] ppid=10800 vsize=9625004 CPUtime=2.98 cores=1,3,5,7
/proc/10802/task/10804/stat : 10804 (java) R 10800 10802 9972 0 -1 4202560 2525 0 1 0 298 0 0 0 20 0 19 0 286287700 9856004096 14581 33554432000 1073741824 1073778376 140736143208224 140241513259432 140241369835727 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10802/tid=10805] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10805/stat : 10805 (java) S 10800 10802 9972 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 286287701 9856004096 14581 33554432000 1073741824 1073778376 140736143208224 140241491360552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10806] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10806/stat : 10806 (java) S 10800 10802 9972 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 286287701 9856004096 14581 33554432000 1073741824 1073778376 140736143208224 140241490307752 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10802/tid=10807] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10807/stat : 10807 (java) S 10800 10802 9972 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 286287701 9856004096 14581 33554432000 1073741824 1073778376 140736143208224 140241489255464 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10802/tid=10808] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10808/stat : 10808 (java) S 10800 10802 9972 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 286287701 9856004096 14581 33554432000 1073741824 1073778376 140736143208224 140241488202664 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10802/tid=10809] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10809/stat : 10809 (java) S 10800 10802 9972 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 286287701 9856004096 14581 33554432000 1073741824 1073778376 140736143208224 140241151191336 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10810] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10810/stat : 10810 (java) S 10800 10802 9972 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 286287701 9856004096 14581 33554432000 1073741824 1073778376 140736143208224 140241150138536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10802/tid=10811] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10811/stat : 10811 (java) S 10800 10802 9972 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 286287701 9856004096 14581 33554432000 1073741824 1073778376 140736143208224 140241149086248 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10802/tid=10812] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10812/stat : 10812 (java) S 10800 10802 9972 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 286287701 9856004096 14581 33554432000 1073741824 1073778376 140736143208224 140241148033448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10802/tid=10813] ppid=10800 vsize=9625004 CPUtime=0.04 cores=1,3,5,7
/proc/10802/task/10813/stat : 10813 (java) S 10800 10802 9972 0 -1 4202560 32 0 0 0 4 0 0 0 20 0 19 0 286287702 9856004096 14581 33554432000 1073741824 1073778376 140736143208224 140241135835880 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10802/tid=10814] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10814/stat : 10814 (java) S 10800 10802 9972 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286287703 9856004096 14581 33554432000 1073741824 1073778376 140736143208224 140241134781944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10815] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10815/stat : 10815 (java) S 10800 10802 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286287703 9856004096 14581 33554432000 1073741824 1073778376 140736143208224 140241133729544 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10816] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10816/stat : 10816 (java) S 10800 10802 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286287706 9856004096 14581 33554432000 1073741824 1073778376 140736143208224 140241132678032 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10817] ppid=10800 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/10802/task/10817/stat : 10817 (java) S 10800 10802 9972 0 -1 4202560 2764 0 0 0 40 0 0 0 20 0 19 0 286287706 9856004096 14581 33554432000 1073741824 1073778376 140736143208224 140241131624632 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10818] ppid=10800 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/10802/task/10818/stat : 10818 (java) S 10800 10802 9972 0 -1 4202560 4390 0 0 0 37 0 0 0 20 0 19 0 286287706 9856004096 14581 33554432000 1073741824 1073778376 140736143208224 140241130571832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10802/tid=10819] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10819/stat : 10819 (java) S 10800 10802 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286287706 9856004096 14581 33554432000 1073741824 1073778376 140736143208224 140241129519736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10802/tid=10820] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10820/stat : 10820 (java) S 10800 10802 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286287706 9856004096 14581 33554432000 1073741824 1073778376 140736143208224 140241128467144 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10821] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10821/stat : 10821 (java) S 10800 10802 9972 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 286287725 9856004096 14581 33554432000 1073741824 1073778376 140736143208224 140241127413160 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.91
Current children cumulated vsize (KiB) 9625004

[startup+6.30068 s]
/proc/loadavg: 2.05 2.05 2.02 3/213 10821
/proc/meminfo: memFree=30711836/32873844 swapFree=6872/6872
[pid=10802] ppid=10800 vsize=9625004 CPUtime=7.14 cores=1,3,5,7
/proc/10802/stat : 10802 (java) S 10800 10802 9972 0 -1 4202496 10958 0 1 0 711 3 0 0 20 0 19 0 286287698 9856004096 14373 33554432000 1073741824 1073778376 140736143208224 140736143199360 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10802/statm: 2406251 14373 2283 9 0 2396937 0
[pid=10802/tid=10804] ppid=10800 vsize=9625004 CPUtime=6.05 cores=1,3,5,7
/proc/10802/task/10804/stat : 10804 (java) R 10800 10802 9972 0 -1 4202560 2535 0 1 0 605 0 0 0 20 0 19 0 286287700 9856004096 14373 33554432000 1073741824 1073778376 140736143208224 140241513259432 140241369825097 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=10802/tid=10805] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10805/stat : 10805 (java) S 10800 10802 9972 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 286287701 9856004096 14373 33554432000 1073741824 1073778376 140736143208224 140241491360552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10802/tid=10806] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10806/stat : 10806 (java) S 10800 10802 9972 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 286287701 9856004096 14373 33554432000 1073741824 1073778376 140736143208224 140241490307752 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10807] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10807/stat : 10807 (java) S 10800 10802 9972 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 286287701 9856004096 14373 33554432000 1073741824 1073778376 140736143208224 140241489255464 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10802/tid=10808] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10808/stat : 10808 (java) S 10800 10802 9972 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 286287701 9856004096 14373 33554432000 1073741824 1073778376 140736143208224 140241488202664 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10802/tid=10809] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10809/stat : 10809 (java) S 10800 10802 9972 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 286287701 9856004096 14373 33554432000 1073741824 1073778376 140736143208224 140241151191336 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10810] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10810/stat : 10810 (java) S 10800 10802 9972 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 286287701 9856004096 14373 33554432000 1073741824 1073778376 140736143208224 140241150138536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10802/tid=10811] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10811/stat : 10811 (java) S 10800 10802 9972 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 286287701 9856004096 14373 33554432000 1073741824 1073778376 140736143208224 140241149086248 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10802/tid=10812] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10812/stat : 10812 (java) S 10800 10802 9972 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 286287701 9856004096 14373 33554432000 1073741824 1073778376 140736143208224 140241148033448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10802/tid=10813] ppid=10800 vsize=9625004 CPUtime=0.15 cores=1,3,5,7
/proc/10802/task/10813/stat : 10813 (java) S 10800 10802 9972 0 -1 4202560 32 0 0 0 15 0 0 0 20 0 19 0 286287702 9856004096 14373 33554432000 1073741824 1073778376 140736143208224 140241135835880 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10814] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10814/stat : 10814 (java) S 10800 10802 9972 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286287703 9856004096 14373 33554432000 1073741824 1073778376 140736143208224 140241134781944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10815] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10815/stat : 10815 (java) S 10800 10802 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286287703 9856004096 14373 33554432000 1073741824 1073778376 140736143208224 140241133729544 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10816] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10816/stat : 10816 (java) S 10800 10802 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286287706 9856004096 14373 33554432000 1073741824 1073778376 140736143208224 140241132678032 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10817] ppid=10800 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/10802/task/10817/stat : 10817 (java) S 10800 10802 9972 0 -1 4202560 2764 0 0 0 41 0 0 0 20 0 19 0 286287706 9856004096 14373 33554432000 1073741824 1073778376 140736143208224 140241131624632 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10818] ppid=10800 vsize=9625004 CPUtime=0.37 cores=1,3,5,7
/proc/10802/task/10818/stat : 10818 (java) S 10800 10802 9972 0 -1 4202560 4390 0 0 0 37 0 0 0 20 0 19 0 286287706 9856004096 14373 33554432000 1073741824 1073778376 140736143208224 140241130571832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10802/tid=10819] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10819/stat : 10819 (java) S 10800 10802 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286287706 9856004096 14373 33554432000 1073741824 1073778376 140736143208224 140241129519736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10802/tid=10820] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10820/stat : 10820 (java) S 10800 10802 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286287706 9856004096 14373 33554432000 1073741824 1073778376 140736143208224 140241128467144 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10821] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10821/stat : 10821 (java) S 10800 10802 9972 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 286287725 9856004096 14373 33554432000 1073741824 1073778376 140736143208224 140241127413160 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.14
Current children cumulated vsize (KiB) 9625004

[startup+12.7007 s]

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

/proc/10802/task/10812/stat : 10812 (java) S 10800 10802 9972 0 -1 4202560 147 0 0 0 80 0 0 0 20 0 19 0 286287701 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241148033448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10802/tid=10813] ppid=10800 vsize=9625004 CPUtime=9.32 cores=1,3,5,7
/proc/10802/task/10813/stat : 10813 (java) S 10800 10802 9972 0 -1 4202560 117 0 0 0 930 2 0 0 20 0 19 0 286287702 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241135835880 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10802/tid=10814] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10814/stat : 10814 (java) S 10800 10802 9972 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286287703 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241134781944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10815] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10815/stat : 10815 (java) S 10800 10802 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286287703 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241133729544 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10816] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10816/stat : 10816 (java) S 10800 10802 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286287706 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241132678032 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10817] ppid=10800 vsize=9625004 CPUtime=0.84 cores=1,3,5,7
/proc/10802/task/10817/stat : 10817 (java) S 10800 10802 9972 0 -1 4202560 9845 0 0 0 82 2 0 0 20 0 19 0 286287706 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241131624632 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10802/tid=10818] ppid=10800 vsize=9625004 CPUtime=0.4 cores=1,3,5,7
/proc/10802/task/10818/stat : 10818 (java) S 10800 10802 9972 0 -1 4202560 4390 0 0 0 40 0 0 0 20 0 19 0 286287706 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241130571832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10802/tid=10819] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10819/stat : 10819 (java) S 10800 10802 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286287706 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241129519736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10802/tid=10820] ppid=10800 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/10802/task/10820/stat : 10820 (java) S 10800 10802 9972 0 -1 4202560 62 0 0 0 20 13 0 0 20 0 19 0 286287706 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241128467144 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10802/tid=10821] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10821/stat : 10821 (java) S 10800 10802 9972 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 286287725 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241127413160 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1095.13
Current children cumulated vsize (KiB) 9625004

[startup+1090.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 10831
/proc/meminfo: memFree=30464332/32873844 swapFree=6872/6872
[pid=10802] ppid=10800 vsize=9625004 CPUtime=1095.95 cores=1,3,5,7
/proc/10802/stat : 10802 (java) S 10800 10802 9972 0 -1 4202496 19628 0 1 0 109563 32 0 0 20 0 19 0 286287698 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140736143199360 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10802/statm: 2406251 31446 2284 9 0 2396937 0
[pid=10802/tid=10804] ppid=10800 vsize=9625004 CPUtime=1075.91 cores=1,3,5,7
/proc/10802/task/10804/stat : 10804 (java) R 10800 10802 9972 0 -1 4202560 2901 0 1 0 107572 19 0 0 20 0 19 0 286287700 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241513258248 140241369825450 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10805] ppid=10800 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/10802/task/10805/stat : 10805 (java) S 10800 10802 9972 0 -1 4202560 270 0 0 0 78 2 0 0 20 0 19 0 286287701 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241491360552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10806] ppid=10800 vsize=9625004 CPUtime=0.83 cores=1,3,5,7
/proc/10802/task/10806/stat : 10806 (java) S 10800 10802 9972 0 -1 4202560 122 0 0 0 81 2 0 0 20 0 19 0 286287701 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241490307752 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10802/tid=10807] ppid=10800 vsize=9625004 CPUtime=0.78 cores=1,3,5,7
/proc/10802/task/10807/stat : 10807 (java) S 10800 10802 9972 0 -1 4202560 93 0 0 0 76 2 0 0 20 0 19 0 286287701 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241489255464 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10808] ppid=10800 vsize=9625004 CPUtime=0.74 cores=1,3,5,7
/proc/10802/task/10808/stat : 10808 (java) S 10800 10802 9972 0 -1 4202560 78 0 0 0 72 2 0 0 20 0 19 0 286287701 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241488202664 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10802/tid=10809] ppid=10800 vsize=9625004 CPUtime=0.87 cores=1,3,5,7
/proc/10802/task/10809/stat : 10809 (java) S 10800 10802 9972 0 -1 4202560 131 0 0 0 85 2 0 0 20 0 19 0 286287701 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241151191336 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10802/tid=10810] ppid=10800 vsize=9625004 CPUtime=0.75 cores=1,3,5,7
/proc/10802/task/10810/stat : 10810 (java) S 10800 10802 9972 0 -1 4202560 133 0 0 0 73 2 0 0 20 0 19 0 286287701 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241150138536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10802/tid=10811] ppid=10800 vsize=9625004 CPUtime=0.78 cores=1,3,5,7
/proc/10802/task/10811/stat : 10811 (java) S 10800 10802 9972 0 -1 4202560 157 0 0 0 78 0 0 0 20 0 19 0 286287701 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241149086248 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10802/tid=10812] ppid=10800 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/10802/task/10812/stat : 10812 (java) S 10800 10802 9972 0 -1 4202560 147 0 0 0 80 0 0 0 20 0 19 0 286287701 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241148033448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10802/tid=10813] ppid=10800 vsize=9625004 CPUtime=9.32 cores=1,3,5,7
/proc/10802/task/10813/stat : 10813 (java) S 10800 10802 9972 0 -1 4202560 117 0 0 0 930 2 0 0 20 0 19 0 286287702 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241135835880 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10802/tid=10814] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10814/stat : 10814 (java) S 10800 10802 9972 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286287703 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241134781944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10815] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10815/stat : 10815 (java) S 10800 10802 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286287703 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241133729544 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10816] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10816/stat : 10816 (java) S 10800 10802 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286287706 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241132678032 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10817] ppid=10800 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/10802/task/10817/stat : 10817 (java) S 10800 10802 9972 0 -1 4202560 9846 0 0 0 83 2 0 0 20 0 19 0 286287706 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241131624632 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10802/tid=10818] ppid=10800 vsize=9625004 CPUtime=0.41 cores=1,3,5,7
/proc/10802/task/10818/stat : 10818 (java) S 10800 10802 9972 0 -1 4202560 4390 0 0 0 41 0 0 0 20 0 19 0 286287706 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241130571832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10802/tid=10819] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10819/stat : 10819 (java) S 10800 10802 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286287706 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241129519736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10802/tid=10820] ppid=10800 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/10802/task/10820/stat : 10820 (java) S 10800 10802 9972 0 -1 4202560 62 0 0 0 20 13 0 0 20 0 19 0 286287706 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241128467144 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10802/tid=10821] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10821/stat : 10821 (java) S 10800 10802 9972 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 286287725 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241127413160 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1095.95
Current children cumulated vsize (KiB) 9625004

[startup+1090.7 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 10831
/proc/meminfo: memFree=30464332/32873844 swapFree=6872/6872
[pid=10802] ppid=10800 vsize=9625004 CPUtime=1096.37 cores=1,3,5,7
/proc/10802/stat : 10802 (java) S 10800 10802 9972 0 -1 4202496 19628 0 1 0 109605 32 0 0 20 0 19 0 286287698 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140736143199360 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10802/statm: 2406251 31446 2284 9 0 2396937 0
[pid=10802/tid=10804] ppid=10800 vsize=9625004 CPUtime=1076.31 cores=1,3,5,7
/proc/10802/task/10804/stat : 10804 (java) R 10800 10802 9972 0 -1 4202560 2901 0 1 0 107612 19 0 0 20 0 19 0 286287700 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241513258248 140241369810592 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10805] ppid=10800 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/10802/task/10805/stat : 10805 (java) S 10800 10802 9972 0 -1 4202560 270 0 0 0 78 2 0 0 20 0 19 0 286287701 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241491360552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10806] ppid=10800 vsize=9625004 CPUtime=0.83 cores=1,3,5,7
/proc/10802/task/10806/stat : 10806 (java) S 10800 10802 9972 0 -1 4202560 122 0 0 0 81 2 0 0 20 0 19 0 286287701 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241490307752 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10802/tid=10807] ppid=10800 vsize=9625004 CPUtime=0.78 cores=1,3,5,7
/proc/10802/task/10807/stat : 10807 (java) S 10800 10802 9972 0 -1 4202560 93 0 0 0 76 2 0 0 20 0 19 0 286287701 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241489255464 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10808] ppid=10800 vsize=9625004 CPUtime=0.74 cores=1,3,5,7
/proc/10802/task/10808/stat : 10808 (java) S 10800 10802 9972 0 -1 4202560 78 0 0 0 72 2 0 0 20 0 19 0 286287701 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241488202664 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10802/tid=10809] ppid=10800 vsize=9625004 CPUtime=0.87 cores=1,3,5,7
/proc/10802/task/10809/stat : 10809 (java) S 10800 10802 9972 0 -1 4202560 131 0 0 0 85 2 0 0 20 0 19 0 286287701 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241151191336 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10802/tid=10810] ppid=10800 vsize=9625004 CPUtime=0.75 cores=1,3,5,7
/proc/10802/task/10810/stat : 10810 (java) S 10800 10802 9972 0 -1 4202560 133 0 0 0 73 2 0 0 20 0 19 0 286287701 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241150138536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10802/tid=10811] ppid=10800 vsize=9625004 CPUtime=0.78 cores=1,3,5,7
/proc/10802/task/10811/stat : 10811 (java) S 10800 10802 9972 0 -1 4202560 157 0 0 0 78 0 0 0 20 0 19 0 286287701 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241149086248 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10802/tid=10812] ppid=10800 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/10802/task/10812/stat : 10812 (java) S 10800 10802 9972 0 -1 4202560 147 0 0 0 80 0 0 0 20 0 19 0 286287701 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241148033448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10802/tid=10813] ppid=10800 vsize=9625004 CPUtime=9.32 cores=1,3,5,7
/proc/10802/task/10813/stat : 10813 (java) S 10800 10802 9972 0 -1 4202560 117 0 0 0 930 2 0 0 20 0 19 0 286287702 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241135835880 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10802/tid=10814] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10814/stat : 10814 (java) S 10800 10802 9972 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286287703 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241134781944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10815] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10815/stat : 10815 (java) S 10800 10802 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286287703 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241133729544 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10816] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10816/stat : 10816 (java) S 10800 10802 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286287706 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241132678032 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10817] ppid=10800 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/10802/task/10817/stat : 10817 (java) S 10800 10802 9972 0 -1 4202560 9846 0 0 0 83 2 0 0 20 0 19 0 286287706 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241131624632 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10802/tid=10818] ppid=10800 vsize=9625004 CPUtime=0.43 cores=1,3,5,7
/proc/10802/task/10818/stat : 10818 (java) S 10800 10802 9972 0 -1 4202560 4390 0 0 0 43 0 0 0 20 0 19 0 286287706 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241130571832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10802/tid=10819] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10819/stat : 10819 (java) S 10800 10802 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286287706 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241129519736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10802/tid=10820] ppid=10800 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/10802/task/10820/stat : 10820 (java) S 10800 10802 9972 0 -1 4202560 62 0 0 0 20 13 0 0 20 0 19 0 286287706 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241128467144 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10802/tid=10821] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10821/stat : 10821 (java) S 10800 10802 9972 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 286287725 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241127413160 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1096.37
Current children cumulated vsize (KiB) 9625004

[startup+1090.8 s]
/proc/loadavg: 2.00 2.01 2.00 3/213 10831
/proc/meminfo: memFree=30464332/32873844 swapFree=6872/6872
[pid=10802] ppid=10800 vsize=9625004 CPUtime=1096.48 cores=1,3,5,7
/proc/10802/stat : 10802 (java) S 10800 10802 9972 0 -1 4202496 19628 0 1 0 109616 32 0 0 20 0 19 0 286287698 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140736143199360 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/10802/statm: 2406251 31446 2284 9 0 2396937 0
[pid=10802/tid=10804] ppid=10800 vsize=9625004 CPUtime=1076.4 cores=1,3,5,7
/proc/10802/task/10804/stat : 10804 (java) R 10800 10802 9972 0 -1 4202560 2901 0 1 0 107621 19 0 0 20 0 19 0 286287700 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241513259544 140241369531908 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10805] ppid=10800 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/10802/task/10805/stat : 10805 (java) S 10800 10802 9972 0 -1 4202560 270 0 0 0 78 2 0 0 20 0 19 0 286287701 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241491360552 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10806] ppid=10800 vsize=9625004 CPUtime=0.83 cores=1,3,5,7
/proc/10802/task/10806/stat : 10806 (java) S 10800 10802 9972 0 -1 4202560 122 0 0 0 81 2 0 0 20 0 19 0 286287701 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241490307752 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10802/tid=10807] ppid=10800 vsize=9625004 CPUtime=0.78 cores=1,3,5,7
/proc/10802/task/10807/stat : 10807 (java) S 10800 10802 9972 0 -1 4202560 93 0 0 0 76 2 0 0 20 0 19 0 286287701 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241489255464 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10808] ppid=10800 vsize=9625004 CPUtime=0.74 cores=1,3,5,7
/proc/10802/task/10808/stat : 10808 (java) S 10800 10802 9972 0 -1 4202560 78 0 0 0 72 2 0 0 20 0 19 0 286287701 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241488202664 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10802/tid=10809] ppid=10800 vsize=9625004 CPUtime=0.87 cores=1,3,5,7
/proc/10802/task/10809/stat : 10809 (java) S 10800 10802 9972 0 -1 4202560 131 0 0 0 85 2 0 0 20 0 19 0 286287701 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241151191336 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10802/tid=10810] ppid=10800 vsize=9625004 CPUtime=0.75 cores=1,3,5,7
/proc/10802/task/10810/stat : 10810 (java) S 10800 10802 9972 0 -1 4202560 133 0 0 0 73 2 0 0 20 0 19 0 286287701 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241150138536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=10802/tid=10811] ppid=10800 vsize=9625004 CPUtime=0.78 cores=1,3,5,7
/proc/10802/task/10811/stat : 10811 (java) S 10800 10802 9972 0 -1 4202560 157 0 0 0 78 0 0 0 20 0 19 0 286287701 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241149086248 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10802/tid=10812] ppid=10800 vsize=9625004 CPUtime=0.8 cores=1,3,5,7
/proc/10802/task/10812/stat : 10812 (java) S 10800 10802 9972 0 -1 4202560 147 0 0 0 80 0 0 0 20 0 19 0 286287701 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241148033448 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10802/tid=10813] ppid=10800 vsize=9625004 CPUtime=9.32 cores=1,3,5,7
/proc/10802/task/10813/stat : 10813 (java) S 10800 10802 9972 0 -1 4202560 117 0 0 0 930 2 0 0 20 0 19 0 286287702 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241135835880 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10802/tid=10814] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10814/stat : 10814 (java) S 10800 10802 9972 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 286287703 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241134781944 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10815] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10815/stat : 10815 (java) S 10800 10802 9972 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 286287703 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241133729544 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10816] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10816/stat : 10816 (java) S 10800 10802 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286287706 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241132678032 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=10802/tid=10817] ppid=10800 vsize=9625004 CPUtime=0.85 cores=1,3,5,7
/proc/10802/task/10817/stat : 10817 (java) S 10800 10802 9972 0 -1 4202560 9846 0 0 0 83 2 0 0 20 0 19 0 286287706 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241131624632 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10802/tid=10818] ppid=10800 vsize=9625004 CPUtime=0.43 cores=1,3,5,7
/proc/10802/task/10818/stat : 10818 (java) S 10800 10802 9972 0 -1 4202560 4390 0 0 0 43 0 0 0 20 0 19 0 286287706 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241130571832 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10802/tid=10819] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10819/stat : 10819 (java) S 10800 10802 9972 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 286287706 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241129519736 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=10802/tid=10820] ppid=10800 vsize=9625004 CPUtime=0.33 cores=1,3,5,7
/proc/10802/task/10820/stat : 10820 (java) S 10800 10802 9972 0 -1 4202560 62 0 0 0 20 13 0 0 20 0 19 0 286287706 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241128467144 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=10802/tid=10821] ppid=10800 vsize=9625004 CPUtime=0 cores=1,3,5,7
/proc/10802/task/10821/stat : 10821 (java) S 10800 10802 9972 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 286287725 9856004096 31446 33554432000 1073741824 1073778376 140736143208224 140241127413160 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1096.48
Current children cumulated vsize (KiB) 9625004

Child status: 30

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 10802 and gives
#  childrusage.ru_utime.tv_sec=1093
#  childrusage.ru_utime.tv_usec=394778
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=613906
# CPU time returned by wait4() is 1094.01
# while last known CPU time is 1096.48
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1090.87
CPU time (s): 1096.48
CPU user time (s): 1096.16
CPU system time (s): 0.32
CPU usage (%): 100.514
Max. virtual memory (cumulated for all children) (KiB): 9625004

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1093.39
system time used= 0.613906
maximum resident set size= 125840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19645
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1120
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 33047
involuntary context switches= 24757

runsolver used 4.73928 second user time and 12.3051 second system time

The end

Launcher Data 

Begin job on node106 at 2012-05-28 12:39:52
IDJOB=3711083
IDBENCH=89854
IDSOLVER=2289
FILE ID=node106/3711083-1338201592
RUNJOBID= node106-1338195726-9989
PBS_JOBID= 14624610
Free space on /tmp= 71332 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB11/normalized-PB11/OPT-SMALLINT-LIN/heinz/normalized-neos-538867.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3711083-1338201592/watcher-3711083-1338201592 -o /tmp/evaluation-result-3711083-1338201592/solver-3711083-1338201592 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3711083-1338201592.opb

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

MD5SUM BENCH= 3b75c8039d6468258a1aa0343ce1fddb
RANDOM SEED=1148238789

node106.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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		: 2667.065
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5334.13
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.92
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.065
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30762268 kB
Buffers:          297632 kB
Cached:           552132 kB
SwapCached:            0 kB
Active:          1079888 kB
Inactive:         174300 kB
Active(anon):     395564 kB
Inactive(anon):    11256 kB
Active(file):     684324 kB
Inactive(file):   163044 kB
Unevictable:        6872 kB
Mlocked:            6872 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               848 kB
Writeback:             0 kB
AnonPages:        410924 kB
Mapped:            18752 kB
Shmem:               200 kB
Slab:             716404 kB
SReclaimable:     158532 kB
SUnreclaim:       557872 kB
KernelStack:        1608 kB
PageTables:         5016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:    1099488 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    362496 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71328 MiB
End job on node106 at 2012-05-28 12:58:03