Trace number 4118227

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 NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)-81 1800.06 1795.14

General information on the benchmark

NamePB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/
minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-04.lin.opb
MD5SUM36efb62283908685a57ace0d721a5bbe
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-81
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables223
Total number of constraints386
Number of constraints which are clauses193
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints193
Minimum length of a constraint3
Maximum length of a constraint5
Number of terms in the objective function 223
Biggest coefficient in the objective function 16
Number of bits for the biggest coefficient in the objective function 5
Sum of the numbers in the objective function 2376
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 2376
Number of bits of the biggest sum of numbers12
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.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/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@2b21cc40
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 Glucose 2.1 dynamic restart strategy
0.09/0.11	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.11	c timeout=2147483s
0.09/0.11	c DB Simplification allowed=false
0.09/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4118227-1467225863.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.09/0.18	c ... done. Wall clock time 0.067s.
0.09/0.18	c declared #vars     223
0.09/0.18	c #constraints  386
0.09/0.18	c constraints type 
0.09/0.18	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 193
0.09/0.18	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 193
0.09/0.18	c 386 constraints processed.
0.09/0.18	c objective function length is 223 literals
0.09/0.19	c SATISFIABLE
0.09/0.19	c OPTIMIZING...
0.09/0.19	c Got one! Elapsed wall clock time (in seconds):0.074
0.09/0.19	o -73
0.65/0.40	c Got one! Elapsed wall clock time (in seconds):0.289
0.65/0.40	o -75
0.79/0.59	c cleaning 2572 clauses out of 5146 with flag 6247/5146
1.31/0.92	c cleaning 4286 clauses out of 8574 with flag 19172/11146
1.79/1.30	c cleaning 5644 clauses out of 11288 with flag 33532/18146
2.34/1.83	c cleaning 6818 clauses out of 13643 with flag 49806/26145
2.88/2.36	c cleaning 7913 clauses out of 15825 with flag 69647/35145
3.49/2.97	c cleaning 8957 clauses out of 17913 with flag 91252/45146
4.28/3.73	c cleaning 9974 clauses out of 19956 with flag 114770/56146
5.09/4.57	c cleaning 10990 clauses out of 21981 with flag 140344/68145
5.58/5.04	c Got one! Elapsed wall clock time (in seconds):4.928
5.58/5.04	o -77
5.98/5.49	c cleaning 12009 clauses out of 24017 with flag 10304/81171
6.58/6.01	c cleaning 8997 clauses out of 18008 with flag 22796/87171
6.98/6.46	c cleaning 8004 clauses out of 16013 with flag 36992/94173
7.48/6.98	c cleaning 8002 clauses out of 16007 with flag 53754/102171
8.08/7.54	c cleaning 8498 clauses out of 17006 with flag 72413/111172
8.68/8.16	c cleaning 9249 clauses out of 18507 with flag 95680/121171
9.28/8.76	c cleaning 10129 clauses out of 20258 with flag 119393/132171
9.38/8.87	c Got one! Elapsed wall clock time (in seconds):8.761
9.38/8.87	o -78
9.58/9.08	c cleaning 7939 clauses out of 15887 with flag 6344/137929
10.09/9.52	c cleaning 6972 clauses out of 13948 with flag 18826/143929
10.50/9.93	c cleaning 6982 clauses out of 13976 with flag 33532/150929
10.99/10.43	c cleaning 7497 clauses out of 14995 with flag 50815/158930
11.60/11.01	c cleaning 8247 clauses out of 16497 with flag 70131/167929
12.29/11.70	c cleaning 9121 clauses out of 18250 with flag 91164/177929
12.99/12.45	c cleaning 10063 clauses out of 20130 with flag 114089/188930
13.90/13.35	c cleaning 11030 clauses out of 22066 with flag 139617/200929
15.02/14.42	c cleaning 12016 clauses out of 24036 with flag 167730/213929
16.12/15.51	c cleaning 13006 clauses out of 26022 with flag 197152/227931
17.41/16.81	c cleaning 14006 clauses out of 28014 with flag 229594/242929
18.91/18.35	c cleaning 15001 clauses out of 30008 with flag 264324/258929
20.21/19.61	c cleaning 15999 clauses out of 32007 with flag 302334/275929
21.52/20.98	c cleaning 17002 clauses out of 34009 with flag 343414/293930
23.01/22.40	c cleaning 18001 clauses out of 36007 with flag 386787/312930
24.61/24.00	c cleaning 18999 clauses out of 38006 with flag 431707/332930
25.92/25.37	c Got one! Elapsed wall clock time (in seconds):25.255
25.92/25.37	o -79
26.51/25.97	c cleaning 21113 clauses out of 42226 with flag 11656/356149
27.02/26.47	c cleaning 13549 clauses out of 27113 with flag 25726/362149
27.51/26.91	c cleaning 10277 clauses out of 20564 with flag 42126/369149
27.91/27.34	c cleaning 9134 clauses out of 18287 with flag 60172/377149
28.41/27.89	c cleaning 9069 clauses out of 18152 with flag 80757/386148
29.01/28.46	c cleaning 9539 clauses out of 19083 with flag 102527/396148
29.71/29.18	c cleaning 10269 clauses out of 20547 with flag 127232/407151
30.42/29.87	c cleaning 11138 clauses out of 22275 with flag 154717/419148
31.21/30.68	c cleaning 12064 clauses out of 24137 with flag 183005/432148
32.26/31.61	c cleaning 13033 clauses out of 26073 with flag 212817/446148
33.26/32.65	c cleaning 14020 clauses out of 28041 with flag 243561/461149
34.36/33.70	c cleaning 15008 clauses out of 30020 with flag 276840/477148
35.56/34.98	c cleaning 16002 clauses out of 32012 with flag 311804/494148
36.86/36.29	c cleaning 17001 clauses out of 34012 with flag 350319/512150
38.07/37.41	c Got one! Elapsed wall clock time (in seconds):37.293
38.07/37.41	o -80
38.66/38.02	c cleaning 19292 clauses out of 38584 with flag 13474/533723
39.17/38.58	c cleaning 12646 clauses out of 25291 with flag 28537/539722
39.66/39.09	c cleaning 9817 clauses out of 19645 with flag 45420/546722
40.27/39.62	c cleaning 8909 clauses out of 17828 with flag 65419/554722
40.86/40.22	c cleaning 8958 clauses out of 17920 with flag 87881/563723
41.56/40.94	c cleaning 9480 clauses out of 18961 with flag 111513/573722
42.36/41.76	c cleaning 10240 clauses out of 20482 with flag 137908/584723
43.26/42.69	c cleaning 11120 clauses out of 22241 with flag 166343/596722
44.26/43.65	c cleaning 12052 clauses out of 24121 with flag 192748/609722
45.36/44.78	c cleaning 13033 clauses out of 26069 with flag 221954/623722
46.46/45.88	c cleaning 14014 clauses out of 28037 with flag 252480/638723
47.86/47.22	c cleaning 15006 clauses out of 30023 with flag 285736/654723
49.39/48.79	c cleaning 16008 clauses out of 32016 with flag 321806/671722
50.99/50.36	c cleaning 17002 clauses out of 34008 with flag 359608/689722
52.80/52.10	c cleaning 17998 clauses out of 36007 with flag 398753/708723
54.71/54.04	c cleaning 19003 clauses out of 38009 with flag 439112/728723
56.70/56.01	c cleaning 20000 clauses out of 40005 with flag 482207/749722
58.90/58.27	c cleaning 21004 clauses out of 42007 with flag 527294/771724
61.31/60.66	c cleaning 22000 clauses out of 44002 with flag 575085/794723
64.10/63.42	c cleaning 22997 clauses out of 46002 with flag 623575/818723
66.90/66.29	c cleaning 23998 clauses out of 48004 with flag 674447/843722
70.01/69.38	c cleaning 24999 clauses out of 50006 with flag 727964/869722
73.13/72.45	c cleaning 26003 clauses out of 52008 with flag 783221/896723
76.23/75.54	c cleaning 27001 clauses out of 54006 with flag 840264/924724
79.73/79.05	c cleaning 28001 clauses out of 56004 with flag 899590/953723
83.52/82.80	c cleaning 28998 clauses out of 58002 with flag 961211/983722
87.33/86.63	c cleaning 30001 clauses out of 60006 with flag 1024867/1014724
91.43/90.79	c cleaning 31001 clauses out of 62003 with flag 1090819/1046722
96.43/95.77	c cleaning 31997 clauses out of 64004 with flag 1159326/1079724
100.47/99.76	c cleaning 32997 clauses out of 66005 with flag 1232023/1113722
104.27/103.57	c cleaning 34001 clauses out of 68009 with flag 1308154/1148723
108.16/107.41	c cleaning 34998 clauses out of 70007 with flag 1387845/1184722
112.06/111.35	c cleaning 36002 clauses out of 72010 with flag 1471709/1221723
116.47/115.72	c cleaning 37004 clauses out of 74008 with flag 1558431/1259723
120.57/119.89	c cleaning 37997 clauses out of 76004 with flag 1644365/1298723
125.04/124.30	c cleaning 39000 clauses out of 78006 with flag 1730942/1338722
129.84/129.04	c cleaning 39997 clauses out of 80006 with flag 1821628/1379722
135.04/134.21	c cleaning 40998 clauses out of 82009 with flag 1918734/1421722
140.44/139.62	c cleaning 42006 clauses out of 84012 with flag 2019670/1464723
146.94/146.16	c cleaning 42998 clauses out of 86005 with flag 2111568/1508722
153.83/152.92	c cleaning 43997 clauses out of 88007 with flag 2219200/1553722
163.03/162.14	c cleaning 45001 clauses out of 90011 with flag 2331784/1599723
169.34/168.50	c cleaning 46005 clauses out of 92010 with flag 2437453/1646723
176.23/175.38	c cleaning 46996 clauses out of 94004 with flag 2536761/1694722
183.73/182.81	c cleaning 48002 clauses out of 96010 with flag 2642834/1743724
191.66/190.63	c cleaning 49003 clauses out of 98006 with flag 2748164/1793722
200.56/199.51	c cleaning 50000 clauses out of 100004 with flag 2855108/1844723
210.36/209.32	c cleaning 50996 clauses out of 102004 with flag 2967026/1896723
219.81/218.68	c cleaning 52004 clauses out of 104008 with flag 3081065/1949723
228.51/227.35	c cleaning 53001 clauses out of 106005 with flag 3200342/2003724
237.91/236.79	c cleaning 54000 clauses out of 108003 with flag 3317891/2058723
246.91/245.74	c cleaning 54998 clauses out of 110003 with flag 3438627/2114723
256.06/254.79	c cleaning 55997 clauses out of 112004 with flag 3568338/2171722
265.86/264.52	c cleaning 56997 clauses out of 114008 with flag 3688823/2229723
276.86/275.52	c cleaning 58004 clauses out of 116010 with flag 3814163/2288722
288.96/287.55	c cleaning 59003 clauses out of 118006 with flag 3944472/2348722
300.97/299.55	c cleaning 59997 clauses out of 120004 with flag 4077670/2409723
314.87/313.47	c cleaning 60997 clauses out of 122007 with flag 4214768/2471723
329.55/328.04	c cleaning 62005 clauses out of 124010 with flag 4345444/2534723
344.45/342.94	c cleaning 63000 clauses out of 126006 with flag 4494090/2598724
359.84/358.25	c cleaning 63996 clauses out of 128004 with flag 4633523/2663722
373.74/372.10	c cleaning 64999 clauses out of 130008 with flag 4772758/2729722
386.93/385.33	c cleaning 66000 clauses out of 132009 with flag 4918574/2796722
401.94/400.28	c cleaning 67003 clauses out of 134011 with flag 5067526/2864724
415.34/413.64	c cleaning 68001 clauses out of 136007 with flag 5217446/2933723
428.33/426.59	c cleaning 68997 clauses out of 138006 with flag 5360059/3003723
441.83/440.06	c cleaning 70004 clauses out of 140008 with flag 5504797/3074722
455.73/453.98	c cleaning 70997 clauses out of 142006 with flag 5652341/3146724
459.30/457.43	c Got one! Elapsed wall clock time (in seconds):457.315
459.30/457.43	o -81
460.74/458.81	c cleaning 52394 clauses out of 104787 with flag 10326/3180502
461.54/459.68	c cleaning 29190 clauses out of 58393 with flag 22546/3186502
462.14/460.23	c cleaning 18096 clauses out of 36204 with flag 36662/3193503
462.64/460.79	c cleaning 13053 clauses out of 26107 with flag 53118/3201502
463.23/461.38	c cleaning 11025 clauses out of 22056 with flag 71637/3210504
463.94/462.04	c cleaning 10511 clauses out of 21031 with flag 92421/3220504
464.73/462.86	c cleaning 10752 clauses out of 21519 with flag 115305/3231503
465.64/463.75	c cleaning 11383 clauses out of 22766 with flag 139599/3243502
466.64/464.75	c cleaning 12186 clauses out of 24383 with flag 166362/3256502
467.63/465.71	c cleaning 13098 clauses out of 26199 with flag 194437/3270504
468.73/466.81	c cleaning 14045 clauses out of 28100 with flag 224480/3285503
469.93/468.08	c cleaning 15022 clauses out of 30054 with flag 256528/3301502
471.41/469.46	c cleaning 16012 clauses out of 32032 with flag 290605/3318502
472.92/470.93	c cleaning 17006 clauses out of 34020 with flag 326690/3336502
474.61/472.60	c cleaning 17998 clauses out of 36014 with flag 364724/3355502
476.31/474.36	c cleaning 19005 clauses out of 38017 with flag 404800/3375503
478.42/476.48	c cleaning 20006 clauses out of 40011 with flag 446856/3396502
481.01/479.01	c cleaning 21000 clauses out of 42005 with flag 491362/3418502
483.61/481.61	c cleaning 22002 clauses out of 44006 with flag 537918/3441503
486.21/484.28	c cleaning 22994 clauses out of 46003 with flag 586537/3465502
489.02/487.00	c cleaning 24001 clauses out of 48009 with flag 637054/3490502
491.82/489.84	c cleaning 24998 clauses out of 50008 with flag 689388/3516502
494.93/492.97	c cleaning 26001 clauses out of 52010 with flag 743784/3543502
498.72/496.71	c cleaning 26997 clauses out of 54009 with flag 800113/3571502
502.82/500.84	c cleaning 28003 clauses out of 56012 with flag 858822/3600502
506.98/504.97	c cleaning 29005 clauses out of 58010 with flag 919607/3630503
511.48/509.46	c cleaning 29999 clauses out of 60004 with flag 982520/3661502
516.67/514.61	c cleaning 30999 clauses out of 62005 with flag 1047446/3693502
520.97/518.94	c cleaning 32002 clauses out of 64007 with flag 1113985/3726503
526.14/524.09	c cleaning 33002 clauses out of 66005 with flag 1182282/3760503
531.14/529.07	c cleaning 33999 clauses out of 68002 with flag 1252660/3795502
536.54/534.48	c cleaning 34996 clauses out of 70003 with flag 1324978/3831502
542.44/540.37	c cleaning 35999 clauses out of 72009 with flag 1399308/3868504
548.47/546.38	c cleaning 36996 clauses out of 74008 with flag 1475702/3906502
554.07/551.92	c cleaning 37996 clauses out of 76012 with flag 1554025/3945502
560.88/558.75	c cleaning 39005 clauses out of 78016 with flag 1634420/3985502
566.88/564.72	c cleaning 40006 clauses out of 80012 with flag 1716955/4026503
574.61/572.45	c cleaning 41002 clauses out of 82007 with flag 1801353/4068504
581.82/579.62	c cleaning 42002 clauses out of 84004 with flag 1887851/4111503
588.72/586.59	c cleaning 42999 clauses out of 86001 with flag 1976207/4155502
596.67/594.48	c cleaning 43994 clauses out of 88002 with flag 2066640/4200502
605.58/603.39	c cleaning 44998 clauses out of 90010 with flag 2159062/4246504
614.38/612.12	c cleaning 46005 clauses out of 92010 with flag 2253481/4293502
624.20/621.92	c cleaning 47003 clauses out of 94007 with flag 2349939/4341504
635.00/632.76	c cleaning 48001 clauses out of 96002 with flag 2448381/4390502
645.91/643.69	c cleaning 48999 clauses out of 98003 with flag 2548825/4440504
658.24/655.91	c cleaning 50001 clauses out of 100002 with flag 2651255/4491502
668.64/666.30	c cleaning 50993 clauses out of 102001 with flag 2755386/4543502
678.24/675.98	c cleaning 52005 clauses out of 104011 with flag 2861623/4596505
688.36/686.08	c cleaning 53001 clauses out of 106004 with flag 2969785/4650503
699.26/696.92	c cleaning 53994 clauses out of 108003 with flag 3079985/4705503
711.90/709.56	c cleaning 55000 clauses out of 110009 with flag 3192161/4761503
724.61/722.25	c cleaning 56001 clauses out of 112008 with flag 3306411/4818502
735.84/733.43	c cleaning 57000 clauses out of 114008 with flag 3422730/4876503
750.65/748.29	c cleaning 57996 clauses out of 116007 with flag 3540853/4935502
764.11/761.66	c cleaning 58996 clauses out of 118012 with flag 3661020/4995503
777.90/775.48	c cleaning 60004 clauses out of 120015 with flag 3783772/5056502
793.46/790.92	c cleaning 61001 clauses out of 122011 with flag 3908938/5118502
811.35/808.84	c cleaning 62002 clauses out of 124012 with flag 4036477/5181504
829.79/827.22	c cleaning 63000 clauses out of 126008 with flag 4165261/5245502
847.39/844.82	c cleaning 64001 clauses out of 128009 with flag 4296434/5310503
867.90/865.33	c cleaning 65004 clauses out of 130007 with flag 4429965/5376502
886.56/883.97	c cleaning 65994 clauses out of 132003 with flag 4565244/5443502
906.26/903.61	c cleaning 67000 clauses out of 134009 with flag 4701991/5511502
925.33/922.62	c cleaning 68000 clauses out of 136010 with flag 4840577/5580503
945.98/943.22	c cleaning 69004 clauses out of 138010 with flag 4980962/5650503
967.78/965.03	c cleaning 69996 clauses out of 140005 with flag 5123756/5721502
986.41/983.60	c cleaning 70996 clauses out of 142011 with flag 5268127/5793504
1006.38/1003.51	c cleaning 72004 clauses out of 144014 with flag 5414476/5866503
1026.28/1023.48	c cleaning 72999 clauses out of 146010 with flag 5563003/5940503
1050.80/1047.90	c cleaning 73997 clauses out of 148010 with flag 5713533/6015502
1070.19/1067.25	c cleaning 74999 clauses out of 150013 with flag 5870451/6091502
1085.76/1082.70	c cleaning 76003 clauses out of 152014 with flag 6039398/6168502
1102.96/1099.98	c cleaning 77002 clauses out of 154011 with flag 6209847/6246502
1119.07/1116.09	c cleaning 78000 clauses out of 156010 with flag 6379906/6325503
1135.91/1132.85	c cleaning 79000 clauses out of 158009 with flag 6558265/6405502
1152.46/1149.32	c cleaning 80003 clauses out of 160009 with flag 6738617/6486502
1168.15/1164.96	c cleaning 80997 clauses out of 162007 with flag 6918136/6568503
1185.04/1181.89	c cleaning 82000 clauses out of 164009 with flag 7108220/6651502
1202.58/1199.36	c cleaning 82999 clauses out of 166009 with flag 7301165/6735502
1217.91/1214.63	c cleaning 84005 clauses out of 168011 with flag 7489311/6820503
1240.88/1237.53	c cleaning 84998 clauses out of 170006 with flag 7665977/6906503
1265.42/1262.08	c cleaning 85998 clauses out of 172007 with flag 7848515/6993502
1282.68/1279.27	c cleaning 87002 clauses out of 174009 with flag 8032785/7081502
1314.75/1311.23	c cleaning 87996 clauses out of 176007 with flag 8212036/7170502
1337.22/1333.66	c cleaning 89002 clauses out of 178012 with flag 8415961/7260503
1361.98/1358.34	c cleaning 89998 clauses out of 180010 with flag 8615431/7351503
1385.31/1381.64	c cleaning 91000 clauses out of 182012 with flag 8808341/7443503
1408.12/1404.48	c cleaning 92001 clauses out of 184011 with flag 9004296/7536502
1427.57/1423.80	c cleaning 93000 clauses out of 186011 with flag 9216088/7630503
1450.77/1446.92	c cleaning 94000 clauses out of 188010 with flag 9420793/7725502
1477.53/1473.65	c cleaning 94999 clauses out of 190011 with flag 9634557/7821503
1501.99/1498.03	c cleaning 96002 clauses out of 192012 with flag 9860248/7918503
1521.82/1517.86	c cleaning 97004 clauses out of 194009 with flag 10077200/8016502
1551.71/1547.63	c cleaning 98002 clauses out of 196005 with flag 10278270/8115502
1581.37/1577.24	c cleaning 99000 clauses out of 198004 with flag 10484331/8215503
1616.45/1612.11	c cleaning 100002 clauses out of 200003 with flag 10688702/8316502
1650.05/1645.66	c cleaning 100994 clauses out of 202002 with flag 10897564/8418503
1684.82/1680.38	c cleaning 102003 clauses out of 204008 with flag 11107114/8521503
1712.84/1708.22	c cleaning 102991 clauses out of 206004 with flag 11326148/8625502
1740.17/1735.43	c cleaning 104001 clauses out of 208014 with flag 11550240/8730503
1764.59/1759.76	c cleaning 105004 clauses out of 210013 with flag 11775517/8836503
1793.06/1788.11	c cleaning 106000 clauses out of 212008 with flag 12008967/8943502
1800.06/1795.10	c starts		: 44073
1800.06/1795.10	c conflicts		: 8989428
1800.06/1795.10	c decisions		: 12067163
1800.06/1795.10	c propagations		: 99827285
1800.06/1795.10	c inspects		: 36968910195
1800.06/1795.10	c shortcuts		: 0
1800.06/1795.10	c learnt literals	: 0
1800.06/1795.10	c learnt binary clauses	: 246
1800.06/1795.10	c learnt ternary clauses	: 523
1800.06/1795.10	c learnt constraints	: 8989428
1800.06/1795.10	c ignored constraints	: 0
1800.06/1795.10	c root simplifications	: 0
1800.06/1795.10	c removed literals (reason simplification)	: 0
1800.06/1795.10	c reason swapping (by a shorter reason)	: 0
1800.06/1795.10	c Calls to reduceDB	: 216
1800.06/1795.10	c Number of update (reduction) of LBD	: 152206
1800.06/1795.10	c Imported unit clauses	: 0
1800.06/1795.10	c number of reductions to clauses (during analyze)	: 0
1800.06/1795.10	c number of learned constraints concerned by reduction	: 0
1800.06/1795.10	c number of learning phase by resolution	: 0
1800.06/1795.10	c number of learning phase by cutting planes	: 0
1800.06/1795.10	c speed (assignments/second)	: 55616.62705482925
1800.06/1795.10	c non guided choices	0
1800.06/1795.13	c learnt constraints type 
1800.06/1795.13	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 246
1800.06/1795.13	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 151688
1800.06/1795.13	s SATISFIABLE
1800.06/1795.13	c Found 7 solution(s)
1800.06/1795.13	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 
1800.06/1795.13	c objective function=-81
1800.06/1795.13	c Total wall clock time (in seconds): 1795.015

Verifier Data 

OK	-81

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4118227-1467225863/watcher-4118227-1467225863 -o /tmp/evaluation-result-4118227-1467225863/solver-4118227-1467225863 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467208989-4835 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4118227-1467225863.opb 

pid=7413
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.13 2.22 2.25 3/196 7416
/proc/meminfo: memFree=26845324/32872528 swapFree=1483896/1661724
[pid=7416] ppid=7413 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/7416/stat : 7416 (java) R 7413 7416 4818 0 -1 4202496 627 0 0 0 0 0 0 0 20 0 1 0 3538827 23793664 277 33554432000 1073741824 1073778376 140735438971552 140735438960616 273896487475 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/7416/statm: 5809 289 225 9 0 128 0

[startup+0.100157 s]
/proc/loadavg: 2.13 2.22 2.25 3/196 7416
/proc/meminfo: memFree=26845324/32872528 swapFree=1483896/1661724
[pid=7416] ppid=7413 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/7416/stat : 7416 (java) S 7413 7416 4818 0 -1 4202496 4398 0 1 0 8 1 0 0 20 0 18 0 3538827 9787879424 6022 33554432000 1073741824 1073778376 140735438971552 140735438962688 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7416/statm: 2389619 6022 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200314 s]
/proc/loadavg: 2.13 2.22 2.25 3/196 7416
/proc/meminfo: memFree=26845324/32872528 swapFree=1483896/1661724
[pid=7416] ppid=7413 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/7416/stat : 7416 (java) S 7413 7416 4818 0 -1 4202496 4734 0 1 0 22 1 0 0 20 0 19 0 3538827 9856040960 6829 33554432000 1073741824 1073778376 140735438971552 140735438962688 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7416/statm: 2406260 6829 2203 9 0 2396937 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9625040

[startup+0.300306 s]
/proc/loadavg: 2.13 2.22 2.25 3/196 7416
/proc/meminfo: memFree=26845324/32872528 swapFree=1483896/1661724
[pid=7416] ppid=7413 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/7416/stat : 7416 (java) S 7413 7416 4818 0 -1 4202496 6748 0 1 0 48 2 0 0 20 0 19 0 3538827 9856040960 8560 33554432000 1073741824 1073778376 140735438971552 140735438962688 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7416/statm: 2406260 8560 2242 9 0 2396937 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9625040

[startup+0.700288 s]
/proc/loadavg: 2.13 2.22 2.25 3/196 7416
/proc/meminfo: memFree=26845324/32872528 swapFree=1483896/1661724
[pid=7416] ppid=7413 vsize=9625040 CPUtime=1.07 cores=1,3,5,7
/proc/7416/stat : 7416 (java) S 7413 7416 4818 0 -1 4202496 8125 0 1 0 105 2 0 0 20 0 19 0 3538827 9856040960 10078 33554432000 1073741824 1073778376 140735438971552 140735438962688 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7416/statm: 2406260 10078 2257 9 0 2396937 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 9625040

[startup+1.5008 s]
/proc/loadavg: 2.13 2.22 2.25 5/215 7435
/proc/meminfo: memFree=26810020/32872528 swapFree=1483896/1661724
[pid=7416] ppid=7413 vsize=9625040 CPUtime=1.99 cores=1,3,5,7
/proc/7416/stat : 7416 (java) S 7413 7416 4818 0 -1 4202496 9150 0 1 0 197 2 0 0 20 0 19 0 3538827 9856040960 12700 33554432000 1073741824 1073778376 140735438971552 140735438962688 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7416/statm: 2406260 12700 2260 9 0 2396937 0
[pid=7416/tid=7418] ppid=7413 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/7416/task/7418/stat : 7418 (java) R 7413 7416 4818 0 -1 4202560 2414 0 1 0 145 1 0 0 20 0 19 0 3538828 9856040960 12700 33554432000 1073741824 1073778376 140735438971552 140082899078880 140082724390672 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7416/tid=7419] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7419/stat : 7419 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538829 9856040960 12700 33554432000 1073741824 1073778376 140735438971552 140082860579880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7420] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7420/stat : 7420 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538830 9856040960 12700 33554432000 1073741824 1073778376 140735438971552 140082859527080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7416/tid=7421] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7421/stat : 7421 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538830 9856040960 12700 33554432000 1073741824 1073778376 140735438971552 140082858474280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7416/tid=7422] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7422/stat : 7422 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538830 9856040960 12700 33554432000 1073741824 1073778376 140735438971552 140082857421480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7416/tid=7423] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7423/stat : 7423 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538830 9856040960 12700 33554432000 1073741824 1073778376 140735438971552 140082856368680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7424] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7424/stat : 7424 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538830 9856040960 12700 33554432000 1073741824 1073778376 140735438971552 140082855315880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7416/tid=7425] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7425/stat : 7425 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538830 9856040960 12700 33554432000 1073741824 1073778376 140735438971552 140082854263080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7416/tid=7426] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7426/stat : 7426 (java) S 7413 7416 4818 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3538830 9856040960 12700 33554432000 1073741824 1073778376 140735438971552 140082853210280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7427] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7427/stat : 7427 (java) S 7413 7416 4818 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3538831 9856040960 12700 33554432000 1073741824 1073778376 140735438971552 140082722888680 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7416/tid=7428] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7428/stat : 7428 (java) S 7413 7416 4818 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3538831 9856040960 12700 33554432000 1073741824 1073778376 140735438971552 140082721834744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7429] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7429/stat : 7429 (java) S 7413 7416 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3538831 9856040960 12700 33554432000 1073741824 1073778376 140735438971552 140082720781832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7430] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7430/stat : 7430 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538833 9856040960 12700 33554432000 1073741824 1073778376 140735438971552 140082719730320 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7431] ppid=7413 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/7416/task/7431/stat : 7431 (java) S 7413 7416 4818 0 -1 4202560 2506 0 0 0 25 0 0 0 20 0 19 0 3538833 9856040960 12700 33554432000 1073741824 1073778376 140735438971552 140082718677432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7432] ppid=7413 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/7416/task/7432/stat : 7432 (java) S 7413 7416 4818 0 -1 4202560 2959 0 0 0 24 0 0 0 20 0 19 0 3538833 9856040960 12700 33554432000 1073741824 1073778376 140735438971552 140082717624632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7416/tid=7433] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7433/stat : 7433 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538834 9856040960 12700 33554432000 1073741824 1073778376 140735438971552 140082716572024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7416/tid=7434] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7434/stat : 7434 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538834 9856040960 12700 33554432000 1073741824 1073778376 140735438971552 140082715519432 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7416/tid=7435] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7435/stat : 7435 (java) S 7413 7416 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3538846 9856040960 12700 33554432000 1073741824 1073778376 140735438971552 140082714465960 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.99
Current children cumulated vsize (KiB) 9625040

[startup+3.10077 s]
/proc/loadavg: 2.13 2.22 2.25 3/215 7435
/proc/meminfo: memFree=26795996/32872528 swapFree=1483896/1661724
[pid=7416] ppid=7413 vsize=9625040 CPUtime=3.69 cores=1,3,5,7
/proc/7416/stat : 7416 (java) S 7413 7416 4818 0 -1 4202496 10110 0 1 0 366 3 0 0 20 0 19 0 3538827 9856040960 16288 33554432000 1073741824 1073778376 140735438971552 140735438962688 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7416/statm: 2406260 16288 2261 9 0 2396937 0
[pid=7416/tid=7418] ppid=7413 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/7416/task/7418/stat : 7418 (java) R 7413 7416 4818 0 -1 4202560 2423 0 1 0 304 2 0 0 20 0 19 0 3538828 9856040960 16288 33554432000 1073741824 1073778376 140735438971552 140082899085848 140082724397777 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7416/tid=7419] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7419/stat : 7419 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538829 9856040960 16288 33554432000 1073741824 1073778376 140735438971552 140082860579880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7420] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7420/stat : 7420 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538830 9856040960 16288 33554432000 1073741824 1073778376 140735438971552 140082859527080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7416/tid=7421] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7421/stat : 7421 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538830 9856040960 16288 33554432000 1073741824 1073778376 140735438971552 140082858474280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7416/tid=7422] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7422/stat : 7422 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538830 9856040960 16288 33554432000 1073741824 1073778376 140735438971552 140082857421480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7416/tid=7423] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7423/stat : 7423 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538830 9856040960 16288 33554432000 1073741824 1073778376 140735438971552 140082856368680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7424] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7424/stat : 7424 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538830 9856040960 16288 33554432000 1073741824 1073778376 140735438971552 140082855315880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7416/tid=7425] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7425/stat : 7425 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538830 9856040960 16288 33554432000 1073741824 1073778376 140735438971552 140082854263080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7416/tid=7426] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7426/stat : 7426 (java) S 7413 7416 4818 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3538830 9856040960 16288 33554432000 1073741824 1073778376 140735438971552 140082853210280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7427] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7427/stat : 7427 (java) S 7413 7416 4818 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3538831 9856040960 16288 33554432000 1073741824 1073778376 140735438971552 140082722888680 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7416/tid=7428] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7428/stat : 7428 (java) S 7413 7416 4818 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3538831 9856040960 16288 33554432000 1073741824 1073778376 140735438971552 140082721834744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7429] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7429/stat : 7429 (java) S 7413 7416 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3538831 9856040960 16288 33554432000 1073741824 1073778376 140735438971552 140082720781832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7430] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7430/stat : 7430 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538833 9856040960 16288 33554432000 1073741824 1073778376 140735438971552 140082719730320 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7431] ppid=7413 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/7416/task/7431/stat : 7431 (java) S 7413 7416 4818 0 -1 4202560 3457 0 0 0 33 0 0 0 20 0 19 0 3538833 9856040960 16288 33554432000 1073741824 1073778376 140735438971552 140082718677432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7432] ppid=7413 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/7416/task/7432/stat : 7432 (java) S 7413 7416 4818 0 -1 4202560 2959 0 0 0 24 0 0 0 20 0 19 0 3538833 9856040960 16288 33554432000 1073741824 1073778376 140735438971552 140082717624632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7416/tid=7433] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7433/stat : 7433 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538834 9856040960 16288 33554432000 1073741824 1073778376 140735438971552 140082716572024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7416/tid=7434] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7434/stat : 7434 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538834 9856040960 16288 33554432000 1073741824 1073778376 140735438971552 140082715519432 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7416/tid=7435] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7435/stat : 7435 (java) S 7413 7416 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3538846 9856040960 16288 33554432000 1073741824 1073778376 140735438971552 140082714465960 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 9625040

[startup+6.30084 s]
/proc/loadavg: 2.12 2.22 2.25 4/215 7435
/proc/meminfo: memFree=26769140/32872528 swapFree=1483896/1661724
[pid=7416] ppid=7413 vsize=9625040 CPUtime=6.88 cores=1,3,5,7
/proc/7416/stat : 7416 (java) S 7413 7416 4818 0 -1 4202496 10125 0 1 0 685 3 0 0 20 0 19 0 3538827 9856040960 22433 33554432000 1073741824 1073778376 140735438971552 140735438962688 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7416/statm: 2406260 22433 2262 9 0 2396937 0
[pid=7416/tid=7418] ppid=7413 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/7416/task/7418/stat : 7418 (java) R 7413 7416 4818 0 -1 4202560 2437 0 1 0 624 2 0 0 20 0 19 0 3538828 9856040960 22433 33554432000 1073741824 1073778376 140735438971552 140082899085760 140082724480379 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7416/tid=7419] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7419/stat : 7419 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538829 9856040960 22433 33554432000 1073741824 1073778376 140735438971552 140082860579880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7420] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7420/stat : 7420 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538830 9856040960 22433 33554432000 1073741824 1073778376 140735438971552 140082859527080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7416/tid=7421] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7421/stat : 7421 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538830 9856040960 22433 33554432000 1073741824 1073778376 140735438971552 140082858474280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7416/tid=7422] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7422/stat : 7422 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538830 9856040960 22433 33554432000 1073741824 1073778376 140735438971552 140082857421480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7416/tid=7423] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7423/stat : 7423 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538830 9856040960 22433 33554432000 1073741824 1073778376 140735438971552 140082856368680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7424] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7424/stat : 7424 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538830 9856040960 22433 33554432000 1073741824 1073778376 140735438971552 140082855315880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7416/tid=7425] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7425/stat : 7425 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538830 9856040960 22433 33554432000 1073741824 1073778376 140735438971552 140082854263080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7416/tid=7426] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7426/stat : 7426 (java) S 7413 7416 4818 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 3538830 9856040960 22433 33554432000 1073741824 1073778376 140735438971552 140082853210280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7427] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7427/stat : 7427 (java) S 7413 7416 4818 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 3538831 9856040960 22433 33554432000 1073741824 1073778376 140735438971552 140082722888680 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7416/tid=7428] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7428/stat : 7428 (java) S 7413 7416 4818 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 3538831 9856040960 22433 33554432000 1073741824 1073778376 140735438971552 140082721834744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7429] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7429/stat : 7429 (java) S 7413 7416 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3538831 9856040960 22433 33554432000 1073741824 1073778376 140735438971552 140082720781832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7430] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7430/stat : 7430 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538833 9856040960 22433 33554432000 1073741824 1073778376 140735438971552 140082719730320 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7431] ppid=7413 vsize=9625040 CPUtime=0.33 cores=1,3,5,7
/proc/7416/task/7431/stat : 7431 (java) S 7413 7416 4818 0 -1 4202560 3457 0 0 0 33 0 0 0 20 0 19 0 3538833 9856040960 22433 33554432000 1073741824 1073778376 140735438971552 140082718677432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7432] ppid=7413 vsize=9625040 CPUtime=0.24 cores=1,3,5,7
/proc/7416/task/7432/stat : 7432 (java) S 7413 7416 4818 0 -1 4202560 2959 0 0 0 24 0 0 0 20 0 19 0 3538833 9856040960 22433 33554432000 1073741824 1073778376 140735438971552 140082717624632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7416/tid=7433] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7433/stat : 7433 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538834 9856040960 22433 33554432000 1073741824 1073778376 140735438971552 140082716572024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7416/tid=7434] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7434/stat : 7434 (java) S 7413 7416 4818 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 3538834 9856040960 22433 33554432000 1073741824 1073778376 140735438971552 140082715519432 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7416/tid=7435] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7435/stat : 7435 (java) S 7413 7416 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3538846 9856040960 22433 33554432000 1073741824 1073778376 140735438971552 140082714465960 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.88
Current children cumulated vsize (KiB) 9625040


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

[pid=7416/tid=7435] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7435/stat : 7435 (java) S 7413 7416 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3538846 9856040960 93382 33554432000 1073741824 1073778376 140735438971552 140082714465960 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1727
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.14 2.16 2.17 3/215 7568
/proc/meminfo: memFree=26447232/32872528 swapFree=1483896/1661724
[pid=7416] ppid=7413 vsize=9625040 CPUtime=1787.25 cores=1,3,5,7
/proc/7416/stat : 7416 (java) S 7413 7416 4818 0 -1 4202496 13512 0 1 0 178637 88 0 0 20 0 19 0 3538827 9856040960 91961 33554432000 1073741824 1073778376 140735438971552 140735438962688 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7416/statm: 2406260 91961 2284 9 0 2396937 0
[pid=7416/tid=7418] ppid=7413 vsize=9625040 CPUtime=1775.32 cores=1,3,5,7
/proc/7416/task/7418/stat : 7418 (java) R 7413 7416 4818 0 -1 4202560 2549 0 1 0 177502 30 0 0 20 0 19 0 3538828 9856040960 91961 33554432000 1073741824 1073778376 140735438971552 140082899086656 140082724409802 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7416/tid=7419] ppid=7413 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/7416/task/7419/stat : 7419 (java) S 7413 7416 4818 0 -1 4202560 379 0 0 0 73 6 0 0 20 0 19 0 3538829 9856040960 91961 33554432000 1073741824 1073778376 140735438971552 140082860579880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7416/tid=7420] ppid=7413 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/7416/task/7420/stat : 7420 (java) S 7413 7416 4818 0 -1 4202560 202 0 0 0 68 6 0 0 20 0 19 0 3538830 9856040960 91961 33554432000 1073741824 1073778376 140735438971552 140082859527080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7416/tid=7421] ppid=7413 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/7416/task/7421/stat : 7421 (java) S 7413 7416 4818 0 -1 4202560 458 0 0 0 70 6 0 0 20 0 19 0 3538830 9856040960 91961 33554432000 1073741824 1073778376 140735438971552 140082858474280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7416/tid=7422] ppid=7413 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/7416/task/7422/stat : 7422 (java) S 7413 7416 4818 0 -1 4202560 518 0 0 0 57 6 0 0 20 0 19 0 3538830 9856040960 91961 33554432000 1073741824 1073778376 140735438971552 140082857421480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7416/tid=7423] ppid=7413 vsize=9625040 CPUtime=0.73 cores=1,3,5,7
/proc/7416/task/7423/stat : 7423 (java) S 7413 7416 4818 0 -1 4202560 393 0 0 0 66 7 0 0 20 0 19 0 3538830 9856040960 91961 33554432000 1073741824 1073778376 140735438971552 140082856368680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7416/tid=7424] ppid=7413 vsize=9625040 CPUtime=0.77 cores=1,3,5,7
/proc/7416/task/7424/stat : 7424 (java) S 7413 7416 4818 0 -1 4202560 357 0 0 0 71 6 0 0 20 0 19 0 3538830 9856040960 91961 33554432000 1073741824 1073778376 140735438971552 140082855315880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7416/tid=7425] ppid=7413 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/7416/task/7425/stat : 7425 (java) S 7413 7416 4818 0 -1 4202560 329 0 0 0 54 4 0 0 20 0 19 0 3538830 9856040960 91961 33554432000 1073741824 1073778376 140735438971552 140082854263080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7416/tid=7426] ppid=7413 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/7416/task/7426/stat : 7426 (java) S 7413 7416 4818 0 -1 4202560 315 0 0 0 72 6 0 0 20 0 19 0 3538830 9856040960 91961 33554432000 1073741824 1073778376 140735438971552 140082853210280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7416/tid=7427] ppid=7413 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/7416/task/7427/stat : 7427 (java) S 7413 7416 4818 0 -1 4202560 230 0 0 0 40 3 0 0 20 0 19 0 3538831 9856040960 91961 33554432000 1073741824 1073778376 140735438971552 140082722888680 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7416/tid=7428] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7428/stat : 7428 (java) S 7413 7416 4818 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3538831 9856040960 91961 33554432000 1073741824 1073778376 140735438971552 140082721834744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7429] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7429/stat : 7429 (java) S 7413 7416 4818 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3538831 9856040960 91961 33554432000 1073741824 1073778376 140735438971552 140082720781832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7430] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7430/stat : 7430 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538833 9856040960 91961 33554432000 1073741824 1073778376 140735438971552 140082719730320 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7431] ppid=7413 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/7416/task/7431/stat : 7431 (java) S 7413 7416 4818 0 -1 4202560 3458 0 0 0 38 0 0 0 20 0 19 0 3538833 9856040960 91961 33554432000 1073741824 1073778376 140735438971552 140082718677432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7432] ppid=7413 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/7416/task/7432/stat : 7432 (java) S 7413 7416 4818 0 -1 4202560 2963 0 0 0 27 0 0 0 20 0 19 0 3538833 9856040960 91961 33554432000 1073741824 1073778376 140735438971552 140082717624632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7416/tid=7433] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7433/stat : 7433 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538834 9856040960 91961 33554432000 1073741824 1073778376 140735438971552 140082716572024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7416/tid=7434] ppid=7413 vsize=9625040 CPUtime=0.61 cores=1,3,5,7
/proc/7416/task/7434/stat : 7434 (java) S 7413 7416 4818 0 -1 4202560 104 0 0 0 25 36 0 0 20 0 19 0 3538834 9856040960 91961 33554432000 1073741824 1073778376 140735438971552 140082715519432 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7416/tid=7435] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7435/stat : 7435 (java) S 7413 7416 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3538846 9856040960 91961 33554432000 1073741824 1073778376 140735438971552 140082714465960 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1787.25
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1795.1 s]
/proc/loadavg: 2.19 2.17 2.18 3/215 7568
/proc/meminfo: memFree=26447236/32872528 swapFree=1483896/1661724
[pid=7416] ppid=7413 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/7416/stat : 7416 (java) S 7413 7416 4818 0 -1 4202496 13514 0 1 0 179917 89 0 0 20 0 19 0 3538827 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140735438962688 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7416/statm: 2406260 91962 2284 9 0 2396937 0
[pid=7416/tid=7418] ppid=7413 vsize=9625040 CPUtime=1788.08 cores=1,3,5,7
/proc/7416/task/7418/stat : 7418 (java) R 7413 7416 4818 0 -1 4202560 2550 0 1 0 178777 31 0 0 20 0 19 0 3538828 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082899086656 140082724480583 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7416/tid=7419] ppid=7413 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/7416/task/7419/stat : 7419 (java) S 7413 7416 4818 0 -1 4202560 379 0 0 0 73 6 0 0 20 0 19 0 3538829 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082860579880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7416/tid=7420] ppid=7413 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/7416/task/7420/stat : 7420 (java) S 7413 7416 4818 0 -1 4202560 202 0 0 0 68 6 0 0 20 0 19 0 3538830 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082859527080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7416/tid=7421] ppid=7413 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/7416/task/7421/stat : 7421 (java) S 7413 7416 4818 0 -1 4202560 458 0 0 0 70 6 0 0 20 0 19 0 3538830 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082858474280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7422] ppid=7413 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/7416/task/7422/stat : 7422 (java) S 7413 7416 4818 0 -1 4202560 518 0 0 0 57 6 0 0 20 0 19 0 3538830 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082857421480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7423] ppid=7413 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/7416/task/7423/stat : 7423 (java) S 7413 7416 4818 0 -1 4202560 393 0 0 0 67 7 0 0 20 0 19 0 3538830 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082856368680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7416/tid=7424] ppid=7413 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/7416/task/7424/stat : 7424 (java) S 7413 7416 4818 0 -1 4202560 357 0 0 0 72 6 0 0 20 0 19 0 3538830 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082855315880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7416/tid=7425] ppid=7413 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/7416/task/7425/stat : 7425 (java) S 7413 7416 4818 0 -1 4202560 329 0 0 0 54 4 0 0 20 0 19 0 3538830 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082854263080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7416/tid=7426] ppid=7413 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/7416/task/7426/stat : 7426 (java) S 7413 7416 4818 0 -1 4202560 315 0 0 0 72 6 0 0 20 0 19 0 3538830 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082853210280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7416/tid=7427] ppid=7413 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/7416/task/7427/stat : 7427 (java) S 7413 7416 4818 0 -1 4202560 231 0 0 0 40 3 0 0 20 0 19 0 3538831 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082722888680 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7416/tid=7428] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7428/stat : 7428 (java) S 7413 7416 4818 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3538831 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082721834744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7429] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7429/stat : 7429 (java) S 7413 7416 4818 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3538831 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082720781832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7430] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7430/stat : 7430 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538833 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082719730320 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7431] ppid=7413 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/7416/task/7431/stat : 7431 (java) S 7413 7416 4818 0 -1 4202560 3458 0 0 0 38 0 0 0 20 0 19 0 3538833 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082718677432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7432] ppid=7413 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/7416/task/7432/stat : 7432 (java) S 7413 7416 4818 0 -1 4202560 2963 0 0 0 27 0 0 0 20 0 19 0 3538833 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082717624632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7416/tid=7433] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7433/stat : 7433 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538834 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082716572024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7416/tid=7434] ppid=7413 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/7416/task/7434/stat : 7434 (java) S 7413 7416 4818 0 -1 4202560 104 0 0 0 25 37 0 0 20 0 19 0 3538834 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082715519432 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7416/tid=7435] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7435/stat : 7435 (java) S 7413 7416 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3538846 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082714465960 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625040

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 7416 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1795.1 s]
/proc/loadavg: 2.19 2.17 2.18 3/215 7568
/proc/meminfo: memFree=26447236/32872528 swapFree=1483896/1661724
[pid=7416] ppid=7413 vsize=9625040 CPUtime=1800.06 cores=1,3,5,7
/proc/7416/stat : 7416 (java) S 7413 7416 4818 0 -1 4202496 13514 0 1 0 179917 89 0 0 20 0 19 0 3538827 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140735438962688 273909055549 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/7416/statm: 2406260 91962 2284 9 0 2396937 0
[pid=7416/tid=7418] ppid=7413 vsize=9625040 CPUtime=1788.08 cores=1,3,5,7
/proc/7416/task/7418/stat : 7418 (java) R 7413 7416 4818 0 -1 4202560 2550 0 1 0 178777 31 0 0 20 0 19 0 3538828 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082899086656 140082724480583 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=7416/tid=7419] ppid=7413 vsize=9625040 CPUtime=0.79 cores=1,3,5,7
/proc/7416/task/7419/stat : 7419 (java) S 7413 7416 4818 0 -1 4202560 379 0 0 0 73 6 0 0 20 0 19 0 3538829 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082860579880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7416/tid=7420] ppid=7413 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/7416/task/7420/stat : 7420 (java) S 7413 7416 4818 0 -1 4202560 202 0 0 0 68 6 0 0 20 0 19 0 3538830 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082859527080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7416/tid=7421] ppid=7413 vsize=9625040 CPUtime=0.76 cores=1,3,5,7
/proc/7416/task/7421/stat : 7421 (java) S 7413 7416 4818 0 -1 4202560 458 0 0 0 70 6 0 0 20 0 19 0 3538830 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082858474280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7422] ppid=7413 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/7416/task/7422/stat : 7422 (java) S 7413 7416 4818 0 -1 4202560 518 0 0 0 57 6 0 0 20 0 19 0 3538830 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082857421480 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7423] ppid=7413 vsize=9625040 CPUtime=0.74 cores=1,3,5,7
/proc/7416/task/7423/stat : 7423 (java) S 7413 7416 4818 0 -1 4202560 393 0 0 0 67 7 0 0 20 0 19 0 3538830 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082856368680 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7416/tid=7424] ppid=7413 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/7416/task/7424/stat : 7424 (java) S 7413 7416 4818 0 -1 4202560 357 0 0 0 72 6 0 0 20 0 19 0 3538830 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082855315880 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7416/tid=7425] ppid=7413 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/7416/task/7425/stat : 7425 (java) S 7413 7416 4818 0 -1 4202560 329 0 0 0 54 4 0 0 20 0 19 0 3538830 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082854263080 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7416/tid=7426] ppid=7413 vsize=9625040 CPUtime=0.78 cores=1,3,5,7
/proc/7416/task/7426/stat : 7426 (java) S 7413 7416 4818 0 -1 4202560 315 0 0 0 72 6 0 0 20 0 19 0 3538830 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082853210280 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7416/tid=7427] ppid=7413 vsize=9625040 CPUtime=0.43 cores=1,3,5,7
/proc/7416/task/7427/stat : 7427 (java) S 7413 7416 4818 0 -1 4202560 231 0 0 0 40 3 0 0 20 0 19 0 3538831 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082722888680 273909069737 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=7416/tid=7428] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7428/stat : 7428 (java) S 7413 7416 4818 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 3538831 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082721834744 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7429] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7429/stat : 7429 (java) S 7413 7416 4818 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 3538831 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082720781832 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7430] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7430/stat : 7430 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538833 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082719730320 273909077792 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7431] ppid=7413 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/7416/task/7431/stat : 7431 (java) S 7413 7416 4818 0 -1 4202560 3458 0 0 0 38 0 0 0 20 0 19 0 3538833 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082718677432 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=7416/tid=7432] ppid=7413 vsize=9625040 CPUtime=0.27 cores=1,3,5,7
/proc/7416/task/7432/stat : 7432 (java) S 7413 7416 4818 0 -1 4202560 2963 0 0 0 27 0 0 0 20 0 19 0 3538833 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082717624632 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7416/tid=7433] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7433/stat : 7433 (java) S 7413 7416 4818 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 3538834 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082716572024 273909068860 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=7416/tid=7434] ppid=7413 vsize=9625040 CPUtime=0.62 cores=1,3,5,7
/proc/7416/task/7434/stat : 7434 (java) S 7413 7416 4818 0 -1 4202560 104 0 0 0 25 37 0 0 20 0 19 0 3538834 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082715519432 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=7416/tid=7435] ppid=7413 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/7416/task/7435/stat : 7435 (java) S 7413 7416 4818 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 3538846 9856040960 91962 33554432000 1073741824 1073778376 140735438971552 140082714465960 273909069737 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 9625040

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 7416 and gives
#  childrusage.ru_utime.tv_sec=1794
#  childrusage.ru_utime.tv_usec=598179
#  childrusage.ru_stime.tv_sec=1
#  childrusage.ru_stime.tv_usec=322798
# CPU time returned by wait4() is 1795.92
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 1795.14
CPU time (s): 1800.06
CPU user time (s): 1799.17
CPU system time (s): 0.89
CPU usage (%): 100.274
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.6
system time used= 1.3228
maximum resident set size= 555852
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13556
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 40226
involuntary context switches= 24101

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.8084 second user time and 8.79966 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-29 20:44:23
IDJOB=4118227
IDBENCH=111470
IDSOLVER=2546
FILE ID=node134/4118227-1467225863
RUNJOBID= node134-1467208989-4835
PBS_JOBID= 19997576
Free space on /tmp= 71708 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB15eval/normalized-PB15eval/OPT-SMALLINT-LIN/minlplib2-pb-0.1.0/opb/normalized-autocorr_bern30-04.lin.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4118227-1467225863/watcher-4118227-1467225863 -o /tmp/evaluation-result-4118227-1467225863/solver-4118227-1467225863 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467208989-4835 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4118227-1467225863.opb

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

MD5SUM BENCH= 36efb62283908685a57ace0d721a5bbe
RANDOM SEED=1856102347

node134.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.738
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.47
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.738
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	: 7358.89
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.738
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.55
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.738
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	: 5332.55
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.738
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	: 5332.54
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.738
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	: 5332.55
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.738
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	: 5332.55
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.738
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	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        26845744 kB
Buffers:          132636 kB
Cached:          2991016 kB
SwapCached:            0 kB
Active:           627532 kB
Inactive:        2992428 kB
Active(anon):     498628 kB
Inactive(anon):      252 kB
Active(file):     128904 kB
Inactive(file):  2992176 kB
Unevictable:     1661724 kB
Mlocked:         1483896 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:               444 kB
Writeback:             0 kB
AnonPages:       2256380 kB
Mapped:            21648 kB
Shmem:               216 kB
Slab:             611432 kB
SReclaimable:      55472 kB
SUnreclaim:       555960 kB
KernelStack:        1776 kB
PageTables:         8552 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2291520 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    724992 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node134 at 2016-06-29 21:14:18