Trace number 3718427

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 22.7225 21.0143

General information on the benchmark

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

Quality of the solution as a function of time


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

Solver Data 

0.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.09	c version 2.3.2.v20120528
0.03/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.09	c java.vm.version	19.1-b02
0.03/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.09	c sun.arch.data.model	64
0.03/0.09	c java.version		1.6.0_24
0.03/0.09	c os.name		Linux
0.03/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.09	c os.arch		amd64
0.03/0.09	c Free memory 		501472288
0.03/0.09	c Max memory 		7480803328
0.03/0.09	c Total memory 		504102912
0.03/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-3718427-1338254178.wbo
0.09/0.11	c reading problem ... 
0.09/0.16	c ... done. Wall clock time 0.053s.
0.09/0.16	c declared #vars     169
0.09/0.16	c internal #vars     270
0.09/0.16	c #constraints  101
0.09/0.16	c constraints type 
0.09/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
0.09/0.16	c ignored satisfied constraints => 1
0.09/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
0.09/0.16	c 102 constraints processed.
0.09/0.16	c objective function length is 101 literals
0.25/0.22	c SATISFIABLE
0.25/0.22	c OPTIMIZING...
0.25/0.22	c Got one! Elapsed wall clock time (in seconds):0.105
0.25/0.22	o 704
0.25/0.24	c Got one! Elapsed wall clock time (in seconds):0.131
0.25/0.24	o 697
0.25/0.26	c Got one! Elapsed wall clock time (in seconds):0.144
0.25/0.26	o 682
0.25/0.26	c Got one! Elapsed wall clock time (in seconds):0.151
0.25/0.26	o 665
0.25/0.27	c Got one! Elapsed wall clock time (in seconds):0.16
0.25/0.27	o 658
0.25/0.28	c Got one! Elapsed wall clock time (in seconds):0.172
0.25/0.28	o 634
0.25/0.29	c Got one! Elapsed wall clock time (in seconds):0.179
0.25/0.29	o 595
0.50/0.30	c Got one! Elapsed wall clock time (in seconds):0.187
0.50/0.30	o 482
0.50/0.31	c Got one! Elapsed wall clock time (in seconds):0.198
0.50/0.31	o 446
0.50/0.32	c Got one! Elapsed wall clock time (in seconds):0.212
0.50/0.32	o 421
0.50/0.33	c Got one! Elapsed wall clock time (in seconds):0.219
0.50/0.33	o 410
0.50/0.34	c Got one! Elapsed wall clock time (in seconds):0.226
0.50/0.34	o 392
0.50/0.35	c Got one! Elapsed wall clock time (in seconds):0.238
0.50/0.35	o 369
0.50/0.38	c Got one! Elapsed wall clock time (in seconds):0.271
0.50/0.38	o 367
0.67/0.40	c Got one! Elapsed wall clock time (in seconds):0.29
0.67/0.40	o 344
0.67/0.41	c Got one! Elapsed wall clock time (in seconds):0.299
0.67/0.41	o 342
0.67/0.43	c Got one! Elapsed wall clock time (in seconds):0.323
0.67/0.43	o 335
0.67/0.45	c Got one! Elapsed wall clock time (in seconds):0.344
0.67/0.45	o 332
0.67/0.47	c Got one! Elapsed wall clock time (in seconds):0.361
0.67/0.47	o 329
0.81/0.53	c Got one! Elapsed wall clock time (in seconds):0.422
0.81/0.53	o 326
0.81/0.57	c Got one! Elapsed wall clock time (in seconds):0.457
0.81/0.57	o 320
0.81/0.59	c Got one! Elapsed wall clock time (in seconds):0.477
0.81/0.59	o 319
0.91/0.60	c Got one! Elapsed wall clock time (in seconds):0.488
0.91/0.60	o 318
0.91/0.61	c Got one! Elapsed wall clock time (in seconds):0.498
0.91/0.61	o 250
1.18/0.70	c Got one! Elapsed wall clock time (in seconds):0.593
1.18/0.70	o 249
1.18/0.75	c Got one! Elapsed wall clock time (in seconds):0.638
1.18/0.75	o 246
1.18/0.77	c Got one! Elapsed wall clock time (in seconds):0.654
1.18/0.77	o 241
1.30/0.83	c cleaning 7582 clauses out of 15177 with flag 3829/15177
1.43/0.94	c Got one! Elapsed wall clock time (in seconds):0.826
1.43/0.94	o 239
1.43/0.96	c Got one! Elapsed wall clock time (in seconds):0.847
1.43/0.96	o 223
1.54/1.04	c Got one! Elapsed wall clock time (in seconds):0.928
1.54/1.04	o 221
1.54/1.05	c Got one! Elapsed wall clock time (in seconds):0.941
1.54/1.05	o 215
1.54/1.07	c Got one! Elapsed wall clock time (in seconds):0.956
1.54/1.07	o 213
1.64/1.11	c cleaning 7646 clauses out of 15293 with flag 3767/22875
1.64/1.16	c Got one! Elapsed wall clock time (in seconds):1.047
1.64/1.16	o 211
1.81/1.20	c Got one! Elapsed wall clock time (in seconds):1.092
1.81/1.20	o 210
1.81/1.24	c Got one! Elapsed wall clock time (in seconds):1.127
1.81/1.24	o 206
1.91/1.32	c Got one! Elapsed wall clock time (in seconds):1.213
1.91/1.32	o 192
1.91/1.37	c cleaning 7215 clauses out of 14459 with flag 4997/29687
2.04/1.48	c Got one! Elapsed wall clock time (in seconds):1.366
2.04/1.48	o 191
2.14/1.50	c Got one! Elapsed wall clock time (in seconds):1.392
2.14/1.50	o 185
2.14/1.58	c cleaning 6650 clauses out of 13305 with flag 7699/35748
2.14/1.60	c Got one! Elapsed wall clock time (in seconds):1.485
2.14/1.60	o 184
2.40/1.77	c cleaning 5875 clauses out of 11754 with flag 21884/40847
2.50/1.81	c Got one! Elapsed wall clock time (in seconds):1.694
2.50/1.81	o 176
2.60/1.92	c Got one! Elapsed wall clock time (in seconds):1.806
2.60/1.92	o 175
2.60/1.99	c cleaning 6015 clauses out of 12039 with flag 9878/47007
2.70/2.08	c Got one! Elapsed wall clock time (in seconds):1.966
2.70/2.08	o 174
2.70/2.09	c Got one! Elapsed wall clock time (in seconds):1.979
2.70/2.09	o 169
2.80/2.12	c Got one! Elapsed wall clock time (in seconds):2.01
2.80/2.12	o 160
2.80/2.19	c Got one! Elapsed wall clock time (in seconds):2.078
2.80/2.19	o 159
2.90/2.27	c cleaning 6785 clauses out of 13580 with flag 9991/54563
3.01/2.38	c Got one! Elapsed wall clock time (in seconds):2.273
3.01/2.38	o 157
3.11/2.49	c cleaning 6248 clauses out of 12511 with flag 17138/60279
3.22/2.58	c Got one! Elapsed wall clock time (in seconds):2.472
3.22/2.58	o 156
3.32/2.69	c cleaning 5845 clauses out of 11705 with flag 15891/65721
3.43/2.75	c Got one! Elapsed wall clock time (in seconds):2.64
3.43/2.75	o 155
3.54/2.89	c cleaning 5762 clauses out of 11541 with flag 20415/71402
3.74/3.01	c Got one! Elapsed wall clock time (in seconds):2.901
3.74/3.01	o 140
3.74/3.05	c Got one! Elapsed wall clock time (in seconds):2.942
3.74/3.05	o 132
3.74/3.09	c cleaning 5938 clauses out of 11884 with flag 4789/77507
3.86/3.15	c Got one! Elapsed wall clock time (in seconds):3.039
3.86/3.15	o 131
3.98/3.22	c Got one! Elapsed wall clock time (in seconds):3.113
3.98/3.22	o 107
4.08/3.32	c cleaning 5663 clauses out of 11328 with flag 11151/82889
4.08/3.36	c Got one! Elapsed wall clock time (in seconds):3.245
4.08/3.36	o 106
4.26/3.48	c Got one! Elapsed wall clock time (in seconds):3.369
4.26/3.48	o 105
4.37/3.58	c cleaning 5765 clauses out of 11548 with flag 11726/88772
4.71/3.74	c Got one! Elapsed wall clock time (in seconds):3.629
4.71/3.74	o 103
4.71/3.80	c cleaning 5657 clauses out of 11324 with flag 5778/94313
5.27/4.00	c cleaning 5822 clauses out of 11667 with flag 34473/100313
5.37/4.12	c Got one! Elapsed wall clock time (in seconds):4.007
5.37/4.12	o 93
5.37/4.19	c cleaning 5478 clauses out of 10977 with flag 10426/105445
5.58/4.39	c cleaning 5743 clauses out of 11501 with flag 39220/111447
5.68/4.48	c Got one! Elapsed wall clock time (in seconds):4.373
5.68/4.48	o 92
5.77/4.53	c Got one! Elapsed wall clock time (in seconds):4.424
5.77/4.53	o 86
5.87/4.61	c cleaning 5989 clauses out of 11993 with flag 8654/117682
5.97/4.74	c Got one! Elapsed wall clock time (in seconds):4.625
5.97/4.74	o 83
6.08/4.82	c cleaning 5691 clauses out of 11388 with flag 8098/123066
6.08/4.85	c Got one! Elapsed wall clock time (in seconds):4.742
6.08/4.85	o 82
6.18/4.91	c Got one! Elapsed wall clock time (in seconds):4.799
6.18/4.91	o 79
6.28/5.07	c cleaning 5963 clauses out of 11945 with flag 23118/129314
6.49/5.22	c Got one! Elapsed wall clock time (in seconds):5.106
6.49/5.22	o 75
6.49/5.26	c cleaning 5616 clauses out of 11247 with flag 5707/134579
6.69/5.46	c cleaning 5804 clauses out of 11630 with flag 35838/140578
6.89/5.66	c Got one! Elapsed wall clock time (in seconds):5.546
6.89/5.66	o 73
7.09/5.85	c cleaning 8144 clauses out of 16302 with flag 29844/151054
7.19/5.94	c Got one! Elapsed wall clock time (in seconds):5.83
7.19/5.94	o 65
7.29/6.07	c cleaning 6789 clauses out of 13587 with flag 18109/156483
7.59/6.30	c cleaning 6382 clauses out of 12798 with flag 49310/162483
7.80/6.55	c cleaning 6701 clauses out of 13417 with flag 85586/169484
7.90/6.64	c Got one! Elapsed wall clock time (in seconds):6.53
7.90/6.64	o 63
7.90/6.66	c Got one! Elapsed wall clock time (in seconds):6.547
7.90/6.66	o 61
8.00/6.71	c Got one! Elapsed wall clock time (in seconds):6.594
8.00/6.71	o 52
8.00/6.78	c cleaning 6391 clauses out of 12801 with flag 8181/175569
8.20/6.90	c Got one! Elapsed wall clock time (in seconds):6.789
8.20/6.90	o 49
8.20/6.97	c cleaning 5968 clauses out of 11941 with flag 8259/181100
8.30/7.06	c Got one! Elapsed wall clock time (in seconds):6.948
8.30/7.06	o 47
8.40/7.17	c cleaning 5736 clauses out of 11484 with flag 18450/186611
8.60/7.33	c Got one! Elapsed wall clock time (in seconds):7.217
8.60/7.33	o 45
8.60/7.37	c cleaning 5622 clauses out of 11254 with flag 5934/192117
8.80/7.58	c cleaning 5806 clauses out of 11631 with flag 38994/198116
8.91/7.61	c Got one! Elapsed wall clock time (in seconds):7.499
8.91/7.61	o 42
9.01/7.79	c cleaning 5738 clauses out of 11494 with flag 30241/203785
9.31/8.01	c cleaning 5872 clauses out of 11759 with flag 63983/209788
9.31/8.06	c Got one! Elapsed wall clock time (in seconds):7.948
9.31/8.06	o 41
9.51/8.20	c cleaning 5761 clauses out of 11548 with flag 21933/215449
9.72/8.40	c cleaning 5877 clauses out of 11787 with flag 54437/221449
9.93/8.64	c cleaning 6450 clauses out of 12912 with flag 90301/228451
10.15/8.80	c Got one! Elapsed wall clock time (in seconds):8.692
10.15/8.80	o 38
10.24/8.99	c cleaning 8662 clauses out of 17352 with flag 25913/239341
10.56/9.22	c cleaning 7325 clauses out of 14690 with flag 56866/245341
10.77/9.48	c cleaning 7172 clauses out of 14365 with flag 94353/252341
11.08/9.75	c cleaning 7585 clauses out of 15192 with flag 135130/260340
11.18/9.85	c Got one! Elapsed wall clock time (in seconds):9.743
11.18/9.85	o 37
11.28/9.93	c cleaning 6367 clauses out of 12752 with flag 10734/265485
11.38/10.01	c Got one! Elapsed wall clock time (in seconds):9.901
11.38/10.01	o 32
11.48/10.12	c cleaning 6114 clauses out of 12242 with flag 17245/271342
11.48/10.17	c Got one! Elapsed wall clock time (in seconds):10.064
11.48/10.17	o 30
11.68/10.32	c cleaning 5976 clauses out of 11968 with flag 23099/277182
11.78/10.49	c cleaning 5993 clauses out of 11995 with flag 48270/283185
11.88/10.51	c Got one! Elapsed wall clock time (in seconds):10.402
11.88/10.51	o 29
12.00/10.67	c cleaning 5525 clauses out of 11064 with flag 25164/288247
12.20/10.81	c Got one! Elapsed wall clock time (in seconds):10.702
12.20/10.81	o 27
12.41/11.01	c cleaning 7937 clauses out of 15881 with flag 30716/298589
12.62/11.21	c cleaning 6964 clauses out of 13944 with flag 58343/304589
12.83/11.44	c cleaning 6988 clauses out of 13982 with flag 88742/311591
12.83/11.46	c Got one! Elapsed wall clock time (in seconds):11.35
12.83/11.46	o 26
13.04/11.65	c cleaning 6213 clauses out of 12434 with flag 31409/317031
13.14/11.77	c Got one! Elapsed wall clock time (in seconds):11.655
13.14/11.77	o 18
13.24/11.81	c cleaning 5645 clauses out of 11303 with flag 6269/322113
13.47/12.01	c cleaning 5811 clauses out of 11656 with flag 36755/328111
13.69/12.26	c cleaning 6415 clauses out of 12849 with flag 72104/335115
14.01/12.53	c cleaning 7202 clauses out of 14430 with flag 111736/343111
14.31/12.80	c cleaning 8109 clauses out of 16228 with flag 150261/352111
14.51/13.09	c cleaning 9056 clauses out of 18119 with flag 189674/362111
14.91/13.43	c cleaning 10032 clauses out of 20063 with flag 233246/373111
15.34/13.82	c cleaning 11007 clauses out of 22031 with flag 284216/385112
15.44/13.90	c Got one! Elapsed wall clock time (in seconds):13.788
15.44/13.90	o 14
15.54/14.02	c cleaning 8229 clauses out of 16469 with flag 18321/390557
15.78/14.25	c cleaning 7109 clauses out of 14240 with flag 52266/396557
16.07/14.50	c cleaning 7057 clauses out of 14132 with flag 90326/403558
16.27/14.76	c cleaning 7530 clauses out of 15074 with flag 131178/411557
16.57/15.01	c Got one! Elapsed wall clock time (in seconds):14.898
16.57/15.01	o 13
16.67/15.18	c cleaning 9939 clauses out of 19881 with flag 23989/423894
16.87/15.31	c Got one! Elapsed wall clock time (in seconds):15.202
16.87/15.31	o 10
16.87/15.36	c cleaning 7684 clauses out of 15388 with flag 6177/429340
17.07/15.56	c cleaning 6840 clauses out of 13703 with flag 36061/435339
17.27/15.70	c Got one! Elapsed wall clock time (in seconds):15.589
17.27/15.70	o 9
17.27/15.75	c cleaning 6101 clauses out of 12218 with flag 6179/440694
17.47/15.94	c cleaning 6050 clauses out of 12117 with flag 38320/446694
17.67/16.14	c cleaning 6529 clauses out of 13065 with flag 70181/453693
17.87/16.35	c Got one! Elapsed wall clock time (in seconds):16.239
17.87/16.35	o 5
18.08/16.54	c cleaning 9522 clauses out of 19053 with flag 30868/466211
18.28/16.76	c cleaning 7766 clauses out of 15531 with flag 63692/472211
18.28/16.80	c Got one! Elapsed wall clock time (in seconds):16.684
18.28/16.80	o 4
18.50/16.98	c cleaning 6743 clauses out of 13495 with flag 31273/477941
18.70/17.19	c cleaning 6345 clauses out of 12750 with flag 64702/483939
19.00/17.41	c cleaning 6696 clauses out of 13407 with flag 99717/490941
19.22/17.67	c cleaning 7341 clauses out of 14708 with flag 135167/498939
19.43/17.85	c Got one! Elapsed wall clock time (in seconds):17.736
19.43/17.85	o 3
19.63/18.06	c cleaning 8956 clauses out of 17938 with flag 29294/509511
19.85/18.29	c cleaning 7477 clauses out of 14981 with flag 62244/515510
20.17/18.56	c cleaning 7245 clauses out of 14507 with flag 99979/522513
20.47/18.86	c cleaning 7627 clauses out of 15260 with flag 143099/530511
20.78/19.17	c cleaning 8302 clauses out of 16630 with flag 187162/539509
21.18/19.55	c cleaning 9158 clauses out of 18327 with flag 238567/549510
21.58/19.97	c cleaning 10077 clauses out of 20164 with flag 296333/560510
22.08/20.44	c cleaning 11026 clauses out of 22084 with flag 357170/572509
22.59/20.96	c cleaning 12022 clauses out of 24053 with flag 426196/585510
22.69/21.01	c starts		: 239
22.69/21.01	c conflicts		: 586159
22.69/21.01	c decisions		: 885103
22.69/21.01	c propagations		: 12591811
22.69/21.01	c inspects		: 153594527
22.69/21.01	c shortcuts		: 0
22.69/21.01	c learnt literals	: 30
22.69/21.01	c learnt binary clauses	: 32
22.69/21.01	c learnt ternary clauses	: 739
22.69/21.01	c learnt constraints	: 586128
22.69/21.01	c ignored constraints	: 0
22.69/21.01	c root simplifications	: 0
22.69/21.01	c removed literals (reason simplification)	: 0
22.69/21.01	c reason swapping (by a shorter reason)	: 0
22.69/21.01	c Calls to reduceDB	: 82
22.69/21.01	c Number of update (reduction) of LBD	: 153263
22.69/21.01	c number of reductions to clauses (during analyze)	: 0
22.69/21.01	c number of learned constraints concerned by reduction	: 0
22.69/21.01	c number of learning phase by resolution	: 0
22.69/21.01	c number of learning phase by cutting planes	: 0
22.69/21.01	c speed (assignments/second)	: 604271.5711680583
22.69/21.01	c non guided choices	5070
22.69/21.01	c learnt constraints type 
22.69/21.01	c constraints type 
22.69/21.01	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
22.69/21.01	c ignored satisfied constraints => 1
22.69/21.01	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
22.69/21.01	c 102 constraints processed.
22.69/21.01	s OPTIMUM FOUND
22.69/21.01	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 
22.69/21.01	c objective function=3
22.69/21.01	c Total wall clock time (in seconds): 20.896

Verifier Data 

OK	3

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

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

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


[startup+0 s]
/proc/loadavg: 2.07 2.06 2.02 3/195 9970
/proc/meminfo: memFree=30806936/32873844 swapFree=7632/7632
[pid=9970] ppid=9968 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/9970/stat : 9970 (java) D 9968 9970 6647 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 291542171 9515008 182 33554432000 1073741824 1073778376 140737410218432 140737410209464 209883840181 0 0 4096 0 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/9970/statm: 2323 182 140 9 0 71 0

[startup+0.0530179 s]
/proc/loadavg: 2.07 2.06 2.02 3/195 9970
/proc/meminfo: memFree=30806936/32873844 swapFree=7632/7632
[pid=9970] ppid=9968 vsize=9225560 CPUtime=0.03 cores=0,2,4,6
/proc/9970/stat : 9970 (java) S 9968 9970 6647 0 -1 4202496 3060 0 1 0 2 1 0 0 20 0 13 0 291542171 9446973440 3759 33554432000 1073741824 1073778376 140733638886784 140733638877920 209887199293 0 0 0 16800971 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9970/statm: 2306390 3759 1707 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560

[startup+0.100295 s]
/proc/loadavg: 2.07 2.06 2.02 3/195 9970
/proc/meminfo: memFree=30806936/32873844 swapFree=7632/7632
[pid=9970] ppid=9968 vsize=9558416 CPUtime=0.09 cores=0,2,4,6
/proc/9970/stat : 9970 (java) S 9968 9970 6647 0 -1 4202496 4291 0 1 0 8 1 0 0 20 0 18 0 291542171 9787817984 5489 33554432000 1073741824 1073778376 140733638886784 140733638877920 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9970/statm: 2389604 5489 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558416

[startup+0.300153 s]
/proc/loadavg: 2.07 2.06 2.02 3/195 9970
/proc/meminfo: memFree=30806936/32873844 swapFree=7632/7632
[pid=9970] ppid=9968 vsize=9624980 CPUtime=0.5 cores=0,2,4,6
/proc/9970/stat : 9970 (java) S 9968 9970 6647 0 -1 4202496 6811 0 1 0 48 2 0 0 20 0 19 0 291542171 9855979520 8026 33554432000 1073741824 1073778376 140733638886784 140733638877920 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9970/statm: 2406245 8026 2233 9 0 2396937 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9624980

[startup+0.700146 s]
/proc/loadavg: 2.07 2.06 2.02 3/195 9970
/proc/meminfo: memFree=30806936/32873844 swapFree=7632/7632
[pid=9970] ppid=9968 vsize=9624980 CPUtime=1.18 cores=0,2,4,6
/proc/9970/stat : 9970 (java) S 9968 9970 6647 0 -1 4202496 11636 0 1 0 115 3 0 0 20 0 19 0 291542171 9855979520 11429 33554432000 1073741824 1073778376 140733638886784 140733638877920 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9970/statm: 2406245 11429 2243 9 0 2396937 0
Current children cumulated CPU time (s) 1.18
Current children cumulated vsize (KiB) 9624980

[startup+1.50074 s]
/proc/loadavg: 2.07 2.06 2.02 3/214 9989
/proc/meminfo: memFree=30759328/32873844 swapFree=7632/7632
[pid=9970] ppid=9968 vsize=9624980 CPUtime=2.14 cores=0,2,4,6
/proc/9970/stat : 9970 (java) S 9968 9970 6647 0 -1 4202496 11883 0 1 0 211 3 0 0 20 0 19 0 291542171 9855979520 14622 33554432000 1073741824 1073778376 140733638886784 140733638877920 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9970/statm: 2406245 14622 2273 9 0 2396937 0
[pid=9970/tid=9972] ppid=9968 vsize=9624980 CPUtime=1.42 cores=0,2,4,6
/proc/9970/task/9972/stat : 9972 (java) R 9968 9970 6647 0 -1 4202560 2460 0 1 0 141 1 0 0 20 0 19 0 291542173 9855979520 14622 33554432000 1073741824 1073778376 140733638886784 139910048285080 139909919098114 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9970/tid=9973] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9973/stat : 9973 (java) S 9968 9970 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291542174 9855979520 14622 33554432000 1073741824 1073778376 140733638886784 139910037347112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9970/tid=9974] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9974/stat : 9974 (java) S 9968 9970 6647 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291542174 9855979520 14622 33554432000 1073741824 1073778376 140733638886784 139909891046056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9970/tid=9975] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9975/stat : 9975 (java) S 9968 9970 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291542174 9855979520 14622 33554432000 1073741824 1073778376 140733638886784 139909889993768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9976] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9976/stat : 9976 (java) S 9968 9970 6647 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291542174 9855979520 14622 33554432000 1073741824 1073778376 140733638886784 139909888940968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9970/tid=9977] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9977/stat : 9977 (java) S 9968 9970 6647 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291542174 9855979520 14622 33554432000 1073741824 1073778376 140733638886784 139909887887656 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9970/tid=9978] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9978/stat : 9978 (java) S 9968 9970 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291542174 9855979520 14622 33554432000 1073741824 1073778376 140733638886784 139909886834856 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9979] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9979/stat : 9979 (java) S 9968 9970 6647 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291542174 9855979520 14622 33554432000 1073741824 1073778376 140733638886784 139909885782568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9970/tid=9980] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9980/stat : 9980 (java) S 9968 9970 6647 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291542174 9855979520 14622 33554432000 1073741824 1073778376 140733638886784 139909884729768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9981] ppid=9968 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/9970/task/9981/stat : 9981 (java) S 9968 9970 6647 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 291542175 9855979520 14622 33554432000 1073741824 1073778376 140733638886784 139909872532200 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9970/tid=9982] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9982/stat : 9982 (java) S 9968 9970 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291542175 9855979520 14622 33554432000 1073741824 1073778376 140733638886784 139909871478264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9983] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9983/stat : 9983 (java) S 9968 9970 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291542175 9855979520 14622 33554432000 1073741824 1073778376 140733638886784 139909870425864 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9984] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9984/stat : 9984 (java) S 9968 9970 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291542178 9855979520 14622 33554432000 1073741824 1073778376 140733638886784 139909869374352 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9985] ppid=9968 vsize=9624980 CPUtime=0.25 cores=0,2,4,6
/proc/9970/task/9985/stat : 9985 (java) S 9968 9970 6647 0 -1 4202560 2921 0 0 0 25 0 0 0 20 0 19 0 291542178 9855979520 14622 33554432000 1073741824 1073778376 140733638886784 139909868320952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9986] ppid=9968 vsize=9624980 CPUtime=0.37 cores=0,2,4,6
/proc/9970/task/9986/stat : 9986 (java) S 9968 9970 6647 0 -1 4202560 5249 0 0 0 35 2 0 0 20 0 19 0 291542178 9855979520 14622 33554432000 1073741824 1073778376 140733638886784 139909867268152 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9987] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9987/stat : 9987 (java) S 9968 9970 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291542178 9855979520 14622 33554432000 1073741824 1073778376 140733638886784 139909866216056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9970/tid=9988] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9988/stat : 9988 (java) S 9968 9970 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291542178 9855979520 14622 33554432000 1073741824 1073778376 140733638886784 139909865163464 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9970/tid=9989] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9989/stat : 9989 (java) S 9968 9970 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291542189 9855979520 14622 33554432000 1073741824 1073778376 140733638886784 139909864109480 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.14
Current children cumulated vsize (KiB) 9624980

[startup+3.10066 s]
/proc/loadavg: 2.07 2.06 2.02 3/214 9989
/proc/meminfo: memFree=30757024/32873844 swapFree=7632/7632
[pid=9970] ppid=9968 vsize=9624980 CPUtime=3.86 cores=0,2,4,6
/proc/9970/stat : 9970 (java) S 9968 9970 6647 0 -1 4202496 11898 0 1 0 383 3 0 0 20 0 19 0 291542171 9855979520 14630 33554432000 1073741824 1073778376 140733638886784 140733638877920 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9970/statm: 2406245 14630 2273 9 0 2396937 0
[pid=9970/tid=9972] ppid=9968 vsize=9624980 CPUtime=2.93 cores=0,2,4,6
/proc/9970/task/9972/stat : 9972 (java) S 9968 9970 6647 0 -1 4202560 2467 0 1 0 292 1 0 0 20 0 19 0 291542173 9855979520 14630 33554432000 1073741824 1073778376 140733638886784 139910048285080 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9970/tid=9973] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9973/stat : 9973 (java) S 9968 9970 6647 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291542174 9855979520 14630 33554432000 1073741824 1073778376 140733638886784 139910037347112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9970/tid=9974] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9974/stat : 9974 (java) S 9968 9970 6647 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291542174 9855979520 14630 33554432000 1073741824 1073778376 140733638886784 139909891046056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9970/tid=9975] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9975/stat : 9975 (java) S 9968 9970 6647 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291542174 9855979520 14630 33554432000 1073741824 1073778376 140733638886784 139909889993768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9976] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9976/stat : 9976 (java) R 9968 9970 6647 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291542174 9855979520 14630 33554432000 1073741824 1073778376 140733638886784 139909888940968 209883794567 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9970/tid=9977] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9977/stat : 9977 (java) R 9968 9970 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291542174 9855979520 14630 33554432000 1073741824 1073778376 140733638886784 139909887887656 209883794567 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9970/tid=9978] ppid=9968 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/9970/task/9978/stat : 9978 (java) R 9968 9970 6647 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 291542174 9855979520 14630 33554432000 1073741824 1073778376 140733638886784 139909886834856 209887212604 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9970/tid=9979] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9979/stat : 9979 (java) S 9968 9970 6647 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291542174 9855979520 14630 33554432000 1073741824 1073778376 140733638886784 139909885782568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9970/tid=9980] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9980/stat : 9980 (java) S 9968 9970 6647 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291542174 9855979520 14630 33554432000 1073741824 1073778376 140733638886784 139909884729768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9981] ppid=9968 vsize=9624980 CPUtime=0.07 cores=0,2,4,6
/proc/9970/task/9981/stat : 9981 (java) S 9968 9970 6647 0 -1 4202560 31 0 0 0 7 0 0 0 20 0 19 0 291542175 9855979520 14630 33554432000 1073741824 1073778376 140733638886784 139909872531176 209887212604 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9982] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9982/stat : 9982 (java) S 9968 9970 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291542175 9855979520 14630 33554432000 1073741824 1073778376 140733638886784 139909871478264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9983] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9983/stat : 9983 (java) S 9968 9970 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291542175 9855979520 14630 33554432000 1073741824 1073778376 140733638886784 139909870425864 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9984] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9984/stat : 9984 (java) S 9968 9970 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291542178 9855979520 14630 33554432000 1073741824 1073778376 140733638886784 139909869374352 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9985] ppid=9968 vsize=9624980 CPUtime=0.25 cores=0,2,4,6
/proc/9970/task/9985/stat : 9985 (java) S 9968 9970 6647 0 -1 4202560 2921 0 0 0 25 0 0 0 20 0 19 0 291542178 9855979520 14630 33554432000 1073741824 1073778376 140733638886784 139909868320952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9970/tid=9986] ppid=9968 vsize=9624980 CPUtime=0.44 cores=0,2,4,6
/proc/9970/task/9986/stat : 9986 (java) S 9968 9970 6647 0 -1 4202560 5249 0 0 0 42 2 0 0 20 0 19 0 291542178 9855979520 14630 33554432000 1073741824 1073778376 140733638886784 139909867268152 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9987] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9987/stat : 9987 (java) S 9968 9970 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291542178 9855979520 14630 33554432000 1073741824 1073778376 140733638886784 139909866216056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9970/tid=9988] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9988/stat : 9988 (java) S 9968 9970 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291542178 9855979520 14630 33554432000 1073741824 1073778376 140733638886784 139909865163464 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9970/tid=9989] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9989/stat : 9989 (java) S 9968 9970 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291542189 9855979520 14630 33554432000 1073741824 1073778376 140733638886784 139909864109480 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.86
Current children cumulated vsize (KiB) 9624980

[startup+6.30061 s]
/proc/loadavg: 2.07 2.06 2.02 3/214 9989
/proc/meminfo: memFree=30743936/32873844 swapFree=7632/7632
[pid=9970] ppid=9968 vsize=9624980 CPUtime=7.59 cores=0,2,4,6
/proc/9970/stat : 9970 (java) S 9968 9970 6647 0 -1 4202496 17166 0 1 0 754 5 0 0 20 0 19 0 291542171 9855979520 15563 33554432000 1073741824 1073778376 140733638886784 140733638877920 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9970/statm: 2406245 15563 2274 9 0 2396937 0
[pid=9970/tid=9972] ppid=9968 vsize=9624980 CPUtime=5.95 cores=0,2,4,6
/proc/9970/task/9972/stat : 9972 (java) R 9968 9970 6647 0 -1 4202560 2482 0 1 0 594 1 0 0 20 0 19 0 291542173 9855979520 15563 33554432000 1073741824 1073778376 140733638886784 139910048284960 139909919320703 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9970/tid=9973] ppid=9968 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/9970/task/9973/stat : 9973 (java) S 9968 9970 6647 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 19 0 291542174 9855979520 15563 33554432000 1073741824 1073778376 140733638886784 139910037347112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9970/tid=9974] ppid=9968 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/9970/task/9974/stat : 9974 (java) S 9968 9970 6647 0 -1 4202560 4 0 0 0 1 0 0 0 20 0 19 0 291542174 9855979520 15563 33554432000 1073741824 1073778376 140733638886784 139909891046056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9970/tid=9975] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9975/stat : 9975 (java) S 9968 9970 6647 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291542174 9855979520 15563 33554432000 1073741824 1073778376 140733638886784 139909889993768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9976] ppid=9968 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/9970/task/9976/stat : 9976 (java) S 9968 9970 6647 0 -1 4202560 11 0 0 0 2 0 0 0 20 0 19 0 291542174 9855979520 15563 33554432000 1073741824 1073778376 140733638886784 139909888940968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9970/tid=9977] ppid=9968 vsize=9624980 CPUtime=0.02 cores=0,2,4,6
/proc/9970/task/9977/stat : 9977 (java) S 9968 9970 6647 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 291542174 9855979520 15563 33554432000 1073741824 1073778376 140733638886784 139909887887656 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9970/tid=9978] ppid=9968 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/9970/task/9978/stat : 9978 (java) S 9968 9970 6647 0 -1 4202560 8 0 0 0 1 0 0 0 20 0 19 0 291542174 9855979520 15563 33554432000 1073741824 1073778376 140733638886784 139909886834856 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9979] ppid=9968 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/9970/task/9979/stat : 9979 (java) S 9968 9970 6647 0 -1 4202560 3 0 0 0 1 0 0 0 20 0 19 0 291542174 9855979520 15563 33554432000 1073741824 1073778376 140733638886784 139909885782568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9980] ppid=9968 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/9970/task/9980/stat : 9980 (java) S 9968 9970 6647 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 291542174 9855979520 15563 33554432000 1073741824 1073778376 140733638886784 139909884729768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9970/tid=9981] ppid=9968 vsize=9624980 CPUtime=0.19 cores=0,2,4,6
/proc/9970/task/9981/stat : 9981 (java) S 9968 9970 6647 0 -1 4202560 31 0 0 0 19 0 0 0 20 0 19 0 291542175 9855979520 15563 33554432000 1073741824 1073778376 140733638886784 139909872532200 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9970/tid=9982] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9982/stat : 9982 (java) S 9968 9970 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291542175 9855979520 15563 33554432000 1073741824 1073778376 140733638886784 139909871478264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9983] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9983/stat : 9983 (java) S 9968 9970 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291542175 9855979520 15563 33554432000 1073741824 1073778376 140733638886784 139909870425864 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9984] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9984/stat : 9984 (java) S 9968 9970 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291542178 9855979520 15563 33554432000 1073741824 1073778376 140733638886784 139909869374352 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9985] ppid=9968 vsize=9624980 CPUtime=0.32 cores=0,2,4,6
/proc/9970/task/9985/stat : 9985 (java) S 9968 9970 6647 0 -1 4202560 3158 0 0 0 32 0 0 0 20 0 19 0 291542178 9855979520 15563 33554432000 1073741824 1073778376 140733638886784 139909868320952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9970/tid=9986] ppid=9968 vsize=9624980 CPUtime=0.85 cores=0,2,4,6
/proc/9970/task/9986/stat : 9986 (java) S 9968 9970 6647 0 -1 4202560 10260 0 0 0 83 2 0 0 20 0 19 0 291542178 9855979520 15563 33554432000 1073741824 1073778376 140733638886784 139909867268152 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9970/tid=9987] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9987/stat : 9987 (java) S 9968 9970 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291542178 9855979520 15563 33554432000 1073741824 1073778376 140733638886784 139909866216056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9970/tid=9988] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9988/stat : 9988 (java) S 9968 9970 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291542178 9855979520 15563 33554432000 1073741824 1073778376 140733638886784 139909865163464 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9970/tid=9989] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9989/stat : 9989 (java) S 9968 9970 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291542189 9855979520 15563 33554432000 1073741824 1073778376 140733638886784 139909864109480 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.59
Current children cumulated vsize (KiB) 9624980

[startup+12.7007 s]

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

/proc/9970/task/9973/stat : 9973 (java) S 9968 9970 6647 0 -1 4202560 13 0 0 0 9 0 0 0 20 0 19 0 291542174 9855979520 15588 33554432000 1073741824 1073778376 140733638886784 139910037347112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9970/tid=9974] ppid=9968 vsize=9624980 CPUtime=0.07 cores=0,2,4,6
/proc/9970/task/9974/stat : 9974 (java) S 9968 9970 6647 0 -1 4202560 7 0 0 0 7 0 0 0 20 0 19 0 291542174 9855979520 15588 33554432000 1073741824 1073778376 140733638886784 139909891046056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9970/tid=9975] ppid=9968 vsize=9624980 CPUtime=0.08 cores=0,2,4,6
/proc/9970/task/9975/stat : 9975 (java) S 9968 9970 6647 0 -1 4202560 6 0 0 0 8 0 0 0 20 0 19 0 291542174 9855979520 15588 33554432000 1073741824 1073778376 140733638886784 139909889993768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9970/tid=9976] ppid=9968 vsize=9624980 CPUtime=0.08 cores=0,2,4,6
/proc/9970/task/9976/stat : 9976 (java) S 9968 9970 6647 0 -1 4202560 12 0 0 0 8 0 0 0 20 0 19 0 291542174 9855979520 15588 33554432000 1073741824 1073778376 140733638886784 139909888940968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9970/tid=9977] ppid=9968 vsize=9624980 CPUtime=0.08 cores=0,2,4,6
/proc/9970/task/9977/stat : 9977 (java) S 9968 9970 6647 0 -1 4202560 11 0 0 0 8 0 0 0 20 0 19 0 291542174 9855979520 15588 33554432000 1073741824 1073778376 140733638886784 139909887887656 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9978] ppid=9968 vsize=9624980 CPUtime=0.07 cores=0,2,4,6
/proc/9970/task/9978/stat : 9978 (java) S 9968 9970 6647 0 -1 4202560 11 0 0 0 7 0 0 0 20 0 19 0 291542174 9855979520 15588 33554432000 1073741824 1073778376 140733638886784 139909886834856 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9970/tid=9979] ppid=9968 vsize=9624980 CPUtime=0.08 cores=0,2,4,6
/proc/9970/task/9979/stat : 9979 (java) S 9968 9970 6647 0 -1 4202560 7 0 0 0 8 0 0 0 20 0 19 0 291542174 9855979520 15588 33554432000 1073741824 1073778376 140733638886784 139909885782568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9970/tid=9980] ppid=9968 vsize=9624980 CPUtime=0.08 cores=0,2,4,6
/proc/9970/task/9980/stat : 9980 (java) S 9968 9970 6647 0 -1 4202560 7 0 0 0 8 0 0 0 20 0 19 0 291542174 9855979520 15588 33554432000 1073741824 1073778376 140733638886784 139909884729768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9970/tid=9981] ppid=9968 vsize=9624980 CPUtime=0.71 cores=0,2,4,6
/proc/9970/task/9981/stat : 9981 (java) S 9968 9970 6647 0 -1 4202560 31 0 0 0 71 0 0 0 20 0 19 0 291542175 9855979520 15588 33554432000 1073741824 1073778376 140733638886784 139909872532200 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9970/tid=9982] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9982/stat : 9982 (java) S 9968 9970 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291542175 9855979520 15588 33554432000 1073741824 1073778376 140733638886784 139909871478264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9983] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9983/stat : 9983 (java) S 9968 9970 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291542175 9855979520 15588 33554432000 1073741824 1073778376 140733638886784 139909870425864 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9984] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9984/stat : 9984 (java) S 9968 9970 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291542178 9855979520 15588 33554432000 1073741824 1073778376 140733638886784 139909869374352 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9985] ppid=9968 vsize=9624980 CPUtime=0.35 cores=0,2,4,6
/proc/9970/task/9985/stat : 9985 (java) S 9968 9970 6647 0 -1 4202560 3164 0 0 0 35 0 0 0 20 0 19 0 291542178 9855979520 15588 33554432000 1073741824 1073778376 140733638886784 139909868320952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9970/tid=9986] ppid=9968 vsize=9624980 CPUtime=0.86 cores=0,2,4,6
/proc/9970/task/9986/stat : 9986 (java) S 9968 9970 6647 0 -1 4202560 10260 0 0 0 84 2 0 0 20 0 19 0 291542178 9855979520 15588 33554432000 1073741824 1073778376 140733638886784 139909867268152 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9970/tid=9987] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9987/stat : 9987 (java) S 9968 9970 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291542178 9855979520 15588 33554432000 1073741824 1073778376 140733638886784 139909866216056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9970/tid=9988] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9988/stat : 9988 (java) S 9968 9970 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291542178 9855979520 15588 33554432000 1073741824 1073778376 140733638886784 139909865163464 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9970/tid=9989] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9989/stat : 9989 (java) S 9968 9970 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291542189 9855979520 15588 33554432000 1073741824 1073778376 140733638886784 139909864109480 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 21.58
Current children cumulated vsize (KiB) 9624980

[startup+20.7006 s]
/proc/loadavg: 2.05 2.05 2.02 3/214 9989
/proc/meminfo: memFree=30733100/32873844 swapFree=7632/7632
[pid=9970] ppid=9968 vsize=9624980 CPUtime=22.38 cores=0,2,4,6
/proc/9970/stat : 9970 (java) S 9968 9970 6647 0 -1 4202496 17250 0 1 0 2232 6 0 0 20 0 19 0 291542171 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 140733638877920 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9970/statm: 2406245 15590 2274 9 0 2396937 0
[pid=9970/tid=9972] ppid=9968 vsize=9624980 CPUtime=19.58 cores=0,2,4,6
/proc/9970/task/9972/stat : 9972 (java) R 9968 9970 6647 0 -1 4202560 2539 0 1 0 1957 1 0 0 20 0 19 0 291542173 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139910048284960 139909919117536 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9970/tid=9973] ppid=9968 vsize=9624980 CPUtime=0.09 cores=0,2,4,6
/proc/9970/task/9973/stat : 9973 (java) S 9968 9970 6647 0 -1 4202560 13 0 0 0 9 0 0 0 20 0 19 0 291542174 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139910037347112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9970/tid=9974] ppid=9968 vsize=9624980 CPUtime=0.07 cores=0,2,4,6
/proc/9970/task/9974/stat : 9974 (java) S 9968 9970 6647 0 -1 4202560 7 0 0 0 7 0 0 0 20 0 19 0 291542174 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909891046056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9970/tid=9975] ppid=9968 vsize=9624980 CPUtime=0.08 cores=0,2,4,6
/proc/9970/task/9975/stat : 9975 (java) S 9968 9970 6647 0 -1 4202560 6 0 0 0 8 0 0 0 20 0 19 0 291542174 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909889993768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9976] ppid=9968 vsize=9624980 CPUtime=0.08 cores=0,2,4,6
/proc/9970/task/9976/stat : 9976 (java) S 9968 9970 6647 0 -1 4202560 12 0 0 0 8 0 0 0 20 0 19 0 291542174 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909888940968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9970/tid=9977] ppid=9968 vsize=9624980 CPUtime=0.08 cores=0,2,4,6
/proc/9970/task/9977/stat : 9977 (java) S 9968 9970 6647 0 -1 4202560 11 0 0 0 8 0 0 0 20 0 19 0 291542174 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909887887656 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9978] ppid=9968 vsize=9624980 CPUtime=0.07 cores=0,2,4,6
/proc/9970/task/9978/stat : 9978 (java) S 9968 9970 6647 0 -1 4202560 11 0 0 0 7 0 0 0 20 0 19 0 291542174 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909886834856 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9970/tid=9979] ppid=9968 vsize=9624980 CPUtime=0.08 cores=0,2,4,6
/proc/9970/task/9979/stat : 9979 (java) S 9968 9970 6647 0 -1 4202560 7 0 0 0 8 0 0 0 20 0 19 0 291542174 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909885782568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9970/tid=9980] ppid=9968 vsize=9624980 CPUtime=0.09 cores=0,2,4,6
/proc/9970/task/9980/stat : 9980 (java) S 9968 9970 6647 0 -1 4202560 8 0 0 0 9 0 0 0 20 0 19 0 291542174 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909884729768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9970/tid=9981] ppid=9968 vsize=9624980 CPUtime=0.73 cores=0,2,4,6
/proc/9970/task/9981/stat : 9981 (java) S 9968 9970 6647 0 -1 4202560 32 0 0 0 73 0 0 0 20 0 19 0 291542175 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909872532200 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9970/tid=9982] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9982/stat : 9982 (java) S 9968 9970 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291542175 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909871478264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9983] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9983/stat : 9983 (java) S 9968 9970 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291542175 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909870425864 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9984] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9984/stat : 9984 (java) S 9968 9970 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291542178 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909869374352 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9985] ppid=9968 vsize=9624980 CPUtime=0.35 cores=0,2,4,6
/proc/9970/task/9985/stat : 9985 (java) S 9968 9970 6647 0 -1 4202560 3164 0 0 0 35 0 0 0 20 0 19 0 291542178 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909868320952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9970/tid=9986] ppid=9968 vsize=9624980 CPUtime=0.86 cores=0,2,4,6
/proc/9970/task/9986/stat : 9986 (java) S 9968 9970 6647 0 -1 4202560 10260 0 0 0 84 2 0 0 20 0 19 0 291542178 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909867268152 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9970/tid=9987] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9987/stat : 9987 (java) S 9968 9970 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291542178 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909866216056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9970/tid=9988] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9988/stat : 9988 (java) S 9968 9970 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291542178 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909865163464 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9970/tid=9989] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9989/stat : 9989 (java) S 9968 9970 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291542189 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909864109480 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 22.38
Current children cumulated vsize (KiB) 9624980

[startup+20.9068 s]
/proc/loadavg: 2.05 2.05 2.02 3/214 9989
/proc/meminfo: memFree=30733100/32873844 swapFree=7632/7632
[pid=9970] ppid=9968 vsize=9624980 CPUtime=22.59 cores=0,2,4,6
/proc/9970/stat : 9970 (java) S 9968 9970 6647 0 -1 4202496 17250 0 1 0 2253 6 0 0 20 0 19 0 291542171 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 140733638877920 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9970/statm: 2406245 15590 2274 9 0 2396937 0
[pid=9970/tid=9972] ppid=9968 vsize=9624980 CPUtime=19.79 cores=0,2,4,6
/proc/9970/task/9972/stat : 9972 (java) R 9968 9970 6647 0 -1 4202560 2539 0 1 0 1978 1 0 0 20 0 19 0 291542173 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139910048284960 139909919097959 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9970/tid=9973] ppid=9968 vsize=9624980 CPUtime=0.09 cores=0,2,4,6
/proc/9970/task/9973/stat : 9973 (java) S 9968 9970 6647 0 -1 4202560 13 0 0 0 9 0 0 0 20 0 19 0 291542174 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139910037347112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9970/tid=9974] ppid=9968 vsize=9624980 CPUtime=0.07 cores=0,2,4,6
/proc/9970/task/9974/stat : 9974 (java) S 9968 9970 6647 0 -1 4202560 7 0 0 0 7 0 0 0 20 0 19 0 291542174 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909891046056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9970/tid=9975] ppid=9968 vsize=9624980 CPUtime=0.08 cores=0,2,4,6
/proc/9970/task/9975/stat : 9975 (java) S 9968 9970 6647 0 -1 4202560 6 0 0 0 8 0 0 0 20 0 19 0 291542174 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909889993768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9976] ppid=9968 vsize=9624980 CPUtime=0.08 cores=0,2,4,6
/proc/9970/task/9976/stat : 9976 (java) S 9968 9970 6647 0 -1 4202560 12 0 0 0 8 0 0 0 20 0 19 0 291542174 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909888940968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9970/tid=9977] ppid=9968 vsize=9624980 CPUtime=0.08 cores=0,2,4,6
/proc/9970/task/9977/stat : 9977 (java) S 9968 9970 6647 0 -1 4202560 11 0 0 0 8 0 0 0 20 0 19 0 291542174 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909887887656 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9978] ppid=9968 vsize=9624980 CPUtime=0.07 cores=0,2,4,6
/proc/9970/task/9978/stat : 9978 (java) S 9968 9970 6647 0 -1 4202560 11 0 0 0 7 0 0 0 20 0 19 0 291542174 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909886834856 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9970/tid=9979] ppid=9968 vsize=9624980 CPUtime=0.08 cores=0,2,4,6
/proc/9970/task/9979/stat : 9979 (java) S 9968 9970 6647 0 -1 4202560 7 0 0 0 8 0 0 0 20 0 19 0 291542174 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909885782568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9970/tid=9980] ppid=9968 vsize=9624980 CPUtime=0.09 cores=0,2,4,6
/proc/9970/task/9980/stat : 9980 (java) S 9968 9970 6647 0 -1 4202560 8 0 0 0 9 0 0 0 20 0 19 0 291542174 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909884729768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9970/tid=9981] ppid=9968 vsize=9624980 CPUtime=0.73 cores=0,2,4,6
/proc/9970/task/9981/stat : 9981 (java) S 9968 9970 6647 0 -1 4202560 32 0 0 0 73 0 0 0 20 0 19 0 291542175 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909872532200 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9970/tid=9982] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9982/stat : 9982 (java) S 9968 9970 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291542175 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909871478264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9983] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9983/stat : 9983 (java) S 9968 9970 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291542175 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909870425864 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9984] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9984/stat : 9984 (java) S 9968 9970 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291542178 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909869374352 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9985] ppid=9968 vsize=9624980 CPUtime=0.35 cores=0,2,4,6
/proc/9970/task/9985/stat : 9985 (java) S 9968 9970 6647 0 -1 4202560 3164 0 0 0 35 0 0 0 20 0 19 0 291542178 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909868320952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9970/tid=9986] ppid=9968 vsize=9624980 CPUtime=0.86 cores=0,2,4,6
/proc/9970/task/9986/stat : 9986 (java) S 9968 9970 6647 0 -1 4202560 10260 0 0 0 84 2 0 0 20 0 19 0 291542178 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909867268152 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9970/tid=9987] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9987/stat : 9987 (java) S 9968 9970 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291542178 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909866216056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9970/tid=9988] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9988/stat : 9988 (java) S 9968 9970 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291542178 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909865163464 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9970/tid=9989] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9989/stat : 9989 (java) S 9968 9970 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291542189 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909864109480 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 22.59
Current children cumulated vsize (KiB) 9624980

[startup+21.0007 s]
/proc/loadavg: 2.05 2.05 2.02 3/214 9989
/proc/meminfo: memFree=30733100/32873844 swapFree=7632/7632
[pid=9970] ppid=9968 vsize=9624980 CPUtime=22.69 cores=0,2,4,6
/proc/9970/stat : 9970 (java) S 9968 9970 6647 0 -1 4202496 17251 0 1 0 2263 6 0 0 20 0 19 0 291542171 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 140733638877920 209887199293 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/9970/statm: 2406245 15590 2274 9 0 2396937 0
[pid=9970/tid=9972] ppid=9968 vsize=9624980 CPUtime=19.86 cores=0,2,4,6
/proc/9970/task/9972/stat : 9972 (java) R 9968 9970 6647 0 -1 4202560 2540 0 1 0 1985 1 0 0 20 0 19 0 291542173 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139910048284960 139909919131791 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9970/tid=9973] ppid=9968 vsize=9624980 CPUtime=0.09 cores=0,2,4,6
/proc/9970/task/9973/stat : 9973 (java) S 9968 9970 6647 0 -1 4202560 13 0 0 0 9 0 0 0 20 0 19 0 291542174 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139910037347112 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9970/tid=9974] ppid=9968 vsize=9624980 CPUtime=0.07 cores=0,2,4,6
/proc/9970/task/9974/stat : 9974 (java) S 9968 9970 6647 0 -1 4202560 7 0 0 0 7 0 0 0 20 0 19 0 291542174 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909891046056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9975] ppid=9968 vsize=9624980 CPUtime=0.09 cores=0,2,4,6
/proc/9970/task/9975/stat : 9975 (java) S 9968 9970 6647 0 -1 4202560 6 0 0 0 9 0 0 0 20 0 19 0 291542174 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909889993768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9976] ppid=9968 vsize=9624980 CPUtime=0.08 cores=0,2,4,6
/proc/9970/task/9976/stat : 9976 (java) S 9968 9970 6647 0 -1 4202560 12 0 0 0 8 0 0 0 20 0 19 0 291542174 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909888940968 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9970/tid=9977] ppid=9968 vsize=9624980 CPUtime=0.08 cores=0,2,4,6
/proc/9970/task/9977/stat : 9977 (java) S 9968 9970 6647 0 -1 4202560 11 0 0 0 8 0 0 0 20 0 19 0 291542174 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909887887656 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9978] ppid=9968 vsize=9624980 CPUtime=0.07 cores=0,2,4,6
/proc/9970/task/9978/stat : 9978 (java) S 9968 9970 6647 0 -1 4202560 11 0 0 0 7 0 0 0 20 0 19 0 291542174 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909886834856 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9970/tid=9979] ppid=9968 vsize=9624980 CPUtime=0.08 cores=0,2,4,6
/proc/9970/task/9979/stat : 9979 (java) S 9968 9970 6647 0 -1 4202560 7 0 0 0 8 0 0 0 20 0 19 0 291542174 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909885782568 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9970/tid=9980] ppid=9968 vsize=9624980 CPUtime=0.09 cores=0,2,4,6
/proc/9970/task/9980/stat : 9980 (java) S 9968 9970 6647 0 -1 4202560 8 0 0 0 9 0 0 0 20 0 19 0 291542174 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909884729768 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9970/tid=9981] ppid=9968 vsize=9624980 CPUtime=0.75 cores=0,2,4,6
/proc/9970/task/9981/stat : 9981 (java) S 9968 9970 6647 0 -1 4202560 32 0 0 0 75 0 0 0 20 0 19 0 291542175 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909872532200 209887213481 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9970/tid=9982] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9982/stat : 9982 (java) S 9968 9970 6647 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291542175 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909871478264 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9983] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9983/stat : 9983 (java) S 9968 9970 6647 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291542175 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909870425864 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9984] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9984/stat : 9984 (java) S 9968 9970 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291542178 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909869374352 209887221536 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9970/tid=9985] ppid=9968 vsize=9624980 CPUtime=0.35 cores=0,2,4,6
/proc/9970/task/9985/stat : 9985 (java) S 9968 9970 6647 0 -1 4202560 3164 0 0 0 35 0 0 0 20 0 19 0 291542178 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909868320952 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9970/tid=9986] ppid=9968 vsize=9624980 CPUtime=0.86 cores=0,2,4,6
/proc/9970/task/9986/stat : 9986 (java) S 9968 9970 6647 0 -1 4202560 10260 0 0 0 84 2 0 0 20 0 19 0 291542178 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909867268152 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9970/tid=9987] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9987/stat : 9987 (java) S 9968 9970 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291542178 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909866216056 209887212604 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9970/tid=9988] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9988/stat : 9988 (java) S 9968 9970 6647 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291542178 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909865163464 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9970/tid=9989] ppid=9968 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/9970/task/9989/stat : 9989 (java) S 9968 9970 6647 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291542189 9855979520 15590 33554432000 1073741824 1073778376 140733638886784 139909864109480 209887213481 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 22.69
Current children cumulated vsize (KiB) 9624980

Child status: 30
Real time (s): 21.0143
CPU time (s): 22.7225
CPU user time (s): 22.5666
CPU system time (s): 0.155976
CPU usage (%): 108.129
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 22.5666
system time used= 0.155976
maximum resident set size= 70716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17263
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3026
involuntary context switches= 2906

runsolver used 0.043993 second user time and 0.109983 second system time

The end

Launcher Data 

Begin job on node141 at 2012-05-29 03:16:18
IDJOB=3718427
IDBENCH=79215
IDSOLVER=2301
FILE ID=node141/3718427-1338254178
RUNJOBID= node141-1338248797-9481
PBS_JOBID= 14624658
Free space on /tmp= 71232 MiB

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

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

MD5SUM BENCH= 36573e20f94a233c9b9c8f8613b15785
RANDOM SEED=1529667213

node141.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		: 2666.744
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	: 5333.48
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		: 2666.744
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		: 2666.744
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.93
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		: 2666.744
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		: 2666.744
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.92
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		: 2666.744
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		: 2666.744
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.92
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		: 2666.744
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:        30807704 kB
Buffers:          230436 kB
Cached:           401808 kB
SwapCached:          220 kB
Active:          1169072 kB
Inactive:          27320 kB
Active(anon):     553852 kB
Inactive(anon):    12056 kB
Active(file):     615220 kB
Inactive(file):    15264 kB
Unevictable:        7632 kB
Mlocked:            7632 kB
SwapTotal:      67108856 kB
SwapFree:       67108636 kB
Dirty:               456 kB
Writeback:             0 kB
AnonPages:        570348 kB
Mapped:            18184 kB
Shmem:               172 kB
Slab:             728744 kB
SReclaimable:     171124 kB
SUnreclaim:       557620 kB
KernelStack:        1616 kB
PageTables:         5388 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     854076 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    518144 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= 71232 MiB
End job on node141 at 2012-05-29 03:16:40