Trace number 3718415

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 110.516 107.91

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900569834--soft-0-100-0.wbo
MD5SUMebe664bdb6d24f27290f0bb7f023aa5a
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark4
Best CPU time to get the best result obtained on this benchmark58.8051
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 constraints2707
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 135641
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 135640
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 723
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.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.09	c version 2.3.2.v20120528
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		501472288
0.01/0.09	c Max memory 		7480803328
0.01/0.09	c Total memory 		504102912
0.01/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@5f934ad
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-3718415-1338254511.wbo
0.09/0.11	c reading problem ... 
0.49/0.32	c ... done. Wall clock time 0.208s.
0.49/0.32	c declared #vars     231
0.49/0.32	c internal #vars     2938
0.49/0.32	c #constraints  2707
0.49/0.32	c constraints type 
0.49/0.32	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684
0.49/0.32	c ignored satisfied constraints => 1
0.49/0.32	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
0.49/0.32	c 2708 constraints processed.
0.49/0.32	c objective function length is 2707 literals
1.08/0.50	c SATISFIABLE
1.08/0.50	c OPTIMIZING...
1.08/0.50	c Got one! Elapsed wall clock time (in seconds):0.385
1.08/0.50	o 1053
1.08/0.55	c Got one! Elapsed wall clock time (in seconds):0.437
1.08/0.55	o 431
1.08/0.57	c Got one! Elapsed wall clock time (in seconds):0.463
1.08/0.57	o 399
1.08/0.59	c Got one! Elapsed wall clock time (in seconds):0.482
1.08/0.59	o 383
1.38/0.61	c Got one! Elapsed wall clock time (in seconds):0.5
1.38/0.61	o 365
1.38/0.63	c Got one! Elapsed wall clock time (in seconds):0.52
1.38/0.63	o 351
1.38/0.65	c Got one! Elapsed wall clock time (in seconds):0.539
1.38/0.65	o 348
1.63/0.72	c Got one! Elapsed wall clock time (in seconds):0.607
1.63/0.72	o 345
1.63/0.73	c Got one! Elapsed wall clock time (in seconds):0.625
1.63/0.73	o 338
1.63/0.74	c Got one! Elapsed wall clock time (in seconds):0.635
1.63/0.74	o 333
1.63/0.76	c Got one! Elapsed wall clock time (in seconds):0.646
1.63/0.76	o 332
1.63/0.77	c Got one! Elapsed wall clock time (in seconds):0.664
1.63/0.77	o 290
1.63/0.79	c Got one! Elapsed wall clock time (in seconds):0.684
1.63/0.79	o 254
1.74/0.83	c Got one! Elapsed wall clock time (in seconds):0.716
1.74/0.83	o 245
1.74/0.84	c Got one! Elapsed wall clock time (in seconds):0.727
1.74/0.84	o 242
1.74/0.86	c Got one! Elapsed wall clock time (in seconds):0.748
1.74/0.86	o 240
1.74/0.87	c Got one! Elapsed wall clock time (in seconds):0.764
1.74/0.87	o 201
1.84/0.94	c Got one! Elapsed wall clock time (in seconds):0.831
1.84/0.94	o 194
1.84/0.98	c Got one! Elapsed wall clock time (in seconds):0.871
1.84/0.98	o 184
1.95/1.03	c Got one! Elapsed wall clock time (in seconds):0.919
1.95/1.03	o 125
2.14/1.26	c Got one! Elapsed wall clock time (in seconds):1.149
2.14/1.26	o 122
2.45/1.57	c cleaning 5208 clauses out of 10420 with flag 16210/10420
3.31/2.33	c cleaning 5592 clauses out of 11214 with flag 56590/16422
3.43/2.49	c Got one! Elapsed wall clock time (in seconds):2.384
3.43/2.49	o 119
3.53/2.51	c Got one! Elapsed wall clock time (in seconds):2.399
3.53/2.51	o 112
3.63/2.70	c Got one! Elapsed wall clock time (in seconds):2.586
3.63/2.70	o 110
3.73/2.72	c Got one! Elapsed wall clock time (in seconds):2.608
3.73/2.72	o 108
3.73/2.79	c Got one! Elapsed wall clock time (in seconds):2.676
3.73/2.79	o 91
3.93/2.99	c Got one! Elapsed wall clock time (in seconds):2.883
3.93/2.99	o 90
4.03/3.03	c Got one! Elapsed wall clock time (in seconds):2.921
4.03/3.03	o 85
4.14/3.15	c cleaning 6545 clauses out of 13101 with flag 8130/23901
4.14/3.18	c Got one! Elapsed wall clock time (in seconds):3.065
4.14/3.18	o 82
4.41/3.29	c Got one! Elapsed wall clock time (in seconds):3.182
4.41/3.29	o 80
4.76/3.47	c Got one! Elapsed wall clock time (in seconds):3.358
4.76/3.47	o 60
4.96/3.63	c cleaning 6547 clauses out of 13104 with flag 16995/30449
5.55/3.94	c Got one! Elapsed wall clock time (in seconds):3.831
5.55/3.94	o 59
5.76/4.06	c Got one! Elapsed wall clock time (in seconds):3.945
5.76/4.06	o 55
5.86/4.11	c Got one! Elapsed wall clock time (in seconds):3.998
5.86/4.11	o 52
5.86/4.18	c cleaning 6281 clauses out of 12567 with flag 9529/36459
5.96/4.26	c Got one! Elapsed wall clock time (in seconds):4.148
5.96/4.26	o 47
6.19/4.43	c Got one! Elapsed wall clock time (in seconds):4.321
6.19/4.43	o 45
6.38/4.62	c cleaning 6375 clauses out of 12763 with flag 26886/42936
6.58/4.85	c Got one! Elapsed wall clock time (in seconds):4.736
6.58/4.85	o 43
6.78/5.02	c cleaning 5713 clauses out of 11456 with flag 25922/48004
7.37/5.67	c cleaning 5865 clauses out of 11744 with flag 65792/54005
7.47/5.73	c Got one! Elapsed wall clock time (in seconds):5.621
7.47/5.73	o 42
7.70/5.99	c Got one! Elapsed wall clock time (in seconds):5.88
7.70/5.99	o 39
7.90/6.14	c cleaning 5690 clauses out of 11398 with flag 22856/59524
8.31/6.52	c Got one! Elapsed wall clock time (in seconds):6.408
8.31/6.52	o 38
8.42/6.65	c cleaning 5754 clauses out of 11530 with flag 20890/65346
8.61/6.86	c Got one! Elapsed wall clock time (in seconds):6.752
8.61/6.86	o 31
8.81/7.05	c cleaning 5468 clauses out of 10959 with flag 30255/70529
9.12/7.38	c Got one! Elapsed wall clock time (in seconds):7.271
9.12/7.38	o 29
9.32/7.58	c Got one! Elapsed wall clock time (in seconds):7.472
9.32/7.58	o 28
9.72/7.91	c cleaning 7958 clauses out of 15933 with flag 21778/80971
10.02/8.24	c Got one! Elapsed wall clock time (in seconds):8.126
10.02/8.24	o 27
10.23/8.47	c cleaning 6873 clauses out of 13754 with flag 35584/86750
10.43/8.70	c Got one! Elapsed wall clock time (in seconds):8.589
10.43/8.70	o 21
10.73/8.91	c cleaning 6001 clauses out of 12010 with flag 37085/91879
11.24/9.47	c cleaning 5999 clauses out of 12007 with flag 82545/97877
11.65/9.82	c Got one! Elapsed wall clock time (in seconds):9.712
11.65/9.82	o 20
11.65/9.90	c cleaning 5501 clauses out of 11012 with flag 12004/102881
12.16/10.30	c cleaning 5751 clauses out of 11512 with flag 77139/108882
12.58/10.76	c cleaning 6374 clauses out of 12760 with flag 141393/115881
13.11/11.28	c Got one! Elapsed wall clock time (in seconds):11.171
13.11/11.28	o 16
13.51/11.64	c cleaning 8493 clauses out of 16998 with flag 54375/126493
13.92/12.08	c cleaning 7246 clauses out of 14506 with flag 99600/132494
14.52/12.60	c cleaning 7124 clauses out of 14259 with flag 151197/139493
15.15/13.26	c cleaning 7529 clauses out of 15136 with flag 223159/147494
15.84/13.99	c cleaning 8285 clauses out of 16606 with flag 311861/156493
16.74/14.81	c cleaning 9151 clauses out of 18321 with flag 411904/166493
17.65/15.77	c cleaning 10073 clauses out of 20171 with flag 517191/177494
18.85/16.90	c cleaning 11045 clauses out of 22098 with flag 650124/189494
20.05/18.15	c cleaning 12020 clauses out of 24053 with flag 801628/202494
21.25/19.39	c cleaning 12998 clauses out of 26032 with flag 936170/216493
22.77/20.85	c cleaning 14008 clauses out of 28035 with flag 1108641/231494
24.36/22.42	c cleaning 15001 clauses out of 30026 with flag 1304916/247493
25.97/24.08	c cleaning 16009 clauses out of 32026 with flag 1511927/264494
26.88/24.99	c Got one! Elapsed wall clock time (in seconds):24.882
26.88/24.99	o 15
27.48/25.52	c cleaning 15412 clauses out of 30839 with flag 62071/279317
27.99/26.05	c cleaning 10702 clauses out of 21426 with flag 108049/285316
28.09/26.12	c Got one! Elapsed wall clock time (in seconds):26.009
28.09/26.12	o 11
28.49/26.50	c cleaning 8090 clauses out of 16203 with flag 45819/290795
28.79/26.80	c Got one! Elapsed wall clock time (in seconds):26.692
28.79/26.80	o 10
28.79/26.88	c cleaning 6963 clauses out of 13939 with flag 9599/296621
29.20/27.28	c cleaning 6477 clauses out of 12977 with flag 59432/302622
29.52/27.59	c Got one! Elapsed wall clock time (in seconds):27.479
29.52/27.59	o 9
29.61/27.67	c cleaning 5937 clauses out of 11876 with flag 9235/307998
30.01/28.06	c cleaning 5953 clauses out of 11937 with flag 62960/313996
30.42/28.50	c cleaning 6490 clauses out of 12984 with flag 119877/320996
31.03/29.00	c cleaning 7238 clauses out of 14494 with flag 178388/328996
31.33/29.35	c Got one! Elapsed wall clock time (in seconds):29.241
31.33/29.35	o 8
31.43/29.43	c cleaning 6469 clauses out of 12950 with flag 9603/334690
31.83/29.84	c cleaning 6223 clauses out of 12481 with flag 66330/340690
32.23/30.27	c cleaning 6608 clauses out of 13258 with flag 126512/347690
32.74/30.78	c cleaning 7316 clauses out of 14651 with flag 185432/355691
33.44/31.41	c cleaning 8144 clauses out of 16336 with flag 254663/364692
34.15/32.15	c cleaning 9075 clauses out of 18190 with flag 341209/374690
34.96/32.94	c cleaning 10050 clauses out of 20115 with flag 439994/385690
35.97/33.98	c cleaning 11026 clauses out of 22067 with flag 551528/397692
37.28/35.25	c cleaning 12014 clauses out of 24042 with flag 686112/410693
38.58/36.55	c cleaning 12998 clauses out of 26026 with flag 821739/424691
39.88/37.87	c cleaning 14006 clauses out of 28030 with flag 959377/439693
41.28/39.23	c cleaning 15000 clauses out of 30020 with flag 1098449/455690
42.69/40.61	c cleaning 16007 clauses out of 32022 with flag 1237149/472692
44.09/42.08	c cleaning 17007 clauses out of 34015 with flag 1389253/490692
45.69/43.61	c Got one! Elapsed wall clock time (in seconds):43.503
45.69/43.61	o 7
46.29/44.23	c cleaning 19293 clauses out of 38609 with flag 57482/512293
46.81/44.80	c cleaning 12634 clauses out of 25316 with flag 120554/518293
47.51/45.43	c cleaning 9838 clauses out of 19683 with flag 192748/525294
48.12/46.08	c cleaning 8908 clauses out of 17844 with flag 268441/533293
48.82/46.72	c cleaning 8955 clauses out of 17936 with flag 339493/542293
49.42/47.36	c cleaning 9475 clauses out of 18981 with flag 404935/552293
50.14/48.08	c cleaning 10253 clauses out of 20507 with flag 480513/563294
51.05/48.95	c cleaning 11111 clauses out of 22252 with flag 569379/575293
51.38/49.22	c Got one! Elapsed wall clock time (in seconds):49.107
51.38/49.22	o 5
51.59/49.41	c cleaning 8369 clauses out of 16749 with flag 22404/580901
52.08/49.91	c cleaning 7185 clauses out of 14385 with flag 82996/586906
52.63/50.43	c cleaning 7082 clauses out of 14195 with flag 136345/593901
53.13/50.98	c cleaning 7548 clauses out of 15113 with flag 196047/601901
53.74/51.55	c cleaning 8279 clauses out of 16566 with flag 259514/610902
54.44/52.29	c cleaning 9140 clauses out of 18290 with flag 340959/620905
55.34/53.10	c cleaning 10057 clauses out of 20147 with flag 436102/631902
56.15/53.93	c cleaning 11045 clauses out of 22089 with flag 531075/643901
56.65/54.41	c Got one! Elapsed wall clock time (in seconds):54.296
56.65/54.41	o 4
57.05/54.84	c cleaning 11234 clauses out of 22469 with flag 47348/655326
57.45/55.29	c cleaning 8612 clauses out of 17235 with flag 89259/661326
57.96/55.74	c cleaning 7796 clauses out of 15623 with flag 127710/668326
58.47/56.23	c cleaning 7904 clauses out of 15827 with flag 169114/676326
59.08/56.84	c cleaning 8458 clauses out of 16923 with flag 223539/685326
59.68/57.46	c cleaning 9227 clauses out of 18465 with flag 283965/695326
60.49/58.27	c cleaning 10112 clauses out of 20239 with flag 354270/706327
61.48/59.22	c cleaning 11055 clauses out of 22126 with flag 445259/718326
62.39/60.18	c cleaning 12025 clauses out of 24071 with flag 532549/731326
63.49/61.29	c cleaning 13000 clauses out of 26046 with flag 631699/745326
64.79/62.51	c cleaning 14019 clauses out of 28048 with flag 743284/760328
66.19/63.91	c cleaning 15007 clauses out of 30028 with flag 866961/776327
67.41/65.12	c cleaning 15991 clauses out of 32020 with flag 972387/793327
68.81/66.53	c cleaning 16996 clauses out of 34029 with flag 1106871/811327
70.31/68.03	c cleaning 18008 clauses out of 36032 with flag 1237089/830326
72.02/69.72	c cleaning 19006 clauses out of 38024 with flag 1375104/850326
73.92/71.61	c cleaning 20006 clauses out of 40019 with flag 1528234/871327
75.62/73.36	c cleaning 21001 clauses out of 42011 with flag 1665302/893326
77.54/75.27	c cleaning 21993 clauses out of 44009 with flag 1819790/916326
79.64/77.37	c cleaning 23003 clauses out of 46015 with flag 1978137/940326
82.16/79.81	c cleaning 23994 clauses out of 48012 with flag 2153796/965326
84.59/82.28	c cleaning 25000 clauses out of 50018 with flag 2327619/991326
87.30/84.90	c cleaning 25990 clauses out of 52017 with flag 2517252/1018326
90.14/87.73	c cleaning 27009 clauses out of 54027 with flag 2708674/1046326
92.95/90.59	c cleaning 28004 clauses out of 56020 with flag 2892415/1075328
96.06/93.61	c cleaning 28997 clauses out of 58015 with flag 3082987/1105327
99.58/97.14	c cleaning 30006 clauses out of 60016 with flag 3307430/1136326
102.99/100.53	c cleaning 31001 clauses out of 62005 with flag 3518920/1168327
106.29/103.82	c cleaning 31994 clauses out of 64000 with flag 3722335/1201328
110.10/107.65	c cleaning 32999 clauses out of 65998 with flag 3951284/1235328
110.41/107.90	c starts		: 240
110.41/107.90	c conflicts		: 1237326
110.41/107.90	c decisions		: 1852958
110.41/107.90	c propagations		: 76401703
110.41/107.90	c inspects		: 1250907666
110.41/107.90	c shortcuts		: 0
110.41/107.90	c learnt literals	: 37
110.41/107.90	c learnt binary clauses	: 34
110.41/107.90	c learnt ternary clauses	: 227
110.41/107.90	c learnt constraints	: 1237288
110.41/107.90	c ignored constraints	: 0
110.41/107.90	c root simplifications	: 0
110.41/107.90	c removed literals (reason simplification)	: 0
110.41/107.90	c reason swapping (by a shorter reason)	: 0
110.41/107.90	c Calls to reduceDB	: 100
110.41/107.90	c Number of update (reduction) of LBD	: 422798
110.41/107.90	c number of reductions to clauses (during analyze)	: 0
110.41/107.90	c number of learned constraints concerned by reduction	: 0
110.41/107.90	c number of learning phase by resolution	: 0
110.41/107.90	c number of learning phase by cutting planes	: 0
110.41/107.90	c speed (assignments/second)	: 710442.5567922932
110.41/107.90	c non guided choices	6906
110.41/107.90	c learnt constraints type 
110.41/107.90	c constraints type 
110.41/107.90	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2684
110.41/107.90	c ignored satisfied constraints => 1
110.41/107.90	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 23
110.41/107.90	c 2708 constraints processed.
110.41/107.90	s OPTIMUM FOUND
110.41/107.90	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 
110.41/107.90	c objective function=4
110.41/107.90	c Total wall clock time (in seconds): 107.792

Verifier Data 

OK	4

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-3718415-1338254511/watcher-3718415-1338254511 -o /tmp/evaluation-result-3718415-1338254511/solver-3718415-1338254511 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718415-1338254511.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.29 2.06 2.02 3/195 30789
/proc/meminfo: memFree=30462836/32873648 swapFree=7372/7372
[pid=30789] ppid=30787 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/30789/stat : 30789 (java) D 30787 30789 27324 0 -1 4202496 247 0 0 0 0 0 0 0 20 0 1 0 291577139 9515008 182 33554432000 1073741824 1073778376 140733452494784 140733452485816 217410518709 0 0 4096 0 18446744072100588836 0 0 17 0 0 0 0 0 0
/proc/30789/statm: 2323 182 140 9 0 71 0

[startup+0.0371761 s]
/proc/loadavg: 2.29 2.06 2.02 3/195 30789
/proc/meminfo: memFree=30462836/32873648 swapFree=7372/7372
[pid=30789] ppid=30787 vsize=9225560 CPUtime=0.01 cores=0,2,4,6
/proc/30789/stat : 30789 (java) S 30787 30789 27324 0 -1 4202496 2964 0 1 0 1 0 0 0 20 0 13 0 291577139 9446973440 3664 33554432000 1073741824 1073778376 140736223015680 140736223006816 217413877821 0 0 0 16784584 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30789/statm: 2306390 3664 1661 9 0 2297091 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9225560

[startup+0.100259 s]
/proc/loadavg: 2.29 2.06 2.02 3/195 30789
/proc/meminfo: memFree=30462836/32873648 swapFree=7372/7372
[pid=30789] ppid=30787 vsize=9558416 CPUtime=0.09 cores=0,2,4,6
/proc/30789/stat : 30789 (java) S 30787 30789 27324 0 -1 4202496 4318 0 1 0 9 0 0 0 20 0 18 0 291577139 9787817984 5508 33554432000 1073741824 1073778376 140736223015680 140736223006816 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30789/statm: 2389604 5508 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558416

[startup+0.300225 s]
/proc/loadavg: 2.29 2.06 2.02 3/195 30789
/proc/meminfo: memFree=30462836/32873648 swapFree=7372/7372
[pid=30789] ppid=30787 vsize=9558416 CPUtime=0.49 cores=0,2,4,6
/proc/30789/stat : 30789 (java) S 30787 30789 27324 0 -1 4202496 6673 0 1 0 48 1 0 0 20 0 18 0 291577139 9787817984 8909 33554432000 1073741824 1073778376 140736223015680 140736223006816 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30789/statm: 2389604 8909 2221 9 0 2380296 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558416

[startup+0.700169 s]
/proc/loadavg: 2.29 2.06 2.02 3/195 30789
/proc/meminfo: memFree=30462836/32873648 swapFree=7372/7372
[pid=30789] ppid=30787 vsize=9624980 CPUtime=1.63 cores=0,2,4,6
/proc/30789/stat : 30789 (java) S 30787 30789 27324 0 -1 4202496 11459 0 1 0 161 2 0 0 20 0 19 0 291577139 9855979520 13194 33554432000 1073741824 1073778376 140736223015680 140736223006816 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30789/statm: 2406245 13194 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.63
Current children cumulated vsize (KiB) 9624980

[startup+1.50061 s]
/proc/loadavg: 2.29 2.06 2.02 3/214 30808
/proc/meminfo: memFree=30404552/32873648 swapFree=7372/7372
[pid=30789] ppid=30787 vsize=9624980 CPUtime=2.45 cores=0,2,4,6
/proc/30789/stat : 30789 (java) S 30787 30789 27324 0 -1 4202496 11472 0 1 0 243 2 0 0 20 0 19 0 291577139 9855979520 17805 33554432000 1073741824 1073778376 140736223015680 140736223006816 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30789/statm: 2406245 17805 2259 9 0 2396937 0
[pid=30789/tid=30791] ppid=30787 vsize=9624980 CPUtime=1.46 cores=0,2,4,6
/proc/30789/task/30791/stat : 30791 (java) R 30787 30789 27324 0 -1 4202560 2469 0 1 0 146 0 0 0 20 0 19 0 291577140 9855979520 17805 33554432000 1073741824 1073778376 140736223015680 140466253001152 140466117557792 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30789/tid=30792] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30792/stat : 30792 (java) S 30787 30789 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291577141 9855979520 17805 33554432000 1073741824 1073778376 140736223015680 140466242070952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30793] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30793/stat : 30793 (java) S 30787 30789 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291577141 9855979520 17805 33554432000 1073741824 1073778376 140736223015680 140466241018408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30789/tid=30794] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30794/stat : 30794 (java) S 30787 30789 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291577141 9855979520 17805 33554432000 1073741824 1073778376 140736223015680 140466239965352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30789/tid=30795] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30795/stat : 30795 (java) S 30787 30789 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291577141 9855979520 17805 33554432000 1073741824 1073778376 140736223015680 140466238912808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30789/tid=30796] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30796/stat : 30796 (java) S 30787 30789 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291577141 9855979520 17805 33554432000 1073741824 1073778376 140736223015680 140466237860776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30797] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30797/stat : 30797 (java) S 30787 30789 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291577141 9855979520 17805 33554432000 1073741824 1073778376 140736223015680 140466236808232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30789/tid=30798] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30798/stat : 30798 (java) S 30787 30789 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291577141 9855979520 17805 33554432000 1073741824 1073778376 140736223015680 140466235755176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30799] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30799/stat : 30799 (java) S 30787 30789 27324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291577141 9855979520 17805 33554432000 1073741824 1073778376 140736223015680 140466089311016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30800] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30800/stat : 30800 (java) S 30787 30789 27324 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291577142 9855979520 17805 33554432000 1073741824 1073778376 140736223015680 140466077112680 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30801] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30801/stat : 30801 (java) S 30787 30789 27324 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291577142 9855979520 17805 33554432000 1073741824 1073778376 140736223015680 140466076059000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30802] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30802/stat : 30802 (java) S 30787 30789 27324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291577142 9855979520 17805 33554432000 1073741824 1073778376 140736223015680 140466075005832 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30803] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30803/stat : 30803 (java) S 30787 30789 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291577145 9855979520 17805 33554432000 1073741824 1073778376 140736223015680 140466073954576 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30804] ppid=30787 vsize=9624980 CPUtime=0.47 cores=0,2,4,6
/proc/30789/task/30804/stat : 30804 (java) R 30787 30789 27324 0 -1 4202560 3214 0 0 0 47 0 0 0 20 0 19 0 291577145 9855979520 17805 33554432000 1073741824 1073778376 140736223015680 140466072896480 217413902773 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30805] ppid=30787 vsize=9624980 CPUtime=0.48 cores=0,2,4,6
/proc/30789/task/30805/stat : 30805 (java) R 30787 30789 27324 0 -1 4202560 4591 0 0 0 48 0 0 0 20 0 19 0 291577145 9855979520 17805 33554432000 1073741824 1073778376 140736223015680 140466071843840 217413902773 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=30789/tid=30806] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30806/stat : 30806 (java) S 30787 30789 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291577145 9855979520 17805 33554432000 1073741824 1073778376 140736223015680 140466070797048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30789/tid=30807] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30807/stat : 30807 (java) S 30787 30789 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291577145 9855979520 17805 33554432000 1073741824 1073778376 140736223015680 140466069744712 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30808] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30808/stat : 30808 (java) S 30787 30789 27324 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291577175 9855979520 17805 33554432000 1073741824 1073778376 140736223015680 140466068689960 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.45
Current children cumulated vsize (KiB) 9624980

[startup+3.10058 s]
/proc/loadavg: 2.27 2.06 2.02 3/214 30808
/proc/meminfo: memFree=30389472/32873648 swapFree=7372/7372
[pid=30789] ppid=30787 vsize=9624980 CPUtime=4.14 cores=0,2,4,6
/proc/30789/stat : 30789 (java) S 30787 30789 27324 0 -1 4202496 11540 0 1 0 411 3 0 0 20 0 19 0 291577139 9855979520 20931 33554432000 1073741824 1073778376 140736223015680 140736223006816 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30789/statm: 2406245 20931 2285 9 0 2396937 0
[pid=30789/tid=30791] ppid=30787 vsize=9624980 CPUtime=3.03 cores=0,2,4,6
/proc/30789/task/30791/stat : 30791 (java) R 30787 30789 27324 0 -1 4202560 2473 0 1 0 303 0 0 0 20 0 19 0 291577140 9855979520 20931 33554432000 1073741824 1073778376 140736223015680 140466253001152 140466117490980 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30789/tid=30792] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30792/stat : 30792 (java) S 30787 30789 27324 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 291577141 9855979520 20931 33554432000 1073741824 1073778376 140736223015680 140466242070952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30793] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30793/stat : 30793 (java) S 30787 30789 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291577141 9855979520 20931 33554432000 1073741824 1073778376 140736223015680 140466241018408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30789/tid=30794] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30794/stat : 30794 (java) S 30787 30789 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291577141 9855979520 20931 33554432000 1073741824 1073778376 140736223015680 140466239965352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30789/tid=30795] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30795/stat : 30795 (java) S 30787 30789 27324 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291577141 9855979520 20931 33554432000 1073741824 1073778376 140736223015680 140466238912808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30789/tid=30796] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30796/stat : 30796 (java) S 30787 30789 27324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291577141 9855979520 20931 33554432000 1073741824 1073778376 140736223015680 140466237860776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30789/tid=30797] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30797/stat : 30797 (java) S 30787 30789 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291577141 9855979520 20931 33554432000 1073741824 1073778376 140736223015680 140466236808232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30789/tid=30798] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30798/stat : 30798 (java) S 30787 30789 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291577141 9855979520 20931 33554432000 1073741824 1073778376 140736223015680 140466235755176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30799] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30799/stat : 30799 (java) S 30787 30789 27324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291577141 9855979520 20931 33554432000 1073741824 1073778376 140736223015680 140466089311016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30789/tid=30800] ppid=30787 vsize=9624980 CPUtime=0.01 cores=0,2,4,6
/proc/30789/task/30800/stat : 30800 (java) S 30787 30789 27324 0 -1 4202560 31 0 0 0 1 0 0 0 20 0 19 0 291577142 9855979520 20931 33554432000 1073741824 1073778376 140736223015680 140466077112680 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30789/tid=30801] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30801/stat : 30801 (java) S 30787 30789 27324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291577142 9855979520 20931 33554432000 1073741824 1073778376 140736223015680 140466076059000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30802] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30802/stat : 30802 (java) S 30787 30789 27324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291577142 9855979520 20931 33554432000 1073741824 1073778376 140736223015680 140466075005832 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30803] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30803/stat : 30803 (java) S 30787 30789 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291577145 9855979520 20931 33554432000 1073741824 1073778376 140736223015680 140466073954576 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30804] ppid=30787 vsize=9624980 CPUtime=0.5 cores=0,2,4,6
/proc/30789/task/30804/stat : 30804 (java) S 30787 30789 27324 0 -1 4202560 3219 0 0 0 50 0 0 0 20 0 19 0 291577145 9855979520 20931 33554432000 1073741824 1073778376 140736223015680 140466072902456 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30805] ppid=30787 vsize=9624980 CPUtime=0.52 cores=0,2,4,6
/proc/30789/task/30805/stat : 30805 (java) S 30787 30789 27324 0 -1 4202560 4592 0 0 0 52 0 0 0 20 0 19 0 291577145 9855979520 20931 33554432000 1073741824 1073778376 140736223015680 140466071849912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30789/tid=30806] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30806/stat : 30806 (java) S 30787 30789 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291577145 9855979520 20931 33554432000 1073741824 1073778376 140736223015680 140466070797048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30789/tid=30807] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30807/stat : 30807 (java) S 30787 30789 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291577145 9855979520 20931 33554432000 1073741824 1073778376 140736223015680 140466069744712 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30808] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30808/stat : 30808 (java) S 30787 30789 27324 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291577175 9855979520 20931 33554432000 1073741824 1073778376 140736223015680 140466068689960 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 4.14
Current children cumulated vsize (KiB) 9624980

[startup+6.30063 s]
/proc/loadavg: 2.27 2.06 2.02 3/214 30808
/proc/meminfo: memFree=30371420/32873648 swapFree=7372/7372
[pid=30789] ppid=30787 vsize=9624980 CPUtime=8.1 cores=0,2,4,6
/proc/30789/stat : 30789 (java) S 30787 30789 27324 0 -1 4202496 19435 0 1 0 805 5 0 0 20 0 19 0 291577139 9855979520 24064 33554432000 1073741824 1073778376 140736223015680 140736223006816 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30789/statm: 2406245 24064 2285 9 0 2396937 0
[pid=30789/tid=30791] ppid=30787 vsize=9624980 CPUtime=6.08 cores=0,2,4,6
/proc/30789/task/30791/stat : 30791 (java) R 30787 30789 27324 0 -1 4202560 2479 0 1 0 608 0 0 0 20 0 19 0 291577140 9855979520 24064 33554432000 1073741824 1073778376 140736223015680 140466253009248 140466117569599 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30789/tid=30792] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30792/stat : 30792 (java) S 30787 30789 27324 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291577141 9855979520 24064 33554432000 1073741824 1073778376 140736223015680 140466242070952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30789/tid=30793] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30793/stat : 30793 (java) S 30787 30789 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291577141 9855979520 24064 33554432000 1073741824 1073778376 140736223015680 140466241018408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30789/tid=30794] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30794/stat : 30794 (java) S 30787 30789 27324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291577141 9855979520 24064 33554432000 1073741824 1073778376 140736223015680 140466239965352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30789/tid=30795] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30795/stat : 30795 (java) S 30787 30789 27324 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291577141 9855979520 24064 33554432000 1073741824 1073778376 140736223015680 140466238912808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30789/tid=30796] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30796/stat : 30796 (java) S 30787 30789 27324 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291577141 9855979520 24064 33554432000 1073741824 1073778376 140736223015680 140466237860776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30789/tid=30797] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30797/stat : 30797 (java) S 30787 30789 27324 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 291577141 9855979520 24064 33554432000 1073741824 1073778376 140736223015680 140466236808232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30789/tid=30798] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30798/stat : 30798 (java) S 30787 30789 27324 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 291577141 9855979520 24064 33554432000 1073741824 1073778376 140736223015680 140466235755176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30789/tid=30799] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30799/stat : 30799 (java) S 30787 30789 27324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291577141 9855979520 24064 33554432000 1073741824 1073778376 140736223015680 140466089311016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30800] ppid=30787 vsize=9624980 CPUtime=0.14 cores=0,2,4,6
/proc/30789/task/30800/stat : 30800 (java) S 30787 30789 27324 0 -1 4202560 33 0 0 0 14 0 0 0 20 0 19 0 291577142 9855979520 24064 33554432000 1073741824 1073778376 140736223015680 140466077112680 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30789/tid=30801] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30801/stat : 30801 (java) S 30787 30789 27324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291577142 9855979520 24064 33554432000 1073741824 1073778376 140736223015680 140466076059000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30802] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30802/stat : 30802 (java) S 30787 30789 27324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291577142 9855979520 24064 33554432000 1073741824 1073778376 140736223015680 140466075005832 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30803] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30803/stat : 30803 (java) S 30787 30789 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291577145 9855979520 24064 33554432000 1073741824 1073778376 140736223015680 140466073954576 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30804] ppid=30787 vsize=9624980 CPUtime=1.08 cores=0,2,4,6
/proc/30789/task/30804/stat : 30804 (java) S 30787 30789 27324 0 -1 4202560 10448 0 0 0 106 2 0 0 20 0 19 0 291577145 9855979520 24064 33554432000 1073741824 1073778376 140736223015680 140466072902456 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30805] ppid=30787 vsize=9624980 CPUtime=0.69 cores=0,2,4,6
/proc/30789/task/30805/stat : 30805 (java) S 30787 30789 27324 0 -1 4202560 5229 0 0 0 69 0 0 0 20 0 19 0 291577145 9855979520 24064 33554432000 1073741824 1073778376 140736223015680 140466071849912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30789/tid=30806] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30806/stat : 30806 (java) S 30787 30789 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291577145 9855979520 24064 33554432000 1073741824 1073778376 140736223015680 140466070797048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30789/tid=30807] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30807/stat : 30807 (java) S 30787 30789 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291577145 9855979520 24064 33554432000 1073741824 1073778376 140736223015680 140466069744712 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30789/tid=30808] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30808/stat : 30808 (java) S 30787 30789 27324 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291577175 9855979520 24064 33554432000 1073741824 1073778376 140736223015680 140466068689960 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 8.1
Current children cumulated vsize (KiB) 9624980

[startup+12.7006 s]

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

/proc/30789/task/30792/stat : 30792 (java) S 30787 30789 27324 0 -1 4202560 19 0 0 0 11 0 0 0 20 0 19 0 291577141 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466242070952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30789/tid=30793] ppid=30787 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/30789/task/30793/stat : 30793 (java) S 30787 30789 27324 0 -1 4202560 20 0 0 0 12 0 0 0 20 0 19 0 291577141 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466241018408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30789/tid=30794] ppid=30787 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/30789/task/30794/stat : 30794 (java) S 30787 30789 27324 0 -1 4202560 11 0 0 0 11 0 0 0 20 0 19 0 291577141 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466239965352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30789/tid=30795] ppid=30787 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/30789/task/30795/stat : 30795 (java) S 30787 30789 27324 0 -1 4202560 28 0 0 0 13 0 0 0 20 0 19 0 291577141 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466238912808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30796] ppid=30787 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/30789/task/30796/stat : 30796 (java) S 30787 30789 27324 0 -1 4202560 24 0 0 0 11 0 0 0 20 0 19 0 291577141 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466237860776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30789/tid=30797] ppid=30787 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/30789/task/30797/stat : 30797 (java) S 30787 30789 27324 0 -1 4202560 16 0 0 0 11 0 0 0 20 0 19 0 291577141 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466236808232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30789/tid=30798] ppid=30787 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/30789/task/30798/stat : 30798 (java) S 30787 30789 27324 0 -1 4202560 32 0 0 0 12 0 0 0 20 0 19 0 291577141 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466235755176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30789/tid=30799] ppid=30787 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/30789/task/30799/stat : 30799 (java) S 30787 30789 27324 0 -1 4202560 48 0 0 0 11 0 0 0 20 0 19 0 291577141 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466089311016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30800] ppid=30787 vsize=9624980 CPUtime=2.81 cores=0,2,4,6
/proc/30789/task/30800/stat : 30800 (java) S 30787 30789 27324 0 -1 4202560 45 0 0 0 281 0 0 0 20 0 19 0 291577142 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466077112680 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30801] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30801/stat : 30801 (java) S 30787 30789 27324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291577142 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466076059000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30802] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30802/stat : 30802 (java) S 30787 30789 27324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291577142 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466075005832 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30803] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30803/stat : 30803 (java) S 30787 30789 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291577145 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466073954576 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30804] ppid=30787 vsize=9624980 CPUtime=1.11 cores=0,2,4,6
/proc/30789/task/30804/stat : 30804 (java) S 30787 30789 27324 0 -1 4202560 10450 0 0 0 109 2 0 0 20 0 19 0 291577145 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466072902456 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30805] ppid=30787 vsize=9624980 CPUtime=0.73 cores=0,2,4,6
/proc/30789/task/30805/stat : 30805 (java) S 30787 30789 27324 0 -1 4202560 5231 0 0 0 73 0 0 0 20 0 19 0 291577145 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466071849912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30789/tid=30806] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30806/stat : 30806 (java) S 30787 30789 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291577145 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466070797048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30789/tid=30807] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30807/stat : 30807 (java) S 30787 30789 27324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291577145 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466069744712 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30789/tid=30808] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30808/stat : 30808 (java) S 30787 30789 27324 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291577175 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466068689960 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 108.01
Current children cumulated vsize (KiB) 9624980

[startup+107.101 s]
/proc/loadavg: 2.07 2.03 2.01 3/214 30808
/proc/meminfo: memFree=30320268/32873648 swapFree=7372/7372
[pid=30789] ppid=30787 vsize=9624980 CPUtime=109.6 cores=0,2,4,6
/proc/30789/stat : 30789 (java) S 30787 30789 27324 0 -1 4202496 19687 0 1 0 10952 8 0 0 20 0 19 0 291577139 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140736223006816 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30789/statm: 2406245 27780 2286 9 0 2396937 0
[pid=30789/tid=30791] ppid=30787 vsize=9624980 CPUtime=103.87 cores=0,2,4,6
/proc/30789/task/30791/stat : 30791 (java) R 30787 30789 27324 0 -1 4202560 2571 0 1 0 10384 3 0 0 20 0 19 0 291577140 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466253009248 140466117506262 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30789/tid=30792] ppid=30787 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/30789/task/30792/stat : 30792 (java) S 30787 30789 27324 0 -1 4202560 19 0 0 0 11 0 0 0 20 0 19 0 291577141 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466242070952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30789/tid=30793] ppid=30787 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/30789/task/30793/stat : 30793 (java) S 30787 30789 27324 0 -1 4202560 20 0 0 0 12 0 0 0 20 0 19 0 291577141 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466241018408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30789/tid=30794] ppid=30787 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/30789/task/30794/stat : 30794 (java) S 30787 30789 27324 0 -1 4202560 11 0 0 0 11 0 0 0 20 0 19 0 291577141 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466239965352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30789/tid=30795] ppid=30787 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/30789/task/30795/stat : 30795 (java) S 30787 30789 27324 0 -1 4202560 28 0 0 0 13 0 0 0 20 0 19 0 291577141 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466238912808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30796] ppid=30787 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/30789/task/30796/stat : 30796 (java) S 30787 30789 27324 0 -1 4202560 24 0 0 0 11 0 0 0 20 0 19 0 291577141 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466237860776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30789/tid=30797] ppid=30787 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/30789/task/30797/stat : 30797 (java) S 30787 30789 27324 0 -1 4202560 16 0 0 0 11 0 0 0 20 0 19 0 291577141 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466236808232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30789/tid=30798] ppid=30787 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/30789/task/30798/stat : 30798 (java) S 30787 30789 27324 0 -1 4202560 32 0 0 0 12 0 0 0 20 0 19 0 291577141 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466235755176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30789/tid=30799] ppid=30787 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/30789/task/30799/stat : 30799 (java) S 30787 30789 27324 0 -1 4202560 48 0 0 0 11 0 0 0 20 0 19 0 291577141 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466089311016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30800] ppid=30787 vsize=9624980 CPUtime=2.81 cores=0,2,4,6
/proc/30789/task/30800/stat : 30800 (java) S 30787 30789 27324 0 -1 4202560 45 0 0 0 281 0 0 0 20 0 19 0 291577142 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466077112680 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30801] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30801/stat : 30801 (java) S 30787 30789 27324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291577142 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466076059000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30802] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30802/stat : 30802 (java) S 30787 30789 27324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291577142 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466075005832 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30803] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30803/stat : 30803 (java) S 30787 30789 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291577145 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466073954576 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30804] ppid=30787 vsize=9624980 CPUtime=1.11 cores=0,2,4,6
/proc/30789/task/30804/stat : 30804 (java) S 30787 30789 27324 0 -1 4202560 10450 0 0 0 109 2 0 0 20 0 19 0 291577145 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466072902456 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30805] ppid=30787 vsize=9624980 CPUtime=0.73 cores=0,2,4,6
/proc/30789/task/30805/stat : 30805 (java) S 30787 30789 27324 0 -1 4202560 5231 0 0 0 73 0 0 0 20 0 19 0 291577145 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466071849912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30789/tid=30806] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30806/stat : 30806 (java) S 30787 30789 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291577145 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466070797048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30789/tid=30807] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30807/stat : 30807 (java) S 30787 30789 27324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291577145 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466069744712 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30789/tid=30808] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30808/stat : 30808 (java) S 30787 30789 27324 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291577175 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466068689960 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 109.6
Current children cumulated vsize (KiB) 9624980

[startup+107.501 s]
/proc/loadavg: 2.07 2.03 2.01 3/214 30808
/proc/meminfo: memFree=30320268/32873648 swapFree=7372/7372
[pid=30789] ppid=30787 vsize=9624980 CPUtime=110 cores=0,2,4,6
/proc/30789/stat : 30789 (java) S 30787 30789 27324 0 -1 4202496 19687 0 1 0 10992 8 0 0 20 0 19 0 291577139 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140736223006816 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30789/statm: 2406245 27780 2286 9 0 2396937 0
[pid=30789/tid=30791] ppid=30787 vsize=9624980 CPUtime=104.27 cores=0,2,4,6
/proc/30789/task/30791/stat : 30791 (java) R 30787 30789 27324 0 -1 4202560 2571 0 1 0 10424 3 0 0 20 0 19 0 291577140 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466253009248 140466117505699 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30789/tid=30792] ppid=30787 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/30789/task/30792/stat : 30792 (java) S 30787 30789 27324 0 -1 4202560 19 0 0 0 11 0 0 0 20 0 19 0 291577141 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466242070952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30789/tid=30793] ppid=30787 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/30789/task/30793/stat : 30793 (java) S 30787 30789 27324 0 -1 4202560 20 0 0 0 12 0 0 0 20 0 19 0 291577141 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466241018408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30789/tid=30794] ppid=30787 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/30789/task/30794/stat : 30794 (java) S 30787 30789 27324 0 -1 4202560 11 0 0 0 11 0 0 0 20 0 19 0 291577141 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466239965352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30789/tid=30795] ppid=30787 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/30789/task/30795/stat : 30795 (java) S 30787 30789 27324 0 -1 4202560 28 0 0 0 13 0 0 0 20 0 19 0 291577141 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466238912808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30796] ppid=30787 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/30789/task/30796/stat : 30796 (java) S 30787 30789 27324 0 -1 4202560 24 0 0 0 11 0 0 0 20 0 19 0 291577141 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466237860776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30789/tid=30797] ppid=30787 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/30789/task/30797/stat : 30797 (java) S 30787 30789 27324 0 -1 4202560 16 0 0 0 11 0 0 0 20 0 19 0 291577141 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466236808232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30789/tid=30798] ppid=30787 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/30789/task/30798/stat : 30798 (java) S 30787 30789 27324 0 -1 4202560 32 0 0 0 12 0 0 0 20 0 19 0 291577141 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466235755176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30789/tid=30799] ppid=30787 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/30789/task/30799/stat : 30799 (java) S 30787 30789 27324 0 -1 4202560 48 0 0 0 11 0 0 0 20 0 19 0 291577141 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466089311016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30800] ppid=30787 vsize=9624980 CPUtime=2.81 cores=0,2,4,6
/proc/30789/task/30800/stat : 30800 (java) S 30787 30789 27324 0 -1 4202560 45 0 0 0 281 0 0 0 20 0 19 0 291577142 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466077112680 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30801] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30801/stat : 30801 (java) S 30787 30789 27324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291577142 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466076059000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30802] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30802/stat : 30802 (java) S 30787 30789 27324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291577142 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466075005832 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30803] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30803/stat : 30803 (java) S 30787 30789 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291577145 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466073954576 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30804] ppid=30787 vsize=9624980 CPUtime=1.11 cores=0,2,4,6
/proc/30789/task/30804/stat : 30804 (java) S 30787 30789 27324 0 -1 4202560 10450 0 0 0 109 2 0 0 20 0 19 0 291577145 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466072902456 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30805] ppid=30787 vsize=9624980 CPUtime=0.73 cores=0,2,4,6
/proc/30789/task/30805/stat : 30805 (java) S 30787 30789 27324 0 -1 4202560 5231 0 0 0 73 0 0 0 20 0 19 0 291577145 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466071849912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30789/tid=30806] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30806/stat : 30806 (java) S 30787 30789 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291577145 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466070797048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30789/tid=30807] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30807/stat : 30807 (java) S 30787 30789 27324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291577145 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466069744712 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30789/tid=30808] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30808/stat : 30808 (java) S 30787 30789 27324 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291577175 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466068689960 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 110
Current children cumulated vsize (KiB) 9624980

[startup+107.901 s]
/proc/loadavg: 2.07 2.03 2.00 3/214 30808
/proc/meminfo: memFree=30320268/32873648 swapFree=7372/7372
[pid=30789] ppid=30787 vsize=9624980 CPUtime=110.41 cores=0,2,4,6
/proc/30789/stat : 30789 (java) S 30787 30789 27324 0 -1 4202496 19689 0 1 0 11033 8 0 0 20 0 19 0 291577139 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140736223006816 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/30789/statm: 2406245 27780 2286 9 0 2396937 0
[pid=30789/tid=30791] ppid=30787 vsize=9624980 CPUtime=104.62 cores=0,2,4,6
/proc/30789/task/30791/stat : 30791 (java) R 30787 30789 27324 0 -1 4202560 2572 0 1 0 10459 3 0 0 20 0 19 0 291577140 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466253009816 140466117787141 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=30789/tid=30792] ppid=30787 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/30789/task/30792/stat : 30792 (java) S 30787 30789 27324 0 -1 4202560 19 0 0 0 11 0 0 0 20 0 19 0 291577141 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466242070952 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30789/tid=30793] ppid=30787 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/30789/task/30793/stat : 30793 (java) S 30787 30789 27324 0 -1 4202560 20 0 0 0 12 0 0 0 20 0 19 0 291577141 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466241018408 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30789/tid=30794] ppid=30787 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/30789/task/30794/stat : 30794 (java) S 30787 30789 27324 0 -1 4202560 11 0 0 0 11 0 0 0 20 0 19 0 291577141 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466239965352 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30789/tid=30795] ppid=30787 vsize=9624980 CPUtime=0.13 cores=0,2,4,6
/proc/30789/task/30795/stat : 30795 (java) S 30787 30789 27324 0 -1 4202560 28 0 0 0 13 0 0 0 20 0 19 0 291577141 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466238912808 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30796] ppid=30787 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/30789/task/30796/stat : 30796 (java) S 30787 30789 27324 0 -1 4202560 24 0 0 0 12 0 0 0 20 0 19 0 291577141 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466237860776 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30797] ppid=30787 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/30789/task/30797/stat : 30797 (java) S 30787 30789 27324 0 -1 4202560 16 0 0 0 11 0 0 0 20 0 19 0 291577141 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466236808232 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30789/tid=30798] ppid=30787 vsize=9624980 CPUtime=0.12 cores=0,2,4,6
/proc/30789/task/30798/stat : 30798 (java) S 30787 30789 27324 0 -1 4202560 32 0 0 0 12 0 0 0 20 0 19 0 291577141 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466235755176 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=30789/tid=30799] ppid=30787 vsize=9624980 CPUtime=0.11 cores=0,2,4,6
/proc/30789/task/30799/stat : 30799 (java) S 30787 30789 27324 0 -1 4202560 48 0 0 0 11 0 0 0 20 0 19 0 291577141 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466089311016 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30800] ppid=30787 vsize=9624980 CPUtime=2.86 cores=0,2,4,6
/proc/30789/task/30800/stat : 30800 (java) S 30787 30789 27324 0 -1 4202560 45 0 0 0 286 0 0 0 20 0 19 0 291577142 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466077112680 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30801] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30801/stat : 30801 (java) S 30787 30789 27324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291577142 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466076059000 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30802] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30802/stat : 30802 (java) S 30787 30789 27324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 291577142 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466075005832 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30803] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30803/stat : 30803 (java) S 30787 30789 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291577145 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466073954576 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30804] ppid=30787 vsize=9624980 CPUtime=1.11 cores=0,2,4,6
/proc/30789/task/30804/stat : 30804 (java) S 30787 30789 27324 0 -1 4202560 10451 0 0 0 109 2 0 0 20 0 19 0 291577145 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466072902456 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=30789/tid=30805] ppid=30787 vsize=9624980 CPUtime=0.73 cores=0,2,4,6
/proc/30789/task/30805/stat : 30805 (java) S 30787 30789 27324 0 -1 4202560 5231 0 0 0 73 0 0 0 20 0 19 0 291577145 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466071849912 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30789/tid=30806] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30806/stat : 30806 (java) S 30787 30789 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291577145 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466070797048 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=30789/tid=30807] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30807/stat : 30807 (java) S 30787 30789 27324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291577145 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466069744712 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=30789/tid=30808] ppid=30787 vsize=9624980 CPUtime=0 cores=0,2,4,6
/proc/30789/task/30808/stat : 30808 (java) S 30787 30789 27324 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291577175 9855979520 27780 33554432000 1073741824 1073778376 140736223015680 140466068689960 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 110.41
Current children cumulated vsize (KiB) 9624980

Child status: 30
Real time (s): 107.91
CPU time (s): 110.516
CPU user time (s): 110.334
CPU system time (s): 0.181972
CPU usage (%): 102.415
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 110.334
system time used= 0.181972
maximum resident set size= 111176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19707
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= 5190
involuntary context switches= 5868

runsolver used 0.302953 second user time and 0.578911 second system time

The end

Launcher Data 

Begin job on node122 at 2012-05-29 03:21:52
IDJOB=3718415
IDBENCH=79312
IDSOLVER=2301
FILE ID=node122/3718415-1338254511
RUNJOBID= node122-1338247599-29940
PBS_JOBID= 14624660
Free space on /tmp= 71684 MiB

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

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

MD5SUM BENCH= ebe664bdb6d24f27290f0bb7f023aa5a
RANDOM SEED=583149916

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.533
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	: 5438.54
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.533
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.533
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:        30463628 kB
Buffers:          342524 kB
Cached:           484400 kB
SwapCached:         1104 kB
Active:          1444752 kB
Inactive:         100004 kB
Active(anon):     713968 kB
Inactive(anon):     6056 kB
Active(file):     730784 kB
Inactive(file):    93948 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67102812 kB
Dirty:               460 kB
Writeback:             0 kB
AnonPages:        656480 kB
Mapped:            19064 kB
Shmem:                 8 kB
Slab:             715684 kB
SReclaimable:     159800 kB
SUnreclaim:       555884 kB
KernelStack:        1768 kB
PageTables:         5892 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     984412 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    620544 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= 71684 MiB
End job on node122 at 2012-05-29 03:23:40