Trace number 4106792

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)-12 1800.08 1796.74

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_50_10_5.opb
MD5SUM0619afe86d0e2ffb4ad28e9f2f441c24
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark-13
Best CPU time to get the best result obtained on this benchmark1800.02
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -14
Optimality of the best value was proved NO
Number of variables100
Total number of constraints151
Number of constraints which are clauses50
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints101
Minimum length of a constraint2
Maximum length of a constraint100
Number of terms in the objective function 50
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 50
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 100
Number of bits of the biggest sum of numbers7
Number of products (including duplicates)1212
Sum of products size (including duplicates)2424
Number of different products606
Sum of products size1212

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.10/0.12	c Pseudo Boolean Optimization by upper bound
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Glucose 2.1 dynamic restart strategy
0.10/0.12	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.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-4106792-1466276944.opb
0.10/0.12	c reading problem ... 
0.10/0.12	c  objective function found
0.23/0.23	c ... done. Wall clock time 0.108s.
0.23/0.23	c declared #vars     100
0.23/0.23	c internal #vars     706
0.23/0.23	c #constraints  1364
0.23/0.23	c constraints type 
0.23/0.23	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 606
0.23/0.23	c org.sat4j.minisat.constraints.card.MinWatchCard => 102
0.23/0.23	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 50
0.23/0.23	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 606
0.23/0.23	c 1364 constraints processed.
0.23/0.23	c objective function length is 50 literals
0.46/0.35	c SATISFIABLE
0.46/0.35	c OPTIMIZING...
0.46/0.35	c Got one! Elapsed wall clock time (in seconds):0.228
0.46/0.35	o -7
0.46/0.39	c Got one! Elapsed wall clock time (in seconds):0.275
0.46/0.39	o -8
1.08/0.72	c cleaning 2887 clauses out of 5773 with flag 13425/5773
1.74/1.01	c cleaning 4438 clauses out of 8875 with flag 28056/11762
2.22/1.44	c cleaning 5718 clauses out of 11437 with flag 47665/18762
2.72/1.97	c cleaning 6860 clauses out of 13719 with flag 68576/26762
3.35/2.54	c cleaning 7934 clauses out of 15867 with flag 91824/35770
3.95/3.18	c cleaning 8963 clauses out of 17926 with flag 119925/45763
4.75/3.90	c cleaning 9983 clauses out of 19966 with flag 147436/56766
5.75/4.95	c cleaning 10985 clauses out of 21980 with flag 176646/68763
6.95/6.13	c cleaning 11995 clauses out of 23995 with flag 209106/81763
8.05/7.25	c cleaning 12999 clauses out of 25999 with flag 245295/95762
9.45/8.63	c cleaning 14000 clauses out of 28005 with flag 289608/110767
10.86/10.07	c cleaning 14993 clauses out of 30000 with flag 335315/126762
12.36/11.50	c cleaning 16002 clauses out of 32007 with flag 388303/143762
12.86/12.00	c Got one! Elapsed wall clock time (in seconds):11.887
12.86/12.00	o -9
13.25/12.47	c cleaning 13926 clauses out of 27851 with flag 15878/155608
13.75/12.90	c cleaning 9962 clauses out of 19927 with flag 35135/161610
14.17/13.33	c cleaning 8478 clauses out of 16963 with flag 58667/168608
14.56/13.73	c cleaning 8242 clauses out of 16488 with flag 83549/176611
15.06/14.21	c cleaning 8621 clauses out of 17246 with flag 111155/185611
15.56/14.79	c cleaning 9310 clauses out of 18622 with flag 142368/195608
16.27/15.42	c cleaning 10147 clauses out of 20312 with flag 178524/206608
16.96/16.10	c cleaning 11076 clauses out of 22167 with flag 214804/218610
17.76/16.94	c cleaning 12034 clauses out of 24091 with flag 255987/231610
17.96/17.11	c Got one! Elapsed wall clock time (in seconds):16.995
17.96/17.11	o -10
18.06/17.24	c cleaning 8703 clauses out of 17413 with flag 8304/236966
18.36/17.51	c cleaning 7352 clauses out of 14708 with flag 28330/242964
18.66/17.83	c cleaning 7174 clauses out of 14358 with flag 51301/249966
19.06/18.21	c cleaning 7592 clauses out of 15185 with flag 77912/257967
19.45/18.65	c cleaning 8297 clauses out of 16597 with flag 107879/266971
19.95/19.16	c cleaning 9142 clauses out of 18293 with flag 139326/276964
20.66/19.83	c cleaning 10074 clauses out of 20154 with flag 175525/287967
21.35/20.57	c cleaning 11039 clauses out of 22077 with flag 215242/299964
22.25/21.41	c cleaning 12017 clauses out of 24039 with flag 258004/312965
23.26/22.41	c cleaning 13009 clauses out of 26022 with flag 304147/326965
24.26/23.41	c cleaning 14001 clauses out of 28012 with flag 348886/341964
25.26/24.49	c cleaning 14999 clauses out of 30012 with flag 401109/357965
26.46/25.64	c cleaning 15997 clauses out of 32012 with flag 450084/374964
27.76/26.99	c cleaning 17001 clauses out of 34015 with flag 507596/392964
29.26/28.48	c cleaning 17998 clauses out of 36014 with flag 575707/411964
30.96/30.15	c cleaning 19009 clauses out of 38017 with flag 644706/431965
32.77/31.97	c cleaning 19999 clauses out of 40012 with flag 715244/452969
35.07/34.24	c cleaning 21002 clauses out of 42008 with flag 795797/474964
37.06/36.26	c cleaning 21990 clauses out of 44006 with flag 873309/497964
39.26/38.42	c cleaning 23006 clauses out of 46017 with flag 961935/521965
41.96/41.12	c cleaning 24003 clauses out of 48013 with flag 1045542/546967
42.16/41.34	c Got one! Elapsed wall clock time (in seconds):41.222
42.16/41.34	o -11
42.36/41.55	c cleaning 14501 clauses out of 29018 with flag 6431/551975
42.66/41.90	c cleaning 10254 clauses out of 20517 with flag 23637/557975
43.06/42.26	c cleaning 8624 clauses out of 17263 with flag 46553/564975
43.46/42.67	c cleaning 8313 clauses out of 16640 with flag 74546/572976
43.96/43.11	c cleaning 8658 clauses out of 17327 with flag 102786/581976
44.46/43.64	c cleaning 9334 clauses out of 18668 with flag 137156/591975
45.06/44.29	c cleaning 10160 clauses out of 20335 with flag 175752/602976
45.76/44.99	c cleaning 11088 clauses out of 22178 with flag 216139/614979
46.56/45.75	c cleaning 12040 clauses out of 24087 with flag 257371/627976
47.45/46.66	c cleaning 13019 clauses out of 26046 with flag 306756/641975
48.45/47.67	c cleaning 14013 clauses out of 28028 with flag 355300/656976
49.55/48.77	c cleaning 14992 clauses out of 30014 with flag 406915/672975
50.75/49.99	c cleaning 16008 clauses out of 32022 with flag 459225/689975
52.08/51.29	c cleaning 17008 clauses out of 34015 with flag 514541/707976
53.48/52.69	c cleaning 17999 clauses out of 36006 with flag 573093/726975
55.19/54.35	c cleaning 19001 clauses out of 38007 with flag 637434/746975
57.00/56.13	c cleaning 20000 clauses out of 40007 with flag 705249/767976
58.90/58.05	c cleaning 20999 clauses out of 42008 with flag 781910/789977
60.99/60.17	c cleaning 22004 clauses out of 44007 with flag 860120/812975
63.39/62.54	c cleaning 22994 clauses out of 46003 with flag 940297/836975
65.80/64.92	c cleaning 23999 clauses out of 48009 with flag 1022141/861975
68.39/67.59	c cleaning 24982 clauses out of 50010 with flag 1104835/887975
71.29/70.41	c cleaning 26009 clauses out of 52028 with flag 1189941/914975
74.19/73.32	c cleaning 27005 clauses out of 54019 with flag 1278196/942975
77.39/76.52	c cleaning 28005 clauses out of 56015 with flag 1370270/971976
80.88/80.00	c cleaning 29000 clauses out of 58010 with flag 1465364/1001976
84.49/83.65	c cleaning 29997 clauses out of 60009 with flag 1566890/1032975
88.58/87.74	c cleaning 31002 clauses out of 62015 with flag 1672812/1064978
91.28/90.48	c Got one! Elapsed wall clock time (in seconds):90.36
91.28/90.48	o -12
92.18/91.33	c cleaning 29736 clauses out of 59488 with flag 13990/1093453
92.68/91.83	c cleaning 17874 clauses out of 35752 with flag 30783/1099453
93.08/92.28	c cleaning 12433 clauses out of 24878 with flag 50781/1106453
93.58/92.70	c cleaning 10216 clauses out of 20445 with flag 72918/1114453
93.99/93.13	c cleaning 9612 clauses out of 19230 with flag 98109/1123454
94.39/93.58	c cleaning 9803 clauses out of 19618 with flag 125972/1133454
94.99/94.16	c cleaning 10405 clauses out of 20814 with flag 156698/1144453
95.69/94.84	c cleaning 11200 clauses out of 22409 with flag 194314/1156453
96.39/95.55	c cleaning 12103 clauses out of 24213 with flag 234131/1169457
97.19/96.35	c cleaning 13048 clauses out of 26107 with flag 272904/1183454
98.08/97.27	c cleaning 14029 clauses out of 28058 with flag 313626/1198453
99.18/98.30	c cleaning 15011 clauses out of 30030 with flag 364282/1214454
100.38/99.51	c cleaning 16002 clauses out of 32018 with flag 415610/1231453
101.58/100.76	c cleaning 17003 clauses out of 34016 with flag 467273/1249453
103.08/102.21	c cleaning 18005 clauses out of 36017 with flag 529805/1268457
104.68/103.82	c cleaning 19001 clauses out of 38010 with flag 594123/1288455
106.38/105.56	c cleaning 20001 clauses out of 40008 with flag 663421/1309454
108.38/107.52	c cleaning 20998 clauses out of 42006 with flag 735766/1331453
110.38/109.54	c cleaning 22004 clauses out of 44010 with flag 805059/1354455
112.48/111.65	c cleaning 22996 clauses out of 46004 with flag 875910/1378453
114.98/114.12	c cleaning 24000 clauses out of 48008 with flag 960964/1403453
117.67/116.88	c cleaning 25001 clauses out of 50008 with flag 1049568/1429453
120.67/119.82	c cleaning 26000 clauses out of 52008 with flag 1144291/1456454
123.77/122.90	c cleaning 27003 clauses out of 54009 with flag 1238178/1484455
126.97/126.10	c cleaning 27992 clauses out of 56004 with flag 1328705/1513453
130.59/129.74	c cleaning 29004 clauses out of 58013 with flag 1433736/1543454
134.18/133.33	c cleaning 30001 clauses out of 60008 with flag 1536841/1574453
138.19/137.34	c cleaning 30989 clauses out of 62007 with flag 1633956/1606453
142.29/141.40	c cleaning 32006 clauses out of 64018 with flag 1738187/1639453
146.69/145.83	c cleaning 32995 clauses out of 66012 with flag 1847308/1673453
151.48/150.61	c cleaning 34009 clauses out of 68020 with flag 1961090/1708456
156.48/155.63	c cleaning 34996 clauses out of 70008 with flag 2077610/1744453
161.68/160.84	c cleaning 36003 clauses out of 72014 with flag 2191752/1781455
167.37/166.51	c cleaning 36999 clauses out of 74009 with flag 2309949/1819453
172.87/172.07	c cleaning 38006 clauses out of 76012 with flag 2432876/1858455
178.57/177.79	c cleaning 38998 clauses out of 78006 with flag 2550495/1898455
184.72/183.81	c cleaning 39999 clauses out of 80009 with flag 2672651/1939456
191.73/190.81	c cleaning 40996 clauses out of 82009 with flag 2806621/1981455
198.43/197.52	c cleaning 42007 clauses out of 84013 with flag 2945496/2024455
205.53/204.70	c cleaning 42999 clauses out of 86005 with flag 3082376/2068454
213.03/212.17	c cleaning 44000 clauses out of 88006 with flag 3217108/2113454
220.03/219.18	c cleaning 44998 clauses out of 90006 with flag 3347144/2159454
227.54/226.62	c cleaning 45997 clauses out of 92007 with flag 3482892/2206453
236.04/235.15	c cleaning 46996 clauses out of 94010 with flag 3624741/2254453
245.52/244.51	c cleaning 48005 clauses out of 96016 with flag 3768497/2303455
255.31/254.34	c cleaning 48997 clauses out of 98009 with flag 3914989/2353453
265.41/264.48	c cleaning 50002 clauses out of 100012 with flag 4059488/2404453
275.61/274.67	c cleaning 50998 clauses out of 102010 with flag 4216875/2456453
286.82/285.88	c cleaning 52000 clauses out of 104013 with flag 4371727/2509454
298.42/297.44	c cleaning 53007 clauses out of 106013 with flag 4527857/2563454
311.43/310.46	c cleaning 53999 clauses out of 108008 with flag 4699895/2618456
323.33/322.23	c cleaning 54994 clauses out of 110006 with flag 4855975/2674453
336.43/335.34	c cleaning 56000 clauses out of 112013 with flag 5020956/2731454
348.84/347.72	c cleaning 57003 clauses out of 114012 with flag 5176624/2789453
361.83/360.74	c cleaning 58000 clauses out of 116009 with flag 5344264/2848453
376.44/375.37	c cleaning 59004 clauses out of 118009 with flag 5518925/2908453
390.65/389.57	c cleaning 60000 clauses out of 120005 with flag 5686201/2969453
407.14/405.82	c cleaning 61001 clauses out of 122006 with flag 5867684/3031454
423.45/422.15	c cleaning 61994 clauses out of 124007 with flag 6044152/3094456
440.15/438.89	c cleaning 62998 clauses out of 126011 with flag 6219421/3158454
459.95/458.62	c cleaning 64001 clauses out of 128013 with flag 6422442/3223454
477.76/476.45	c cleaning 64984 clauses out of 130011 with flag 6607982/3289453
496.35/494.94	c cleaning 66007 clauses out of 132027 with flag 6786228/3356453
515.56/514.11	c cleaning 67004 clauses out of 134020 with flag 6972475/3424453
534.57/533.19	c cleaning 68007 clauses out of 136016 with flag 7160483/3493453
554.38/552.98	c cleaning 68997 clauses out of 138011 with flag 7359722/3563455
574.44/572.82	c cleaning 70004 clauses out of 140014 with flag 7556664/3634455
595.64/594.09	c cleaning 71000 clauses out of 142009 with flag 7754867/3706454
618.34/616.73	c cleaning 71999 clauses out of 144008 with flag 7949361/3779453
645.14/643.31	c cleaning 72998 clauses out of 146011 with flag 8174774/3853455
669.64/667.85	c cleaning 74003 clauses out of 148011 with flag 8418195/3928453
693.24/691.49	c cleaning 74999 clauses out of 150008 with flag 8638837/4004453
717.99/716.02	c cleaning 76004 clauses out of 152011 with flag 8856251/4081455
743.30/741.31	c cleaning 76995 clauses out of 154006 with flag 9072553/4159454
769.41/767.44	c cleaning 78001 clauses out of 156010 with flag 9299546/4238453
796.12/794.16	c cleaning 78998 clauses out of 158010 with flag 9523117/4318454
827.73/825.68	c cleaning 79992 clauses out of 160011 with flag 9756045/4399453
857.03/854.98	c cleaning 81005 clauses out of 162020 with flag 9983490/4481454
887.62/885.50	c cleaning 82007 clauses out of 164014 with flag 10209391/4564453
919.73/917.53	c cleaning 82999 clauses out of 166009 with flag 10449620/4648455
951.73/949.58	c cleaning 84001 clauses out of 168009 with flag 10692366/4733454
984.06/981.74	c cleaning 84996 clauses out of 170007 with flag 10929240/4819453
1017.08/1014.78	c cleaning 86001 clauses out of 172011 with flag 11170463/4906453
1050.49/1048.13	c cleaning 87000 clauses out of 174010 with flag 11414720/4994453
1081.58/1079.20	c cleaning 88002 clauses out of 176010 with flag 11647498/5083453
1112.86/1110.43	c cleaning 88997 clauses out of 178009 with flag 11879217/5173454
1151.94/1149.48	c cleaning 90003 clauses out of 180013 with flag 12145692/5264455
1187.64/1185.19	c cleaning 90993 clauses out of 182008 with flag 12396487/5356453
1225.63/1223.11	c cleaning 92000 clauses out of 184015 with flag 12645994/5449453
1261.93/1259.38	c cleaning 93006 clauses out of 186017 with flag 12895913/5543455
1303.74/1301.11	c cleaning 94004 clauses out of 188010 with flag 13159554/5638454
1343.76/1341.07	c cleaning 95002 clauses out of 190005 with flag 13419731/5734453
1386.97/1384.25	c cleaning 95993 clauses out of 192003 with flag 13684663/5831453
1431.01/1428.15	c cleaning 97001 clauses out of 194010 with flag 13961869/5929453
1475.13/1472.20	c cleaning 98002 clauses out of 196011 with flag 14246543/6028455
1518.46/1515.41	c cleaning 99004 clauses out of 198008 with flag 14519115/6128454
1566.49/1563.44	c cleaning 99997 clauses out of 200003 with flag 14798171/6229453
1612.20/1609.10	c cleaning 101003 clauses out of 202007 with flag 15073253/6331454
1664.35/1661.13	c cleaning 101991 clauses out of 204003 with flag 15351389/6434453
1719.39/1716.08	c cleaning 103001 clauses out of 206012 with flag 15635312/6538453
1772.58/1769.22	c cleaning 104001 clauses out of 208011 with flag 15934429/6643453
1800.08/1796.70	c starts		: 18307
1800.08/1796.70	c conflicts		: 6711980
1800.08/1796.70	c decisions		: 13433173
1800.08/1796.70	c propagations		: 97387753
1800.08/1796.70	c inspects		: 31857964201
1800.08/1796.70	c shortcuts		: 0
1800.08/1796.70	c learnt literals	: 0
1800.08/1796.70	c learnt binary clauses	: 3
1800.08/1796.70	c learnt ternary clauses	: 4432
1800.08/1796.70	c learnt constraints	: 6711981
1800.08/1796.70	c ignored constraints	: 0
1800.08/1796.70	c root simplifications	: 0
1800.08/1796.70	c removed literals (reason simplification)	: 0
1800.08/1796.70	c reason swapping (by a shorter reason)	: 0
1800.08/1796.70	c Calls to reduceDB	: 172
1800.08/1796.70	c Number of update (reduction) of LBD	: 2005934
1800.08/1796.70	c Imported unit clauses	: 0
1800.08/1796.70	c number of reductions to clauses (during analyze)	: 0
1800.08/1796.70	c number of learned constraints concerned by reduction	: 0
1800.08/1796.70	c number of learning phase by resolution	: 0
1800.08/1796.70	c number of learning phase by cutting planes	: 0
1800.08/1796.70	c speed (assignments/second)	: 54210.49956748609
1800.08/1796.70	c non guided choices	0
1800.08/1796.73	c learnt constraints type 
1800.08/1796.73	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 3
1800.08/1796.73	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 172535
1800.08/1796.73	s SATISFIABLE
1800.08/1796.73	c Found 6 solution(s)
1800.08/1796.73	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 
1800.08/1796.73	c objective function=-12
1800.08/1796.73	c Total wall clock time (in seconds): 1796.614

Verifier Data

OK	-12

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-4106792-1466276944/watcher-4106792-1466276944 -o /tmp/evaluation-result-4106792-1466276944/solver-4106792-1466276944 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466265808-19865 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4106792-1466276944.opb 

pid=22723
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.10 2.09 2.08 2/194 22726
/proc/meminfo: memFree=30308920/32872528 swapFree=877056/942464
[pid=22726] ppid=22723 vsize=5632 CPUtime=0 cores=1,3,5,7
/proc/22726/stat : 22726 (java) R 22723 22726 19848 0 -1 4202496 386 0 0 0 0 0 0 0 20 0 1 0 29743335 5767168 56 33554432000 1073741824 1073778376 140735115272240 140735115269368 213183982887 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/22726/statm: 1408 60 47 9 0 30 0

[startup+0.100059 s]
/proc/loadavg: 2.10 2.09 2.08 2/194 22726
/proc/meminfo: memFree=30308920/32872528 swapFree=877056/942464
[pid=22726] ppid=22723 vsize=9558476 CPUtime=0.1 cores=1,3,5,7
/proc/22726/stat : 22726 (java) S 22723 22726 19848 0 -1 4202496 4413 0 1 0 8 2 0 0 20 0 18 0 29743335 9787879424 6036 33554432000 1073741824 1073778376 140735115272240 140735115263376 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22726/statm: 2389619 6036 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200223 s]
/proc/loadavg: 2.10 2.09 2.08 2/194 22726
/proc/meminfo: memFree=30308920/32872528 swapFree=877056/942464
[pid=22726] ppid=22723 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/22726/stat : 22726 (java) S 22723 22726 19848 0 -1 4202496 4603 0 1 0 21 2 0 0 20 0 18 0 29743335 9787879424 6696 33554432000 1073741824 1073778376 140735115272240 140735115263376 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22726/statm: 2389619 6696 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300227 s]
/proc/loadavg: 2.10 2.09 2.08 2/194 22726
/proc/meminfo: memFree=30308920/32872528 swapFree=877056/942464
[pid=22726] ppid=22723 vsize=9625040 CPUtime=0.46 cores=1,3,5,7
/proc/22726/stat : 22726 (java) S 22723 22726 19848 0 -1 4202496 6842 0 1 0 43 3 0 0 20 0 19 0 29743335 9856040960 8667 33554432000 1073741824 1073778376 140735115272240 140735115263376 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22726/statm: 2406260 8667 2241 9 0 2396937 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9625040

[startup+0.700167 s]
/proc/loadavg: 2.10 2.09 2.08 2/194 22726
/proc/meminfo: memFree=30308920/32872528 swapFree=877056/942464
[pid=22726] ppid=22723 vsize=9625040 CPUtime=1.08 cores=1,3,5,7
/proc/22726/stat : 22726 (java) S 22723 22726 19848 0 -1 4202496 8054 0 1 0 105 3 0 0 20 0 19 0 29743335 9856040960 9990 33554432000 1073741824 1073778376 140735115272240 140735115263376 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22726/statm: 2406260 9991 2254 9 0 2396937 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 9625040

[startup+1.50076 s]
/proc/loadavg: 2.10 2.09 2.08 3/213 22745
/proc/meminfo: memFree=30259948/32872528 swapFree=877056/942464
[pid=22726] ppid=22723 vsize=9625040 CPUtime=2.33 cores=1,3,5,7
/proc/22726/stat : 22726 (java) S 22723 22726 19848 0 -1 4202496 15088 0 1 0 229 4 0 0 20 0 19 0 29743335 9856040960 14985 33554432000 1073741824 1073778376 140735115272240 140735115263376 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22726/statm: 2406260 14985 2256 9 0 2396937 0
[pid=22726/tid=22728] ppid=22723 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/22726/task/22728/stat : 22728 (java) R 22723 22726 19848 0 -1 4202560 2415 0 1 0 144 2 0 0 20 0 19 0 29743335 9856040960 14985 33554432000 1073741824 1073778376 140735115272240 140675181928936 140675027334287 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22729] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22729/stat : 22729 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743337 9856040960 14985 33554432000 1073741824 1073778376 140735115272240 140675154381096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22730] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22730/stat : 22730 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743337 9856040960 14985 33554432000 1073741824 1073778376 140735115272240 140675153328296 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22726/tid=22731] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22731/stat : 22731 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743337 9856040960 14985 33554432000 1073741824 1073778376 140735115272240 140675152276008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22726/tid=22732] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22732/stat : 22732 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743337 9856040960 14985 33554432000 1073741824 1073778376 140735115272240 140675151223208 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22726/tid=22733] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22733/stat : 22733 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743337 9856040960 14985 33554432000 1073741824 1073778376 140735115272240 140675150170920 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22734] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22734/stat : 22734 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743337 9856040960 14985 33554432000 1073741824 1073778376 140735115272240 140675149118120 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22726/tid=22735] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22735/stat : 22735 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743337 9856040960 14985 33554432000 1073741824 1073778376 140735115272240 140675148065832 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22736] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22736/stat : 22736 (java) S 22723 22726 19848 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29743337 9856040960 14985 33554432000 1073741824 1073778376 140735115272240 140675147013032 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22737] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22737/stat : 22737 (java) S 22723 22726 19848 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29743338 9856040960 14985 33554432000 1073741824 1073778376 140735115272240 140674536024296 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22738] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22738/stat : 22738 (java) S 22723 22726 19848 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29743338 9856040960 14985 33554432000 1073741824 1073778376 140735115272240 140674534970360 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22739] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22739/stat : 22739 (java) S 22723 22726 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29743338 9856040960 14985 33554432000 1073741824 1073778376 140735115272240 140674533917960 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22740] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22740/stat : 22740 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743341 9856040960 14985 33554432000 1073741824 1073778376 140735115272240 140674532866448 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22726/tid=22741] ppid=22723 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/22726/task/22741/stat : 22741 (java) S 22723 22726 19848 0 -1 4202560 2174 0 0 0 22 0 0 0 20 0 19 0 29743341 9856040960 14985 33554432000 1073741824 1073778376 140735115272240 140674531814072 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22726/tid=22742] ppid=22723 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/22726/task/22742/stat : 22742 (java) S 22723 22726 19848 0 -1 4202560 9226 0 0 0 58 2 0 0 20 0 19 0 29743341 9856040960 14985 33554432000 1073741824 1073778376 140735115272240 140674530761272 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22726/tid=22743] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22743/stat : 22743 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743341 9856040960 14985 33554432000 1073741824 1073778376 140735115272240 140674529709176 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22726/tid=22744] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22744/stat : 22744 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743341 9856040960 14985 33554432000 1073741824 1073778376 140735115272240 140674528656584 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22726/tid=22745] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22745/stat : 22745 (java) S 22723 22726 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29743358 9856040960 14985 33554432000 1073741824 1073778376 140735115272240 140674527601576 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.33
Current children cumulated vsize (KiB) 9625040

[startup+3.10078 s]
/proc/loadavg: 2.26 2.12 2.09 3/213 22745
/proc/meminfo: memFree=30251020/32872528 swapFree=877056/942464
[pid=22726] ppid=22723 vsize=9625040 CPUtime=3.95 cores=1,3,5,7
/proc/22726/stat : 22726 (java) S 22723 22726 19848 0 -1 4202496 15265 0 1 0 391 4 0 0 20 0 19 0 29743335 9856040960 17558 33554432000 1073741824 1073778376 140735115272240 140735115263376 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22726/statm: 2406260 17558 2257 9 0 2396937 0
[pid=22726/tid=22728] ppid=22723 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/22726/task/22728/stat : 22728 (java) R 22723 22726 19848 0 -1 4202560 2420 0 1 0 303 2 0 0 20 0 19 0 29743335 9856040960 17558 33554432000 1073741824 1073778376 140735115272240 140675181919920 140675027312727 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22729] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22729/stat : 22729 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743337 9856040960 17558 33554432000 1073741824 1073778376 140735115272240 140675154381096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22730] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22730/stat : 22730 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743337 9856040960 17558 33554432000 1073741824 1073778376 140735115272240 140675153328296 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22726/tid=22731] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22731/stat : 22731 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743337 9856040960 17558 33554432000 1073741824 1073778376 140735115272240 140675152276008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22726/tid=22732] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22732/stat : 22732 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743337 9856040960 17558 33554432000 1073741824 1073778376 140735115272240 140675151223208 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22726/tid=22733] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22733/stat : 22733 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743337 9856040960 17558 33554432000 1073741824 1073778376 140735115272240 140675150170920 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22734] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22734/stat : 22734 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743337 9856040960 17558 33554432000 1073741824 1073778376 140735115272240 140675149118120 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22726/tid=22735] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22735/stat : 22735 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743337 9856040960 17558 33554432000 1073741824 1073778376 140735115272240 140675148065832 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22736] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22736/stat : 22736 (java) S 22723 22726 19848 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29743337 9856040960 17558 33554432000 1073741824 1073778376 140735115272240 140675147013032 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22737] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22737/stat : 22737 (java) S 22723 22726 19848 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29743338 9856040960 17558 33554432000 1073741824 1073778376 140735115272240 140674536024296 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22738] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22738/stat : 22738 (java) S 22723 22726 19848 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29743338 9856040960 17558 33554432000 1073741824 1073778376 140735115272240 140674534970360 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22739] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22739/stat : 22739 (java) S 22723 22726 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29743338 9856040960 17558 33554432000 1073741824 1073778376 140735115272240 140674533917960 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22740] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22740/stat : 22740 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743341 9856040960 17558 33554432000 1073741824 1073778376 140735115272240 140674532866448 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22726/tid=22741] ppid=22723 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/22726/task/22741/stat : 22741 (java) S 22723 22726 19848 0 -1 4202560 2346 0 0 0 25 0 0 0 20 0 19 0 29743341 9856040960 17558 33554432000 1073741824 1073778376 140735115272240 140674531814072 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22726/tid=22742] ppid=22723 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/22726/task/22742/stat : 22742 (java) S 22723 22726 19848 0 -1 4202560 9226 0 0 0 58 2 0 0 20 0 19 0 29743341 9856040960 17558 33554432000 1073741824 1073778376 140735115272240 140674530761272 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22726/tid=22743] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22743/stat : 22743 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743341 9856040960 17558 33554432000 1073741824 1073778376 140735115272240 140674529709176 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22726/tid=22744] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22744/stat : 22744 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743341 9856040960 17558 33554432000 1073741824 1073778376 140735115272240 140674528656584 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22726/tid=22745] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22745/stat : 22745 (java) S 22723 22726 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29743358 9856040960 17558 33554432000 1073741824 1073778376 140735115272240 140674527601576 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.95
Current children cumulated vsize (KiB) 9625040

[startup+6.30081 s]
/proc/loadavg: 2.26 2.12 2.09 4/213 22745
/proc/meminfo: memFree=30247452/32872528 swapFree=877056/942464
[pid=22726] ppid=22723 vsize=9625040 CPUtime=7.15 cores=1,3,5,7
/proc/22726/stat : 22726 (java) S 22723 22726 19848 0 -1 4202496 15274 0 1 0 711 4 0 0 20 0 19 0 29743335 9856040960 19684 33554432000 1073741824 1073778376 140735115272240 140735115263376 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22726/statm: 2406260 19684 2258 9 0 2396937 0
[pid=22726/tid=22728] ppid=22723 vsize=9625040 CPUtime=6.24 cores=1,3,5,7
/proc/22726/task/22728/stat : 22728 (java) R 22723 22726 19848 0 -1 4202560 2428 0 1 0 622 2 0 0 20 0 19 0 29743335 9856040960 19684 33554432000 1073741824 1073778376 140735115272240 140675181919920 140675027334287 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22726/tid=22729] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22729/stat : 22729 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743337 9856040960 19684 33554432000 1073741824 1073778376 140735115272240 140675154381096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22730] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22730/stat : 22730 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743337 9856040960 19684 33554432000 1073741824 1073778376 140735115272240 140675153328296 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22726/tid=22731] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22731/stat : 22731 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743337 9856040960 19684 33554432000 1073741824 1073778376 140735115272240 140675152276008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22726/tid=22732] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22732/stat : 22732 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743337 9856040960 19684 33554432000 1073741824 1073778376 140735115272240 140675151223208 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22726/tid=22733] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22733/stat : 22733 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743337 9856040960 19684 33554432000 1073741824 1073778376 140735115272240 140675150170920 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22734] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22734/stat : 22734 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743337 9856040960 19684 33554432000 1073741824 1073778376 140735115272240 140675149118120 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22726/tid=22735] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22735/stat : 22735 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743337 9856040960 19684 33554432000 1073741824 1073778376 140735115272240 140675148065832 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22736] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22736/stat : 22736 (java) S 22723 22726 19848 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29743337 9856040960 19684 33554432000 1073741824 1073778376 140735115272240 140675147013032 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22737] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22737/stat : 22737 (java) S 22723 22726 19848 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29743338 9856040960 19684 33554432000 1073741824 1073778376 140735115272240 140674536024296 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22738] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22738/stat : 22738 (java) S 22723 22726 19848 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29743338 9856040960 19684 33554432000 1073741824 1073778376 140735115272240 140674534970360 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22739] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22739/stat : 22739 (java) S 22723 22726 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29743338 9856040960 19684 33554432000 1073741824 1073778376 140735115272240 140674533917960 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22740] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22740/stat : 22740 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743341 9856040960 19684 33554432000 1073741824 1073778376 140735115272240 140674532866448 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22726/tid=22741] ppid=22723 vsize=9625040 CPUtime=0.25 cores=1,3,5,7
/proc/22726/task/22741/stat : 22741 (java) S 22723 22726 19848 0 -1 4202560 2346 0 0 0 25 0 0 0 20 0 19 0 29743341 9856040960 19684 33554432000 1073741824 1073778376 140735115272240 140674531814072 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22726/tid=22742] ppid=22723 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/22726/task/22742/stat : 22742 (java) S 22723 22726 19848 0 -1 4202560 9226 0 0 0 58 2 0 0 20 0 19 0 29743341 9856040960 19684 33554432000 1073741824 1073778376 140735115272240 140674530761272 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22726/tid=22743] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22743/stat : 22743 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743341 9856040960 19684 33554432000 1073741824 1073778376 140735115272240 140674529709176 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22726/tid=22744] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22744/stat : 22744 (java) S 22723 22726 19848 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 29743341 9856040960 19684 33554432000 1073741824 1073778376 140735115272240 140674528656584 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22726/tid=22745] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22745/stat : 22745 (java) S 22723 22726 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29743358 9856040960 19684 33554432000 1073741824 1073778376 140735115272240 140674527601576 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 7.15
Current children cumulated vsize (KiB) 9625040


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

[pid=22726/tid=22745] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22745/stat : 22745 (java) S 22723 22726 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29743358 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140674527601576 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1725.68
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.12 2.09 2.08 3/213 22856
/proc/meminfo: memFree=29715972/32872528 swapFree=877056/942464
[pid=22726] ppid=22723 vsize=9625040 CPUtime=1785.69 cores=1,3,5,7
/proc/22726/stat : 22726 (java) S 22723 22726 19848 0 -1 4202496 17554 0 1 0 178465 104 0 0 20 0 19 0 29743335 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140735115263376 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22726/statm: 2406260 117012 2280 9 0 2396937 0
[pid=22726/tid=22728] ppid=22723 vsize=9625040 CPUtime=1776.57 cores=1,3,5,7
/proc/22726/task/22728/stat : 22728 (java) R 22723 22726 19848 0 -1 4202560 2499 0 1 0 177626 31 0 0 20 0 19 0 29743335 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140675181920016 140675027334287 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22726/tid=22729] ppid=22723 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/22726/task/22729/stat : 22729 (java) S 22723 22726 19848 0 -1 4202560 148 0 0 0 29 5 0 0 20 0 19 0 29743337 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140675154381096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22726/tid=22730] ppid=22723 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/22726/task/22730/stat : 22730 (java) S 22723 22726 19848 0 -1 4202560 160 0 0 0 33 6 0 0 20 0 19 0 29743337 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140675153328296 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22726/tid=22731] ppid=22723 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/22726/task/22731/stat : 22731 (java) S 22723 22726 19848 0 -1 4202560 257 0 0 0 32 6 0 0 20 0 19 0 29743337 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140675152276008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22732] ppid=22723 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/22726/task/22732/stat : 22732 (java) S 22723 22726 19848 0 -1 4202560 393 0 0 0 27 5 0 0 20 0 19 0 29743337 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140675151223208 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22726/tid=22733] ppid=22723 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/22726/task/22733/stat : 22733 (java) S 22723 22726 19848 0 -1 4202560 323 0 0 0 31 6 0 0 20 0 19 0 29743337 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140675150170920 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22726/tid=22734] ppid=22723 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/22726/task/22734/stat : 22734 (java) S 22723 22726 19848 0 -1 4202560 258 0 0 0 29 3 0 0 20 0 19 0 29743337 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140675149118120 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22735] ppid=22723 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/22726/task/22735/stat : 22735 (java) S 22723 22726 19848 0 -1 4202560 154 0 0 0 27 5 0 0 20 0 19 0 29743337 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140675148065832 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22736] ppid=22723 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/22726/task/22736/stat : 22736 (java) S 22723 22726 19848 0 -1 4202560 271 0 0 0 29 7 0 0 20 0 19 0 29743337 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140675147013032 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22726/tid=22737] ppid=22723 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/22726/task/22737/stat : 22737 (java) S 22723 22726 19848 0 -1 4202560 123 0 0 0 18 2 0 0 20 0 19 0 29743338 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140674536024296 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22726/tid=22738] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22738/stat : 22738 (java) S 22723 22726 19848 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29743338 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140674534970360 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22739] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22739/stat : 22739 (java) S 22723 22726 19848 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29743338 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140674533917960 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22740] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22740/stat : 22740 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743341 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140674532866448 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22726/tid=22741] ppid=22723 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/22726/task/22741/stat : 22741 (java) S 22723 22726 19848 0 -1 4202560 2379 0 0 0 29 0 0 0 20 0 19 0 29743341 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140674531814072 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22726/tid=22742] ppid=22723 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/22726/task/22742/stat : 22742 (java) S 22723 22726 19848 0 -1 4202560 9226 0 0 0 58 2 0 0 20 0 19 0 29743341 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140674530761272 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22726/tid=22743] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22743/stat : 22743 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743341 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140674529709176 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22726/tid=22744] ppid=22723 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/22726/task/22744/stat : 22744 (java) S 22723 22726 19848 0 -1 4202560 104 0 0 0 24 51 0 0 20 0 19 0 29743341 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140674528656584 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22745] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22745/stat : 22745 (java) S 22723 22726 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29743358 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140674527601576 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1785.69
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.7 s]
/proc/loadavg: 2.11 2.09 2.08 3/213 22856
/proc/meminfo: memFree=29716100/32872528 swapFree=877056/942464
[pid=22726] ppid=22723 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/22726/stat : 22726 (java) S 22723 22726 19848 0 -1 4202496 17554 0 1 0 179904 104 0 0 20 0 19 0 29743335 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140735115263376 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22726/statm: 2406260 117012 2280 9 0 2396937 0
[pid=22726/tid=22728] ppid=22723 vsize=9625040 CPUtime=1790.93 cores=1,3,5,7
/proc/22726/task/22728/stat : 22728 (java) R 22723 22726 19848 0 -1 4202560 2499 0 1 0 179062 31 0 0 20 0 19 0 29743335 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140675181920016 140675027334287 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22726/tid=22729] ppid=22723 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/22726/task/22729/stat : 22729 (java) S 22723 22726 19848 0 -1 4202560 148 0 0 0 29 5 0 0 20 0 19 0 29743337 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140675154381096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22726/tid=22730] ppid=22723 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/22726/task/22730/stat : 22730 (java) S 22723 22726 19848 0 -1 4202560 160 0 0 0 33 6 0 0 20 0 19 0 29743337 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140675153328296 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22726/tid=22731] ppid=22723 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/22726/task/22731/stat : 22731 (java) S 22723 22726 19848 0 -1 4202560 257 0 0 0 32 6 0 0 20 0 19 0 29743337 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140675152276008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22732] ppid=22723 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/22726/task/22732/stat : 22732 (java) S 22723 22726 19848 0 -1 4202560 393 0 0 0 27 5 0 0 20 0 19 0 29743337 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140675151223208 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22726/tid=22733] ppid=22723 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/22726/task/22733/stat : 22733 (java) S 22723 22726 19848 0 -1 4202560 323 0 0 0 31 6 0 0 20 0 19 0 29743337 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140675150170920 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22726/tid=22734] ppid=22723 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/22726/task/22734/stat : 22734 (java) S 22723 22726 19848 0 -1 4202560 258 0 0 0 29 3 0 0 20 0 19 0 29743337 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140675149118120 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22735] ppid=22723 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/22726/task/22735/stat : 22735 (java) S 22723 22726 19848 0 -1 4202560 154 0 0 0 27 5 0 0 20 0 19 0 29743337 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140675148065832 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22736] ppid=22723 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/22726/task/22736/stat : 22736 (java) S 22723 22726 19848 0 -1 4202560 271 0 0 0 29 7 0 0 20 0 19 0 29743337 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140675147013032 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22726/tid=22737] ppid=22723 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/22726/task/22737/stat : 22737 (java) S 22723 22726 19848 0 -1 4202560 123 0 0 0 18 2 0 0 20 0 19 0 29743338 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140674536024296 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22726/tid=22738] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22738/stat : 22738 (java) S 22723 22726 19848 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29743338 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140674534970360 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22739] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22739/stat : 22739 (java) S 22723 22726 19848 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29743338 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140674533917960 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22740] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22740/stat : 22740 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743341 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140674532866448 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22726/tid=22741] ppid=22723 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/22726/task/22741/stat : 22741 (java) S 22723 22726 19848 0 -1 4202560 2379 0 0 0 29 0 0 0 20 0 19 0 29743341 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140674531814072 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22726/tid=22742] ppid=22723 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/22726/task/22742/stat : 22742 (java) S 22723 22726 19848 0 -1 4202560 9226 0 0 0 58 2 0 0 20 0 19 0 29743341 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140674530761272 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22726/tid=22743] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22743/stat : 22743 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743341 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140674529709176 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22726/tid=22744] ppid=22723 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/22726/task/22744/stat : 22744 (java) S 22723 22726 19848 0 -1 4202560 104 0 0 0 24 51 0 0 20 0 19 0 29743341 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140674528656584 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22745] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22745/stat : 22745 (java) S 22723 22726 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29743358 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140674527601576 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 22726 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1796.7 s]
/proc/loadavg: 2.11 2.09 2.08 3/213 22856
/proc/meminfo: memFree=29716100/32872528 swapFree=877056/942464
[pid=22726] ppid=22723 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/22726/stat : 22726 (java) S 22723 22726 19848 0 -1 4202496 17554 0 1 0 179904 104 0 0 20 0 19 0 29743335 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140735115263376 213196505149 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/22726/statm: 2406260 117012 2280 9 0 2396937 0
[pid=22726/tid=22728] ppid=22723 vsize=9625040 CPUtime=1790.93 cores=1,3,5,7
/proc/22726/task/22728/stat : 22728 (java) R 22723 22726 19848 0 -1 4202560 2499 0 1 0 179062 31 0 0 20 0 19 0 29743335 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140675181920016 140675027334287 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=22726/tid=22729] ppid=22723 vsize=9625040 CPUtime=0.34 cores=1,3,5,7
/proc/22726/task/22729/stat : 22729 (java) S 22723 22726 19848 0 -1 4202560 148 0 0 0 29 5 0 0 20 0 19 0 29743337 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140675154381096 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22726/tid=22730] ppid=22723 vsize=9625040 CPUtime=0.39 cores=1,3,5,7
/proc/22726/task/22730/stat : 22730 (java) S 22723 22726 19848 0 -1 4202560 160 0 0 0 33 6 0 0 20 0 19 0 29743337 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140675153328296 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22726/tid=22731] ppid=22723 vsize=9625040 CPUtime=0.38 cores=1,3,5,7
/proc/22726/task/22731/stat : 22731 (java) S 22723 22726 19848 0 -1 4202560 257 0 0 0 32 6 0 0 20 0 19 0 29743337 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140675152276008 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22732] ppid=22723 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/22726/task/22732/stat : 22732 (java) S 22723 22726 19848 0 -1 4202560 393 0 0 0 27 5 0 0 20 0 19 0 29743337 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140675151223208 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22726/tid=22733] ppid=22723 vsize=9625040 CPUtime=0.37 cores=1,3,5,7
/proc/22726/task/22733/stat : 22733 (java) S 22723 22726 19848 0 -1 4202560 323 0 0 0 31 6 0 0 20 0 19 0 29743337 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140675150170920 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22726/tid=22734] ppid=22723 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/22726/task/22734/stat : 22734 (java) S 22723 22726 19848 0 -1 4202560 258 0 0 0 29 3 0 0 20 0 19 0 29743337 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140675149118120 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22735] ppid=22723 vsize=9625040 CPUtime=0.32 cores=1,3,5,7
/proc/22726/task/22735/stat : 22735 (java) S 22723 22726 19848 0 -1 4202560 154 0 0 0 27 5 0 0 20 0 19 0 29743337 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140675148065832 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22736] ppid=22723 vsize=9625040 CPUtime=0.36 cores=1,3,5,7
/proc/22726/task/22736/stat : 22736 (java) S 22723 22726 19848 0 -1 4202560 271 0 0 0 29 7 0 0 20 0 19 0 29743337 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140675147013032 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22726/tid=22737] ppid=22723 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/22726/task/22737/stat : 22737 (java) S 22723 22726 19848 0 -1 4202560 123 0 0 0 18 2 0 0 20 0 19 0 29743338 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140674536024296 213196519337 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22726/tid=22738] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22738/stat : 22738 (java) S 22723 22726 19848 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29743338 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140674534970360 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22739] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22739/stat : 22739 (java) S 22723 22726 19848 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29743338 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140674533917960 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22740] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22740/stat : 22740 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743341 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140674532866448 213196527392 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22726/tid=22741] ppid=22723 vsize=9625040 CPUtime=0.29 cores=1,3,5,7
/proc/22726/task/22741/stat : 22741 (java) S 22723 22726 19848 0 -1 4202560 2379 0 0 0 29 0 0 0 20 0 19 0 29743341 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140674531814072 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22726/tid=22742] ppid=22723 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/22726/task/22742/stat : 22742 (java) S 22723 22726 19848 0 -1 4202560 9226 0 0 0 58 2 0 0 20 0 19 0 29743341 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140674530761272 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22726/tid=22743] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22743/stat : 22743 (java) S 22723 22726 19848 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29743341 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140674529709176 213196518460 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22726/tid=22744] ppid=22723 vsize=9625040 CPUtime=0.75 cores=1,3,5,7
/proc/22726/task/22744/stat : 22744 (java) S 22723 22726 19848 0 -1 4202560 104 0 0 0 24 51 0 0 20 0 19 0 29743341 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140674528656584 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22726/tid=22745] ppid=22723 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/22726/task/22745/stat : 22745 (java) S 22723 22726 19848 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29743358 9856040960 117012 33554432000 1073741824 1073778376 140735115272240 140674527601576 213196519337 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040

Child status: 143

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

Real time (s): 1796.74
CPU time (s): 1800.08
CPU user time (s): 1799.04
CPU system time (s): 1.04
CPU usage (%): 100.186
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.5
system time used= 1.44078
maximum resident set size= 577960
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17602
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1304
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38648
involuntary context switches= 11892

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.7114 second user time and 13.6139 second system time

The end

Launcher Data

Begin job on node113 at 2016-06-18 21:09:04
IDJOB=4106792
IDBENCH=48261
IDSOLVER=2546
FILE ID=node113/4106792-1466276944
RUNJOBID= node113-1466265808-19865
PBS_JOBID= 19918235
Free space on /tmp= 71704 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_50_10_5.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4106792-1466276944/watcher-4106792-1466276944 -o /tmp/evaluation-result-4106792-1466276944/solver-4106792-1466276944 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node113-1466265808-19865 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4106792-1466276944.opb

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

MD5SUM BENCH= 0619afe86d0e2ffb4ad28e9f2f441c24
RANDOM SEED=2053611276

node113.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.799
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.59
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.799
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	: 5332.55
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.799
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.56
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.799
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.799
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.55
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.799
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.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.799
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.54
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.799
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.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30309448 kB
Buffers:          118064 kB
Cached:           284860 kB
SwapCached:         1896 kB
Active:           565012 kB
Inactive:         314164 kB
Active(anon):     476600 kB
Inactive(anon):     2024 kB
Active(file):      88412 kB
Inactive(file):   312140 kB
Unevictable:      942464 kB
Mlocked:          877056 kB
SwapTotal:      67108856 kB
SwapFree:       67098956 kB
Dirty:               860 kB
Writeback:             0 kB
AnonPages:       1417512 kB
Mapped:            15352 kB
Shmem:                 0 kB
Slab:             606336 kB
SReclaimable:      50096 kB
SUnreclaim:       556240 kB
KernelStack:        1640 kB
PageTables:         7256 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1548660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    499712 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= 71704 MiB
End job on node113 at 2016-06-18 21:39:01