Trace number 4081724

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 Res+CP PB16SAT (TO)-42 1800.05 907.861

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_4.opb
MD5SUM169f1f6799c5c0fd2a1b0aca08165f42
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-47
Best CPU time to get the best result obtained on this benchmark1800.03
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -59
Optimality of the best value was proved NO
Number of variables400
Total number of constraints601
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints401
Minimum length of a constraint2
Maximum length of a constraint400
Number of terms in the objective function 200
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 200
Number of bits of the sum of numbers in the objective function 8
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 400
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)5048
Sum of products size (including duplicates)10096
Number of different products2524
Sum of products size5048

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.12	c Pseudo Boolean Optimization by upper bound
0.09/0.12	c ManyCore solver with 2 solvers running in parallel
0.09/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Glucose 2.1 dynamic restart strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.09/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.09/0.12	c No reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=false
0.09/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-4081724-1465257267.opb
0.09/0.12	c reading problem ... 
0.09/0.12	c  objective function found
0.69/0.44	c ... done. Wall clock time 0.317s.
0.69/0.44	c declared #vars     400
0.69/0.44	c internal #vars     2924
0.69/0.44	c #constraints  5650
0.69/0.44	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.69/0.44	c constraints type 
0.69/0.44	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2524
0.69/0.44	c org.sat4j.minisat.constraints.card.MinWatchCard => 402
0.69/0.44	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
0.69/0.44	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2524
0.69/0.44	c 5650 constraints processed.
0.69/0.44	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.69/0.44	c constraints type 
0.69/0.44	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 200
0.69/0.44	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2524
0.69/0.44	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 402
0.69/0.44	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2524
0.69/0.44	c 5650 constraints processed.
0.69/0.44	c objective function length is 200 literals
1.83/0.75	c And the winner is solver1
2.07/0.94	c SATISFIABLE
2.07/0.94	c OPTIMIZING...
2.07/0.94	c Got one! Elapsed wall clock time (in seconds):0.822
2.07/0.94	o -7
2.07/0.97	c And the winner is solver1
2.17/1.44	c Got one! Elapsed wall clock time (in seconds):1.324
2.17/1.44	o -11
2.17/1.47	c And the winner is solver1
2.28/1.94	c Got one! Elapsed wall clock time (in seconds):1.825
2.28/1.94	o -12
2.28/1.98	c And the winner is solver1
2.61/2.44	c Got one! Elapsed wall clock time (in seconds):2.326
2.61/2.44	o -13
2.61/2.47	c And the winner is solver1
2.76/2.95	c Got one! Elapsed wall clock time (in seconds):2.827
2.76/2.95	o -14
2.76/2.96	c And the winner is solver1
2.81/3.45	c Got one! Elapsed wall clock time (in seconds):3.329
2.81/3.45	o -15
2.81/3.47	c And the winner is solver1
2.86/3.95	c Got one! Elapsed wall clock time (in seconds):3.83
2.86/3.95	o -16
2.86/3.97	c And the winner is solver1
2.93/4.45	c Got one! Elapsed wall clock time (in seconds):4.331
2.93/4.45	o -17
2.93/4.46	c And the winner is solver1
2.97/4.95	c Got one! Elapsed wall clock time (in seconds):4.832
2.97/4.95	o -22
2.97/4.98	c And the winner is solver1
3.11/5.45	c Got one! Elapsed wall clock time (in seconds):5.333
3.11/5.45	o -23
3.11/5.48	c And the winner is solver1
3.20/5.95	c Got one! Elapsed wall clock time (in seconds):5.834
3.20/5.95	o -24
3.20/5.97	c And the winner is solver1
3.24/6.45	c Got one! Elapsed wall clock time (in seconds):6.335
3.24/6.45	o -25
3.24/6.48	c And the winner is solver1
3.32/6.95	c Got one! Elapsed wall clock time (in seconds):6.836
3.32/6.95	o -26
3.32/6.99	c And the winner is solver1
3.51/7.46	c Got one! Elapsed wall clock time (in seconds):7.337
3.51/7.46	o -27
3.51/7.48	c And the winner is solver1
3.57/7.96	c Got one! Elapsed wall clock time (in seconds):7.838
3.57/7.96	o -28
3.57/7.97	c And the winner is solver1
3.61/8.46	c Got one! Elapsed wall clock time (in seconds):8.339
3.61/8.46	o -29
3.61/8.48	c And the winner is solver1
3.67/8.96	c Got one! Elapsed wall clock time (in seconds):8.84
3.67/8.96	o -30
3.67/8.99	c And the winner is solver1
3.73/9.46	c Got one! Elapsed wall clock time (in seconds):9.341
3.73/9.46	o -31
3.80/9.50	c And the winner is solver1
3.82/9.96	c Got one! Elapsed wall clock time (in seconds):9.842
3.82/9.96	o -32
3.82/10.00	c And the winner is solver1
3.96/10.46	c Got one! Elapsed wall clock time (in seconds):10.342
3.96/10.46	o -33
4.29/10.69	c And the winner is solver1
4.48/10.96	c Got one! Elapsed wall clock time (in seconds):10.843
4.48/10.96	o -34
5.19/11.33	c And the winner is solver1
5.27/11.46	c Got one! Elapsed wall clock time (in seconds):11.344
5.27/11.46	o -35
6.65/12.14	c And the winner is solver1
6.78/12.46	c Got one! Elapsed wall clock time (in seconds):12.345
6.78/12.46	o -36
6.84/12.53	c And the winner is solver1
6.92/12.96	c Got one! Elapsed wall clock time (in seconds):12.846
6.92/12.96	o -37
7.18/13.20	c cleaning 4071 clauses out of 8150 with flag 5526/8150
9.52/14.30	c And the winner is solver1
9.74/14.47	c Got one! Elapsed wall clock time (in seconds):14.347
9.74/14.47	o -38
11.74/15.47	c And the winner is solver1
11.89/15.97	c Got one! Elapsed wall clock time (in seconds):15.848
11.89/15.97	o -39
12.35/16.22	c cleaning 7844 clauses out of 15689 with flag 5863/19760
15.16/17.49	c cleaning 6926 clauses out of 13852 with flag 47415/25767
18.14/18.74	c cleaning 6963 clauses out of 13925 with flag 88998/32766
21.76/20.39	c cleaning 7477 clauses out of 14957 with flag 140123/40761
25.67/22.22	c cleaning 8245 clauses out of 16490 with flag 208943/49771
29.54/24.15	c cleaning 9078 clauses out of 18239 with flag 275605/59765
32.73/25.78	c And the winner is solver1
32.86/25.97	c Got one! Elapsed wall clock time (in seconds):25.85
32.86/25.97	o -40
35.37/27.22	c cleaning 11394 clauses out of 22787 with flag 32634/73391
37.77/28.45	c cleaning 8697 clauses out of 17402 with flag 67553/79400
40.39/29.78	c cleaning 7847 clauses out of 15699 with flag 115725/86394
43.83/31.41	c cleaning 7900 clauses out of 15849 with flag 169280/94391
46.83/32.96	c cleaning 8436 clauses out of 16950 with flag 226459/103392
51.24/35.18	c cleaning 9257 clauses out of 18519 with flag 293002/113397
56.48/37.72	c cleaning 10111 clauses out of 20256 with flag 358524/124391
61.28/40.18	c cleaning 11072 clauses out of 22145 with flag 432344/136391
66.48/42.78	c cleaning 12013 clauses out of 24079 with flag 522643/149397
72.35/45.65	c cleaning 13024 clauses out of 26061 with flag 613705/163392
78.36/48.67	c cleaning 14003 clauses out of 28038 with flag 728860/178393
84.96/51.95	c cleaning 15005 clauses out of 30033 with flag 836926/194391
92.26/55.50	c cleaning 15977 clauses out of 32030 with flag 948222/211393
99.86/59.37	c cleaning 17010 clauses out of 34057 with flag 1066504/229397
108.71/63.74	c cleaning 18023 clauses out of 36045 with flag 1184687/248395
117.17/67.95	c cleaning 19009 clauses out of 38018 with flag 1319100/268391
127.17/72.93	c cleaning 19970 clauses out of 40010 with flag 1429763/289392
136.42/77.57	c cleaning 20977 clauses out of 42043 with flag 1553466/311395
148.08/83.34	c cleaning 22028 clauses out of 44067 with flag 1691068/334396
159.75/89.11	c cleaning 23001 clauses out of 46040 with flag 1835395/358397
173.00/95.71	c cleaning 23998 clauses out of 48045 with flag 1970105/383403
185.24/101.87	c cleaning 25015 clauses out of 50037 with flag 2113416/409393
202.32/110.37	c cleaning 26009 clauses out of 52021 with flag 2243273/436392
216.40/117.37	c cleaning 26997 clauses out of 54012 with flag 2386272/464392
234.44/126.35	c cleaning 28001 clauses out of 56014 with flag 2533769/493391
249.36/133.78	c cleaning 29007 clauses out of 58013 with flag 2687753/523391
265.26/141.63	c cleaning 29959 clauses out of 60009 with flag 2853557/554394
284.91/151.66	c cleaning 30998 clauses out of 62047 with flag 3028685/586391
285.53/151.97	c cleaning 0 clauses out of 6454 with flag 0/6454
309.03/163.42	c cleaning 32023 clauses out of 64049 with flag 3208760/619391
325.64/171.62	c cleaning 33013 clauses out of 66038 with flag 3395446/653403
344.72/181.14	c cleaning 34004 clauses out of 68024 with flag 3562362/688402
365.25/191.38	c cleaning 35005 clauses out of 70009 with flag 3737959/724391
387.93/202.68	c cleaning 36002 clauses out of 72022 with flag 3906652/761409
418.65/218.29	c cleaning 37007 clauses out of 74014 with flag 4083975/799403
453.61/235.62	c cleaning 37998 clauses out of 75998 with flag 4277879/838394
490.13/253.89	c cleaning 39007 clauses out of 78017 with flag 4439817/878411
523.64/270.56	c cleaning 39943 clauses out of 79996 with flag 4598900/919397
557.19/287.21	c cleaning 41019 clauses out of 82050 with flag 4752407/961394
587.93/302.54	c cleaning 42014 clauses out of 84028 with flag 4910714/1004391
626.25/321.65	c cleaning 42970 clauses out of 86022 with flag 5091729/1048399
660.94/338.94	c cleaning 43990 clauses out of 88050 with flag 5272189/1093397
696.07/356.43	c cleaning 45028 clauses out of 90055 with flag 5451914/1139392
733.41/375.04	c cleaning 45995 clauses out of 92031 with flag 5639441/1186396
767.40/392.31	c cleaning 47022 clauses out of 94047 with flag 5852266/1234407
806.90/412.04	c cleaning 47963 clauses out of 96014 with flag 6073605/1283396
849.86/433.40	c cleaning 49018 clauses out of 98049 with flag 6260502/1333394
886.81/451.83	c cleaning 49978 clauses out of 100029 with flag 6460095/1384392
921.06/468.89	c cleaning 51002 clauses out of 102051 with flag 6641704/1436392
964.52/490.43	c cleaning 51995 clauses out of 104050 with flag 6864578/1489393
1003.13/509.61	c cleaning 53005 clauses out of 106090 with flag 7092339/1543428
1047.70/531.80	c cleaning 53996 clauses out of 108050 with flag 7290679/1598393
1084.88/550.35	c cleaning 55026 clauses out of 110053 with flag 7563690/1654392
1085.28/550.54	c And the winner is solver1
1085.28/550.98	c Got one! Elapsed wall clock time (in seconds):550.859
1085.28/550.98	o -41
1087.15/551.97	c cleaning 30049 clauses out of 60097 with flag 25593/1659462
1089.35/553.07	c cleaning 18022 clauses out of 36044 with flag 61520/1665458
1091.56/554.13	c cleaning 12478 clauses out of 25022 with flag 101717/1672458
1094.47/555.54	c cleaning 10231 clauses out of 20545 with flag 156977/1680459
1097.45/557.09	c cleaning 9620 clauses out of 19314 with flag 212808/1689459
1101.45/559.04	c cleaning 9835 clauses out of 19695 with flag 274392/1699460
1105.66/561.15	c cleaning 10408 clauses out of 20860 with flag 352679/1710460
1110.44/563.51	c cleaning 11211 clauses out of 22450 with flag 429625/1722458
1115.72/566.13	c cleaning 12125 clauses out of 24250 with flag 517988/1735469
1121.32/568.90	c cleaning 13006 clauses out of 26116 with flag 607427/1749460
1127.52/572.01	c cleaning 14049 clauses out of 28108 with flag 713933/1764458
1134.20/575.34	c cleaning 14980 clauses out of 30061 with flag 824395/1780460
1141.98/579.22	c cleaning 15997 clauses out of 32080 with flag 925810/1797459
1148.78/582.61	c cleaning 17008 clauses out of 34082 with flag 1025362/1815458
1156.85/586.60	c cleaning 18031 clauses out of 36080 with flag 1152978/1834464
1164.65/590.54	c cleaning 19022 clauses out of 38043 with flag 1265073/1854458
1173.71/595.03	c cleaning 20007 clauses out of 40021 with flag 1396194/1875458
1182.72/599.58	c cleaning 21008 clauses out of 42016 with flag 1517851/1897460
1191.21/603.76	c cleaning 22012 clauses out of 44023 with flag 1645573/1920475
1200.81/608.50	c cleaning 22989 clauses out of 45994 with flag 1792156/1944458
1209.80/613.09	c cleaning 23920 clauses out of 48005 with flag 1920173/1969458
1220.28/618.28	c cleaning 25039 clauses out of 50085 with flag 2061982/1995458
1230.67/623.47	c cleaning 26021 clauses out of 52047 with flag 2204653/2022459
1239.39/627.77	c And the winner is solver1
1239.39/628.01	c Got one! Elapsed wall clock time (in seconds):627.89
1239.39/628.01	o -42
1242.35/629.53	c cleaning 27988 clauses out of 55976 with flag 34261/2052409
1244.35/630.53	c cleaning 16994 clauses out of 33989 with flag 69431/2058410
1246.55/631.65	c cleaning 11980 clauses out of 23994 with flag 110844/2065409
1249.15/632.94	c cleaning 9995 clauses out of 20014 with flag 159366/2073409
1252.23/634.41	c cleaning 9459 clauses out of 19019 with flag 212972/2082409
1255.43/636.04	c cleaning 9760 clauses out of 19566 with flag 274827/2092415
1259.03/637.80	c cleaning 10369 clauses out of 20800 with flag 344656/2103409
1262.43/639.54	c cleaning 11204 clauses out of 22436 with flag 419582/2115414
1266.43/641.55	c cleaning 12091 clauses out of 24233 with flag 496628/2128415
1271.75/644.14	c cleaning 13033 clauses out of 26136 with flag 585525/2142409
1276.54/646.51	c cleaning 14054 clauses out of 28107 with flag 675655/2157413
1282.34/649.47	c cleaning 15006 clauses out of 30049 with flag 767295/2173409
1288.94/652.77	c cleaning 16000 clauses out of 32043 with flag 871527/2190409
1296.03/656.23	c cleaning 17025 clauses out of 34050 with flag 977310/2208416
1304.23/660.33	c cleaning 18006 clauses out of 36018 with flag 1088845/2227409
1312.12/664.29	c cleaning 19007 clauses out of 38013 with flag 1199487/2247410
1319.72/668.09	c cleaning 19974 clauses out of 40005 with flag 1313735/2268409
1327.72/672.02	c cleaning 20966 clauses out of 42031 with flag 1431865/2290409
1336.43/676.31	c cleaning 22022 clauses out of 44070 with flag 1558730/2313414
1345.84/681.01	c cleaning 22966 clauses out of 46043 with flag 1697496/2337409
1356.12/686.15	c cleaning 24039 clauses out of 48077 with flag 1836487/2362409
1365.73/690.98	c cleaning 25019 clauses out of 50038 with flag 1983867/2388409
1375.60/695.86	c cleaning 26014 clauses out of 52028 with flag 2145299/2415418
1385.42/700.79	c cleaning 26993 clauses out of 54005 with flag 2307405/2443409
1397.28/706.63	c cleaning 28005 clauses out of 56014 with flag 2476496/2472411
1409.48/712.70	c cleaning 28994 clauses out of 58008 with flag 2657054/2502410
1421.95/718.96	c cleaning 29991 clauses out of 60014 with flag 2835648/2533410
1434.45/725.18	c cleaning 30960 clauses out of 62022 with flag 3027172/2565409
1447.47/731.65	c cleaning 31980 clauses out of 64062 with flag 3226278/2598409
1463.56/739.69	c cleaning 33032 clauses out of 66082 with flag 3425467/2632409
1479.46/747.55	c cleaning 34026 clauses out of 68053 with flag 3636556/2667412
1494.66/755.20	c cleaning 35014 clauses out of 70027 with flag 3866926/2703412
1510.98/763.21	c cleaning 35943 clauses out of 72010 with flag 4090335/2740409
1530.08/772.77	c cleaning 37010 clauses out of 74068 with flag 4324690/2778410
1548.20/781.76	c cleaning 38011 clauses out of 76057 with flag 4569051/2817409
1549.21/782.26	c cleaning 0 clauses out of 12212 with flag 0/12212
1566.35/790.78	c cleaning 39009 clauses out of 78047 with flag 4803640/2857410
1587.10/801.06	c cleaning 40018 clauses out of 80037 with flag 5052438/2898409
1608.38/811.60	c cleaning 40982 clauses out of 82022 with flag 5341637/2940412
1629.68/822.25	c cleaning 42003 clauses out of 84037 with flag 5626837/2983409
1648.40/831.58	c cleaning 42976 clauses out of 86034 with flag 5889811/3027409
1669.06/841.88	c cleaning 43957 clauses out of 88058 with flag 6158118/3072409
1694.36/855.13	c cleaning 45046 clauses out of 90104 with flag 6429204/3118412
1717.81/866.85	c cleaning 46015 clauses out of 92055 with flag 6694770/3165409
1742.44/879.15	c cleaning 46968 clauses out of 94040 with flag 6961779/3213409
1766.69/891.24	c cleaning 48021 clauses out of 96075 with flag 7259942/3262412
1792.05/903.82	c cleaning 49025 clauses out of 98052 with flag 7589366/3312410
1800.05/907.80	c >>>>>>>>>> Solver number 0 (0 answers) <<<<<<<<<<<<<<<<<<
1800.05/907.80	c starts		: 46536
1800.05/907.80	c conflicts		: 3332115
1800.05/907.80	c decisions		: 42402880
1800.05/907.80	c propagations		: 360842096
1800.05/907.80	c inspects		: 10035807114
1800.05/907.80	c shortcuts		: 0
1800.05/907.80	c learnt literals	: 0
1800.05/907.80	c learnt binary clauses	: 21
1800.05/907.80	c learnt ternary clauses	: 1925
1800.05/907.80	c learnt constraints	: 3332115
1800.05/907.80	c ignored constraints	: 0
1800.05/907.80	c root simplifications	: 0
1800.05/907.80	c removed literals (reason simplification)	: 484897978
1800.05/907.80	c reason swapping (by a shorter reason)	: 0
1800.05/907.80	c Calls to reduceDB	: 128
1800.05/907.80	c Number of update (reduction) of LBD	: 1099657
1800.05/907.80	c Imported unit clauses	: 0
1800.05/907.80	c number of reductions to clauses (during analyze)	: 0
1800.05/907.80	c number of learned constraints concerned by reduction	: 0
1800.05/907.80	c number of learning phase by resolution	: 0
1800.05/907.80	c number of learning phase by cutting planes	: 0
1800.05/907.80	c speed (assignments/second)	: 1289675.2098873095
1800.05/907.80	c non guided choices	0
1800.05/907.83	c learnt constraints type 
1800.05/907.83	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 21
1800.05/907.83	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 68711
1800.05/907.83	c >>>>>>>>>> Solver number 1 (29 answers) <<<<<<<<<<<<<<<<<<
1800.05/907.83	c starts		: 65
1800.05/907.83	c conflicts		: 12840
1800.05/907.83	c decisions		: 168249
1800.05/907.83	c propagations		: 2396157
1800.05/907.83	c inspects		: 1067647855
1800.05/907.83	c shortcuts		: 0
1800.05/907.83	c learnt literals	: 0
1800.05/907.83	c learnt binary clauses	: 0
1800.05/907.83	c learnt ternary clauses	: 0
1800.05/907.83	c learnt constraints	: 12840
1800.05/907.83	c ignored constraints	: 0
1800.05/907.83	c root simplifications	: 0
1800.05/907.83	c removed literals (reason simplification)	: 0
1800.05/907.83	c reason swapping (by a shorter reason)	: 0
1800.05/907.83	c Calls to reduceDB	: 2
1800.05/907.83	c Number of update (reduction) of LBD	: 0
1800.05/907.83	c Imported unit clauses	: 0
1800.05/907.83	c number of reductions to clauses (during analyze)	: 0
1800.05/907.83	c number of learned constraints concerned by reduction	: 0
1800.05/907.83	c number of learning phase by resolution	: 0
1800.05/907.83	c number of learning phase by cutting planes	: 0
1800.05/907.83	c speed (assignments/second)	: 2640.742577530913
1800.05/907.83	c non guided choices	126
1800.05/907.83	c learnt constraints type 
1800.05/907.83	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.05/907.83	c org.sat4j.pb.constraints.pb.MaxWatchPb => 12839
1800.05/907.83	s SATISFIABLE
1800.05/907.83	c Found 29 solution(s)
1800.05/907.83	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 
1800.05/907.83	c objective function=-42
1800.05/907.83	c Total wall clock time (in seconds): 907.715

Verifier Data 

OK	-42

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-4081724-1465257267/watcher-4081724-1465257267 -o /tmp/evaluation-result-4081724-1465257267/solver-4081724-1465257267 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465253685-3610 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4081724-1465257267.opb 

pid=4577
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: 4.32 4.37 4.28 3/197 4580
/proc/meminfo: memFree=25880548/32872528 swapFree=16080/1655368
[pid=4580] ppid=4577 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/4580/stat : 4580 (java) R 4577 4580 3593 0 -1 4202496 363 0 0 0 0 0 0 0 20 0 1 0 107660269 278528 34 33554432000 1073741824 1073778376 140734507921408 140737290997800 217401355445 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/4580/statm: 68 34 25 9 0 25 0

[startup+0.10016 s]
/proc/loadavg: 4.32 4.37 4.28 3/197 4580
/proc/meminfo: memFree=25880548/32872528 swapFree=16080/1655368
[pid=4580] ppid=4577 vsize=9558476 CPUtime=0.09 cores=1,3,5,7
/proc/4580/stat : 4580 (java) S 4577 4580 3593 0 -1 4202496 4459 0 1 0 8 1 0 0 20 0 18 0 107660269 9787879424 5584 33554432000 1073741824 1073778376 140734507921408 140734507912544 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4580/statm: 2389619 5584 2126 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476

[startup+0.20033 s]
/proc/loadavg: 4.32 4.37 4.28 3/197 4580
/proc/meminfo: memFree=25880548/32872528 swapFree=16080/1655368
[pid=4580] ppid=4577 vsize=9558476 CPUtime=0.21 cores=1,3,5,7
/proc/4580/stat : 4580 (java) S 4577 4580 3593 0 -1 4202496 4626 0 1 0 20 1 0 0 20 0 18 0 107660269 9787879424 6745 33554432000 1073741824 1073778376 140734507921408 140734507912544 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4580/statm: 2389619 6745 2209 9 0 2380296 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9558476

[startup+0.300352 s]
/proc/loadavg: 4.32 4.37 4.28 3/197 4580
/proc/meminfo: memFree=25880548/32872528 swapFree=16080/1655368
[pid=4580] ppid=4577 vsize=9558476 CPUtime=0.46 cores=1,3,5,7
/proc/4580/stat : 4580 (java) S 4577 4580 3593 0 -1 4202496 6069 0 1 0 44 2 0 0 20 0 18 0 107660269 9787879424 8629 33554432000 1073741824 1073778376 140734507921408 140734507912544 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4580/statm: 2389619 8629 2230 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476

[startup+0.700197 s]
/proc/loadavg: 4.32 4.37 4.28 3/197 4580
/proc/meminfo: memFree=25880548/32872528 swapFree=16080/1655368
[pid=4580] ppid=4577 vsize=9824732 CPUtime=1.83 cores=1,3,5,7
/proc/4580/stat : 4580 (java) S 4577 4580 3593 0 -1 4202496 17085 0 1 0 179 4 0 0 20 0 22 0 107660269 10060525568 20760 33554432000 1073741824 1073778376 140734507921408 140734507912544 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4580/statm: 2456183 20760 2262 9 0 2446860 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 9824732

[startup+1.50076 s]
/proc/loadavg: 4.32 4.37 4.28 2/216 4605
/proc/meminfo: memFree=25795604/32872528 swapFree=16080/1655368
[pid=4580] ppid=4577 vsize=9824732 CPUtime=2.28 cores=1,3,5,7
/proc/4580/stat : 4580 (java) S 4577 4580 3593 0 -1 4202496 17146 0 1 0 218 10 0 0 20 0 19 0 107660269 10060525568 25393 33554432000 1073741824 1073778376 140734507921408 140734507912544 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4580/statm: 2456183 25393 2266 9 0 2446860 0
[pid=4580/tid=4582] ppid=4577 vsize=9824732 CPUtime=0.41 cores=1,3,5,7
/proc/4580/task/4582/stat : 4582 (java) S 4577 4580 3593 0 -1 4202560 2505 0 1 0 39 2 0 0 20 0 19 0 107660270 10060525568 25393 33554432000 1073741824 1073778376 140734507921408 139860313387896 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4580/tid=4583] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4583/stat : 4583 (java) S 4577 4580 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107660271 10060525568 25393 33554432000 1073741824 1073778376 140734507921408 139860157168168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4584] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4584/stat : 4584 (java) S 4577 4580 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107660271 10060525568 25393 33554432000 1073741824 1073778376 140734507921408 139860156115368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4580/tid=4585] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4585/stat : 4585 (java) S 4577 4580 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107660271 10060525568 25393 33554432000 1073741824 1073778376 140734507921408 139860155062568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4580/tid=4586] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4586/stat : 4586 (java) S 4577 4580 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107660271 10060525568 25393 33554432000 1073741824 1073778376 140734507921408 139860154009768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4580/tid=4587] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4587/stat : 4587 (java) S 4577 4580 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107660271 10060525568 25393 33554432000 1073741824 1073778376 140734507921408 139860152957992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4588] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4588/stat : 4588 (java) S 4577 4580 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107660271 10060525568 25393 33554432000 1073741824 1073778376 140734507921408 139860151905192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4580/tid=4589] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4589/stat : 4589 (java) S 4577 4580 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107660271 10060525568 25393 33554432000 1073741824 1073778376 140734507921408 139860150852392 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4590] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4590/stat : 4590 (java) S 4577 4580 3593 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107660271 10060525568 25393 33554432000 1073741824 1073778376 140734507921408 139860149799592 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4591] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4591/stat : 4591 (java) S 4577 4580 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107660272 10060525568 25393 33554432000 1073741824 1073778376 140734507921408 139860137601512 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4580/tid=4592] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4592/stat : 4592 (java) S 4577 4580 3593 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107660273 10060525568 25393 33554432000 1073741824 1073778376 140734507921408 139860136547576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4593] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4593/stat : 4593 (java) S 4577 4580 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107660273 10060525568 25393 33554432000 1073741824 1073778376 140734507921408 139860135494664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4594] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4594/stat : 4594 (java) S 4577 4580 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107660275 10060525568 25393 33554432000 1073741824 1073778376 140734507921408 139860134443152 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4595] ppid=4577 vsize=9824732 CPUtime=0.54 cores=1,3,5,7
/proc/4580/task/4595/stat : 4595 (java) S 4577 4580 3593 0 -1 4202560 5381 0 0 0 54 0 0 0 20 0 19 0 107660275 10060525568 25393 33554432000 1073741824 1073778376 140734507921408 139860133391288 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4596] ppid=4577 vsize=9824732 CPUtime=0.57 cores=1,3,5,7
/proc/4580/task/4596/stat : 4596 (java) S 4577 4580 3593 0 -1 4202560 7908 0 0 0 55 2 0 0 20 0 19 0 107660275 10060525568 25393 33554432000 1073741824 1073778376 140734507921408 139860132338488 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4580/tid=4597] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4597/stat : 4597 (java) S 4577 4580 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107660275 10060525568 25393 33554432000 1073741824 1073778376 140734507921408 139860131285880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4580/tid=4598] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4598/stat : 4598 (java) S 4577 4580 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107660275 10060525568 25393 33554432000 1073741824 1073778376 140734507921408 139860130233288 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4580/tid=4601] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4601/stat : 4601 (java) S 4577 4580 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107660314 10060525568 25393 33554432000 1073741824 1073778376 140734507921408 139860127073192 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.28
Current children cumulated vsize (KiB) 9824732

[startup+3.10082 s]
/proc/loadavg: 4.32 4.37 4.28 2/216 4611
/proc/meminfo: memFree=25776596/32872528 swapFree=16080/1655368
[pid=4580] ppid=4577 vsize=9824732 CPUtime=2.81 cores=1,3,5,7
/proc/4580/stat : 4580 (java) S 4577 4580 3593 0 -1 4202496 19552 0 1 0 265 16 0 0 20 0 19 0 107660269 10060525568 32635 33554432000 1073741824 1073778376 140734507921408 140734507912544 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4580/statm: 2456183 32635 2268 9 0 2446860 0
[pid=4580/tid=4582] ppid=4577 vsize=9824732 CPUtime=0.41 cores=1,3,5,7
/proc/4580/task/4582/stat : 4582 (java) S 4577 4580 3593 0 -1 4202560 2505 0 1 0 39 2 0 0 20 0 19 0 107660270 10060525568 32635 33554432000 1073741824 1073778376 140734507921408 139860313387896 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4580/tid=4583] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4583/stat : 4583 (java) S 4577 4580 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107660271 10060525568 32635 33554432000 1073741824 1073778376 140734507921408 139860157168168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4584] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4584/stat : 4584 (java) S 4577 4580 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107660271 10060525568 32635 33554432000 1073741824 1073778376 140734507921408 139860156115368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4580/tid=4585] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4585/stat : 4585 (java) S 4577 4580 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107660271 10060525568 32635 33554432000 1073741824 1073778376 140734507921408 139860155062568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4580/tid=4586] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4586/stat : 4586 (java) S 4577 4580 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107660271 10060525568 32635 33554432000 1073741824 1073778376 140734507921408 139860154009768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4580/tid=4587] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4587/stat : 4587 (java) S 4577 4580 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107660271 10060525568 32635 33554432000 1073741824 1073778376 140734507921408 139860152957992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4588] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4588/stat : 4588 (java) S 4577 4580 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107660271 10060525568 32635 33554432000 1073741824 1073778376 140734507921408 139860151905192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4580/tid=4589] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4589/stat : 4589 (java) S 4577 4580 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107660271 10060525568 32635 33554432000 1073741824 1073778376 140734507921408 139860150852392 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4590] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4590/stat : 4590 (java) S 4577 4580 3593 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107660271 10060525568 32635 33554432000 1073741824 1073778376 140734507921408 139860149799592 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4591] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4591/stat : 4591 (java) S 4577 4580 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107660272 10060525568 32635 33554432000 1073741824 1073778376 140734507921408 139860137601512 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4580/tid=4592] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4592/stat : 4592 (java) S 4577 4580 3593 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107660273 10060525568 32635 33554432000 1073741824 1073778376 140734507921408 139860136547576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4593] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4593/stat : 4593 (java) S 4577 4580 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107660273 10060525568 32635 33554432000 1073741824 1073778376 140734507921408 139860135494664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4594] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4594/stat : 4594 (java) S 4577 4580 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107660275 10060525568 32635 33554432000 1073741824 1073778376 140734507921408 139860134443152 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4595] ppid=4577 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/4580/task/4595/stat : 4595 (java) S 4577 4580 3593 0 -1 4202560 7718 0 0 0 72 2 0 0 20 0 19 0 107660275 10060525568 32635 33554432000 1073741824 1073778376 140734507921408 139860133391288 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4596] ppid=4577 vsize=9824732 CPUtime=0.74 cores=1,3,5,7
/proc/4580/task/4596/stat : 4596 (java) S 4577 4580 3593 0 -1 4202560 7944 0 0 0 72 2 0 0 20 0 19 0 107660275 10060525568 32635 33554432000 1073741824 1073778376 140734507921408 139860132338488 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4580/tid=4597] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4597/stat : 4597 (java) S 4577 4580 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107660275 10060525568 32635 33554432000 1073741824 1073778376 140734507921408 139860131285880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4580/tid=4598] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4598/stat : 4598 (java) S 4577 4580 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107660275 10060525568 32635 33554432000 1073741824 1073778376 140734507921408 139860130233288 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4580/tid=4601] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4601/stat : 4601 (java) S 4577 4580 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107660314 10060525568 32635 33554432000 1073741824 1073778376 140734507921408 139860127073192 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.81
Current children cumulated vsize (KiB) 9824732

[startup+6.30079 s]
/proc/loadavg: 4.14 4.33 4.26 3/216 4632
/proc/meminfo: memFree=25720880/32872528 swapFree=16080/1655368
[pid=4580] ppid=4577 vsize=9824732 CPUtime=3.24 cores=1,3,5,7
/proc/4580/stat : 4580 (java) S 4577 4580 3593 0 -1 4202496 19672 0 1 0 295 29 0 0 20 0 19 0 107660269 10060525568 41459 33554432000 1073741824 1073778376 140734507921408 140734507912544 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4580/statm: 2456183 41459 2283 9 0 2446860 0
[pid=4580/tid=4582] ppid=4577 vsize=9824732 CPUtime=0.42 cores=1,3,5,7
/proc/4580/task/4582/stat : 4582 (java) S 4577 4580 3593 0 -1 4202560 2507 0 1 0 39 3 0 0 20 0 19 0 107660270 10060525568 41459 33554432000 1073741824 1073778376 140734507921408 139860313387896 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4580/tid=4583] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4583/stat : 4583 (java) S 4577 4580 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107660271 10060525568 41459 33554432000 1073741824 1073778376 140734507921408 139860157168168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4584] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4584/stat : 4584 (java) S 4577 4580 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107660271 10060525568 41459 33554432000 1073741824 1073778376 140734507921408 139860156115368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4580/tid=4585] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4585/stat : 4585 (java) S 4577 4580 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107660271 10060525568 41459 33554432000 1073741824 1073778376 140734507921408 139860155062568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4580/tid=4586] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4586/stat : 4586 (java) S 4577 4580 3593 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107660271 10060525568 41459 33554432000 1073741824 1073778376 140734507921408 139860154009768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4580/tid=4587] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4587/stat : 4587 (java) S 4577 4580 3593 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 107660271 10060525568 41459 33554432000 1073741824 1073778376 140734507921408 139860152957992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4580/tid=4588] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4588/stat : 4588 (java) S 4577 4580 3593 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107660271 10060525568 41459 33554432000 1073741824 1073778376 140734507921408 139860151905192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4580/tid=4589] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4589/stat : 4589 (java) S 4577 4580 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107660271 10060525568 41459 33554432000 1073741824 1073778376 140734507921408 139860150852392 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4590] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4590/stat : 4590 (java) S 4577 4580 3593 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107660271 10060525568 41459 33554432000 1073741824 1073778376 140734507921408 139860149799592 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4591] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4591/stat : 4591 (java) S 4577 4580 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107660272 10060525568 41459 33554432000 1073741824 1073778376 140734507921408 139860137601512 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4580/tid=4592] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4592/stat : 4592 (java) S 4577 4580 3593 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107660273 10060525568 41459 33554432000 1073741824 1073778376 140734507921408 139860136547576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4593] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4593/stat : 4593 (java) S 4577 4580 3593 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 107660273 10060525568 41459 33554432000 1073741824 1073778376 140734507921408 139860135494664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4594] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4594/stat : 4594 (java) S 4577 4580 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107660275 10060525568 41459 33554432000 1073741824 1073778376 140734507921408 139860134443152 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4595] ppid=4577 vsize=9824732 CPUtime=0.75 cores=1,3,5,7
/proc/4580/task/4595/stat : 4595 (java) S 4577 4580 3593 0 -1 4202560 7720 0 0 0 73 2 0 0 20 0 19 0 107660275 10060525568 41459 33554432000 1073741824 1073778376 140734507921408 139860133391288 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4596] ppid=4577 vsize=9824732 CPUtime=0.84 cores=1,3,5,7
/proc/4580/task/4596/stat : 4596 (java) S 4577 4580 3593 0 -1 4202560 7954 0 0 0 82 2 0 0 20 0 19 0 107660275 10060525568 41459 33554432000 1073741824 1073778376 140734507921408 139860132338488 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4580/tid=4597] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4597/stat : 4597 (java) S 4577 4580 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107660275 10060525568 41459 33554432000 1073741824 1073778376 140734507921408 139860131285880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4580/tid=4598] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4598/stat : 4598 (java) S 4577 4580 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107660275 10060525568 41459 33554432000 1073741824 1073778376 140734507921408 139860130233288 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4580/tid=4601] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4601/stat : 4601 (java) S 4577 4580 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107660314 10060525568 41459 33554432000 1073741824 1073778376 140734507921408 139860127073192 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.24
Current children cumulated vsize (KiB) 9824732
heavy processes:

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

[pid=4580/tid=4590] ppid=4577 vsize=9824732 CPUtime=2.17 cores=1,3,5,7
/proc/4580/task/4590/stat : 4590 (java) S 4577 4580 3593 0 -1 4202560 677 0 0 0 198 19 0 0 20 0 22 0 107660271 10060525568 875406 33554432000 1073741824 1073778376 140734507921408 139860149799592 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4580/tid=4591] ppid=4577 vsize=9824732 CPUtime=2.02 cores=1,3,5,7
/proc/4580/task/4591/stat : 4591 (java) S 4577 4580 3593 0 -1 4202560 2161 0 0 0 192 10 0 0 20 0 22 0 107660272 10060525568 875406 33554432000 1073741824 1073778376 140734507921408 139860137601512 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4592] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4592/stat : 4592 (java) S 4577 4580 3593 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107660273 10060525568 875406 33554432000 1073741824 1073778376 140734507921408 139860136547576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4580/tid=4593] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4593/stat : 4593 (java) S 4577 4580 3593 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 107660273 10060525568 875406 33554432000 1073741824 1073778376 140734507921408 139860135494664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4580/tid=4594] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4594/stat : 4594 (java) S 4577 4580 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107660275 10060525568 875406 33554432000 1073741824 1073778376 140734507921408 139860134443152 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4595] ppid=4577 vsize=9824732 CPUtime=2.32 cores=1,3,5,7
/proc/4580/task/4595/stat : 4595 (java) S 4577 4580 3593 0 -1 4202560 20462 0 0 0 228 4 0 0 20 0 22 0 107660275 10060525568 875406 33554432000 1073741824 1073778376 140734507921408 139860133391288 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4580/tid=4596] ppid=4577 vsize=9824732 CPUtime=1.69 cores=1,3,5,7
/proc/4580/task/4596/stat : 4596 (java) S 4577 4580 3593 0 -1 4202560 13472 0 0 0 166 3 0 0 20 0 22 0 107660275 10060525568 875406 33554432000 1073741824 1073778376 140734507921408 139860132338488 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4580/tid=4597] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4597/stat : 4597 (java) S 4577 4580 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107660275 10060525568 875406 33554432000 1073741824 1073778376 140734507921408 139860131285880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4580/tid=4598] ppid=4577 vsize=9824732 CPUtime=0.34 cores=1,3,5,7
/proc/4580/task/4598/stat : 4598 (java) S 4577 4580 3593 0 -1 4202560 48 0 0 0 13 21 0 0 20 0 22 0 107660275 10060525568 875406 33554432000 1073741824 1073778376 140734507921408 139860130233288 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4601] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4601/stat : 4601 (java) S 4577 4580 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107660314 10060525568 875406 33554432000 1073741824 1073778376 140734507921408 139860127073192 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4580/tid=4818] ppid=4577 vsize=9824732 CPUtime=192.63 cores=1,3,5,7
/proc/4580/task/4818/stat : 4818 (java) R 4577 4580 3593 0 -1 4202560 7 0 0 0 19261 2 0 0 20 0 22 0 107723070 10060525568 875406 33554432000 1073741824 1073778376 140734507921408 139860128116784 139860186024160 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4819] ppid=4577 vsize=9824732 CPUtime=192.56 cores=1,3,5,7
/proc/4580/task/4819/stat : 4819 (java) R 4577 4580 3593 0 -1 4202560 21 0 0 0 19254 2 0 0 20 0 22 0 107723070 10060525568 875406 33554432000 1073741824 1073778376 140734507921408 139860126019008 139860186439820 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=4580/tid=4820] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4820/stat : 4820 (java) S 4577 4580 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107723070 10060525568 875406 33554432000 1073741824 1073778376 140734507921408 139860129178536 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1627.16
Current children cumulated vsize (KiB) 9824732

[startup+882.308 s]
/proc/loadavg: 4.24 4.24 4.25 5/219 4825
/proc/meminfo: memFree=24576176/32872528 swapFree=16080/1655368
[pid=4580] ppid=4577 vsize=9824732 CPUtime=1746.13 cores=1,3,5,7
/proc/4580/stat : 4580 (java) S 4577 4580 3593 0 -1 4202496 48002 0 1 0 174331 282 0 0 20 0 22 0 107660269 10060525568 861562 33554432000 1073741824 1073778376 140734507921408 140734507912544 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4580/statm: 2456183 861562 2302 9 0 2446860 0
[pid=4580/tid=4582] ppid=4577 vsize=9824732 CPUtime=0.47 cores=1,3,5,7
/proc/4580/task/4582/stat : 4582 (java) S 4577 4580 3593 0 -1 4202560 2518 0 1 0 42 5 0 0 20 0 22 0 107660270 10060525568 861562 33554432000 1073741824 1073778376 140734507921408 139860313387896 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4583] ppid=4577 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/4580/task/4583/stat : 4583 (java) S 4577 4580 3593 0 -1 4202560 907 0 0 0 208 16 0 0 20 0 22 0 107660271 10060525568 861562 33554432000 1073741824 1073778376 140734507921408 139860157168168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4584] ppid=4577 vsize=9824732 CPUtime=2.18 cores=1,3,5,7
/proc/4580/task/4584/stat : 4584 (java) S 4577 4580 3593 0 -1 4202560 712 0 0 0 204 14 0 0 20 0 22 0 107660271 10060525568 861562 33554432000 1073741824 1073778376 140734507921408 139860156115368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4580/tid=4585] ppid=4577 vsize=9824732 CPUtime=2.27 cores=1,3,5,7
/proc/4580/task/4585/stat : 4585 (java) S 4577 4580 3593 0 -1 4202560 549 0 0 0 210 17 0 0 20 0 22 0 107660271 10060525568 861562 33554432000 1073741824 1073778376 140734507921408 139860155062568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4586] ppid=4577 vsize=9824732 CPUtime=2.37 cores=1,3,5,7
/proc/4580/task/4586/stat : 4586 (java) S 4577 4580 3593 0 -1 4202560 780 0 0 0 221 16 0 0 20 0 22 0 107660271 10060525568 861562 33554432000 1073741824 1073778376 140734507921408 139860154009768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4580/tid=4587] ppid=4577 vsize=9824732 CPUtime=2.33 cores=1,3,5,7
/proc/4580/task/4587/stat : 4587 (java) S 4577 4580 3593 0 -1 4202560 975 0 0 0 215 18 0 0 20 0 22 0 107660271 10060525568 861562 33554432000 1073741824 1073778376 140734507921408 139860152957992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4580/tid=4588] ppid=4577 vsize=9824732 CPUtime=2.31 cores=1,3,5,7
/proc/4580/task/4588/stat : 4588 (java) S 4577 4580 3593 0 -1 4202560 729 0 0 0 213 18 0 0 20 0 22 0 107660271 10060525568 861562 33554432000 1073741824 1073778376 140734507921408 139860151905192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4580/tid=4589] ppid=4577 vsize=9824732 CPUtime=2.09 cores=1,3,5,7
/proc/4580/task/4589/stat : 4589 (java) S 4577 4580 3593 0 -1 4202560 595 0 0 0 195 14 0 0 20 0 22 0 107660271 10060525568 861562 33554432000 1073741824 1073778376 140734507921408 139860150852392 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4580/tid=4590] ppid=4577 vsize=9824732 CPUtime=2.31 cores=1,3,5,7
/proc/4580/task/4590/stat : 4590 (java) S 4577 4580 3593 0 -1 4202560 682 0 0 0 211 20 0 0 20 0 22 0 107660271 10060525568 861562 33554432000 1073741824 1073778376 140734507921408 139860149799592 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4591] ppid=4577 vsize=9824732 CPUtime=3.43 cores=1,3,5,7
/proc/4580/task/4591/stat : 4591 (java) S 4577 4580 3593 0 -1 4202560 2318 0 0 0 332 11 0 0 20 0 22 0 107660272 10060525568 861562 33554432000 1073741824 1073778376 140734507921408 139860137601512 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4580/tid=4592] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4592/stat : 4592 (java) S 4577 4580 3593 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107660273 10060525568 861562 33554432000 1073741824 1073778376 140734507921408 139860136547576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4580/tid=4593] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4593/stat : 4593 (java) S 4577 4580 3593 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 107660273 10060525568 861562 33554432000 1073741824 1073778376 140734507921408 139860135494664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4580/tid=4594] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4594/stat : 4594 (java) S 4577 4580 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107660275 10060525568 861562 33554432000 1073741824 1073778376 140734507921408 139860134443152 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4595] ppid=4577 vsize=9824732 CPUtime=2.32 cores=1,3,5,7
/proc/4580/task/4595/stat : 4595 (java) S 4577 4580 3593 0 -1 4202560 20462 0 0 0 228 4 0 0 20 0 22 0 107660275 10060525568 861562 33554432000 1073741824 1073778376 140734507921408 139860133391288 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4580/tid=4596] ppid=4577 vsize=9824732 CPUtime=1.69 cores=1,3,5,7
/proc/4580/task/4596/stat : 4596 (java) S 4577 4580 3593 0 -1 4202560 13472 0 0 0 166 3 0 0 20 0 22 0 107660275 10060525568 861562 33554432000 1073741824 1073778376 140734507921408 139860132338488 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4580/tid=4597] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4597/stat : 4597 (java) S 4577 4580 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107660275 10060525568 861562 33554432000 1073741824 1073778376 140734507921408 139860131285880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4580/tid=4598] ppid=4577 vsize=9824732 CPUtime=0.37 cores=1,3,5,7
/proc/4580/task/4598/stat : 4598 (java) S 4577 4580 3593 0 -1 4202560 52 0 0 0 14 23 0 0 20 0 22 0 107660275 10060525568 861562 33554432000 1073741824 1073778376 140734507921408 139860130233288 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4580/tid=4601] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4601/stat : 4601 (java) S 4577 4580 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107660314 10060525568 861562 33554432000 1073741824 1073778376 140734507921408 139860127073192 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4580/tid=4818] ppid=4577 vsize=9824732 CPUtime=250.79 cores=1,3,5,7
/proc/4580/task/4818/stat : 4818 (java) R 4577 4580 3593 0 -1 4202560 10 0 0 0 25076 3 0 0 20 0 22 0 107723070 10060525568 861562 33554432000 1073741824 1073778376 140734507921408 139860128116784 139860186400704 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4580/tid=4819] ppid=4577 vsize=9824732 CPUtime=250.73 cores=1,3,5,7
/proc/4580/task/4819/stat : 4819 (java) R 4577 4580 3593 0 -1 4202560 26 0 0 0 25070 3 0 0 20 0 22 0 107723070 10060525568 861562 33554432000 1073741824 1073778376 140734507921408 139860126018160 139860186371187 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4820] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4820/stat : 4820 (java) S 4577 4580 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107723070 10060525568 861562 33554432000 1073741824 1073778376 140734507921408 139860129178536 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1746.13
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+907.801 s]
/proc/loadavg: 4.70 4.34 4.29 4/215 4890
/proc/meminfo: memFree=26577504/32872528 swapFree=16080/1655368
[pid=4580] ppid=4577 vsize=9824732 CPUtime=1797.33 cores=1,3,5,7
/proc/4580/stat : 4580 (java) S 4577 4580 3593 0 -1 4202496 48007 0 1 0 179450 283 0 0 20 0 22 0 107660269 10060525568 821901 33554432000 1073741824 1073778376 140734507921408 140734507912544 217413877821 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/4580/statm: 2456183 821901 2302 9 0 2446860 0
[pid=4580/tid=4582] ppid=4577 vsize=9824732 CPUtime=0.48 cores=1,3,5,7
/proc/4580/task/4582/stat : 4582 (java) S 4577 4580 3593 0 -1 4202560 2519 0 1 0 42 6 0 0 20 0 22 0 107660270 10060525568 821901 33554432000 1073741824 1073778376 140734507921408 139860313387896 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4583] ppid=4577 vsize=9824732 CPUtime=2.29 cores=1,3,5,7
/proc/4580/task/4583/stat : 4583 (java) S 4577 4580 3593 0 -1 4202560 907 0 0 0 213 16 0 0 20 0 22 0 107660271 10060525568 821901 33554432000 1073741824 1073778376 140734507921408 139860157168168 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4580/tid=4584] ppid=4577 vsize=9824732 CPUtime=2.24 cores=1,3,5,7
/proc/4580/task/4584/stat : 4584 (java) S 4577 4580 3593 0 -1 4202560 712 0 0 0 210 14 0 0 20 0 22 0 107660271 10060525568 821901 33554432000 1073741824 1073778376 140734507921408 139860156115368 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4580/tid=4585] ppid=4577 vsize=9824732 CPUtime=2.34 cores=1,3,5,7
/proc/4580/task/4585/stat : 4585 (java) S 4577 4580 3593 0 -1 4202560 549 0 0 0 217 17 0 0 20 0 22 0 107660271 10060525568 821901 33554432000 1073741824 1073778376 140734507921408 139860155062568 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4580/tid=4586] ppid=4577 vsize=9824732 CPUtime=2.41 cores=1,3,5,7
/proc/4580/task/4586/stat : 4586 (java) S 4577 4580 3593 0 -1 4202560 780 0 0 0 225 16 0 0 20 0 22 0 107660271 10060525568 821901 33554432000 1073741824 1073778376 140734507921408 139860154009768 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4580/tid=4587] ppid=4577 vsize=9824732 CPUtime=2.36 cores=1,3,5,7
/proc/4580/task/4587/stat : 4587 (java) S 4577 4580 3593 0 -1 4202560 975 0 0 0 218 18 0 0 20 0 22 0 107660271 10060525568 821901 33554432000 1073741824 1073778376 140734507921408 139860152957992 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4580/tid=4588] ppid=4577 vsize=9824732 CPUtime=2.4 cores=1,3,5,7
/proc/4580/task/4588/stat : 4588 (java) S 4577 4580 3593 0 -1 4202560 729 0 0 0 222 18 0 0 20 0 22 0 107660271 10060525568 821901 33554432000 1073741824 1073778376 140734507921408 139860151905192 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4580/tid=4589] ppid=4577 vsize=9824732 CPUtime=2.14 cores=1,3,5,7
/proc/4580/task/4589/stat : 4589 (java) S 4577 4580 3593 0 -1 4202560 595 0 0 0 200 14 0 0 20 0 22 0 107660271 10060525568 821901 33554432000 1073741824 1073778376 140734507921408 139860150852392 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4580/tid=4590] ppid=4577 vsize=9824732 CPUtime=2.37 cores=1,3,5,7
/proc/4580/task/4590/stat : 4590 (java) S 4577 4580 3593 0 -1 4202560 682 0 0 0 217 20 0 0 20 0 22 0 107660271 10060525568 821901 33554432000 1073741824 1073778376 140734507921408 139860149799592 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4591] ppid=4577 vsize=9824732 CPUtime=3.43 cores=1,3,5,7
/proc/4580/task/4591/stat : 4591 (java) S 4577 4580 3593 0 -1 4202560 2318 0 0 0 332 11 0 0 20 0 22 0 107660272 10060525568 821901 33554432000 1073741824 1073778376 140734507921408 139860137601512 217413892009 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4580/tid=4592] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4592/stat : 4592 (java) S 4577 4580 3593 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107660273 10060525568 821901 33554432000 1073741824 1073778376 140734507921408 139860136547576 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4580/tid=4593] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4593/stat : 4593 (java) S 4577 4580 3593 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 107660273 10060525568 821901 33554432000 1073741824 1073778376 140734507921408 139860135494664 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4580/tid=4594] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4594/stat : 4594 (java) S 4577 4580 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107660275 10060525568 821901 33554432000 1073741824 1073778376 140734507921408 139860134443152 217413900064 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4595] ppid=4577 vsize=9824732 CPUtime=2.32 cores=1,3,5,7
/proc/4580/task/4595/stat : 4595 (java) S 4577 4580 3593 0 -1 4202560 20462 0 0 0 228 4 0 0 20 0 22 0 107660275 10060525568 821901 33554432000 1073741824 1073778376 140734507921408 139860133391288 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4580/tid=4596] ppid=4577 vsize=9824732 CPUtime=1.69 cores=1,3,5,7
/proc/4580/task/4596/stat : 4596 (java) S 4577 4580 3593 0 -1 4202560 13472 0 0 0 166 3 0 0 20 0 22 0 107660275 10060525568 821901 33554432000 1073741824 1073778376 140734507921408 139860132338488 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4580/tid=4597] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4597/stat : 4597 (java) S 4577 4580 3593 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107660275 10060525568 821901 33554432000 1073741824 1073778376 140734507921408 139860131285880 217413891132 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=4580/tid=4598] ppid=4577 vsize=9824732 CPUtime=0.38 cores=1,3,5,7
/proc/4580/task/4598/stat : 4598 (java) S 4577 4580 3593 0 -1 4202560 54 0 0 0 15 23 0 0 20 0 22 0 107660275 10060525568 821901 33554432000 1073741824 1073778376 140734507921408 139860130233288 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=4580/tid=4601] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4601/stat : 4601 (java) S 4577 4580 3593 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107660314 10060525568 821901 33554432000 1073741824 1073778376 140734507921408 139860127073192 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=4580/tid=4818] ppid=4577 vsize=9824732 CPUtime=276.09 cores=1,3,5,7
/proc/4580/task/4818/stat : 4818 (java) R 4577 4580 3593 0 -1 4202560 11 0 0 0 27605 4 0 0 20 0 22 0 107723070 10060525568 821901 33554432000 1073741824 1073778376 140734507921408 139860128116784 139860186411900 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=4580/tid=4819] ppid=4577 vsize=9824732 CPUtime=276.03 cores=1,3,5,7
/proc/4580/task/4819/stat : 4819 (java) R 4577 4580 3593 0 -1 4202560 27 0 0 0 27599 4 0 0 20 0 22 0 107723070 10060525568 821901 33554432000 1073741824 1073778376 140734507921408 139860126018752 139860186439807 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=4580/tid=4820] ppid=4577 vsize=9824732 CPUtime=0 cores=1,3,5,7
/proc/4580/task/4820/stat : 4820 (java) S 4577 4580 3593 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107723070 10060525568 821901 33554432000 1073741824 1073778376 140734507921408 139860129178536 217413892009 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1797.33
Current children cumulated vsize (KiB) 9824732

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 4580 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 4580 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=139401
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=189515
# CPU time returned by wait4() is 1796.33
# while last known CPU time is 1797.33
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...


# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 2.72009
#  lost CPU user time (s): 2.91003
#  lost CPU system time (s): -0.19

Real time (s): 907.861
CPU time (s): 1800.05
CPU user time (s): 1797.41
CPU system time (s): 2.64
CPU usage (%): 198.274
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.14
system time used= 3.18952
maximum resident set size= 3535004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48046
page faults= 1
swaps= 0
block input operations= 0
block output operations= 976
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25842
involuntary context switches= 34770

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.83496 second user time and 6.53101 second system time

The end

Launcher Data 

Begin job on node122 at 2016-06-07 01:54:27
IDJOB=4081724
IDBENCH=48240
IDSOLVER=2543
FILE ID=node122/4081724-1465257267
RUNJOBID= node122-1465253685-3610
PBS_JOBID= 19843267
Free space on /tmp= 71744 MiB

SOLVER NAME= Sat4j PB 2.3.6 Res+CP PB16
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/bsg/normalized-bsg_200_10_4.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081724-1465257267/watcher-4081724-1465257267 -o /tmp/evaluation-result-4081724-1465257267/solver-4081724-1465257267 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node122-1465253685-3610 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081724-1465257267.opb

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

MD5SUM BENCH= 169f1f6799c5c0fd2a1b0aca08165f42
RANDOM SEED=1050125358

node122.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.898
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.79
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.898
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.898
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.54
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.898
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.898
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.898
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.898
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.898
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:        25881180 kB
Buffers:           68292 kB
Cached:            97108 kB
SwapCached:          856 kB
Active:          4507972 kB
Inactive:         104236 kB
Active(anon):    4447732 kB
Inactive(anon):     1584 kB
Active(file):      60240 kB
Inactive(file):   102652 kB
Unevictable:     1655368 kB
Mlocked:           16080 kB
SwapTotal:      67108856 kB
SwapFree:       67099468 kB
Dirty:               860 kB
Writeback:             0 kB
AnonPages:       6003460 kB
Mapped:            15440 kB
Shmem:                 0 kB
Slab:             568696 kB
SReclaimable:      12860 kB
SUnreclaim:       555836 kB
KernelStack:        1808 kB
PageTables:        16280 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    6377340 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   5906432 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= 71740 MiB
End job on node122 at 2016-06-07 02:09:35