Trace number 3718009

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-28MSAT (TO) 1800.58 1793.84

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/
spot5/normalized-spot5-503_wcsp.wbo
MD5SUM08f4b88f9040f70d336d7e223b6d5133
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark11113
Best CPU time to get the best result obtained on this benchmark754.069
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables402
Total number of constraints1077
Number of soft constraints934
Number of constraints which are clauses934
Number of constraints which are cardinality constraints (but not clauses)143
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint4
Top cost 20210
Min constraint cost 1
Max constraint cost 20210
Sum of constraints costs 16006319
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.06/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.06/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.08	c See www.sat4j.org for details.
0.06/0.09	c version 2.3.2.v20120528
0.06/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.09	c java.vm.version	19.1-b02
0.06/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.09	c sun.arch.data.model	64
0.06/0.09	c java.version		1.6.0_24
0.06/0.09	c os.name		Linux
0.06/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.09	c os.arch		amd64
0.06/0.09	c Free memory 		501472288
0.06/0.09	c Max memory 		7480803328
0.06/0.09	c Total memory 		504102912
0.06/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-3718009-1338258510.wbo
0.09/0.11	c reading problem ... 
0.24/0.22	c ... done. Wall clock time 0.111s.
0.24/0.22	c declared #vars     402
0.24/0.22	c internal #vars     1336
0.24/0.22	c #constraints  1221
0.24/0.22	c constraints type 
0.24/0.22	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 849
0.24/0.22	c org.sat4j.minisat.constraints.card.MinWatchCard => 58
0.24/0.22	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 313
0.24/0.22	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 1
0.24/0.22	c 1221 constraints processed.
0.24/0.22	c objective function length is 934 literals
0.24/0.25	c SATISFIABLE
0.24/0.25	c OPTIMIZING...
0.24/0.25	c Got one! Elapsed wall clock time (in seconds):0.147
0.24/0.26	o 12128
0.24/0.28	c Got one! Elapsed wall clock time (in seconds):0.177
0.24/0.28	o 12127
0.48/0.32	c Got one! Elapsed wall clock time (in seconds):0.216
0.48/0.32	o 12126
0.78/0.45	c Got one! Elapsed wall clock time (in seconds):0.338
0.78/0.45	o 12125
1.23/0.76	c Got one! Elapsed wall clock time (in seconds):0.652
1.23/0.76	o 12124
1.48/0.97	c cleaning 3069 clauses out of 6137 with flag 4799/6137
1.71/1.11	c Got one! Elapsed wall clock time (in seconds):1.002
1.71/1.11	o 12123
2.06/1.45	c cleaning 4342 clauses out of 8686 with flag 9316/11755
2.67/2.00	c cleaning 5171 clauses out of 10344 with flag 23545/17755
3.18/2.59	c cleaning 6084 clauses out of 12175 with flag 40058/24757
3.94/3.25	c cleaning 7043 clauses out of 14089 with flag 59554/32755
4.72/4.01	c cleaning 8015 clauses out of 16045 with flag 80041/41754
5.53/4.85	c cleaning 9015 clauses out of 18031 with flag 104657/51755
6.43/5.76	c cleaning 10006 clauses out of 20015 with flag 129697/62754
7.43/6.79	c cleaning 11005 clauses out of 22010 with flag 156353/74755
8.53/7.88	c cleaning 12000 clauses out of 24004 with flag 185772/87754
9.73/9.03	c cleaning 12996 clauses out of 26005 with flag 217295/101755
11.03/10.38	c cleaning 14005 clauses out of 28009 with flag 251887/116755
12.36/11.70	c cleaning 15002 clauses out of 30003 with flag 288538/132754
13.76/13.05	c cleaning 15997 clauses out of 32001 with flag 330106/149754
15.26/14.54	c cleaning 17002 clauses out of 34005 with flag 374206/167755
16.99/16.26	c cleaning 18001 clauses out of 36002 with flag 417113/186754
18.79/18.02	c cleaning 18998 clauses out of 38002 with flag 463970/206755
20.71/19.95	c cleaning 20002 clauses out of 40003 with flag 513441/227754
22.65/21.90	c cleaning 21000 clauses out of 42003 with flag 565101/249756
23.65/22.89	c Got one! Elapsed wall clock time (in seconds):22.786
23.65/22.89	o 12122
24.26/23.47	c cleaning 19791 clauses out of 39587 with flag 13439/268340
24.88/24.03	c cleaning 12898 clauses out of 25795 with flag 28123/274339
25.49/24.64	c cleaning 9939 clauses out of 19896 with flag 44169/281338
26.09/25.28	c cleaning 8975 clauses out of 17957 with flag 61763/289338
26.79/25.99	c cleaning 8987 clauses out of 17983 with flag 81663/298339
27.59/26.77	c cleaning 9497 clauses out of 18995 with flag 103704/308338
28.50/27.62	c cleaning 10247 clauses out of 20499 with flag 128043/319339
29.42/28.55	c cleaning 11123 clauses out of 22251 with flag 154389/331338
30.53/29.62	c cleaning 12064 clauses out of 24128 with flag 183367/344338
31.63/30.78	c cleaning 13028 clauses out of 26064 with flag 217004/358338
32.93/32.06	c cleaning 14015 clauses out of 28036 with flag 251329/373338
34.33/33.49	c cleaning 15011 clauses out of 30021 with flag 287094/389338
35.84/34.90	c cleaning 15998 clauses out of 32011 with flag 325504/406339
37.44/36.51	c cleaning 17006 clauses out of 34013 with flag 364680/424339
38.94/38.09	c cleaning 17999 clauses out of 36007 with flag 408140/443339
39.24/38.33	c Got one! Elapsed wall clock time (in seconds):38.221
39.24/38.33	o 12121
39.45/38.51	c cleaning 11592 clauses out of 23183 with flag 4103/448514
39.95/39.02	c cleaning 8788 clauses out of 17592 with flag 18639/454515
40.56/39.61	c cleaning 7896 clauses out of 15803 with flag 34983/461514
41.25/40.31	c cleaning 7950 clauses out of 15907 with flag 53169/469514
42.06/41.11	c cleaning 8478 clauses out of 16957 with flag 73726/478514
42.97/42.04	c cleaning 9235 clauses out of 18480 with flag 96223/488515
43.87/42.95	c cleaning 10120 clauses out of 20244 with flag 120932/499514
44.88/44.00	c cleaning 11057 clauses out of 22124 with flag 147532/511514
46.08/45.11	c cleaning 12031 clauses out of 24067 with flag 175896/524514
47.20/46.27	c cleaning 13017 clauses out of 26039 with flag 207471/538517
48.49/47.59	c cleaning 14005 clauses out of 28019 with flag 241225/553514
49.99/49.07	c cleaning 15008 clauses out of 30015 with flag 277707/569515
51.51/50.60	c cleaning 15998 clauses out of 32006 with flag 318317/586514
53.20/52.29	c cleaning 17002 clauses out of 34009 with flag 359325/604515
54.91/53.95	c cleaning 17999 clauses out of 36006 with flag 403586/623514
56.81/55.80	c cleaning 19000 clauses out of 38007 with flag 448695/643514
58.71/57.75	c cleaning 20003 clauses out of 40007 with flag 496350/664514
60.85/59.81	c cleaning 21001 clauses out of 42004 with flag 548407/686514
63.05/62.01	c cleaning 21997 clauses out of 44003 with flag 601884/709514
65.27/64.23	c cleaning 22999 clauses out of 46006 with flag 657179/733514
67.77/66.71	c cleaning 24000 clauses out of 48008 with flag 716416/758515
70.38/69.35	c cleaning 24999 clauses out of 50007 with flag 775159/784514
73.31/72.21	c cleaning 26001 clauses out of 52008 with flag 837162/811514
76.31/75.22	c cleaning 27002 clauses out of 54008 with flag 903022/839515
79.42/78.36	c cleaning 28004 clauses out of 56007 with flag 971255/868516
82.63/81.59	c cleaning 28998 clauses out of 58001 with flag 1041540/898514
86.14/85.01	c cleaning 29996 clauses out of 60004 with flag 1113178/929515
89.86/88.79	c cleaning 30999 clauses out of 62008 with flag 1186346/961515
93.76/92.68	c cleaning 32001 clauses out of 64009 with flag 1261370/994515
97.97/96.81	c cleaning 32995 clauses out of 66008 with flag 1344564/1028515
102.06/100.93	c cleaning 34000 clauses out of 68012 with flag 1424597/1063514
106.28/105.11	c cleaning 35006 clauses out of 70013 with flag 1506345/1099515
110.68/109.58	c cleaning 36003 clauses out of 72006 with flag 1591398/1136514
114.53/113.34	c cleaning 36996 clauses out of 74003 with flag 1675107/1174514
118.83/117.67	c cleaning 38001 clauses out of 76007 with flag 1762750/1213514
123.68/122.46	c cleaning 38999 clauses out of 78008 with flag 1850820/1253516
128.60/127.34	c cleaning 39999 clauses out of 80009 with flag 1941972/1294516
133.51/132.27	c cleaning 40999 clauses out of 82008 with flag 2033578/1336514
137.92/136.67	c cleaning 42005 clauses out of 84009 with flag 2129198/1379514
142.44/141.14	c cleaning 43000 clauses out of 86004 with flag 2227172/1423514
147.55/146.21	c cleaning 43994 clauses out of 88004 with flag 2329031/1468514
152.56/151.24	c cleaning 45004 clauses out of 90011 with flag 2433351/1514515
157.51/156.14	c cleaning 45994 clauses out of 92007 with flag 2538251/1561515
162.23/160.81	c cleaning 47002 clauses out of 94013 with flag 2643034/1609515
166.73/165.35	c cleaning 47999 clauses out of 96010 with flag 2751123/1658514
171.34/169.98	c cleaning 49006 clauses out of 98012 with flag 2861592/1708515
176.95/175.50	c cleaning 50000 clauses out of 100005 with flag 2974090/1759514
182.00/180.56	c cleaning 50998 clauses out of 102005 with flag 3088877/1811514
187.14/185.68	c cleaning 52002 clauses out of 104007 with flag 3206306/1864514
192.27/190.72	c cleaning 52999 clauses out of 106005 with flag 3326916/1918514
197.69/196.17	c cleaning 54003 clauses out of 108006 with flag 3448464/1973514
203.31/201.78	c cleaning 54995 clauses out of 110003 with flag 3573515/2029514
209.02/207.47	c cleaning 56000 clauses out of 112009 with flag 3700874/2086515
215.25/213.62	c cleaning 56997 clauses out of 114008 with flag 3829503/2144514
221.58/219.95	c cleaning 57998 clauses out of 116011 with flag 3960099/2203514
229.08/227.47	c cleaning 59005 clauses out of 118013 with flag 4092834/2263514
236.22/234.52	c cleaning 59999 clauses out of 120009 with flag 4227108/2324515
243.25/241.54	c cleaning 60999 clauses out of 122009 with flag 4365582/2386514
249.96/248.24	c cleaning 62002 clauses out of 124011 with flag 4506644/2449515
257.87/256.16	c cleaning 63003 clauses out of 126008 with flag 4648186/2513514
266.09/264.35	c cleaning 63994 clauses out of 128005 with flag 4793104/2578514
274.81/273.00	c cleaning 65004 clauses out of 130012 with flag 4940395/2644515
283.61/281.88	c cleaning 66002 clauses out of 132007 with flag 5088489/2711514
292.74/290.96	c cleaning 67003 clauses out of 134005 with flag 5239983/2779514
301.36/299.54	c cleaning 67991 clauses out of 136002 with flag 5394533/2848514
302.37/300.59	c Got one! Elapsed wall clock time (in seconds):300.486
302.37/300.59	o 12120
303.31/301.45	c cleaning 42811 clauses out of 85622 with flag 11256/2866125
304.01/302.14	c cleaning 24405 clauses out of 48810 with flag 24239/2872124
304.82/302.92	c cleaning 15701 clauses out of 31406 with flag 40443/2879125
305.83/303.91	c cleaning 11850 clauses out of 23704 with flag 57654/2887124
306.94/305.07	c cleaning 10428 clauses out of 20855 with flag 77153/2896125
308.14/306.21	c cleaning 10212 clauses out of 20428 with flag 98707/2906126
309.34/307.43	c cleaning 10607 clauses out of 21215 with flag 122624/2917125
310.66/308.72	c cleaning 11298 clauses out of 22608 with flag 148392/2929125
311.97/310.10	c cleaning 12149 clauses out of 24309 with flag 176317/2942124
313.37/311.46	c cleaning 13077 clauses out of 26161 with flag 206408/2956125
314.77/312.84	c cleaning 14035 clauses out of 28083 with flag 238858/2971124
316.27/314.35	c cleaning 15022 clauses out of 30049 with flag 273446/2987125
317.77/315.88	c cleaning 16010 clauses out of 32030 with flag 316991/3004128
319.51/317.53	c cleaning 17007 clauses out of 34016 with flag 362455/3022124
321.31/319.32	c cleaning 18003 clauses out of 36009 with flag 407627/3041124
323.02/321.08	c cleaning 19001 clauses out of 38008 with flag 452697/3061126
324.92/322.92	c cleaning 19997 clauses out of 40005 with flag 498383/3082124
326.93/324.99	c cleaning 21004 clauses out of 42009 with flag 546824/3104125
329.03/327.06	c cleaning 22001 clauses out of 44005 with flag 595905/3127125
331.03/329.01	c cleaning 22996 clauses out of 46003 with flag 647436/3151124
333.04/331.10	c cleaning 24003 clauses out of 48007 with flag 700965/3176124
335.35/333.33	c cleaning 24999 clauses out of 50004 with flag 757214/3202124
337.75/335.75	c cleaning 25999 clauses out of 52005 with flag 816722/3229124
340.45/338.41	c cleaning 27001 clauses out of 54006 with flag 878741/3257124
343.27/341.29	c cleaning 27999 clauses out of 56005 with flag 943465/3286124
346.28/344.29	c cleaning 28995 clauses out of 58008 with flag 1010890/3316126
349.59/347.60	c cleaning 30004 clauses out of 60012 with flag 1080718/3347125
353.00/350.94	c cleaning 31002 clauses out of 62007 with flag 1149954/3379124
356.30/354.29	c cleaning 31998 clauses out of 64006 with flag 1222652/3412125
359.90/357.87	c cleaning 32997 clauses out of 66007 with flag 1298137/3446124
363.30/361.27	c cleaning 34003 clauses out of 68010 with flag 1376889/3481124
367.11/365.02	c cleaning 34997 clauses out of 70009 with flag 1457879/3517126
370.91/368.86	c cleaning 36004 clauses out of 72010 with flag 1538595/3554124
374.72/372.61	c cleaning 36998 clauses out of 74006 with flag 1622497/3592124
378.82/376.78	c cleaning 38003 clauses out of 76009 with flag 1708429/3631125
383.13/381.06	c cleaning 38993 clauses out of 78005 with flag 1801669/3671124
387.64/385.59	c cleaning 40002 clauses out of 80012 with flag 1901817/3712124
391.94/389.87	c cleaning 40999 clauses out of 82011 with flag 2004998/3754125
396.67/394.58	c cleaning 42006 clauses out of 84012 with flag 2107543/3797125
401.39/399.27	c cleaning 43000 clauses out of 86006 with flag 2211735/3841125
406.49/404.37	c cleaning 44003 clauses out of 88005 with flag 2319943/3886124
411.12/408.95	c cleaning 44999 clauses out of 90002 with flag 2431353/3932124
415.73/413.55	c cleaning 45999 clauses out of 92003 with flag 2546268/3979124
420.63/418.45	c cleaning 46998 clauses out of 94004 with flag 2664089/4027124
425.84/423.68	c cleaning 48001 clauses out of 96008 with flag 2779381/4076126
431.37/429.20	c cleaning 49003 clauses out of 98007 with flag 2888204/4126126
436.59/434.32	c cleaning 49995 clauses out of 100004 with flag 2997581/4177126
442.40/440.11	c cleaning 50999 clauses out of 102007 with flag 3109810/4229124
447.60/445.36	c cleaning 52002 clauses out of 104009 with flag 3224902/4282125
453.51/451.26	c cleaning 53004 clauses out of 106008 with flag 3341879/4336126
459.12/456.88	c cleaning 54001 clauses out of 108002 with flag 3460777/4391124
465.74/463.41	c cleaning 54997 clauses out of 110001 with flag 3579968/4447124
472.57/470.22	c cleaning 55994 clauses out of 112005 with flag 3708888/4504125
480.21/477.82	c cleaning 57001 clauses out of 114010 with flag 3848275/4562124
488.22/485.81	c cleaning 58003 clauses out of 116010 with flag 3979282/4621125
495.92/493.54	c cleaning 59003 clauses out of 118009 with flag 4109575/4681127
505.65/503.24	c cleaning 59998 clauses out of 120004 with flag 4240207/4742125
513.89/511.48	c cleaning 60997 clauses out of 122006 with flag 4374461/4804125
522.82/520.36	c cleaning 62002 clauses out of 124008 with flag 4509963/4867124
532.75/530.24	c cleaning 63000 clauses out of 126007 with flag 4646664/4931125
542.78/540.23	c cleaning 63999 clauses out of 128006 with flag 4787850/4996124
553.01/550.41	c cleaning 65000 clauses out of 130007 with flag 4936949/5062124
562.03/559.45	c cleaning 66000 clauses out of 132007 with flag 5082997/5129124
570.94/568.36	c cleaning 66989 clauses out of 134007 with flag 5234388/5197124
579.96/577.30	c cleaning 68009 clauses out of 136021 with flag 5386530/5266127
589.48/586.80	c cleaning 69004 clauses out of 138009 with flag 5541971/5336124
598.82/596.15	c cleaning 69999 clauses out of 140005 with flag 5698846/5407124
609.45/606.70	c cleaning 71001 clauses out of 142006 with flag 5858925/5479124
619.97/617.27	c cleaning 71999 clauses out of 144006 with flag 6023228/5552125
629.22/626.42	c cleaning 73000 clauses out of 146007 with flag 6184127/5626125
638.02/635.22	c cleaning 74002 clauses out of 148007 with flag 6346140/5701125
647.74/644.93	c cleaning 74997 clauses out of 150004 with flag 6507701/5777124
657.16/654.36	c cleaning 76002 clauses out of 152007 with flag 6673492/5854124
667.39/664.59	c cleaning 77000 clauses out of 154006 with flag 6836856/5932125
677.61/674.79	c cleaning 77994 clauses out of 156006 with flag 7008173/6011125
688.83/685.92	c cleaning 79003 clauses out of 158011 with flag 7195904/6091124
700.56/697.64	c cleaning 79998 clauses out of 160008 with flag 7384442/6172124
711.18/708.30	c cleaning 80995 clauses out of 162010 with flag 7575018/6254124
722.90/719.99	c cleaning 82004 clauses out of 164015 with flag 7771182/6337124
735.98/732.93	c cleaning 83001 clauses out of 166011 with flag 7968426/6421124
749.30/746.21	c cleaning 84005 clauses out of 168011 with flag 8168556/6506125
762.43/759.39	c cleaning 84997 clauses out of 170005 with flag 8371602/6592124
774.63/771.57	c cleaning 86004 clauses out of 172009 with flag 8575405/6679125
787.54/784.49	c cleaning 86990 clauses out of 174004 with flag 8782431/6767124
802.06/798.98	c cleaning 88003 clauses out of 176015 with flag 8975272/6856125
813.79/810.62	c cleaning 89004 clauses out of 178011 with flag 9185144/6946124
826.40/823.27	c cleaning 90000 clauses out of 180007 with flag 9381209/7037124
839.30/836.18	c cleaning 90996 clauses out of 182007 with flag 9585148/7129124
851.82/848.60	c cleaning 91999 clauses out of 184012 with flag 9792856/7222125
863.92/860.74	c cleaning 93001 clauses out of 186012 with flag 10010085/7316124
879.64/876.48	c cleaning 93998 clauses out of 188011 with flag 10221969/7411124
893.50/890.24	c cleaning 95000 clauses out of 190013 with flag 10435261/7507124
907.03/903.74	c cleaning 95999 clauses out of 192013 with flag 10646102/7604124
921.96/918.65	c cleaning 97005 clauses out of 194015 with flag 10856601/7702125
935.19/931.83	c cleaning 98001 clauses out of 196012 with flag 11089094/7801127
948.20/944.81	c cleaning 99000 clauses out of 198009 with flag 11330577/7901125
960.19/956.75	c cleaning 99995 clauses out of 200009 with flag 11573300/8002125
974.41/970.97	c cleaning 101003 clauses out of 202013 with flag 11815198/8104124
989.15/985.67	c cleaning 102002 clauses out of 204010 with flag 12056730/8207124
1005.37/1001.84	c cleaning 102998 clauses out of 206009 with flag 12289396/8311125
1022.47/1018.95	c cleaning 103999 clauses out of 208011 with flag 12518400/8416125
1037.41/1033.86	c cleaning 105003 clauses out of 210013 with flag 12749560/8522126
1054.92/1051.35	c cleaning 105997 clauses out of 212009 with flag 12980682/8629125
1072.36/1068.75	c cleaning 106997 clauses out of 214012 with flag 13213786/8737125
1087.00/1083.36	c cleaning 108000 clauses out of 216014 with flag 13450821/8846124
1104.52/1100.86	c cleaning 109001 clauses out of 218014 with flag 13696901/8956124
1119.56/1115.80	c cleaning 110003 clauses out of 220014 with flag 13944520/9067125
1134.89/1131.12	c cleaning 111005 clauses out of 222011 with flag 14196140/9179125
1153.71/1149.93	c cleaning 112000 clauses out of 224005 with flag 14433481/9292124
1176.53/1172.70	c cleaning 112999 clauses out of 226005 with flag 14675316/9406124
1200.09/1196.24	c cleaning 114003 clauses out of 228006 with flag 14926465/9521124
1221.31/1217.40	c cleaning 115003 clauses out of 230005 with flag 15176171/9637126
1240.63/1236.77	c cleaning 115996 clauses out of 232000 with flag 15429010/9754124
1248.44/1244.58	c Got one! Elapsed wall clock time (in seconds):1244.476
1248.44/1244.58	o 12119
1250.74/1246.82	c cleaning 95410 clauses out of 190819 with flag 11017/9828939
1252.18/1248.29	c cleaning 50704 clauses out of 101408 with flag 23612/9834938
1253.20/1249.29	c cleaning 28850 clauses out of 57705 with flag 39071/9841939
1254.51/1250.52	c cleaning 18426 clauses out of 36854 with flag 56282/9849938
1255.41/1251.45	c cleaning 13711 clauses out of 27429 with flag 75806/9858939
1256.23/1252.28	c cleaning 11853 clauses out of 23717 with flag 96984/9868938
1257.25/1253.22	c cleaning 11428 clauses out of 22865 with flag 120597/9879939
1258.57/1254.53	c cleaning 11711 clauses out of 23437 with flag 147436/9891939
1259.88/1255.84	c cleaning 12364 clauses out of 24727 with flag 175128/9904940
1261.19/1257.17	c cleaning 13178 clauses out of 26361 with flag 204319/9918938
1262.40/1258.39	c cleaning 14088 clauses out of 28183 with flag 235969/9933938
1263.92/1259.86	c cleaning 15044 clauses out of 30096 with flag 269650/9949939
1265.33/1261.28	c cleaning 16020 clauses out of 32052 with flag 305412/9966939
1267.15/1263.04	c cleaning 17013 clauses out of 34032 with flag 342730/9984939
1269.08/1264.92	c cleaning 18008 clauses out of 36019 with flag 382198/10003939
1271.19/1267.03	c cleaning 18999 clauses out of 38010 with flag 423627/10023938
1273.32/1269.11	c cleaning 20002 clauses out of 40011 with flag 467246/10044938
1275.55/1271.38	c cleaning 21005 clauses out of 42010 with flag 512965/10066939
1277.97/1273.79	c cleaning 21997 clauses out of 44004 with flag 560605/10089938
1280.18/1275.95	c cleaning 22997 clauses out of 46008 with flag 616969/10113939
1282.50/1278.29	c cleaning 24002 clauses out of 48010 with flag 672342/10138938
1284.82/1280.59	c cleaning 25001 clauses out of 50008 with flag 730266/10164938
1287.13/1282.87	c cleaning 26000 clauses out of 52007 with flag 790653/10191938
1289.46/1285.12	c cleaning 26996 clauses out of 54007 with flag 851817/10219938
1291.76/1287.48	c cleaning 27999 clauses out of 56011 with flag 917230/10248938
1294.37/1290.07	c cleaning 29000 clauses out of 58012 with flag 988257/10278938
1297.08/1292.73	c cleaning 30005 clauses out of 60013 with flag 1055720/10309939
1299.79/1295.48	c cleaning 31003 clauses out of 62008 with flag 1125950/10341939
1302.60/1298.25	c cleaning 31998 clauses out of 64004 with flag 1198315/10374938
1305.71/1301.39	c cleaning 33002 clauses out of 66007 with flag 1272077/10408939
1309.31/1304.91	c cleaning 34002 clauses out of 68004 with flag 1349651/10443938
1312.94/1308.55	c cleaning 35002 clauses out of 70003 with flag 1430690/10479939
1316.97/1312.53	c cleaning 36000 clauses out of 72000 with flag 1515919/10516938
1320.88/1316.45	c cleaning 36992 clauses out of 74001 with flag 1601619/10554939
1324.40/1319.96	c cleaning 38001 clauses out of 76009 with flag 1693219/10593939
1328.52/1324.06	c cleaning 38999 clauses out of 78007 with flag 1784838/10633938
1332.43/1327.91	c cleaning 40001 clauses out of 80008 with flag 1884440/10674938
1336.75/1332.23	c cleaning 41005 clauses out of 82009 with flag 1979523/10716940
1340.86/1336.32	c cleaning 41998 clauses out of 84002 with flag 2079645/10759938
1345.97/1341.46	c cleaning 42997 clauses out of 86004 with flag 2175998/10803938
1351.49/1346.96	c cleaning 44004 clauses out of 88007 with flag 2272725/10848938
1356.80/1352.20	c cleaning 44998 clauses out of 90005 with flag 2372150/10894940
1363.04/1358.41	c cleaning 46001 clauses out of 92005 with flag 2473749/10941938
1369.35/1364.70	c cleaning 47001 clauses out of 94005 with flag 2576916/10989939
1375.88/1371.23	c cleaning 48000 clauses out of 96004 with flag 2682926/11038939
1381.59/1376.91	c cleaning 48996 clauses out of 98003 with flag 2790510/11088938
1387.90/1383.27	c cleaning 49997 clauses out of 100007 with flag 2905818/11139938
1394.23/1389.52	c cleaning 51006 clauses out of 102012 with flag 3018264/11191940
1400.83/1396.11	c cleaning 51998 clauses out of 104006 with flag 3133800/11244940
1400.83/1396.19	c Got one! Elapsed wall clock time (in seconds):1396.087
1400.83/1396.19	o 12118
1401.48/1396.79	c cleaning 28863 clauses out of 57725 with flag 10544/11250657
1402.18/1397.43	c cleaning 17427 clauses out of 34862 with flag 22824/11256657
1402.81/1398.09	c cleaning 12208 clauses out of 24434 with flag 37234/11263656
1403.53/1398.74	c cleaning 10107 clauses out of 20226 with flag 53768/11271656
1404.25/1399.49	c cleaning 9557 clauses out of 19119 with flag 72471/11280656
1405.06/1400.24	c cleaning 9779 clauses out of 19563 with flag 93201/11290657
1405.87/1401.06	c cleaning 10386 clauses out of 20784 with flag 116082/11301657
1406.88/1402.08	c cleaning 11197 clauses out of 22398 with flag 140798/11313657
1407.90/1403.08	c cleaning 12099 clauses out of 24202 with flag 167646/11326658
1409.12/1404.21	c cleaning 13050 clauses out of 26102 with flag 196910/11340657
1410.52/1405.64	c cleaning 14025 clauses out of 28052 with flag 227884/11355657
1412.03/1407.17	c cleaning 15012 clauses out of 30027 with flag 260971/11371657
1413.73/1408.81	c cleaning 16006 clauses out of 32014 with flag 296166/11388656
1415.54/1410.60	c cleaning 17001 clauses out of 34008 with flag 333547/11406656
1417.25/1412.32	c cleaning 17999 clauses out of 36007 with flag 373265/11425656
1419.04/1414.11	c cleaning 19000 clauses out of 38009 with flag 415322/11445657
1421.06/1416.17	c cleaning 19998 clauses out of 40008 with flag 459271/11466656
1423.06/1418.15	c cleaning 21002 clauses out of 42011 with flag 504939/11488657
1425.27/1420.39	c cleaning 21998 clauses out of 44008 with flag 552941/11511656
1427.68/1422.75	c cleaning 23003 clauses out of 46011 with flag 602727/11535657
1430.39/1425.40	c cleaning 23999 clauses out of 48007 with flag 655523/11560656
1433.09/1428.10	c cleaning 24997 clauses out of 50008 with flag 709848/11586656
1435.62/1430.63	c cleaning 26002 clauses out of 52012 with flag 770349/11613657
1438.53/1433.58	c cleaning 27002 clauses out of 54009 with flag 831433/11641656
1441.44/1436.44	c cleaning 27994 clauses out of 56008 with flag 899719/11670657
1444.54/1439.51	c cleaning 29002 clauses out of 58013 with flag 983586/11700656
1447.96/1442.92	c cleaning 30004 clauses out of 60012 with flag 1051982/11731657
1451.17/1446.18	c cleaning 30997 clauses out of 62007 with flag 1121422/11763656
1454.58/1449.59	c cleaning 31999 clauses out of 64011 with flag 1192489/11796657
1458.30/1453.22	c cleaning 33005 clauses out of 66011 with flag 1266067/11830656
1462.22/1457.15	c cleaning 34001 clauses out of 68007 with flag 1342032/11865657
1466.25/1461.10	c cleaning 35002 clauses out of 70006 with flag 1420014/11901657
1470.26/1465.13	c cleaning 35999 clauses out of 72003 with flag 1500288/11938656
1474.47/1469.34	c cleaning 36997 clauses out of 74005 with flag 1582650/11976657
1478.79/1473.64	c cleaning 38001 clauses out of 76008 with flag 1666612/12015657
1483.41/1478.26	c cleaning 39001 clauses out of 78007 with flag 1753215/12055657
1487.92/1482.77	c cleaning 39996 clauses out of 80005 with flag 1842132/12096656
1493.02/1487.88	c cleaning 41003 clauses out of 82011 with flag 1932998/12138658
1498.14/1492.99	c cleaning 42003 clauses out of 84007 with flag 2026968/12181657
1503.28/1498.08	c cleaning 43002 clauses out of 86004 with flag 2122866/12225657
1509.00/1503.76	c cleaning 43994 clauses out of 88001 with flag 2220267/12270656
1514.31/1509.07	c cleaning 45002 clauses out of 90008 with flag 2320157/12316657
1519.52/1514.23	c cleaning 45995 clauses out of 92006 with flag 2422616/12363657
1520.44/1515.19	c Got one! Elapsed wall clock time (in seconds):1515.08
1520.44/1515.19	o 12117
1521.06/1515.80	c cleaning 31679 clauses out of 63358 with flag 10535/12381004
1521.91/1516.52	c cleaning 18835 clauses out of 37680 with flag 22931/12387005
1522.42/1517.08	c cleaning 12917 clauses out of 25844 with flag 37391/12394004
1523.03/1517.67	c cleaning 10458 clauses out of 20927 with flag 53731/12402004
1523.74/1518.34	c cleaning 9733 clauses out of 19469 with flag 72226/12411004
1524.45/1519.04	c cleaning 9864 clauses out of 19737 with flag 92864/12421005
1525.25/1519.86	c cleaning 10431 clauses out of 20872 with flag 115558/12432004
1526.15/1520.77	c cleaning 11218 clauses out of 22443 with flag 140315/12444006
1527.16/1521.75	c cleaning 12109 clauses out of 24224 with flag 167170/12457005
1528.27/1522.86	c cleaning 13058 clauses out of 26116 with flag 196115/12471006
1529.48/1524.06	c cleaning 14026 clauses out of 28056 with flag 227360/12486004
1530.78/1525.31	c cleaning 15011 clauses out of 30030 with flag 260561/12502004
1532.21/1526.77	c cleaning 16010 clauses out of 32019 with flag 295818/12519004
1533.71/1528.26	c cleaning 16999 clauses out of 34010 with flag 333154/12537005
1535.62/1530.13	c cleaning 18003 clauses out of 36010 with flag 372511/12556004
1537.52/1532.02	c cleaning 18997 clauses out of 38007 with flag 413988/12576004
1539.52/1534.01	c cleaning 19999 clauses out of 40010 with flag 457267/12597004
1541.63/1536.17	c cleaning 21000 clauses out of 42011 with flag 502598/12619004
1543.83/1538.32	c cleaning 21999 clauses out of 44011 with flag 549959/12642004
1546.15/1540.69	c cleaning 22998 clauses out of 46012 with flag 599546/12666004
1548.66/1543.17	c cleaning 24007 clauses out of 48014 with flag 650964/12691004
1551.07/1545.57	c cleaning 24997 clauses out of 50008 with flag 704666/12717005
1553.76/1548.27	c cleaning 25999 clauses out of 52010 with flag 760165/12744004
1556.27/1550.76	c cleaning 27006 clauses out of 54012 with flag 817957/12772005
1559.38/1553.80	c cleaning 28002 clauses out of 56005 with flag 877728/12801004
1562.59/1557.08	c cleaning 28992 clauses out of 58004 with flag 940758/12831005
1565.79/1560.26	c cleaning 30002 clauses out of 60012 with flag 1006086/12862005
1568.81/1563.24	c cleaning 31002 clauses out of 62011 with flag 1072345/12894006
1571.92/1566.32	c cleaning 31999 clauses out of 64008 with flag 1140981/12927005
1575.04/1569.43	c cleaning 33002 clauses out of 66008 with flag 1211607/12961004
1578.74/1573.16	c cleaning 33998 clauses out of 68006 with flag 1285199/12996004
1582.35/1576.75	c cleaning 34999 clauses out of 70008 with flag 1358972/13032004
1586.26/1580.68	c cleaning 35998 clauses out of 72009 with flag 1436368/13069004
1589.97/1584.36	c cleaning 37002 clauses out of 74012 with flag 1515609/13107005
1594.38/1588.70	c cleaning 37999 clauses out of 76010 with flag 1595789/13146005
1598.30/1592.69	c cleaning 38997 clauses out of 78010 with flag 1678684/13186004
1603.31/1597.61	c cleaning 40003 clauses out of 80014 with flag 1762097/13227005
1608.13/1602.40	c cleaning 41000 clauses out of 82010 with flag 1848106/13269004
1612.85/1607.14	c cleaning 42001 clauses out of 84011 with flag 1935799/13312005
1619.27/1613.50	c cleaning 43004 clauses out of 86009 with flag 2026132/13356004
1624.81/1619.02	c cleaning 44001 clauses out of 88006 with flag 2117941/13401005
1630.14/1624.35	c cleaning 44996 clauses out of 90004 with flag 2216207/13447004
1634.95/1629.11	c cleaning 45997 clauses out of 92008 with flag 2326302/13494004
1640.46/1634.67	c cleaning 47005 clauses out of 94013 with flag 2442957/13542006
1646.38/1640.54	c cleaning 48001 clauses out of 96006 with flag 2555164/13591004
1652.60/1646.79	c cleaning 49000 clauses out of 98006 with flag 2662773/13641005
1658.71/1652.84	c cleaning 49995 clauses out of 100005 with flag 2771934/13692004
1665.03/1659.11	c cleaning 51001 clauses out of 102010 with flag 2883325/13744004
1671.15/1665.28	c cleaning 52002 clauses out of 104011 with flag 2996624/13797006
1678.05/1672.15	c cleaning 52998 clauses out of 106007 with flag 3112541/13851004
1685.37/1679.49	c cleaning 54004 clauses out of 108009 with flag 3230984/13906004
1692.77/1686.84	c cleaning 55003 clauses out of 110005 with flag 3351419/13962004
1700.30/1694.38	c cleaning 55997 clauses out of 112002 with flag 3473839/14019004
1707.52/1701.54	c cleaning 57000 clauses out of 114006 with flag 3597921/14077005
1715.15/1709.12	c cleaning 57998 clauses out of 116005 with flag 3724556/14136004
1723.46/1717.40	c cleaning 59004 clauses out of 118008 with flag 3853203/14196005
1731.49/1725.40	c cleaning 59999 clauses out of 120003 with flag 3984033/14257004
1740.30/1734.24	c cleaning 61001 clauses out of 122005 with flag 4118923/14319005
1748.12/1742.05	c cleaning 61999 clauses out of 124003 with flag 4254869/14382004
1758.54/1752.45	c cleaning 62998 clauses out of 126004 with flag 4393447/14446004
1767.36/1761.25	c cleaning 63999 clauses out of 128006 with flag 4535725/14511004
1777.19/1771.01	c cleaning 64997 clauses out of 130008 with flag 4677738/14577005
1787.01/1780.84	c cleaning 66003 clauses out of 132011 with flag 4822459/14644005
1797.13/1790.92	c cleaning 67002 clauses out of 134008 with flag 4968872/14712005
1800.05/1793.81	c starts		: 337
1800.05/1793.81	c conflicts		: 14740891
1800.05/1793.81	c decisions		: 21206432
1800.05/1793.81	c propagations		: 1376752248
1800.05/1793.81	c inspects		: 17703158075
1800.05/1793.81	c shortcuts		: 0
1800.05/1793.81	c learnt literals	: 0
1800.05/1793.81	c learnt binary clauses	: 0
1800.05/1793.81	c learnt ternary clauses	: 117
1800.05/1793.81	c learnt constraints	: 14740892
1800.05/1793.81	c ignored constraints	: 0
1800.05/1793.81	c root simplifications	: 0
1800.05/1793.81	c removed literals (reason simplification)	: 0
1800.05/1793.81	c reason swapping (by a shorter reason)	: 0
1800.05/1793.81	c Calls to reduceDB	: 368
1800.05/1793.81	c Number of update (reduction) of LBD	: 862679
1800.05/1793.81	c number of reductions to clauses (during analyze)	: 0
1800.05/1793.81	c number of learned constraints concerned by reduction	: 0
1800.05/1793.81	c number of learning phase by resolution	: 0
1800.05/1793.81	c number of learning phase by cutting planes	: 0
1800.05/1793.81	c speed (assignments/second)	: 767601.5403854979
1800.05/1793.81	c non guided choices	249
1800.05/1793.84	c learnt constraints type 
1800.05/1793.84	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 96096
1800.05/1793.84	c constraints type 
1800.05/1793.84	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 849
1800.05/1793.84	c org.sat4j.minisat.constraints.card.MinWatchCard => 58
1800.05/1793.84	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 313
1800.05/1793.84	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2
1800.05/1793.84	c 1222 constraints processed.
1800.05/1793.84	s SATISFIABLE
1800.05/1793.84	v x1 -x2 -x3 -x4 -x5 -x6 x7 -x8 -x9 x10 -x11 -x12 -x13 -x14 x15 -x16 -x17 x18 x19 -x20 -x21 x22 x23 -x24 -x25 -x26 -x27 -x28 x29 -x30 -x31 x32 x33 -x34 -x35 x36 -x37 x38 -x39 x40 -x41 x42 -x43 x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 x52 x53 -x54 -x55 -x56 -x57 x58 -x59 x60 -x61 x62 x63 -x64 -x65 x66 -x67 x68 x69 -x70 -x71 x72 x73 -x74 x75 -x76 -x77 x78 -x79 x80 -x81 x82 -x83 x84 x85 -x86 -x87 x88 -x89 -x90 -x91 x92 x93 -x94 -x95 x96 x97 -x98 -x99 x100 -x101 x102 -x103 x104 -x105 x106 x107 -x108 -x109 x110 -x111 x112 x113 -x114 x115 -x116 -x117 x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 x135 -x136 -x137 x138 -x139 -x140 x141 -x142 x143 -x144 -x145 -x146 -x147 x148 -x149 -x150 -x151 x152 -x153 x154 -x155 x156 x157 -x158 -x159 x160 x161 -x162 -x163 x164 -x165 -x166 -x167 x168 x169 -x170 -x171 -x172 -x173 x174 -x175 -x176 x177 -x178 -x179 -x180 -x181 x182 -x183 x184 -x185 -x186 -x187 -x188 x189 -x190 -x191 x192 x193 -x194 -x195 x196 -x197 -x198 -x199 -x200 -x201 x202 -x203 -x204 -x205 x206 -x207 x208 -x209 -x210 x211 -x212 x213 -x214 -x215 x216 -x217 -x218 -x219 x220 -x221 x222 -x223 -x224 -x225 x226 x227 -x228 -x229 x230 -x231 x232 -x233 -x234 -x235 x236 x237 -x238 -x239 x240 -x241 x242 -x243 x244 x245 -x246 -x247 x248 x249 -x250 -x251 -x252 x253 -x254 -x255 x256 x257 -x258 -x259 -x260 -x261 x262 -x263 x264 -x265 -x266 -x267 x268 -x269 -x270 -x271 x272 -x273 -x274 -x275 x276 -x277 -x278 -x279 x280 -x281 x282 -x283 x284 x285 -x286 -x287 -x288 -x289 x290 -x291 -x292 -x293 x294 -x295 x296 -x297 -x298 -x299 -x300 -x301 x302 -x303 x304 x305 -x306 -x307 -x308 -x309 x310 -x311 -x312 -x313 x314 -x315 -x316 -x317 x318 -x319 x320 x321 -x322 -x323 x324 -x325 -x326 -x327 x328 -x329 -x330 -x331 -x332 -x333 x334 -x335 -x336 -x337 x338 -x339 x340 -x341 x342 x343 -x344 -x345 x346 -x347 x348 x349 -x350 -x351 x352 -x353 x354 -x355 x356 -x357 x358 -x359 -x360 -x361 -x362 x363 -x364 -x365 -x366 -x367 x368 x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 x379 -x380 -x381 x382 -x383 -x384 -x385 -x386 x387 -x388 -x389 x390 -x391 -x392 -x393 x394 -x395 -x396 x397 -x398 -x399 x400 x401 -x402 
1800.05/1793.84	c objective function=12117
1800.05/1793.84	c Total wall clock time (in seconds): 1793.729

Verifier Data 

OK	12117

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-3718009-1338258510/watcher-3718009-1338258510 -o /tmp/evaluation-result-3718009-1338258510/solver-3718009-1338258510 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3718009-1338258510.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.03 2.02 2.00 3/194 31798
/proc/meminfo: memFree=30987548/32873648 swapFree=7372/7372
[pid=31798] ppid=31796 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/31798/stat : 31798 (java) D 31796 31798 27324 0 -1 4202496 249 0 0 0 0 0 0 0 20 0 1 0 291977023 9515008 183 33554432000 1073741824 1073778376 140736714358400 140736714349432 217410518709 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/31798/statm: 2323 183 140 9 0 71 0

[startup+0.0809761 s]
/proc/loadavg: 2.03 2.02 2.00 3/194 31798
/proc/meminfo: memFree=30987548/32873648 swapFree=7372/7372
[pid=31798] ppid=31796 vsize=9558416 CPUtime=0.06 cores=1,3,5,7
/proc/31798/stat : 31798 (java) S 31796 31798 27324 0 -1 4202496 3371 0 1 0 5 1 0 0 20 0 18 0 291977023 9787817984 4579 33554432000 1073741824 1073778376 140734565465440 140734565456576 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31798/statm: 2389604 4580 1773 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558416

[startup+0.100208 s]
/proc/loadavg: 2.03 2.02 2.00 3/194 31798
/proc/meminfo: memFree=30987548/32873648 swapFree=7372/7372
[pid=31798] ppid=31796 vsize=9558416 CPUtime=0.09 cores=1,3,5,7
/proc/31798/stat : 31798 (java) S 31796 31798 27324 0 -1 4202496 4342 0 1 0 8 1 0 0 20 0 18 0 291977023 9787817984 5542 33554432000 1073741824 1073778376 140734565465440 140734565456576 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31798/statm: 2389604 5543 2109 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558416

[startup+0.300228 s]
/proc/loadavg: 2.03 2.02 2.00 3/194 31798
/proc/meminfo: memFree=30987548/32873648 swapFree=7372/7372
[pid=31798] ppid=31796 vsize=9624980 CPUtime=0.48 cores=1,3,5,7
/proc/31798/stat : 31798 (java) S 31796 31798 27324 0 -1 4202496 7497 0 1 0 47 1 0 0 20 0 19 0 291977023 9855979520 8702 33554432000 1073741824 1073778376 140734565465440 140734565456576 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31798/statm: 2406245 8702 2232 9 0 2396937 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9624980

[startup+0.700202 s]
/proc/loadavg: 2.03 2.02 2.00 3/194 31798
/proc/meminfo: memFree=30987548/32873648 swapFree=7372/7372
[pid=31798] ppid=31796 vsize=9624980 CPUtime=1.23 cores=1,3,5,7
/proc/31798/stat : 31798 (java) S 31796 31798 27324 0 -1 4202496 8398 0 1 0 121 2 0 0 20 0 19 0 291977023 9855979520 9569 33554432000 1073741824 1073778376 140734565465440 140734565456576 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31798/statm: 2406245 9569 2241 9 0 2396937 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 9624980

[startup+1.50072 s]
/proc/loadavg: 2.03 2.02 2.00 3/213 31817
/proc/meminfo: memFree=30944652/32873648 swapFree=7372/7372
[pid=31798] ppid=31796 vsize=9624980 CPUtime=2.17 cores=1,3,5,7
/proc/31798/stat : 31798 (java) S 31796 31798 27324 0 -1 4202496 8791 0 1 0 214 3 0 0 20 0 19 0 291977023 9855979520 13224 33554432000 1073741824 1073778376 140734565465440 140734565456576 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31798/statm: 2406245 13224 2273 9 0 2396937 0
[pid=31798/tid=31800] ppid=31796 vsize=9624980 CPUtime=1.45 cores=1,3,5,7
/proc/31798/task/31800/stat : 31800 (java) R 31796 31798 27324 0 -1 4202560 2462 0 1 0 143 2 0 0 20 0 19 0 291977024 9855979520 13224 33554432000 1073741824 1073778376 140734565465440 140321265947016 140321095099730 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31798/tid=31801] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31801/stat : 31801 (java) S 31796 31798 27324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291977025 9855979520 13224 33554432000 1073741824 1073778376 140734565465440 140321227438376 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31798/tid=31802] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31802/stat : 31802 (java) S 31796 31798 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291977025 9855979520 13224 33554432000 1073741824 1073778376 140734565465440 140321226385576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31798/tid=31803] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31803/stat : 31803 (java) S 31796 31798 27324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291977025 9855979520 13224 33554432000 1073741824 1073778376 140734565465440 140321225333288 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31798/tid=31804] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31804/stat : 31804 (java) S 31796 31798 27324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291977025 9855979520 13224 33554432000 1073741824 1073778376 140734565465440 140321224280488 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31798/tid=31805] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31805/stat : 31805 (java) S 31796 31798 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291977025 9855979520 13224 33554432000 1073741824 1073778376 140734565465440 140321223228200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31806] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31806/stat : 31806 (java) S 31796 31798 27324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291977025 9855979520 13224 33554432000 1073741824 1073778376 140734565465440 140321222175400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31798/tid=31807] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31807/stat : 31807 (java) S 31796 31798 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291977025 9855979520 13224 33554432000 1073741824 1073778376 140734565465440 140321221123112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31798/tid=31808] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31808/stat : 31808 (java) S 31796 31798 27324 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 291977025 9855979520 13224 33554432000 1073741824 1073778376 140734565465440 140321220070312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31798/tid=31809] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31809/stat : 31809 (java) S 31796 31798 27324 0 -1 4202560 31 0 0 0 0 0 0 0 20 0 19 0 291977026 9855979520 13224 33554432000 1073741824 1073778376 140734565465440 140321089362152 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31810] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31810/stat : 31810 (java) S 31796 31798 27324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291977027 9855979520 13224 33554432000 1073741824 1073778376 140734565465440 140321088308216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31811] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31811/stat : 31811 (java) S 31796 31798 27324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291977027 9855979520 13224 33554432000 1073741824 1073778376 140734565465440 140321087255816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31812] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31812/stat : 31812 (java) S 31796 31798 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291977029 9855979520 13224 33554432000 1073741824 1073778376 140734565465440 140321086204304 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31813] ppid=31796 vsize=9624980 CPUtime=0.31 cores=1,3,5,7
/proc/31798/task/31813/stat : 31813 (java) S 31796 31798 27324 0 -1 4202560 2344 0 0 0 31 0 0 0 20 0 19 0 291977029 9855979520 13224 33554432000 1073741824 1073778376 140734565465440 140321085151928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31814] ppid=31796 vsize=9624980 CPUtime=0.34 cores=1,3,5,7
/proc/31798/task/31814/stat : 31814 (java) S 31796 31798 27324 0 -1 4202560 2735 0 0 0 34 0 0 0 20 0 19 0 291977029 9855979520 13224 33554432000 1073741824 1073778376 140734565465440 140321084099128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31798/tid=31815] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31815/stat : 31815 (java) S 31796 31798 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291977029 9855979520 13224 33554432000 1073741824 1073778376 140734565465440 140321083047032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31798/tid=31816] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31816/stat : 31816 (java) S 31796 31798 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291977029 9855979520 13224 33554432000 1073741824 1073778376 140734565465440 140321081994440 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31798/tid=31817] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31817/stat : 31817 (java) S 31796 31798 27324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291977047 9855979520 13224 33554432000 1073741824 1073778376 140734565465440 140321080939432 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 9624980

[startup+3.1006 s]
/proc/loadavg: 2.03 2.02 2.00 3/213 31817
/proc/meminfo: memFree=30940060/32873648 swapFree=7372/7372
[pid=31798] ppid=31796 vsize=9624980 CPUtime=3.82 cores=1,3,5,7
/proc/31798/stat : 31798 (java) S 31796 31798 27324 0 -1 4202496 8805 0 1 0 379 3 0 0 20 0 19 0 291977023 9855979520 13746 33554432000 1073741824 1073778376 140734565465440 140734565456576 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31798/statm: 2406245 13746 2273 9 0 2396937 0
[pid=31798/tid=31800] ppid=31796 vsize=9624980 CPUtime=3.02 cores=1,3,5,7
/proc/31798/task/31800/stat : 31800 (java) R 31796 31798 27324 0 -1 4202560 2462 0 1 0 300 2 0 0 20 0 19 0 291977024 9855979520 13746 33554432000 1073741824 1073778376 140734565465440 140321265947112 140321095149039 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31798/tid=31801] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31801/stat : 31801 (java) S 31796 31798 27324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291977025 9855979520 13746 33554432000 1073741824 1073778376 140734565465440 140321227438376 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31798/tid=31802] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31802/stat : 31802 (java) S 31796 31798 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291977025 9855979520 13746 33554432000 1073741824 1073778376 140734565465440 140321226385576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31803] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31803/stat : 31803 (java) S 31796 31798 27324 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291977025 9855979520 13746 33554432000 1073741824 1073778376 140734565465440 140321225333288 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31798/tid=31804] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31804/stat : 31804 (java) S 31796 31798 27324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291977025 9855979520 13746 33554432000 1073741824 1073778376 140734565465440 140321224280488 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31798/tid=31805] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31805/stat : 31805 (java) S 31796 31798 27324 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291977025 9855979520 13746 33554432000 1073741824 1073778376 140734565465440 140321223228200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31806] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31806/stat : 31806 (java) S 31796 31798 27324 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 291977025 9855979520 13746 33554432000 1073741824 1073778376 140734565465440 140321222175400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31798/tid=31807] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31807/stat : 31807 (java) S 31796 31798 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291977025 9855979520 13746 33554432000 1073741824 1073778376 140734565465440 140321221123112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31798/tid=31808] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31808/stat : 31808 (java) S 31796 31798 27324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291977025 9855979520 13746 33554432000 1073741824 1073778376 140734565465440 140321220070312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31798/tid=31809] ppid=31796 vsize=9624980 CPUtime=0.03 cores=1,3,5,7
/proc/31798/task/31809/stat : 31809 (java) S 31796 31798 27324 0 -1 4202560 32 0 0 0 3 0 0 0 20 0 19 0 291977026 9855979520 13746 33554432000 1073741824 1073778376 140734565465440 140321089362152 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31798/tid=31810] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31810/stat : 31810 (java) S 31796 31798 27324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291977027 9855979520 13746 33554432000 1073741824 1073778376 140734565465440 140321088308216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31811] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31811/stat : 31811 (java) S 31796 31798 27324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291977027 9855979520 13746 33554432000 1073741824 1073778376 140734565465440 140321087255816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31812] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31812/stat : 31812 (java) S 31796 31798 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291977029 9855979520 13746 33554432000 1073741824 1073778376 140734565465440 140321086204304 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31813] ppid=31796 vsize=9624980 CPUtime=0.36 cores=1,3,5,7
/proc/31798/task/31813/stat : 31813 (java) S 31796 31798 27324 0 -1 4202560 2347 0 0 0 36 0 0 0 20 0 19 0 291977029 9855979520 13746 33554432000 1073741824 1073778376 140734565465440 140321085151928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31814] ppid=31796 vsize=9624980 CPUtime=0.34 cores=1,3,5,7
/proc/31798/task/31814/stat : 31814 (java) S 31796 31798 27324 0 -1 4202560 2735 0 0 0 34 0 0 0 20 0 19 0 291977029 9855979520 13746 33554432000 1073741824 1073778376 140734565465440 140321084099128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31798/tid=31815] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31815/stat : 31815 (java) S 31796 31798 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291977029 9855979520 13746 33554432000 1073741824 1073778376 140734565465440 140321083047032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31798/tid=31816] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31816/stat : 31816 (java) S 31796 31798 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291977029 9855979520 13746 33554432000 1073741824 1073778376 140734565465440 140321081994440 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31798/tid=31817] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31817/stat : 31817 (java) S 31796 31798 27324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291977047 9855979520 13746 33554432000 1073741824 1073778376 140734565465440 140321080939432 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.82
Current children cumulated vsize (KiB) 9624980

[startup+6.30055 s]
/proc/loadavg: 2.02 2.02 2.00 3/213 31817
/proc/meminfo: memFree=30940016/32873648 swapFree=7372/7372
[pid=31798] ppid=31796 vsize=9624980 CPUtime=7.03 cores=1,3,5,7
/proc/31798/stat : 31798 (java) S 31796 31798 27324 0 -1 4202496 8826 0 1 0 700 3 0 0 20 0 19 0 291977023 9855979520 13681 33554432000 1073741824 1073778376 140734565465440 140734565456576 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31798/statm: 2406245 13681 2273 9 0 2396937 0
[pid=31798/tid=31800] ppid=31796 vsize=9624980 CPUtime=6.16 cores=1,3,5,7
/proc/31798/task/31800/stat : 31800 (java) R 31796 31798 27324 0 -1 4202560 2467 0 1 0 614 2 0 0 20 0 19 0 291977024 9855979520 13681 33554432000 1073741824 1073778376 140734565465440 140321265946896 140321095099822 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=31798/tid=31801] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31801/stat : 31801 (java) S 31796 31798 27324 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 291977025 9855979520 13681 33554432000 1073741824 1073778376 140734565465440 140321227438376 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31798/tid=31802] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31802/stat : 31802 (java) S 31796 31798 27324 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 291977025 9855979520 13681 33554432000 1073741824 1073778376 140734565465440 140321226385576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31803] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31803/stat : 31803 (java) S 31796 31798 27324 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291977025 9855979520 13681 33554432000 1073741824 1073778376 140734565465440 140321225333288 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31798/tid=31804] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31804/stat : 31804 (java) S 31796 31798 27324 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 291977025 9855979520 13681 33554432000 1073741824 1073778376 140734565465440 140321224280488 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31798/tid=31805] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31805/stat : 31805 (java) S 31796 31798 27324 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 291977025 9855979520 13681 33554432000 1073741824 1073778376 140734565465440 140321223228200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31806] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31806/stat : 31806 (java) S 31796 31798 27324 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 291977025 9855979520 13681 33554432000 1073741824 1073778376 140734565465440 140321222175400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31798/tid=31807] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31807/stat : 31807 (java) S 31796 31798 27324 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 291977025 9855979520 13681 33554432000 1073741824 1073778376 140734565465440 140321221123112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31798/tid=31808] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31808/stat : 31808 (java) S 31796 31798 27324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291977025 9855979520 13681 33554432000 1073741824 1073778376 140734565465440 140321220070312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31798/tid=31809] ppid=31796 vsize=9624980 CPUtime=0.07 cores=1,3,5,7
/proc/31798/task/31809/stat : 31809 (java) S 31796 31798 27324 0 -1 4202560 32 0 0 0 7 0 0 0 20 0 19 0 291977026 9855979520 13681 33554432000 1073741824 1073778376 140734565465440 140321089362152 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31798/tid=31810] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31810/stat : 31810 (java) S 31796 31798 27324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291977027 9855979520 13681 33554432000 1073741824 1073778376 140734565465440 140321088308216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31811] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31811/stat : 31811 (java) S 31796 31798 27324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291977027 9855979520 13681 33554432000 1073741824 1073778376 140734565465440 140321087255816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31812] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31812/stat : 31812 (java) S 31796 31798 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291977029 9855979520 13681 33554432000 1073741824 1073778376 140734565465440 140321086204304 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31813] ppid=31796 vsize=9624980 CPUtime=0.36 cores=1,3,5,7
/proc/31798/task/31813/stat : 31813 (java) S 31796 31798 27324 0 -1 4202560 2347 0 0 0 36 0 0 0 20 0 19 0 291977029 9855979520 13681 33554432000 1073741824 1073778376 140734565465440 140321085151928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31814] ppid=31796 vsize=9624980 CPUtime=0.34 cores=1,3,5,7
/proc/31798/task/31814/stat : 31814 (java) S 31796 31798 27324 0 -1 4202560 2735 0 0 0 34 0 0 0 20 0 19 0 291977029 9855979520 13681 33554432000 1073741824 1073778376 140734565465440 140321084099128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31798/tid=31815] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31815/stat : 31815 (java) S 31796 31798 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291977029 9855979520 13681 33554432000 1073741824 1073778376 140734565465440 140321083047032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31798/tid=31816] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31816/stat : 31816 (java) S 31796 31798 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291977029 9855979520 13681 33554432000 1073741824 1073778376 140734565465440 140321081994440 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31798/tid=31817] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31817/stat : 31817 (java) S 31796 31798 27324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291977047 9855979520 13681 33554432000 1073741824 1073778376 140734565465440 140321080939432 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 7.03
Current children cumulated vsize (KiB) 9624980

[startup+12.7006 s]

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

[pid=31798/tid=31806] ppid=31796 vsize=9624980 CPUtime=0.96 cores=1,3,5,7
/proc/31798/task/31806/stat : 31806 (java) S 31796 31798 27324 0 -1 4202560 129 0 0 0 94 2 0 0 20 0 19 0 291977025 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321222175400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31798/tid=31807] ppid=31796 vsize=9624980 CPUtime=0.9 cores=1,3,5,7
/proc/31798/task/31807/stat : 31807 (java) S 31796 31798 27324 0 -1 4202560 243 0 0 0 88 2 0 0 20 0 19 0 291977025 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321221123112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31808] ppid=31796 vsize=9624980 CPUtime=0.88 cores=1,3,5,7
/proc/31798/task/31808/stat : 31808 (java) S 31796 31798 27324 0 -1 4202560 170 0 0 0 86 2 0 0 20 0 19 0 291977025 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321220070312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31798/tid=31809] ppid=31796 vsize=9624980 CPUtime=9.66 cores=1,3,5,7
/proc/31798/task/31809/stat : 31809 (java) S 31796 31798 27324 0 -1 4202560 164 0 0 0 963 3 0 0 20 0 19 0 291977026 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321089362152 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31798/tid=31810] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31810/stat : 31810 (java) S 31796 31798 27324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291977027 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321088308216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31811] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31811/stat : 31811 (java) S 31796 31798 27324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291977027 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321087255816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31812] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31812/stat : 31812 (java) S 31796 31798 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291977029 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321086204304 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31813] ppid=31796 vsize=9624980 CPUtime=0.46 cores=1,3,5,7
/proc/31798/task/31813/stat : 31813 (java) S 31796 31798 27324 0 -1 4202560 2760 0 0 0 46 0 0 0 20 0 19 0 291977029 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321085151928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31798/tid=31814] ppid=31796 vsize=9624980 CPUtime=0.37 cores=1,3,5,7
/proc/31798/task/31814/stat : 31814 (java) S 31796 31798 27324 0 -1 4202560 2738 0 0 0 37 0 0 0 20 0 19 0 291977029 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321084099128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31798/tid=31815] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31815/stat : 31815 (java) S 31796 31798 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291977029 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321083047032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31798/tid=31816] ppid=31796 vsize=9624980 CPUtime=0.36 cores=1,3,5,7
/proc/31798/task/31816/stat : 31816 (java) S 31796 31798 27324 0 -1 4202560 95 0 0 0 17 19 0 0 20 0 19 0 291977029 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321081994440 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31798/tid=31817] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31817/stat : 31817 (java) S 31796 31798 27324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291977047 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321080939432 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1668.24
Current children cumulated vsize (KiB) 9624980

[startup+1722.3 s]
/proc/loadavg: 1.05 1.55 1.82 2/189 31858
/proc/meminfo: memFree=30964520/32873648 swapFree=7372/7372
[pid=31798] ppid=31796 vsize=9624980 CPUtime=1728.38 cores=1,3,5,7
/proc/31798/stat : 31798 (java) S 31796 31798 27324 0 -1 4202496 11535 0 1 0 172796 42 0 0 20 0 19 0 291977023 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140734565456576 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31798/statm: 2406245 54039 2276 9 0 2396937 0
[pid=31798/tid=31800] ppid=31796 vsize=9624980 CPUtime=1710.01 cores=1,3,5,7
/proc/31798/task/31800/stat : 31800 (java) R 31796 31798 27324 0 -1 4202560 2843 0 1 0 170972 29 0 0 20 0 19 0 291977024 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321265946896 140321095099730 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31801] ppid=31796 vsize=9624980 CPUtime=0.91 cores=1,3,5,7
/proc/31798/task/31801/stat : 31801 (java) S 31796 31798 27324 0 -1 4202560 275 0 0 0 89 2 0 0 20 0 19 0 291977025 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321227438376 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31802] ppid=31796 vsize=9624980 CPUtime=0.93 cores=1,3,5,7
/proc/31798/task/31802/stat : 31802 (java) S 31796 31798 27324 0 -1 4202560 270 0 0 0 91 2 0 0 20 0 19 0 291977025 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321226385576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31798/tid=31803] ppid=31796 vsize=9624980 CPUtime=0.86 cores=1,3,5,7
/proc/31798/task/31803/stat : 31803 (java) S 31796 31798 27324 0 -1 4202560 268 0 0 0 84 2 0 0 20 0 19 0 291977025 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321225333288 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31798/tid=31804] ppid=31796 vsize=9624980 CPUtime=0.97 cores=1,3,5,7
/proc/31798/task/31804/stat : 31804 (java) S 31796 31798 27324 0 -1 4202560 277 0 0 0 94 3 0 0 20 0 19 0 291977025 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321224280488 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31805] ppid=31796 vsize=9624980 CPUtime=0.93 cores=1,3,5,7
/proc/31798/task/31805/stat : 31805 (java) S 31796 31798 27324 0 -1 4202560 114 0 0 0 91 2 0 0 20 0 19 0 291977025 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321223228200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31806] ppid=31796 vsize=9624980 CPUtime=0.98 cores=1,3,5,7
/proc/31798/task/31806/stat : 31806 (java) S 31796 31798 27324 0 -1 4202560 129 0 0 0 96 2 0 0 20 0 19 0 291977025 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321222175400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31798/tid=31807] ppid=31796 vsize=9624980 CPUtime=0.92 cores=1,3,5,7
/proc/31798/task/31807/stat : 31807 (java) S 31796 31798 27324 0 -1 4202560 243 0 0 0 90 2 0 0 20 0 19 0 291977025 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321221123112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31798/tid=31808] ppid=31796 vsize=9624980 CPUtime=0.91 cores=1,3,5,7
/proc/31798/task/31808/stat : 31808 (java) S 31796 31798 27324 0 -1 4202560 170 0 0 0 89 2 0 0 20 0 19 0 291977025 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321220070312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31809] ppid=31796 vsize=9624980 CPUtime=9.95 cores=1,3,5,7
/proc/31798/task/31809/stat : 31809 (java) S 31796 31798 27324 0 -1 4202560 168 0 0 0 992 3 0 0 20 0 19 0 291977026 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321089362152 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31798/tid=31810] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31810/stat : 31810 (java) S 31796 31798 27324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291977027 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321088308216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31811] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31811/stat : 31811 (java) S 31796 31798 27324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291977027 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321087255816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31812] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31812/stat : 31812 (java) S 31796 31798 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291977029 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321086204304 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31813] ppid=31796 vsize=9624980 CPUtime=0.46 cores=1,3,5,7
/proc/31798/task/31813/stat : 31813 (java) S 31796 31798 27324 0 -1 4202560 2760 0 0 0 46 0 0 0 20 0 19 0 291977029 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321085151928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31798/tid=31814] ppid=31796 vsize=9624980 CPUtime=0.37 cores=1,3,5,7
/proc/31798/task/31814/stat : 31814 (java) S 31796 31798 27324 0 -1 4202560 2738 0 0 0 37 0 0 0 20 0 19 0 291977029 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321084099128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31798/tid=31815] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31815/stat : 31815 (java) S 31796 31798 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291977029 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321083047032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31798/tid=31816] ppid=31796 vsize=9624980 CPUtime=0.37 cores=1,3,5,7
/proc/31798/task/31816/stat : 31816 (java) S 31796 31798 27324 0 -1 4202560 99 0 0 0 17 20 0 0 20 0 19 0 291977029 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321081994440 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31798/tid=31817] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31817/stat : 31817 (java) S 31796 31798 27324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291977047 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321080939432 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1728.38
Current children cumulated vsize (KiB) 9624980

[startup+1782.3 s]
/proc/loadavg: 1.02 1.45 1.76 2/189 31859
/proc/meminfo: memFree=30964524/32873648 swapFree=7372/7372
[pid=31798] ppid=31796 vsize=9624980 CPUtime=1788.53 cores=1,3,5,7
/proc/31798/stat : 31798 (java) S 31796 31798 27324 0 -1 4202496 11550 0 1 0 178809 44 0 0 20 0 19 0 291977023 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140734565456576 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31798/statm: 2406245 54039 2276 9 0 2396937 0
[pid=31798/tid=31800] ppid=31796 vsize=9624980 CPUtime=1769.7 cores=1,3,5,7
/proc/31798/task/31800/stat : 31800 (java) R 31796 31798 27324 0 -1 4202560 2850 0 1 0 176940 30 0 0 20 0 19 0 291977024 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321265946896 140321095200632 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31801] ppid=31796 vsize=9624980 CPUtime=0.93 cores=1,3,5,7
/proc/31798/task/31801/stat : 31801 (java) S 31796 31798 27324 0 -1 4202560 275 0 0 0 91 2 0 0 20 0 19 0 291977025 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321227438376 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31798/tid=31802] ppid=31796 vsize=9624980 CPUtime=0.95 cores=1,3,5,7
/proc/31798/task/31802/stat : 31802 (java) S 31796 31798 27324 0 -1 4202560 270 0 0 0 93 2 0 0 20 0 19 0 291977025 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321226385576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31798/tid=31803] ppid=31796 vsize=9624980 CPUtime=0.89 cores=1,3,5,7
/proc/31798/task/31803/stat : 31803 (java) S 31796 31798 27324 0 -1 4202560 268 0 0 0 87 2 0 0 20 0 19 0 291977025 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321225333288 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31804] ppid=31796 vsize=9624980 CPUtime=0.99 cores=1,3,5,7
/proc/31798/task/31804/stat : 31804 (java) S 31796 31798 27324 0 -1 4202560 277 0 0 0 96 3 0 0 20 0 19 0 291977025 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321224280488 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31798/tid=31805] ppid=31796 vsize=9624980 CPUtime=0.94 cores=1,3,5,7
/proc/31798/task/31805/stat : 31805 (java) S 31796 31798 27324 0 -1 4202560 114 0 0 0 92 2 0 0 20 0 19 0 291977025 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321223228200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31798/tid=31806] ppid=31796 vsize=9624980 CPUtime=1.01 cores=1,3,5,7
/proc/31798/task/31806/stat : 31806 (java) S 31796 31798 27324 0 -1 4202560 129 0 0 0 99 2 0 0 20 0 19 0 291977025 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321222175400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31798/tid=31807] ppid=31796 vsize=9624980 CPUtime=0.95 cores=1,3,5,7
/proc/31798/task/31807/stat : 31807 (java) S 31796 31798 27324 0 -1 4202560 243 0 0 0 93 2 0 0 20 0 19 0 291977025 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321221123112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31808] ppid=31796 vsize=9624980 CPUtime=0.93 cores=1,3,5,7
/proc/31798/task/31808/stat : 31808 (java) S 31796 31798 27324 0 -1 4202560 170 0 0 0 91 2 0 0 20 0 19 0 291977025 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321220070312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31809] ppid=31796 vsize=9624980 CPUtime=10.21 cores=1,3,5,7
/proc/31798/task/31809/stat : 31809 (java) S 31796 31798 27324 0 -1 4202560 172 0 0 0 1017 4 0 0 20 0 19 0 291977026 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321089362152 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31798/tid=31810] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31810/stat : 31810 (java) S 31796 31798 27324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291977027 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321088308216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31811] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31811/stat : 31811 (java) S 31796 31798 27324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291977027 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321087255816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31812] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31812/stat : 31812 (java) S 31796 31798 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291977029 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321086204304 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31813] ppid=31796 vsize=9624980 CPUtime=0.46 cores=1,3,5,7
/proc/31798/task/31813/stat : 31813 (java) S 31796 31798 27324 0 -1 4202560 2760 0 0 0 46 0 0 0 20 0 19 0 291977029 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321085151928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31798/tid=31814] ppid=31796 vsize=9624980 CPUtime=0.37 cores=1,3,5,7
/proc/31798/task/31814/stat : 31814 (java) S 31796 31798 27324 0 -1 4202560 2738 0 0 0 37 0 0 0 20 0 19 0 291977029 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321084099128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31798/tid=31815] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31815/stat : 31815 (java) S 31796 31798 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291977029 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321083047032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31798/tid=31816] ppid=31796 vsize=9624980 CPUtime=0.38 cores=1,3,5,7
/proc/31798/task/31816/stat : 31816 (java) S 31796 31798 27324 0 -1 4202560 103 0 0 0 18 20 0 0 20 0 19 0 291977029 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321081994440 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31798/tid=31817] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31817/stat : 31817 (java) S 31796 31798 27324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291977047 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321080939432 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1788.53
Current children cumulated vsize (KiB) 9624980



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1793.8 s]
/proc/loadavg: 1.01 1.44 1.76 2/189 31859
/proc/meminfo: memFree=30964652/32873648 swapFree=7372/7372
[pid=31798] ppid=31796 vsize=9624980 CPUtime=1800.05 cores=1,3,5,7
/proc/31798/stat : 31798 (java) S 31796 31798 27324 0 -1 4202496 11551 0 1 0 179961 44 0 0 20 0 19 0 291977023 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140734565456576 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/31798/statm: 2406245 54039 2276 9 0 2396937 0
[pid=31798/tid=31800] ppid=31796 vsize=9624980 CPUtime=1781.15 cores=1,3,5,7
/proc/31798/task/31800/stat : 31800 (java) R 31796 31798 27324 0 -1 4202560 2851 0 1 0 178084 31 0 0 20 0 19 0 291977024 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321265946896 140321095221127 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31801] ppid=31796 vsize=9624980 CPUtime=0.93 cores=1,3,5,7
/proc/31798/task/31801/stat : 31801 (java) S 31796 31798 27324 0 -1 4202560 275 0 0 0 91 2 0 0 20 0 19 0 291977025 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321227438376 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31798/tid=31802] ppid=31796 vsize=9624980 CPUtime=0.96 cores=1,3,5,7
/proc/31798/task/31802/stat : 31802 (java) S 31796 31798 27324 0 -1 4202560 270 0 0 0 94 2 0 0 20 0 19 0 291977025 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321226385576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31798/tid=31803] ppid=31796 vsize=9624980 CPUtime=0.89 cores=1,3,5,7
/proc/31798/task/31803/stat : 31803 (java) S 31796 31798 27324 0 -1 4202560 268 0 0 0 87 2 0 0 20 0 19 0 291977025 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321225333288 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31804] ppid=31796 vsize=9624980 CPUtime=0.99 cores=1,3,5,7
/proc/31798/task/31804/stat : 31804 (java) S 31796 31798 27324 0 -1 4202560 277 0 0 0 96 3 0 0 20 0 19 0 291977025 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321224280488 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31798/tid=31805] ppid=31796 vsize=9624980 CPUtime=0.94 cores=1,3,5,7
/proc/31798/task/31805/stat : 31805 (java) S 31796 31798 27324 0 -1 4202560 114 0 0 0 92 2 0 0 20 0 19 0 291977025 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321223228200 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=31798/tid=31806] ppid=31796 vsize=9624980 CPUtime=1.01 cores=1,3,5,7
/proc/31798/task/31806/stat : 31806 (java) S 31796 31798 27324 0 -1 4202560 129 0 0 0 99 2 0 0 20 0 19 0 291977025 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321222175400 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31798/tid=31807] ppid=31796 vsize=9624980 CPUtime=0.96 cores=1,3,5,7
/proc/31798/task/31807/stat : 31807 (java) S 31796 31798 27324 0 -1 4202560 243 0 0 0 94 2 0 0 20 0 19 0 291977025 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321221123112 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31808] ppid=31796 vsize=9624980 CPUtime=0.93 cores=1,3,5,7
/proc/31798/task/31808/stat : 31808 (java) S 31796 31798 27324 0 -1 4202560 170 0 0 0 91 2 0 0 20 0 19 0 291977025 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321220070312 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31798/tid=31809] ppid=31796 vsize=9624980 CPUtime=10.26 cores=1,3,5,7
/proc/31798/task/31809/stat : 31809 (java) S 31796 31798 27324 0 -1 4202560 172 0 0 0 1022 4 0 0 20 0 19 0 291977026 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321089362152 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31798/tid=31810] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31810/stat : 31810 (java) S 31796 31798 27324 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 291977027 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321088308216 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31811] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31811/stat : 31811 (java) S 31796 31798 27324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 291977027 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321087255816 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31812] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31812/stat : 31812 (java) S 31796 31798 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291977029 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321086204304 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=31798/tid=31813] ppid=31796 vsize=9624980 CPUtime=0.46 cores=1,3,5,7
/proc/31798/task/31813/stat : 31813 (java) S 31796 31798 27324 0 -1 4202560 2760 0 0 0 46 0 0 0 20 0 19 0 291977029 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321085151928 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31798/tid=31814] ppid=31796 vsize=9624980 CPUtime=0.37 cores=1,3,5,7
/proc/31798/task/31814/stat : 31814 (java) S 31796 31798 27324 0 -1 4202560 2738 0 0 0 37 0 0 0 20 0 19 0 291977029 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321084099128 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31798/tid=31815] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31815/stat : 31815 (java) S 31796 31798 27324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 291977029 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321083047032 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=31798/tid=31816] ppid=31796 vsize=9624980 CPUtime=0.39 cores=1,3,5,7
/proc/31798/task/31816/stat : 31816 (java) S 31796 31798 27324 0 -1 4202560 103 0 0 0 18 21 0 0 20 0 19 0 291977029 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321081994440 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=31798/tid=31817] ppid=31796 vsize=9624980 CPUtime=0 cores=1,3,5,7
/proc/31798/task/31817/stat : 31817 (java) S 31796 31798 27324 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 291977047 9855979520 54039 33554432000 1073741824 1073778376 140734565465440 140321080939432 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 9624980

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

Child status: 143
Real time (s): 1793.84
CPU time (s): 1800.58
CPU user time (s): 1799.71
CPU system time (s): 0.874867
CPU usage (%): 100.376
Max. virtual memory (cumulated for all children) (KiB): 9624980

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.874867
maximum resident set size= 216308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11591
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48079
involuntary context switches= 26491

runsolver used 6.33204 second user time and 14.2418 second system time

The end

Launcher Data 

Begin job on node122 at 2012-05-29 04:28:30
IDJOB=3718009
IDBENCH=79611
IDSOLVER=2301
FILE ID=node122/3718009-1338258510
RUNJOBID= node122-1338247599-29941
PBS_JOBID= 14624660
Free space on /tmp= 71684 MiB

SOLVER NAME= Sat4j PB  2012-05-28
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/spot5/normalized-spot5-503_wcsp.wbo
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3718009-1338258510/watcher-3718009-1338258510 -o /tmp/evaluation-result-3718009-1338258510/solver-3718009-1338258510 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3718009-1338258510.wbo

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

MD5SUM BENCH= 08f4b88f9040f70d336d7e223b6d5133
RANDOM SEED=543252336

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:        30988084 kB
Buffers:          345100 kB
Cached:           490764 kB
SwapCached:         1100 kB
Active:           926968 kB
Inactive:         102636 kB
Active(anon):     189800 kB
Inactive(anon):     6052 kB
Active(file):     737168 kB
Inactive(file):    96584 kB
Unevictable:        7372 kB
Mlocked:            7372 kB
SwapTotal:      67108856 kB
SwapFree:       67102816 kB
Dirty:               504 kB
Writeback:             0 kB
AnonPages:        199504 kB
Mapped:            19120 kB
Shmem:                 8 kB
Slab:             717832 kB
SReclaimable:     161672 kB
SUnreclaim:       556160 kB
KernelStack:        1592 kB
PageTables:         4596 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     699388 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:    159744 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 04:58:26