Trace number 4106801

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)-13 1800.79 1789.54

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_100_25_4.opb
MD5SUMfeead174159765db2806c13d35bd6cbe
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-14
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 -16
Optimality of the best value was proved NO
Number of variables200
Total number of constraints301
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints201
Minimum length of a constraint2
Maximum length of a constraint200
Number of terms in the objective function 100
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 100
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 200
Number of bits of the biggest sum of numbers8
Number of products (including duplicates)6140
Sum of products size (including duplicates)12280
Number of different products3070
Sum of products size6140

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@587bd9f2
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@4e3eca90
0.09/0.11	c --- End Solver configuration ---
0.09/0.11	c solving HOME/instance-4106801-1466277104.opb
0.09/0.11	c reading problem ... 
0.09/0.12	c  objective function found
0.75/0.40	c ... done. Wall clock time 0.289s.
0.75/0.40	c declared #vars     200
0.75/0.40	c internal #vars     3270
0.75/0.40	c #constraints  6442
0.75/0.40	c constraints type 
0.75/0.40	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 3070
0.75/0.40	c org.sat4j.minisat.constraints.card.MinWatchCard => 202
0.75/0.40	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 100
0.75/0.40	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 3070
0.75/0.40	c 6442 constraints processed.
0.75/0.40	c objective function length is 100 literals
1.58/0.70	c SATISFIABLE
1.58/0.70	c OPTIMIZING...
1.58/0.70	c Got one! Elapsed wall clock time (in seconds):0.588
1.58/0.70	o -8
1.74/0.85	c Got one! Elapsed wall clock time (in seconds):0.732
1.74/0.85	o -9
1.74/0.88	c Got one! Elapsed wall clock time (in seconds):0.761
1.74/0.88	o -10
2.51/1.53	c cleaning 3135 clauses out of 6269 with flag 15325/6269
3.47/2.44	c cleaning 4557 clauses out of 9113 with flag 27972/12248
4.89/3.43	c cleaning 5761 clauses out of 11545 with flag 42936/19237
5.68/3.81	c Got one! Elapsed wall clock time (in seconds):3.698
5.68/3.81	o -11
5.89/3.91	c cleaning 5420 clauses out of 10839 with flag 2326/24292
6.42/4.49	c cleaning 5713 clauses out of 11425 with flag 15973/30298
7.41/5.44	c cleaning 6367 clauses out of 12735 with flag 30433/37321
8.81/6.82	c cleaning 7188 clauses out of 14375 with flag 46930/45328
10.11/8.17	c cleaning 8081 clauses out of 16162 with flag 68336/54303
11.31/9.30	c cleaning 9035 clauses out of 18070 with flag 90500/64292
12.31/10.35	c cleaning 10018 clauses out of 20036 with flag 120015/75293
13.21/11.28	c cleaning 11008 clauses out of 22018 with flag 161521/87293
14.22/12.25	c cleaning 11999 clauses out of 24010 with flag 203910/100293
15.21/13.25	c cleaning 13006 clauses out of 26012 with flag 249762/114294
16.32/14.37	c cleaning 13995 clauses out of 28004 with flag 295514/129292
16.42/14.49	c Got one! Elapsed wall clock time (in seconds):14.372
16.42/14.49	o -12
16.77/14.75	c cleaning 9985 clauses out of 19970 with flag 11418/135253
17.27/15.21	c cleaning 7980 clauses out of 15984 with flag 36540/141252
17.87/15.84	c cleaning 7498 clauses out of 15005 with flag 66044/148253
18.46/16.49	c cleaning 7747 clauses out of 15506 with flag 101304/156252
19.18/17.19	c cleaning 8378 clauses out of 16762 with flag 141530/165255
20.18/18.13	c cleaning 9181 clauses out of 18381 with flag 183009/175252
20.98/18.95	c cleaning 10100 clauses out of 20200 with flag 226637/186252
21.78/19.77	c cleaning 11044 clauses out of 22101 with flag 270932/198253
22.68/20.69	c cleaning 12032 clauses out of 24064 with flag 313766/211260
23.68/21.60	c cleaning 13009 clauses out of 26025 with flag 366102/225253
24.59/22.59	c cleaning 13997 clauses out of 28015 with flag 427164/240252
25.69/23.66	c cleaning 15008 clauses out of 30018 with flag 497401/256252
26.89/24.80	c cleaning 16006 clauses out of 32012 with flag 565315/273254
28.50/26.50	c cleaning 16989 clauses out of 34006 with flag 651930/291254
30.29/28.23	c cleaning 17990 clauses out of 36019 with flag 745124/310256
32.59/30.58	c cleaning 19006 clauses out of 38025 with flag 858191/330252
35.20/33.11	c cleaning 20007 clauses out of 40019 with flag 963230/351252
37.88/35.78	c cleaning 21004 clauses out of 42014 with flag 1072409/373254
40.07/37.99	c cleaning 22004 clauses out of 44008 with flag 1170558/396252
42.47/40.35	c cleaning 23000 clauses out of 46004 with flag 1261165/420252
44.57/42.46	c cleaning 24000 clauses out of 48004 with flag 1349549/445252
46.77/44.63	c cleaning 25002 clauses out of 50004 with flag 1452066/471252
49.07/46.95	c cleaning 25997 clauses out of 52002 with flag 1555837/498252
51.68/49.55	c cleaning 27002 clauses out of 54006 with flag 1660731/526253
54.37/52.21	c cleaning 28003 clauses out of 56005 with flag 1767840/555254
57.26/55.07	c cleaning 28997 clauses out of 58001 with flag 1876485/585253
60.75/58.57	c cleaning 30001 clauses out of 60004 with flag 2018732/616253
64.05/61.89	c cleaning 30989 clauses out of 62002 with flag 2155028/648252
68.05/65.82	c cleaning 32000 clauses out of 64013 with flag 2293441/681252
71.56/69.35	c cleaning 33007 clauses out of 66013 with flag 2424037/715252
75.75/73.50	c cleaning 33989 clauses out of 68006 with flag 2562690/750252
79.87/77.59	c cleaning 35011 clauses out of 70022 with flag 2706687/786257
84.27/81.92	c cleaning 35998 clauses out of 72006 with flag 2865048/823252
89.87/87.56	c cleaning 36999 clauses out of 74008 with flag 3035874/861252
94.88/92.51	c cleaning 37994 clauses out of 76009 with flag 3194473/900252
100.47/98.15	c cleaning 38998 clauses out of 78015 with flag 3359813/940252
106.64/104.14	c cleaning 40002 clauses out of 80018 with flag 3534100/981253
112.84/110.37	c cleaning 41008 clauses out of 82016 with flag 3708938/1023253
118.54/116.03	c cleaning 41996 clauses out of 84007 with flag 3887118/1066252
124.75/122.29	c cleaning 43002 clauses out of 86011 with flag 4088691/1110252
131.25/128.71	c cleaning 43997 clauses out of 88009 with flag 4296840/1155252
138.69/136.07	c cleaning 44999 clauses out of 90012 with flag 4489080/1201252
146.21/143.54	c cleaning 45991 clauses out of 92013 with flag 4696839/1248252
155.21/152.51	c cleaning 47004 clauses out of 94023 with flag 4897130/1296253
162.62/159.98	c cleaning 48004 clauses out of 96018 with flag 5073799/1345252
170.81/167.93	c cleaning 49001 clauses out of 98014 with flag 5267969/1395252
178.41/175.54	c cleaning 50005 clauses out of 100014 with flag 5452501/1446253
188.41/185.55	c cleaning 50999 clauses out of 102009 with flag 5700871/1498253
198.37/195.25	c cleaning 52000 clauses out of 104009 with flag 5891338/1551252
207.88/204.71	c cleaning 52998 clauses out of 106010 with flag 6076671/1605253
219.95/216.64	c cleaning 54000 clauses out of 108012 with flag 6326378/1660253
230.25/226.95	c cleaning 55001 clauses out of 110011 with flag 6524682/1716252
241.75/238.49	c cleaning 55998 clauses out of 112010 with flag 6804978/1773252
252.01/248.58	c cleaning 56996 clauses out of 114012 with flag 7068379/1831252
264.41/260.95	c cleaning 57997 clauses out of 116016 with flag 7370574/1890252
276.66/273.18	c cleaning 59003 clauses out of 118021 with flag 7609805/1950254
288.66/285.04	c cleaning 59999 clauses out of 120016 with flag 7875529/2011252
301.36/297.77	c cleaning 61004 clauses out of 122018 with flag 8118772/2073253
314.75/311.09	c cleaning 62002 clauses out of 124015 with flag 8359928/2136254
327.75/324.06	c cleaning 63003 clauses out of 126012 with flag 8584515/2200253
339.71/335.99	c cleaning 63997 clauses out of 128009 with flag 8806576/2265253
356.59/352.70	c cleaning 64996 clauses out of 130016 with flag 9072776/2331257
372.69/368.84	c cleaning 66003 clauses out of 132015 with flag 9334389/2398252
388.39/384.48	c cleaning 66997 clauses out of 134012 with flag 9579704/2466252
405.08/401.03	c cleaning 68005 clauses out of 136021 with flag 9892272/2535258
419.67/415.69	c cleaning 68988 clauses out of 138011 with flag 10182382/2605253
435.73/431.61	c cleaning 70002 clauses out of 140023 with flag 10489080/2676253
451.33/447.19	c cleaning 71001 clauses out of 142021 with flag 10755378/2748253
467.04/462.81	c cleaning 72008 clauses out of 144020 with flag 10995930/2821253
483.62/479.34	c cleaning 73000 clauses out of 146011 with flag 11255107/2895252
500.23/495.89	c cleaning 73990 clauses out of 148011 with flag 11574105/2970252
517.39/512.98	c cleaning 75008 clauses out of 150024 with flag 11838876/3046255
529.59/525.18	c Got one! Elapsed wall clock time (in seconds):525.07
529.59/525.18	o -13
532.01/527.46	c cleaning 69998 clauses out of 140024 with flag 22277/3111263
532.91/528.34	c cleaning 38006 clauses out of 76026 with flag 46451/3117263
533.61/529.00	c cleaning 22501 clauses out of 45019 with flag 70026/3124262
534.21/529.62	c cleaning 15257 clauses out of 30523 with flag 95182/3132267
535.01/530.44	c cleaning 12125 clauses out of 24262 with flag 132581/3141263
535.81/531.20	c cleaning 11062 clauses out of 22136 with flag 172771/3151262
536.61/532.05	c cleaning 11030 clauses out of 22074 with flag 218156/3162262
537.51/532.95	c cleaning 11522 clauses out of 23044 with flag 271203/3174262
538.41/533.87	c cleaning 12256 clauses out of 24522 with flag 326549/3187262
539.56/534.91	c cleaning 13134 clauses out of 26267 with flag 376644/3201263
540.66/536.06	c cleaning 14061 clauses out of 28132 with flag 435036/3216262
541.96/537.33	c cleaning 15030 clauses out of 30072 with flag 500181/3232263
543.26/538.63	c cleaning 16017 clauses out of 32041 with flag 567208/3249262
544.66/540.03	c cleaning 17011 clauses out of 34027 with flag 632593/3267265
546.16/541.56	c cleaning 18001 clauses out of 36013 with flag 707335/3286262
547.68/543.10	c cleaning 19004 clauses out of 38013 with flag 777610/3306263
549.47/544.81	c cleaning 20005 clauses out of 40010 with flag 856422/3327264
551.27/546.64	c cleaning 20998 clauses out of 42003 with flag 938847/3349262
553.27/548.64	c cleaning 21999 clauses out of 44005 with flag 1025030/3372262
555.50/550.80	c cleaning 22997 clauses out of 46006 with flag 1110690/3396262
557.90/553.24	c cleaning 24001 clauses out of 48009 with flag 1204522/3421262
560.49/555.87	c cleaning 25004 clauses out of 50008 with flag 1306963/3447262
563.56/558.87	c cleaning 25990 clauses out of 52004 with flag 1427610/3474262
567.06/562.38	c cleaning 27006 clauses out of 54015 with flag 1568998/3502263
570.85/566.12	c cleaning 27967 clauses out of 56008 with flag 1717577/3531262
574.38/569.68	c cleaning 29020 clauses out of 58041 with flag 1847971/3561262
577.78/573.01	c cleaning 30005 clauses out of 60022 with flag 1970833/3592263
580.98/576.26	c cleaning 31007 clauses out of 62016 with flag 2089294/3624262
584.40/579.68	c cleaning 31998 clauses out of 64009 with flag 2220812/3657262
589.20/584.44	c cleaning 32961 clauses out of 66011 with flag 2398793/3691262
593.55/588.73	c cleaning 34027 clauses out of 68053 with flag 2563189/3726265
598.06/593.29	c cleaning 35006 clauses out of 70023 with flag 2717710/3762262
602.27/597.48	c cleaning 36003 clauses out of 72017 with flag 2852121/3799262
607.20/602.31	c cleaning 37005 clauses out of 74014 with flag 3033458/3837262
611.90/607.00	c cleaning 38006 clauses out of 76011 with flag 3188190/3876264
616.91/612.06	c cleaning 38990 clauses out of 78003 with flag 3344247/3916262
623.41/618.55	c cleaning 39994 clauses out of 80014 with flag 3518868/3957263
630.62/625.79	c cleaning 41011 clauses out of 82021 with flag 3698200/3999264
637.29/632.39	c cleaning 42003 clauses out of 84010 with flag 3880827/4042264
643.49/638.55	c cleaning 43000 clauses out of 86007 with flag 4055200/4086264
650.06/645.01	c cleaning 44001 clauses out of 88005 with flag 4251261/4131262
657.47/652.41	c cleaning 44992 clauses out of 90004 with flag 4488998/4177262
665.42/660.37	c cleaning 46000 clauses out of 92012 with flag 4722320/4224262
673.39/668.25	c cleaning 46995 clauses out of 94012 with flag 4928132/4272262
680.99/675.80	c cleaning 48001 clauses out of 96019 with flag 5116078/4321264
690.66/685.47	c cleaning 49004 clauses out of 98016 with flag 5343030/4371262
698.20/692.95	c cleaning 50004 clauses out of 100016 with flag 5538522/4422266
707.29/702.09	c cleaning 51004 clauses out of 102008 with flag 5764256/4474262
717.15/711.85	c cleaning 51997 clauses out of 104004 with flag 5984041/4527262
726.30/720.95	c cleaning 52991 clauses out of 106007 with flag 6185825/4581262
735.05/729.60	c cleaning 54002 clauses out of 108016 with flag 6391886/4636262
744.45/739.06	c cleaning 55001 clauses out of 110014 with flag 6602332/4692262
753.07/747.66	c cleaning 56000 clauses out of 112014 with flag 6803518/4749263
762.99/757.52	c cleaning 57006 clauses out of 114013 with flag 7010171/4807262
773.65/768.11	c cleaning 58001 clauses out of 116008 with flag 7254069/4866263
783.99/778.43	c cleaning 59003 clauses out of 118007 with flag 7485247/4926263
795.12/789.51	c cleaning 59999 clauses out of 120003 with flag 7697035/4987262
807.78/802.14	c cleaning 60999 clauses out of 122004 with flag 7932209/5049262
821.93/816.21	c cleaning 62001 clauses out of 124005 with flag 8208536/5112262
839.67/833.93	c cleaning 62995 clauses out of 126004 with flag 8518114/5176262
856.60/850.85	c cleaning 64006 clauses out of 128012 with flag 8814211/5241265
871.06/865.25	c cleaning 64995 clauses out of 130007 with flag 9053961/5307266
885.08/879.20	c cleaning 66005 clauses out of 132010 with flag 9343224/5374264
899.52/893.68	c cleaning 66995 clauses out of 134007 with flag 9618023/5442266
913.71/907.79	c cleaning 68001 clauses out of 136009 with flag 9864857/5511263
928.36/922.38	c cleaning 69004 clauses out of 138008 with flag 10130401/5581263
941.61/935.50	c cleaning 69999 clauses out of 140003 with flag 10407412/5652262
960.63/954.49	c cleaning 70993 clauses out of 142004 with flag 10725295/5724262
976.40/970.16	c cleaning 71989 clauses out of 144012 with flag 11022659/5797263
996.61/990.24	c cleaning 72995 clauses out of 146027 with flag 11381402/5871267
1013.57/1007.18	c cleaning 74010 clauses out of 148030 with flag 11660920/5946265
1029.97/1023.42	c cleaning 75007 clauses out of 150019 with flag 11953421/6022264
1047.68/1041.04	c cleaning 75988 clauses out of 152010 with flag 12235956/6099262
1064.10/1057.30	c cleaning 77003 clauses out of 154022 with flag 12567221/6177262
1084.00/1077.16	c cleaning 77998 clauses out of 156020 with flag 12880735/6256263
1109.23/1102.35	c cleaning 79012 clauses out of 158024 with flag 13239819/6336265
1128.21/1121.22	c cleaning 79995 clauses out of 160009 with flag 13557819/6417262
1147.39/1140.36	c cleaning 81003 clauses out of 162015 with flag 13882533/6499263
1168.18/1160.94	c cleaning 82001 clauses out of 164014 with flag 14194397/6582265
1193.28/1185.91	c cleaning 82997 clauses out of 166010 with flag 14523601/6666262
1216.75/1209.32	c cleaning 84003 clauses out of 168016 with flag 14850359/6751265
1244.81/1237.22	c cleaning 84994 clauses out of 170012 with flag 15240972/6837264
1270.30/1262.64	c cleaning 86002 clauses out of 172018 with flag 15611892/6924264
1292.91/1285.10	c cleaning 87005 clauses out of 174015 with flag 15957751/7012263
1316.38/1308.58	c cleaning 87999 clauses out of 176009 with flag 16375440/7101262
1342.00/1334.02	c cleaning 89004 clauses out of 178011 with flag 16764169/7191263
1366.04/1357.94	c cleaning 89997 clauses out of 180006 with flag 17134071/7282262
1392.66/1384.41	c cleaning 91001 clauses out of 182009 with flag 17496854/7374262
1420.09/1411.78	c cleaning 91991 clauses out of 184008 with flag 17917474/7467262
1450.81/1442.38	c cleaning 92995 clauses out of 186017 with flag 18311312/7561262
1478.42/1469.83	c cleaning 94009 clauses out of 188024 with flag 18676691/7656264
1504.97/1496.25	c cleaning 94996 clauses out of 190013 with flag 19017405/7752262
1535.95/1527.07	c cleaning 96004 clauses out of 192019 with flag 19358560/7849264
1566.43/1557.34	c cleaning 96991 clauses out of 194013 with flag 19675839/7947262
1598.02/1588.78	c cleaning 98000 clauses out of 196024 with flag 20060348/8046264
1625.39/1615.91	c cleaning 99005 clauses out of 198022 with flag 20429865/8146262
1657.28/1647.62	c cleaning 100004 clauses out of 200021 with flag 20854323/8247266
1690.69/1680.90	c cleaning 100998 clauses out of 202013 with flag 21318871/8349262
1721.59/1711.59	c cleaning 101969 clauses out of 204015 with flag 21745024/8452262
1757.86/1747.56	c cleaning 103020 clauses out of 206046 with flag 22201100/8556262
1795.77/1785.24	c cleaning 103999 clauses out of 208027 with flag 22641567/8661263
1800.09/1789.50	c starts		: 27521
1800.09/1789.50	c conflicts		: 8680870
1800.09/1789.50	c decisions		: 31376480
1800.09/1789.50	c propagations		: 278196306
1800.09/1789.50	c inspects		: 31831498841
1800.09/1789.50	c shortcuts		: 0
1800.09/1789.50	c learnt literals	: 0
1800.09/1789.50	c learnt binary clauses	: 3
1800.09/1789.50	c learnt ternary clauses	: 15841
1800.09/1789.50	c learnt constraints	: 8680870
1800.09/1789.50	c ignored constraints	: 0
1800.09/1789.50	c root simplifications	: 0
1800.09/1789.50	c removed literals (reason simplification)	: 0
1800.09/1789.50	c reason swapping (by a shorter reason)	: 0
1800.09/1789.50	c Calls to reduceDB	: 187
1800.09/1789.50	c Number of update (reduction) of LBD	: 3153440
1800.09/1789.50	c Imported unit clauses	: 0
1800.09/1789.50	c number of reductions to clauses (during analyze)	: 0
1800.09/1789.50	c number of learned constraints concerned by reduction	: 0
1800.09/1789.50	c number of learning phase by resolution	: 0
1800.09/1789.50	c number of learning phase by cutting planes	: 0
1800.09/1789.50	c speed (assignments/second)	: 155495.63410307115
1800.09/1789.50	c non guided choices	0
1800.09/1789.53	c learnt constraints type 
1800.09/1789.53	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 3
1800.09/1789.53	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 123632
1800.09/1789.53	s SATISFIABLE
1800.09/1789.53	c Found 6 solution(s)
1800.09/1789.53	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 
1800.09/1789.53	c objective function=-13
1800.09/1789.53	c Total wall clock time (in seconds): 1789.416

Verifier Data 

OK	-13

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-4106801-1466277104/watcher-4106801-1466277104 -o /tmp/evaluation-result-4106801-1466277104/solver-4106801-1466277104 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466265085-26686 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4106801-1466277104.opb 

pid=29531
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.07 2.07 2.08 3/194 29534
/proc/meminfo: memFree=31231992/32872528 swapFree=163656/177964
[pid=29534] ppid=29531 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/29534/stat : 29534 (java) D 29531 29534 26669 0 -1 4202496 376 0 0 0 0 0 0 0 20 0 1 0 29760335 2560000 46 33554432000 1073741824 1073778376 140737362122752 140737362119880 224913354023 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/29534/statm: 625 46 37 9 0 29 0

[startup+0.100059 s]
/proc/loadavg: 2.07 2.07 2.08 3/194 29534
/proc/meminfo: memFree=31231992/32872528 swapFree=163656/177964
[pid=29534] ppid=29531 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/29534/stat : 29534 (java) S 29531 29534 26669 0 -1 4202496 4390 0 1 0 8 1 0 0 20 0 18 0 29760335 9787879424 6019 33554432000 1073741824 1073778376 140737362122752 140737362113888 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29534/statm: 2389619 6019 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.200331 s]
/proc/loadavg: 2.07 2.07 2.08 3/194 29534
/proc/meminfo: memFree=31231992/32872528 swapFree=163656/177964
[pid=29534] ppid=29531 vsize=9558476 CPUtime=0.23 cores=1,3,5,7
/proc/29534/stat : 29534 (java) S 29531 29534 26669 0 -1 4202496 4592 0 1 0 22 1 0 0 20 0 18 0 29760335 9787879424 6679 33554432000 1073741824 1073778376 140737362122752 140737362113888 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29534/statm: 2389619 6679 2202 9 0 2380296 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 9558476

[startup+0.300347 s]
/proc/loadavg: 2.07 2.07 2.08 3/194 29534
/proc/meminfo: memFree=31231992/32872528 swapFree=163656/177964
[pid=29534] ppid=29531 vsize=9558476 CPUtime=0.45 cores=1,3,5,7
/proc/29534/stat : 29534 (java) S 29531 29534 26669 0 -1 4202496 6033 0 1 0 44 1 0 0 20 0 18 0 29760335 9787879424 9260 33554432000 1073741824 1073778376 140737362122752 140737362113888 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29534/statm: 2389619 9260 2243 9 0 2380296 0
Current children cumulated CPU time (s) 0.45
Current children cumulated vsize (KiB) 9558476

[startup+0.700302 s]
/proc/loadavg: 2.07 2.07 2.08 3/194 29534
/proc/meminfo: memFree=31231992/32872528 swapFree=163656/177964
[pid=29534] ppid=29531 vsize=9625040 CPUtime=1.58 cores=1,3,5,7
/proc/29534/stat : 29534 (java) S 29531 29534 26669 0 -1 4202496 13934 0 1 0 155 3 0 0 20 0 19 0 29760335 9856040960 16048 33554432000 1073741824 1073778376 140737362122752 140737362113888 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29534/statm: 2406260 16048 2264 9 0 2396937 0
Current children cumulated CPU time (s) 1.58
Current children cumulated vsize (KiB) 9625040

[startup+1.50083 s]
/proc/loadavg: 2.07 2.07 2.08 3/213 29553
/proc/meminfo: memFree=31173564/32872528 swapFree=163656/177964
[pid=29534] ppid=29531 vsize=9625040 CPUtime=2.51 cores=1,3,5,7
/proc/29534/stat : 29534 (java) S 29531 29534 26669 0 -1 4202496 13945 0 1 0 247 4 0 0 20 0 19 0 29760335 9856040960 17591 33554432000 1073741824 1073778376 140737362122752 140737362113888 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29534/statm: 2406260 17591 2270 9 0 2396937 0
[pid=29534/tid=29536] ppid=29531 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/29534/task/29536/stat : 29536 (java) R 29531 29534 26669 0 -1 4202560 2422 0 1 0 145 1 0 0 20 0 19 0 29760336 9856040960 17591 33554432000 1073741824 1073778376 140737362122752 139968501715432 139968371175421 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29534/tid=29537] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29537/stat : 29537 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760337 9856040960 17591 33554432000 1073741824 1073778376 140737362122752 139968490776872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29538] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29538/stat : 29538 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760337 9856040960 17591 33554432000 1073741824 1073778376 140737362122752 139968489724072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29534/tid=29539] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29539/stat : 29539 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760337 9856040960 17591 33554432000 1073741824 1073778376 140737362122752 139968342866472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29534/tid=29540] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29540/stat : 29540 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760337 9856040960 17591 33554432000 1073741824 1073778376 140737362122752 139968341813672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29534/tid=29541] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29541/stat : 29541 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760337 9856040960 17591 33554432000 1073741824 1073778376 140737362122752 139968340761384 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29542] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29542/stat : 29542 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760337 9856040960 17591 33554432000 1073741824 1073778376 140737362122752 139968339708584 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29534/tid=29543] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29543/stat : 29543 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760337 9856040960 17591 33554432000 1073741824 1073778376 140737362122752 139968338656296 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29544] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29544/stat : 29544 (java) S 29531 29534 26669 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29760337 9856040960 17591 33554432000 1073741824 1073778376 140737362122752 139968337603496 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29545] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29545/stat : 29545 (java) S 29531 29534 26669 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29760338 9856040960 17591 33554432000 1073741824 1073778376 140737362122752 139968325404904 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29546] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29546/stat : 29546 (java) S 29531 29534 26669 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29760339 9856040960 17591 33554432000 1073741824 1073778376 140737362122752 139968324350968 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29547] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29547/stat : 29547 (java) S 29531 29534 26669 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29760339 9856040960 17591 33554432000 1073741824 1073778376 140737362122752 139968323298568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29548] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29548/stat : 29548 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760341 9856040960 17591 33554432000 1073741824 1073778376 140737362122752 139968322247056 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29549] ppid=29531 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/29534/task/29549/stat : 29549 (java) S 29531 29534 26669 0 -1 4202560 4973 0 0 0 51 1 0 0 20 0 19 0 29760341 9856040960 17591 33554432000 1073741824 1073778376 140737362122752 139968321194680 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29550] ppid=29531 vsize=9625040 CPUtime=0.48 cores=1,3,5,7
/proc/29534/task/29550/stat : 29550 (java) S 29531 29534 26669 0 -1 4202560 5272 0 0 0 47 1 0 0 20 0 19 0 29760341 9856040960 17591 33554432000 1073741824 1073778376 140737362122752 139968320141880 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29534/tid=29551] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29551/stat : 29551 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760341 9856040960 17591 33554432000 1073741824 1073778376 140737362122752 139968319089784 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29534/tid=29552] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29552/stat : 29552 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760341 9856040960 17591 33554432000 1073741824 1073778376 140737362122752 139968318037192 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29553] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29553/stat : 29553 (java) S 29531 29534 26669 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29760376 9856040960 17591 33554432000 1073741824 1073778376 140737362122752 139968316982184 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.51
Current children cumulated vsize (KiB) 9625040

[startup+3.10073 s]
/proc/loadavg: 2.06 2.07 2.08 3/213 29553
/proc/meminfo: memFree=31165248/32872528 swapFree=163656/177964
[pid=29534] ppid=29531 vsize=9625040 CPUtime=4.58 cores=1,3,5,7
/proc/29534/stat : 29534 (java) S 29531 29534 26669 0 -1 4202496 18029 0 1 0 454 4 0 0 20 0 19 0 29760335 9856040960 21154 33554432000 1073741824 1073778376 140737362122752 140737362113888 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29534/statm: 2406260 21154 2275 9 0 2396937 0
[pid=29534/tid=29536] ppid=29531 vsize=9625040 CPUtime=3.07 cores=1,3,5,7
/proc/29534/task/29536/stat : 29536 (java) R 29531 29534 26669 0 -1 4202560 2427 0 1 0 305 2 0 0 20 0 19 0 29760336 9856040960 21154 33554432000 1073741824 1073778376 140737362122752 139968501713480 139968371174612 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29534/tid=29537] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29537/stat : 29537 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760337 9856040960 21154 33554432000 1073741824 1073778376 140737362122752 139968490776872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29538] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29538/stat : 29538 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760337 9856040960 21154 33554432000 1073741824 1073778376 140737362122752 139968489724072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29534/tid=29539] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29539/stat : 29539 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760337 9856040960 21154 33554432000 1073741824 1073778376 140737362122752 139968342866472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29534/tid=29540] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29540/stat : 29540 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760337 9856040960 21154 33554432000 1073741824 1073778376 140737362122752 139968341813672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29534/tid=29541] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29541/stat : 29541 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760337 9856040960 21154 33554432000 1073741824 1073778376 140737362122752 139968340761384 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29542] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29542/stat : 29542 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760337 9856040960 21154 33554432000 1073741824 1073778376 140737362122752 139968339708584 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29534/tid=29543] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29543/stat : 29543 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760337 9856040960 21154 33554432000 1073741824 1073778376 140737362122752 139968338656296 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29544] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29544/stat : 29544 (java) S 29531 29534 26669 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29760337 9856040960 21154 33554432000 1073741824 1073778376 140737362122752 139968337603496 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29545] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29545/stat : 29545 (java) S 29531 29534 26669 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29760338 9856040960 21154 33554432000 1073741824 1073778376 140737362122752 139968325404904 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29546] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29546/stat : 29546 (java) S 29531 29534 26669 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29760339 9856040960 21154 33554432000 1073741824 1073778376 140737362122752 139968324350968 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29547] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29547/stat : 29547 (java) S 29531 29534 26669 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29760339 9856040960 21154 33554432000 1073741824 1073778376 140737362122752 139968323298568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29548] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29548/stat : 29548 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760341 9856040960 21154 33554432000 1073741824 1073778376 140737362122752 139968322247056 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29549] ppid=29531 vsize=9625040 CPUtime=0.98 cores=1,3,5,7
/proc/29534/task/29549/stat : 29549 (java) S 29531 29534 26669 0 -1 4202560 9051 0 0 0 96 2 0 0 20 0 19 0 29760341 9856040960 21154 33554432000 1073741824 1073778376 140737362122752 139968321194680 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29550] ppid=29531 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/29534/task/29550/stat : 29550 (java) S 29531 29534 26669 0 -1 4202560 5273 0 0 0 49 2 0 0 20 0 19 0 29760341 9856040960 21154 33554432000 1073741824 1073778376 140737362122752 139968320141880 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29534/tid=29551] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29551/stat : 29551 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760341 9856040960 21154 33554432000 1073741824 1073778376 140737362122752 139968319089784 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29534/tid=29552] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29552/stat : 29552 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760341 9856040960 21154 33554432000 1073741824 1073778376 140737362122752 139968318037192 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29553] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29553/stat : 29553 (java) S 29531 29534 26669 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29760376 9856040960 21154 33554432000 1073741824 1073778376 140737362122752 139968316982184 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.58
Current children cumulated vsize (KiB) 9625040

[startup+6.30073 s]
/proc/loadavg: 2.06 2.07 2.08 3/213 29553
/proc/meminfo: memFree=31144108/32872528 swapFree=163656/177964
[pid=29534] ppid=29531 vsize=9625040 CPUtime=8.31 cores=1,3,5,7
/proc/29534/stat : 29534 (java) S 29531 29534 26669 0 -1 4202496 21889 0 1 0 825 6 0 0 20 0 19 0 29760335 9856040960 24861 33554432000 1073741824 1073778376 140737362122752 140737362113888 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29534/statm: 2406260 24861 2276 9 0 2396937 0
[pid=29534/tid=29536] ppid=29531 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/29534/task/29536/stat : 29536 (java) R 29531 29534 26669 0 -1 4202560 2439 0 1 0 624 2 0 0 20 0 19 0 29760336 9856040960 24861 33554432000 1073741824 1073778376 140737362122752 139968501706432 139968371288516 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=29534/tid=29537] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29537/stat : 29537 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760337 9856040960 24861 33554432000 1073741824 1073778376 140737362122752 139968490776872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29538] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29538/stat : 29538 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760337 9856040960 24861 33554432000 1073741824 1073778376 140737362122752 139968489724072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29534/tid=29539] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29539/stat : 29539 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760337 9856040960 24861 33554432000 1073741824 1073778376 140737362122752 139968342866472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29534/tid=29540] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29540/stat : 29540 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760337 9856040960 24861 33554432000 1073741824 1073778376 140737362122752 139968341813672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29534/tid=29541] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29541/stat : 29541 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760337 9856040960 24861 33554432000 1073741824 1073778376 140737362122752 139968340761384 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29542] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29542/stat : 29542 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760337 9856040960 24861 33554432000 1073741824 1073778376 140737362122752 139968339708584 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29534/tid=29543] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29543/stat : 29543 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760337 9856040960 24861 33554432000 1073741824 1073778376 140737362122752 139968338656296 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29544] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29544/stat : 29544 (java) S 29531 29534 26669 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 29760337 9856040960 24861 33554432000 1073741824 1073778376 140737362122752 139968337603496 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29545] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29545/stat : 29545 (java) S 29531 29534 26669 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 29760338 9856040960 24861 33554432000 1073741824 1073778376 140737362122752 139968325404904 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29546] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29546/stat : 29546 (java) S 29531 29534 26669 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 29760339 9856040960 24861 33554432000 1073741824 1073778376 140737362122752 139968324350968 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29547] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29547/stat : 29547 (java) S 29531 29534 26669 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 29760339 9856040960 24861 33554432000 1073741824 1073778376 140737362122752 139968323298568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29548] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29548/stat : 29548 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760341 9856040960 24861 33554432000 1073741824 1073778376 140737362122752 139968322247056 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29549] ppid=29531 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/29534/task/29549/stat : 29549 (java) S 29531 29534 26669 0 -1 4202560 12898 0 0 0 144 3 0 0 20 0 19 0 29760341 9856040960 24861 33554432000 1073741824 1073778376 140737362122752 139968321194680 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29550] ppid=29531 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/29534/task/29550/stat : 29550 (java) S 29531 29534 26669 0 -1 4202560 5273 0 0 0 53 2 0 0 20 0 19 0 29760341 9856040960 24861 33554432000 1073741824 1073778376 140737362122752 139968320141880 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29534/tid=29551] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29551/stat : 29551 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760341 9856040960 24861 33554432000 1073741824 1073778376 140737362122752 139968319089784 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29534/tid=29552] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29552/stat : 29552 (java) S 29531 29534 26669 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 29760341 9856040960 24861 33554432000 1073741824 1073778376 140737362122752 139968318037192 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29553] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29553/stat : 29553 (java) S 29531 29534 26669 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29760376 9856040960 24861 33554432000 1073741824 1073778376 140737362122752 139968316982184 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 8.31
Current children cumulated vsize (KiB) 9625040


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

[pid=29534/tid=29546] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29546/stat : 29546 (java) S 29531 29534 26669 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29760339 9856040960 66692 33554432000 1073741824 1073778376 140737362122752 139968324350968 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29547] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29547/stat : 29547 (java) S 29531 29534 26669 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29760339 9856040960 66692 33554432000 1073741824 1073778376 140737362122752 139968323298568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29548] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29548/stat : 29548 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760341 9856040960 66692 33554432000 1073741824 1073778376 140737362122752 139968322247056 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29549] ppid=29531 vsize=9625040 CPUtime=1.58 cores=1,3,5,7
/proc/29534/task/29549/stat : 29549 (java) S 29531 29534 26669 0 -1 4202560 12908 0 0 0 155 3 0 0 20 0 19 0 29760341 9856040960 66692 33554432000 1073741824 1073778376 140737362122752 139968321194680 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29550] ppid=29531 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/29534/task/29550/stat : 29550 (java) S 29531 29534 26669 0 -1 4202560 5273 0 0 0 53 2 0 0 20 0 19 0 29760341 9856040960 66692 33554432000 1073741824 1073778376 140737362122752 139968320141880 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29534/tid=29551] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29551/stat : 29551 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760341 9856040960 66692 33554432000 1073741824 1073778376 140737362122752 139968319089784 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29534/tid=29552] ppid=29531 vsize=9625040 CPUtime=0.63 cores=1,3,5,7
/proc/29534/task/29552/stat : 29552 (java) S 29531 29534 26669 0 -1 4202560 100 0 0 0 26 37 0 0 20 0 19 0 29760341 9856040960 66692 33554432000 1073741824 1073778376 140737362122752 139968318037192 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29534/tid=29553] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29553/stat : 29553 (java) S 29531 29534 26669 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29760376 9856040960 66692 33554432000 1073741824 1073778376 140737362122752 139968316982184 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1732.52
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.04 2.06 2.07 3/213 29663
/proc/meminfo: memFree=29905788/32872528 swapFree=163656/177964
[pid=29534] ppid=29531 vsize=9625040 CPUtime=1792.87 cores=1,3,5,7
/proc/29534/stat : 29534 (java) S 29531 29534 26669 0 -1 4202496 25934 0 1 0 179176 111 0 0 20 0 19 0 29760335 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 140737362113888 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29534/statm: 2406260 65658 2298 9 0 2396937 0
[pid=29534/tid=29536] ppid=29531 vsize=9625040 CPUtime=1777.07 cores=1,3,5,7
/proc/29534/task/29536/stat : 29536 (java) R 29531 29534 26669 0 -1 4202560 2646 0 1 0 177673 34 0 0 20 0 19 0 29760336 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968501714240 139968371192889 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29534/tid=29537] ppid=29531 vsize=9625040 CPUtime=1.51 cores=1,3,5,7
/proc/29534/task/29537/stat : 29537 (java) S 29531 29534 26669 0 -1 4202560 399 0 0 0 141 10 0 0 20 0 19 0 29760337 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968490776872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29534/tid=29538] ppid=29531 vsize=9625040 CPUtime=1.42 cores=1,3,5,7
/proc/29534/task/29538/stat : 29538 (java) S 29531 29534 26669 0 -1 4202560 383 0 0 0 134 8 0 0 20 0 19 0 29760337 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968489724072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29534/tid=29539] ppid=29531 vsize=9625040 CPUtime=1.39 cores=1,3,5,7
/proc/29534/task/29539/stat : 29539 (java) S 29531 29534 26669 0 -1 4202560 523 0 0 0 132 7 0 0 20 0 19 0 29760337 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968342866472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29534/tid=29540] ppid=29531 vsize=9625040 CPUtime=1.55 cores=1,3,5,7
/proc/29534/task/29540/stat : 29540 (java) S 29531 29534 26669 0 -1 4202560 457 0 0 0 144 11 0 0 20 0 19 0 29760337 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968341813672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29534/tid=29541] ppid=29531 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/29534/task/29541/stat : 29541 (java) S 29531 29534 26669 0 -1 4202560 308 0 0 0 140 7 0 0 20 0 19 0 29760337 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968340761384 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29542] ppid=29531 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/29534/task/29542/stat : 29542 (java) S 29531 29534 26669 0 -1 4202560 527 0 0 0 135 11 0 0 20 0 19 0 29760337 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968339708584 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29534/tid=29543] ppid=29531 vsize=9625040 CPUtime=1.36 cores=1,3,5,7
/proc/29534/task/29543/stat : 29543 (java) S 29531 29534 26669 0 -1 4202560 352 0 0 0 128 8 0 0 20 0 19 0 29760337 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968338656296 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29544] ppid=29531 vsize=9625040 CPUtime=1.55 cores=1,3,5,7
/proc/29534/task/29544/stat : 29544 (java) S 29531 29534 26669 0 -1 4202560 382 0 0 0 146 9 0 0 20 0 19 0 29760337 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968337603496 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29534/tid=29545] ppid=29531 vsize=9625040 CPUtime=1.64 cores=1,3,5,7
/proc/29534/task/29545/stat : 29545 (java) S 29531 29534 26669 0 -1 4202560 408 0 0 0 158 6 0 0 20 0 19 0 29760338 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968325404904 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29534/tid=29546] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29546/stat : 29546 (java) S 29531 29534 26669 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29760339 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968324350968 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29547] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29547/stat : 29547 (java) S 29531 29534 26669 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29760339 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968323298568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29548] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29548/stat : 29548 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760341 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968322247056 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29549] ppid=29531 vsize=9625040 CPUtime=1.58 cores=1,3,5,7
/proc/29534/task/29549/stat : 29549 (java) S 29531 29534 26669 0 -1 4202560 12908 0 0 0 155 3 0 0 20 0 19 0 29760341 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968321194680 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29550] ppid=29531 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/29534/task/29550/stat : 29550 (java) S 29531 29534 26669 0 -1 4202560 5273 0 0 0 53 2 0 0 20 0 19 0 29760341 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968320141880 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29534/tid=29551] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29551/stat : 29551 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760341 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968319089784 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29534/tid=29552] ppid=29531 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/29534/task/29552/stat : 29552 (java) S 29531 29534 26669 0 -1 4202560 104 0 0 0 27 39 0 0 20 0 19 0 29760341 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968318037192 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29534/tid=29553] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29553/stat : 29553 (java) S 29531 29534 26669 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29760376 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968316982184 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1792.87
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1789.5 s]
/proc/loadavg: 2.04 2.06 2.07 3/213 29663
/proc/meminfo: memFree=29905772/32872528 swapFree=163656/177964
[pid=29534] ppid=29531 vsize=9625040 CPUtime=1800.09 cores=1,3,5,7
/proc/29534/stat : 29534 (java) S 29531 29534 26669 0 -1 4202496 25935 0 1 0 179898 111 0 0 20 0 19 0 29760335 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 140737362113888 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29534/statm: 2406260 65658 2298 9 0 2396937 0
[pid=29534/tid=29536] ppid=29531 vsize=9625040 CPUtime=1784.26 cores=1,3,5,7
/proc/29534/task/29536/stat : 29536 (java) R 29531 29534 26669 0 -1 4202560 2647 0 1 0 178392 34 0 0 20 0 19 0 29760336 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968501714240 139968371288444 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29534/tid=29537] ppid=29531 vsize=9625040 CPUtime=1.51 cores=1,3,5,7
/proc/29534/task/29537/stat : 29537 (java) S 29531 29534 26669 0 -1 4202560 399 0 0 0 141 10 0 0 20 0 19 0 29760337 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968490776872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29534/tid=29538] ppid=29531 vsize=9625040 CPUtime=1.42 cores=1,3,5,7
/proc/29534/task/29538/stat : 29538 (java) S 29531 29534 26669 0 -1 4202560 383 0 0 0 134 8 0 0 20 0 19 0 29760337 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968489724072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29534/tid=29539] ppid=29531 vsize=9625040 CPUtime=1.4 cores=1,3,5,7
/proc/29534/task/29539/stat : 29539 (java) S 29531 29534 26669 0 -1 4202560 523 0 0 0 133 7 0 0 20 0 19 0 29760337 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968342866472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29534/tid=29540] ppid=29531 vsize=9625040 CPUtime=1.56 cores=1,3,5,7
/proc/29534/task/29540/stat : 29540 (java) S 29531 29534 26669 0 -1 4202560 457 0 0 0 145 11 0 0 20 0 19 0 29760337 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968341813672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29534/tid=29541] ppid=29531 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/29534/task/29541/stat : 29541 (java) S 29531 29534 26669 0 -1 4202560 308 0 0 0 140 7 0 0 20 0 19 0 29760337 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968340761384 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29542] ppid=29531 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/29534/task/29542/stat : 29542 (java) S 29531 29534 26669 0 -1 4202560 527 0 0 0 136 11 0 0 20 0 19 0 29760337 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968339708584 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29534/tid=29543] ppid=29531 vsize=9625040 CPUtime=1.37 cores=1,3,5,7
/proc/29534/task/29543/stat : 29543 (java) S 29531 29534 26669 0 -1 4202560 352 0 0 0 129 8 0 0 20 0 19 0 29760337 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968338656296 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29544] ppid=29531 vsize=9625040 CPUtime=1.55 cores=1,3,5,7
/proc/29534/task/29544/stat : 29544 (java) S 29531 29534 26669 0 -1 4202560 382 0 0 0 146 9 0 0 20 0 19 0 29760337 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968337603496 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29534/tid=29545] ppid=29531 vsize=9625040 CPUtime=1.64 cores=1,3,5,7
/proc/29534/task/29545/stat : 29545 (java) S 29531 29534 26669 0 -1 4202560 408 0 0 0 158 6 0 0 20 0 19 0 29760338 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968325404904 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29534/tid=29546] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29546/stat : 29546 (java) S 29531 29534 26669 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29760339 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968324350968 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29547] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29547/stat : 29547 (java) S 29531 29534 26669 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29760339 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968323298568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29548] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29548/stat : 29548 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760341 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968322247056 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29549] ppid=29531 vsize=9625040 CPUtime=1.58 cores=1,3,5,7
/proc/29534/task/29549/stat : 29549 (java) S 29531 29534 26669 0 -1 4202560 12908 0 0 0 155 3 0 0 20 0 19 0 29760341 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968321194680 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29550] ppid=29531 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/29534/task/29550/stat : 29550 (java) S 29531 29534 26669 0 -1 4202560 5273 0 0 0 53 2 0 0 20 0 19 0 29760341 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968320141880 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29534/tid=29551] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29551/stat : 29551 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760341 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968319089784 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29534/tid=29552] ppid=29531 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/29534/task/29552/stat : 29552 (java) S 29531 29534 26669 0 -1 4202560 104 0 0 0 27 39 0 0 20 0 19 0 29760341 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968318037192 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29534/tid=29553] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29553/stat : 29553 (java) S 29531 29534 26669 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29760376 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968316982184 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
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 29534 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1789.5 s]
/proc/loadavg: 2.04 2.06 2.07 3/213 29663
/proc/meminfo: memFree=29905772/32872528 swapFree=163656/177964
[pid=29534] ppid=29531 vsize=9625040 CPUtime=1800.09 cores=1,3,5,7
/proc/29534/stat : 29534 (java) S 29531 29534 26669 0 -1 4202496 25935 0 1 0 179898 111 0 0 20 0 19 0 29760335 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 140737362113888 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/29534/statm: 2406260 65658 2298 9 0 2396937 0
[pid=29534/tid=29536] ppid=29531 vsize=9625040 CPUtime=1784.26 cores=1,3,5,7
/proc/29534/task/29536/stat : 29536 (java) R 29531 29534 26669 0 -1 4202560 2647 0 1 0 178392 34 0 0 20 0 19 0 29760336 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968501714240 139968371288444 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=29534/tid=29537] ppid=29531 vsize=9625040 CPUtime=1.51 cores=1,3,5,7
/proc/29534/task/29537/stat : 29537 (java) S 29531 29534 26669 0 -1 4202560 399 0 0 0 141 10 0 0 20 0 19 0 29760337 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968490776872 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29534/tid=29538] ppid=29531 vsize=9625040 CPUtime=1.42 cores=1,3,5,7
/proc/29534/task/29538/stat : 29538 (java) S 29531 29534 26669 0 -1 4202560 383 0 0 0 134 8 0 0 20 0 19 0 29760337 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968489724072 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29534/tid=29539] ppid=29531 vsize=9625040 CPUtime=1.4 cores=1,3,5,7
/proc/29534/task/29539/stat : 29539 (java) S 29531 29534 26669 0 -1 4202560 523 0 0 0 133 7 0 0 20 0 19 0 29760337 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968342866472 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29534/tid=29540] ppid=29531 vsize=9625040 CPUtime=1.56 cores=1,3,5,7
/proc/29534/task/29540/stat : 29540 (java) S 29531 29534 26669 0 -1 4202560 457 0 0 0 145 11 0 0 20 0 19 0 29760337 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968341813672 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=29534/tid=29541] ppid=29531 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/29534/task/29541/stat : 29541 (java) S 29531 29534 26669 0 -1 4202560 308 0 0 0 140 7 0 0 20 0 19 0 29760337 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968340761384 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29542] ppid=29531 vsize=9625040 CPUtime=1.47 cores=1,3,5,7
/proc/29534/task/29542/stat : 29542 (java) S 29531 29534 26669 0 -1 4202560 527 0 0 0 136 11 0 0 20 0 19 0 29760337 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968339708584 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29534/tid=29543] ppid=29531 vsize=9625040 CPUtime=1.37 cores=1,3,5,7
/proc/29534/task/29543/stat : 29543 (java) S 29531 29534 26669 0 -1 4202560 352 0 0 0 129 8 0 0 20 0 19 0 29760337 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968338656296 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29544] ppid=29531 vsize=9625040 CPUtime=1.55 cores=1,3,5,7
/proc/29534/task/29544/stat : 29544 (java) S 29531 29534 26669 0 -1 4202560 382 0 0 0 146 9 0 0 20 0 19 0 29760337 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968337603496 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29534/tid=29545] ppid=29531 vsize=9625040 CPUtime=1.64 cores=1,3,5,7
/proc/29534/task/29545/stat : 29545 (java) S 29531 29534 26669 0 -1 4202560 408 0 0 0 158 6 0 0 20 0 19 0 29760338 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968325404904 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29534/tid=29546] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29546/stat : 29546 (java) S 29531 29534 26669 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 29760339 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968324350968 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29547] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29547/stat : 29547 (java) S 29531 29534 26669 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 29760339 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968323298568 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29548] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29548/stat : 29548 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760341 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968322247056 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29549] ppid=29531 vsize=9625040 CPUtime=1.58 cores=1,3,5,7
/proc/29534/task/29549/stat : 29549 (java) S 29531 29534 26669 0 -1 4202560 12908 0 0 0 155 3 0 0 20 0 19 0 29760341 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968321194680 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=29534/tid=29550] ppid=29531 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/29534/task/29550/stat : 29550 (java) S 29531 29534 26669 0 -1 4202560 5273 0 0 0 53 2 0 0 20 0 19 0 29760341 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968320141880 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29534/tid=29551] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29551/stat : 29551 (java) S 29531 29534 26669 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 29760341 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968319089784 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=29534/tid=29552] ppid=29531 vsize=9625040 CPUtime=0.66 cores=1,3,5,7
/proc/29534/task/29552/stat : 29552 (java) S 29531 29534 26669 0 -1 4202560 104 0 0 0 27 39 0 0 20 0 19 0 29760341 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968318037192 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=29534/tid=29553] ppid=29531 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/29534/task/29553/stat : 29553 (java) S 29531 29534 26669 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 29760376 9856040960 65658 33554432000 1073741824 1073778376 140737362122752 139968316982184 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 9625040

Child status: 143
Real time (s): 1789.54
CPU time (s): 1800.79
CPU user time (s): 1799.1
CPU system time (s): 1.69074
CPU usage (%): 100.629
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.1
system time used= 1.69074
maximum resident set size= 703072
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25972
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1728
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 42973
involuntary context switches= 35487

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.3713 second user time and 13.055 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-18 21:11:44
IDJOB=4106801
IDBENCH=48264
IDSOLVER=2546
FILE ID=node105/4106801-1466277104
RUNJOBID= node105-1466265085-26686
PBS_JOBID= 19918230
Free space on /tmp= 71748 MiB

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

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

MD5SUM BENCH= feead174159765db2806c13d35bd6cbe
RANDOM SEED=1341065749

node105.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.561
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.12
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.561
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.561
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.561
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.561
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.561
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.561
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.561
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.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        31232792 kB
Buffers:           94068 kB
Cached:           181500 kB
SwapCached:         1684 kB
Active:           532020 kB
Inactive:         190628 kB
Active(anon):     446604 kB
Inactive(anon):     2976 kB
Active(file):      85416 kB
Inactive(file):   187652 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67097160 kB
Dirty:               456 kB
Writeback:             0 kB
AnonPages:        626664 kB
Mapped:            15280 kB
Shmem:                 0 kB
Slab:             605072 kB
SReclaimable:      48660 kB
SUnreclaim:       556412 kB
KernelStack:        1600 kB
PageTables:         6072 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1056544 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    438272 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= 71748 MiB
End job on node105 at 2016-06-18 21:41:34