Trace number 4085190

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)79 1800.01 1796.45

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-e64.b.opb
MD5SUM4a444f89cff56050e88660d23e3d8694
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark47
Best CPU time to get the best result obtained on this benchmark0.237963
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 47
Optimality of the best value was proved NO
Number of variables607
Total number of constraints1022
Number of constraints which are clauses1022
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint32
Number of terms in the objective function 607
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 607
Number of bits of the sum of numbers in the objective function 10
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 607
Number of bits of the biggest sum of numbers10
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version PB16.v20160501
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		501472288
0.00/0.08	c Max memory 		7480803328
0.00/0.08	c Total memory 		504102912
0.00/0.08	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization by upper bound
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@587bd9f2
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c No reason simplification
0.10/0.11	c Glucose 2.1 dynamic restart strategy
0.10/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.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c Listener: org.sat4j.minisat.core.VoidTracing@4e3eca90
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-4085190-1465231391.opb
0.10/0.11	c reading problem ... 
0.10/0.11	c  objective function found
0.28/0.26	c ... done. Wall clock time 0.152s.
0.28/0.26	c declared #vars     607
0.28/0.26	c #constraints  1022
0.28/0.26	c constraints type 
0.28/0.26	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 1022
0.28/0.26	c 1022 constraints processed.
0.28/0.26	c objective function length is 607 literals
0.28/0.27	c SATISFIABLE
0.28/0.27	c OPTIMIZING...
0.28/0.27	c Got one! Elapsed wall clock time (in seconds):0.165
0.28/0.27	o 82
1.07/0.60	c cleaning 2498 clauses out of 5001 with flag 11893/5001
1.44/0.84	c cleaning 4246 clauses out of 8503 with flag 26434/11001
1.77/1.14	c cleaning 5623 clauses out of 11258 with flag 43327/18002
2.17/1.54	c cleaning 6805 clauses out of 13634 with flag 62588/26001
2.71/2.02	c cleaning 7905 clauses out of 15830 with flag 84722/35002
3.31/2.62	c cleaning 8951 clauses out of 17924 with flag 109337/45001
4.01/3.33	c cleaning 9977 clauses out of 19973 with flag 135996/56001
4.91/4.21	c cleaning 10990 clauses out of 21997 with flag 165771/68002
5.81/5.16	c cleaning 12000 clauses out of 24007 with flag 197566/81002
5.81/5.18	c Got one! Elapsed wall clock time (in seconds):5.075
5.81/5.18	o 81
6.17/5.43	c cleaning 8658 clauses out of 17322 with flag 11928/86317
6.38/5.69	c cleaning 7320 clauses out of 14660 with flag 26152/92313
6.67/5.98	c cleaning 7167 clauses out of 14342 with flag 42928/99315
7.07/6.34	c cleaning 7579 clauses out of 15173 with flag 62395/107313
7.48/6.75	c cleaning 8283 clauses out of 16594 with flag 84383/116313
7.97/7.23	c cleaning 9147 clauses out of 18311 with flag 108706/126313
8.47/7.78	c cleaning 10067 clauses out of 20165 with flag 134745/137314
9.17/8.47	c cleaning 11036 clauses out of 22099 with flag 164100/149315
9.87/9.15	c cleaning 12022 clauses out of 24061 with flag 195029/162313
10.67/10.00	c cleaning 13004 clauses out of 26039 with flag 228552/176313
11.56/10.88	c cleaning 14010 clauses out of 28036 with flag 265294/191314
12.66/12.00	c cleaning 15000 clauses out of 30026 with flag 303958/207314
13.86/13.19	c cleaning 15997 clauses out of 32025 with flag 346613/224313
15.27/14.53	c cleaning 17007 clauses out of 34028 with flag 389981/242313
16.87/16.18	c cleaning 17991 clauses out of 36021 with flag 436547/261313
18.67/17.90	c cleaning 19005 clauses out of 38030 with flag 485052/281313
20.39/19.65	c cleaning 20000 clauses out of 40026 with flag 536551/302314
21.99/21.23	c Got one! Elapsed wall clock time (in seconds):21.123
21.99/21.23	o 80
22.52/21.75	c cleaning 22515 clauses out of 45054 with flag 12097/327342
22.92/22.15	c cleaning 14258 clauses out of 28541 with flag 27169/333344
23.62/22.85	c cleaning 10636 clauses out of 21281 with flag 46391/340342
24.32/23.55	c cleaning 9312 clauses out of 18645 with flag 67529/348342
25.12/24.33	c cleaning 9151 clauses out of 18333 with flag 91782/357342
25.92/25.17	c cleaning 9582 clauses out of 19182 with flag 117874/367342
27.12/26.37	c cleaning 10293 clauses out of 20600 with flag 147747/378342
28.32/27.55	c cleaning 11145 clauses out of 22307 with flag 180756/390342
29.82/29.02	c cleaning 12077 clauses out of 24162 with flag 216283/403342
31.42/30.64	c cleaning 13040 clauses out of 26086 with flag 253633/417343
33.21/32.48	c cleaning 14019 clauses out of 28045 with flag 293836/432342
35.02/34.24	c cleaning 15011 clauses out of 30026 with flag 337563/448342
37.01/36.20	c cleaning 16002 clauses out of 32015 with flag 384435/465342
39.12/38.36	c cleaning 17000 clauses out of 34013 with flag 433375/483342
41.52/40.73	c cleaning 18004 clauses out of 36014 with flag 485335/502343
43.91/43.15	c cleaning 19001 clauses out of 38009 with flag 540557/522342
46.51/45.77	c cleaning 19998 clauses out of 40008 with flag 597302/543342
49.61/48.80	c cleaning 21004 clauses out of 42010 with flag 656946/565342
53.01/52.27	c cleaning 22005 clauses out of 44009 with flag 718479/588345
57.11/56.33	c cleaning 22993 clauses out of 46002 with flag 783945/612343
60.53/59.70	c cleaning 23994 clauses out of 48009 with flag 851457/637343
64.13/63.31	c cleaning 25003 clauses out of 50014 with flag 920413/663342
67.73/66.92	c cleaning 25998 clauses out of 52011 with flag 991708/690342
71.53/70.74	c cleaning 27001 clauses out of 54013 with flag 1066344/718342
76.52/75.70	c cleaning 27991 clauses out of 56012 with flag 1144670/747342
81.62/80.82	c cleaning 28998 clauses out of 58021 with flag 1226884/777342
87.52/86.78	c cleaning 30000 clauses out of 60023 with flag 1310811/808342
94.02/93.24	c cleaning 31001 clauses out of 62023 with flag 1397177/840342
100.02/99.29	c cleaning 32000 clauses out of 64024 with flag 1490793/873344
106.92/106.14	c cleaning 33005 clauses out of 66022 with flag 1584381/907342
113.78/112.94	c cleaning 33998 clauses out of 68018 with flag 1679205/942343
120.18/119.30	c cleaning 35007 clauses out of 70019 with flag 1777706/978342
126.88/126.06	c cleaning 35997 clauses out of 72013 with flag 1878033/1015343
134.58/133.76	c cleaning 36998 clauses out of 74015 with flag 1982131/1053342
141.18/140.35	c cleaning 38009 clauses out of 76017 with flag 2089442/1092342
148.28/147.47	c cleaning 39000 clauses out of 78008 with flag 2200262/1132342
156.39/155.53	c cleaning 40000 clauses out of 80008 with flag 2312196/1173342
164.69/163.85	c cleaning 40999 clauses out of 82010 with flag 2426352/1215344
173.80/172.96	c cleaning 41998 clauses out of 84009 with flag 2544665/1258342
182.48/181.56	c cleaning 42998 clauses out of 86011 with flag 2664112/1302342
195.07/194.14	c cleaning 44002 clauses out of 88014 with flag 2786619/1347343
204.27/203.36	c cleaning 45006 clauses out of 90022 with flag 2912171/1393353
214.06/213.12	c cleaning 45997 clauses out of 92005 with flag 3039738/1440342
223.86/222.97	c cleaning 47003 clauses out of 94013 with flag 3170171/1488347
234.17/233.24	c cleaning 47988 clauses out of 96006 with flag 3305392/1537343
245.18/244.20	c cleaning 49008 clauses out of 98017 with flag 3443378/1587342
257.08/256.01	c cleaning 49996 clauses out of 100010 with flag 3587672/1638343
269.18/268.20	c cleaning 51004 clauses out of 102015 with flag 3730353/1690344
281.98/280.96	c cleaning 52000 clauses out of 104012 with flag 3875016/1743345
295.69/294.63	c cleaning 52992 clauses out of 106009 with flag 4022918/1797342
310.39/309.36	c cleaning 53999 clauses out of 108019 with flag 4175884/1852344
323.87/322.69	c cleaning 54998 clauses out of 110018 with flag 4329718/1908342
338.47/337.26	c cleaning 56007 clauses out of 112026 with flag 4487701/1965348
345.58/344.39	c Got one! Elapsed wall clock time (in seconds):344.285
345.58/344.39	o 79
346.37/345.19	c cleaning 47685 clauses out of 95388 with flag 12123/2004717
346.87/345.66	c cleaning 26845 clauses out of 53704 with flag 26747/2010718
347.27/346.06	c cleaning 16922 clauses out of 33860 with flag 43739/2017719
347.67/346.44	c cleaning 12460 clauses out of 24938 with flag 63501/2025719
348.07/346.85	c cleaning 10728 clauses out of 21475 with flag 85694/2034716
348.57/347.30	c cleaning 10363 clauses out of 20747 with flag 110219/2044716
349.07/347.89	c cleaning 10686 clauses out of 21384 with flag 137561/2055716
349.67/348.48	c cleaning 11344 clauses out of 22699 with flag 167806/2067717
350.37/349.13	c cleaning 12164 clauses out of 24355 with flag 200985/2080717
351.18/349.99	c cleaning 13089 clauses out of 26192 with flag 237947/2094718
352.18/350.99	c cleaning 14037 clauses out of 28101 with flag 275200/2109716
353.28/352.09	c cleaning 15024 clauses out of 30064 with flag 314823/2125716
354.38/353.13	c cleaning 16009 clauses out of 32041 with flag 357219/2142717
355.75/354.41	c cleaning 17003 clauses out of 34032 with flag 400817/2160717
357.15/355.87	c cleaning 18008 clauses out of 36028 with flag 448108/2179716
359.06/357.80	c cleaning 18998 clauses out of 38021 with flag 498782/2199717
360.76/359.43	c cleaning 19996 clauses out of 40023 with flag 553163/2220717
362.36/361.03	c cleaning 21003 clauses out of 42027 with flag 606469/2242717
363.96/362.68	c cleaning 22001 clauses out of 44023 with flag 665245/2265716
365.86/364.56	c cleaning 22999 clauses out of 46022 with flag 727604/2289716
367.96/366.67	c cleaning 23996 clauses out of 48025 with flag 792579/2314718
370.26/368.92	c cleaning 25002 clauses out of 50029 with flag 857195/2340718
372.76/371.43	c cleaning 26001 clauses out of 52025 with flag 924952/2367716
375.77/374.34	c cleaning 26996 clauses out of 54024 with flag 992626/2395716
379.06/377.61	c cleaning 27996 clauses out of 56028 with flag 1062332/2424716
381.76/380.37	c cleaning 29000 clauses out of 58032 with flag 1136568/2454716
384.66/383.28	c cleaning 30007 clauses out of 60033 with flag 1212065/2485717
388.16/386.73	c cleaning 30991 clauses out of 62025 with flag 1296254/2517716
391.86/390.40	c cleaning 32005 clauses out of 64034 with flag 1380833/2550716
395.56/394.10	c cleaning 33006 clauses out of 66029 with flag 1465178/2584716
398.86/397.50	c cleaning 34004 clauses out of 68024 with flag 1553378/2619717
402.78/401.29	c cleaning 34998 clauses out of 70020 with flag 1646370/2655717
407.08/405.54	c cleaning 35997 clauses out of 72021 with flag 1737884/2692716
412.08/410.53	c cleaning 37009 clauses out of 74024 with flag 1837421/2730716
417.88/416.34	c cleaning 38003 clauses out of 76015 with flag 1941754/2769716
424.27/422.73	c cleaning 39006 clauses out of 78013 with flag 2049686/2809717
430.87/429.36	c cleaning 39993 clauses out of 80006 with flag 2160841/2850716
437.38/435.72	c cleaning 41004 clauses out of 82013 with flag 2272365/2892716
443.87/442.30	c cleaning 41993 clauses out of 84009 with flag 2387119/2935716
450.86/449.30	c cleaning 43000 clauses out of 86016 with flag 2505300/2979716
458.27/456.69	c cleaning 44009 clauses out of 88021 with flag 2627953/3024721
467.16/465.51	c cleaning 45004 clauses out of 90008 with flag 2752913/3070717
474.86/473.14	c cleaning 45995 clauses out of 92003 with flag 2880838/3117716
484.66/482.94	c cleaning 46995 clauses out of 94010 with flag 3012270/3165718
494.56/492.81	c cleaning 48001 clauses out of 96013 with flag 3144778/3214716
504.05/502.37	c cleaning 49003 clauses out of 98014 with flag 3276715/3264718
514.11/512.39	c cleaning 50001 clauses out of 100009 with flag 3414197/3315716
525.32/523.58	c cleaning 51003 clauses out of 102011 with flag 3552517/3367719
535.62/533.82	c cleaning 51998 clauses out of 104005 with flag 3695648/3420716
545.81/544.06	c cleaning 53000 clauses out of 106007 with flag 3841125/3474716
557.32/555.59	c cleaning 53992 clauses out of 108007 with flag 3987266/3529716
569.17/567.30	c cleaning 54995 clauses out of 110015 with flag 4139902/3585716
579.98/578.19	c cleaning 55999 clauses out of 112020 with flag 4293463/3642716
592.48/590.62	c cleaning 57002 clauses out of 114021 with flag 4451470/3700716
605.55/603.62	c cleaning 58000 clauses out of 116019 with flag 4609177/3759716
619.35/617.41	c cleaning 59008 clauses out of 118021 with flag 4771969/3819718
633.05/631.20	c cleaning 59998 clauses out of 120014 with flag 4938632/3880719
647.25/645.31	c cleaning 60993 clauses out of 122013 with flag 5106812/3942716
661.13/659.18	c cleaning 61996 clauses out of 124022 with flag 5277390/4005718
675.43/673.47	c cleaning 63003 clauses out of 126024 with flag 5452620/4069716
691.03/689.10	c cleaning 64006 clauses out of 128021 with flag 5629503/4134716
706.81/704.78	c cleaning 65003 clauses out of 130015 with flag 5808163/4200716
722.22/720.16	c cleaning 65997 clauses out of 132015 with flag 5991239/4267719
738.03/735.93	c cleaning 67012 clauses out of 134023 with flag 6177347/4335724
754.60/752.47	c cleaning 67994 clauses out of 136005 with flag 6367377/4404718
771.59/769.44	c cleaning 68999 clauses out of 138011 with flag 6558222/4474718
789.91/787.77	c cleaning 70002 clauses out of 140013 with flag 6751701/4545719
808.15/805.93	c cleaning 70987 clauses out of 142012 with flag 6948821/4617720
828.85/826.64	c cleaning 72011 clauses out of 144021 with flag 7147633/4690716
849.63/847.36	c cleaning 73002 clauses out of 146010 with flag 7349316/4764716
870.53/868.29	c cleaning 73988 clauses out of 148008 with flag 7554483/4839716
890.34/888.02	c cleaning 74997 clauses out of 150020 with flag 7760988/4915716
913.50/911.17	c cleaning 76003 clauses out of 152026 with flag 7971490/4992719
936.10/933.75	c cleaning 77011 clauses out of 154023 with flag 8182512/5070719
959.17/956.75	c cleaning 77991 clauses out of 156009 with flag 8396987/5149716
983.69/981.23	c cleaning 79001 clauses out of 158019 with flag 8611623/5229717
1011.29/1008.81	c cleaning 80005 clauses out of 160018 with flag 8831538/5310717
1037.36/1034.88	c cleaning 80984 clauses out of 162012 with flag 9052173/5392716
1064.97/1062.43	c cleaning 81996 clauses out of 164029 with flag 9276807/5475717
1090.64/1088.01	c cleaning 83007 clauses out of 166032 with flag 9505612/5559716
1113.54/1111.00	c cleaning 84004 clauses out of 168026 with flag 9738980/5644717
1137.01/1134.30	c cleaning 85005 clauses out of 170022 with flag 9973794/5730717
1161.72/1159.06	c cleaning 86003 clauses out of 172018 with flag 10211777/5817718
1187.67/1184.95	c cleaning 86994 clauses out of 174014 with flag 10451897/5905717
1214.38/1211.68	c cleaning 87997 clauses out of 176019 with flag 10692647/5994716
1240.75/1237.98	c cleaning 89008 clauses out of 178022 with flag 10935498/6084716
1268.05/1265.21	c cleaning 90008 clauses out of 180015 with flag 11181835/6175717
1296.32/1293.47	c cleaning 90997 clauses out of 182006 with flag 11432485/6267716
1324.03/1321.17	c cleaning 92000 clauses out of 184009 with flag 11684947/6360716
1353.69/1350.71	c cleaning 92997 clauses out of 186009 with flag 11939906/6454716
1383.29/1380.37	c cleaning 93991 clauses out of 188012 with flag 12197407/6549716
1413.86/1410.84	c cleaning 95008 clauses out of 190021 with flag 12460526/6645716
1448.25/1445.14	c cleaning 96006 clauses out of 192017 with flag 12727764/6742720
1478.35/1475.27	c cleaning 97002 clauses out of 194009 with flag 12996267/6840718
1512.69/1509.54	c cleaning 97996 clauses out of 196007 with flag 13266899/6939718
1544.78/1541.50	c cleaning 98998 clauses out of 198009 with flag 13539030/7039716
1579.48/1576.25	c cleaning 100000 clauses out of 200012 with flag 13815308/7140717
1619.68/1616.40	c cleaning 100997 clauses out of 202011 with flag 14092946/7242716
1657.76/1654.39	c cleaning 101995 clauses out of 204014 with flag 14376681/7345716
1697.87/1694.45	c cleaning 103000 clauses out of 206019 with flag 14659915/7449716
1734.49/1731.03	c cleaning 104004 clauses out of 208020 with flag 14946944/7554717
1776.74/1773.23	c cleaning 105002 clauses out of 210015 with flag 15235147/7660716
1800.01/1796.41	c starts		: 9
1800.01/1796.41	c conflicts		: 7738362
1800.01/1796.41	c decisions		: 19536004
1800.01/1796.41	c propagations		: 581828303
1800.01/1796.41	c inspects		: 36800511687
1800.01/1796.41	c shortcuts		: 0
1800.01/1796.41	c learnt literals	: 0
1800.01/1796.41	c learnt binary clauses	: 0
1800.01/1796.41	c learnt ternary clauses	: 0
1800.01/1796.41	c learnt constraints	: 7738362
1800.01/1796.41	c ignored constraints	: 0
1800.01/1796.41	c root simplifications	: 0
1800.01/1796.41	c removed literals (reason simplification)	: 0
1800.01/1796.41	c reason swapping (by a shorter reason)	: 0
1800.01/1796.41	c Calls to reduceDB	: 181
1800.01/1796.41	c Number of update (reduction) of LBD	: 2293537
1800.01/1796.41	c Imported unit clauses	: 0
1800.01/1796.41	c number of reductions to clauses (during analyze)	: 0
1800.01/1796.41	c number of learned constraints concerned by reduction	: 0
1800.01/1796.41	c number of learning phase by resolution	: 0
1800.01/1796.41	c number of learning phase by cutting planes	: 0
1800.01/1796.41	c speed (assignments/second)	: 323931.51948672323
1800.01/1796.41	c non guided choices	0
1800.01/1796.44	c learnt constraints type 
1800.01/1796.44	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 182659
1800.01/1796.44	s SATISFIABLE
1800.01/1796.44	c Found 4 solution(s)
1800.01/1796.44	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 x21 -x22 -x23 -x24 -x25 -x26 x27 x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 x47 -x48 -x49 -x50 x51 -x52 -x53 x54 -x55 -x56 -x57 -x58 -x59 -x60 x61 -x62 x63 -x64 -x65 x66 -x67 -x68 x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 x78 x79 x80 x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 x97 -x98 x99 x100 -x101 x102 -x103 x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 x112 x113 -x114 x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 x125 -x126 x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 x145 x146 -x147 x148 -x149 -x150 -x151 x152 -x153 -x154 -x155 -x156 -x157 x158 -x159 -x160 -x161 x162 x163 -x164 x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 x187 -x188 x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 x197 x198 -x199 x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 x209 x210 -x211 x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 x221 x222 -x223 x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 x233 x234 -x235 x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 x253 -x254 x255 -x256 x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 x296 -x297 x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 x307 x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 x366 -x367 -x368 -x369 -x370 -x371 x372 x373 -x374 x375 -x376 -x377 -x378 -x379 -x380 -x381 x382 -x383 x384 -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 x403 x404 -x405 x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 x415 -x416 -x417 -x418 x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 x459 -x460 -x461 -x462 -x463 -x464 x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 
1800.01/1796.44	c objective function=79
1800.01/1796.44	c Total wall clock time (in seconds): 1796.336

Verifier Data 

OK	79

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-4085190-1465231391/watcher-4085190-1465231391 -o /tmp/evaluation-result-4085190-1465231391/solver-4085190-1465231391 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465220260-9033 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085190-1465231391.opb 

pid=10538
running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.20 2.20 2.18 3/194 10541
/proc/meminfo: memFree=30311376/32872528 swapFree=17452/1581112
[pid=10541] ppid=10538 vsize=24200 CPUtime=0 cores=0,2,4,6
/proc/10541/stat : 10541 (java) S 10538 10541 9017 0 -1 4202496 1225 0 0 0 0 0 0 0 20 0 2 0 105071040 24780800 869 33554432000 1073741824 1073778376 140735314198768 140735314189904 248793563197 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10541/statm: 22434 873 659 9 0 16769 0
[pid=10541/tid=10542] ppid=10538 vsize=89736 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10542/stat : 10542 (java) R 10538 10541 9017 0 -1 4202560 28 0 0 0 0 0 0 0 20 0 2 0 105071040 91889664 894 33554432000 1073741824 1073778376 140735314198768 140735314187832 248781040935 0 0 4096 0 0 0 0 -1 2 0 0 0 0 0

[startup+0.100111 s]
/proc/loadavg: 2.20 2.20 2.18 3/194 10541
/proc/meminfo: memFree=30311376/32872528 swapFree=17452/1581112
[pid=10541] ppid=10538 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/10541/stat : 10541 (java) S 10538 10541 9017 0 -1 4202496 4454 0 1 0 9 1 0 0 20 0 18 0 105071040 9787879424 5573 33554432000 1073741824 1073778376 140735314198768 140735314189904 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10541/statm: 2389619 5573 2125 9 0 2380296 0
[pid=10541/tid=10542] ppid=10538 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/10541/task/10542/stat : 10542 (java) R 10538 10541 9017 0 -1 4202560 2430 0 1 0 6 1 0 0 20 0 18 0 105071040 9787879424 5573 33554432000 1073741824 1073778376 140735314198768 139635958815648 248793589005 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200267 s]
/proc/loadavg: 2.20 2.20 2.18 3/194 10541
/proc/meminfo: memFree=30311376/32872528 swapFree=17452/1581112
[pid=10541] ppid=10538 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/10541/stat : 10541 (java) S 10538 10541 9017 0 -1 4202496 5059 0 1 0 27 1 0 0 20 0 18 0 105071040 9787879424 6558 33554432000 1073741824 1073778376 140735314198768 140735314189904 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10541/statm: 2389619 6558 2216 9 0 2380296 0
[pid=10541/tid=10542] ppid=10538 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/10541/task/10542/stat : 10542 (java) R 10538 10541 9017 0 -1 4202560 2445 0 1 0 16 1 0 0 20 0 18 0 105071040 9787879424 6558 33554432000 1073741824 1073778376 140735314198768 139635958816696 139635898965524 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 9558476

[startup+0.300268 s]
/proc/loadavg: 2.20 2.20 2.18 3/194 10541
/proc/meminfo: memFree=30311376/32872528 swapFree=17452/1581112
[pid=10541] ppid=10538 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/10541/stat : 10541 (java) S 10538 10541 9017 0 -1 4202496 6525 0 1 0 50 2 0 0 20 0 19 0 105071040 9856040960 8279 33554432000 1073741824 1073778376 140735314198768 140735314189904 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10541/statm: 2406260 8279 2239 9 0 2396937 0
[pid=10541/tid=10542] ppid=10538 vsize=9625040 CPUtime=0.27 cores=0,2,4,6
/proc/10541/task/10542/stat : 10542 (java) R 10538 10541 9017 0 -1 4202560 2459 0 1 0 26 1 0 0 20 0 19 0 105071040 9856040960 8279 33554432000 1073741824 1073778376 140735314198768 139635958816952 139635898531708 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9625040

[startup+0.700214 s]
/proc/loadavg: 2.20 2.20 2.18 3/194 10541
/proc/meminfo: memFree=30311376/32872528 swapFree=17452/1581112
[pid=10541] ppid=10538 vsize=9625040 CPUtime=1.29 cores=0,2,4,6
/proc/10541/stat : 10541 (java) S 10538 10541 9017 0 -1 4202496 15076 0 1 0 126 3 0 0 20 0 19 0 105071040 9856040960 14858 33554432000 1073741824 1073778376 140735314198768 140735314189904 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10541/statm: 2406260 14858 2258 9 0 2396937 0
[pid=10541/tid=10542] ppid=10538 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/10541/task/10542/stat : 10542 (java) R 10538 10541 9017 0 -1 4202560 2462 0 1 0 66 1 0 0 20 0 19 0 105071040 9856040960 14858 33554432000 1073741824 1073778376 140735314198768 139635958816952 139635899056123 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 9625040

[startup+1.50078 s]
/proc/loadavg: 2.20 2.20 2.18 3/213 10560
/proc/meminfo: memFree=30256236/32872528 swapFree=17452/1581112
[pid=10541] ppid=10538 vsize=9625040 CPUtime=2.17 cores=0,2,4,6
/proc/10541/stat : 10541 (java) S 10538 10541 9017 0 -1 4202496 15212 0 1 0 214 3 0 0 20 0 19 0 105071040 9856040960 17037 33554432000 1073741824 1073778376 140735314198768 140735314189904 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10541/statm: 2406260 17037 2260 9 0 2396937 0
[pid=10541/tid=10542] ppid=10538 vsize=9625040 CPUtime=1.47 cores=0,2,4,6
/proc/10541/task/10542/stat : 10542 (java) R 10538 10541 9017 0 -1 4202560 2467 0 1 0 146 1 0 0 20 0 19 0 105071040 9856040960 17037 33554432000 1073741824 1073778376 140735314198768 139635958808288 139635899107201 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10544] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10544/stat : 10544 (java) S 10538 10541 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105071041 9856040960 17037 33554432000 1073741824 1073778376 140735314198768 139635897547176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10545] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10545/stat : 10545 (java) S 10538 10541 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105071041 9856040960 17037 33554432000 1073741824 1073778376 140735314198768 139635801668136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10546] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10546/stat : 10546 (java) S 10538 10541 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105071041 9856040960 17037 33554432000 1073741824 1073778376 140735314198768 139635800615080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10547] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10547/stat : 10547 (java) S 10538 10541 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105071041 9856040960 17037 33554432000 1073741824 1073778376 140735314198768 139635799562536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10548] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10548/stat : 10548 (java) S 10538 10541 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105071041 9856040960 17037 33554432000 1073741824 1073778376 140735314198768 139635798510504 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10549] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10549/stat : 10549 (java) S 10538 10541 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105071041 9856040960 17037 33554432000 1073741824 1073778376 140735314198768 139635797457960 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10550] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10550/stat : 10550 (java) S 10538 10541 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105071041 9856040960 17037 33554432000 1073741824 1073778376 140735314198768 139635796404904 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10551] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10551/stat : 10551 (java) S 10538 10541 9017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105071041 9856040960 17037 33554432000 1073741824 1073778376 140735314198768 139635795352360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10552] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10552/stat : 10552 (java) S 10538 10541 9017 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105071042 9856040960 17037 33554432000 1073741824 1073778376 140735314198768 139635782941032 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10553] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10553/stat : 10553 (java) S 10538 10541 9017 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105071043 9856040960 17037 33554432000 1073741824 1073778376 140735314198768 139635781887352 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10554] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10554/stat : 10554 (java) S 10538 10541 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105071043 9856040960 17037 33554432000 1073741824 1073778376 140735314198768 139635780834184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10555] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10555/stat : 10555 (java) S 10538 10541 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105071045 9856040960 17037 33554432000 1073741824 1073778376 140735314198768 139635779782928 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10556] ppid=10538 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/10541/task/10556/stat : 10556 (java) S 10538 10541 9017 0 -1 4202560 2500 0 0 0 25 0 0 0 20 0 19 0 105071045 9856040960 17037 33554432000 1073741824 1073778376 140735314198768 139635778730808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10557] ppid=10538 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/10541/task/10557/stat : 10557 (java) S 10538 10541 9017 0 -1 4202560 8973 0 0 0 39 1 0 0 20 0 19 0 105071045 9856040960 17037 33554432000 1073741824 1073778376 140735314198768 139635777678264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10558] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10558/stat : 10558 (java) S 10538 10541 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105071045 9856040960 17037 33554432000 1073741824 1073778376 140735314198768 139635776625400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10559] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10559/stat : 10559 (java) S 10538 10541 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105071045 9856040960 17037 33554432000 1073741824 1073778376 140735314198768 139635775573064 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10560] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10560/stat : 10560 (java) S 10538 10541 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105071067 9856040960 17037 33554432000 1073741824 1073778376 140735314198768 139635774518312 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 9625040

[startup+3.10078 s]
/proc/loadavg: 2.20 2.20 2.18 3/213 10560
/proc/meminfo: memFree=30245500/32872528 swapFree=17452/1581112
[pid=10541] ppid=10538 vsize=9625040 CPUtime=3.81 cores=0,2,4,6
/proc/10541/stat : 10541 (java) S 10538 10541 9017 0 -1 4202496 15225 0 1 0 378 3 0 0 20 0 19 0 105071040 9856040960 20116 33554432000 1073741824 1073778376 140735314198768 140735314189904 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10541/statm: 2406260 20116 2260 9 0 2396937 0
[pid=10541/tid=10542] ppid=10538 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/10541/task/10542/stat : 10542 (java) R 10538 10541 9017 0 -1 4202560 2473 0 1 0 305 1 0 0 20 0 19 0 105071040 9856040960 20116 33554432000 1073741824 1073778376 140735314198768 139635958808272 139635899107182 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10544] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10544/stat : 10544 (java) S 10538 10541 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105071041 9856040960 20116 33554432000 1073741824 1073778376 140735314198768 139635897547176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10545] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10545/stat : 10545 (java) S 10538 10541 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105071041 9856040960 20116 33554432000 1073741824 1073778376 140735314198768 139635801668136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10546] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10546/stat : 10546 (java) S 10538 10541 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105071041 9856040960 20116 33554432000 1073741824 1073778376 140735314198768 139635800615080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10547] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10547/stat : 10547 (java) S 10538 10541 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105071041 9856040960 20116 33554432000 1073741824 1073778376 140735314198768 139635799562536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10548] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10548/stat : 10548 (java) S 10538 10541 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105071041 9856040960 20116 33554432000 1073741824 1073778376 140735314198768 139635798510504 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10549] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10549/stat : 10549 (java) S 10538 10541 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105071041 9856040960 20116 33554432000 1073741824 1073778376 140735314198768 139635797457960 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10550] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10550/stat : 10550 (java) S 10538 10541 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105071041 9856040960 20116 33554432000 1073741824 1073778376 140735314198768 139635796404904 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10551] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10551/stat : 10551 (java) S 10538 10541 9017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105071041 9856040960 20116 33554432000 1073741824 1073778376 140735314198768 139635795352360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10552] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10552/stat : 10552 (java) S 10538 10541 9017 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105071042 9856040960 20116 33554432000 1073741824 1073778376 140735314198768 139635782941032 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10553] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10553/stat : 10553 (java) S 10538 10541 9017 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105071043 9856040960 20116 33554432000 1073741824 1073778376 140735314198768 139635781887352 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10554] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10554/stat : 10554 (java) S 10538 10541 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105071043 9856040960 20116 33554432000 1073741824 1073778376 140735314198768 139635780834184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10555] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10555/stat : 10555 (java) S 10538 10541 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105071045 9856040960 20116 33554432000 1073741824 1073778376 140735314198768 139635779782928 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10556] ppid=10538 vsize=9625040 CPUtime=0.28 cores=0,2,4,6
/proc/10541/task/10556/stat : 10556 (java) S 10538 10541 9017 0 -1 4202560 2507 0 0 0 28 0 0 0 20 0 19 0 105071045 9856040960 20116 33554432000 1073741824 1073778376 140735314198768 139635778730808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10557] ppid=10538 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/10541/task/10557/stat : 10557 (java) S 10538 10541 9017 0 -1 4202560 8973 0 0 0 39 2 0 0 20 0 19 0 105071045 9856040960 20116 33554432000 1073741824 1073778376 140735314198768 139635777678264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10558] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10558/stat : 10558 (java) S 10538 10541 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105071045 9856040960 20116 33554432000 1073741824 1073778376 140735314198768 139635776625400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10559] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10559/stat : 10559 (java) S 10538 10541 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105071045 9856040960 20116 33554432000 1073741824 1073778376 140735314198768 139635775573064 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10560] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10560/stat : 10560 (java) S 10538 10541 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105071067 9856040960 20116 33554432000 1073741824 1073778376 140735314198768 139635774518312 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 9625040

[startup+6.30079 s]
/proc/loadavg: 2.19 2.19 2.18 3/213 10560
/proc/meminfo: memFree=30223684/32872528 swapFree=17452/1581112
[pid=10541] ppid=10538 vsize=9625040 CPUtime=7.07 cores=0,2,4,6
/proc/10541/stat : 10541 (java) S 10538 10541 9017 0 -1 4202496 16027 0 1 0 703 4 0 0 20 0 19 0 105071040 9856040960 25345 33554432000 1073741824 1073778376 140735314198768 140735314189904 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10541/statm: 2406260 25345 2261 9 0 2396937 0
[pid=10541/tid=10542] ppid=10538 vsize=9625040 CPUtime=6.26 cores=0,2,4,6
/proc/10541/task/10542/stat : 10542 (java) R 10538 10541 9017 0 -1 4202560 2485 0 1 0 625 1 0 0 20 0 19 0 105071040 9856040960 25345 33554432000 1073741824 1073778376 140735314198768 139635958815280 139635899033217 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10544] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10544/stat : 10544 (java) S 10538 10541 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105071041 9856040960 25345 33554432000 1073741824 1073778376 140735314198768 139635897547176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10545] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10545/stat : 10545 (java) S 10538 10541 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105071041 9856040960 25345 33554432000 1073741824 1073778376 140735314198768 139635801668136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10546] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10546/stat : 10546 (java) S 10538 10541 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105071041 9856040960 25345 33554432000 1073741824 1073778376 140735314198768 139635800615080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10547] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10547/stat : 10547 (java) S 10538 10541 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105071041 9856040960 25345 33554432000 1073741824 1073778376 140735314198768 139635799562536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10548] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10548/stat : 10548 (java) S 10538 10541 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105071041 9856040960 25345 33554432000 1073741824 1073778376 140735314198768 139635798510504 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10549] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10549/stat : 10549 (java) S 10538 10541 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105071041 9856040960 25345 33554432000 1073741824 1073778376 140735314198768 139635797457960 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10550] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10550/stat : 10550 (java) S 10538 10541 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105071041 9856040960 25345 33554432000 1073741824 1073778376 140735314198768 139635796404904 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10551] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10551/stat : 10551 (java) S 10538 10541 9017 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105071041 9856040960 25345 33554432000 1073741824 1073778376 140735314198768 139635795352360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10552] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10552/stat : 10552 (java) S 10538 10541 9017 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105071042 9856040960 25345 33554432000 1073741824 1073778376 140735314198768 139635782941032 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10553] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10553/stat : 10553 (java) S 10538 10541 9017 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105071043 9856040960 25345 33554432000 1073741824 1073778376 140735314198768 139635781887352 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10554] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10554/stat : 10554 (java) S 10538 10541 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105071043 9856040960 25345 33554432000 1073741824 1073778376 140735314198768 139635780834184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10555] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10555/stat : 10555 (java) S 10538 10541 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105071045 9856040960 25345 33554432000 1073741824 1073778376 140735314198768 139635779782928 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10556] ppid=10538 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/10541/task/10556/stat : 10556 (java) S 10538 10541 9017 0 -1 4202560 3296 0 0 0 34 0 0 0 20 0 19 0 105071045 9856040960 25345 33554432000 1073741824 1073778376 140735314198768 139635778730808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10557] ppid=10538 vsize=9625040 CPUtime=0.41 cores=0,2,4,6

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

[pid=10541/tid=10560] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10560/stat : 10560 (java) S 10538 10541 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105071067 9856040960 108604 33554432000 1073741824 1073778376 140735314198768 139635774518312 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1665.76
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.30 2.22 2.19 3/213 10624
/proc/meminfo: memFree=29602160/32872528 swapFree=17452/1581112
[pid=10541] ppid=10538 vsize=9625040 CPUtime=1725.78 cores=0,2,4,6
/proc/10541/stat : 10541 (java) S 10538 10541 9017 0 -1 4202496 19455 0 1 0 172506 72 0 0 20 0 19 0 105071040 9856040960 108605 33554432000 1073741824 1073778376 140735314198768 140735314189904 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10541/statm: 2406260 108605 2283 9 0 2396937 0
[pid=10541/tid=10542] ppid=10538 vsize=9625040 CPUtime=1716.63 cores=0,2,4,6
/proc/10541/task/10542/stat : 10542 (java) R 10538 10541 9017 0 -1 4202560 2562 0 1 0 171634 29 0 0 20 0 19 0 105071040 9856040960 108605 33554432000 1073741824 1073778376 140735314198768 139635958815968 139635899080862 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10544] ppid=10538 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/10541/task/10544/stat : 10544 (java) S 10538 10541 9017 0 -1 4202560 557 0 0 0 39 5 0 0 20 0 19 0 105071041 9856040960 108605 33554432000 1073741824 1073778376 140735314198768 139635897547176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10545] ppid=10538 vsize=9625040 CPUtime=0.45 cores=0,2,4,6
/proc/10541/task/10545/stat : 10545 (java) S 10538 10541 9017 0 -1 4202560 363 0 0 0 39 6 0 0 20 0 19 0 105071041 9856040960 108605 33554432000 1073741824 1073778376 140735314198768 139635801668136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10546] ppid=10538 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/10541/task/10546/stat : 10546 (java) S 10538 10541 9017 0 -1 4202560 301 0 0 0 32 7 0 0 20 0 19 0 105071041 9856040960 108605 33554432000 1073741824 1073778376 140735314198768 139635800615080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10547] ppid=10538 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/10541/task/10547/stat : 10547 (java) S 10538 10541 9017 0 -1 4202560 405 0 0 0 38 6 0 0 20 0 19 0 105071041 9856040960 108605 33554432000 1073741824 1073778376 140735314198768 139635799562536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10548] ppid=10538 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/10541/task/10548/stat : 10548 (java) S 10538 10541 9017 0 -1 4202560 418 0 0 0 34 6 0 0 20 0 19 0 105071041 9856040960 108605 33554432000 1073741824 1073778376 140735314198768 139635798510504 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10549] ppid=10538 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/10541/task/10549/stat : 10549 (java) S 10538 10541 9017 0 -1 4202560 262 0 0 0 42 7 0 0 20 0 19 0 105071041 9856040960 108605 33554432000 1073741824 1073778376 140735314198768 139635797457960 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10550] ppid=10538 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/10541/task/10550/stat : 10550 (java) S 10538 10541 9017 0 -1 4202560 301 0 0 0 38 5 0 0 20 0 19 0 105071041 9856040960 108605 33554432000 1073741824 1073778376 140735314198768 139635796404904 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10551] ppid=10538 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/10541/task/10551/stat : 10551 (java) S 10538 10541 9017 0 -1 4202560 323 0 0 0 37 6 0 0 20 0 19 0 105071041 9856040960 108605 33554432000 1073741824 1073778376 140735314198768 139635795352360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10552] ppid=10538 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/10541/task/10552/stat : 10552 (java) S 10538 10541 9017 0 -1 4202560 158 0 0 0 21 3 0 0 20 0 19 0 105071042 9856040960 108605 33554432000 1073741824 1073778376 140735314198768 139635782941032 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10553] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10553/stat : 10553 (java) S 10538 10541 9017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105071043 9856040960 108605 33554432000 1073741824 1073778376 140735314198768 139635781887352 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10554] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10554/stat : 10554 (java) S 10538 10541 9017 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105071043 9856040960 108605 33554432000 1073741824 1073778376 140735314198768 139635780834184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10555] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10555/stat : 10555 (java) S 10538 10541 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105071045 9856040960 108605 33554432000 1073741824 1073778376 140735314198768 139635779782928 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10556] ppid=10538 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/10541/task/10556/stat : 10556 (java) S 10538 10541 9017 0 -1 4202560 3473 0 0 0 38 0 0 0 20 0 19 0 105071045 9856040960 108605 33554432000 1073741824 1073778376 140735314198768 139635778730808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10557] ppid=10538 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/10541/task/10557/stat : 10557 (java) S 10538 10541 9017 0 -1 4202560 8973 0 0 0 39 2 0 0 20 0 19 0 105071045 9856040960 108605 33554432000 1073741824 1073778376 140735314198768 139635777678264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10558] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10558/stat : 10558 (java) S 10538 10541 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105071045 9856040960 108605 33554432000 1073741824 1073778376 140735314198768 139635776625400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10559] ppid=10538 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/10541/task/10559/stat : 10559 (java) S 10538 10541 9017 0 -1 4202560 100 0 0 0 23 24 0 0 20 0 19 0 105071045 9856040960 108605 33554432000 1073741824 1073778376 140735314198768 139635775573064 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10560] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10560/stat : 10560 (java) S 10538 10541 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105071067 9856040960 108605 33554432000 1073741824 1073778376 140735314198768 139635774518312 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1725.78
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.19 2.20 2.18 3/213 10691
/proc/meminfo: memFree=29457672/32872528 swapFree=17452/1581112
[pid=10541] ppid=10538 vsize=9625040 CPUtime=1785.83 cores=0,2,4,6
/proc/10541/stat : 10541 (java) S 10538 10541 9017 0 -1 4202496 19462 0 1 0 178510 73 0 0 20 0 19 0 105071040 9856040960 108123 33554432000 1073741824 1073778376 140735314198768 140735314189904 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10541/statm: 2406260 108123 2283 9 0 2396937 0
[pid=10541/tid=10542] ppid=10538 vsize=9625040 CPUtime=1776.44 cores=0,2,4,6
/proc/10541/task/10542/stat : 10542 (java) R 10538 10541 9017 0 -1 4202560 2563 0 1 0 177614 30 0 0 20 0 19 0 105071040 9856040960 108123 33554432000 1073741824 1073778376 140735314198768 139635958808256 139635899107145 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10544] ppid=10538 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/10541/task/10544/stat : 10544 (java) S 10538 10541 9017 0 -1 4202560 557 0 0 0 39 5 0 0 20 0 19 0 105071041 9856040960 108123 33554432000 1073741824 1073778376 140735314198768 139635897547176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10545] ppid=10538 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/10541/task/10545/stat : 10545 (java) S 10538 10541 9017 0 -1 4202560 363 0 0 0 40 6 0 0 20 0 19 0 105071041 9856040960 108123 33554432000 1073741824 1073778376 140735314198768 139635801668136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10546] ppid=10538 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/10541/task/10546/stat : 10546 (java) S 10538 10541 9017 0 -1 4202560 301 0 0 0 32 7 0 0 20 0 19 0 105071041 9856040960 108123 33554432000 1073741824 1073778376 140735314198768 139635800615080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10547] ppid=10538 vsize=9625040 CPUtime=0.46 cores=0,2,4,6
/proc/10541/task/10547/stat : 10547 (java) S 10538 10541 9017 0 -1 4202560 405 0 0 0 40 6 0 0 20 0 19 0 105071041 9856040960 108123 33554432000 1073741824 1073778376 140735314198768 139635799562536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10548] ppid=10538 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/10541/task/10548/stat : 10548 (java) S 10538 10541 9017 0 -1 4202560 418 0 0 0 34 6 0 0 20 0 19 0 105071041 9856040960 108123 33554432000 1073741824 1073778376 140735314198768 139635798510504 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10549] ppid=10538 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/10541/task/10549/stat : 10549 (java) S 10538 10541 9017 0 -1 4202560 262 0 0 0 45 7 0 0 20 0 19 0 105071041 9856040960 108123 33554432000 1073741824 1073778376 140735314198768 139635797457960 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10550] ppid=10538 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/10541/task/10550/stat : 10550 (java) S 10538 10541 9017 0 -1 4202560 301 0 0 0 39 5 0 0 20 0 19 0 105071041 9856040960 108123 33554432000 1073741824 1073778376 140735314198768 139635796404904 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10551] ppid=10538 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/10541/task/10551/stat : 10551 (java) S 10538 10541 9017 0 -1 4202560 323 0 0 0 37 6 0 0 20 0 19 0 105071041 9856040960 108123 33554432000 1073741824 1073778376 140735314198768 139635795352360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10552] ppid=10538 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/10541/task/10552/stat : 10552 (java) S 10538 10541 9017 0 -1 4202560 160 0 0 0 21 3 0 0 20 0 19 0 105071042 9856040960 108123 33554432000 1073741824 1073778376 140735314198768 139635782941032 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10553] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10553/stat : 10553 (java) S 10538 10541 9017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105071043 9856040960 108123 33554432000 1073741824 1073778376 140735314198768 139635781887352 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10554] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10554/stat : 10554 (java) S 10538 10541 9017 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105071043 9856040960 108123 33554432000 1073741824 1073778376 140735314198768 139635780834184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10555] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10555/stat : 10555 (java) S 10538 10541 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105071045 9856040960 108123 33554432000 1073741824 1073778376 140735314198768 139635779782928 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10556] ppid=10538 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/10541/task/10556/stat : 10556 (java) S 10538 10541 9017 0 -1 4202560 3473 0 0 0 38 0 0 0 20 0 19 0 105071045 9856040960 108123 33554432000 1073741824 1073778376 140735314198768 139635778730808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10557] ppid=10538 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/10541/task/10557/stat : 10557 (java) S 10538 10541 9017 0 -1 4202560 8973 0 0 0 39 2 0 0 20 0 19 0 105071045 9856040960 108123 33554432000 1073741824 1073778376 140735314198768 139635777678264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10558] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10558/stat : 10558 (java) S 10538 10541 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105071045 9856040960 108123 33554432000 1073741824 1073778376 140735314198768 139635776625400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10559] ppid=10538 vsize=9625040 CPUtime=0.49 cores=0,2,4,6
/proc/10541/task/10559/stat : 10559 (java) S 10538 10541 9017 0 -1 4202560 104 0 0 0 24 25 0 0 20 0 19 0 105071045 9856040960 108123 33554432000 1073741824 1073778376 140735314198768 139635775573064 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10560] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10560/stat : 10560 (java) S 10538 10541 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105071067 9856040960 108123 33554432000 1073741824 1073778376 140735314198768 139635774518312 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1785.83
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1796.41 s]
/proc/loadavg: 2.23 2.21 2.18 3/212 10691
/proc/meminfo: memFree=29203648/32872528 swapFree=17452/1581112
[pid=10541] ppid=10538 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/10541/stat : 10541 (java) S 10538 10541 9017 0 -1 4202496 19468 0 1 0 179927 74 0 0 20 0 19 0 105071040 9856040960 107677 33554432000 1073741824 1073778376 140735314198768 140735314189904 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/10541/statm: 2406260 107677 2283 9 0 2396937 0
[pid=10541/tid=10542] ppid=10538 vsize=9625040 CPUtime=1790.48 cores=0,2,4,6
/proc/10541/task/10542/stat : 10542 (java) R 10538 10541 9017 0 -1 4202560 2564 0 1 0 179018 30 0 0 20 0 19 0 105071040 9856040960 107677 33554432000 1073741824 1073778376 140735314198768 139635958815968 139635899082117 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10544] ppid=10538 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/10541/task/10544/stat : 10544 (java) S 10538 10541 9017 0 -1 4202560 557 0 0 0 42 5 0 0 20 0 19 0 105071041 9856040960 107677 33554432000 1073741824 1073778376 140735314198768 139635897547176 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10545] ppid=10538 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/10541/task/10545/stat : 10545 (java) S 10538 10541 9017 0 -1 4202560 363 0 0 0 42 6 0 0 20 0 19 0 105071041 9856040960 107677 33554432000 1073741824 1073778376 140735314198768 139635801668136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10546] ppid=10538 vsize=9625040 CPUtime=0.4 cores=0,2,4,6
/proc/10541/task/10546/stat : 10546 (java) S 10538 10541 9017 0 -1 4202560 304 0 0 0 33 7 0 0 20 0 19 0 105071041 9856040960 107677 33554432000 1073741824 1073778376 140735314198768 139635800615080 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10547] ppid=10538 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/10541/task/10547/stat : 10547 (java) S 10538 10541 9017 0 -1 4202560 405 0 0 0 41 6 0 0 20 0 19 0 105071041 9856040960 107677 33554432000 1073741824 1073778376 140735314198768 139635799562536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10548] ppid=10538 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/10541/task/10548/stat : 10548 (java) S 10538 10541 9017 0 -1 4202560 418 0 0 0 35 6 0 0 20 0 19 0 105071041 9856040960 107677 33554432000 1073741824 1073778376 140735314198768 139635798510504 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10549] ppid=10538 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/10541/task/10549/stat : 10549 (java) S 10538 10541 9017 0 -1 4202560 262 0 0 0 45 7 0 0 20 0 19 0 105071041 9856040960 107677 33554432000 1073741824 1073778376 140735314198768 139635797457960 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10550] ppid=10538 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/10541/task/10550/stat : 10550 (java) S 10538 10541 9017 0 -1 4202560 301 0 0 0 39 5 0 0 20 0 19 0 105071041 9856040960 107677 33554432000 1073741824 1073778376 140735314198768 139635796404904 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10551] ppid=10538 vsize=9625040 CPUtime=0.44 cores=0,2,4,6
/proc/10541/task/10551/stat : 10551 (java) S 10538 10541 9017 0 -1 4202560 323 0 0 0 38 6 0 0 20 0 19 0 105071041 9856040960 107677 33554432000 1073741824 1073778376 140735314198768 139635795352360 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10552] ppid=10538 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/10541/task/10552/stat : 10552 (java) S 10538 10541 9017 0 -1 4202560 162 0 0 0 21 3 0 0 20 0 19 0 105071042 9856040960 107677 33554432000 1073741824 1073778376 140735314198768 139635782941032 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10553] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10553/stat : 10553 (java) S 10538 10541 9017 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105071043 9856040960 107677 33554432000 1073741824 1073778376 140735314198768 139635781887352 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10554] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10554/stat : 10554 (java) S 10538 10541 9017 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105071043 9856040960 107677 33554432000 1073741824 1073778376 140735314198768 139635780834184 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10555] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10555/stat : 10555 (java) S 10538 10541 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105071045 9856040960 107677 33554432000 1073741824 1073778376 140735314198768 139635779782928 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10556] ppid=10538 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/10541/task/10556/stat : 10556 (java) S 10538 10541 9017 0 -1 4202560 3473 0 0 0 38 0 0 0 20 0 19 0 105071045 9856040960 107677 33554432000 1073741824 1073778376 140735314198768 139635778730808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=10541/tid=10557] ppid=10538 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/10541/task/10557/stat : 10557 (java) S 10538 10541 9017 0 -1 4202560 8973 0 0 0 39 2 0 0 20 0 19 0 105071045 9856040960 107677 33554432000 1073741824 1073778376 140735314198768 139635777678264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=10541/tid=10558] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10558/stat : 10558 (java) S 10538 10541 9017 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105071045 9856040960 107677 33554432000 1073741824 1073778376 140735314198768 139635776625400 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=10541/tid=10559] ppid=10538 vsize=9625040 CPUtime=0.5 cores=0,2,4,6
/proc/10541/task/10559/stat : 10559 (java) S 10538 10541 9017 0 -1 4202560 104 0 0 0 24 26 0 0 20 0 19 0 105071045 9856040960 107677 33554432000 1073741824 1073778376 140735314198768 139635775573064 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=10541/tid=10560] ppid=10538 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/10541/task/10560/stat : 10560 (java) S 10538 10541 9017 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105071067 9856040960 107677 33554432000 1073741824 1073778376 140735314198768 139635774518312 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
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 10541 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143

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

Real time (s): 1796.45
CPU time (s): 1800.01
CPU user time (s): 1799.27
CPU system time (s): 0.74
CPU usage (%): 100.198
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.77
system time used= 1.23181
maximum resident set size= 557708
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19518
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1472
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39041
involuntary context switches= 12917

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0255 second user time and 13.6119 second system time

The end

Launcher Data 

Begin job on node139 at 2016-06-06 18:43:11
IDJOB=4085190
IDBENCH=2053
IDSOLVER=2546
FILE ID=node139/4085190-1465231391
RUNJOBID= node139-1465220260-9033
PBS_JOBID= 19843218
Free space on /tmp= 71732 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-e64.b.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4085190-1465231391/watcher-4085190-1465231391 -o /tmp/evaluation-result-4085190-1465231391/solver-4085190-1465231391 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1465220260-9033 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4085190-1465231391.opb

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

MD5SUM BENCH= 4a444f89cff56050e88660d23e3d8694
RANDOM SEED=1629807920

node139.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.868
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.73
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.868
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.868
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.868
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.868
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.868
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.868
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.868
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30312020 kB
Buffers:           22780 kB
Cached:            88624 kB
SwapCached:         1464 kB
Active:           199020 kB
Inactive:          58888 kB
Active(anon):     146836 kB
Inactive(anon):     2172 kB
Active(file):      52184 kB
Inactive(file):    56716 kB
Unevictable:     1581112 kB
Mlocked:           17452 kB
SwapTotal:      67108856 kB
SwapFree:       67099760 kB
Dirty:               868 kB
Writeback:             0 kB
AnonPages:       1886364 kB
Mapped:            15372 kB
Shmem:                 0 kB
Slab:             566952 kB
SReclaimable:      10980 kB
SUnreclaim:       555972 kB
KernelStack:        1760 kB
PageTables:         7624 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2269232 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1851392 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= 71732 MiB
End job on node139 at 2016-06-06 19:13:07