Trace number 3718453

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
Sat4j PB 2012-05-28OPTIMUM 36.39 34.1231

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227012--soft-0-100-0.wbo
MD5SUM3f56278c0c7f2898f6b9e11f0d13a6fa
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark0.390939
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints101
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 5395
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 5394
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1220
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data

0.04/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.04/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.08	c See www.sat4j.org for details.
0.04/0.09	c version 2.3.2.v20120528
0.04/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.09	c java.vm.version	19.1-b02
0.04/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		501472288
0.04/0.09	c Max memory 		7480803328
0.04/0.09	c Total memory 		504102912
0.04/0.09	c Number of processors 	8
0.09/0.11	c Pseudo Boolean Optimization by upper bound
0.09/0.11	c --- Begin Solver configuration ---
0.09/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@4a913fe2
0.09/0.11	c Learn all clauses as in MiniSAT
0.09/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.11	c No reason simplification
0.09/0.11	c Armin Biere (Picosat) restarts strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-3718453-1338254263.wbo
0.09/0.11	c reading problem ... 
0.09/0.17	c ... done. Wall clock time 0.053s.
0.09/0.17	c declared #vars     169
0.09/0.17	c internal #vars     270
0.09/0.17	c #constraints  101
0.09/0.17	c constraints type 
0.09/0.17	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
0.09/0.17	c ignored satisfied constraints => 1
0.09/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
0.09/0.17	c 102 constraints processed.
0.09/0.17	c objective function length is 101 literals
0.26/0.23	c SATISFIABLE
0.26/0.23	c OPTIMIZING...
0.26/0.23	c Got one! Elapsed wall clock time (in seconds):0.115
0.26/0.23	o 1242
0.26/0.25	c Got one! Elapsed wall clock time (in seconds):0.137
0.26/0.25	o 1193
0.26/0.26	c Got one! Elapsed wall clock time (in seconds):0.148
0.26/0.26	o 1163
0.26/0.27	c Got one! Elapsed wall clock time (in seconds):0.156
0.26/0.27	o 1142
0.26/0.28	c Got one! Elapsed wall clock time (in seconds):0.164
0.26/0.28	o 929
0.26/0.29	c Got one! Elapsed wall clock time (in seconds):0.176
0.26/0.29	o 627
0.50/0.30	c Got one! Elapsed wall clock time (in seconds):0.187
0.50/0.30	o 625
0.50/0.31	c Got one! Elapsed wall clock time (in seconds):0.194
0.50/0.31	o 617
0.50/0.32	c Got one! Elapsed wall clock time (in seconds):0.203
0.50/0.32	o 616
0.50/0.33	c Got one! Elapsed wall clock time (in seconds):0.217
0.50/0.33	o 613
0.50/0.33	c Got one! Elapsed wall clock time (in seconds):0.221
0.50/0.33	o 608
0.50/0.34	c Got one! Elapsed wall clock time (in seconds):0.227
0.50/0.34	o 516
0.50/0.38	c Got one! Elapsed wall clock time (in seconds):0.268
0.50/0.38	o 510
0.50/0.39	c Got one! Elapsed wall clock time (in seconds):0.281
0.50/0.39	o 508
0.69/0.44	c Got one! Elapsed wall clock time (in seconds):0.332
0.69/0.44	o 476
0.69/0.46	c Got one! Elapsed wall clock time (in seconds):0.35
0.69/0.46	o 456
0.69/0.47	c Got one! Elapsed wall clock time (in seconds):0.363
0.69/0.47	o 455
0.69/0.49	c Got one! Elapsed wall clock time (in seconds):0.379
0.69/0.49	o 425
0.82/0.55	c Got one! Elapsed wall clock time (in seconds):0.435
0.82/0.55	o 419
0.82/0.56	c Got one! Elapsed wall clock time (in seconds):0.447
0.82/0.56	o 418
1.26/0.70	c cleaning 5275 clauses out of 10553 with flag 7436/10553
1.26/0.77	c Got one! Elapsed wall clock time (in seconds):0.657
1.26/0.77	o 399
1.45/0.80	c Got one! Elapsed wall clock time (in seconds):0.687
1.45/0.80	o 397
1.45/0.83	c Got one! Elapsed wall clock time (in seconds):0.719
1.45/0.83	o 396
1.45/0.88	c Got one! Elapsed wall clock time (in seconds):0.763
1.45/0.88	o 370
1.62/0.91	c cleaning 5722 clauses out of 11462 with flag 3708/16737
1.62/0.96	c Got one! Elapsed wall clock time (in seconds):0.852
1.62/0.96	o 368
1.76/1.01	c Got one! Elapsed wall clock time (in seconds):0.899
1.76/1.01	o 354
1.76/1.05	c Got one! Elapsed wall clock time (in seconds):0.938
1.76/1.05	o 349
1.76/1.06	c Got one! Elapsed wall clock time (in seconds):0.946
1.76/1.06	o 331
1.76/1.08	c Got one! Elapsed wall clock time (in seconds):0.964
1.76/1.08	o 324
1.86/1.12	c Got one! Elapsed wall clock time (in seconds):1.009
1.86/1.12	o 321
1.86/1.16	c cleaning 6494 clauses out of 12996 with flag 3800/23993
1.98/1.24	c Got one! Elapsed wall clock time (in seconds):1.128
1.98/1.24	o 320
2.08/1.33	c cleaning 5831 clauses out of 11678 with flag 12600/29169
2.18/1.45	c Got one! Elapsed wall clock time (in seconds):1.342
2.18/1.45	o 319
2.28/1.50	c Got one! Elapsed wall clock time (in seconds):1.388
2.28/1.50	o 313
2.28/1.52	c Got one! Elapsed wall clock time (in seconds):1.405
2.28/1.52	o 311
2.28/1.55	c Got one! Elapsed wall clock time (in seconds):1.435
2.28/1.55	o 307
2.28/1.59	c cleaning 6535 clauses out of 13098 with flag 4447/36420
2.48/1.70	c Got one! Elapsed wall clock time (in seconds):1.592
2.48/1.70	o 306
2.48/1.76	c cleaning 5970 clauses out of 11950 with flag 7487/41807
2.68/1.96	c cleaning 5984 clauses out of 11981 with flag 30034/47808
2.79/2.02	c Got one! Elapsed wall clock time (in seconds):1.913
2.79/2.02	o 300
2.79/2.06	c Got one! Elapsed wall clock time (in seconds):1.951
2.79/2.06	o 294
2.93/2.15	c Got one! Elapsed wall clock time (in seconds):2.041
2.93/2.15	o 277
2.93/2.18	c Got one! Elapsed wall clock time (in seconds):2.071
2.93/2.18	o 276
3.05/2.22	c cleaning 6760 clauses out of 13527 with flag 4814/55338
3.05/2.28	c Got one! Elapsed wall clock time (in seconds):2.165
3.05/2.28	o 258
3.15/2.40	c cleaning 6213 clauses out of 12442 with flag 15657/61013
3.35/2.58	c Got one! Elapsed wall clock time (in seconds):2.47
3.35/2.58	o 255
3.45/2.62	c Got one! Elapsed wall clock time (in seconds):2.511
3.45/2.62	o 245
3.55/2.75	c cleaning 8270 clauses out of 16546 with flag 18780/71330
3.65/2.88	c Got one! Elapsed wall clock time (in seconds):2.771
3.65/2.88	o 233
3.75/2.93	c cleaning 6717 clauses out of 13436 with flag 4011/76490
3.75/2.96	c Got one! Elapsed wall clock time (in seconds):2.85
3.75/2.96	o 232
3.86/3.05	c Got one! Elapsed wall clock time (in seconds):2.936
3.86/3.05	o 223
3.96/3.15	c cleaning 6571 clauses out of 13149 with flag 14872/82920
4.18/3.38	c Got one! Elapsed wall clock time (in seconds):3.27
4.18/3.38	o 215
4.37/3.56	c cleaning 8687 clauses out of 17386 with flag 22985/93728
4.69/3.81	c cleaning 7345 clauses out of 14700 with flag 51219/99729
4.79/3.95	c Got one! Elapsed wall clock time (in seconds):3.838
4.79/3.95	o 214
4.89/4.01	c cleaning 6433 clauses out of 12877 with flag 10632/105251
5.09/4.20	c cleaning 6214 clauses out of 12446 with flag 38043/111253
5.20/4.36	c Got one! Elapsed wall clock time (in seconds):4.244
5.20/4.36	o 213
5.20/4.39	c cleaning 5960 clauses out of 11931 with flag 4563/116952
5.32/4.47	c Got one! Elapsed wall clock time (in seconds):4.359
5.32/4.47	o 212
5.41/4.54	c Got one! Elapsed wall clock time (in seconds):4.424
5.41/4.54	o 196
5.41/4.57	c cleaning 5662 clauses out of 11332 with flag 5175/122313
5.54/4.68	c Got one! Elapsed wall clock time (in seconds):4.572
5.54/4.68	o 181
5.64/4.75	c cleaning 5623 clauses out of 11274 with flag 9481/127917
5.84/4.96	c cleaning 5818 clauses out of 11649 with flag 34691/133915
6.14/5.22	c Got one! Elapsed wall clock time (in seconds):5.11
6.14/5.22	o 180
6.24/5.39	c cleaning 8895 clauses out of 17801 with flag 25017/145885
6.45/5.59	c cleaning 7437 clauses out of 14905 with flag 51841/151884
6.75/5.87	c cleaning 7225 clauses out of 14468 with flag 82762/158884
7.15/6.20	c cleaning 7612 clauses out of 15244 with flag 122709/166885
7.15/6.29	c Got one! Elapsed wall clock time (in seconds):6.182
7.15/6.29	o 175
7.26/6.39	c cleaning 6522 clauses out of 13059 with flag 15151/172312
7.36/6.40	c Got one! Elapsed wall clock time (in seconds):6.292
7.36/6.40	o 161
7.36/6.43	c Got one! Elapsed wall clock time (in seconds):6.319
7.36/6.43	o 150
7.47/6.55	c Got one! Elapsed wall clock time (in seconds):6.433
7.47/6.55	o 148
7.47/6.59	c Got one! Elapsed wall clock time (in seconds):6.475
7.47/6.59	o 144
7.57/6.62	c cleaning 6494 clauses out of 13002 with flag 5000/178777
7.77/6.83	c Got one! Elapsed wall clock time (in seconds):6.72
7.77/6.83	o 142
7.97/7.00	c cleaning 8488 clauses out of 16984 with flag 23359/189253
8.18/7.25	c cleaning 7242 clauses out of 14495 with flag 48101/195252
8.38/7.41	c Got one! Elapsed wall clock time (in seconds):7.303
8.38/7.41	o 141
8.38/7.45	c cleaning 6213 clauses out of 12447 with flag 4723/200446
8.59/7.64	c cleaning 6102 clauses out of 12235 with flag 32282/206447
8.78/7.88	c cleaning 6562 clauses out of 13132 with flag 62104/213446
9.19/8.22	c cleaning 7275 clauses out of 14571 with flag 105769/221447
9.50/8.59	c cleaning 8136 clauses out of 16296 with flag 157672/230447
9.60/8.65	c Got one! Elapsed wall clock time (in seconds):8.541
9.60/8.65	o 140
9.71/8.78	c cleaning 6825 clauses out of 13661 with flag 19441/235948
9.90/8.96	c cleaning 6407 clauses out of 12835 with flag 45213/241947
10.10/9.19	c cleaning 6699 clauses out of 13429 with flag 75522/248948
10.40/9.44	c cleaning 7360 clauses out of 14730 with flag 109241/256948
10.50/9.52	c Got one! Elapsed wall clock time (in seconds):9.405
10.50/9.52	o 139
10.50/9.54	c Got one! Elapsed wall clock time (in seconds):9.427
10.50/9.54	o 134
10.50/9.56	c Got one! Elapsed wall clock time (in seconds):9.443
10.50/9.56	o 107
10.50/9.59	c Got one! Elapsed wall clock time (in seconds):9.483
10.50/9.59	o 106
10.73/9.75	c cleaning 7493 clauses out of 15001 with flag 14235/264579
10.73/9.78	c Got one! Elapsed wall clock time (in seconds):9.668
10.73/9.78	o 105
11.14/9.98	c cleaning 6407 clauses out of 12835 with flag 24275/269906
11.32/10.03	c Got one! Elapsed wall clock time (in seconds):9.916
11.32/10.03	o 102
11.62/10.20	c cleaning 6194 clauses out of 12407 with flag 24643/275885
12.01/10.46	c cleaning 6100 clauses out of 12215 with flag 56567/281887
12.41/10.60	c Got one! Elapsed wall clock time (in seconds):10.488
12.41/10.60	o 93
12.41/10.66	c cleaning 5674 clauses out of 11368 with flag 9679/287140
12.61/10.85	c cleaning 5838 clauses out of 11695 with flag 36339/293141
12.82/11.09	c cleaning 6420 clauses out of 12860 with flag 66498/300144
13.21/11.43	c cleaning 7209 clauses out of 14441 with flag 109343/308145
13.52/11.79	c cleaning 8099 clauses out of 16229 with flag 160775/317142
13.62/11.81	c Got one! Elapsed wall clock time (in seconds):11.698
13.62/11.81	o 92
13.72/11.97	c cleaning 6732 clauses out of 13471 with flag 24026/322483
13.93/12.16	c cleaning 6368 clauses out of 12741 with flag 50111/328485
14.13/12.40	c cleaning 6677 clauses out of 13373 with flag 81763/335485
14.43/12.66	c cleaning 7336 clauses out of 14693 with flag 116358/343482
14.73/12.93	c Got one! Elapsed wall clock time (in seconds):12.815
14.73/12.93	o 75
14.93/13.15	c cleaning 9916 clauses out of 19855 with flag 23834/355980
15.13/13.36	c cleaning 7960 clauses out of 15940 with flag 51413/361981
15.34/13.59	c cleaning 7482 clauses out of 14979 with flag 84545/368980
15.64/13.87	c cleaning 7740 clauses out of 15497 with flag 123071/376980
16.05/14.21	c cleaning 8375 clauses out of 16759 with flag 166904/385982
16.15/14.36	c Got one! Elapsed wall clock time (in seconds):14.249
16.15/14.36	o 71
16.25/14.41	c cleaning 7011 clauses out of 14039 with flag 4111/391637
16.25/14.42	c Got one! Elapsed wall clock time (in seconds):14.308
16.25/14.42	o 67
16.25/14.43	c Got one! Elapsed wall clock time (in seconds):14.318
16.25/14.43	o 63
16.35/14.54	c Got one! Elapsed wall clock time (in seconds):14.425
16.35/14.54	o 62
16.45/14.61	c cleaning 6449 clauses out of 12916 with flag 9341/397525
16.55/14.74	c Got one! Elapsed wall clock time (in seconds):14.631
16.55/14.74	o 60
16.55/14.78	c cleaning 5976 clauses out of 11969 with flag 4435/403027
16.76/14.97	c cleaning 5989 clauses out of 11993 with flag 29504/409027
17.07/15.21	c cleaning 6502 clauses out of 13003 with flag 58831/416026
17.07/15.23	c Got one! Elapsed wall clock time (in seconds):15.12
17.07/15.23	o 59
17.18/15.39	c cleaning 5869 clauses out of 11760 with flag 23427/421285
17.37/15.58	c cleaning 5939 clauses out of 11891 with flag 50053/427285
17.58/15.80	c cleaning 6461 clauses out of 12953 with flag 76692/434286
17.88/16.04	c Got one! Elapsed wall clock time (in seconds):15.926
17.88/16.04	o 53
18.08/16.21	c cleaning 9693 clauses out of 19402 with flag 24058/447196
18.29/16.41	c cleaning 7855 clauses out of 15709 with flag 46861/453196
18.50/16.63	c cleaning 7424 clauses out of 14856 with flag 71407/460198
18.81/16.91	c cleaning 7715 clauses out of 15431 with flag 101849/468197
18.93/17.05	c Got one! Elapsed wall clock time (in seconds):16.943
18.93/17.05	o 48
18.93/17.09	c cleaning 6648 clauses out of 13308 with flag 4994/473790
19.13/17.29	c cleaning 6310 clauses out of 12658 with flag 34071/479788
19.45/17.53	c cleaning 6654 clauses out of 13348 with flag 66464/486788
19.64/17.80	c cleaning 7338 clauses out of 14694 with flag 101828/494788
20.06/18.10	c cleaning 8173 clauses out of 16361 with flag 140432/503793
20.16/18.20	c Got one! Elapsed wall clock time (in seconds):18.086
20.16/18.20	o 44
20.16/18.27	c cleaning 6598 clauses out of 13218 with flag 9699/508823
20.37/18.46	c cleaning 6305 clauses out of 12621 with flag 37981/514824
20.59/18.69	c cleaning 6635 clauses out of 13315 with flag 67934/521823
20.90/18.96	c cleaning 7330 clauses out of 14680 with flag 102779/529823
21.20/19.27	c cleaning 8157 clauses out of 16351 with flag 142065/538824
21.40/19.46	c Got one! Elapsed wall clock time (in seconds):19.352
21.40/19.46	o 41
21.60/19.67	c cleaning 9610 clauses out of 19230 with flag 26055/549860
21.81/19.88	c cleaning 7799 clauses out of 15622 with flag 53347/555862
22.13/20.11	c cleaning 7395 clauses out of 14819 with flag 83647/562858
22.34/20.37	c cleaning 7692 clauses out of 15427 with flag 116562/570861
22.64/20.66	c cleaning 8344 clauses out of 16734 with flag 155900/579860
23.05/21.00	c cleaning 9171 clauses out of 18388 with flag 201160/589858
23.35/21.38	c cleaning 10097 clauses out of 20218 with flag 253068/600859
23.76/21.77	c Got one! Elapsed wall clock time (in seconds):21.662
23.76/21.77	o 40
23.97/21.94	c Got one! Elapsed wall clock time (in seconds):21.829
23.97/21.94	o 31
23.97/22.00	c cleaning 13965 clauses out of 27929 with flag 4528/618667
24.29/22.21	c cleaning 9975 clauses out of 19964 with flag 28287/624667
24.40/22.31	c Got one! Elapsed wall clock time (in seconds):22.194
24.40/22.31	o 30
24.40/22.38	c cleaning 7598 clauses out of 15213 with flag 10065/629891
24.73/22.60	c cleaning 6796 clauses out of 13615 with flag 38538/635891
24.84/22.72	c Got one! Elapsed wall clock time (in seconds):22.61
24.84/22.72	o 28
24.84/22.80	c cleaning 6306 clauses out of 12642 with flag 9169/641714
25.04/23.00	c cleaning 6164 clauses out of 12337 with flag 36086/647715
25.34/23.21	c cleaning 6582 clauses out of 13172 with flag 62287/654715
25.54/23.45	c cleaning 7290 clauses out of 14588 with flag 93136/662713
25.64/23.60	c Got one! Elapsed wall clock time (in seconds):23.483
25.64/23.60	o 26
25.74/23.63	c cleaning 6535 clauses out of 13082 with flag 4490/668497
25.95/23.81	c Got one! Elapsed wall clock time (in seconds):23.701
25.95/23.81	o 25
26.16/24.01	c cleaning 8612 clauses out of 17241 with flag 23656/679191
26.37/24.22	c cleaning 7303 clauses out of 14628 with flag 52151/685190
26.56/24.46	c cleaning 7138 clauses out of 14325 with flag 83176/692190
26.86/24.74	c cleaning 7585 clauses out of 15188 with flag 119392/700191
27.16/25.03	c Got one! Elapsed wall clock time (in seconds):24.914
27.16/25.03	o 24
27.37/25.23	c cleaning 10640 clauses out of 21305 with flag 23468/713893
27.57/25.44	c cleaning 8315 clauses out of 16666 with flag 51261/719894
27.78/25.68	c cleaning 7664 clauses out of 15351 with flag 83322/726894
28.08/25.95	c cleaning 7825 clauses out of 15685 with flag 119604/734892
28.38/26.25	c cleaning 8411 clauses out of 16863 with flag 160511/743895
28.68/26.58	c cleaning 9222 clauses out of 18450 with flag 206027/753893
28.98/26.83	c Got one! Elapsed wall clock time (in seconds):26.716
28.98/26.83	o 17
29.18/27.03	c cleaning 11253 clauses out of 22527 with flag 25296/767192
29.39/27.26	c cleaning 8616 clauses out of 17273 with flag 55908/773191
29.69/27.51	c cleaning 7824 clauses out of 15657 with flag 89600/780191
29.89/27.79	c cleaning 7901 clauses out of 15835 with flag 127091/788193
30.29/28.11	c cleaning 8451 clauses out of 16932 with flag 169572/797191
30.59/28.46	c cleaning 9217 clauses out of 18481 with flag 217843/807191
30.99/28.84	c cleaning 10132 clauses out of 20265 with flag 267414/818192
31.41/29.23	c cleaning 11060 clauses out of 22132 with flag 320418/830193
31.82/29.67	c cleaning 12033 clauses out of 24069 with flag 376862/843192
32.42/30.20	c cleaning 13011 clauses out of 26033 with flag 442664/857191
32.93/30.74	c cleaning 14000 clauses out of 28017 with flag 512898/872192
33.22/31.03	c Got one! Elapsed wall clock time (in seconds):30.92
33.22/31.03	o 16
33.43/31.26	c cleaning 13909 clauses out of 27830 with flag 26079/886007
33.63/31.50	c cleaning 9954 clauses out of 19918 with flag 56266/892004
33.94/31.75	c cleaning 8467 clauses out of 16964 with flag 89959/899004
34.24/32.04	c cleaning 8229 clauses out of 16498 with flag 129628/907005
34.54/32.35	c cleaning 8613 clauses out of 17268 with flag 173659/916004
34.94/32.73	c cleaning 9319 clauses out of 18655 with flag 224852/926004
35.35/33.15	c cleaning 10159 clauses out of 20337 with flag 281107/937005
35.75/33.59	c cleaning 11065 clauses out of 22177 with flag 340116/949004
35.87/33.68	c Got one! Elapsed wall clock time (in seconds):33.569
35.87/33.68	o 12
36.07/33.80	c cleaning 8212 clauses out of 16433 with flag 15512/954325
36.28/34.02	c cleaning 7107 clauses out of 14221 with flag 45252/960325
36.39/34.11	c Got one! Elapsed wall clock time (in seconds):33.995
36.39/34.11	o 5
36.39/34.11	c starts		: 261
36.39/34.11	c conflicts		: 962940
36.39/34.11	c decisions		: 1528701
36.39/34.11	c propagations		: 23949441
36.39/34.11	c inspects		: 240224659
36.39/34.11	c shortcuts		: 0
36.39/34.11	c learnt literals	: 16
36.39/34.11	c learnt binary clauses	: 41
36.39/34.11	c learnt ternary clauses	: 1763
36.39/34.11	c learnt constraints	: 962924
36.39/34.11	c ignored constraints	: 0
36.39/34.11	c root simplifications	: 0
36.39/34.11	c removed literals (reason simplification)	: 0
36.39/34.11	c reason swapping (by a shorter reason)	: 0
36.39/34.11	c Calls to reduceDB	: 124
36.39/34.11	c Number of update (reduction) of LBD	: 285916
36.39/34.11	c number of reductions to clauses (during analyze)	: 0
36.39/34.11	c number of learned constraints concerned by reduction	: 0
36.39/34.11	c number of learning phase by resolution	: 0
36.39/34.11	c number of learning phase by cutting planes	: 0
36.39/34.11	c speed (assignments/second)	: 705557.4181004006
36.39/34.11	c non guided choices	4588
36.39/34.11	c learnt constraints type 
36.39/34.11	c constraints type 
36.39/34.11	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
36.39/34.11	c ignored satisfied constraints => 1
36.39/34.11	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
36.39/34.11	c 102 constraints processed.
36.39/34.11	s OPTIMUM FOUND
36.39/34.11	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 
36.39/34.11	c objective function=5
36.39/34.11	c Total wall clock time (in seconds): 34.002

Verifier Data

OK	5

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

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

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


[startup+0 s]
/proc/loadavg: 2.08 2.06 2.02 3/195 3783
/proc/meminfo: memFree=29502028/32873844 swapFree=7628/7628
[pid=3783] ppid=3781 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/3783/stat : 3783 (java) R 3781 3783 31640 0 -1 4202496 596 0 0 0 0 0 0 0 20 0 1 0 291550709 23793664 324 33554432000 1073741824 1073778376 140733718028144 140733718017208 254741101121 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/3783/statm: 5809 337 260 9 0 128 0

[startup+0.053339 s]
/proc/loadavg: 2.08 2.06 2.02 3/195 3783
/proc/meminfo: memFree=29502028/32873844 swapFree=7628/7628
[pid=3783] ppid=3781 vsize=9225560 CPUtime=0.04 cores=1,3,5,7
/proc/3783/stat : 3783 (java) S 3781 3783 31640 0 -1 4202496 3078 0 1 0 3 1 0 0 20 0 13 0 291550709 9446973440 3775 33554432000 1073741824 1073778376 140733718028144 140733718019280 254753669181 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3783/statm: 2306390 3775 1708 9 0 2297091 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9225560

[startup+0.100283 s]
/proc/loadavg: 2.08 2.06 2.02 3/195 3783
/proc/meminfo: memFree=29502028/32873844 swapFree=7628/7628
[pid=3783] ppid=3781 vsize=9558416 CPUtime=0.09 cores=1,3,5,7
/proc/3783/stat : 3783 (java) S 3781 3783 31640 0 -1 4202496 4295 0 1 0 8 1 0 0 20 0 18 0 291550709 9787817984 5488 33554432000 1073741824 1073778376 140733718028144 140733718019280 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3783/statm: 2389604 5488 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558416

[startup+0.300237 s]
/proc/loadavg: 2.08 2.06 2.02 3/195 3783
/proc/meminfo: memFree=29502028/32873844 swapFree=7628/7628
[pid=3783] ppid=3781 vsize=9624980 CPUtime=0.5 cores=1,3,5,7
/proc/3783/stat : 3783 (java) S 3781 3783 31640 0 -1 4202496 6716 0 1 0 48 2 0 0 20 0 19 0 291550709 9855979520 8012 33554432000 1073741824 1073778376 140733718028144 140733718019280 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3783/statm: 2406245 8012 2233 9 0 2396937 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9624980

[startup+0.700203 s]
/proc/loadavg: 2.08 2.06 2.02 3/195 3783
/proc/meminfo: memFree=29502028/32873844 swapFree=7628/7628
[pid=3783] ppid=3781 vsize=9626540 CPUtime=1.26 cores=1,3,5,7
/proc/3783/stat : 3783 (java) S 3781 3783 31640 0 -1 4202496 15216 0 1 0 122 4 0 0 20 0 19 0 291550709 9857576960 14374 33554432000 1073741824 1073778376 140733718028144 140733718019280 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3783/statm: 2406635 14374 2246 9 0 2397327 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 9626540

[startup+1.50075 s]
/proc/loadavg: 2.15 2.07 2.02 3/214 3802
/proc/meminfo: memFree=29454152/32873844 swapFree=7628/7628
[pid=3783] ppid=3781 vsize=9624980 CPUtime=2.28 cores=1,3,5,7
/proc/3783/stat : 3783 (java) S 3781 3783 31640 0 -1 4202496 17368 0 1 0 224 4 0 0 20 0 19 0 291550709 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140733718019280 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3783/statm: 2406245 14444 2272 9 0 2396937 0
[pid=3783/tid=3785] ppid=3781 vsize=9624980 CPUtime=1.42 cores=1,3,5,7
/proc/3783/task/3785/stat : 3785 (java) R 3781 3783 31640 0 -1 4202560 2462 0 1 0 140 2 0 0 20 0 19 0 291550709 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140695042630040 140694891234820 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3783/tid=3786] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3786/stat : 3786 (java) S 3781 3783 31640 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140695015082152 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3787] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3787/stat : 3787 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140695014029608 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3788] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3788/stat : 3788 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140695012977064 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3783/tid=3789] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3789/stat : 3789 (java) S 3781 3783 31640 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140695011924520 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3783/tid=3790] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3790/stat : 3790 (java) S 3781 3783 31640 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140695010871976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3791] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3791/stat : 3791 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140695009819432 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3783/tid=3792] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3792/stat : 3792 (java) S 3781 3783 31640 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140694880037800 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3783/tid=3793] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3793/stat : 3793 (java) S 3781 3783 31640 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140694878985256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3794] ppid=3781 vsize=9624980 CPUtime=0.03 cores=1,3,5,7
/proc/3783/task/3794/stat : 3794 (java) S 3781 3783 31640 0 -1 4202560 31 0 0 0 3 0 0 0 20 0 19 0 291550711 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140694396037224 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3783/tid=3795] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3795/stat : 3795 (java) S 3781 3783 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291550712 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140694394983544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3783/tid=3796] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3796/stat : 3796 (java) S 3781 3783 31640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291550712 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140694393930888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3783/tid=3797] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3797/stat : 3797 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140694392879632 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3783/tid=3798] ppid=3781 vsize=9624980 CPUtime=0.34 cores=1,3,5,7
/proc/3783/task/3798/stat : 3798 (java) S 3781 3783 31640 0 -1 4202560 5241 0 0 0 34 0 0 0 20 0 19 0 291550714 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140694391827000 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3799] ppid=3781 vsize=9624980 CPUtime=0.4 cores=1,3,5,7
/proc/3783/task/3799/stat : 3799 (java) S 3781 3783 31640 0 -1 4202560 8408 0 0 0 39 1 0 0 20 0 19 0 291550714 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140694390774456 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3783/tid=3800] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3800/stat : 3800 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140694389722104 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3783/tid=3801] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3801/stat : 3801 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140694388669768 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3802] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3802/stat : 3802 (java) S 3781 3783 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291550726 9855979520 14444 33554432000 1073741824 1073778376 140733718028144 140694387614504 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 9624980

[startup+3.10075 s]
/proc/loadavg: 2.15 2.07 2.02 4/214 3802
/proc/meminfo: memFree=29452104/32873844 swapFree=7628/7628
[pid=3783] ppid=3781 vsize=9624980 CPUtime=3.96 cores=1,3,5,7
/proc/3783/stat : 3783 (java) S 3781 3783 31640 0 -1 4202496 17388 0 1 0 392 4 0 0 20 0 19 0 291550709 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140733718019280 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3783/statm: 2406245 14457 2272 9 0 2396937 0
[pid=3783/tid=3785] ppid=3781 vsize=9624980 CPUtime=2.94 cores=1,3,5,7
/proc/3783/task/3785/stat : 3785 (java) R 3781 3783 31640 0 -1 4202560 2469 0 1 0 292 2 0 0 20 0 19 0 291550709 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140695042630040 140694891481763 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3783/tid=3786] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3786/stat : 3786 (java) S 3781 3783 31640 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140695015082152 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3787] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3787/stat : 3787 (java) S 3781 3783 31640 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140695014029608 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3783/tid=3788] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3788/stat : 3788 (java) S 3781 3783 31640 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140695012977064 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3783/tid=3789] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3789/stat : 3789 (java) S 3781 3783 31640 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140695011924520 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3790] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3790/stat : 3790 (java) S 3781 3783 31640 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140695010871976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3791] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3791/stat : 3791 (java) S 3781 3783 31640 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140695009819432 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3783/tid=3792] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3792/stat : 3792 (java) S 3781 3783 31640 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140694880037800 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3783/tid=3793] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3793/stat : 3793 (java) S 3781 3783 31640 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140694878985256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3794] ppid=3781 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/3783/task/3794/stat : 3794 (java) S 3781 3783 31640 0 -1 4202560 31 0 0 0 9 0 0 0 20 0 19 0 291550711 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140694396037224 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3783/tid=3795] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3795/stat : 3795 (java) S 3781 3783 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291550712 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140694394983544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3783/tid=3796] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3796/stat : 3796 (java) S 3781 3783 31640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291550712 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140694393930888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3783/tid=3797] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3797/stat : 3797 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140694392879632 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3783/tid=3798] ppid=3781 vsize=9624980 CPUtime=0.34 cores=1,3,5,7
/proc/3783/task/3798/stat : 3798 (java) S 3781 3783 31640 0 -1 4202560 5241 0 0 0 34 0 0 0 20 0 19 0 291550714 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140694391827000 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3799] ppid=3781 vsize=9624980 CPUtime=0.47 cores=1,3,5,7
/proc/3783/task/3799/stat : 3799 (java) S 3781 3783 31640 0 -1 4202560 8408 0 0 0 45 2 0 0 20 0 19 0 291550714 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140694390774456 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3800] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3800/stat : 3800 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140694389722104 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3783/tid=3801] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3801/stat : 3801 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140694388669768 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3802] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3802/stat : 3802 (java) S 3781 3783 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291550726 9855979520 14457 33554432000 1073741824 1073778376 140733718028144 140694387614504 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.96
Current children cumulated vsize (KiB) 9624980

[startup+6.30062 s]
/proc/loadavg: 2.15 2.07 2.02 3/214 3802
/proc/meminfo: memFree=29451856/32873844 swapFree=7628/7628
[pid=3783] ppid=3781 vsize=9624980 CPUtime=7.26 cores=1,3,5,7
/proc/3783/stat : 3783 (java) S 3781 3783 31640 0 -1 4202496 17409 0 1 0 722 4 0 0 20 0 19 0 291550709 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140733718019280 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3783/statm: 2406245 14312 2273 9 0 2396937 0
[pid=3783/tid=3785] ppid=3781 vsize=9624980 CPUtime=5.97 cores=1,3,5,7
/proc/3783/task/3785/stat : 3785 (java) R 3781 3783 31640 0 -1 4202560 2483 0 1 0 595 2 0 0 20 0 19 0 291550709 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140695042630040 140694891446726 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3783/tid=3786] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3786/stat : 3786 (java) S 3781 3783 31640 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140695015082152 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3783/tid=3787] ppid=3781 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/3783/task/3787/stat : 3787 (java) S 3781 3783 31640 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 291550710 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140695014029608 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3783/tid=3788] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3788/stat : 3788 (java) S 3781 3783 31640 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140695012977064 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3783/tid=3789] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3789/stat : 3789 (java) S 3781 3783 31640 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140695011924520 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3790] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3790/stat : 3790 (java) S 3781 3783 31640 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140695010871976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3783/tid=3791] ppid=3781 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/3783/task/3791/stat : 3791 (java) S 3781 3783 31640 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 291550710 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140695009819432 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3783/tid=3792] ppid=3781 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/3783/task/3792/stat : 3792 (java) S 3781 3783 31640 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 291550710 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140694880037800 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3783/tid=3793] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3793/stat : 3793 (java) S 3781 3783 31640 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291550710 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140694878985256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3794] ppid=3781 vsize=9624980 CPUtime=0.22 cores=1,3,5,7
/proc/3783/task/3794/stat : 3794 (java) S 3781 3783 31640 0 -1 4202560 31 0 0 0 22 0 0 0 20 0 19 0 291550711 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140694396037224 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3783/tid=3795] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3795/stat : 3795 (java) S 3781 3783 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291550712 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140694394983544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3783/tid=3796] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3796/stat : 3796 (java) S 3781 3783 31640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291550712 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140694393930888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3783/tid=3797] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3797/stat : 3797 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140694392879632 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3783/tid=3798] ppid=3781 vsize=9624980 CPUtime=0.35 cores=1,3,5,7
/proc/3783/task/3798/stat : 3798 (java) S 3781 3783 31640 0 -1 4202560 5241 0 0 0 35 0 0 0 20 0 19 0 291550714 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140694391827000 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3799] ppid=3781 vsize=9624980 CPUtime=0.51 cores=1,3,5,7
/proc/3783/task/3799/stat : 3799 (java) S 3781 3783 31640 0 -1 4202560 8409 0 0 0 49 2 0 0 20 0 19 0 291550714 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140694390774456 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3800] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3800/stat : 3800 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140694389722104 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3783/tid=3801] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3801/stat : 3801 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140694388669768 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3802] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3802/stat : 3802 (java) S 3781 3783 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291550726 9855979520 14312 33554432000 1073741824 1073778376 140733718028144 140694387614504 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 7.26
Current children cumulated vsize (KiB) 9624980

[startup+12.7006 s]

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

/proc/3783/task/3793/stat : 3793 (java) S 3781 3783 31640 0 -1 4202560 26 0 0 0 7 0 0 0 20 0 19 0 291550710 9855979520 16580 33554432000 1073741824 1073778376 140733718028144 140694878985256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3794] ppid=3781 vsize=9624980 CPUtime=1.26 cores=1,3,5,7
/proc/3783/task/3794/stat : 3794 (java) S 3781 3783 31640 0 -1 4202560 63 0 0 0 126 0 0 0 20 0 19 0 291550711 9855979520 16580 33554432000 1073741824 1073778376 140733718028144 140694396037224 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3783/tid=3795] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3795/stat : 3795 (java) S 3781 3783 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291550712 9855979520 16580 33554432000 1073741824 1073778376 140733718028144 140694394983544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3783/tid=3796] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3796/stat : 3796 (java) S 3781 3783 31640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291550712 9855979520 16580 33554432000 1073741824 1073778376 140733718028144 140694393930888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3783/tid=3797] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3797/stat : 3797 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 16580 33554432000 1073741824 1073778376 140733718028144 140694392879632 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3783/tid=3798] ppid=3781 vsize=9624980 CPUtime=0.42 cores=1,3,5,7
/proc/3783/task/3798/stat : 3798 (java) S 3781 3783 31640 0 -1 4202560 5281 0 0 0 42 0 0 0 20 0 19 0 291550714 9855979520 16580 33554432000 1073741824 1073778376 140733718028144 140694391827000 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3799] ppid=3781 vsize=9624980 CPUtime=1.3 cores=1,3,5,7
/proc/3783/task/3799/stat : 3799 (java) S 3781 3783 31640 0 -1 4202560 18852 0 0 0 128 2 0 0 20 0 19 0 291550714 9855979520 16580 33554432000 1073741824 1073778376 140733718028144 140694390774456 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3783/tid=3800] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3800/stat : 3800 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 16580 33554432000 1073741824 1073778376 140733718028144 140694389722104 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3783/tid=3801] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3801/stat : 3801 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 16580 33554432000 1073741824 1073778376 140733718028144 140694388669768 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3802] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3802/stat : 3802 (java) S 3781 3783 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291550726 9855979520 16580 33554432000 1073741824 1073778376 140733718028144 140694387614504 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 34.15
Current children cumulated vsize (KiB) 9624980

[startup+33.5006 s]
/proc/loadavg: 2.15 2.08 2.02 3/214 3802
/proc/meminfo: memFree=29443344/32873844 swapFree=7628/7628
[pid=3783] ppid=3781 vsize=9624980 CPUtime=35.75 cores=1,3,5,7
/proc/3783/stat : 3783 (java) S 3781 3783 31640 0 -1 4202496 28070 0 1 0 3565 10 0 0 20 0 19 0 291550709 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140733718019280 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3783/statm: 2406245 16583 2274 9 0 2396937 0
[pid=3783/tid=3785] ppid=3781 vsize=9624980 CPUtime=31.76 cores=1,3,5,7
/proc/3783/task/3785/stat : 3785 (java) R 3781 3783 31640 0 -1 4202560 2579 0 1 0 3174 2 0 0 20 0 19 0 291550709 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140695042629920 140694891433244 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3783/tid=3786] ppid=3781 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/3783/task/3786/stat : 3786 (java) S 3781 3783 31640 0 -1 4202560 20 0 0 0 9 0 0 0 20 0 19 0 291550710 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140695015082152 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3783/tid=3787] ppid=3781 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/3783/task/3787/stat : 3787 (java) S 3781 3783 31640 0 -1 4202560 11 0 0 0 9 0 0 0 20 0 19 0 291550710 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140695014029608 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3783/tid=3788] ppid=3781 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/3783/task/3788/stat : 3788 (java) S 3781 3783 31640 0 -1 4202560 9 0 0 0 9 0 0 0 20 0 19 0 291550710 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140695012977064 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3783/tid=3789] ppid=3781 vsize=9624980 CPUtime=0.07 cores=1,3,5,7
/proc/3783/task/3789/stat : 3789 (java) S 3781 3783 31640 0 -1 4202560 17 0 0 0 7 0 0 0 20 0 19 0 291550710 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140695011924520 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3783/tid=3790] ppid=3781 vsize=9624980 CPUtime=0.08 cores=1,3,5,7
/proc/3783/task/3790/stat : 3790 (java) S 3781 3783 31640 0 -1 4202560 10 0 0 0 8 0 0 0 20 0 19 0 291550710 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140695010871976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3783/tid=3791] ppid=3781 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/3783/task/3791/stat : 3791 (java) S 3781 3783 31640 0 -1 4202560 11 0 0 0 10 0 0 0 20 0 19 0 291550710 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140695009819432 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3783/tid=3792] ppid=3781 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/3783/task/3792/stat : 3792 (java) S 3781 3783 31640 0 -1 4202560 10 0 0 0 10 0 0 0 20 0 19 0 291550710 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140694880037800 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3793] ppid=3781 vsize=9624980 CPUtime=0.07 cores=1,3,5,7
/proc/3783/task/3793/stat : 3793 (java) S 3781 3783 31640 0 -1 4202560 26 0 0 0 7 0 0 0 20 0 19 0 291550710 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140694878985256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3794] ppid=3781 vsize=9624980 CPUtime=1.31 cores=1,3,5,7
/proc/3783/task/3794/stat : 3794 (java) S 3781 3783 31640 0 -1 4202560 63 0 0 0 131 0 0 0 20 0 19 0 291550711 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140694396037224 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3783/tid=3795] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3795/stat : 3795 (java) S 3781 3783 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291550712 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140694394983544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3783/tid=3796] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3796/stat : 3796 (java) S 3781 3783 31640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291550712 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140694393930888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3783/tid=3797] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3797/stat : 3797 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140694392879632 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3783/tid=3798] ppid=3781 vsize=9624980 CPUtime=0.42 cores=1,3,5,7
/proc/3783/task/3798/stat : 3798 (java) S 3781 3783 31640 0 -1 4202560 5281 0 0 0 42 0 0 0 20 0 19 0 291550714 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140694391827000 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3799] ppid=3781 vsize=9624980 CPUtime=1.3 cores=1,3,5,7
/proc/3783/task/3799/stat : 3799 (java) S 3781 3783 31640 0 -1 4202560 18852 0 0 0 128 2 0 0 20 0 19 0 291550714 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140694390774456 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3783/tid=3800] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3800/stat : 3800 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140694389722104 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3783/tid=3801] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3801/stat : 3801 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140694388669768 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3802] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3802/stat : 3802 (java) S 3781 3783 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291550726 9855979520 16583 33554432000 1073741824 1073778376 140733718028144 140694387614504 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 35.75
Current children cumulated vsize (KiB) 9624980

[startup+33.9006 s]
/proc/loadavg: 2.15 2.08 2.02 3/214 3802
/proc/meminfo: memFree=29443344/32873844 swapFree=7628/7628
[pid=3783] ppid=3781 vsize=9624980 CPUtime=36.18 cores=1,3,5,7
/proc/3783/stat : 3783 (java) S 3781 3783 31640 0 -1 4202496 28076 0 1 0 3608 10 0 0 20 0 19 0 291550709 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140733718019280 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3783/statm: 2406245 16307 2274 9 0 2396937 0
[pid=3783/tid=3785] ppid=3781 vsize=9624980 CPUtime=32.13 cores=1,3,5,7
/proc/3783/task/3785/stat : 3785 (java) R 3781 3783 31640 0 -1 4202560 2581 0 1 0 3211 2 0 0 20 0 19 0 291550709 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140695042630040 140694891500561 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3783/tid=3786] ppid=3781 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/3783/task/3786/stat : 3786 (java) S 3781 3783 31640 0 -1 4202560 20 0 0 0 9 0 0 0 20 0 19 0 291550710 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140695015082152 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3783/tid=3787] ppid=3781 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/3783/task/3787/stat : 3787 (java) S 3781 3783 31640 0 -1 4202560 11 0 0 0 9 0 0 0 20 0 19 0 291550710 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140695014029608 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3783/tid=3788] ppid=3781 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/3783/task/3788/stat : 3788 (java) S 3781 3783 31640 0 -1 4202560 9 0 0 0 9 0 0 0 20 0 19 0 291550710 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140695012977064 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3783/tid=3789] ppid=3781 vsize=9624980 CPUtime=0.08 cores=1,3,5,7
/proc/3783/task/3789/stat : 3789 (java) S 3781 3783 31640 0 -1 4202560 17 0 0 0 8 0 0 0 20 0 19 0 291550710 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140695011924520 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3783/tid=3790] ppid=3781 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/3783/task/3790/stat : 3790 (java) S 3781 3783 31640 0 -1 4202560 10 0 0 0 9 0 0 0 20 0 19 0 291550710 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140695010871976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3791] ppid=3781 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/3783/task/3791/stat : 3791 (java) S 3781 3783 31640 0 -1 4202560 11 0 0 0 10 0 0 0 20 0 19 0 291550710 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140695009819432 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3783/tid=3792] ppid=3781 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/3783/task/3792/stat : 3792 (java) S 3781 3783 31640 0 -1 4202560 10 0 0 0 10 0 0 0 20 0 19 0 291550710 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694880037800 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3793] ppid=3781 vsize=9624980 CPUtime=0.07 cores=1,3,5,7
/proc/3783/task/3793/stat : 3793 (java) S 3781 3783 31640 0 -1 4202560 26 0 0 0 7 0 0 0 20 0 19 0 291550710 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694878985256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3794] ppid=3781 vsize=9624980 CPUtime=1.33 cores=1,3,5,7
/proc/3783/task/3794/stat : 3794 (java) S 3781 3783 31640 0 -1 4202560 65 0 0 0 133 0 0 0 20 0 19 0 291550711 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694396037224 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3795] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3795/stat : 3795 (java) S 3781 3783 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291550712 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694394983544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3783/tid=3796] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3796/stat : 3796 (java) S 3781 3783 31640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291550712 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694393930888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3783/tid=3797] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3797/stat : 3797 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694392879632 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3783/tid=3798] ppid=3781 vsize=9624980 CPUtime=0.42 cores=1,3,5,7
/proc/3783/task/3798/stat : 3798 (java) S 3781 3783 31640 0 -1 4202560 5281 0 0 0 42 0 0 0 20 0 19 0 291550714 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694391827000 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3799] ppid=3781 vsize=9624980 CPUtime=1.31 cores=1,3,5,7
/proc/3783/task/3799/stat : 3799 (java) S 3781 3783 31640 0 -1 4202560 18852 0 0 0 129 2 0 0 20 0 19 0 291550714 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694390774456 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3783/tid=3800] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3800/stat : 3800 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694389722104 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3783/tid=3801] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3801/stat : 3801 (java) S 3781 3783 31640 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694388669768 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3802] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3802/stat : 3802 (java) S 3781 3783 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291550726 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694387614504 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 36.18
Current children cumulated vsize (KiB) 9624980

[startup+34.1072 s]
/proc/loadavg: 2.15 2.08 2.02 3/214 3802
/proc/meminfo: memFree=29443716/32873844 swapFree=7628/7628
[pid=3783] ppid=3781 vsize=9624980 CPUtime=36.39 cores=1,3,5,7
/proc/3783/stat : 3783 (java) S 3781 3783 31640 0 -1 4202496 28077 0 1 0 3629 10 0 0 20 0 19 0 291550709 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140733718019280 254753669181 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/3783/statm: 2406245 16307 2274 9 0 2396937 0
[pid=3783/tid=3785] ppid=3781 vsize=9624980 CPUtime=32.32 cores=1,3,5,7
/proc/3783/task/3785/stat : 3785 (java) R 3781 3783 31640 0 -1 4202560 2582 0 1 0 3230 2 0 0 20 0 19 0 291550709 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140695042630040 140694891433330 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=3783/tid=3786] ppid=3781 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/3783/task/3786/stat : 3786 (java) S 3781 3783 31640 0 -1 4202560 20 0 0 0 9 0 0 0 20 0 19 0 291550710 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140695015082152 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3783/tid=3787] ppid=3781 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/3783/task/3787/stat : 3787 (java) S 3781 3783 31640 0 -1 4202560 11 0 0 0 9 0 0 0 20 0 19 0 291550710 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140695014029608 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3783/tid=3788] ppid=3781 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/3783/task/3788/stat : 3788 (java) S 3781 3783 31640 0 -1 4202560 9 0 0 0 9 0 0 0 20 0 19 0 291550710 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140695012977064 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3783/tid=3789] ppid=3781 vsize=9624980 CPUtime=0.08 cores=1,3,5,7
/proc/3783/task/3789/stat : 3789 (java) S 3781 3783 31640 0 -1 4202560 17 0 0 0 8 0 0 0 20 0 19 0 291550710 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140695011924520 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3783/tid=3790] ppid=3781 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/3783/task/3790/stat : 3790 (java) S 3781 3783 31640 0 -1 4202560 10 0 0 0 9 0 0 0 20 0 19 0 291550710 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140695010871976 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3791] ppid=3781 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/3783/task/3791/stat : 3791 (java) S 3781 3783 31640 0 -1 4202560 11 0 0 0 10 0 0 0 20 0 19 0 291550710 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140695009819432 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3783/tid=3792] ppid=3781 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/3783/task/3792/stat : 3792 (java) S 3781 3783 31640 0 -1 4202560 10 0 0 0 10 0 0 0 20 0 19 0 291550710 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694880037800 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3793] ppid=3781 vsize=9624980 CPUtime=0.07 cores=1,3,5,7
/proc/3783/task/3793/stat : 3793 (java) S 3781 3783 31640 0 -1 4202560 26 0 0 0 7 0 0 0 20 0 19 0 291550710 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694878985256 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3794] ppid=3781 vsize=9624980 CPUtime=1.35 cores=1,3,5,7
/proc/3783/task/3794/stat : 3794 (java) S 3781 3783 31640 0 -1 4202560 65 0 0 0 135 0 0 0 20 0 19 0 291550711 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694396037224 254753683369 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3795] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3795/stat : 3795 (java) S 3781 3783 31640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291550712 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694394983544 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3783/tid=3796] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3796/stat : 3796 (java) S 3781 3783 31640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291550712 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694393930888 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3783/tid=3797] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3797/stat : 3797 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694392879632 254753691424 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3783/tid=3798] ppid=3781 vsize=9624980 CPUtime=0.42 cores=1,3,5,7
/proc/3783/task/3798/stat : 3798 (java) S 3781 3783 31640 0 -1 4202560 5281 0 0 0 42 0 0 0 20 0 19 0 291550714 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694391827000 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3799] ppid=3781 vsize=9624980 CPUtime=1.31 cores=1,3,5,7
/proc/3783/task/3799/stat : 3799 (java) S 3781 3783 31640 0 -1 4202560 18852 0 0 0 129 2 0 0 20 0 19 0 291550714 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694390774456 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3783/tid=3800] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3800/stat : 3800 (java) S 3781 3783 31640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694389722104 254753682492 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3783/tid=3801] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3801/stat : 3801 (java) S 3781 3783 31640 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291550714 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694388669768 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3783/tid=3802] ppid=3781 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/3783/task/3802/stat : 3802 (java) S 3781 3783 31640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291550726 9855979520 16307 33554432000 1073741824 1073778376 140733718028144 140694387614504 254753683369 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 36.39
Current children cumulated vsize (KiB) 9624980

Child status: 30

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 3783 and gives
#  childrusage.ru_utime.tv_sec=36
#  childrusage.ru_utime.tv_usec=198496
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=160975
# CPU time returned by wait4() is 36.3595
# while last known CPU time is 36.39
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 34.1231
CPU time (s): 36.39
CPU user time (s): 36.29
CPU system time (s): 0.1
CPU usage (%): 106.643
Max. virtual memory (cumulated for all children) (KiB): 9626700

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 36.1985
system time used= 0.160975
maximum resident set size= 71928
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28091
page faults= 1
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 4253
involuntary context switches= 3261

runsolver used 0.116982 second user time and 0.215967 second system time

The end

Launcher Data

Begin job on node145 at 2012-05-29 03:17:43
IDJOB=3718453
IDBENCH=79251
IDSOLVER=2301
FILE ID=node145/3718453-1338254263
RUNJOBID= node145-1338246945-1113
PBS_JOBID= 14624633
Free space on /tmp= 71540 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111227012--soft-0-100-0.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718453-1338254263/watcher-3718453-1338254263 -o /tmp/evaluation-result-3718453-1338254263/solver-3718453-1338254263 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718453-1338254263.wbo

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

MD5SUM BENCH= 3f56278c0c7f2898f6b9e11f0d13a6fa
RANDOM SEED=1978809448

node145.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.149
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.29
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.149
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.149
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	: 5313.38
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.149
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.91
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.149
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.149
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.149
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.149
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.89
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        29502408 kB
Buffers:          393680 kB
Cached:          1901992 kB
SwapCached:            0 kB
Active:          1001056 kB
Inactive:        1521876 kB
Active(anon):     218492 kB
Inactive(anon):    10912 kB
Active(file):     782564 kB
Inactive(file):  1510964 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               120 kB
Writeback:             0 kB
AnonPages:        258616 kB
Mapped:            22368 kB
Shmem:               200 kB
Slab:             708744 kB
SReclaimable:     149976 kB
SUnreclaim:       558768 kB
KernelStack:        1768 kB
PageTables:         4276 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     698776 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    227328 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= 71536 MiB
End job on node145 at 2012-05-29 03:18:18