Trace number 4105613

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Sat4j PB 2.3.6 Resolution PB16SAT (TO)15 1800.57 1799.04

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_4.opb
MD5SUM740b964ee569656e2f29dedde6e3939b
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark11
Best CPU time to get the best result obtained on this benchmark1800.63
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4
Optimality of the best value was proved NO
Number of variables146
Total number of constraints12
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint62
Maximum length of a constraint66
Number of terms in the objective function 96
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1486
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4969
Number of bits of the biggest sum of numbers13
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.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.08/0.10	c version PB16.v20160501
0.08/0.10	c java.runtime.name	Java(TM) SE Runtime Environment
0.08/0.10	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.08/0.10	c java.vm.version	19.1-b02
0.08/0.10	c java.vm.vendor	Sun Microsystems Inc.
0.08/0.10	c sun.arch.data.model	64
0.08/0.10	c java.version		1.6.0_24
0.08/0.10	c os.name		Linux
0.08/0.10	c os.version		2.6.32-71.29.1.el6.x86_64
0.08/0.10	c os.arch		amd64
0.08/0.10	c Free memory 		501472288
0.08/0.10	c Max memory 		7480803328
0.08/0.10	c Total memory 		504102912
0.08/0.10	c Number of processors 	8
0.08/0.12	c Pseudo Boolean Optimization by upper bound
0.08/0.12	c --- Begin Solver configuration ---
0.08/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@2b21cc40
0.08/0.12	c Learn all clauses as in MiniSAT
0.08/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.08/0.12	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.08/0.12	c No reason simplification
0.08/0.12	c Glucose 2.1 dynamic restart strategy
0.08/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.08/0.12	c timeout=2147483s
0.08/0.12	c DB Simplification allowed=false
0.08/0.12	c Listener: org.sat4j.minisat.core.VoidTracing@7c64dc11
0.08/0.12	c --- End Solver configuration ---
0.08/0.12	c solving HOME/instance-4105613-1466262922.opb
0.08/0.12	c reading problem ... 
0.08/0.12	c  objective function found
0.08/0.16	c ... done. Wall clock time 0.037s.
0.08/0.16	c declared #vars     146
0.08/0.16	c #constraints  12
0.08/0.16	c constraints type 
0.08/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 12
0.08/0.16	c 12 constraints processed.
0.08/0.16	c objective function length is 96 literals
0.73/0.59	c cleaning 2494 clauses out of 5002 with flag 10205/5002
1.34/1.08	c cleaning 4246 clauses out of 8508 with flag 22401/11002
2.04/1.74	c cleaning 5619 clauses out of 11260 with flag 36539/18000
2.85/2.59	c cleaning 6811 clauses out of 13644 with flag 52819/26003
3.47/3.14	c SATISFIABLE
3.47/3.14	c OPTIMIZING...
3.47/3.14	c Got one! Elapsed wall clock time (in seconds):3.022
3.47/3.14	o 223
3.63/3.23	c Got one! Elapsed wall clock time (in seconds):3.114
3.63/3.23	o 124
4.33/3.94	c cleaning 8847 clauses out of 17716 with flag 10263/36886
5.03/4.66	c cleaning 7423 clauses out of 14867 with flag 22600/42884
5.82/5.49	c cleaning 7207 clauses out of 14442 with flag 36911/49882
6.82/6.41	c cleaning 7610 clauses out of 15235 with flag 53240/57882
7.82/7.49	c cleaning 8303 clauses out of 16631 with flag 71646/66888
9.02/8.69	c Got one! Elapsed wall clock time (in seconds):8.568
9.02/8.69	o 120
10.02/9.60	c cleaning 11444 clauses out of 22910 with flag 10240/81470
10.02/9.67	c Got one! Elapsed wall clock time (in seconds):9.549
10.02/9.67	o 92
10.72/10.33	c cleaning 8528 clauses out of 17079 with flag 10386/87083
11.32/10.97	c cleaning 7264 clauses out of 14551 with flag 22633/93083
12.13/11.75	c cleaning 7137 clauses out of 14288 with flag 36892/100084
13.03/12.66	c cleaning 7565 clauses out of 15152 with flag 53217/108085
14.13/13.73	c cleaning 8285 clauses out of 16586 with flag 71418/117084
15.43/15.01	c cleaning 9147 clauses out of 18306 with flag 91670/127089
17.04/16.63	c cleaning 10071 clauses out of 20155 with flag 113939/138085
18.84/18.42	c cleaning 11027 clauses out of 22082 with flag 138306/150083
21.03/20.68	c cleaning 12016 clauses out of 24057 with flag 164687/163085
23.54/23.13	c cleaning 13016 clauses out of 26043 with flag 193058/177087
25.14/24.79	c Got one! Elapsed wall clock time (in seconds):24.672
25.14/24.79	o 91
25.54/25.15	c Got one! Elapsed wall clock time (in seconds):25.03
25.54/25.15	o 84
25.84/25.42	c Got one! Elapsed wall clock time (in seconds):25.296
25.84/25.42	o 82
26.14/25.75	c Got one! Elapsed wall clock time (in seconds):25.628
26.14/25.75	o 81
26.24/25.84	c Got one! Elapsed wall clock time (in seconds):25.715
26.24/25.84	o 80
26.34/25.90	c Got one! Elapsed wall clock time (in seconds):25.778
26.34/25.90	o 78
26.34/25.96	c Got one! Elapsed wall clock time (in seconds):25.834
26.34/25.96	o 77
26.43/26.00	c Got one! Elapsed wall clock time (in seconds):25.881
26.43/26.00	o 76
26.74/26.40	c cleaning 16306 clauses out of 32612 with flag 4721/196672
27.24/26.89	c Got one! Elapsed wall clock time (in seconds):26.768
27.24/26.89	o 75
27.54/27.14	c Got one! Elapsed wall clock time (in seconds):27.018
27.54/27.14	o 57
28.34/27.92	c cleaning 13349 clauses out of 26714 with flag 8285/207080
29.16/28.78	c cleaning 9671 clauses out of 19365 with flag 20647/213080
30.05/29.62	c cleaning 8344 clauses out of 16693 with flag 34996/220079
30.95/30.53	c cleaning 8167 clauses out of 16352 with flag 51459/228082
32.05/31.65	c cleaning 8575 clauses out of 17182 with flag 69892/237079
33.35/32.90	c cleaning 9295 clauses out of 18608 with flag 90429/247080
34.85/34.40	c cleaning 10148 clauses out of 20315 with flag 113037/258082
36.55/36.12	c cleaning 11071 clauses out of 22168 with flag 137831/270083
38.55/38.12	c cleaning 12040 clauses out of 24096 with flag 164367/283082
40.84/40.49	c cleaning 13016 clauses out of 26054 with flag 192931/297080
43.64/43.25	c cleaning 14006 clauses out of 28037 with flag 223369/312079
46.84/46.46	c cleaning 15004 clauses out of 30033 with flag 255993/328081
50.45/50.01	c cleaning 15996 clauses out of 32027 with flag 290555/345079
51.15/50.72	c Got one! Elapsed wall clock time (in seconds):50.594
51.15/50.72	o 56
51.34/50.90	c cleaning 10917 clauses out of 21863 with flag 2076/350911
52.04/51.64	c cleaning 8465 clauses out of 16946 with flag 14362/356911
52.84/52.41	c cleaning 7730 clauses out of 15481 with flag 28601/363911
53.75/53.30	c cleaning 7865 clauses out of 15752 with flag 44899/371912
54.75/54.33	c cleaning 8428 clauses out of 16886 with flag 63210/380911
55.95/55.54	c cleaning 9222 clauses out of 18459 with flag 83453/390912
57.35/56.96	c cleaning 10108 clauses out of 20238 with flag 105821/401913
59.15/58.72	c cleaning 11054 clauses out of 22128 with flag 130319/413911
61.15/60.71	c cleaning 12023 clauses out of 24077 with flag 156764/426914
63.55/63.17	c cleaning 13016 clauses out of 26052 with flag 185327/440912
66.25/65.85	c cleaning 14006 clauses out of 28035 with flag 215975/455911
69.45/69.06	c cleaning 15005 clauses out of 30030 with flag 248607/471912
73.06/72.63	c cleaning 16003 clauses out of 32024 with flag 283171/488911
77.05/76.60	c cleaning 16996 clauses out of 34022 with flag 319830/506912
81.45/81.05	c cleaning 17998 clauses out of 36025 with flag 358361/525911
86.26/85.86	c cleaning 19002 clauses out of 38030 with flag 399061/545914
91.78/91.36	c cleaning 20002 clauses out of 40026 with flag 441842/566912
97.48/97.07	c cleaning 21002 clauses out of 42024 with flag 486475/588912
103.78/103.35	c cleaning 21998 clauses out of 44021 with flag 533257/611911
110.88/110.40	c cleaning 22995 clauses out of 46023 with flag 581954/635911
118.88/118.41	c cleaning 24004 clauses out of 48029 with flag 632673/660912
127.48/127.00	c cleaning 24999 clauses out of 50024 with flag 685517/686911
136.48/136.02	c cleaning 26003 clauses out of 52028 with flag 740276/713914
146.38/145.94	c cleaning 27001 clauses out of 54022 with flag 797228/741911
156.68/156.21	c cleaning 28005 clauses out of 56026 with flag 856169/770916
168.02/167.51	c cleaning 28996 clauses out of 58017 with flag 917348/800912
179.33/178.82	c cleaning 30001 clauses out of 60025 with flag 981084/831916
191.93/191.40	c cleaning 31001 clauses out of 62023 with flag 1046414/863915
204.82/204.32	c cleaning 32002 clauses out of 64020 with flag 1113509/896913
218.62/218.11	c cleaning 32995 clauses out of 66016 with flag 1182883/930911
231.62/231.16	c cleaning 34000 clauses out of 68022 with flag 1254612/965912
247.03/246.59	c cleaning 35005 clauses out of 70024 with flag 1327671/1001914
264.41/263.92	c cleaning 35997 clauses out of 72018 with flag 1402374/1038913
282.91/282.45	c cleaning 36998 clauses out of 74020 with flag 1479471/1076912
302.11/301.63	c cleaning 38000 clauses out of 76023 with flag 1558501/1115913
323.00/322.56	c cleaning 38999 clauses out of 78023 with flag 1639540/1155913
334.20/333.72	c Got one! Elapsed wall clock time (in seconds):333.596
334.20/333.72	o 55
337.40/336.95	c cleaning 34706 clauses out of 69436 with flag 10129/1186325
337.60/337.12	c Got one! Elapsed wall clock time (in seconds):336.998
337.60/337.12	o 53
337.70/337.26	c Got one! Elapsed wall clock time (in seconds):337.136
337.70/337.26	o 52
339.10/338.64	c cleaning 20542 clauses out of 41112 with flag 10215/1192707
340.10/339.62	c cleaning 13275 clauses out of 26567 with flag 22355/1198704
341.00/340.52	c cleaning 10135 clauses out of 20293 with flag 36520/1205705
341.40/340.95	c Got one! Elapsed wall clock time (in seconds):340.832
341.40/340.95	o 50
341.51/341.10	c cleaning 7846 clauses out of 15717 with flag 2036/1211264
342.11/341.64	c cleaning 6925 clauses out of 13870 with flag 16759/1217263
342.21/341.75	c Got one! Elapsed wall clock time (in seconds):341.625
342.21/341.75	o 49
342.35/341.81	c Got one! Elapsed wall clock time (in seconds):341.684
342.35/341.81	o 48
342.74/342.20	c cleaning 6679 clauses out of 13382 with flag 9045/1223700
342.74/342.20	c Got one! Elapsed wall clock time (in seconds):342.083
342.74/342.20	o 47
342.84/342.24	c Got one! Elapsed wall clock time (in seconds):342.122
342.84/342.24	o 44
343.33/342.72	c cleaning 6145 clauses out of 12307 with flag 10235/1229304
343.84/343.25	c cleaning 6073 clauses out of 12166 with flag 22478/1235308
344.53/343.91	c cleaning 6540 clauses out of 13093 with flag 36705/1242308
345.13/344.55	c cleaning 7273 clauses out of 14550 with flag 55553/1250305
345.73/345.13	c Got one! Elapsed wall clock time (in seconds):345.005
345.73/345.13	o 42
346.04/345.49	c Got one! Elapsed wall clock time (in seconds):345.367
346.04/345.49	o 41
346.14/345.51	c Got one! Elapsed wall clock time (in seconds):345.387
346.14/345.51	o 40
346.23/345.62	c Got one! Elapsed wall clock time (in seconds):345.503
346.23/345.62	o 38
346.54/345.93	c cleaning 10229 clauses out of 20457 with flag 4767/1263485
346.54/345.98	c Got one! Elapsed wall clock time (in seconds):345.858
346.54/345.98	o 36
346.64/346.03	c Got one! Elapsed wall clock time (in seconds):345.911
346.64/346.03	o 34
347.24/346.62	c cleaning 8178 clauses out of 16373 with flag 10233/1269630
347.74/347.19	c cleaning 7090 clauses out of 14197 with flag 22459/1275632
348.44/347.84	c cleaning 7048 clauses out of 14108 with flag 36710/1282633
349.15/348.57	c cleaning 7527 clauses out of 15059 with flag 55164/1290632
350.04/349.42	c cleaning 8267 clauses out of 16534 with flag 74501/1299634
351.04/350.43	c cleaning 9128 clauses out of 18264 with flag 96156/1309631
352.34/351.73	c cleaning 10058 clauses out of 20135 with flag 118818/1320630
352.75/352.17	c Got one! Elapsed wall clock time (in seconds):352.049
352.75/352.17	o 32
352.94/352.30	c cleaning 7710 clauses out of 15448 with flag 2059/1326001
353.44/352.87	c cleaning 6864 clauses out of 13740 with flag 14334/1332003
354.14/353.55	c cleaning 6925 clauses out of 13874 with flag 28586/1339001
354.85/354.28	c cleaning 7468 clauses out of 14953 with flag 44806/1347005
355.74/355.16	c cleaning 8229 clauses out of 16483 with flag 63075/1356003
356.94/356.36	c cleaning 9120 clauses out of 18252 with flag 83411/1366001
358.34/357.79	c cleaning 10051 clauses out of 20132 with flag 105753/1377001
360.14/359.51	c cleaning 11033 clauses out of 22081 with flag 130258/1389001
362.04/361.43	c cleaning 12010 clauses out of 24050 with flag 156832/1402003
364.24/363.65	c cleaning 13013 clauses out of 26042 with flag 185398/1416005
366.84/366.23	c cleaning 14003 clauses out of 28028 with flag 215816/1431004
369.74/369.15	c cleaning 14998 clauses out of 30023 with flag 248357/1447002
373.14/372.56	c cleaning 16006 clauses out of 32028 with flag 283043/1464005
376.94/376.38	c cleaning 16997 clauses out of 34020 with flag 319564/1482003
381.14/380.57	c cleaning 18002 clauses out of 36022 with flag 358341/1501002
385.83/385.25	c cleaning 19004 clauses out of 38021 with flag 398986/1521003
391.14/390.57	c cleaning 20002 clauses out of 40017 with flag 441735/1542003
396.74/396.13	c cleaning 20995 clauses out of 42013 with flag 486525/1564001
402.93/402.40	c cleaning 22006 clauses out of 44024 with flag 533139/1587007
409.94/409.36	c cleaning 22994 clauses out of 46013 with flag 581764/1611002
417.43/416.84	c cleaning 23997 clauses out of 48020 with flag 632477/1636003
425.03/424.42	c cleaning 24998 clauses out of 50021 with flag 685218/1662001
433.44/432.87	c cleaning 26004 clauses out of 52024 with flag 739958/1689002
442.44/441.88	c cleaning 26996 clauses out of 54021 with flag 796660/1717003
451.54/451.00	c cleaning 27995 clauses out of 56023 with flag 855640/1746001
461.14/460.60	c cleaning 28998 clauses out of 58028 with flag 916643/1776001
470.93/470.38	c cleaning 30001 clauses out of 60030 with flag 980237/1807001
482.34/481.78	c cleaning 31001 clauses out of 62031 with flag 1045592/1839003
493.54/492.95	c cleaning 32003 clauses out of 64029 with flag 1112798/1872002
505.73/505.11	c cleaning 33004 clauses out of 66028 with flag 1181652/1906004
520.63/520.08	c cleaning 34002 clauses out of 68026 with flag 1252541/1941006
536.44/535.88	c cleaning 35002 clauses out of 70020 with flag 1325684/1977002
552.63/552.04	c cleaning 35993 clauses out of 72017 with flag 1401007/2014001
569.73/569.12	c cleaning 36998 clauses out of 74025 with flag 1478683/2052002
587.03/586.49	c cleaning 38004 clauses out of 76030 with flag 1558179/2091005
606.78/606.12	c cleaning 38998 clauses out of 78027 with flag 1639911/2131006
627.16/626.51	c cleaning 40003 clauses out of 80026 with flag 1723444/2172003
648.67/648.05	c cleaning 40995 clauses out of 82021 with flag 1808865/2214001
670.26/669.62	c cleaning 42001 clauses out of 84026 with flag 1896439/2257001
692.36/691.72	c cleaning 43003 clauses out of 86026 with flag 1986053/2301002
718.55/717.95	c cleaning 43995 clauses out of 88023 with flag 2077342/2346002
745.05/744.42	c cleaning 45004 clauses out of 90027 with flag 2170476/2392001
775.16/774.55	c cleaning 46004 clauses out of 92026 with flag 2265836/2439004
808.05/807.41	c cleaning 46999 clauses out of 94019 with flag 2363333/2487001
839.44/838.81	c cleaning 48000 clauses out of 96022 with flag 2462480/2536003
869.28/868.60	c cleaning 49010 clauses out of 98022 with flag 2565020/2586003
870.08/869.45	c Got one! Elapsed wall clock time (in seconds):869.327
870.08/869.45	o 31
871.51/870.84	c cleaning 27390 clauses out of 54792 with flag 6159/2591783
872.91/872.21	c cleaning 16694 clauses out of 33397 with flag 18457/2597778
874.01/873.38	c cleaning 11843 clauses out of 23705 with flag 32765/2604780
875.01/874.38	c cleaning 9920 clauses out of 19860 with flag 49086/2612778
876.11/875.48	c cleaning 9455 clauses out of 18940 with flag 67440/2621778
877.42/876.76	c cleaning 9730 clauses out of 19485 with flag 87745/2631778
878.81/878.19	c cleaning 10370 clauses out of 20755 with flag 110155/2642778
880.51/879.80	c cleaning 11181 clauses out of 22386 with flag 134652/2654779
882.41/881.75	c cleaning 12093 clauses out of 24208 with flag 161134/2667782
884.71/884.03	c cleaning 13046 clauses out of 26113 with flag 189674/2681780
887.32/886.66	c cleaning 14026 clauses out of 28067 with flag 220164/2696780
890.21/889.56	c cleaning 15010 clauses out of 30039 with flag 252794/2712778
893.61/892.96	c cleaning 16005 clauses out of 32030 with flag 287395/2729779
897.32/896.64	c cleaning 16999 clauses out of 34024 with flag 323945/2747778
899.91/899.24	c Got one! Elapsed wall clock time (in seconds):899.123
899.91/899.24	o 30
901.21/900.54	c cleaning 17906 clauses out of 35834 with flag 10194/2766587
902.21/901.53	c cleaning 11955 clauses out of 23927 with flag 22402/2772586
903.11/902.41	c cleaning 9475 clauses out of 18972 with flag 36672/2779586
904.01/903.31	c cleaning 8737 clauses out of 17496 with flag 52870/2787585
904.91/904.30	c cleaning 8869 clauses out of 17760 with flag 71110/2796586
906.12/905.44	c cleaning 9432 clauses out of 18890 with flag 91466/2806585
907.41/906.78	c cleaning 10220 clauses out of 20459 with flag 113789/2817586
909.01/908.32	c cleaning 11108 clauses out of 22239 with flag 138042/2829586
910.91/910.24	c cleaning 12057 clauses out of 24130 with flag 164442/2842585
913.21/912.56	c cleaning 13025 clauses out of 26074 with flag 192786/2856586
915.71/915.00	c cleaning 14013 clauses out of 28050 with flag 223161/2871587
918.51/917.87	c cleaning 15007 clauses out of 30035 with flag 255582/2887585
921.91/921.24	c cleaning 16003 clauses out of 32029 with flag 290134/2904586
925.72/925.00	c cleaning 17006 clauses out of 34031 with flag 326781/2922591
929.62/928.95	c cleaning 17998 clauses out of 36019 with flag 365207/2941585
934.02/933.34	c cleaning 18997 clauses out of 38022 with flag 405603/2961586
939.14/938.47	c cleaning 19996 clauses out of 40024 with flag 448068/2982585
944.43/943.72	c cleaning 21006 clauses out of 42029 with flag 492866/3004586
950.33/949.63	c cleaning 21995 clauses out of 44022 with flag 539677/3027585
956.23/955.56	c cleaning 23015 clauses out of 46030 with flag 589827/3051588
961.53/960.84	c Got one! Elapsed wall clock time (in seconds):960.716
961.53/960.84	o 28
963.33/962.63	c cleaning 23985 clauses out of 47969 with flag 11258/3076542
963.93/963.29	c Got one! Elapsed wall clock time (in seconds):963.174
963.93/963.29	o 26
964.43/963.75	c cleaning 14849 clauses out of 29708 with flag 4135/3082266
965.23/964.57	c cleaning 10421 clauses out of 20855 with flag 16365/3088262
966.03/965.38	c cleaning 8715 clauses out of 17433 with flag 31384/3095261
966.93/966.24	c cleaning 8360 clauses out of 16720 with flag 47800/3103263
968.03/967.32	c cleaning 8671 clauses out of 17358 with flag 66373/3112261
969.23/968.51	c Got one! Elapsed wall clock time (in seconds):968.388
969.23/968.51	o 25
970.03/969.34	c cleaning 11796 clauses out of 23592 with flag 10453/3127166
970.83/970.12	c cleaning 8894 clauses out of 17794 with flag 22754/3133164
971.63/970.99	c cleaning 7950 clauses out of 15904 with flag 37055/3140168
972.54/971.90	c cleaning 7972 clauses out of 15951 with flag 53386/3148165
972.64/971.91	c Got one! Elapsed wall clock time (in seconds):971.786
972.64/971.91	o 23
973.04/972.38	c cleaning 6567 clauses out of 13147 with flag 10456/3153333
973.64/972.92	c cleaning 6283 clauses out of 12581 with flag 22948/3159334
974.24/973.55	c cleaning 6645 clauses out of 13298 with flag 37400/3166334
975.04/974.35	c cleaning 7327 clauses out of 14656 with flag 53966/3174337
975.64/974.93	c Got one! Elapsed wall clock time (in seconds):974.813
975.64/974.93	o 21
976.34/975.61	c cleaning 9300 clauses out of 18608 with flag 10642/3185616
977.04/976.33	c cleaning 7653 clauses out of 15307 with flag 23254/3191615
977.84/977.10	c cleaning 7328 clauses out of 14656 with flag 38024/3198617
978.64/977.99	c cleaning 7662 clauses out of 15323 with flag 54743/3206612
979.74/979.01	c cleaning 8330 clauses out of 16664 with flag 73468/3215615
980.94/980.29	c cleaning 9167 clauses out of 18335 with flag 94340/3225616
982.34/981.68	c cleaning 10079 clauses out of 20164 with flag 117320/3236612
983.54/982.80	c Got one! Elapsed wall clock time (in seconds):982.678
983.54/982.80	o 19
984.34/983.66	c cleaning 11948 clauses out of 23896 with flag 10494/3250423
985.04/984.36	c cleaning 8970 clauses out of 17948 with flag 23027/3256423
985.84/985.11	c cleaning 7983 clauses out of 15977 with flag 37508/3263422
986.64/985.98	c cleaning 7993 clauses out of 15994 with flag 54300/3271422
987.63/986.98	c cleaning 8500 clauses out of 17002 with flag 73547/3280423
988.73/988.10	c cleaning 9242 clauses out of 18503 with flag 94256/3290424
990.13/989.42	c cleaning 10130 clauses out of 20261 with flag 117001/3301424
991.63/990.98	c cleaning 11056 clauses out of 22130 with flag 141819/3313423
993.63/992.97	c cleaning 12032 clauses out of 24073 with flag 168654/3326422
994.53/993.80	c Got one! Elapsed wall clock time (in seconds):993.677
994.53/993.80	o 17
995.34/994.60	c cleaning 11499 clauses out of 23011 with flag 10784/3337392
996.14/995.42	c cleaning 8747 clauses out of 17509 with flag 23183/3343389
996.94/996.27	c cleaning 7878 clauses out of 15768 with flag 37771/3350395
997.94/997.21	c cleaning 7936 clauses out of 15884 with flag 54554/3358389
999.04/998.36	c cleaning 8476 clauses out of 16955 with flag 73493/3367396
1000.33/999.66	c cleaning 9233 clauses out of 18471 with flag 94243/3377388
1001.84/1001.11	c cleaning 10120 clauses out of 20240 with flag 117367/3388390
1003.53/1002.85	c cleaning 11060 clauses out of 22121 with flag 142313/3400391
1005.33/1004.67	c cleaning 12022 clauses out of 24059 with flag 169037/3413389
1007.53/1006.82	c cleaning 13019 clauses out of 26037 with flag 197925/3427389
1009.93/1009.29	c cleaning 14004 clauses out of 28018 with flag 228746/3442389
1010.93/1010.21	c Got one! Elapsed wall clock time (in seconds):1010.086
1010.93/1010.21	o 15
1011.83/1011.12	c cleaning 12614 clauses out of 25240 with flag 10295/3453615
1012.63/1011.94	c cleaning 9302 clauses out of 18626 with flag 22529/3459615
1013.33/1012.65	c cleaning 8157 clauses out of 16324 with flag 36805/3466615
1014.33/1013.60	c cleaning 8072 clauses out of 16167 with flag 53084/3474615
1015.23/1014.59	c cleaning 8534 clauses out of 17095 with flag 71395/3483615
1016.43/1015.74	c cleaning 9266 clauses out of 18561 with flag 91737/3493615
1017.73/1017.07	c cleaning 10138 clauses out of 20295 with flag 114172/3504615
1019.35/1018.66	c cleaning 11066 clauses out of 22157 with flag 138624/3516615
1021.34/1020.61	c cleaning 12037 clauses out of 24093 with flag 165014/3529617
1023.55/1022.89	c cleaning 13019 clauses out of 26054 with flag 193417/3543615
1026.15/1025.43	c cleaning 14006 clauses out of 28037 with flag 223783/3558617
1028.95/1028.29	c cleaning 15005 clauses out of 30032 with flag 256330/3574618
1032.45/1031.71	c cleaning 16001 clauses out of 32027 with flag 290937/3591618
1036.25/1035.57	c cleaning 17004 clauses out of 34026 with flag 327586/3609618
1040.75/1040.07	c cleaning 18000 clauses out of 36020 with flag 366362/3628616
1045.35/1044.68	c cleaning 19000 clauses out of 38019 with flag 407251/3648615
1050.35/1049.60	c cleaning 19996 clauses out of 40019 with flag 450194/3669615
1055.95/1055.22	c cleaning 21000 clauses out of 42024 with flag 494969/3691616
1062.55/1061.84	c cleaning 22001 clauses out of 44025 with flag 541952/3714617
1069.15/1068.44	c cleaning 23001 clauses out of 46023 with flag 590806/3738616
1076.15/1075.42	c cleaning 23998 clauses out of 48022 with flag 641556/3763616
1083.96/1083.26	c cleaning 24997 clauses out of 50025 with flag 694372/3789617
1092.16/1091.41	c cleaning 26000 clauses out of 52026 with flag 749489/3816615
1101.06/1100.33	c cleaning 26996 clauses out of 54026 with flag 806491/3844615
1110.76/1110.09	c cleaning 27998 clauses out of 56032 with flag 865198/3873617
1121.46/1120.74	c cleaning 29009 clauses out of 58032 with flag 925782/3903615
1133.17/1132.44	c cleaning 30001 clauses out of 60023 with flag 988619/3934615
1144.60/1143.82	c cleaning 31003 clauses out of 62023 with flag 1053592/3966616
1157.20/1156.47	c cleaning 31998 clauses out of 64020 with flag 1120491/3999616
1170.60/1169.80	c cleaning 33001 clauses out of 66021 with flag 1189227/4033615
1185.10/1184.31	c cleaning 33992 clauses out of 68020 with flag 1260220/4068615
1200.91/1200.14	c cleaning 35010 clauses out of 70029 with flag 1333328/4104616
1217.61/1216.81	c cleaning 35993 clauses out of 72020 with flag 1408585/4141617
1235.91/1235.12	c cleaning 37005 clauses out of 74028 with flag 1485924/4179618
1255.71/1254.92	c cleaning 38003 clauses out of 76023 with flag 1565060/4218618
1276.32/1275.51	c cleaning 39000 clauses out of 78018 with flag 1646406/4258616
1297.42/1296.63	c cleaning 39996 clauses out of 80017 with flag 1729774/4299615
1318.63/1317.81	c cleaning 41000 clauses out of 82021 with flag 1815043/4341615
1343.17/1342.37	c cleaning 41997 clauses out of 84022 with flag 1902054/4384616
1366.58/1365.75	c cleaning 43001 clauses out of 86025 with flag 1991946/4428616
1392.98/1392.20	c cleaning 44004 clauses out of 88024 with flag 2082950/4473616
1418.19/1417.32	c cleaning 45005 clauses out of 90022 with flag 2176349/4519618
1448.20/1447.39	c cleaning 45993 clauses out of 92015 with flag 2272240/4566616
1480.42/1479.58	c cleaning 47000 clauses out of 94021 with flag 2370032/4614615
1510.81/1509.94	c cleaning 47997 clauses out of 96024 with flag 2469485/4663618
1541.71/1540.85	c cleaning 48997 clauses out of 98024 with flag 2571661/4713615
1574.62/1573.75	c cleaning 50009 clauses out of 100031 with flag 2675260/4764619
1610.54/1609.56	c cleaning 50996 clauses out of 102018 with flag 2780953/4816615
1646.25/1645.21	c cleaning 52000 clauses out of 104022 with flag 2889000/4869615
1677.57/1676.56	c cleaning 53011 clauses out of 106023 with flag 3000191/4923616
1715.67/1714.64	c cleaning 54006 clauses out of 108013 with flag 3112242/4978617
1758.47/1757.44	c cleaning 55003 clauses out of 110005 with flag 3226268/5034615
1800.08/1799.00	c starts		: 82
1800.08/1799.00	c conflicts		: 5091527
1800.08/1799.00	c decisions		: 5170337
1800.08/1799.00	c propagations		: 41797052
1800.08/1799.00	c inspects		: 40741405240
1800.08/1799.00	c shortcuts		: 0
1800.08/1799.00	c learnt literals	: 0
1800.08/1799.00	c learnt binary clauses	: 0
1800.08/1799.00	c learnt ternary clauses	: 0
1800.08/1799.00	c learnt constraints	: 5091527
1800.08/1799.00	c ignored constraints	: 0
1800.08/1799.00	c root simplifications	: 0
1800.08/1799.00	c removed literals (reason simplification)	: 0
1800.08/1799.00	c reason swapping (by a shorter reason)	: 0
1800.08/1799.00	c Calls to reduceDB	: 262
1800.08/1799.00	c Number of update (reduction) of LBD	: 173841
1800.08/1799.00	c Imported unit clauses	: 0
1800.08/1799.00	c number of reductions to clauses (during analyze)	: 0
1800.08/1799.00	c number of learned constraints concerned by reduction	: 0
1800.08/1799.00	c number of learning phase by resolution	: 0
1800.08/1799.00	c number of learning phase by cutting planes	: 0
1800.08/1799.00	c speed (assignments/second)	: 23235.53319302084
1800.08/1799.00	c non guided choices	957
1800.08/1799.03	c learnt constraints type 
1800.08/1799.03	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 111915
1800.08/1799.03	s SATISFIABLE
1800.08/1799.03	c Found 40 solution(s)
1800.08/1799.03	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 
1800.08/1799.03	c objective function=15
1800.08/1799.03	c Total wall clock time (in seconds): 1798.909

Verifier Data 

OK	15

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-4105613-1466262922/watcher-4105613-1466262922 -o /tmp/evaluation-result-4105613-1466262922/solver-4105613-1466262922 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466259329-2737 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4105613-1466262922.opb 

pid=3350
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.28 2.25 2.25 3/194 3353
/proc/meminfo: memFree=30075112/32872528 swapFree=1286400/1433568
[pid=3353] ppid=3350 vsize=9292 CPUtime=0 cores=1,3,5,7
/proc/3353/stat : 3353 (java) D 3350 3353 18358 0 -1 4202496 318 0 0 0 0 0 0 0 20 0 1 0 28338936 9515008 176 33554432000 1073741824 1073778376 140736045870720 140736045853448 214369649552 0 0 4096 0 18446744072100588836 0 0 17 5 0 0 0 0 0
/proc/3353/statm: 2323 176 133 9 0 71 0

[startup+0.100115 s]
/proc/loadavg: 2.28 2.25 2.25 3/194 3353
/proc/meminfo: memFree=30075112/32872528 swapFree=1286400/1433568
[pid=3353] ppid=3350 vsize=9558476 CPUtime=0.08 cores=1,3,5,7
/proc/3353/stat : 3353 (java) S 3350 3353 18358 0 -1 4202496 4326 0 1 0 7 1 0 0 20 0 18 0 28338936 9787879424 5442 33554432000 1073741824 1073778376 140736401468800 140736401459936 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3353/statm: 2389619 5442 2097 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476

[startup+0.20022 s]
/proc/loadavg: 2.28 2.25 2.25 3/194 3353
/proc/meminfo: memFree=30075112/32872528 swapFree=1286400/1433568
[pid=3353] ppid=3350 vsize=9625040 CPUtime=0.26 cores=1,3,5,7
/proc/3353/stat : 3353 (java) S 3350 3353 18358 0 -1 4202496 6259 0 1 0 25 1 0 0 20 0 19 0 28338936 9856040960 7286 33554432000 1073741824 1073778376 140736401468800 140736401459936 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3353/statm: 2406260 7286 2228 9 0 2396937 0
Current children cumulated CPU time (s) 0.26
Current children cumulated vsize (KiB) 9625040

[startup+0.300287 s]
/proc/loadavg: 2.28 2.25 2.25 3/194 3353
/proc/meminfo: memFree=30075112/32872528 swapFree=1286400/1433568
[pid=3353] ppid=3350 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/3353/stat : 3353 (java) S 3350 3353 18358 0 -1 4202496 7244 0 1 0 50 2 0 0 20 0 19 0 28338936 9856040960 8530 33554432000 1073741824 1073778376 140736401468800 140736401459936 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3353/statm: 2406260 8530 2238 9 0 2396937 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9625040

[startup+0.7002 s]
/proc/loadavg: 2.28 2.25 2.25 3/194 3353
/proc/meminfo: memFree=30075112/32872528 swapFree=1286400/1433568
[pid=3353] ppid=3350 vsize=9625040 CPUtime=0.98 cores=1,3,5,7
/proc/3353/stat : 3353 (java) S 3350 3353 18358 0 -1 4202496 7263 0 1 0 96 2 0 0 20 0 19 0 28338936 9856040960 9060 33554432000 1073741824 1073778376 140736401468800 140736401459936 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3353/statm: 2406260 9060 2245 9 0 2396937 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 9625040

[startup+1.5008 s]
/proc/loadavg: 2.28 2.25 2.25 3/213 3372
/proc/meminfo: memFree=30044612/32872528 swapFree=1286400/1433568
[pid=3353] ppid=3350 vsize=9625040 CPUtime=1.84 cores=1,3,5,7
/proc/3353/stat : 3353 (java) S 3350 3353 18358 0 -1 4202496 8051 0 1 0 182 2 0 0 20 0 19 0 28338936 9856040960 9602 33554432000 1073741824 1073778376 140736401468800 140736401459936 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3353/statm: 2406260 9602 2249 9 0 2396937 0
[pid=3353/tid=3355] ppid=3350 vsize=9625040 CPUtime=1.46 cores=1,3,5,7
/proc/3353/task/3355/stat : 3355 (java) R 3350 3353 18358 0 -1 4202560 2408 0 1 0 145 1 0 0 20 0 19 0 28338937 9856040960 9602 33554432000 1073741824 1073778376 140736401468800 140048995578360 140048834460467 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3356] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3356/stat : 3356 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338939 9856040960 9602 33554432000 1073741824 1073778376 140736401468800 140048957070248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3357] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3357/stat : 3357 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338939 9856040960 9602 33554432000 1073741824 1073778376 140736401468800 140048956017704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3358] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3358/stat : 3358 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338939 9856040960 9602 33554432000 1073741824 1073778376 140736401468800 140048954964648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3353/tid=3359] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3359/stat : 3359 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338939 9856040960 9602 33554432000 1073741824 1073778376 140736401468800 140048953912104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3360] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3360/stat : 3360 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338939 9856040960 9602 33554432000 1073741824 1073778376 140736401468800 140048952859048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3361] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3361/stat : 3361 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338939 9856040960 9602 33554432000 1073741824 1073778376 140736401468800 140048833964584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3362] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3362/stat : 3362 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338939 9856040960 9602 33554432000 1073741824 1073778376 140736401468800 140048832911528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3363] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3363/stat : 3363 (java) S 3350 3353 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28338939 9856040960 9602 33554432000 1073741824 1073778376 140736401468800 140048831858984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3364] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3364/stat : 3364 (java) S 3350 3353 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28338940 9856040960 9602 33554432000 1073741824 1073778376 140736401468800 140048819661672 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3365] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3365/stat : 3365 (java) S 3350 3353 18358 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28338940 9856040960 9602 33554432000 1073741824 1073778376 140736401468800 140048818607992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3366] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3366/stat : 3366 (java) S 3350 3353 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28338940 9856040960 9602 33554432000 1073741824 1073778376 140736401468800 140048213206408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3367] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3367/stat : 3367 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338943 9856040960 9602 33554432000 1073741824 1073778376 140736401468800 140048212155152 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3368] ppid=3350 vsize=9625040 CPUtime=0.12 cores=1,3,5,7
/proc/3353/task/3368/stat : 3368 (java) S 3350 3353 18358 0 -1 4202560 1348 0 0 0 12 0 0 0 20 0 19 0 28338943 9856040960 9602 33554432000 1073741824 1073778376 140736401468800 140048211102008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3353/tid=3369] ppid=3350 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/3353/task/3369/stat : 3369 (java) S 3350 3353 18358 0 -1 4202560 3025 0 0 0 22 0 0 0 20 0 19 0 28338943 9856040960 9602 33554432000 1073741824 1073778376 140736401468800 140048210049464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3370] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3370/stat : 3370 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338943 9856040960 9602 33554432000 1073741824 1073778376 140736401468800 140048208996600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3371] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3371/stat : 3371 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338943 9856040960 9602 33554432000 1073741824 1073778376 140736401468800 140048207944264 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3372] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3372/stat : 3372 (java) S 3350 3353 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28338953 9856040960 9602 33554432000 1073741824 1073778376 140736401468800 140048206890536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.84
Current children cumulated vsize (KiB) 9625040

[startup+3.10076 s]
/proc/loadavg: 2.28 2.25 2.25 3/213 3372
/proc/meminfo: memFree=30040144/32872528 swapFree=1286400/1433568
[pid=3353] ppid=3350 vsize=9625040 CPUtime=3.47 cores=1,3,5,7
/proc/3353/stat : 3353 (java) S 3350 3353 18358 0 -1 4202496 8055 0 1 0 345 2 0 0 20 0 19 0 28338936 9856040960 11139 33554432000 1073741824 1073778376 140736401468800 140736401459936 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3353/statm: 2406260 11139 2249 9 0 2396937 0
[pid=3353/tid=3355] ppid=3350 vsize=9625040 CPUtime=3.06 cores=1,3,5,7
/proc/3353/task/3355/stat : 3355 (java) R 3350 3353 18358 0 -1 4202560 2411 0 1 0 305 1 0 0 20 0 19 0 28338937 9856040960 11139 33554432000 1073741824 1073778376 140736401468800 140048995569360 140048834421122 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3356] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3356/stat : 3356 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338939 9856040960 11139 33554432000 1073741824 1073778376 140736401468800 140048957070248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3357] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3357/stat : 3357 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338939 9856040960 11139 33554432000 1073741824 1073778376 140736401468800 140048956017704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3358] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3358/stat : 3358 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338939 9856040960 11139 33554432000 1073741824 1073778376 140736401468800 140048954964648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3353/tid=3359] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3359/stat : 3359 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338939 9856040960 11139 33554432000 1073741824 1073778376 140736401468800 140048953912104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3360] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3360/stat : 3360 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338939 9856040960 11139 33554432000 1073741824 1073778376 140736401468800 140048952859048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3361] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3361/stat : 3361 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338939 9856040960 11139 33554432000 1073741824 1073778376 140736401468800 140048833964584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3362] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3362/stat : 3362 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338939 9856040960 11139 33554432000 1073741824 1073778376 140736401468800 140048832911528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3363] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3363/stat : 3363 (java) S 3350 3353 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28338939 9856040960 11139 33554432000 1073741824 1073778376 140736401468800 140048831858984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3364] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3364/stat : 3364 (java) S 3350 3353 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28338940 9856040960 11139 33554432000 1073741824 1073778376 140736401468800 140048819661672 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3365] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3365/stat : 3365 (java) S 3350 3353 18358 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28338940 9856040960 11139 33554432000 1073741824 1073778376 140736401468800 140048818607992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3366] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3366/stat : 3366 (java) S 3350 3353 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28338940 9856040960 11139 33554432000 1073741824 1073778376 140736401468800 140048213206408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3367] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3367/stat : 3367 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338943 9856040960 11139 33554432000 1073741824 1073778376 140736401468800 140048212155152 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3368] ppid=3350 vsize=9625040 CPUtime=0.15 cores=1,3,5,7
/proc/3353/task/3368/stat : 3368 (java) S 3350 3353 18358 0 -1 4202560 1349 0 0 0 15 0 0 0 20 0 19 0 28338943 9856040960 11139 33554432000 1073741824 1073778376 140736401468800 140048211102008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3353/tid=3369] ppid=3350 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/3353/task/3369/stat : 3369 (java) S 3350 3353 18358 0 -1 4202560 3025 0 0 0 22 0 0 0 20 0 19 0 28338943 9856040960 11139 33554432000 1073741824 1073778376 140736401468800 140048210049464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3370] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3370/stat : 3370 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338943 9856040960 11139 33554432000 1073741824 1073778376 140736401468800 140048208996600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3371] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3371/stat : 3371 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338943 9856040960 11139 33554432000 1073741824 1073778376 140736401468800 140048207944264 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3372] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3372/stat : 3372 (java) S 3350 3353 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28338953 9856040960 11139 33554432000 1073741824 1073778376 140736401468800 140048206890536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 3.47
Current children cumulated vsize (KiB) 9625040

[startup+6.30079 s]
/proc/loadavg: 2.26 2.25 2.25 3/213 3372
/proc/meminfo: memFree=30027268/32872528 swapFree=1286400/1433568
[pid=3353] ppid=3350 vsize=9625040 CPUtime=6.72 cores=1,3,5,7
/proc/3353/stat : 3353 (java) S 3350 3353 18358 0 -1 4202496 9140 0 1 0 670 2 0 0 20 0 19 0 28338936 9856040960 14212 33554432000 1073741824 1073778376 140736401468800 140736401459936 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3353/statm: 2406260 14212 2251 9 0 2396937 0
[pid=3353/tid=3355] ppid=3350 vsize=9625040 CPUtime=6.25 cores=1,3,5,7
/proc/3353/task/3355/stat : 3355 (java) R 3350 3353 18358 0 -1 4202560 2418 0 1 0 624 1 0 0 20 0 19 0 28338937 9856040960 14212 33554432000 1073741824 1073778376 140736401468800 140048995569344 140048834422123 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3356] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3356/stat : 3356 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338939 9856040960 14212 33554432000 1073741824 1073778376 140736401468800 140048957070248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3357] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3357/stat : 3357 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338939 9856040960 14212 33554432000 1073741824 1073778376 140736401468800 140048956017704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3358] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3358/stat : 3358 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338939 9856040960 14212 33554432000 1073741824 1073778376 140736401468800 140048954964648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3353/tid=3359] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3359/stat : 3359 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338939 9856040960 14212 33554432000 1073741824 1073778376 140736401468800 140048953912104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3360] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3360/stat : 3360 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338939 9856040960 14212 33554432000 1073741824 1073778376 140736401468800 140048952859048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3361] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3361/stat : 3361 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338939 9856040960 14212 33554432000 1073741824 1073778376 140736401468800 140048833964584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3362] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3362/stat : 3362 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338939 9856040960 14212 33554432000 1073741824 1073778376 140736401468800 140048832911528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3363] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3363/stat : 3363 (java) S 3350 3353 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28338939 9856040960 14212 33554432000 1073741824 1073778376 140736401468800 140048831858984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3364] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3364/stat : 3364 (java) S 3350 3353 18358 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 28338940 9856040960 14212 33554432000 1073741824 1073778376 140736401468800 140048819661672 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3365] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3365/stat : 3365 (java) S 3350 3353 18358 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 28338940 9856040960 14212 33554432000 1073741824 1073778376 140736401468800 140048818607992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3366] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3366/stat : 3366 (java) S 3350 3353 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28338940 9856040960 14212 33554432000 1073741824 1073778376 140736401468800 140048213206408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3367] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3367/stat : 3367 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338943 9856040960 14212 33554432000 1073741824 1073778376 140736401468800 140048212155152 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3368] ppid=3350 vsize=9625040 CPUtime=0.2 cores=1,3,5,7
/proc/3353/task/3368/stat : 3368 (java) S 3350 3353 18358 0 -1 4202560 2426 0 0 0 20 0 0 0 20 0 19 0 28338943 9856040960 14212 33554432000 1073741824 1073778376 140736401468800 140048211102008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3353/tid=3369] ppid=3350 vsize=9625040 CPUtime=0.22 cores=1,3,5,7
/proc/3353/task/3369/stat : 3369 (java) S 3350 3353 18358 0 -1 4202560 3025 0 0 0 22 0 0 0 20 0 19 0 28338943 9856040960 14212 33554432000 1073741824 1073778376 140736401468800 140048210049464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3370] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3370/stat : 3370 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338943 9856040960 14212 33554432000 1073741824 1073778376 140736401468800 140048208996600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3371] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3371/stat : 3371 (java) S 3350 3353 18358 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 28338943 9856040960 14212 33554432000 1073741824 1073778376 140736401468800 140048207944264 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3372] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3372/stat : 3372 (java) S 3350 3353 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28338953 9856040960 14212 33554432000 1073741824 1073778376 140736401468800 140048206890536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 6.72
Current children cumulated vsize (KiB) 9625040


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

[pid=3353/tid=3365] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3365/stat : 3365 (java) S 3350 3353 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28338940 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048818607992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3366] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3366/stat : 3366 (java) S 3350 3353 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28338940 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048213206408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3367] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3367/stat : 3367 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338943 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048212155152 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3368] ppid=3350 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/3353/task/3368/stat : 3368 (java) S 3350 3353 18358 0 -1 4202560 6663 0 0 0 40 0 0 0 20 0 19 0 28338943 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048211102008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3353/tid=3369] ppid=3350 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/3353/task/3369/stat : 3369 (java) S 3350 3353 18358 0 -1 4202560 3096 0 0 0 23 0 0 0 20 0 19 0 28338943 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048210049464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3370] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3370/stat : 3370 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338943 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048208996600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3371] ppid=3350 vsize=9625040 CPUtime=0.51 cores=1,3,5,7
/proc/3353/task/3371/stat : 3371 (java) S 3350 3353 18358 0 -1 4202560 96 0 0 0 22 29 0 0 20 0 19 0 28338943 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048207944264 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3372] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3372/stat : 3372 (java) S 3350 3353 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28338953 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048206890536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1663.35
Current children cumulated vsize (KiB) 9625040

[startup+1722.3 s]
/proc/loadavg: 2.07 2.17 2.18 3/213 3544
/proc/meminfo: memFree=29756428/32872528 swapFree=1286400/1433568
[pid=3353] ppid=3350 vsize=9625040 CPUtime=1723.37 cores=1,3,5,7
/proc/3353/stat : 3353 (java) S 3350 3353 18358 0 -1 4202496 13797 0 1 0 172294 43 0 0 20 0 19 0 28338936 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140736401459936 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3353/statm: 2406260 57674 2268 9 0 2396937 0
[pid=3353/tid=3355] ppid=3350 vsize=9625040 CPUtime=1721.9 cores=1,3,5,7
/proc/3353/task/3355/stat : 3355 (java) R 3350 3353 18358 0 -1 4202560 2483 0 1 0 172157 33 0 0 20 0 19 0 28338937 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048995569344 140048834422105 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3356] ppid=3350 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/3353/task/3356/stat : 3356 (java) S 3350 3353 18358 0 -1 4202560 50 0 0 0 4 1 0 0 20 0 19 0 28338939 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048957070248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3357] ppid=3350 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/3353/task/3357/stat : 3357 (java) S 3350 3353 18358 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 19 0 28338939 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048956017704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3353/tid=3358] ppid=3350 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/3353/task/3358/stat : 3358 (java) S 3350 3353 18358 0 -1 4202560 9 0 0 0 5 0 0 0 20 0 19 0 28338939 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048954964648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3359] ppid=3350 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/3353/task/3359/stat : 3359 (java) S 3350 3353 18358 0 -1 4202560 19 0 0 0 5 0 0 0 20 0 19 0 28338939 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048953912104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3360] ppid=3350 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/3353/task/3360/stat : 3360 (java) S 3350 3353 18358 0 -1 4202560 9 0 0 0 4 0 0 0 20 0 19 0 28338939 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048952859048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3361] ppid=3350 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/3353/task/3361/stat : 3361 (java) S 3350 3353 18358 0 -1 4202560 19 0 0 0 4 1 0 0 20 0 19 0 28338939 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048833964584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3362] ppid=3350 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/3353/task/3362/stat : 3362 (java) S 3350 3353 18358 0 -1 4202560 9 0 0 0 5 0 0 0 20 0 19 0 28338939 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048832911528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3353/tid=3363] ppid=3350 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/3353/task/3363/stat : 3363 (java) S 3350 3353 18358 0 -1 4202560 29 0 0 0 6 2 0 0 20 0 19 0 28338939 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048831858984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3364] ppid=3350 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/3353/task/3364/stat : 3364 (java) S 3350 3353 18358 0 -1 4202560 40 0 0 0 0 2 0 0 20 0 19 0 28338940 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048819661672 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3365] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3365/stat : 3365 (java) S 3350 3353 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28338940 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048818607992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3366] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3366/stat : 3366 (java) S 3350 3353 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28338940 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048213206408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3367] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3367/stat : 3367 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338943 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048212155152 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3368] ppid=3350 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/3353/task/3368/stat : 3368 (java) S 3350 3353 18358 0 -1 4202560 6663 0 0 0 40 0 0 0 20 0 19 0 28338943 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048211102008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3353/tid=3369] ppid=3350 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/3353/task/3369/stat : 3369 (java) S 3350 3353 18358 0 -1 4202560 3096 0 0 0 23 0 0 0 20 0 19 0 28338943 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048210049464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3370] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3370/stat : 3370 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338943 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048208996600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3371] ppid=3350 vsize=9625040 CPUtime=0.54 cores=1,3,5,7
/proc/3353/task/3371/stat : 3371 (java) S 3350 3353 18358 0 -1 4202560 100 0 0 0 23 31 0 0 20 0 19 0 28338943 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048207944264 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3372] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3372/stat : 3372 (java) S 3350 3353 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28338953 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048206890536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1723.37
Current children cumulated vsize (KiB) 9625040

[startup+1782.3 s]
/proc/loadavg: 2.22 2.20 2.19 4/213 3545
/proc/meminfo: memFree=29722160/32872528 swapFree=1286400/1433568
[pid=3353] ppid=3350 vsize=9625040 CPUtime=1783.38 cores=1,3,5,7
/proc/3353/stat : 3353 (java) S 3350 3353 18358 0 -1 4202496 13801 0 1 0 178294 44 0 0 20 0 19 0 28338936 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140736401459936 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3353/statm: 2406260 57674 2268 9 0 2396937 0
[pid=3353/tid=3355] ppid=3350 vsize=9625040 CPUtime=1781.9 cores=1,3,5,7
/proc/3353/task/3355/stat : 3355 (java) R 3350 3353 18358 0 -1 4202560 2483 0 1 0 178156 34 0 0 20 0 19 0 28338937 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048995569344 140048834460467 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3356] ppid=3350 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/3353/task/3356/stat : 3356 (java) S 3350 3353 18358 0 -1 4202560 50 0 0 0 4 1 0 0 20 0 19 0 28338939 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048957070248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3357] ppid=3350 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/3353/task/3357/stat : 3357 (java) S 3350 3353 18358 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 19 0 28338939 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048956017704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3353/tid=3358] ppid=3350 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/3353/task/3358/stat : 3358 (java) S 3350 3353 18358 0 -1 4202560 9 0 0 0 5 0 0 0 20 0 19 0 28338939 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048954964648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3359] ppid=3350 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/3353/task/3359/stat : 3359 (java) S 3350 3353 18358 0 -1 4202560 19 0 0 0 5 0 0 0 20 0 19 0 28338939 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048953912104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3360] ppid=3350 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/3353/task/3360/stat : 3360 (java) S 3350 3353 18358 0 -1 4202560 9 0 0 0 4 0 0 0 20 0 19 0 28338939 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048952859048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3361] ppid=3350 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/3353/task/3361/stat : 3361 (java) S 3350 3353 18358 0 -1 4202560 19 0 0 0 4 1 0 0 20 0 19 0 28338939 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048833964584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3362] ppid=3350 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/3353/task/3362/stat : 3362 (java) S 3350 3353 18358 0 -1 4202560 9 0 0 0 5 0 0 0 20 0 19 0 28338939 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048832911528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3353/tid=3363] ppid=3350 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/3353/task/3363/stat : 3363 (java) S 3350 3353 18358 0 -1 4202560 29 0 0 0 6 2 0 0 20 0 19 0 28338939 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048831858984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3364] ppid=3350 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/3353/task/3364/stat : 3364 (java) S 3350 3353 18358 0 -1 4202560 40 0 0 0 0 2 0 0 20 0 19 0 28338940 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048819661672 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3365] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3365/stat : 3365 (java) S 3350 3353 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28338940 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048818607992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3366] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3366/stat : 3366 (java) S 3350 3353 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28338940 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048213206408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3367] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3367/stat : 3367 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338943 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048212155152 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3368] ppid=3350 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/3353/task/3368/stat : 3368 (java) S 3350 3353 18358 0 -1 4202560 6663 0 0 0 40 0 0 0 20 0 19 0 28338943 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048211102008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3353/tid=3369] ppid=3350 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/3353/task/3369/stat : 3369 (java) S 3350 3353 18358 0 -1 4202560 3096 0 0 0 23 0 0 0 20 0 19 0 28338943 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048210049464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3370] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3370/stat : 3370 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338943 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048208996600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3371] ppid=3350 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/3353/task/3371/stat : 3371 (java) S 3350 3353 18358 0 -1 4202560 104 0 0 0 25 32 0 0 20 0 19 0 28338943 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048207944264 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3372] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3372/stat : 3372 (java) S 3350 3353 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28338953 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048206890536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1783.38
Current children cumulated vsize (KiB) 9625040



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1799 s]
/proc/loadavg: 2.16 2.19 2.18 3/213 3547
/proc/meminfo: memFree=29698392/32872528 swapFree=1286400/1433568
[pid=3353] ppid=3350 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/3353/stat : 3353 (java) S 3350 3353 18358 0 -1 4202496 13801 0 1 0 179964 44 0 0 20 0 19 0 28338936 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140736401459936 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/3353/statm: 2406260 57674 2268 9 0 2396937 0
[pid=3353/tid=3355] ppid=3350 vsize=9625040 CPUtime=1798.6 cores=1,3,5,7
/proc/3353/task/3355/stat : 3355 (java) R 3350 3353 18358 0 -1 4202560 2483 0 1 0 179826 34 0 0 20 0 19 0 28338937 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048995569344 140048834421973 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3356] ppid=3350 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/3353/task/3356/stat : 3356 (java) S 3350 3353 18358 0 -1 4202560 50 0 0 0 4 1 0 0 20 0 19 0 28338939 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048957070248 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3357] ppid=3350 vsize=9625040 CPUtime=0.03 cores=1,3,5,7
/proc/3353/task/3357/stat : 3357 (java) S 3350 3353 18358 0 -1 4202560 13 0 0 0 3 0 0 0 20 0 19 0 28338939 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048956017704 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3353/tid=3358] ppid=3350 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/3353/task/3358/stat : 3358 (java) S 3350 3353 18358 0 -1 4202560 9 0 0 0 5 0 0 0 20 0 19 0 28338939 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048954964648 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3359] ppid=3350 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/3353/task/3359/stat : 3359 (java) S 3350 3353 18358 0 -1 4202560 19 0 0 0 5 0 0 0 20 0 19 0 28338939 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048953912104 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3360] ppid=3350 vsize=9625040 CPUtime=0.04 cores=1,3,5,7
/proc/3353/task/3360/stat : 3360 (java) S 3350 3353 18358 0 -1 4202560 9 0 0 0 4 0 0 0 20 0 19 0 28338939 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048952859048 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3361] ppid=3350 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/3353/task/3361/stat : 3361 (java) S 3350 3353 18358 0 -1 4202560 19 0 0 0 4 1 0 0 20 0 19 0 28338939 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048833964584 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3362] ppid=3350 vsize=9625040 CPUtime=0.05 cores=1,3,5,7
/proc/3353/task/3362/stat : 3362 (java) S 3350 3353 18358 0 -1 4202560 9 0 0 0 5 0 0 0 20 0 19 0 28338939 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048832911528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3353/tid=3363] ppid=3350 vsize=9625040 CPUtime=0.08 cores=1,3,5,7
/proc/3353/task/3363/stat : 3363 (java) S 3350 3353 18358 0 -1 4202560 29 0 0 0 6 2 0 0 20 0 19 0 28338939 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048831858984 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3364] ppid=3350 vsize=9625040 CPUtime=0.02 cores=1,3,5,7
/proc/3353/task/3364/stat : 3364 (java) S 3350 3353 18358 0 -1 4202560 40 0 0 0 0 2 0 0 20 0 19 0 28338940 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048819661672 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3365] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3365/stat : 3365 (java) S 3350 3353 18358 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 28338940 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048818607992 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3366] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3366/stat : 3366 (java) S 3350 3353 18358 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 28338940 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048213206408 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3367] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3367/stat : 3367 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338943 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048212155152 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=3353/tid=3368] ppid=3350 vsize=9625040 CPUtime=0.4 cores=1,3,5,7
/proc/3353/task/3368/stat : 3368 (java) S 3350 3353 18358 0 -1 4202560 6663 0 0 0 40 0 0 0 20 0 19 0 28338943 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048211102008 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=3353/tid=3369] ppid=3350 vsize=9625040 CPUtime=0.23 cores=1,3,5,7
/proc/3353/task/3369/stat : 3369 (java) S 3350 3353 18358 0 -1 4202560 3096 0 0 0 23 0 0 0 20 0 19 0 28338943 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048210049464 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3370] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3370/stat : 3370 (java) S 3350 3353 18358 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 28338943 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048208996600 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=3353/tid=3371] ppid=3350 vsize=9625040 CPUtime=0.57 cores=1,3,5,7
/proc/3353/task/3371/stat : 3371 (java) S 3350 3353 18358 0 -1 4202560 104 0 0 0 25 32 0 0 20 0 19 0 28338943 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048207944264 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=3353/tid=3372] ppid=3350 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/3353/task/3372/stat : 3372 (java) S 3350 3353 18358 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 28338953 9856040960 57674 33554432000 1073741824 1073778376 140736401468800 140048206890536 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 9625040

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 3353 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 1799.04
CPU time (s): 1800.57
CPU user time (s): 1799.71
CPU system time (s): 0.864868
CPU usage (%): 100.085
Max. virtual memory (cumulated for all children) (KiB): 9625040

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.71
system time used= 0.864868
maximum resident set size= 230888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 13855
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1168
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 38309
involuntary context switches= 17989

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.4243 second user time and 12.4821 second system time

The end

Launcher Data 

Begin job on node130 at 2016-06-18 17:15:22
IDJOB=4105613
IDBENCH=2925
IDSOLVER=2546
FILE ID=node130/4105613-1466262922
RUNJOBID= node130-1466259329-2737
PBS_JOBID= 19918180
Free space on /tmp= 71748 MiB

SOLVER NAME= Sat4j PB 2.3.6 Resolution PB16
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_4.opb
COMMAND LINE= java -jar sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105613-1466262922/watcher-4105613-1466262922 -o /tmp/evaluation-result-4105613-1466262922/solver-4105613-1466262922 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1466259329-2737 --watchdog 1960  java -jar sat4j-pb.jar HOME/instance-4105613-1466262922.opb

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

MD5SUM BENCH= 740b964ee569656e2f29dedde6e3939b
RANDOM SEED=739733317

node130.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.365
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	: 5332.73
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.365
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.365
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.365
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.365
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.365
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.53
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.365
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.56
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.365
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:        30075276 kB
Buffers:           35716 kB
Cached:           158076 kB
SwapCached:         1876 kB
Active:           485224 kB
Inactive:         144080 kB
Active(anon):     435664 kB
Inactive(anon):     2212 kB
Active(file):      49560 kB
Inactive(file):   141868 kB
Unevictable:     1433568 kB
Mlocked:         1286400 kB
SwapTotal:      67108856 kB
SwapFree:       67098740 kB
Dirty:               456 kB
Writeback:             0 kB
AnonPages:       1974676 kB
Mapped:            15384 kB
Shmem:                 0 kB
Slab:             600520 kB
SReclaimable:      44008 kB
SUnreclaim:       556512 kB
KernelStack:        1768 kB
PageTables:         8220 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2007424 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    673792 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 node130 at 2016-06-18 17:45:21