Trace number 4081723

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)-43 1800.08 907.575

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/bsg/normalized-bsg_200_10_1.opb
MD5SUM74165f17686851db36d48a05683565a5
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.01
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -58
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)4964
Sum of products size (including duplicates)9928
Number of different products2482
Sum of products size4964

Quality of the solution as a function of time


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

Solver Data 

0.00/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2013 Artois University and CNRS
0.00/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.09	c See www.sat4j.org for details.
0.00/0.09	c version PB16.v20160501
0.00/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.09	c java.vm.version	19.1-b02
0.00/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.09	c sun.arch.data.model	64
0.00/0.09	c java.version		1.6.0_24
0.00/0.09	c os.name		Linux
0.00/0.09	c os.version		2.6.32-71.29.1.el6.x86_64
0.00/0.09	c os.arch		amd64
0.00/0.09	c Free memory 		501472288
0.00/0.09	c Max memory 		7480803328
0.00/0.09	c Total memory 		504102912
0.00/0.09	c Number of processors 	8
0.10/0.12	c Pseudo Boolean Optimization by upper bound
0.10/0.12	c ManyCore solver with 2 solvers running in parallel
0.10/0.12	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@16fd0b7
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.12	c Expensive reason simplification
0.10/0.12	c Glucose 2.1 dynamic restart strategy
0.10/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.10/0.12	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.10/0.12	c --- Begin Solver configuration ---
0.10/0.12	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@75786e64
0.10/0.12	c Learn all clauses as in MiniSAT
0.10/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.10/0.12	c No reason simplification
0.10/0.12	c Armin Biere (Picosat) restarts strategy
0.10/0.12	c Glucose 2 learned constraints deletion strategy (LBD updated on propagation) with timer check every 1000 if the learned constraints reach increasing bounds: 5000 step 1000
0.10/0.12	c timeout=2147483s
0.10/0.12	c DB Simplification allowed=false
0.10/0.12	c Listener: org.sat4j.pb.tools.ManyCorePB@4413ee
0.10/0.12	c --- End Solver configuration ---
0.10/0.12	c solving HOME/instance-4081723-1465258300.opb
0.10/0.12	c reading problem ... 
0.10/0.13	c  objective function found
0.68/0.45	c ... done. Wall clock time 0.329s.
0.68/0.45	c declared #vars     400
0.68/0.45	c internal #vars     2882
0.68/0.45	c #constraints  5566
0.68/0.46	c >>>>>>>>>> Solver number 0 <<<<<<<<<<<<<<<<<<
0.68/0.46	c constraints type 
0.68/0.46	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 2482
0.68/0.46	c org.sat4j.minisat.constraints.card.MinWatchCard => 402
0.68/0.46	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
0.68/0.46	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 2482
0.68/0.46	c 5566 constraints processed.
0.68/0.46	c >>>>>>>>>> Solver number 1 <<<<<<<<<<<<<<<<<<
0.68/0.46	c constraints type 
0.68/0.46	c org.sat4j.pb.constraints.pb.OriginalBinaryClausePB => 200
0.68/0.46	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 2482
0.68/0.46	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 402
0.68/0.46	c org.sat4j.pb.constraints.pb.MaxWatchPb => 2482
0.68/0.46	c 5566 constraints processed.
0.68/0.46	c objective function length is 200 literals
1.82/0.74	c And the winner is solver1
2.01/0.96	c SATISFIABLE
2.01/0.96	c OPTIMIZING...
2.01/0.96	c Got one! Elapsed wall clock time (in seconds):0.835
2.01/0.96	o -13
2.14/1.00	c And the winner is solver1
2.16/1.46	c Got one! Elapsed wall clock time (in seconds):1.337
2.16/1.46	o -14
2.30/1.50	c And the winner is solver1
2.51/1.96	c Got one! Elapsed wall clock time (in seconds):1.838
2.51/1.96	o -15
2.51/1.98	c And the winner is solver1
2.59/2.46	c Got one! Elapsed wall clock time (in seconds):2.339
2.59/2.46	o -17
2.59/2.49	c And the winner is solver1
2.70/2.96	c Got one! Elapsed wall clock time (in seconds):2.84
2.70/2.96	o -18
2.70/2.99	c And the winner is solver1
2.79/3.47	c Got one! Elapsed wall clock time (in seconds):3.342
2.79/3.47	o -19
2.88/3.50	c And the winner is solver1
2.97/3.97	c Got one! Elapsed wall clock time (in seconds):3.843
2.97/3.97	o -20
2.97/3.98	c And the winner is solver1
3.03/4.47	c Got one! Elapsed wall clock time (in seconds):4.344
3.03/4.47	o -21
3.03/4.49	c And the winner is solver1
3.10/4.97	c Got one! Elapsed wall clock time (in seconds):4.845
3.10/4.97	o -22
3.16/5.00	c And the winner is solver1
3.19/5.47	c Got one! Elapsed wall clock time (in seconds):5.346
3.19/5.47	o -23
3.27/5.54	c And the winner is solver1
3.54/5.97	c Got one! Elapsed wall clock time (in seconds):5.847
3.54/5.97	o -24
3.63/6.00	c And the winner is solver1
3.69/6.47	c Got one! Elapsed wall clock time (in seconds):6.348
3.69/6.47	o -25
3.74/6.51	c And the winner is solver1
3.77/6.97	c Got one! Elapsed wall clock time (in seconds):6.849
3.77/6.97	o -26
3.77/6.99	c And the winner is solver1
3.82/7.47	c Got one! Elapsed wall clock time (in seconds):7.349
3.82/7.47	o -27
3.88/7.55	c And the winner is solver1
4.00/7.97	c Got one! Elapsed wall clock time (in seconds):7.85
4.00/7.97	o -28
4.05/8.00	c And the winner is solver1
4.07/8.48	c Got one! Elapsed wall clock time (in seconds):8.351
4.07/8.48	o -29
4.12/8.51	c And the winner is solver1
4.16/8.98	c Got one! Elapsed wall clock time (in seconds):8.852
4.16/8.98	o -30
4.20/9.07	c And the winner is solver1
4.36/9.48	c Got one! Elapsed wall clock time (in seconds):9.353
4.36/9.48	o -31
4.66/9.60	c And the winner is solver1
4.69/9.98	c Got one! Elapsed wall clock time (in seconds):9.853
4.69/9.98	o -32
4.74/10.01	c And the winner is solver0
4.78/10.48	c Got one! Elapsed wall clock time (in seconds):10.355
4.78/10.48	o -36
6.57/11.36	c And the winner is solver1
6.74/11.48	c Got one! Elapsed wall clock time (in seconds):11.355
6.74/11.48	o -37
6.97/11.64	c And the winner is solver1
7.06/11.98	c Got one! Elapsed wall clock time (in seconds):11.856
7.06/11.98	o -38
7.98/12.45	c cleaning 4707 clauses out of 9414 with flag 11308/9414
10.54/13.64	c cleaning 5333 clauses out of 10703 with flag 44953/15410
12.95/14.62	c And the winner is solver1
13.00/14.98	c Got one! Elapsed wall clock time (in seconds):14.858
13.00/14.98	o -39
15.28/16.12	c cleaning 8032 clauses out of 16063 with flag 30531/26103
17.73/17.35	c cleaning 7013 clauses out of 14031 with flag 72349/32103
18.94/17.96	c And the winner is solver1
18.94/17.98	c Got one! Elapsed wall clock time (in seconds):17.86
18.94/17.98	o -40
19.95/18.41	c cleaning 6189 clauses out of 12378 with flag 12879/37463
21.95/19.44	c cleaning 6084 clauses out of 12195 with flag 55876/43469
24.58/20.74	c cleaning 6552 clauses out of 13105 with flag 97446/50463
27.59/22.28	c cleaning 7236 clauses out of 14553 with flag 146844/58463
28.59/22.74	c And the winner is solver1
28.66/22.99	c Got one! Elapsed wall clock time (in seconds):22.861
28.66/22.99	o -41
29.75/23.54	c cleaning 6579 clauses out of 13168 with flag 19834/64314
31.95/24.60	c cleaning 6251 clauses out of 12588 with flag 64831/70313
34.54/25.95	c cleaning 6629 clauses out of 13336 with flag 121108/77312
37.60/27.44	c cleaning 7316 clauses out of 14710 with flag 183749/85315
41.32/29.26	c cleaning 8184 clauses out of 16401 with flag 242061/94322
45.13/31.12	c cleaning 9077 clauses out of 18210 with flag 303979/104315
49.80/33.47	c cleaning 10029 clauses out of 20134 with flag 370026/115316
55.20/36.10	c cleaning 11047 clauses out of 22102 with flag 448450/127313
61.08/39.05	c cleaning 12029 clauses out of 24069 with flag 533076/140327
67.28/42.18	c cleaning 13007 clauses out of 26025 with flag 622054/154312
75.11/46.09	c cleaning 14013 clauses out of 28025 with flag 720262/169319
83.59/50.22	c cleaning 15003 clauses out of 30007 with flag 812825/185314
91.99/54.44	c cleaning 16008 clauses out of 32018 with flag 910885/202328
102.09/59.46	c cleaning 16976 clauses out of 33994 with flag 1012353/220312
111.94/64.34	c cleaning 17997 clauses out of 36018 with flag 1124885/239312
123.80/70.23	c cleaning 19014 clauses out of 38029 with flag 1230689/259320
133.40/75.02	c cleaning 20004 clauses out of 40009 with flag 1343552/280314
144.47/80.56	c cleaning 21002 clauses out of 42004 with flag 1463662/302313
156.93/86.76	c cleaning 21994 clauses out of 44001 with flag 1594426/325312
170.00/93.20	c cleaning 22999 clauses out of 46008 with flag 1725747/349313
185.72/101.08	c cleaning 23958 clauses out of 48010 with flag 1866946/374314
200.38/108.34	c cleaning 25033 clauses out of 50068 with flag 2000674/400330
217.26/116.71	c cleaning 25966 clauses out of 52022 with flag 2148376/427317
234.63/125.60	c cleaning 27036 clauses out of 54071 with flag 2306441/455332
251.89/134.21	c cleaning 27964 clauses out of 56017 with flag 2470413/484314
268.53/142.54	c cleaning 28991 clauses out of 58052 with flag 2635016/514313
286.98/151.78	c cleaning 29978 clauses out of 60061 with flag 2814354/545313
305.49/160.95	c cleaning 30989 clauses out of 62082 with flag 2984793/577312
324.82/170.56	c cleaning 32028 clauses out of 64098 with flag 3187443/610317
343.46/179.83	c cleaning 32991 clauses out of 66066 with flag 3366644/644313
365.76/190.97	c cleaning 34038 clauses out of 68076 with flag 3535726/679314
386.24/201.16	c cleaning 34994 clauses out of 70037 with flag 3720841/715313
409.73/212.80	c cleaning 36003 clauses out of 72046 with flag 3943040/752316
430.44/223.43	c cleaning 37020 clauses out of 74039 with flag 4147311/790312
440.27/228.34	c cleaning 0 clauses out of 7032 with flag 0/7032
451.36/233.73	c cleaning 37993 clauses out of 76025 with flag 4370385/829318
475.06/245.56	c cleaning 39009 clauses out of 78027 with flag 4568484/869313
498.49/257.28	c cleaning 40004 clauses out of 80018 with flag 4757104/910313
523.82/269.87	c cleaning 41002 clauses out of 82014 with flag 4928972/952313
548.12/281.93	c cleaning 42007 clauses out of 84015 with flag 5098940/995316
571.06/293.35	c And the winner is solver1
571.06/293.83	c Got one! Elapsed wall clock time (in seconds):293.707
571.06/293.83	o -42
577.41/297.08	c cleaning 45240 clauses out of 90487 with flag 29571/1043795
580.20/298.48	c cleaning 25625 clauses out of 51249 with flag 65368/1049797
583.05/299.86	c cleaning 16304 clauses out of 32622 with flag 114160/1056795
586.05/301.31	c cleaning 12143 clauses out of 24320 with flag 170085/1064797
589.05/302.81	c cleaning 10592 clauses out of 21183 with flag 223915/1073803
592.45/304.53	c cleaning 10248 clauses out of 20595 with flag 291626/1083807
596.91/306.79	c cleaning 10658 clauses out of 21335 with flag 362118/1094795
602.12/309.30	c cleaning 11271 clauses out of 22677 with flag 436266/1106795
607.97/312.23	c cleaning 12203 clauses out of 24406 with flag 504113/1119795
613.97/315.20	c cleaning 13102 clauses out of 26203 with flag 589817/1133795
620.97/318.72	c cleaning 14051 clauses out of 28101 with flag 671668/1148795
628.01/322.23	c cleaning 14996 clauses out of 30050 with flag 769138/1164795
636.06/326.24	c cleaning 16015 clauses out of 32055 with flag 871595/1181796
644.26/330.32	c cleaning 17024 clauses out of 34047 with flag 987125/1199803
652.50/334.49	c cleaning 17968 clauses out of 36016 with flag 1113967/1218796
661.55/338.94	c cleaning 19007 clauses out of 38047 with flag 1240456/1238795
671.54/343.90	c cleaning 20007 clauses out of 40040 with flag 1370185/1259795
684.02/350.17	c cleaning 21022 clauses out of 42044 with flag 1516828/1281806
694.90/355.51	c cleaning 21944 clauses out of 44011 with flag 1655227/1304795
707.57/361.87	c cleaning 23022 clauses out of 46074 with flag 1805977/1328802
720.26/368.14	c cleaning 24025 clauses out of 48051 with flag 1971769/1353801
733.33/374.61	c cleaning 24986 clauses out of 50031 with flag 2140377/1379806
747.93/381.95	c cleaning 25982 clauses out of 52034 with flag 2299341/1406795
753.35/384.64	c And the winner is solver1
753.35/384.86	c Got one! Elapsed wall clock time (in seconds):384.732
753.35/384.86	o -43
755.62/386.07	c cleaning 21357 clauses out of 42715 with flag 32037/1423458
757.82/387.13	c cleaning 13675 clauses out of 27362 with flag 71020/1429462
760.23/388.36	c cleaning 10311 clauses out of 20678 with flag 123254/1436453
763.01/389.76	c cleaning 9148 clauses out of 18370 with flag 171192/1444456
766.46/391.49	c cleaning 9113 clauses out of 18225 with flag 228197/1453459
770.46/393.45	c cleaning 9528 clauses out of 19106 with flag 299152/1463453
774.06/395.28	c cleaning 10293 clauses out of 20586 with flag 370513/1474461
778.07/397.29	c cleaning 11100 clauses out of 22285 with flag 448665/1486453
783.30/399.87	c cleaning 12059 clauses out of 24185 with flag 544633/1499453
788.50/402.40	c cleaning 13066 clauses out of 26132 with flag 632114/1513459
794.15/405.25	c cleaning 14027 clauses out of 28072 with flag 735061/1528465
800.75/408.58	c cleaning 15006 clauses out of 30033 with flag 850624/1544453
808.19/412.29	c cleaning 16014 clauses out of 32032 with flag 968840/1561458
815.79/416.05	c cleaning 17005 clauses out of 34018 with flag 1084490/1579458
823.05/419.67	c cleaning 18004 clauses out of 36008 with flag 1217425/1598453
832.25/424.26	c cleaning 19002 clauses out of 38005 with flag 1362723/1618454
842.50/429.33	c cleaning 19954 clauses out of 40002 with flag 1506671/1639453
852.81/434.82	c cleaning 21005 clauses out of 42051 with flag 1649252/1661456
863.06/439.96	c cleaning 22021 clauses out of 44045 with flag 1798432/1684455
872.48/444.64	c cleaning 22960 clauses out of 46022 with flag 1935488/1708453
882.08/449.43	c cleaning 23994 clauses out of 48063 with flag 2078980/1733454
893.98/455.36	c cleaning 25031 clauses out of 50071 with flag 2224337/1759456
907.82/462.25	c cleaning 25987 clauses out of 52037 with flag 2403087/1786453
922.72/469.70	c cleaning 27011 clauses out of 54050 with flag 2587999/1814453
935.77/476.12	c cleaning 28003 clauses out of 56042 with flag 2765871/1843456
950.44/483.46	c cleaning 29014 clauses out of 58036 with flag 2949511/1873453
964.90/490.66	c cleaning 30012 clauses out of 60023 with flag 3120507/1904454
979.93/498.10	c cleaning 30985 clauses out of 62012 with flag 3306047/1936455
996.38/506.34	c cleaning 31992 clauses out of 64025 with flag 3491962/1969453
1011.32/513.79	c cleaning 33010 clauses out of 66033 with flag 3682333/2003453
1029.36/522.70	c cleaning 34012 clauses out of 68024 with flag 3886040/2038454
1046.06/531.01	c cleaning 35002 clauses out of 70033 with flag 4095143/2074475
1061.90/538.99	c cleaning 35979 clauses out of 72013 with flag 4287757/2111457
1078.15/547.00	c cleaning 36994 clauses out of 74031 with flag 4489025/2149454
1096.46/556.14	c cleaning 37965 clauses out of 76037 with flag 4720423/2188454
1116.53/566.16	c cleaning 38994 clauses out of 78076 with flag 4955659/2228458
1137.78/576.78	c cleaning 40039 clauses out of 80078 with flag 5198750/2269454
1162.89/589.28	c cleaning 41022 clauses out of 82043 with flag 5441807/2311458
1189.38/602.47	c cleaning 41985 clauses out of 84027 with flag 5707557/2354464
1214.31/614.82	c cleaning 43017 clauses out of 86033 with flag 5958365/2398455
1242.01/628.60	c cleaning 43965 clauses out of 88024 with flag 6226903/2443463
1271.02/643.65	c cleaning 45003 clauses out of 90051 with flag 6491345/2489455
1298.76/657.48	c cleaning 46021 clauses out of 92047 with flag 6781496/2536454
1328.66/672.30	c cleaning 46971 clauses out of 94034 with flag 7084148/2584462
1354.10/685.03	c cleaning 47978 clauses out of 96054 with flag 7381476/2633453
1381.04/698.42	c cleaning 49040 clauses out of 98080 with flag 7695930/2683457
1409.97/712.85	c cleaning 49957 clauses out of 100036 with flag 7995619/2734453
1440.07/727.82	c cleaning 51040 clauses out of 102080 with flag 8306661/2786454
1471.65/743.51	c cleaning 52018 clauses out of 104039 with flag 8614077/2839453
1476.85/746.19	c cleaning 0 clauses out of 12943 with flag 0/12943
1504.42/759.81	c cleaning 53000 clauses out of 106021 with flag 8914671/2893453
1530.56/772.83	c cleaning 53934 clauses out of 108021 with flag 9254384/2948453
1557.69/786.34	c cleaning 54983 clauses out of 110087 with flag 9580137/3004453
1586.48/800.67	c cleaning 56045 clauses out of 112104 with flag 9927905/3061453
1611.99/813.31	c cleaning 56949 clauses out of 114059 with flag 10246969/3119453
1642.47/829.02	c cleaning 58043 clauses out of 116111 with flag 10591609/3178454
1675.42/845.46	c cleaning 59009 clauses out of 118067 with flag 10933797/3238453
1707.08/861.29	c cleaning 60031 clauses out of 120061 with flag 11282683/3299456
1745.03/880.14	c cleaning 60949 clauses out of 122027 with flag 11666778/3361453
1781.13/898.11	c cleaning 61999 clauses out of 124078 with flag 12032505/3424453
1800.08/907.51	c >>>>>>>>>> Solver number 0 (1 answers) <<<<<<<<<<<<<<<<<<
1800.08/907.51	c starts		: 59041
1800.08/907.51	c conflicts		: 3458447
1800.08/907.51	c decisions		: 44262252
1800.08/907.51	c propagations		: 389359657
1800.08/907.51	c inspects		: 9060114104
1800.08/907.51	c shortcuts		: 0
1800.08/907.51	c learnt literals	: 0
1800.08/907.51	c learnt binary clauses	: 17
1800.08/907.51	c learnt ternary clauses	: 2133
1800.08/907.51	c learnt constraints	: 3458447
1800.08/907.51	c ignored constraints	: 0
1800.08/907.51	c root simplifications	: 0
1800.08/907.51	c removed literals (reason simplification)	: 500580886
1800.08/907.51	c reason swapping (by a shorter reason)	: 0
1800.08/907.51	c Calls to reduceDB	: 129
1800.08/907.51	c Number of update (reduction) of LBD	: 1154025
1800.08/907.51	c Imported unit clauses	: 0
1800.08/907.51	c number of reductions to clauses (during analyze)	: 0
1800.08/907.51	c number of learned constraints concerned by reduction	: 0
1800.08/907.51	c number of learning phase by resolution	: 0
1800.08/907.51	c number of learning phase by cutting planes	: 0
1800.08/907.51	c speed (assignments/second)	: 744967.8027295356
1800.08/907.51	c non guided choices	0
1800.08/907.54	c learnt constraints type 
1800.08/907.54	c org.sat4j.minisat.constraints.cnf.LearntBinaryClause => 17
1800.08/907.54	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 96056
1800.08/907.54	c >>>>>>>>>> Solver number 1 (26 answers) <<<<<<<<<<<<<<<<<<
1800.08/907.54	c starts		: 69
1800.08/907.54	c conflicts		: 13970
1800.08/907.54	c decisions		: 185678
1800.08/907.54	c propagations		: 2498557
1800.08/907.54	c inspects		: 1100858938
1800.08/907.54	c shortcuts		: 0
1800.08/907.54	c learnt literals	: 0
1800.08/907.54	c learnt binary clauses	: 0
1800.08/907.54	c learnt ternary clauses	: 0
1800.08/907.54	c learnt constraints	: 13970
1800.08/907.54	c ignored constraints	: 0
1800.08/907.54	c root simplifications	: 0
1800.08/907.54	c removed literals (reason simplification)	: 0
1800.08/907.54	c reason swapping (by a shorter reason)	: 0
1800.08/907.54	c Calls to reduceDB	: 2
1800.08/907.54	c Number of update (reduction) of LBD	: 0
1800.08/907.54	c Imported unit clauses	: 0
1800.08/907.54	c number of reductions to clauses (during analyze)	: 0
1800.08/907.54	c number of learned constraints concerned by reduction	: 0
1800.08/907.54	c number of learning phase by resolution	: 0
1800.08/907.54	c number of learning phase by cutting planes	: 0
1800.08/907.54	c speed (assignments/second)	: 2785.282317623072
1800.08/907.54	c non guided choices	58
1800.08/907.54	c learnt constraints type 
1800.08/907.54	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.08/907.54	c org.sat4j.pb.constraints.pb.MaxWatchPb => 13969
1800.08/907.54	s SATISFIABLE
1800.08/907.54	c Found 27 solution(s)
1800.08/907.54	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.08/907.54	c objective function=-43
1800.08/907.54	c Total wall clock time (in seconds): 907.42

Verifier Data 

OK	-43

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

pid=9904
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: 4.08 4.05 3.87 4/198 9907
/proc/meminfo: memFree=28545308/32872528 swapFree=11372/178980
[pid=9907] ppid=9904 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/9907/stat : 9907 (java) R 9904 9907 8839 0 -1 4202496 1090 0 0 0 0 0 0 0 20 0 1 0 107764716 23793664 739 33554432000 1073741824 1073778376 140737139537520 140737139526584 139675164807163 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/9907/statm: 5809 749 549 9 0 128 0

[startup+0.100165 s]
/proc/loadavg: 4.08 4.05 3.87 4/198 9907
/proc/meminfo: memFree=28545308/32872528 swapFree=11372/178980
[pid=9907] ppid=9904 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/9907/stat : 9907 (java) S 9904 9907 8839 0 -1 4202496 4464 0 1 0 9 1 0 0 20 0 18 0 107764716 9787879424 5580 33554432000 1073741824 1073778376 140737139537520 140737139528656 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9907/statm: 2389619 5580 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476

[startup+0.200279 s]
/proc/loadavg: 4.08 4.05 3.87 4/198 9907
/proc/meminfo: memFree=28545308/32872528 swapFree=11372/178980
[pid=9907] ppid=9904 vsize=9558476 CPUtime=0.22 cores=0,2,4,6
/proc/9907/stat : 9907 (java) S 9904 9907 8839 0 -1 4202496 4639 0 1 0 21 1 0 0 20 0 18 0 107764716 9787879424 6746 33554432000 1073741824 1073778376 140737139537520 140737139528656 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9907/statm: 2389619 6746 2194 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476

[startup+0.300288 s]
/proc/loadavg: 4.08 4.05 3.87 4/198 9907
/proc/meminfo: memFree=28545308/32872528 swapFree=11372/178980
[pid=9907] ppid=9904 vsize=9558476 CPUtime=0.46 cores=0,2,4,6
/proc/9907/stat : 9907 (java) S 9904 9907 8839 0 -1 4202496 5907 0 1 0 44 2 0 0 20 0 18 0 107764716 9787879424 8708 33554432000 1073741824 1073778376 140737139537520 140737139528656 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9907/statm: 2389619 8708 2225 9 0 2380296 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 9558476

[startup+0.700175 s]
/proc/loadavg: 4.08 4.05 3.87 4/198 9907
/proc/meminfo: memFree=28545308/32872528 swapFree=11372/178980
[pid=9907] ppid=9904 vsize=9824732 CPUtime=1.82 cores=0,2,4,6
/proc/9907/stat : 9907 (java) S 9904 9907 8839 0 -1 4202496 14612 0 1 0 178 4 0 0 20 0 22 0 107764716 10060525568 20014 33554432000 1073741824 1073778376 140737139537520 140737139528656 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9907/statm: 2456183 20014 2263 9 0 2446860 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 9824732

[startup+1.5007 s]
/proc/loadavg: 4.08 4.05 3.87 3/217 9932
/proc/meminfo: memFree=28461468/32872528 swapFree=11372/178980
[pid=9907] ppid=9904 vsize=9824732 CPUtime=2.3 cores=0,2,4,6
/proc/9907/stat : 9907 (java) S 9904 9907 8839 0 -1 4202496 14684 0 1 0 222 8 0 0 20 0 22 0 107764716 10060525568 25627 33554432000 1073741824 1073778376 140737139537520 140737139528656 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9907/statm: 2456183 25627 2266 9 0 2446860 0
[pid=9907/tid=9909] ppid=9904 vsize=9824732 CPUtime=0.44 cores=0,2,4,6
/proc/9907/task/9909/stat : 9909 (java) S 9904 9907 8839 0 -1 4202560 2544 0 1 0 42 2 0 0 20 0 22 0 107764717 10060525568 25627 33554432000 1073741824 1073778376 140737139537520 139675156824952 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9907/tid=9910] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9910/stat : 9910 (java) S 9904 9907 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107764717 10060525568 25627 33554432000 1073741824 1073778376 140737139537520 139675000367784 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9907/tid=9911] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9911/stat : 9911 (java) S 9904 9907 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107764717 10060525568 25627 33554432000 1073741824 1073778376 140737139537520 139674999315240 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9907/tid=9912] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9912/stat : 9912 (java) S 9904 9907 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107764717 10060525568 25627 33554432000 1073741824 1073778376 140737139537520 139674998262696 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9907/tid=9913] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9913/stat : 9913 (java) S 9904 9907 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107764717 10060525568 25627 33554432000 1073741824 1073778376 140737139537520 139674997210152 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9907/tid=9914] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9914/stat : 9914 (java) S 9904 9907 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107764717 10060525568 25627 33554432000 1073741824 1073778376 140737139537520 139674996156584 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9907/tid=9915] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9915/stat : 9915 (java) S 9904 9907 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107764717 10060525568 25627 33554432000 1073741824 1073778376 140737139537520 139674995104040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9907/tid=9916] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9916/stat : 9916 (java) S 9904 9907 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107764717 10060525568 25627 33554432000 1073741824 1073778376 140737139537520 139674994051496 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9907/tid=9917] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9917/stat : 9917 (java) S 9904 9907 8839 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 107764717 10060525568 25627 33554432000 1073741824 1073778376 140737139537520 139674992998952 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9907/tid=9918] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9918/stat : 9918 (java) S 9904 9907 8839 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107764719 10060525568 25627 33554432000 1073741824 1073778376 140737139537520 139674980801128 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9907/tid=9919] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9919/stat : 9919 (java) S 9904 9907 8839 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 22 0 107764719 10060525568 25627 33554432000 1073741824 1073778376 140737139537520 139674979747448 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9907/tid=9920] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9920/stat : 9920 (java) S 9904 9907 8839 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107764719 10060525568 25627 33554432000 1073741824 1073778376 140737139537520 139674978694792 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9907/tid=9921] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9921/stat : 9921 (java) S 9904 9907 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107764722 10060525568 25627 33554432000 1073741824 1073778376 140737139537520 139674977643536 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9907/tid=9922] ppid=9904 vsize=9824732 CPUtime=0.55 cores=0,2,4,6
/proc/9907/task/9922/stat : 9922 (java) R 9904 9907 8839 0 -1 4202560 4178 0 0 0 55 0 0 0 20 0 22 0 107764722 10060525568 25627 33554432000 1073741824 1073778376 140737139537520 139674976589880 139675162782917 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9907/tid=9923] ppid=9904 vsize=9824732 CPUtime=0.55 cores=0,2,4,6
/proc/9907/task/9923/stat : 9923 (java) R 9904 9907 8839 0 -1 4202560 6605 0 0 0 54 1 0 0 20 0 22 0 107764722 10060525568 25627 33554432000 1073741824 1073778376 140737139537520 139674975537336 139675164541616 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9907/tid=9924] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9924/stat : 9924 (java) S 9904 9907 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107764722 10060525568 25627 33554432000 1073741824 1073778376 140737139537520 139674974484984 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9907/tid=9925] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9925/stat : 9925 (java) S 9904 9907 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107764722 10060525568 25627 33554432000 1073741824 1073778376 140737139537520 139674973432648 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9907/tid=9928] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9928/stat : 9928 (java) S 9904 9907 8839 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 107764763 10060525568 25627 33554432000 1073741824 1073778376 140737139537520 139674970273320 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.3
Current children cumulated vsize (KiB) 9824732

[startup+3.10086 s]
/proc/loadavg: 4.08 4.05 3.87 4/217 9938
/proc/meminfo: memFree=28442036/32872528 swapFree=11372/178980
[pid=9907] ppid=9904 vsize=9824732 CPUtime=2.79 cores=0,2,4,6
/proc/9907/stat : 9907 (java) S 9904 9907 8839 0 -1 4202496 17138 0 1 0 263 16 0 0 20 0 19 0 107764716 10060525568 32831 33554432000 1073741824 1073778376 140737139537520 140737139528656 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9907/statm: 2456183 32831 2269 9 0 2446860 0
[pid=9907/tid=9909] ppid=9904 vsize=9824732 CPUtime=0.44 cores=0,2,4,6
/proc/9907/task/9909/stat : 9909 (java) S 9904 9907 8839 0 -1 4202560 2545 0 1 0 42 2 0 0 20 0 19 0 107764717 10060525568 32831 33554432000 1073741824 1073778376 140737139537520 139675156824952 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9907/tid=9910] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9910/stat : 9910 (java) S 9904 9907 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107764717 10060525568 32831 33554432000 1073741824 1073778376 140737139537520 139675000367784 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9907/tid=9911] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9911/stat : 9911 (java) S 9904 9907 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107764717 10060525568 32831 33554432000 1073741824 1073778376 140737139537520 139674999315240 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9907/tid=9912] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9912/stat : 9912 (java) S 9904 9907 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107764717 10060525568 32831 33554432000 1073741824 1073778376 140737139537520 139674998262696 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9907/tid=9913] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9913/stat : 9913 (java) S 9904 9907 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107764717 10060525568 32831 33554432000 1073741824 1073778376 140737139537520 139674997210152 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9907/tid=9914] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9914/stat : 9914 (java) S 9904 9907 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107764717 10060525568 32831 33554432000 1073741824 1073778376 140737139537520 139674996156584 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9907/tid=9915] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9915/stat : 9915 (java) S 9904 9907 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107764717 10060525568 32831 33554432000 1073741824 1073778376 140737139537520 139674995104040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9907/tid=9916] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9916/stat : 9916 (java) S 9904 9907 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107764717 10060525568 32831 33554432000 1073741824 1073778376 140737139537520 139674994051496 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9907/tid=9917] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9917/stat : 9917 (java) S 9904 9907 8839 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107764717 10060525568 32831 33554432000 1073741824 1073778376 140737139537520 139674992998952 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9907/tid=9918] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9918/stat : 9918 (java) S 9904 9907 8839 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107764719 10060525568 32831 33554432000 1073741824 1073778376 140737139537520 139674980801128 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9907/tid=9919] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9919/stat : 9919 (java) S 9904 9907 8839 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107764719 10060525568 32831 33554432000 1073741824 1073778376 140737139537520 139674979747448 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9907/tid=9920] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9920/stat : 9920 (java) S 9904 9907 8839 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107764719 10060525568 32831 33554432000 1073741824 1073778376 140737139537520 139674978694792 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9907/tid=9921] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9921/stat : 9921 (java) S 9904 9907 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107764722 10060525568 32831 33554432000 1073741824 1073778376 140737139537520 139674977643536 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9907/tid=9922] ppid=9904 vsize=9824732 CPUtime=0.77 cores=0,2,4,6
/proc/9907/task/9922/stat : 9922 (java) S 9904 9907 8839 0 -1 4202560 6584 0 0 0 76 1 0 0 20 0 19 0 107764722 10060525568 32831 33554432000 1073741824 1073778376 140737139537520 139674976589880 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9907/tid=9923] ppid=9904 vsize=9824732 CPUtime=0.64 cores=0,2,4,6
/proc/9907/task/9923/stat : 9923 (java) S 9904 9907 8839 0 -1 4202560 6620 0 0 0 63 1 0 0 20 0 19 0 107764722 10060525568 32831 33554432000 1073741824 1073778376 140737139537520 139674975537336 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9907/tid=9924] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9924/stat : 9924 (java) S 9904 9907 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107764722 10060525568 32831 33554432000 1073741824 1073778376 140737139537520 139674974484984 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9907/tid=9925] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9925/stat : 9925 (java) S 9904 9907 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107764722 10060525568 32831 33554432000 1073741824 1073778376 140737139537520 139674973432648 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9907/tid=9928] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9928/stat : 9928 (java) S 9904 9907 8839 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107764763 10060525568 32831 33554432000 1073741824 1073778376 140737139537520 139674970273320 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.79
Current children cumulated vsize (KiB) 9824732

[startup+6.30083 s]
/proc/loadavg: 3.92 4.02 3.86 7/220 9959
/proc/meminfo: memFree=28360120/32872528 swapFree=11372/178980
[pid=9907] ppid=9904 vsize=9824732 CPUtime=3.69 cores=0,2,4,6
/proc/9907/stat : 9907 (java) S 9904 9907 8839 0 -1 4202496 19951 0 1 0 340 29 0 0 20 0 19 0 107764716 10060525568 44652 33554432000 1073741824 1073778376 140737139537520 140737139528656 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9907/statm: 2456183 44652 2287 9 0 2446860 0
[pid=9907/tid=9909] ppid=9904 vsize=9824732 CPUtime=0.45 cores=0,2,4,6
/proc/9907/task/9909/stat : 9909 (java) S 9904 9907 8839 0 -1 4202560 2547 0 1 0 43 2 0 0 20 0 19 0 107764717 10060525568 44652 33554432000 1073741824 1073778376 140737139537520 139675156824952 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9907/tid=9910] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9910/stat : 9910 (java) S 9904 9907 8839 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 107764717 10060525568 44652 33554432000 1073741824 1073778376 140737139537520 139675000367784 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9907/tid=9911] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9911/stat : 9911 (java) S 9904 9907 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107764717 10060525568 44652 33554432000 1073741824 1073778376 140737139537520 139674999315240 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9907/tid=9912] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9912/stat : 9912 (java) S 9904 9907 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107764717 10060525568 44652 33554432000 1073741824 1073778376 140737139537520 139674998262696 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9907/tid=9913] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9913/stat : 9913 (java) S 9904 9907 8839 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 107764717 10060525568 44652 33554432000 1073741824 1073778376 140737139537520 139674997210152 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9907/tid=9914] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9914/stat : 9914 (java) S 9904 9907 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107764717 10060525568 44652 33554432000 1073741824 1073778376 140737139537520 139674996156584 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9907/tid=9915] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9915/stat : 9915 (java) S 9904 9907 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107764717 10060525568 44652 33554432000 1073741824 1073778376 140737139537520 139674995104040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9907/tid=9916] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9916/stat : 9916 (java) S 9904 9907 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107764717 10060525568 44652 33554432000 1073741824 1073778376 140737139537520 139674994051496 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9907/tid=9917] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9917/stat : 9917 (java) S 9904 9907 8839 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 107764717 10060525568 44652 33554432000 1073741824 1073778376 140737139537520 139674992998952 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9907/tid=9918] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9918/stat : 9918 (java) S 9904 9907 8839 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 107764719 10060525568 44652 33554432000 1073741824 1073778376 140737139537520 139674980801128 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9907/tid=9919] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9919/stat : 9919 (java) S 9904 9907 8839 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 107764719 10060525568 44652 33554432000 1073741824 1073778376 140737139537520 139674979747448 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9907/tid=9920] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9920/stat : 9920 (java) S 9904 9907 8839 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 107764719 10060525568 44652 33554432000 1073741824 1073778376 140737139537520 139674978694792 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9907/tid=9921] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9921/stat : 9921 (java) S 9904 9907 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107764722 10060525568 44652 33554432000 1073741824 1073778376 140737139537520 139674977643536 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9907/tid=9922] ppid=9904 vsize=9824732 CPUtime=1.03 cores=0,2,4,6
/proc/9907/task/9922/stat : 9922 (java) S 9904 9907 8839 0 -1 4202560 9100 0 0 0 101 2 0 0 20 0 19 0 107764722 10060525568 44652 33554432000 1073741824 1073778376 140737139537520 139674976589880 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9907/tid=9923] ppid=9904 vsize=9824732 CPUtime=0.81 cores=0,2,4,6
/proc/9907/task/9923/stat : 9923 (java) S 9904 9907 8839 0 -1 4202560 6806 0 0 0 80 1 0 0 20 0 19 0 107764722 10060525568 44652 33554432000 1073741824 1073778376 140737139537520 139674975537336 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9907/tid=9924] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9924/stat : 9924 (java) S 9904 9907 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 107764722 10060525568 44652 33554432000 1073741824 1073778376 140737139537520 139674974484984 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9907/tid=9925] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9925/stat : 9925 (java) S 9904 9907 8839 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 107764722 10060525568 44652 33554432000 1073741824 1073778376 140737139537520 139674973432648 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9907/tid=9928] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9928/stat : 9928 (java) S 9904 9907 8839 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 107764763 10060525568 44652 33554432000 1073741824 1073778376 140737139537520 139674970273320 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 9824732
heavy processes:

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

/proc/9907/task/9917/stat : 9917 (java) S 9904 9907 8839 0 -1 4202560 710 0 0 0 201 15 0 0 20 0 22 0 107764717 10060525568 817873 33554432000 1073741824 1073778376 140737139537520 139674992998952 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9907/tid=9918] ppid=9904 vsize=9824732 CPUtime=4.12 cores=0,2,4,6
/proc/9907/task/9918/stat : 9918 (java) S 9904 9907 8839 0 -1 4202560 2647 0 0 0 398 14 0 0 20 0 22 0 107764719 10060525568 817873 33554432000 1073741824 1073778376 140737139537520 139674980801128 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9907/tid=9919] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9919/stat : 9919 (java) S 9904 9907 8839 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107764719 10060525568 817873 33554432000 1073741824 1073778376 140737139537520 139674979747448 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9907/tid=9920] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9920/stat : 9920 (java) S 9904 9907 8839 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 107764719 10060525568 817873 33554432000 1073741824 1073778376 140737139537520 139674978694792 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9907/tid=9921] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9921/stat : 9921 (java) S 9904 9907 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107764722 10060525568 817873 33554432000 1073741824 1073778376 140737139537520 139674977643536 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9907/tid=9922] ppid=9904 vsize=9824732 CPUtime=1.97 cores=0,2,4,6
/proc/9907/task/9922/stat : 9922 (java) S 9904 9907 8839 0 -1 4202560 12664 0 0 0 195 2 0 0 20 0 22 0 107764722 10060525568 817873 33554432000 1073741824 1073778376 140737139537520 139674976589880 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9907/tid=9923] ppid=9904 vsize=9824732 CPUtime=1.24 cores=0,2,4,6
/proc/9907/task/9923/stat : 9923 (java) S 9904 9907 8839 0 -1 4202560 9497 0 0 0 123 1 0 0 20 0 22 0 107764722 10060525568 817873 33554432000 1073741824 1073778376 140737139537520 139674975537336 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9907/tid=9924] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9924/stat : 9924 (java) S 9904 9907 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107764722 10060525568 817873 33554432000 1073741824 1073778376 140737139537520 139674974484984 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9907/tid=9925] ppid=9904 vsize=9824732 CPUtime=0.38 cores=0,2,4,6
/proc/9907/task/9925/stat : 9925 (java) S 9904 9907 8839 0 -1 4202560 52 0 0 0 21 17 0 0 20 0 22 0 107764722 10060525568 817873 33554432000 1073741824 1073778376 140737139537520 139674973432648 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9907/tid=9989] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9989/stat : 9989 (java) S 9904 9907 8839 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107765764 10060525568 817873 33554432000 1073741824 1073778376 140737139537520 139674970272936 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9907/tid=10015] ppid=9904 vsize=9824732 CPUtime=490.59 cores=0,2,4,6
/proc/9907/task/10015/stat : 10015 (java) R 9904 9907 8839 0 -1 4202560 33 0 0 0 49052 7 0 0 20 0 22 0 107803202 10060525568 817873 33554432000 1073741824 1073778376 140737139537520 139674971323600 139675029634044 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9907/tid=10016] ppid=9904 vsize=9824732 CPUtime=490.58 cores=0,2,4,6
/proc/9907/task/10016/stat : 10016 (java) R 9904 9907 8839 0 -1 4202560 964 0 0 0 49041 17 0 0 20 0 22 0 107803202 10060525568 817873 33554432000 1073741824 1073778376 140737139537520 139674972377152 139675029557089 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=9907/tid=10017] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/10017/stat : 10017 (java) S 9904 9907 8839 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107803202 10060525568 817873 33554432000 1073741824 1073778376 140737139537520 139674969219880 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1747.89
Current children cumulated vsize (KiB) 9824732



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+907.501 s]
/proc/loadavg: 3.92 3.98 3.91 5/220 10099
/proc/meminfo: memFree=25743084/32872528 swapFree=11372/178980
[pid=9907] ppid=9904 vsize=9824732 CPUtime=1798.5 cores=0,2,4,6
/proc/9907/stat : 9907 (java) S 9904 9907 8839 0 -1 4202496 37874 0 1 0 179584 266 0 0 20 0 22 0 107764716 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 140737139528656 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9907/statm: 2456183 808104 2302 9 0 2446860 0
[pid=9907/tid=9909] ppid=9904 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/9907/task/9909/stat : 9909 (java) S 9904 9907 8839 0 -1 4202560 2554 0 1 0 47 4 0 0 20 0 22 0 107764717 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139675156824952 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9907/tid=9910] ppid=9904 vsize=9824732 CPUtime=2.26 cores=0,2,4,6
/proc/9907/task/9910/stat : 9910 (java) S 9904 9907 8839 0 -1 4202560 742 0 0 0 210 16 0 0 20 0 22 0 107764717 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139675000367784 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9907/tid=9911] ppid=9904 vsize=9824732 CPUtime=2.13 cores=0,2,4,6
/proc/9907/task/9911/stat : 9911 (java) S 9904 9907 8839 0 -1 4202560 573 0 0 0 199 14 0 0 20 0 22 0 107764717 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674999315240 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9907/tid=9912] ppid=9904 vsize=9824732 CPUtime=2.28 cores=0,2,4,6
/proc/9907/task/9912/stat : 9912 (java) S 9904 9907 8839 0 -1 4202560 874 0 0 0 215 13 0 0 20 0 22 0 107764717 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674998262696 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9907/tid=9913] ppid=9904 vsize=9824732 CPUtime=1.98 cores=0,2,4,6
/proc/9907/task/9913/stat : 9913 (java) S 9904 9907 8839 0 -1 4202560 668 0 0 0 187 11 0 0 20 0 22 0 107764717 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674997210152 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9907/tid=9914] ppid=9904 vsize=9824732 CPUtime=2.47 cores=0,2,4,6
/proc/9907/task/9914/stat : 9914 (java) S 9904 9907 8839 0 -1 4202560 755 0 0 0 227 20 0 0 20 0 22 0 107764717 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674996156584 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9907/tid=9915] ppid=9904 vsize=9824732 CPUtime=2.35 cores=0,2,4,6
/proc/9907/task/9915/stat : 9915 (java) S 9904 9907 8839 0 -1 4202560 553 0 0 0 218 17 0 0 20 0 22 0 107764717 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674995104040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9907/tid=9916] ppid=9904 vsize=9824732 CPUtime=2.26 cores=0,2,4,6
/proc/9907/task/9916/stat : 9916 (java) S 9904 9907 8839 0 -1 4202560 729 0 0 0 212 14 0 0 20 0 22 0 107764717 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674994051496 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9907/tid=9917] ppid=9904 vsize=9824732 CPUtime=2.21 cores=0,2,4,6
/proc/9907/task/9917/stat : 9917 (java) S 9904 9907 8839 0 -1 4202560 716 0 0 0 206 15 0 0 20 0 22 0 107764717 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674992998952 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9907/tid=9918] ppid=9904 vsize=9824732 CPUtime=4.12 cores=0,2,4,6
/proc/9907/task/9918/stat : 9918 (java) S 9904 9907 8839 0 -1 4202560 2649 0 0 0 398 14 0 0 20 0 22 0 107764719 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674980801128 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9907/tid=9919] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9919/stat : 9919 (java) S 9904 9907 8839 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107764719 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674979747448 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9907/tid=9920] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9920/stat : 9920 (java) S 9904 9907 8839 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 107764719 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674978694792 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9907/tid=9921] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9921/stat : 9921 (java) S 9904 9907 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107764722 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674977643536 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9907/tid=9922] ppid=9904 vsize=9824732 CPUtime=1.97 cores=0,2,4,6
/proc/9907/task/9922/stat : 9922 (java) S 9904 9907 8839 0 -1 4202560 12664 0 0 0 195 2 0 0 20 0 22 0 107764722 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674976589880 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9907/tid=9923] ppid=9904 vsize=9824732 CPUtime=1.24 cores=0,2,4,6
/proc/9907/task/9923/stat : 9923 (java) S 9904 9907 8839 0 -1 4202560 9497 0 0 0 123 1 0 0 20 0 22 0 107764722 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674975537336 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9907/tid=9924] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9924/stat : 9924 (java) S 9904 9907 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107764722 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674974484984 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9907/tid=9925] ppid=9904 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/9907/task/9925/stat : 9925 (java) S 9904 9907 8839 0 -1 4202560 54 0 0 0 22 17 0 0 20 0 22 0 107764722 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674973432648 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9907/tid=9989] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9989/stat : 9989 (java) S 9904 9907 8839 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107765764 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674970272936 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9907/tid=10015] ppid=9904 vsize=9824732 CPUtime=515.61 cores=0,2,4,6
/proc/9907/task/10015/stat : 10015 (java) R 9904 9907 8839 0 -1 4202560 33 0 0 0 51554 7 0 0 20 0 22 0 107803202 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674971323720 139675029546424 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9907/tid=10016] ppid=9904 vsize=9824732 CPUtime=515.59 cores=0,2,4,6
/proc/9907/task/10016/stat : 10016 (java) R 9904 9907 8839 0 -1 4202560 967 0 0 0 51542 17 0 0 20 0 22 0 107803202 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674972377272 139675029533981 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9907/tid=10017] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/10017/stat : 10017 (java) S 9904 9907 8839 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107803202 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674969219880 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1798.5
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 9907 sig 9
??? kill -9907 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+907.501 s]
/proc/loadavg: 3.92 3.98 3.91 5/220 10099
/proc/meminfo: memFree=25743084/32872528 swapFree=11372/178980
[pid=9907] ppid=9904 vsize=9824732 CPUtime=1798.5 cores=0,2,4,6
/proc/9907/stat : 9907 (java) S 9904 9907 8839 0 -1 4202496 37874 0 1 0 179584 266 0 0 20 0 22 0 107764716 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 140737139528656 224925876285 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/9907/statm: 2456183 808104 2302 9 0 2446860 0
[pid=9907/tid=9909] ppid=9904 vsize=9824732 CPUtime=0.51 cores=0,2,4,6
/proc/9907/task/9909/stat : 9909 (java) S 9904 9907 8839 0 -1 4202560 2554 0 1 0 47 4 0 0 20 0 22 0 107764717 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139675156824952 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9907/tid=9910] ppid=9904 vsize=9824732 CPUtime=2.26 cores=0,2,4,6
/proc/9907/task/9910/stat : 9910 (java) S 9904 9907 8839 0 -1 4202560 742 0 0 0 210 16 0 0 20 0 22 0 107764717 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139675000367784 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9907/tid=9911] ppid=9904 vsize=9824732 CPUtime=2.13 cores=0,2,4,6
/proc/9907/task/9911/stat : 9911 (java) S 9904 9907 8839 0 -1 4202560 573 0 0 0 199 14 0 0 20 0 22 0 107764717 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674999315240 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9907/tid=9912] ppid=9904 vsize=9824732 CPUtime=2.28 cores=0,2,4,6
/proc/9907/task/9912/stat : 9912 (java) S 9904 9907 8839 0 -1 4202560 874 0 0 0 215 13 0 0 20 0 22 0 107764717 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674998262696 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9907/tid=9913] ppid=9904 vsize=9824732 CPUtime=1.98 cores=0,2,4,6
/proc/9907/task/9913/stat : 9913 (java) S 9904 9907 8839 0 -1 4202560 668 0 0 0 187 11 0 0 20 0 22 0 107764717 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674997210152 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9907/tid=9914] ppid=9904 vsize=9824732 CPUtime=2.47 cores=0,2,4,6
/proc/9907/task/9914/stat : 9914 (java) S 9904 9907 8839 0 -1 4202560 755 0 0 0 227 20 0 0 20 0 22 0 107764717 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674996156584 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9907/tid=9915] ppid=9904 vsize=9824732 CPUtime=2.35 cores=0,2,4,6
/proc/9907/task/9915/stat : 9915 (java) S 9904 9907 8839 0 -1 4202560 553 0 0 0 218 17 0 0 20 0 22 0 107764717 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674995104040 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9907/tid=9916] ppid=9904 vsize=9824732 CPUtime=2.26 cores=0,2,4,6
/proc/9907/task/9916/stat : 9916 (java) S 9904 9907 8839 0 -1 4202560 729 0 0 0 212 14 0 0 20 0 22 0 107764717 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674994051496 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9907/tid=9917] ppid=9904 vsize=9824732 CPUtime=2.21 cores=0,2,4,6
/proc/9907/task/9917/stat : 9917 (java) S 9904 9907 8839 0 -1 4202560 716 0 0 0 206 15 0 0 20 0 22 0 107764717 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674992998952 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9907/tid=9918] ppid=9904 vsize=9824732 CPUtime=4.12 cores=0,2,4,6
/proc/9907/task/9918/stat : 9918 (java) S 9904 9907 8839 0 -1 4202560 2649 0 0 0 398 14 0 0 20 0 22 0 107764719 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674980801128 224925890473 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9907/tid=9919] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9919/stat : 9919 (java) S 9904 9907 8839 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 107764719 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674979747448 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9907/tid=9920] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9920/stat : 9920 (java) S 9904 9907 8839 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 107764719 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674978694792 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9907/tid=9921] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9921/stat : 9921 (java) S 9904 9907 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107764722 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674977643536 224925898528 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=9907/tid=9922] ppid=9904 vsize=9824732 CPUtime=1.97 cores=0,2,4,6
/proc/9907/task/9922/stat : 9922 (java) S 9904 9907 8839 0 -1 4202560 12664 0 0 0 195 2 0 0 20 0 22 0 107764722 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674976589880 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9907/tid=9923] ppid=9904 vsize=9824732 CPUtime=1.24 cores=0,2,4,6
/proc/9907/task/9923/stat : 9923 (java) S 9904 9907 8839 0 -1 4202560 9497 0 0 0 123 1 0 0 20 0 22 0 107764722 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674975537336 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9907/tid=9924] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9924/stat : 9924 (java) S 9904 9907 8839 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 107764722 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674974484984 224925889596 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=9907/tid=9925] ppid=9904 vsize=9824732 CPUtime=0.39 cores=0,2,4,6
/proc/9907/task/9925/stat : 9925 (java) S 9904 9907 8839 0 -1 4202560 54 0 0 0 22 17 0 0 20 0 22 0 107764722 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674973432648 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=9907/tid=9989] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/9989/stat : 9989 (java) S 9904 9907 8839 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107765764 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674970272936 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=9907/tid=10015] ppid=9904 vsize=9824732 CPUtime=515.61 cores=0,2,4,6
/proc/9907/task/10015/stat : 10015 (java) R 9904 9907 8839 0 -1 4202560 33 0 0 0 51554 7 0 0 20 0 22 0 107803202 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674971323720 139675029546424 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=9907/tid=10016] ppid=9904 vsize=9824732 CPUtime=515.59 cores=0,2,4,6
/proc/9907/task/10016/stat : 10016 (java) R 9904 9907 8839 0 -1 4202560 967 0 0 0 51542 17 0 0 20 0 22 0 107803202 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674972377272 139675029533981 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=9907/tid=10017] ppid=9904 vsize=9824732 CPUtime=0 cores=0,2,4,6
/proc/9907/task/10017/stat : 10017 (java) S 9904 9907 8839 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 107803202 10060525568 808104 33554432000 1073741824 1073778376 140737139537520 139674969219880 224925890473 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1798.5
Current children cumulated vsize (KiB) 9824732

Child status: 143

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9907 and gives
#  childrusage.ru_utime.tv_sec=1793
#  childrusage.ru_utime.tv_usec=319374
#  childrusage.ru_stime.tv_sec=3
#  childrusage.ru_stime.tv_usec=31539
# CPU time returned by wait4() is 1796.35
# while last known CPU time is 1798.5
#
# 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): 1.57996
#  lost CPU user time (s): 1.70001
#  lost CPU system time (s): -0.12

Real time (s): 907.575
CPU time (s): 1800.08
CPU user time (s): 1797.54
CPU system time (s): 2.54
CPU usage (%): 198.34
Max. virtual memory (cumulated for all children) (KiB): 9824732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.32
system time used= 3.03154
maximum resident set size= 3320576
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37911
page faults= 1
swaps= 0
block input operations= 0
block output operations= 960
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26542
involuntary context switches= 33085

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.72213 second user time and 7.54385 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-07 02:11:41
IDJOB=4081723
IDBENCH=48283
IDSOLVER=2543
FILE ID=node105/4081723-1465258300
RUNJOBID= node105-1465255598-8855
PBS_JOBID= 19843277
Free space on /tmp= 71748 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_1.opb
COMMAND LINE= java -jar sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4081723-1465258300/watcher-4081723-1465258300 -o /tmp/evaluation-result-4081723-1465258300/solver-4081723-1465258300 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1465255598-8855 --watchdog 1960  java -jar sat4j-pb.jar Both HOME/instance-4081723-1465258300.opb

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

MD5SUM BENCH= 74165f17686851db36d48a05683565a5
RANDOM SEED=627271013

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.813
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.62
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.813
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.813
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.813
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.813
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.813
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.56
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.813
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.813
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        28545728 kB
Buffers:           69052 kB
Cached:           131672 kB
SwapCached:         1752 kB
Active:          3300200 kB
Inactive:         120512 kB
Active(anon):    3220460 kB
Inactive(anon):     1884 kB
Active(file):      79740 kB
Inactive(file):   118628 kB
Unevictable:      178980 kB
Mlocked:           11372 kB
SwapTotal:      67108856 kB
SwapFree:       67098468 kB
Dirty:               848 kB
Writeback:             0 kB
AnonPages:       3439756 kB
Mapped:            15488 kB
Shmem:                 0 kB
Slab:             570328 kB
SReclaimable:      13640 kB
SUnreclaim:       556688 kB
KernelStack:        1792 kB
PageTables:        10792 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3675464 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   3352576 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71748 MiB
End job on node105 at 2016-06-07 02:26:48