Trace number 3718098

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 101.35 99.4842

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/
normalized-t3002.11tsp11.1900570242--soft-66-100-0.wbo
MD5SUM404f4a35cd4ec5708f20e119eb7d26f2
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark16
Best CPU time to get the best result obtained on this benchmark68.3836
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints899
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 46330
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 46329
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 749
Number of bits of the biggest sum of numbers10
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.08	c version 2.3.2.v20120528
0.03/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.08	c java.vm.version	19.1-b02
0.03/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.08	c sun.arch.data.model	64
0.03/0.08	c java.version		1.6.0_24
0.03/0.08	c os.name		Linux
0.03/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.03/0.08	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-3718098-1338251985.wbo
0.09/0.11	c reading problem ... 
0.48/0.30	c ... done. Wall clock time 0.188s.
0.48/0.30	c declared #vars     231
0.48/0.30	c internal #vars     1130
0.48/0.30	c #constraints  2707
0.48/0.30	c constraints type 
0.48/0.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2523
0.48/0.30	c org.sat4j.minisat.constraints.card.MinWatchCard => 11
0.48/0.30	c ignored satisfied constraints => 1
0.48/0.30	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 161
0.48/0.30	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 12
0.48/0.30	c 2708 constraints processed.
0.48/0.30	c objective function length is 899 literals
0.48/0.38	c SATISFIABLE
0.48/0.38	c OPTIMIZING...
0.48/0.38	c Got one! Elapsed wall clock time (in seconds):0.268
0.48/0.38	o 549
0.75/0.41	c Got one! Elapsed wall clock time (in seconds):0.305
0.75/0.41	o 544
0.75/0.44	c Got one! Elapsed wall clock time (in seconds):0.329
0.75/0.44	o 511
0.75/0.48	c Got one! Elapsed wall clock time (in seconds):0.37
0.75/0.48	o 506
1.05/0.50	c Got one! Elapsed wall clock time (in seconds):0.389
1.05/0.50	o 490
1.05/0.52	c Got one! Elapsed wall clock time (in seconds):0.408
1.05/0.52	o 482
1.05/0.53	c Got one! Elapsed wall clock time (in seconds):0.418
1.05/0.53	o 456
1.05/0.54	c Got one! Elapsed wall clock time (in seconds):0.433
1.05/0.54	o 325
1.05/0.56	c Got one! Elapsed wall clock time (in seconds):0.452
1.05/0.56	o 324
1.05/0.58	c Got one! Elapsed wall clock time (in seconds):0.471
1.05/0.58	o 321
1.05/0.59	c Got one! Elapsed wall clock time (in seconds):0.481
1.05/0.59	o 312
1.32/0.60	c Got one! Elapsed wall clock time (in seconds):0.495
1.32/0.60	o 305
1.32/0.61	c Got one! Elapsed wall clock time (in seconds):0.505
1.32/0.61	o 304
1.32/0.64	c Got one! Elapsed wall clock time (in seconds):0.527
1.32/0.64	o 302
1.32/0.67	c Got one! Elapsed wall clock time (in seconds):0.559
1.32/0.67	o 296
1.32/0.68	c Got one! Elapsed wall clock time (in seconds):0.567
1.32/0.68	o 247
1.32/0.69	c Got one! Elapsed wall clock time (in seconds):0.584
1.32/0.69	o 245
1.48/0.71	c Got one! Elapsed wall clock time (in seconds):0.603
1.48/0.71	o 242
1.48/0.73	c Got one! Elapsed wall clock time (in seconds):0.617
1.48/0.73	o 239
1.48/0.75	c Got one! Elapsed wall clock time (in seconds):0.646
1.48/0.75	o 238
1.58/0.81	c Got one! Elapsed wall clock time (in seconds):0.699
1.58/0.81	o 216
1.58/0.84	c Got one! Elapsed wall clock time (in seconds):0.736
1.58/0.84	o 205
1.68/0.92	c Got one! Elapsed wall clock time (in seconds):0.816
1.68/0.92	o 199
1.68/0.97	c Got one! Elapsed wall clock time (in seconds):0.863
1.68/0.97	o 197
1.79/1.05	c Got one! Elapsed wall clock time (in seconds):0.943
1.79/1.05	o 180
1.79/1.09	c Got one! Elapsed wall clock time (in seconds):0.98
1.79/1.09	o 179
1.89/1.14	c Got one! Elapsed wall clock time (in seconds):1.031
1.89/1.14	o 178
1.99/1.20	c Got one! Elapsed wall clock time (in seconds):1.093
1.99/1.20	o 177
1.99/1.24	c Got one! Elapsed wall clock time (in seconds):1.129
1.99/1.24	o 175
2.12/1.35	c Got one! Elapsed wall clock time (in seconds):1.241
2.12/1.35	o 145
2.22/1.46	c Got one! Elapsed wall clock time (in seconds):1.348
2.22/1.46	o 128
2.42/1.60	c Got one! Elapsed wall clock time (in seconds):1.489
2.42/1.60	o 126
2.54/1.73	c cleaning 7869 clauses out of 15749 with flag 7439/15749
2.54/1.77	c Got one! Elapsed wall clock time (in seconds):1.657
2.54/1.77	o 121
2.68/1.86	c Got one! Elapsed wall clock time (in seconds):1.749
2.68/1.86	o 114
2.78/1.93	c Got one! Elapsed wall clock time (in seconds):1.823
2.78/1.93	o 113
2.98/2.16	c cleaning 6718 clauses out of 13436 with flag 26403/21305
3.24/2.31	c Got one! Elapsed wall clock time (in seconds):2.204
3.24/2.31	o 112
3.45/2.52	c Got one! Elapsed wall clock time (in seconds):2.409
3.45/2.52	o 110
3.55/2.67	c cleaning 6533 clauses out of 13081 with flag 20206/27668
3.69/2.77	c Got one! Elapsed wall clock time (in seconds):2.659
3.69/2.77	o 109
3.91/2.95	c Got one! Elapsed wall clock time (in seconds):2.845
3.91/2.95	o 106
4.01/3.02	c Got one! Elapsed wall clock time (in seconds):2.916
4.01/3.02	o 99
4.11/3.12	c cleaning 6338 clauses out of 12686 with flag 6885/33806
4.46/3.47	c Got one! Elapsed wall clock time (in seconds):3.361
4.46/3.47	o 96
4.66/3.61	c cleaning 5980 clauses out of 11972 with flag 22482/39430
4.66/3.66	c Got one! Elapsed wall clock time (in seconds):3.555
4.66/3.66	o 87
5.01/3.98	c cleaning 5768 clauses out of 11547 with flag 43821/44985
5.11/4.02	c Got one! Elapsed wall clock time (in seconds):3.908
5.11/4.02	o 86
5.42/4.38	c cleaning 5627 clauses out of 11257 with flag 50408/50463
5.72/4.63	c Got one! Elapsed wall clock time (in seconds):4.518
5.72/4.63	o 85
5.83/4.77	c cleaning 5398 clauses out of 10814 with flag 16504/55647
6.23/5.17	c Got one! Elapsed wall clock time (in seconds):5.059
6.23/5.17	o 70
6.64/5.53	c cleaning 7822 clauses out of 15660 with flag 56019/65891
7.03/5.97	c cleaning 6914 clauses out of 13840 with flag 104114/71893
7.53/6.49	c cleaning 6952 clauses out of 13923 with flag 155870/78890
8.23/7.18	c cleaning 7483 clauses out of 14971 with flag 227796/86890
8.63/7.51	c Got one! Elapsed wall clock time (in seconds):7.404
8.63/7.51	o 69
8.63/7.59	c cleaning 6308 clauses out of 12624 with flag 12751/92026
8.74/7.63	c Got one! Elapsed wall clock time (in seconds):7.52
8.74/7.63	o 58
9.07/7.97	c cleaning 5820 clauses out of 11651 with flag 54877/97361
9.47/8.36	c cleaning 5908 clauses out of 11828 with flag 105342/103358
9.56/8.40	c Got one! Elapsed wall clock time (in seconds):8.296
9.56/8.40	o 53
9.87/8.74	c cleaning 5725 clauses out of 11465 with flag 56472/108903
10.27/9.13	c cleaning 5863 clauses out of 11741 with flag 112573/114904
10.77/9.67	c cleaning 6433 clauses out of 12878 with flag 166742/121904
10.88/9.74	c Got one! Elapsed wall clock time (in seconds):9.63
10.88/9.74	o 51
11.19/10.07	c cleaning 6160 clauses out of 12335 with flag 43911/127794
11.59/10.46	c cleaning 6070 clauses out of 12170 with flag 84660/133789
12.10/10.96	c cleaning 6545 clauses out of 13100 with flag 134215/140789
12.29/11.15	c Got one! Elapsed wall clock time (in seconds):11.044
12.29/11.15	o 45
12.39/11.29	c cleaning 5779 clauses out of 11570 with flag 23329/145804
12.90/11.70	c cleaning 5889 clauses out of 11791 with flag 85754/151804
13.10/11.97	c Got one! Elapsed wall clock time (in seconds):11.863
13.10/11.97	o 44
13.21/12.04	c cleaning 5708 clauses out of 11440 with flag 10236/157342
13.60/12.42	c cleaning 5852 clauses out of 11732 with flag 64829/163342
14.00/12.85	c cleaning 6436 clauses out of 12882 with flag 129252/170344
14.62/13.44	c cleaning 7201 clauses out of 14445 with flag 194164/178343
15.32/14.13	c cleaning 8115 clauses out of 16244 with flag 264874/187343
16.03/14.86	c cleaning 9057 clauses out of 18130 with flag 345728/197344
16.24/15.00	c Got one! Elapsed wall clock time (in seconds):14.889
16.24/15.00	o 40
16.55/15.32	c cleaning 7447 clauses out of 14918 with flag 46862/203189
16.96/15.74	c cleaning 6728 clauses out of 13473 with flag 107093/209191
17.36/16.14	c Got one! Elapsed wall clock time (in seconds):16.031
17.36/16.14	o 39
17.66/16.49	c cleaning 9135 clauses out of 18293 with flag 47462/220739
18.16/16.91	c cleaning 7570 clauses out of 15159 with flag 105645/226740
18.56/17.36	c cleaning 7289 clauses out of 14587 with flag 162204/233738
19.16/17.91	c cleaning 7641 clauses out of 15298 with flag 219872/241738
19.76/18.55	c cleaning 8316 clauses out of 16658 with flag 289456/250739
20.46/19.25	c cleaning 9168 clauses out of 18341 with flag 366343/260738
21.26/20.06	c cleaning 10084 clauses out of 20173 with flag 455939/271738
22.17/20.96	c cleaning 11024 clauses out of 22089 with flag 560702/283738
22.67/21.46	c Got one! Elapsed wall clock time (in seconds):21.354
22.67/21.46	o 36
23.17/21.92	c cleaning 11524 clauses out of 23073 with flag 58460/295747
23.59/22.38	c cleaning 8774 clauses out of 17552 with flag 121360/301750
24.09/22.84	c cleaning 7871 clauses out of 15773 with flag 169031/308745
24.59/23.36	c cleaning 7945 clauses out of 15902 with flag 224710/316745
25.19/23.96	c cleaning 8479 clauses out of 16959 with flag 286991/325747
25.59/24.36	c Got one! Elapsed wall clock time (in seconds):24.249
25.59/24.36	o 32
25.99/24.76	c cleaning 9732 clauses out of 19487 with flag 52178/336754
26.41/25.20	c cleaning 7853 clauses out of 15755 with flag 109775/342754
26.92/25.68	c cleaning 7442 clauses out of 14904 with flag 171648/349756
27.03/25.78	c Got one! Elapsed wall clock time (in seconds):25.667
27.03/25.78	o 31
27.33/26.03	c cleaning 6389 clauses out of 12800 with flag 34314/355094
27.73/26.40	c cleaning 6193 clauses out of 12411 with flag 84179/361094
28.13/26.86	c cleaning 6598 clauses out of 13218 with flag 143027/368094
28.63/27.36	c cleaning 7290 clauses out of 14620 with flag 210284/376094
29.13/27.89	c cleaning 8157 clauses out of 16331 with flag 280271/385095
29.84/28.57	c cleaning 9085 clauses out of 18173 with flag 363464/395094
30.64/29.36	c cleaning 10041 clauses out of 20089 with flag 453044/406095
31.54/30.26	c cleaning 11010 clauses out of 22047 with flag 548584/418094
32.55/31.27	c cleaning 12006 clauses out of 24038 with flag 656686/431095
33.65/32.35	c cleaning 13000 clauses out of 26032 with flag 763823/445096
33.96/32.63	c Got one! Elapsed wall clock time (in seconds):32.525
33.96/32.63	o 26
34.06/32.73	c cleaning 9114 clauses out of 18262 with flag 12262/450326
34.47/33.16	c cleaning 7557 clauses out of 15147 with flag 67579/456325
34.88/33.54	c cleaning 7287 clauses out of 14592 with flag 113329/463327
35.28/33.98	c cleaning 7643 clauses out of 15303 with flag 166382/471325
35.69/34.39	c Got one! Elapsed wall clock time (in seconds):34.276
35.69/34.39	o 22
36.19/34.80	c cleaning 10067 clauses out of 20141 with flag 52075/483806
36.49/35.16	c cleaning 8024 clauses out of 16072 with flag 94341/489804
36.90/35.54	c cleaning 7513 clauses out of 15051 with flag 140374/496807
37.11/35.74	c Got one! Elapsed wall clock time (in seconds):35.631
37.11/35.74	o 20
37.21/35.89	c cleaning 6427 clauses out of 12867 with flag 19376/502136
37.62/36.27	c cleaning 6210 clauses out of 12439 with flag 52243/508135
38.02/36.67	c cleaning 6607 clauses out of 13232 with flag 85401/515138
38.52/37.13	c cleaning 7301 clauses out of 14624 with flag 130222/523137
39.02/37.65	c cleaning 8155 clauses out of 16321 with flag 177698/532135
39.63/38.22	c cleaning 9072 clauses out of 18167 with flag 231959/542136
40.23/38.86	c Got one! Elapsed wall clock time (in seconds):38.749
40.23/38.86	o 19
40.73/39.32	c cleaning 12278 clauses out of 24564 with flag 42553/557605
41.14/39.76	c cleaning 9138 clauses out of 18284 with flag 87704/563603
41.64/40.25	c cleaning 8062 clauses out of 16145 with flag 138303/570602
42.16/40.74	c cleaning 8024 clauses out of 16083 with flag 189013/578602
42.66/41.30	c cleaning 8524 clauses out of 17059 with flag 241315/587602
43.36/41.91	c cleaning 9260 clauses out of 18536 with flag 302588/597603
44.06/42.62	c cleaning 10118 clauses out of 20275 with flag 374199/608602
44.86/43.46	c cleaning 11071 clauses out of 22157 with flag 457434/620602
45.77/44.33	c cleaning 12034 clauses out of 24085 with flag 538255/633602
46.67/45.28	c cleaning 13018 clauses out of 26051 with flag 619188/647602
47.08/45.66	c Got one! Elapsed wall clock time (in seconds):45.549
47.08/45.66	o 18
47.59/46.11	c cleaning 11906 clauses out of 23829 with flag 41577/658398
47.88/46.49	c cleaning 8951 clauses out of 17921 with flag 78838/664396
48.29/46.88	c cleaning 7976 clauses out of 15969 with flag 118153/671395
48.69/47.28	c cleaning 7982 clauses out of 15993 with flag 148313/679395
49.19/47.77	c cleaning 8480 clauses out of 17012 with flag 184494/688396
49.79/48.37	c cleaning 9260 clauses out of 18531 with flag 233955/698395
50.49/49.08	c cleaning 10127 clauses out of 20271 with flag 292129/709395
51.29/49.86	c cleaning 11068 clauses out of 22144 with flag 360139/721395
52.20/50.75	c cleaning 12036 clauses out of 24077 with flag 437927/734396
52.40/50.97	c Got one! Elapsed wall clock time (in seconds):50.862
52.40/50.97	o 17
52.62/51.13	c cleaning 8778 clauses out of 17579 with flag 12697/739934
53.02/51.56	c cleaning 7382 clauses out of 14800 with flag 41894/745933
53.53/52.01	c cleaning 7197 clauses out of 14420 with flag 70966/752935
54.03/52.50	c cleaning 7601 clauses out of 15221 with flag 103842/760933
54.53/53.07	c cleaning 8305 clauses out of 16622 with flag 142759/769935
55.23/53.73	c cleaning 9139 clauses out of 18316 with flag 194976/779934
55.94/54.41	c cleaning 10082 clauses out of 20180 with flag 254892/790937
56.74/55.20	c cleaning 11046 clauses out of 22095 with flag 325518/802934
56.84/55.35	c Got one! Elapsed wall clock time (in seconds):55.241
56.84/55.35	o 16
57.04/55.59	c cleaning 8030 clauses out of 16078 with flag 22840/807963
57.56/56.00	c cleaning 7010 clauses out of 14046 with flag 55670/813961
57.96/56.46	c cleaning 7012 clauses out of 14036 with flag 83089/820961
58.46/56.97	c cleaning 7504 clauses out of 15024 with flag 115668/828961
59.07/57.56	c cleaning 8254 clauses out of 16521 with flag 160142/837962
59.67/58.17	c cleaning 9129 clauses out of 18267 with flag 209900/847962
60.38/58.88	c cleaning 10062 clauses out of 20137 with flag 272245/858961
61.18/59.64	c cleaning 11027 clauses out of 22077 with flag 347008/870963
61.98/60.45	c cleaning 12011 clauses out of 24052 with flag 427654/883965
62.98/61.40	c cleaning 13000 clauses out of 26037 with flag 517876/897961
63.99/62.45	c cleaning 14019 clauses out of 28038 with flag 604430/912962
65.30/63.71	c cleaning 15003 clauses out of 30018 with flag 710590/928961
66.60/65.04	c cleaning 16005 clauses out of 32016 with flag 822076/945962
68.11/66.52	c cleaning 16999 clauses out of 34010 with flag 949471/963961
69.54/67.92	c cleaning 18001 clauses out of 36010 with flag 1066727/982961
71.04/69.44	c cleaning 19000 clauses out of 38010 with flag 1188586/1002962
72.64/71.03	c cleaning 19996 clauses out of 40009 with flag 1320960/1023961
74.25/72.68	c cleaning 20990 clauses out of 42012 with flag 1463470/1045961
76.05/74.47	c cleaning 22003 clauses out of 44023 with flag 1615108/1068963
77.96/76.39	c cleaning 22993 clauses out of 46019 with flag 1782548/1092962
79.97/78.39	c cleaning 24003 clauses out of 48025 with flag 1955734/1117962
82.07/80.43	c cleaning 25008 clauses out of 50024 with flag 2133483/1143964
84.49/82.86	c cleaning 25995 clauses out of 52012 with flag 2340398/1170961
87.11/85.41	c cleaning 26999 clauses out of 54016 with flag 2548167/1198961
89.62/87.94	c cleaning 28003 clauses out of 56014 with flag 2759340/1227961
92.21/90.56	c cleaning 28993 clauses out of 58008 with flag 2982392/1257961
95.02/93.36	c cleaning 29985 clauses out of 60014 with flag 3214330/1288961
97.94/96.21	c cleaning 31009 clauses out of 62029 with flag 3453578/1320961
100.94/99.25	c cleaning 32005 clauses out of 64016 with flag 3693984/1353965
101.15/99.48	c starts		: 252
101.15/99.48	c conflicts		: 1356240
101.15/99.48	c decisions		: 1931350
101.15/99.48	c propagations		: 74296777
101.15/99.48	c inspects		: 1143353259
101.15/99.48	c shortcuts		: 0
101.15/99.48	c learnt literals	: 33
101.15/99.48	c learnt binary clauses	: 31
101.15/99.48	c learnt ternary clauses	: 566
101.15/99.48	c learnt constraints	: 1356206
101.15/99.48	c ignored constraints	: 0
101.15/99.48	c root simplifications	: 0
101.15/99.48	c removed literals (reason simplification)	: 0
101.15/99.48	c reason swapping (by a shorter reason)	: 0
101.15/99.48	c Calls to reduceDB	: 126
101.15/99.48	c Number of update (reduction) of LBD	: 450978
101.15/99.48	c number of reductions to clauses (during analyze)	: 0
101.15/99.48	c number of learned constraints concerned by reduction	: 0
101.15/99.48	c number of learning phase by resolution	: 0
101.15/99.48	c number of learning phase by cutting planes	: 0
101.15/99.48	c speed (assignments/second)	: 749201.1233462407
101.15/99.48	c non guided choices	7229
101.15/99.48	c learnt constraints type 
101.15/99.48	c constraints type 
101.15/99.48	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2523
101.15/99.48	c org.sat4j.minisat.constraints.card.MinWatchCard => 11
101.15/99.48	c ignored satisfied constraints => 1
101.15/99.48	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 161
101.15/99.48	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 12
101.15/99.48	c 2708 constraints processed.
101.15/99.48	s OPTIMUM FOUND
101.15/99.48	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 x98 -x99 -x100 -x101 -x102 x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 x138 -x139 -x140 -x141 -x142 -x143 x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 x160 -x161 -x162 x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 x226 -x227 -x228 -x229 -x230 -x231 
101.15/99.48	c objective function=16
101.15/99.48	c Total wall clock time (in seconds): 99.368

Verifier Data 

OK	16

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3718098-1338251985/watcher-3718098-1338251985 -o /tmp/evaluation-result-3718098-1338251985/solver-3718098-1338251985 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718098-1338251985.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.02 2.00 2.00 2/194 578
/proc/meminfo: memFree=30978464/32873648 swapFree=6852/6852
[pid=578] ppid=576 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/578/stat : 578 (java) D 576 578 28718 0 -1 4202496 241 0 0 0 0 0 0 0 20 0 1 0 291325251 9515008 176 33554432000 1073741824 1073778376 140734410903712 140734410886440 271787574160 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/578/statm: 2323 176 133 9 0 71 0

[startup+0.043516 s]
/proc/loadavg: 2.02 2.00 2.00 2/194 578
/proc/meminfo: memFree=30978464/32873648 swapFree=6852/6852
[pid=578] ppid=576 vsize=9225560 CPUtime=0.03 cores=1,3,5,7
/proc/578/stat : 578 (java) S 576 578 28718 0 -1 4202496 3036 0 1 0 2 1 0 0 20 0 13 0 291325251 9446973440 3733 33554432000 1073741824 1073778376 140734621423280 140734621414416 271790932029 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/578/statm: 2306390 3733 1702 9 0 2297091 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 9225560

[startup+0.100258 s]
/proc/loadavg: 2.02 2.00 2.00 2/194 578
/proc/meminfo: memFree=30978464/32873648 swapFree=6852/6852
[pid=578] ppid=576 vsize=9558416 CPUtime=0.09 cores=1,3,5,7
/proc/578/stat : 578 (java) S 576 578 28718 0 -1 4202496 4354 0 1 0 8 1 0 0 20 0 18 0 291325251 9787817984 5553 33554432000 1073741824 1073778376 140734621423280 140734621414416 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/578/statm: 2389604 5553 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558416

[startup+0.300172 s]
/proc/loadavg: 2.02 2.00 2.00 2/194 578
/proc/meminfo: memFree=30978464/32873648 swapFree=6852/6852
[pid=578] ppid=576 vsize=9558416 CPUtime=0.48 cores=1,3,5,7
/proc/578/stat : 578 (java) S 576 578 28718 0 -1 4202496 5853 0 1 0 46 2 0 0 20 0 18 0 291325251 9787817984 8435 33554432000 1073741824 1073778376 140734621423280 140734621414416 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/578/statm: 2389604 8435 2226 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558416

[startup+0.700241 s]
/proc/loadavg: 2.02 2.00 2.00 2/194 578
/proc/meminfo: memFree=30978464/32873648 swapFree=6852/6852
[pid=578] ppid=576 vsize=9624980 CPUtime=1.48 cores=1,3,5,7
/proc/578/stat : 578 (java) S 576 578 28718 0 -1 4202496 10546 0 1 0 145 3 0 0 20 0 19 0 291325251 9855979520 12588 33554432000 1073741824 1073778376 140734621423280 140734621414416 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/578/statm: 2406245 12588 2248 9 0 2396937 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 9624980

[startup+1.50065 s]
/proc/loadavg: 1.94 1.98 1.99 3/213 597
/proc/meminfo: memFree=30932676/32873648 swapFree=6852/6852
[pid=578] ppid=576 vsize=9624980 CPUtime=2.32 cores=1,3,5,7
/proc/578/stat : 578 (java) S 576 578 28718 0 -1 4202496 10558 0 1 0 229 3 0 0 20 0 19 0 291325251 9855979520 15153 33554432000 1073741824 1073778376 140734621423280 140734621414416 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/578/statm: 2406245 15153 2252 9 0 2396937 0
[pid=578/tid=580] ppid=576 vsize=9624980 CPUtime=1.47 cores=1,3,5,7
/proc/578/task/580/stat : 580 (java) R 576 578 28718 0 -1 4202560 2472 0 1 0 145 2 0 0 20 0 19 0 291325252 9855979520 15153 33554432000 1073741824 1073778376 140734621423280 140036353821848 140036218092039 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=578/tid=581] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/581/stat : 581 (java) S 576 578 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291325252 9855979520 15153 33554432000 1073741824 1073778376 140734621423280 140036342893352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=582] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/582/stat : 582 (java) S 576 578 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291325252 9855979520 15153 33554432000 1073741824 1073778376 140734621423280 140036341840552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=578/tid=583] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/583/stat : 583 (java) S 576 578 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291325252 9855979520 15153 33554432000 1073741824 1073778376 140734621423280 140036340788264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=578/tid=584] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/584/stat : 584 (java) S 576 578 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291325252 9855979520 15153 33554432000 1073741824 1073778376 140734621423280 140036339735464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=578/tid=585] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/585/stat : 585 (java) S 576 578 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291325252 9855979520 15153 33554432000 1073741824 1073778376 140734621423280 140036338682152 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=586] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/586/stat : 586 (java) S 576 578 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291325252 9855979520 15153 33554432000 1073741824 1073778376 140734621423280 140036337629352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=578/tid=587] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/587/stat : 587 (java) S 576 578 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291325252 9855979520 15153 33554432000 1073741824 1073778376 140734621423280 140036336577064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=588] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/588/stat : 588 (java) S 576 578 28718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291325252 9855979520 15153 33554432000 1073741824 1073778376 140734621423280 140036189927848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=589] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/589/stat : 589 (java) S 576 578 28718 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291325253 9855979520 15153 33554432000 1073741824 1073778376 140734621423280 140036177730280 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=578/tid=590] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/590/stat : 590 (java) S 576 578 28718 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291325254 9855979520 15153 33554432000 1073741824 1073778376 140734621423280 140036176676344 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=591] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/591/stat : 591 (java) S 576 578 28718 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291325254 9855979520 15153 33554432000 1073741824 1073778376 140734621423280 140036175623944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=592] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/592/stat : 592 (java) S 576 578 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291325256 9855979520 15153 33554432000 1073741824 1073778376 140734621423280 140036174572432 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=593] ppid=576 vsize=9624980 CPUtime=0.4 cores=1,3,5,7
/proc/578/task/593/stat : 593 (java) S 576 578 28718 0 -1 4202560 2289 0 0 0 40 0 0 0 20 0 19 0 291325256 9855979520 15153 33554432000 1073741824 1073778376 140734621423280 140036173519032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=594] ppid=576 vsize=9624980 CPUtime=0.41 cores=1,3,5,7
/proc/578/task/594/stat : 594 (java) S 576 578 28718 0 -1 4202560 4596 0 0 0 41 0 0 0 20 0 19 0 291325256 9855979520 15153 33554432000 1073741824 1073778376 140734621423280 140036172466232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=578/tid=595] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/595/stat : 595 (java) S 576 578 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291325256 9855979520 15153 33554432000 1073741824 1073778376 140734621423280 140036171414136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=578/tid=596] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/596/stat : 596 (java) S 576 578 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291325256 9855979520 15153 33554432000 1073741824 1073778376 140734621423280 140036170361544 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=578/tid=597] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/597/stat : 597 (java) S 576 578 28718 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291325282 9855979520 15153 33554432000 1073741824 1073778376 140734621423280 140036169307560 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 9624980

[startup+3.10062 s]
/proc/loadavg: 1.94 1.98 1.99 3/213 597
/proc/meminfo: memFree=30916044/32873648 swapFree=6852/6852
[pid=578] ppid=576 vsize=9624980 CPUtime=4.11 cores=1,3,5,7
/proc/578/stat : 578 (java) S 576 578 28718 0 -1 4202496 10647 0 1 0 407 4 0 0 20 0 19 0 291325251 9855979520 18301 33554432000 1073741824 1073778376 140734621423280 140734621414416 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/578/statm: 2406245 18301 2278 9 0 2396937 0
[pid=578/tid=580] ppid=576 vsize=9624980 CPUtime=3.03 cores=1,3,5,7
/proc/578/task/580/stat : 580 (java) R 576 578 28718 0 -1 4202560 2475 0 1 0 301 2 0 0 20 0 19 0 291325252 9855979520 18301 33554432000 1073741824 1073778376 140734621423280 140036353831320 140036218052136 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=578/tid=581] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/581/stat : 581 (java) S 576 578 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291325252 9855979520 18301 33554432000 1073741824 1073778376 140734621423280 140036342893352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=582] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/582/stat : 582 (java) S 576 578 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291325252 9855979520 18301 33554432000 1073741824 1073778376 140734621423280 140036341840552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=578/tid=583] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/583/stat : 583 (java) S 576 578 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291325252 9855979520 18301 33554432000 1073741824 1073778376 140734621423280 140036340788264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=578/tid=584] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/584/stat : 584 (java) S 576 578 28718 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291325252 9855979520 18301 33554432000 1073741824 1073778376 140734621423280 140036339735464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=578/tid=585] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/585/stat : 585 (java) S 576 578 28718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291325252 9855979520 18301 33554432000 1073741824 1073778376 140734621423280 140036338682152 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=578/tid=586] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/586/stat : 586 (java) S 576 578 28718 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291325252 9855979520 18301 33554432000 1073741824 1073778376 140734621423280 140036337629352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=587] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/587/stat : 587 (java) S 576 578 28718 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291325252 9855979520 18301 33554432000 1073741824 1073778376 140734621423280 140036336577064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=588] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/588/stat : 588 (java) S 576 578 28718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291325252 9855979520 18301 33554432000 1073741824 1073778376 140734621423280 140036189927848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=578/tid=589] ppid=576 vsize=9624980 CPUtime=0.02 cores=1,3,5,7
/proc/578/task/589/stat : 589 (java) S 576 578 28718 0 -1 4202560 32 0 0 0 2 0 0 0 20 0 19 0 291325253 9855979520 18301 33554432000 1073741824 1073778376 140734621423280 140036177730280 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=590] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/590/stat : 590 (java) S 576 578 28718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291325254 9855979520 18301 33554432000 1073741824 1073778376 140734621423280 140036176676344 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=591] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/591/stat : 591 (java) S 576 578 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291325254 9855979520 18301 33554432000 1073741824 1073778376 140734621423280 140036175623944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=592] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/592/stat : 592 (java) S 576 578 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291325256 9855979520 18301 33554432000 1073741824 1073778376 140734621423280 140036174572432 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=593] ppid=576 vsize=9624980 CPUtime=0.42 cores=1,3,5,7
/proc/578/task/593/stat : 593 (java) S 576 578 28718 0 -1 4202560 2290 0 0 0 42 0 0 0 20 0 19 0 291325256 9855979520 18301 33554432000 1073741824 1073778376 140734621423280 140036173519032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=594] ppid=576 vsize=9624980 CPUtime=0.57 cores=1,3,5,7
/proc/578/task/594/stat : 594 (java) S 576 578 28718 0 -1 4202560 4628 0 0 0 57 0 0 0 20 0 19 0 291325256 9855979520 18301 33554432000 1073741824 1073778376 140734621423280 140036172466232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=578/tid=595] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/595/stat : 595 (java) S 576 578 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291325256 9855979520 18301 33554432000 1073741824 1073778376 140734621423280 140036171414136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=578/tid=596] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/596/stat : 596 (java) S 576 578 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291325256 9855979520 18301 33554432000 1073741824 1073778376 140734621423280 140036170361544 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=578/tid=597] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/597/stat : 597 (java) S 576 578 28718 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291325282 9855979520 18301 33554432000 1073741824 1073778376 140734621423280 140036169307560 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.11
Current children cumulated vsize (KiB) 9624980

[startup+6.30062 s]
/proc/loadavg: 1.94 1.98 1.99 3/213 597
/proc/meminfo: memFree=30915896/32873648 swapFree=6852/6852
[pid=578] ppid=576 vsize=9624980 CPUtime=7.43 cores=1,3,5,7
/proc/578/stat : 578 (java) S 576 578 28718 0 -1 4202496 10661 0 1 0 739 4 0 0 20 0 19 0 291325251 9855979520 17631 33554432000 1073741824 1073778376 140734621423280 140734621414416 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/578/statm: 2406245 17631 2278 9 0 2396937 0
[pid=578/tid=580] ppid=576 vsize=9624980 CPUtime=6.14 cores=1,3,5,7
/proc/578/task/580/stat : 580 (java) R 576 578 28718 0 -1 4202560 2481 0 1 0 612 2 0 0 20 0 19 0 291325252 9855979520 17631 33554432000 1073741824 1073778376 140734621423280 140036353831200 140036218032851 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=578/tid=581] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/581/stat : 581 (java) S 576 578 28718 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291325252 9855979520 17631 33554432000 1073741824 1073778376 140734621423280 140036342893352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=578/tid=582] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/582/stat : 582 (java) S 576 578 28718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291325252 9855979520 17631 33554432000 1073741824 1073778376 140734621423280 140036341840552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=578/tid=583] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/583/stat : 583 (java) S 576 578 28718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291325252 9855979520 17631 33554432000 1073741824 1073778376 140734621423280 140036340788264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=578/tid=584] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/584/stat : 584 (java) S 576 578 28718 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291325252 9855979520 17631 33554432000 1073741824 1073778376 140734621423280 140036339735464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=578/tid=585] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/585/stat : 585 (java) S 576 578 28718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291325252 9855979520 17631 33554432000 1073741824 1073778376 140734621423280 140036338682152 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=578/tid=586] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/586/stat : 586 (java) S 576 578 28718 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291325252 9855979520 17631 33554432000 1073741824 1073778376 140734621423280 140036337629352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=587] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/587/stat : 587 (java) S 576 578 28718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291325252 9855979520 17631 33554432000 1073741824 1073778376 140734621423280 140036336577064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=578/tid=588] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/588/stat : 588 (java) S 576 578 28718 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291325252 9855979520 17631 33554432000 1073741824 1073778376 140734621423280 140036189927848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=578/tid=589] ppid=576 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/578/task/589/stat : 589 (java) S 576 578 28718 0 -1 4202560 32 0 0 0 10 0 0 0 20 0 19 0 291325253 9855979520 17631 33554432000 1073741824 1073778376 140734621423280 140036177730280 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=578/tid=590] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/590/stat : 590 (java) S 576 578 28718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291325254 9855979520 17631 33554432000 1073741824 1073778376 140734621423280 140036176676344 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=591] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/591/stat : 591 (java) S 576 578 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291325254 9855979520 17631 33554432000 1073741824 1073778376 140734621423280 140036175623944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=592] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/592/stat : 592 (java) S 576 578 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291325256 9855979520 17631 33554432000 1073741824 1073778376 140734621423280 140036174572432 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=593] ppid=576 vsize=9624980 CPUtime=0.42 cores=1,3,5,7
/proc/578/task/593/stat : 593 (java) S 576 578 28718 0 -1 4202560 2290 0 0 0 42 0 0 0 20 0 19 0 291325256 9855979520 17631 33554432000 1073741824 1073778376 140734621423280 140036173519032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=594] ppid=576 vsize=9624980 CPUtime=0.67 cores=1,3,5,7
/proc/578/task/594/stat : 594 (java) S 576 578 28718 0 -1 4202560 4630 0 0 0 67 0 0 0 20 0 19 0 291325256 9855979520 17631 33554432000 1073741824 1073778376 140734621423280 140036172466232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=578/tid=595] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/595/stat : 595 (java) S 576 578 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291325256 9855979520 17631 33554432000 1073741824 1073778376 140734621423280 140036171414136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=578/tid=596] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/596/stat : 596 (java) S 576 578 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291325256 9855979520 17631 33554432000 1073741824 1073778376 140734621423280 140036170361544 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=578/tid=597] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/597/stat : 597 (java) S 576 578 28718 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291325282 9855979520 17631 33554432000 1073741824 1073778376 140734621423280 140036169307560 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.43
Current children cumulated vsize (KiB) 9624980

[startup+12.7006 s]

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

/proc/578/task/581/stat : 581 (java) S 576 578 28718 0 -1 4202560 25 0 0 0 9 0 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036342893352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=578/tid=582] ppid=576 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/578/task/582/stat : 582 (java) S 576 578 28718 0 -1 4202560 45 0 0 0 9 0 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036341840552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=583] ppid=576 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/578/task/583/stat : 583 (java) S 576 578 28718 0 -1 4202560 12 0 0 0 9 0 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036340788264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=578/tid=584] ppid=576 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/578/task/584/stat : 584 (java) S 576 578 28718 0 -1 4202560 21 0 0 0 10 0 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036339735464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=578/tid=585] ppid=576 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/578/task/585/stat : 585 (java) S 576 578 28718 0 -1 4202560 16 0 0 0 10 0 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036338682152 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=578/tid=586] ppid=576 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/578/task/586/stat : 586 (java) S 576 578 28718 0 -1 4202560 24 0 0 0 9 0 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036337629352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=578/tid=587] ppid=576 vsize=9624980 CPUtime=0.08 cores=1,3,5,7
/proc/578/task/587/stat : 587 (java) S 576 578 28718 0 -1 4202560 14 0 0 0 8 0 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036336577064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=588] ppid=576 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/578/task/588/stat : 588 (java) S 576 578 28718 0 -1 4202560 10 0 0 0 10 0 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036189927848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=578/tid=589] ppid=576 vsize=9624980 CPUtime=1.86 cores=1,3,5,7
/proc/578/task/589/stat : 589 (java) S 576 578 28718 0 -1 4202560 40 0 0 0 184 2 0 0 20 0 19 0 291325253 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036177730280 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=578/tid=590] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/590/stat : 590 (java) S 576 578 28718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291325254 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036176676344 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=591] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/591/stat : 591 (java) S 576 578 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291325254 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036175623944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=592] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/592/stat : 592 (java) S 576 578 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291325256 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036174572432 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=593] ppid=576 vsize=9624980 CPUtime=0.47 cores=1,3,5,7
/proc/578/task/593/stat : 593 (java) S 576 578 28718 0 -1 4202560 2293 0 0 0 47 0 0 0 20 0 19 0 291325256 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036173519032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=578/tid=594] ppid=576 vsize=9624980 CPUtime=0.73 cores=1,3,5,7
/proc/578/task/594/stat : 594 (java) S 576 578 28718 0 -1 4202560 4632 0 0 0 73 0 0 0 20 0 19 0 291325256 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036172466232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=578/tid=595] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/595/stat : 595 (java) S 576 578 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291325256 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036171414136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=578/tid=596] ppid=576 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/578/task/596/stat : 596 (java) S 576 578 28718 0 -1 4202560 7 0 0 0 0 1 0 0 20 0 19 0 291325256 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036170361544 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=578/tid=597] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/597/stat : 597 (java) S 576 578 28718 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291325282 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036169307560 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 100.04
Current children cumulated vsize (KiB) 9624980

[startup+99.1008 s]
/proc/loadavg: 1.98 1.98 1.99 3/213 657
/proc/meminfo: memFree=30917492/32873648 swapFree=6852/6852
[pid=578] ppid=576 vsize=9624980 CPUtime=100.84 cores=1,3,5,7
/proc/578/stat : 578 (java) S 576 578 28718 0 -1 4202496 10921 0 1 0 10076 8 0 0 20 0 19 0 291325251 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140734621414416 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/578/statm: 2406245 19796 2279 9 0 2396937 0
[pid=578/tid=580] ppid=576 vsize=9624980 CPUtime=96.89 cores=1,3,5,7
/proc/578/task/580/stat : 580 (java) R 576 578 28718 0 -1 4202560 2596 0 1 0 9686 3 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036353831264 140036217771958 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=578/tid=581] ppid=576 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/578/task/581/stat : 581 (java) S 576 578 28718 0 -1 4202560 25 0 0 0 9 0 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036342893352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=578/tid=582] ppid=576 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/578/task/582/stat : 582 (java) S 576 578 28718 0 -1 4202560 45 0 0 0 9 0 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036341840552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=583] ppid=576 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/578/task/583/stat : 583 (java) S 576 578 28718 0 -1 4202560 12 0 0 0 9 0 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036340788264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=578/tid=584] ppid=576 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/578/task/584/stat : 584 (java) S 576 578 28718 0 -1 4202560 21 0 0 0 10 0 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036339735464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=578/tid=585] ppid=576 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/578/task/585/stat : 585 (java) S 576 578 28718 0 -1 4202560 16 0 0 0 10 0 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036338682152 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=578/tid=586] ppid=576 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/578/task/586/stat : 586 (java) S 576 578 28718 0 -1 4202560 24 0 0 0 9 0 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036337629352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=578/tid=587] ppid=576 vsize=9624980 CPUtime=0.08 cores=1,3,5,7
/proc/578/task/587/stat : 587 (java) S 576 578 28718 0 -1 4202560 14 0 0 0 8 0 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036336577064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=588] ppid=576 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/578/task/588/stat : 588 (java) S 576 578 28718 0 -1 4202560 10 0 0 0 10 0 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036189927848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=578/tid=589] ppid=576 vsize=9624980 CPUtime=1.86 cores=1,3,5,7
/proc/578/task/589/stat : 589 (java) S 576 578 28718 0 -1 4202560 40 0 0 0 184 2 0 0 20 0 19 0 291325253 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036177730280 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=578/tid=590] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/590/stat : 590 (java) S 576 578 28718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291325254 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036176676344 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=591] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/591/stat : 591 (java) S 576 578 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291325254 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036175623944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=592] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/592/stat : 592 (java) S 576 578 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291325256 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036174572432 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=593] ppid=576 vsize=9624980 CPUtime=0.47 cores=1,3,5,7
/proc/578/task/593/stat : 593 (java) S 576 578 28718 0 -1 4202560 2293 0 0 0 47 0 0 0 20 0 19 0 291325256 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036173519032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=578/tid=594] ppid=576 vsize=9624980 CPUtime=0.73 cores=1,3,5,7
/proc/578/task/594/stat : 594 (java) S 576 578 28718 0 -1 4202560 4632 0 0 0 73 0 0 0 20 0 19 0 291325256 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036172466232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=578/tid=595] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/595/stat : 595 (java) S 576 578 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291325256 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036171414136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=578/tid=596] ppid=576 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/578/task/596/stat : 596 (java) S 576 578 28718 0 -1 4202560 7 0 0 0 0 1 0 0 20 0 19 0 291325256 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036170361544 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=578/tid=597] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/597/stat : 597 (java) S 576 578 28718 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291325282 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036169307560 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 100.84
Current children cumulated vsize (KiB) 9624980

[startup+99.3008 s]
/proc/loadavg: 1.98 1.98 1.99 3/213 657
/proc/meminfo: memFree=30917492/32873648 swapFree=6852/6852
[pid=578] ppid=576 vsize=9624980 CPUtime=101.05 cores=1,3,5,7
/proc/578/stat : 578 (java) S 576 578 28718 0 -1 4202496 10924 0 1 0 10097 8 0 0 20 0 19 0 291325251 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140734621414416 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/578/statm: 2406245 19796 2279 9 0 2396937 0
[pid=578/tid=580] ppid=576 vsize=9624980 CPUtime=97.06 cores=1,3,5,7
/proc/578/task/580/stat : 580 (java) R 576 578 28718 0 -1 4202560 2597 0 1 0 9703 3 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036353831384 140036218044118 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=578/tid=581] ppid=576 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/578/task/581/stat : 581 (java) S 576 578 28718 0 -1 4202560 25 0 0 0 9 0 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036342893352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=578/tid=582] ppid=576 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/578/task/582/stat : 582 (java) S 576 578 28718 0 -1 4202560 45 0 0 0 9 0 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036341840552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=583] ppid=576 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/578/task/583/stat : 583 (java) S 576 578 28718 0 -1 4202560 12 0 0 0 9 0 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036340788264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=578/tid=584] ppid=576 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/578/task/584/stat : 584 (java) S 576 578 28718 0 -1 4202560 21 0 0 0 10 0 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036339735464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=578/tid=585] ppid=576 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/578/task/585/stat : 585 (java) S 576 578 28718 0 -1 4202560 16 0 0 0 10 0 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036338682152 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=578/tid=586] ppid=576 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/578/task/586/stat : 586 (java) S 576 578 28718 0 -1 4202560 24 0 0 0 9 0 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036337629352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=578/tid=587] ppid=576 vsize=9624980 CPUtime=0.08 cores=1,3,5,7
/proc/578/task/587/stat : 587 (java) S 576 578 28718 0 -1 4202560 14 0 0 0 8 0 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036336577064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=588] ppid=576 vsize=9624980 CPUtime=0.11 cores=1,3,5,7
/proc/578/task/588/stat : 588 (java) S 576 578 28718 0 -1 4202560 10 0 0 0 11 0 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036189927848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=578/tid=589] ppid=576 vsize=9624980 CPUtime=1.88 cores=1,3,5,7
/proc/578/task/589/stat : 589 (java) S 576 578 28718 0 -1 4202560 42 0 0 0 186 2 0 0 20 0 19 0 291325253 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036177730280 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=578/tid=590] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/590/stat : 590 (java) S 576 578 28718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291325254 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036176676344 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=591] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/591/stat : 591 (java) S 576 578 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291325254 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036175623944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=592] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/592/stat : 592 (java) S 576 578 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291325256 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036174572432 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=593] ppid=576 vsize=9624980 CPUtime=0.47 cores=1,3,5,7
/proc/578/task/593/stat : 593 (java) S 576 578 28718 0 -1 4202560 2293 0 0 0 47 0 0 0 20 0 19 0 291325256 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036173519032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=578/tid=594] ppid=576 vsize=9624980 CPUtime=0.73 cores=1,3,5,7
/proc/578/task/594/stat : 594 (java) S 576 578 28718 0 -1 4202560 4632 0 0 0 73 0 0 0 20 0 19 0 291325256 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036172466232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=578/tid=595] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/595/stat : 595 (java) S 576 578 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291325256 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036171414136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=578/tid=596] ppid=576 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/578/task/596/stat : 596 (java) S 576 578 28718 0 -1 4202560 7 0 0 0 0 1 0 0 20 0 19 0 291325256 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036170361544 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=578/tid=597] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/597/stat : 597 (java) S 576 578 28718 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291325282 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036169307560 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 101.05
Current children cumulated vsize (KiB) 9624980

[startup+99.4008 s]
/proc/loadavg: 1.98 1.98 1.99 3/213 657
/proc/meminfo: memFree=30917492/32873648 swapFree=6852/6852
[pid=578] ppid=576 vsize=9624980 CPUtime=101.15 cores=1,3,5,7
/proc/578/stat : 578 (java) S 576 578 28718 0 -1 4202496 10924 0 1 0 10107 8 0 0 20 0 19 0 291325251 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140734621414416 271790932029 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/578/statm: 2406245 19796 2279 9 0 2396937 0
[pid=578/tid=580] ppid=576 vsize=9624980 CPUtime=97.16 cores=1,3,5,7
/proc/578/task/580/stat : 580 (java) R 576 578 28718 0 -1 4202560 2597 0 1 0 9713 3 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036353831384 140036218044132 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=578/tid=581] ppid=576 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/578/task/581/stat : 581 (java) S 576 578 28718 0 -1 4202560 25 0 0 0 9 0 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036342893352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=578/tid=582] ppid=576 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/578/task/582/stat : 582 (java) S 576 578 28718 0 -1 4202560 45 0 0 0 9 0 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036341840552 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=583] ppid=576 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/578/task/583/stat : 583 (java) S 576 578 28718 0 -1 4202560 12 0 0 0 9 0 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036340788264 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=578/tid=584] ppid=576 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/578/task/584/stat : 584 (java) S 576 578 28718 0 -1 4202560 21 0 0 0 10 0 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036339735464 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=578/tid=585] ppid=576 vsize=9624980 CPUtime=0.1 cores=1,3,5,7
/proc/578/task/585/stat : 585 (java) S 576 578 28718 0 -1 4202560 16 0 0 0 10 0 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036338682152 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=578/tid=586] ppid=576 vsize=9624980 CPUtime=0.09 cores=1,3,5,7
/proc/578/task/586/stat : 586 (java) S 576 578 28718 0 -1 4202560 24 0 0 0 9 0 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036337629352 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=578/tid=587] ppid=576 vsize=9624980 CPUtime=0.08 cores=1,3,5,7
/proc/578/task/587/stat : 587 (java) S 576 578 28718 0 -1 4202560 14 0 0 0 8 0 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036336577064 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=588] ppid=576 vsize=9624980 CPUtime=0.11 cores=1,3,5,7
/proc/578/task/588/stat : 588 (java) S 576 578 28718 0 -1 4202560 10 0 0 0 11 0 0 0 20 0 19 0 291325252 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036189927848 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=578/tid=589] ppid=576 vsize=9624980 CPUtime=1.88 cores=1,3,5,7
/proc/578/task/589/stat : 589 (java) S 576 578 28718 0 -1 4202560 42 0 0 0 186 2 0 0 20 0 19 0 291325253 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036177730280 271790946217 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=578/tid=590] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/590/stat : 590 (java) S 576 578 28718 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291325254 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036176676344 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=591] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/591/stat : 591 (java) S 576 578 28718 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291325254 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036175623944 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=592] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/592/stat : 592 (java) S 576 578 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291325256 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036174572432 271790954272 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=578/tid=593] ppid=576 vsize=9624980 CPUtime=0.47 cores=1,3,5,7
/proc/578/task/593/stat : 593 (java) S 576 578 28718 0 -1 4202560 2293 0 0 0 47 0 0 0 20 0 19 0 291325256 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036173519032 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=578/tid=594] ppid=576 vsize=9624980 CPUtime=0.73 cores=1,3,5,7
/proc/578/task/594/stat : 594 (java) S 576 578 28718 0 -1 4202560 4632 0 0 0 73 0 0 0 20 0 19 0 291325256 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036172466232 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=578/tid=595] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/595/stat : 595 (java) S 576 578 28718 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291325256 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036171414136 271790945340 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=578/tid=596] ppid=576 vsize=9624980 CPUtime=0.01 cores=1,3,5,7
/proc/578/task/596/stat : 596 (java) S 576 578 28718 0 -1 4202560 7 0 0 0 0 1 0 0 20 0 19 0 291325256 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036170361544 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=578/tid=597] ppid=576 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/578/task/597/stat : 597 (java) S 576 578 28718 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291325282 9855979520 19796 33554432000 1073741824 1073778376 140734621423280 140036169307560 271790946217 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 101.15
Current children cumulated vsize (KiB) 9624980

Child status: 30
Real time (s): 99.4842
CPU time (s): 101.35
CPU user time (s): 101.156
CPU system time (s): 0.19397
CPU usage (%): 101.875
Max. virtual memory (cumulated for all children) (KiB): 9625744

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 101.156
system time used= 0.19397
maximum resident set size= 79240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10942
page faults= 1
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5553
involuntary context switches= 2698

runsolver used 0.450931 second user time and 1.03384 second system time

The end

Launcher Data 

Begin job on node115 at 2012-05-29 02:39:45
IDJOB=3718098
IDBENCH=78968
IDSOLVER=2301
FILE ID=node115/3718098-1338251985
RUNJOBID= node115-1338248169-32131
PBS_JOBID= 14624652
Free space on /tmp= 71644 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900570242--soft-66-100-0.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718098-1338251985/watcher-3718098-1338251985 -o /tmp/evaluation-result-3718098-1338251985/solver-3718098-1338251985 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718098-1338251985.wbo

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

MD5SUM BENCH= 404f4a35cd4ec5708f20e119eb7d26f2
RANDOM SEED=924272138

node115.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.462
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	: 5332.92
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.462
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.462
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.92
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.462
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		: 2666.462
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.462
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.462
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		: 2666.462
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:       32873648 kB
MemFree:        30979356 kB
Buffers:          496836 kB
Cached:           389848 kB
SwapCached:          972 kB
Active:           784952 kB
Inactive:         220856 kB
Active(anon):     111244 kB
Inactive(anon):     9244 kB
Active(file):     673708 kB
Inactive(file):   211612 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67106424 kB
Dirty:               460 kB
Writeback:             0 kB
AnonPages:        180840 kB
Mapped:            19900 kB
Shmem:                96 kB
Slab:             751872 kB
SReclaimable:     196032 kB
SUnreclaim:       555840 kB
KernelStack:        1760 kB
PageTables:         4116 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     698148 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    133120 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71644 MiB
End job on node115 at 2012-05-29 02:41:24