Trace number 3688152

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
SAT 4j PB RES // CP 2.3.2 SnapshotSAT (TO)23 1800.42 939.731

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/
logic_synthesis/normalized-m100_300_10_15.r.opb
MD5SUM34bb25320bcbfa536bfc14194ca6ac66
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark19
Best CPU time to get the best result obtained on this benchmark5.29919
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 19
Optimality of the best value was proved YES
Number of variables297
Total number of constraints100
Number of constraints which are clauses100
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint10
Maximum length of a constraint15
Number of terms in the objective function 297
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 297
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 297
Number of bits of the biggest sum of numbers9
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.02/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.02/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.07	c See www.sat4j.org for details.
0.02/0.07	c version 2.3.2.v20120418
0.02/0.07	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.07	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.07	c java.vm.version	19.1-b02
0.02/0.07	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.07	c sun.arch.data.model	64
0.02/0.07	c java.version		1.6.0_24
0.02/0.07	c os.name		Linux
0.02/0.07	c os.version		2.6.32-71.29.1.el6.x86_64
0.02/0.07	c os.arch		amd64
0.02/0.07	c Free memory 		501472288
0.02/0.07	c Max memory 		7480803328
0.02/0.07	c Total memory 		504102912
0.02/0.07	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c ManyCore solver with 2 solvers running in parallel
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@63415de6
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c Expensive reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c c --- End Solver configuration ---
0.11/0.10	c Cutting planes based inference (org.sat4j.pb.core.PBSolverCP)
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.PBMaxClauseCardConstrDataStructure@23174b07
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3688152-1337875760.opb
0.11/0.10	c reading problem ... 
0.11/0.16	c ... done. Wall clock time 0.059s.
0.11/0.16	c declared #vars     297
0.11/0.16	c #constraints  100
0.11/0.16	c constraints type 
0.11/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
0.11/0.16	c 100 constraints processed.
0.11/0.16	c constraints type 
0.11/0.16	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 100
0.11/0.16	c 100 constraints processed.
0.11/0.16	c objective function length is 297 literals
0.11/0.17	c  And the winner is solver0
0.21/0.66	c SATISFIABLE
0.21/0.66	c OPTIMIZING...
0.21/0.66	c Got one! Elapsed wall clock time (in seconds):0.561
0.21/0.66	o 34
0.31/0.77	c  And the winner is solver1
0.70/1.17	c Got one! Elapsed wall clock time (in seconds):1.065
0.70/1.17	o 33
0.80/1.20	c  And the winner is solver1
1.12/1.67	c Got one! Elapsed wall clock time (in seconds):1.567
1.12/1.67	o 32
1.61/1.87	c  And the winner is solver1
2.18/2.17	c Got one! Elapsed wall clock time (in seconds):2.069
2.18/2.17	o 31
2.26/2.25	c cleaning 3112 clauses out of 6224 with flag 1000/6224
2.26/2.27	c  And the winner is solver1
2.59/2.67	c Got one! Elapsed wall clock time (in seconds):2.571
2.59/2.67	o 30
2.63/2.72	c  And the winner is solver1
2.69/3.17	c Got one! Elapsed wall clock time (in seconds):3.073
2.69/3.17	o 29
3.06/3.33	c cleaning 4249 clauses out of 8497 with flag 4003/11609
3.46/3.59	c cleaning 5116 clauses out of 10245 with flag 10000/17606
4.36/3.90	c cleaning 6058 clauses out of 12129 with flag 17000/24606
4.36/3.98	c  And the winner is solver1
4.49/4.17	c Got one! Elapsed wall clock time (in seconds):4.074
4.49/4.17	o 28
4.76/4.37	c cleaning 5966 clauses out of 11932 with flag 5003/30467
5.31/4.67	c cleaning 5983 clauses out of 11966 with flag 11003/36467
6.08/5.01	c cleaning 6489 clauses out of 12980 with flag 18000/43464
6.83/5.40	c cleaning 7246 clauses out of 14491 with flag 26000/51464
6.95/5.57	c  And the winner is solver1
7.11/5.72	c Got one! Elapsed wall clock time (in seconds):5.624
7.11/5.72	o 27
7.29/5.88	c cleaning 6591 clauses out of 13181 with flag 4006/57400
7.86/6.17	c cleaning 6293 clauses out of 12585 with flag 10001/63395
8.62/6.52	c cleaning 6649 clauses out of 13297 with flag 17006/70400
9.35/6.92	c cleaning 7310 clauses out of 14642 with flag 25000/78394
10.03/7.39	c cleaning 8158 clauses out of 16332 with flag 34000/87394
10.97/7.88	c cleaning 9068 clauses out of 18174 with flag 44000/97394
12.13/8.46	c cleaning 10045 clauses out of 20106 with flag 55000/108394
13.26/9.03	c cleaning 11023 clauses out of 22061 with flag 67000/120394
14.53/9.70	c cleaning 12022 clauses out of 24047 with flag 80009/133403
15.63/10.38	c cleaning 13000 clauses out of 26016 with flag 94000/147394
17.13/11.15	c cleaning 13999 clauses out of 28016 with flag 109000/162394
18.64/11.95	c cleaning 15009 clauses out of 30017 with flag 125000/178394
20.47/12.94	c cleaning 16003 clauses out of 32009 with flag 142001/195395
22.14/13.85	c cleaning 16997 clauses out of 34005 with flag 160000/213394
24.01/14.88	c cleaning 17994 clauses out of 36008 with flag 179000/232394
24.89/15.36	c  And the winner is solver1
25.02/15.83	c Got one! Elapsed wall clock time (in seconds):15.725
25.02/15.83	o 26
25.36/16.07	c cleaning 15474 clauses out of 30948 with flag 5000/245328
26.14/16.57	c cleaning 10734 clauses out of 21474 with flag 11000/251328
26.99/17.02	c cleaning 8869 clauses out of 17740 with flag 18000/258328
27.24/17.23	c  And the winner is solver1
27.32/17.33	c Got one! Elapsed wall clock time (in seconds):17.226
27.32/17.33	o 25
27.46/17.47	c cleaning 7061 clauses out of 14145 with flag 4000/263602
28.11/17.86	c cleaning 6542 clauses out of 13086 with flag 10002/269604
28.89/18.39	c cleaning 6769 clauses out of 13547 with flag 17005/276607
29.74/18.86	c cleaning 7387 clauses out of 14773 with flag 25000/284602
30.59/19.36	c cleaning 8187 clauses out of 16386 with flag 34000/293602
31.45/19.90	c cleaning 9087 clauses out of 18199 with flag 44000/303602
32.80/20.60	c cleaning 10051 clauses out of 20116 with flag 55004/314606
33.85/21.28	c cleaning 11028 clauses out of 22061 with flag 67000/326602
35.10/21.98	c cleaning 12005 clauses out of 24033 with flag 80000/339602
36.53/22.72	c cleaning 13010 clauses out of 26028 with flag 94000/353602
38.06/23.62	c cleaning 14004 clauses out of 28018 with flag 109000/368602
39.69/24.51	c cleaning 14991 clauses out of 30014 with flag 125000/384602
41.32/25.45	c cleaning 16001 clauses out of 32025 with flag 142002/401604
42.95/26.40	c cleaning 17003 clauses out of 34024 with flag 160002/419604
45.08/27.50	c cleaning 17999 clauses out of 36021 with flag 179002/438604
46.92/28.58	c cleaning 18996 clauses out of 38021 with flag 199001/458603
49.14/29.75	c cleaning 20004 clauses out of 40024 with flag 220000/479602
51.33/30.96	c cleaning 21008 clauses out of 42023 with flag 242003/501605
53.82/32.31	c cleaning 22005 clauses out of 44012 with flag 265000/524602
56.24/33.67	c cleaning 23000 clauses out of 46010 with flag 289003/548605
59.04/35.17	c cleaning 24004 clauses out of 48009 with flag 314002/573604
61.81/36.60	c cleaning 24993 clauses out of 50003 with flag 340000/599602
64.69/38.26	c cleaning 25995 clauses out of 52010 with flag 367000/626602
67.66/39.82	c cleaning 27000 clauses out of 54015 with flag 395000/654602
70.64/41.50	c cleaning 27996 clauses out of 56015 with flag 424000/683602
74.04/43.21	c cleaning 28994 clauses out of 58019 with flag 454000/713602
77.29/45.07	c cleaning 29999 clauses out of 60026 with flag 485001/744603
80.44/46.76	c cleaning 31009 clauses out of 62026 with flag 517000/776602
83.81/48.59	c cleaning 31997 clauses out of 64017 with flag 550000/809602
87.57/50.53	c cleaning 33011 clauses out of 66021 with flag 584001/843603
91.35/52.69	c cleaning 33998 clauses out of 68009 with flag 619000/878602
95.69/54.94	c cleaning 34993 clauses out of 70016 with flag 655005/914607
100.40/57.42	c cleaning 36003 clauses out of 72019 with flag 692001/951603
104.72/59.73	c cleaning 37005 clauses out of 74018 with flag 730003/989605
109.25/62.29	c cleaning 37995 clauses out of 76011 with flag 769001/1028603
113.74/64.65	c cleaning 39008 clauses out of 78017 with flag 809002/1068604
118.44/67.16	c cleaning 40002 clauses out of 80009 with flag 850002/1109604
122.73/69.50	c cleaning 41000 clauses out of 82006 with flag 892001/1151603
127.62/72.19	c cleaning 42007 clauses out of 84014 with flag 935009/1194611
132.33/74.63	c cleaning 42991 clauses out of 85999 with flag 979001/1238603
137.42/77.39	c cleaning 43997 clauses out of 88009 with flag 1024002/1283604
142.68/80.15	c cleaning 45004 clauses out of 90010 with flag 1070000/1329602
147.94/83.05	c cleaning 45996 clauses out of 92007 with flag 1117001/1376603
153.39/85.90	c cleaning 46998 clauses out of 94010 with flag 1165000/1424602
159.64/89.23	c cleaning 48002 clauses out of 96012 with flag 1214000/1473602
165.72/92.42	c cleaning 48990 clauses out of 98014 with flag 1264004/1523606
171.78/95.76	c cleaning 50002 clauses out of 100022 with flag 1315002/1574604
178.26/99.10	c cleaning 51006 clauses out of 102019 with flag 1367001/1626603
184.32/102.35	c cleaning 51997 clauses out of 104012 with flag 1420000/1679602
190.76/105.77	c cleaning 52995 clauses out of 106015 with flag 1474000/1733602
197.21/109.26	c cleaning 54008 clauses out of 108020 with flag 1529000/1788602
204.25/112.98	c cleaning 55004 clauses out of 110013 with flag 1585001/1844603
211.11/116.56	c cleaning 55992 clauses out of 112008 with flag 1642000/1901602
217.94/120.19	c cleaning 56990 clauses out of 114016 with flag 1700000/1959602
225.20/124.01	c cleaning 58001 clauses out of 116026 with flag 1759000/2018602
232.07/127.65	c cleaning 58999 clauses out of 118025 with flag 1819000/2078602
238.90/131.26	c cleaning 60008 clauses out of 120027 with flag 1880001/2139603
246.15/135.00	c cleaning 61002 clauses out of 122018 with flag 1942000/2201602
253.40/138.98	c cleaning 62000 clauses out of 124016 with flag 2005000/2264602
260.85/142.86	c cleaning 63003 clauses out of 126016 with flag 2069000/2328602
268.49/146.83	c cleaning 63997 clauses out of 128013 with flag 2134000/2393602
276.74/151.20	c cleaning 65002 clauses out of 130017 with flag 2200001/2459603
285.59/155.84	c cleaning 65993 clauses out of 132014 with flag 2267000/2526602
293.04/159.79	c cleaning 67006 clauses out of 134021 with flag 2335000/2594602
301.08/163.99	c cleaning 67996 clauses out of 136017 with flag 2404002/2663604
308.72/167.98	c cleaning 69005 clauses out of 138019 with flag 2474000/2733602
317.14/172.41	c cleaning 69993 clauses out of 140014 with flag 2545000/2804602
325.58/176.83	c cleaning 70997 clauses out of 142024 with flag 2617003/2876605
334.02/181.21	c cleaning 72000 clauses out of 144026 with flag 2690002/2949604
342.65/185.76	c cleaning 72997 clauses out of 146024 with flag 2764000/3023602
352.06/190.73	c cleaning 73999 clauses out of 148029 with flag 2839002/3098604
361.90/195.86	c cleaning 75007 clauses out of 150032 with flag 2915004/3174606
370.93/200.57	c cleaning 76008 clauses out of 152021 with flag 2992000/3251602
382.17/206.31	c cleaning 76996 clauses out of 154013 with flag 3070000/3329602
392.80/211.95	c cleaning 77998 clauses out of 156017 with flag 3149000/3408602
402.84/217.11	c cleaning 79006 clauses out of 158019 with flag 3229000/3488602
412.50/222.12	c cleaning 80007 clauses out of 160016 with flag 3310003/3569605
421.91/227.01	c cleaning 80988 clauses out of 162006 with flag 3392000/3651602
432.72/232.75	c cleaning 82000 clauses out of 164018 with flag 3475000/3734602
441.76/237.43	c cleaning 83001 clauses out of 166018 with flag 3559000/3818602
450.98/242.28	c cleaning 83998 clauses out of 168018 with flag 3644001/3903603
461.61/247.77	c cleaning 84999 clauses out of 170020 with flag 3730001/3989603
473.25/253.85	c cleaning 86003 clauses out of 172021 with flag 3817001/4076603
484.09/259.40	c cleaning 86993 clauses out of 174018 with flag 3905001/4164603
494.71/264.97	c cleaning 88007 clauses out of 176024 with flag 3994000/4253602
505.96/270.74	c cleaning 88989 clauses out of 178019 with flag 4084002/4343604
517.18/276.66	c cleaning 89999 clauses out of 180033 with flag 4175005/4434607
527.22/281.85	c cleaning 90989 clauses out of 182029 with flag 4267000/4526602
537.85/287.32	c cleaning 92015 clauses out of 184040 with flag 4360000/4619602
549.89/293.54	c cleaning 93002 clauses out of 186027 with flag 4454002/4713604
561.80/299.72	c cleaning 94005 clauses out of 188023 with flag 4549000/4808602
574.83/306.47	c cleaning 94990 clauses out of 190019 with flag 4645001/4904603
587.71/313.03	c cleaning 96006 clauses out of 192028 with flag 4742000/5001602
601.68/320.18	c cleaning 96998 clauses out of 194022 with flag 4840000/5099602
614.55/326.81	c cleaning 98002 clauses out of 196024 with flag 4939000/5198602
628.05/333.71	c cleaning 98999 clauses out of 198022 with flag 5039000/5298602
640.96/340.32	c cleaning 99994 clauses out of 200023 with flag 5140000/5399602
655.37/347.77	c cleaning 100994 clauses out of 202029 with flag 5242000/5501602
669.94/355.35	c cleaning 102003 clauses out of 204036 with flag 5345001/5604603
682.94/362.00	c cleaning 103007 clauses out of 206032 with flag 5449000/5708602
696.95/369.28	c cleaning 103996 clauses out of 208025 with flag 5554000/5813602
711.56/376.78	c cleaning 104993 clauses out of 210029 with flag 5660000/5919602
725.35/383.93	c cleaning 106004 clauses out of 212039 with flag 5767003/6026605
739.74/391.31	c cleaning 107000 clauses out of 214033 with flag 5875001/6134603
753.96/398.66	c cleaning 108009 clauses out of 216032 with flag 5984000/6243602
771.17/407.42	c cleaning 108996 clauses out of 218023 with flag 6094000/6353602
786.15/415.25	c cleaning 109990 clauses out of 220027 with flag 6205000/6464602
800.75/422.78	c cleaning 110997 clauses out of 222041 with flag 6317004/6576606
817.56/431.34	c cleaning 112018 clauses out of 224041 with flag 6430001/6689603
833.36/439.49	c cleaning 112991 clauses out of 226024 with flag 6544002/6803604
848.75/447.42	c cleaning 113997 clauses out of 228032 with flag 6659001/6918603
865.36/455.96	c cleaning 115013 clauses out of 230036 with flag 6775002/7034604
883.16/465.02	c cleaning 115989 clauses out of 232021 with flag 6892000/7151602
901.36/474.39	c cleaning 116996 clauses out of 234034 with flag 7010002/7269604
918.93/483.47	c cleaning 117997 clauses out of 236036 with flag 7129000/7388602
937.53/492.91	c cleaning 119010 clauses out of 238039 with flag 7249000/7508602
955.93/502.36	c cleaning 120014 clauses out of 240031 with flag 7370002/7629604
973.93/511.56	c cleaning 121003 clauses out of 242015 with flag 7492000/7751602
991.29/520.53	c cleaning 121992 clauses out of 244012 with flag 7615000/7874602
1009.50/529.86	c cleaning 122991 clauses out of 246020 with flag 7739000/7998602
1027.70/539.18	c cleaning 123999 clauses out of 248029 with flag 7864000/8123602
1046.90/548.98	c cleaning 125001 clauses out of 250032 with flag 7990002/8249604
1064.04/557.88	c cleaning 125995 clauses out of 252029 with flag 8117000/8376602
1080.44/566.24	c cleaning 127014 clauses out of 254035 with flag 8245001/8504603
1100.25/576.39	c cleaning 128002 clauses out of 256022 with flag 8374002/8633604
1118.83/585.85	c cleaning 128999 clauses out of 258018 with flag 8504000/8763602
1136.64/595.01	c cleaning 129998 clauses out of 260019 with flag 8635000/8894602
1153.02/603.40	c cleaning 130992 clauses out of 262021 with flag 8767000/9026602
1173.42/613.85	c cleaning 131994 clauses out of 264029 with flag 8900000/9159602
1193.20/623.93	c cleaning 132994 clauses out of 266035 with flag 9034000/9293602
1215.20/635.27	c cleaning 134022 clauses out of 268047 with flag 9169006/9428608
1236.39/646.08	c cleaning 135003 clauses out of 270020 with flag 9305001/9564603
1256.99/656.57	c cleaning 135997 clauses out of 272017 with flag 9442001/9701603
1276.79/666.68	c cleaning 137000 clauses out of 274024 with flag 9580005/9839607
1294.39/675.76	c cleaning 137988 clauses out of 276019 with flag 9719000/9978602
1314.57/686.00	c cleaning 139009 clauses out of 278035 with flag 9859004/10118606
1334.38/696.20	c cleaning 139989 clauses out of 280023 with flag 10000001/10259603
1355.77/707.03	c cleaning 141012 clauses out of 282036 with flag 10142003/10401605
1378.99/718.99	c cleaning 142008 clauses out of 284021 with flag 10285000/10544602
1399.58/729.40	c cleaning 142996 clauses out of 286015 with flag 10429002/10688604
1420.37/740.06	c cleaning 144000 clauses out of 288017 with flag 10574000/10833602
1440.37/750.25	c cleaning 144995 clauses out of 290017 with flag 10720000/10979602
1462.49/761.60	c cleaning 145999 clauses out of 292025 with flag 10867003/11126605
1483.29/772.21	c cleaning 146994 clauses out of 294023 with flag 11015000/11274602
1502.86/782.20	c cleaning 147983 clauses out of 296029 with flag 11164000/11423602
1526.24/794.14	c cleaning 149014 clauses out of 298046 with flag 11314000/11573602
1547.63/805.11	c cleaning 150010 clauses out of 300033 with flag 11465001/11724603
1569.21/816.19	c cleaning 150999 clauses out of 302023 with flag 11617001/11876603
1593.58/828.61	c cleaning 152003 clauses out of 304023 with flag 11770000/12029602
1617.47/840.76	c cleaning 153000 clauses out of 306022 with flag 11924002/12183604
1640.47/852.30	c cleaning 154014 clauses out of 308027 with flag 12079007/12338609
1666.68/865.52	c cleaning 154975 clauses out of 310007 with flag 12235001/12494603
1692.89/878.77	c cleaning 155994 clauses out of 312031 with flag 12392000/12651602
1719.19/892.10	c cleaning 0 clauses out of 6278 with flag 0/6278
1721.94/893.69	c cleaning 157001 clauses out of 314039 with flag 12550002/12809604
1745.67/905.68	c cleaning 157986 clauses out of 316036 with flag 12709000/12968602
1748.63/907.35	c  And the winner is solver1
1748.96/907.74	c Got one! Elapsed wall clock time (in seconds):907.639
1748.96/907.74	o 23
1751.07/908.81	c cleaning 95274 clauses out of 190554 with flag 5000/13001106
1753.04/910.24	c cleaning 50634 clauses out of 101280 with flag 11000/13007106
1754.38/911.14	c cleaning 28811 clauses out of 57647 with flag 18001/13014107
1755.52/911.97	c cleaning 18417 clauses out of 36836 with flag 26001/13022107
1756.87/912.83	c cleaning 13697 clauses out of 27418 with flag 35000/13031106
1758.51/914.02	c cleaning 11846 clauses out of 23722 with flag 45001/13041107
1759.84/914.97	c cleaning 11435 clauses out of 22877 with flag 56002/13052108
1761.39/915.93	c cleaning 11706 clauses out of 23441 with flag 68001/13064107
1762.93/916.94	c cleaning 12359 clauses out of 24737 with flag 81003/13077109
1764.92/918.33	c cleaning 13185 clauses out of 26376 with flag 95001/13091107
1766.67/919.44	c cleaning 14096 clauses out of 28192 with flag 110002/13106108
1768.64/920.62	c cleaning 15043 clauses out of 30096 with flag 126002/13122108
1770.58/921.86	c cleaning 16022 clauses out of 32051 with flag 143000/13139106
1772.96/923.48	c cleaning 17006 clauses out of 34030 with flag 161001/13157107
1775.48/924.90	c cleaning 18005 clauses out of 36023 with flag 180000/13176106
1777.80/926.30	c cleaning 18993 clauses out of 38018 with flag 200000/13196106
1780.13/927.73	c cleaning 20003 clauses out of 40027 with flag 221002/13217108
1782.97/929.55	c cleaning 20987 clauses out of 42022 with flag 243000/13239106
1785.69/931.12	c cleaning 22004 clauses out of 44036 with flag 266001/13262107
1788.43/932.79	c cleaning 23004 clauses out of 46031 with flag 290000/13286106
1791.53/934.53	c cleaning 24009 clauses out of 48029 with flag 315002/13311108
1794.77/936.55	c cleaning 24999 clauses out of 50018 with flag 341000/13337106
1797.68/938.28	c cleaning 25991 clauses out of 52024 with flag 368005/13364111
1800.19/939.71	c starts		: 38
1800.19/939.71	c conflicts		: 6831
1800.19/939.71	c decisions		: 66245
1800.19/939.71	c propagations		: 244030
1800.19/939.71	c inspects		: 124151912
1800.19/939.71	c shortcuts		: 0
1800.19/939.71	c learnt literals	: 0
1800.19/939.71	c learnt binary clauses	: 0
1800.19/939.71	c learnt ternary clauses	: 0
1800.19/939.71	c learnt constraints	: 6831
1800.19/939.71	c ignored constraints	: 0
1800.19/939.71	c root simplifications	: 0
1800.19/939.71	c removed literals (reason simplification)	: 0
1800.19/939.71	c reason swapping (by a shorter reason)	: 0
1800.19/939.71	c Calls to reduceDB	: 1
1800.19/939.71	c number of reductions to clauses (during analyze)	: 0
1800.19/939.71	c number of learned constraints concerned by reduction	: 0
1800.19/939.71	c number of learning phase by resolution	: 0
1800.19/939.71	c number of learning phase by cutting planes	: 0
1800.19/939.71	c speed (assignments/second)	: 259.8712304667949
1800.19/939.71	c non guided choices	0
1800.19/939.71	c learnt constraints type 
1800.19/939.71	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 267
1800.19/939.71	c org.sat4j.pb.constraints.pb.MaxWatchPb => 6564
1800.19/939.71	c constraints type 
1800.19/939.71	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 100
1800.19/939.71	c org.sat4j.minisat.constraints.card.MinWatchCard => 1
1800.19/939.71	c 101 constraints processed.
1800.19/939.71	c constraints type 
1800.19/939.71	c org.sat4j.pb.constraints.pb.OriginalHTClausePB => 100
1800.19/939.71	c org.sat4j.pb.constraints.pb.MinWatchCardPB => 1
1800.19/939.71	c 101 constraints processed.
1800.19/939.71	s SATISFIABLE
1800.19/939.71	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 
1800.19/939.71	c objective function=23
1800.19/939.71	c Total wall clock time (in seconds): 939.614

Verifier Data 

OK	23

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3688152-1337875760/watcher-3688152-1337875760 -o /tmp/evaluation-result-3688152-1337875760/solver-3688152-1337875760 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar Both HOME/instance-3688152-1337875760.opb 

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: 3.99 3.95 3.76 4/197 23612
/proc/meminfo: memFree=27214648/32873648 swapFree=6852/6852
[pid=23612] ppid=23610 vsize=91816 CPUtime=0 cores=1,3,5,7
/proc/23612/stat : 23612 (java) S 23610 23612 21497 0 -1 4202496 1205 0 0 0 0 0 0 0 20 0 2 0 253702013 94019584 917 33554432000 1073741824 1073778376 140734856942240 140734856933376 266439000125 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23612/statm: 23225 918 697 9 0 16769 0
[pid=23612/tid=23613] ppid=23610 vsize=92900 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23613/stat : 23613 (java) R 23610 23612 21497 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 2 0 253702013 95129600 927 33554432000 1073741824 1073778376 140734856942240 140548397932072 266426477863 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.0394519 s]
/proc/loadavg: 3.99 3.95 3.76 4/197 23612
/proc/meminfo: memFree=27214648/32873648 swapFree=6852/6852
[pid=23612] ppid=23610 vsize=9225560 CPUtime=0.02 cores=1,3,5,7
/proc/23612/stat : 23612 (java) S 23610 23612 21497 0 -1 4202496 3059 0 1 0 2 0 0 0 20 0 13 0 253702013 9446973440 3757 33554432000 1073741824 1073778376 140734856942240 140734856933376 266439000125 0 0 0 16800971 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23612/statm: 2306390 3757 1707 9 0 2297091 0
[pid=23612/tid=23613] ppid=23610 vsize=9225560 CPUtime=0.01 cores=1,3,5,7
/proc/23612/task/23613/stat : 23613 (java) R 23610 23612 21497 0 -1 4202560 1878 0 1 0 1 0 0 0 20 0 13 0 253702013 9446973440 3758 33554432000 1073741824 1073778376 140734856942240 140548397932784 140548405701459 0 4 0 16800971 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9225560

[startup+0.100233 s]
/proc/loadavg: 3.99 3.95 3.76 4/197 23612
/proc/meminfo: memFree=27214648/32873648 swapFree=6852/6852
[pid=23612] ppid=23610 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/23612/stat : 23612 (java) S 23610 23612 21497 0 -1 4202496 4501 0 1 0 10 1 0 0 20 0 18 0 253702013 9787813888 6143 33554432000 1073741824 1073778376 140734856942240 140734856933376 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23612/statm: 2389603 6143 2142 9 0 2380296 0
[pid=23612/tid=23613] ppid=23610 vsize=9558412 CPUtime=0.08 cores=1,3,5,7
/proc/23612/task/23613/stat : 23613 (java) R 23610 23612 21497 0 -1 4202560 2429 0 1 0 6 2 0 0 20 0 18 0 253702013 9787813888 6143 33554432000 1073741824 1073778376 140734856942240 140548397935536 266439025933 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412

[startup+0.300242 s]
/proc/loadavg: 3.99 3.95 3.76 4/197 23612
/proc/meminfo: memFree=27214648/32873648 swapFree=6852/6852
[pid=23612] ppid=23610 vsize=9824668 CPUtime=0.21 cores=1,3,5,7
/proc/23612/stat : 23612 (java) S 23610 23612 21497 0 -1 4202496 4829 0 1 0 20 1 0 0 20 0 19 0 253702013 10060460032 7440 33554432000 1073741824 1073778376 140734856942240 140734856933376 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23612/statm: 2456167 7440 2194 9 0 2446860 0
[pid=23612/tid=23613] ppid=23610 vsize=9824668 CPUtime=0.15 cores=1,3,5,7
/proc/23612/task/23613/stat : 23613 (java) S 23610 23612 21497 0 -1 4202560 2452 0 1 0 13 2 0 0 20 0 19 0 253702013 10060460032 7440 33554432000 1073741824 1073778376 140734856942240 140548397937656 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 9824668

[startup+0.700158 s]
/proc/loadavg: 3.99 3.95 3.76 4/197 23612
/proc/meminfo: memFree=27214648/32873648 swapFree=6852/6852
[pid=23612] ppid=23610 vsize=9824668 CPUtime=0.31 cores=1,3,5,7
/proc/23612/stat : 23612 (java) S 23610 23612 21497 0 -1 4202496 6325 0 1 0 30 1 0 0 20 0 22 0 253702013 10060460032 9483 33554432000 1073741824 1073778376 140734856942240 140734856933376 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23612/statm: 2456167 9483 2213 9 0 2446860 0
[pid=23612/tid=23613] ppid=23610 vsize=9824668 CPUtime=0.15 cores=1,3,5,7
/proc/23612/task/23613/stat : 23613 (java) S 23610 23612 21497 0 -1 4202560 2452 0 1 0 13 2 0 0 20 0 22 0 253702013 10060460032 9483 33554432000 1073741824 1073778376 140734856942240 140548397937656 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 9824668

[startup+1.50072 s]
/proc/loadavg: 3.99 3.95 3.76 3/216 23637
/proc/meminfo: memFree=27180552/32873648 swapFree=6852/6852
[pid=23612] ppid=23610 vsize=9824668 CPUtime=1.12 cores=1,3,5,7
/proc/23612/stat : 23612 (java) S 23610 23612 21497 0 -1 4202496 14782 0 1 0 106 6 0 0 20 0 19 0 253702013 10060460032 15092 33554432000 1073741824 1073778376 140734856942240 140734856933376 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23612/statm: 2456167 15092 2238 9 0 2446860 0
[pid=23612/tid=23613] ppid=23610 vsize=9824668 CPUtime=0.16 cores=1,3,5,7
/proc/23612/task/23613/stat : 23613 (java) S 23610 23612 21497 0 -1 4202560 2453 0 1 0 14 2 0 0 20 0 19 0 253702013 10060460032 15092 33554432000 1073741824 1073778376 140734856942240 140548397937656 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23615] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23615/stat : 23615 (java) S 23610 23612 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253702014 10060460032 15092 33554432000 1073741824 1073778376 140734856942240 140548241521192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23612/tid=23616] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23616/stat : 23616 (java) S 23610 23612 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253702014 10060460032 15092 33554432000 1073741824 1073778376 140734856942240 140548240468392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23617] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23617/stat : 23617 (java) S 23610 23612 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253702014 10060460032 15092 33554432000 1073741824 1073778376 140734856942240 140548239415592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23612/tid=23618] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23618/stat : 23618 (java) S 23610 23612 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253702014 10060460032 15092 33554432000 1073741824 1073778376 140734856942240 140548238362792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23612/tid=23619] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23619/stat : 23619 (java) S 23610 23612 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253702014 10060460032 15092 33554432000 1073741824 1073778376 140734856942240 140548237311016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23612/tid=23620] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23620/stat : 23620 (java) S 23610 23612 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253702014 10060460032 15092 33554432000 1073741824 1073778376 140734856942240 140548236258216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23612/tid=23621] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23621/stat : 23621 (java) S 23610 23612 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253702014 10060460032 15092 33554432000 1073741824 1073778376 140734856942240 140548235205416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23612/tid=23622] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23622/stat : 23622 (java) S 23610 23612 21497 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253702014 10060460032 15092 33554432000 1073741824 1073778376 140734856942240 140548234152616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23612/tid=23623] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23623/stat : 23623 (java) S 23610 23612 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253702015 10060460032 15092 33554432000 1073741824 1073778376 140734856942240 140548221954536 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23624] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23624/stat : 23624 (java) S 23610 23612 21497 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 253702015 10060460032 15092 33554432000 1073741824 1073778376 140734856942240 140548220900600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23612/tid=23625] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23625/stat : 23625 (java) S 23610 23612 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253702015 10060460032 15092 33554432000 1073741824 1073778376 140734856942240 140548219847688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23612/tid=23626] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23626/stat : 23626 (java) S 23610 23612 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253702017 10060460032 15092 33554432000 1073741824 1073778376 140734856942240 140548218796176 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23612/tid=23627] ppid=23610 vsize=9824668 CPUtime=0.44 cores=1,3,5,7
/proc/23612/task/23627/stat : 23627 (java) S 23610 23612 21497 0 -1 4202560 8915 0 0 0 43 1 0 0 20 0 19 0 253702017 10060460032 15092 33554432000 1073741824 1073778376 140734856942240 140548217744312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23612/tid=23628] ppid=23610 vsize=9824668 CPUtime=0.19 cores=1,3,5,7
/proc/23612/task/23628/stat : 23628 (java) S 23610 23612 21497 0 -1 4202560 2088 0 0 0 19 0 0 0 20 0 19 0 253702017 10060460032 15092 33554432000 1073741824 1073778376 140734856942240 140548216691512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23629] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23629/stat : 23629 (java) S 23610 23612 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253702017 10060460032 15092 33554432000 1073741824 1073778376 140734856942240 140548215638904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23612/tid=23630] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23630/stat : 23630 (java) S 23610 23612 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253702017 10060460032 15092 33554432000 1073741824 1073778376 140734856942240 140548214586312 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23637] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23637/stat : 23637 (java) S 23610 23612 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253702080 10060460032 15092 33554432000 1073741824 1073778376 140734856942240 140548210374056 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.12
Current children cumulated vsize (KiB) 9824668

[startup+3.10065 s]
/proc/loadavg: 3.99 3.95 3.76 3/216 23646
/proc/meminfo: memFree=27143756/32873648 swapFree=6852/6852
[pid=23612] ppid=23610 vsize=9824668 CPUtime=2.69 cores=1,3,5,7
/proc/23612/stat : 23612 (java) S 23610 23612 21497 0 -1 4202496 23780 0 1 0 255 14 0 0 20 0 19 0 253702013 10060460032 25963 33554432000 1073741824 1073778376 140734856942240 140734856933376 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23612/statm: 2456167 25963 2275 9 0 2446860 0
[pid=23612/tid=23613] ppid=23610 vsize=9824668 CPUtime=0.16 cores=1,3,5,7
/proc/23612/task/23613/stat : 23613 (java) S 23610 23612 21497 0 -1 4202560 2453 0 1 0 14 2 0 0 20 0 19 0 253702013 10060460032 25963 33554432000 1073741824 1073778376 140734856942240 140548397937656 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23615] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23615/stat : 23615 (java) S 23610 23612 21497 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253702014 10060460032 25963 33554432000 1073741824 1073778376 140734856942240 140548241521192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23612/tid=23616] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23616/stat : 23616 (java) S 23610 23612 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253702014 10060460032 25963 33554432000 1073741824 1073778376 140734856942240 140548240468392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23617] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23617/stat : 23617 (java) S 23610 23612 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253702014 10060460032 25963 33554432000 1073741824 1073778376 140734856942240 140548239415592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23612/tid=23618] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23618/stat : 23618 (java) S 23610 23612 21497 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 253702014 10060460032 25963 33554432000 1073741824 1073778376 140734856942240 140548238362792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23612/tid=23619] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23619/stat : 23619 (java) S 23610 23612 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253702014 10060460032 25963 33554432000 1073741824 1073778376 140734856942240 140548237311016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23620] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23620/stat : 23620 (java) S 23610 23612 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253702014 10060460032 25963 33554432000 1073741824 1073778376 140734856942240 140548236258216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23612/tid=23621] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23621/stat : 23621 (java) S 23610 23612 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253702014 10060460032 25963 33554432000 1073741824 1073778376 140734856942240 140548235205416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23612/tid=23622] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23622/stat : 23622 (java) S 23610 23612 21497 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253702014 10060460032 25963 33554432000 1073741824 1073778376 140734856942240 140548234152616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23612/tid=23623] ppid=23610 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/23612/task/23623/stat : 23623 (java) S 23610 23612 21497 0 -1 4202560 29 0 0 0 1 0 0 0 20 0 19 0 253702015 10060460032 25963 33554432000 1073741824 1073778376 140734856942240 140548221954536 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23624] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23624/stat : 23624 (java) S 23610 23612 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253702015 10060460032 25963 33554432000 1073741824 1073778376 140734856942240 140548220900600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23612/tid=23625] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23625/stat : 23625 (java) S 23610 23612 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253702015 10060460032 25963 33554432000 1073741824 1073778376 140734856942240 140548219847688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23612/tid=23626] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23626/stat : 23626 (java) S 23610 23612 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253702017 10060460032 25963 33554432000 1073741824 1073778376 140734856942240 140548218796176 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23612/tid=23627] ppid=23610 vsize=9824668 CPUtime=0.81 cores=1,3,5,7
/proc/23612/task/23627/stat : 23627 (java) S 23610 23612 21497 0 -1 4202560 8978 0 0 0 79 2 0 0 20 0 19 0 253702017 10060460032 25963 33554432000 1073741824 1073778376 140734856942240 140548217744312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23612/tid=23628] ppid=23610 vsize=9824668 CPUtime=0.7 cores=1,3,5,7
/proc/23612/task/23628/stat : 23628 (java) S 23610 23612 21497 0 -1 4202560 10938 0 0 0 68 2 0 0 20 0 19 0 253702017 10060460032 25963 33554432000 1073741824 1073778376 140734856942240 140548216691512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23612/tid=23629] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23629/stat : 23629 (java) S 23610 23612 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253702017 10060460032 25963 33554432000 1073741824 1073778376 140734856942240 140548215638904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23612/tid=23630] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23630/stat : 23630 (java) S 23610 23612 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253702017 10060460032 25963 33554432000 1073741824 1073778376 140734856942240 140548214586312 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23637] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23637/stat : 23637 (java) S 23610 23612 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253702080 10060460032 25963 33554432000 1073741824 1073778376 140734856942240 140548210374056 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.69
Current children cumulated vsize (KiB) 9824668

[startup+6.30074 s]
/proc/loadavg: 3.99 3.95 3.76 5/219 23658
/proc/meminfo: memFree=27040484/32873648 swapFree=6852/6852
[pid=23612] ppid=23610 vsize=9824668 CPUtime=8.21 cores=1,3,5,7
/proc/23612/stat : 23612 (java) S 23610 23612 21497 0 -1 4202496 23909 0 1 0 801 20 0 0 20 0 22 0 253702013 10060460032 46932 33554432000 1073741824 1073778376 140734856942240 140734856933376 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23612/statm: 2456167 46932 2279 9 0 2446860 0
[pid=23612/tid=23613] ppid=23610 vsize=9824668 CPUtime=0.16 cores=1,3,5,7
/proc/23612/task/23613/stat : 23613 (java) S 23610 23612 21497 0 -1 4202560 2455 0 1 0 14 2 0 0 20 0 22 0 253702013 10060460032 46932 33554432000 1073741824 1073778376 140734856942240 140548397937656 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23615] ppid=23610 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/23612/task/23615/stat : 23615 (java) S 23610 23612 21497 0 -1 4202560 9 0 0 0 1 0 0 0 20 0 22 0 253702014 10060460032 46932 33554432000 1073741824 1073778376 140734856942240 140548241521192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23616] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23616/stat : 23616 (java) S 23610 23612 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253702014 10060460032 46932 33554432000 1073741824 1073778376 140734856942240 140548240468392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23617] ppid=23610 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/23612/task/23617/stat : 23617 (java) S 23610 23612 21497 0 -1 4202560 7 0 0 0 1 0 0 0 20 0 22 0 253702014 10060460032 46932 33554432000 1073741824 1073778376 140734856942240 140548239415592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23612/tid=23618] ppid=23610 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/23612/task/23618/stat : 23618 (java) S 23610 23612 21497 0 -1 4202560 23 0 0 0 1 0 0 0 20 0 22 0 253702014 10060460032 46932 33554432000 1073741824 1073778376 140734856942240 140548238362792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23619] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23619/stat : 23619 (java) S 23610 23612 21497 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 22 0 253702014 10060460032 46932 33554432000 1073741824 1073778376 140734856942240 140548237311016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23612/tid=23620] ppid=23610 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/23612/task/23620/stat : 23620 (java) S 23610 23612 21497 0 -1 4202560 12 0 0 0 1 0 0 0 20 0 22 0 253702014 10060460032 46932 33554432000 1073741824 1073778376 140734856942240 140548236258216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23612/tid=23621] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23621/stat : 23621 (java) S 23610 23612 21497 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 22 0 253702014 10060460032 46932 33554432000 1073741824 1073778376 140734856942240 140548235205416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23612/tid=23622] ppid=23610 vsize=9824668 CPUtime=0.01 cores=1,3,5,7
/proc/23612/task/23622/stat : 23622 (java) S 23610 23612 21497 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 22 0 253702014 10060460032 46932 33554432000 1073741824 1073778376 140734856942240 140548234152616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23623] ppid=23610 vsize=9824668 CPUtime=0.53 cores=1,3,5,7
/proc/23612/task/23623/stat : 23623 (java) S 23610 23612 21497 0 -1 4202560 44 0 0 0 51 2 0 0 20 0 22 0 253702015 10060460032 46932 33554432000 1073741824 1073778376 140734856942240 140548221954536 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23612/tid=23624] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23624/stat : 23624 (java) S 23610 23612 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253702015 10060460032 46932 33554432000 1073741824 1073778376 140734856942240 140548220900600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23612/tid=23625] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23625/stat : 23625 (java) S 23610 23612 21497 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 22 0 253702015 10060460032 46932 33554432000 1073741824 1073778376 140734856942240 140548219847688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23612/tid=23626] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23626/stat : 23626 (java) S 23610 23612 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702017 10060460032 46932 33554432000 1073741824 1073778376 140734856942240 140548218796176 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23612/tid=23627] ppid=23610 vsize=9824668 CPUtime=1.04 cores=1,3,5,7
/proc/23612/task/23627/stat : 23627 (java) S 23610 23612 21497 0 -1 4202560 8989 0 0 0 102 2 0 0 20 0 22 0 253702017 10060460032 46932 33554432000 1073741824 1073778376 140734856942240 140548217744312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23612/tid=23628] ppid=23610 vsize=9824668 CPUtime=0.89 cores=1,3,5,7
/proc/23612/task/23628/stat : 23628 (java) S 23610 23612 21497 0 -1 4202560 10941 0 0 0 87 2 0 0 20 0 22 0 253702017 10060460032 46932 33554432000 1073741824 1073778376 140734856942240 140548216691512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0

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

[pid=23612/tid=23668] ppid=23610 vsize=9824668 CPUtime=744.34 cores=1,3,5,7
/proc/23612/task/23668/stat : 23668 (java) R 23610 23612 21497 0 -1 4202560 38 0 0 0 74420 14 0 0 20 0 22 0 253703746 10060460032 369206 33554432000 1073741824 1073778376 140734856942240 140548212478928 140548258608125 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23669] ppid=23610 vsize=9824668 CPUtime=745.06 cores=1,3,5,7
/proc/23612/task/23669/stat : 23669 (java) R 23610 23612 21497 0 -1 4202560 357 0 0 0 74484 22 0 0 20 0 22 0 253703746 10060460032 369206 33554432000 1073741824 1073778376 140734856942240 140548211425000 140548258939878 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23612/tid=23670] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23670/stat : 23670 (java) S 23610 23612 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253703746 10060460032 369206 33554432000 1073741824 1073778376 140734856942240 140548213531688 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1580.64
Current children cumulated vsize (KiB) 9824668

[startup+882.301 s]
/proc/loadavg: 3.86 3.90 3.82 6/219 23768
/proc/meminfo: memFree=26319100/32873648 swapFree=6852/6852
[pid=23612] ppid=23610 vsize=9824668 CPUtime=1699.31 cores=1,3,5,7
/proc/23612/stat : 23612 (java) S 23610 23612 21497 0 -1 4202496 33024 0 1 0 169762 169 0 0 20 0 22 0 253702013 10060460032 609661 33554432000 1073741824 1073778376 140734856942240 140734856933376 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23612/statm: 2456167 609661 2280 9 0 2446860 0
[pid=23612/tid=23613] ppid=23610 vsize=9824668 CPUtime=0.19 cores=1,3,5,7
/proc/23612/task/23613/stat : 23613 (java) S 23610 23612 21497 0 -1 4202560 2573 0 1 0 17 2 0 0 20 0 22 0 253702013 10060460032 609661 33554432000 1073741824 1073778376 140734856942240 140548397937656 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23615] ppid=23610 vsize=9824668 CPUtime=1.05 cores=1,3,5,7
/proc/23612/task/23615/stat : 23615 (java) S 23610 23612 21497 0 -1 4202560 1463 0 0 0 99 6 0 0 20 0 22 0 253702014 10060460032 609661 33554432000 1073741824 1073778376 140734856942240 140548241521192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23616] ppid=23610 vsize=9824668 CPUtime=1.15 cores=1,3,5,7
/proc/23612/task/23616/stat : 23616 (java) S 23610 23612 21497 0 -1 4202560 730 0 0 0 108 7 0 0 20 0 22 0 253702014 10060460032 609661 33554432000 1073741824 1073778376 140734856942240 140548240468392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23612/tid=23617] ppid=23610 vsize=9824668 CPUtime=1.08 cores=1,3,5,7
/proc/23612/task/23617/stat : 23617 (java) S 23610 23612 21497 0 -1 4202560 1051 0 0 0 99 9 0 0 20 0 22 0 253702014 10060460032 609661 33554432000 1073741824 1073778376 140734856942240 140548239415592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23612/tid=23618] ppid=23610 vsize=9824668 CPUtime=1.05 cores=1,3,5,7
/proc/23612/task/23618/stat : 23618 (java) S 23610 23612 21497 0 -1 4202560 364 0 0 0 98 7 0 0 20 0 22 0 253702014 10060460032 609661 33554432000 1073741824 1073778376 140734856942240 140548238362792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23612/tid=23619] ppid=23610 vsize=9824668 CPUtime=1.12 cores=1,3,5,7
/proc/23612/task/23619/stat : 23619 (java) S 23610 23612 21497 0 -1 4202560 640 0 0 0 104 8 0 0 20 0 22 0 253702014 10060460032 609661 33554432000 1073741824 1073778376 140734856942240 140548237311016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23612/tid=23620] ppid=23610 vsize=9824668 CPUtime=1.21 cores=1,3,5,7
/proc/23612/task/23620/stat : 23620 (java) S 23610 23612 21497 0 -1 4202560 542 0 0 0 113 8 0 0 20 0 22 0 253702014 10060460032 609661 33554432000 1073741824 1073778376 140734856942240 140548236258216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23621] ppid=23610 vsize=9824668 CPUtime=1.19 cores=1,3,5,7
/proc/23612/task/23621/stat : 23621 (java) S 23610 23612 21497 0 -1 4202560 809 0 0 0 112 7 0 0 20 0 22 0 253702014 10060460032 609661 33554432000 1073741824 1073778376 140734856942240 140548235205416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23622] ppid=23610 vsize=9824668 CPUtime=0.98 cores=1,3,5,7
/proc/23612/task/23622/stat : 23622 (java) S 23610 23612 21497 0 -1 4202560 693 0 0 0 91 7 0 0 20 0 22 0 253702014 10060460032 609661 33554432000 1073741824 1073778376 140734856942240 140548234152616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23612/tid=23623] ppid=23610 vsize=9824668 CPUtime=64.64 cores=1,3,5,7
/proc/23612/task/23623/stat : 23623 (java) S 23610 23612 21497 0 -1 4202560 1816 0 0 0 6406 58 0 0 20 0 22 0 253702015 10060460032 609661 33554432000 1073741824 1073778376 140734856942240 140548221954536 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23624] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23624/stat : 23624 (java) S 23610 23612 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253702015 10060460032 609661 33554432000 1073741824 1073778376 140734856942240 140548220900600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23625] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23625/stat : 23625 (java) S 23610 23612 21497 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 253702015 10060460032 609661 33554432000 1073741824 1073778376 140734856942240 140548219847688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23612/tid=23626] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23626/stat : 23626 (java) S 23610 23612 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702017 10060460032 609661 33554432000 1073741824 1073778376 140734856942240 140548218796176 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23612/tid=23627] ppid=23610 vsize=9824668 CPUtime=1.04 cores=1,3,5,7
/proc/23612/task/23627/stat : 23627 (java) S 23610 23612 21497 0 -1 4202560 8989 0 0 0 102 2 0 0 20 0 22 0 253702017 10060460032 609661 33554432000 1073741824 1073778376 140734856942240 140548217744312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23612/tid=23628] ppid=23610 vsize=9824668 CPUtime=1 cores=1,3,5,7
/proc/23612/task/23628/stat : 23628 (java) S 23610 23612 21497 0 -1 4202560 10949 0 0 0 98 2 0 0 20 0 22 0 253702017 10060460032 609661 33554432000 1073741824 1073778376 140734856942240 140548216691512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23629] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23629/stat : 23629 (java) S 23610 23612 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702017 10060460032 609661 33554432000 1073741824 1073778376 140734856942240 140548215638904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23612/tid=23630] ppid=23610 vsize=9824668 CPUtime=0.21 cores=1,3,5,7
/proc/23612/task/23630/stat : 23630 (java) S 23610 23612 21497 0 -1 4202560 51 0 0 0 9 12 0 0 20 0 22 0 253702017 10060460032 609661 33554432000 1073741824 1073778376 140734856942240 140548214586312 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23637] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23637/stat : 23637 (java) S 23610 23612 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253702080 10060460032 609661 33554432000 1073741824 1073778376 140734856942240 140548210374056 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23612/tid=23668] ppid=23610 vsize=9824668 CPUtime=800.59 cores=1,3,5,7
/proc/23612/task/23668/stat : 23668 (java) R 23610 23612 21497 0 -1 4202560 55 0 0 0 80044 15 0 0 20 0 22 0 253703746 10060460032 609661 33554432000 1073741824 1073778376 140734856942240 140548212478560 140548258578817 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=23612/tid=23669] ppid=23610 vsize=9824668 CPUtime=801.32 cores=1,3,5,7
/proc/23612/task/23669/stat : 23669 (java) R 23610 23612 21497 0 -1 4202560 776 0 0 0 80104 28 0 0 20 0 22 0 253703746 10060460032 609661 33554432000 1073741824 1073778376 140734856942240 140548211423984 140548258940611 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23612/tid=23670] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23670/stat : 23670 (java) S 23610 23612 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253703746 10060460032 609661 33554432000 1073741824 1073778376 140734856942240 140548213531688 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1699.31
Current children cumulated vsize (KiB) 9824668



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+939.701 s]
/proc/loadavg: 3.67 3.83 3.80 5/219 23771
/proc/meminfo: memFree=23503004/32873648 swapFree=6852/6852
[pid=23612] ppid=23610 vsize=9824668 CPUtime=1800.19 cores=1,3,5,7
/proc/23612/stat : 23612 (java) S 23610 23612 21497 0 -1 4202496 39026 0 1 0 179801 218 0 0 20 0 22 0 253702013 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140734856933376 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23612/statm: 2456167 666381 2280 9 0 2446860 0
[pid=23612/tid=23613] ppid=23610 vsize=9824668 CPUtime=0.2 cores=1,3,5,7
/proc/23612/task/23613/stat : 23613 (java) S 23610 23612 21497 0 -1 4202560 2596 0 1 0 17 3 0 0 20 0 22 0 253702013 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548397937656 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23615] ppid=23610 vsize=9824668 CPUtime=1.39 cores=1,3,5,7
/proc/23612/task/23615/stat : 23615 (java) S 23610 23612 21497 0 -1 4202560 1647 0 0 0 131 8 0 0 20 0 22 0 253702014 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548241521192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23612/tid=23616] ppid=23610 vsize=9824668 CPUtime=1.4 cores=1,3,5,7
/proc/23612/task/23616/stat : 23616 (java) S 23610 23612 21497 0 -1 4202560 754 0 0 0 132 8 0 0 20 0 22 0 253702014 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548240468392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23612/tid=23617] ppid=23610 vsize=9824668 CPUtime=1.4 cores=1,3,5,7
/proc/23612/task/23617/stat : 23617 (java) S 23610 23612 21497 0 -1 4202560 1082 0 0 0 130 10 0 0 20 0 22 0 253702014 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548239415592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23618] ppid=23610 vsize=9824668 CPUtime=1.3 cores=1,3,5,7
/proc/23612/task/23618/stat : 23618 (java) S 23610 23612 21497 0 -1 4202560 392 0 0 0 122 8 0 0 20 0 22 0 253702014 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548238362792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23612/tid=23619] ppid=23610 vsize=9824668 CPUtime=1.38 cores=1,3,5,7
/proc/23612/task/23619/stat : 23619 (java) S 23610 23612 21497 0 -1 4202560 676 0 0 0 129 9 0 0 20 0 22 0 253702014 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548237311016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23620] ppid=23610 vsize=9824668 CPUtime=1.56 cores=1,3,5,7
/proc/23612/task/23620/stat : 23620 (java) S 23610 23612 21497 0 -1 4202560 581 0 0 0 145 11 0 0 20 0 22 0 253702014 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548236258216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23621] ppid=23610 vsize=9824668 CPUtime=1.54 cores=1,3,5,7
/proc/23612/task/23621/stat : 23621 (java) S 23610 23612 21497 0 -1 4202560 951 0 0 0 144 10 0 0 20 0 22 0 253702014 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548235205416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23612/tid=23622] ppid=23610 vsize=9824668 CPUtime=1.29 cores=1,3,5,7
/proc/23612/task/23622/stat : 23622 (java) S 23610 23612 21497 0 -1 4202560 921 0 0 0 118 11 0 0 20 0 22 0 253702014 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548234152616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23623] ppid=23610 vsize=9824668 CPUtime=79.5 cores=1,3,5,7
/proc/23612/task/23623/stat : 23623 (java) S 23610 23612 21497 0 -1 4202560 1960 0 0 0 7887 63 0 0 20 0 22 0 253702015 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548221954536 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23612/tid=23624] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23624/stat : 23624 (java) S 23610 23612 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253702015 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548220900600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23625] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23625/stat : 23625 (java) S 23610 23612 21497 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253702015 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548219847688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23612/tid=23626] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23626/stat : 23626 (java) S 23610 23612 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702017 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548218796176 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23612/tid=23627] ppid=23610 vsize=9824668 CPUtime=1.08 cores=1,3,5,7
/proc/23612/task/23627/stat : 23627 (java) S 23610 23612 21497 0 -1 4202560 8995 0 0 0 106 2 0 0 20 0 22 0 253702017 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548217744312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23612/tid=23628] ppid=23610 vsize=9824668 CPUtime=1.37 cores=1,3,5,7
/proc/23612/task/23628/stat : 23628 (java) S 23610 23612 21497 0 -1 4202560 16031 0 0 0 134 3 0 0 20 0 22 0 253702017 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548216691512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23629] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23629/stat : 23629 (java) S 23610 23612 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702017 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548215638904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23612/tid=23630] ppid=23610 vsize=9824668 CPUtime=0.24 cores=1,3,5,7
/proc/23612/task/23630/stat : 23630 (java) S 23610 23612 21497 0 -1 4202560 54 0 0 0 10 14 0 0 20 0 22 0 253702017 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548214586312 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23637] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23637/stat : 23637 (java) S 23610 23612 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253702080 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548210374056 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23612/tid=23769] ppid=23610 vsize=9824668 CPUtime=18.28 cores=1,3,5,7
/proc/23612/task/23769/stat : 23769 (java) R 23610 23612 21497 0 -1 4202560 5 0 0 0 1828 0 0 0 20 0 22 0 253792787 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548213530848 140548258639235 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23612/tid=23770] ppid=23610 vsize=9824668 CPUtime=18.29 cores=1,3,5,7
/proc/23612/task/23770/stat : 23770 (java) R 23610 23612 21497 0 -1 4202560 3 0 0 0 1829 0 0 0 20 0 22 0 253792787 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548211423600 140548258942594 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23771] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23771/stat : 23771 (java) S 23610 23612 21497 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253792787 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548212479656 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 9824668

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

Solver just ended. Dumping a history of the last processes samples

[startup+939.701 s]
/proc/loadavg: 3.67 3.83 3.80 5/219 23771
/proc/meminfo: memFree=23503004/32873648 swapFree=6852/6852
[pid=23612] ppid=23610 vsize=9824668 CPUtime=1800.19 cores=1,3,5,7
/proc/23612/stat : 23612 (java) S 23610 23612 21497 0 -1 4202496 39026 0 1 0 179801 218 0 0 20 0 22 0 253702013 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140734856933376 266439000125 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/23612/statm: 2456167 666381 2280 9 0 2446860 0
[pid=23612/tid=23613] ppid=23610 vsize=9824668 CPUtime=0.2 cores=1,3,5,7
/proc/23612/task/23613/stat : 23613 (java) S 23610 23612 21497 0 -1 4202560 2596 0 1 0 17 3 0 0 20 0 22 0 253702013 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548397937656 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23615] ppid=23610 vsize=9824668 CPUtime=1.39 cores=1,3,5,7
/proc/23612/task/23615/stat : 23615 (java) S 23610 23612 21497 0 -1 4202560 1647 0 0 0 131 8 0 0 20 0 22 0 253702014 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548241521192 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23612/tid=23616] ppid=23610 vsize=9824668 CPUtime=1.4 cores=1,3,5,7
/proc/23612/task/23616/stat : 23616 (java) S 23610 23612 21497 0 -1 4202560 754 0 0 0 132 8 0 0 20 0 22 0 253702014 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548240468392 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23612/tid=23617] ppid=23610 vsize=9824668 CPUtime=1.4 cores=1,3,5,7
/proc/23612/task/23617/stat : 23617 (java) S 23610 23612 21497 0 -1 4202560 1082 0 0 0 130 10 0 0 20 0 22 0 253702014 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548239415592 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23618] ppid=23610 vsize=9824668 CPUtime=1.3 cores=1,3,5,7
/proc/23612/task/23618/stat : 23618 (java) S 23610 23612 21497 0 -1 4202560 392 0 0 0 122 8 0 0 20 0 22 0 253702014 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548238362792 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23612/tid=23619] ppid=23610 vsize=9824668 CPUtime=1.38 cores=1,3,5,7
/proc/23612/task/23619/stat : 23619 (java) S 23610 23612 21497 0 -1 4202560 676 0 0 0 129 9 0 0 20 0 22 0 253702014 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548237311016 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23620] ppid=23610 vsize=9824668 CPUtime=1.56 cores=1,3,5,7
/proc/23612/task/23620/stat : 23620 (java) S 23610 23612 21497 0 -1 4202560 581 0 0 0 145 11 0 0 20 0 22 0 253702014 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548236258216 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23621] ppid=23610 vsize=9824668 CPUtime=1.54 cores=1,3,5,7
/proc/23612/task/23621/stat : 23621 (java) S 23610 23612 21497 0 -1 4202560 951 0 0 0 144 10 0 0 20 0 22 0 253702014 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548235205416 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23612/tid=23622] ppid=23610 vsize=9824668 CPUtime=1.29 cores=1,3,5,7
/proc/23612/task/23622/stat : 23622 (java) S 23610 23612 21497 0 -1 4202560 921 0 0 0 118 11 0 0 20 0 22 0 253702014 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548234152616 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23623] ppid=23610 vsize=9824668 CPUtime=79.5 cores=1,3,5,7
/proc/23612/task/23623/stat : 23623 (java) S 23610 23612 21497 0 -1 4202560 1960 0 0 0 7887 63 0 0 20 0 22 0 253702015 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548221954536 266439014313 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23612/tid=23624] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23624/stat : 23624 (java) S 23610 23612 21497 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 253702015 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548220900600 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23625] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23625/stat : 23625 (java) S 23610 23612 21497 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 22 0 253702015 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548219847688 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=23612/tid=23626] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23626/stat : 23626 (java) S 23610 23612 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702017 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548218796176 266439022368 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=23612/tid=23627] ppid=23610 vsize=9824668 CPUtime=1.08 cores=1,3,5,7
/proc/23612/task/23627/stat : 23627 (java) S 23610 23612 21497 0 -1 4202560 8995 0 0 0 106 2 0 0 20 0 22 0 253702017 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548217744312 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23612/tid=23628] ppid=23610 vsize=9824668 CPUtime=1.37 cores=1,3,5,7
/proc/23612/task/23628/stat : 23628 (java) S 23610 23612 21497 0 -1 4202560 16031 0 0 0 134 3 0 0 20 0 22 0 253702017 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548216691512 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23629] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23629/stat : 23629 (java) S 23610 23612 21497 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 253702017 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548215638904 266439013436 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23612/tid=23630] ppid=23610 vsize=9824668 CPUtime=0.24 cores=1,3,5,7
/proc/23612/task/23630/stat : 23630 (java) S 23610 23612 21497 0 -1 4202560 54 0 0 0 10 14 0 0 20 0 22 0 253702017 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548214586312 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23637] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23637/stat : 23637 (java) S 23610 23612 21497 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 22 0 253702080 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548210374056 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=23612/tid=23769] ppid=23610 vsize=9824668 CPUtime=18.28 cores=1,3,5,7
/proc/23612/task/23769/stat : 23769 (java) R 23610 23612 21497 0 -1 4202560 5 0 0 0 1828 0 0 0 20 0 22 0 253792787 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548213530848 140548258639235 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=23612/tid=23770] ppid=23610 vsize=9824668 CPUtime=18.29 cores=1,3,5,7
/proc/23612/task/23770/stat : 23770 (java) R 23610 23612 21497 0 -1 4202560 3 0 0 0 1829 0 0 0 20 0 22 0 253792787 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548211423600 140548258942594 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=23612/tid=23771] ppid=23610 vsize=9824668 CPUtime=0 cores=1,3,5,7
/proc/23612/task/23771/stat : 23771 (java) S 23610 23612 21497 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 22 0 253792787 10060460032 666381 33554432000 1073741824 1073778376 140734856942240 140548212479656 266439014313 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 9824668

Child status: 143
Real time (s): 939.731
CPU time (s): 1800.42
CPU user time (s): 1797.99
CPU system time (s): 2.43163
CPU usage (%): 191.589
Max. virtual memory (cumulated for all children) (KiB): 9824668

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.99
system time used= 2.43163
maximum resident set size= 2684616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39056
page faults= 1
swaps= 0
block input operations= 0
block output operations= 952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 27797
involuntary context switches= 32565

runsolver used 3.43048 second user time and 8.37473 second system time

The end

Launcher Data 

Begin job on node116 at 2012-05-24 18:09:20
IDJOB=3688152
IDBENCH=2851
IDSOLVER=2268
FILE ID=node116/3688152-1337875760
RUNJOBID= node116-1337871880-21514
PBS_JOBID= 14620088
Free space on /tmp= 71728 MiB

SOLVER NAME= SAT 4j PB RES // CP 2.3.2 Snapshot
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_300_10_15.r.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar Both BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688152-1337875760/watcher-3688152-1337875760 -o /tmp/evaluation-result-3688152-1337875760/solver-3688152-1337875760 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar Both HOME/instance-3688152-1337875760.opb

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

MD5SUM BENCH= 34bb25320bcbfa536bfc14194ca6ac66
RANDOM SEED=413812369

node116.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.556
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.11
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.556
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	: 5331.91
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.556
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	: 5438.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.556
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	: 5331.91
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.556
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	: 5331.92
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.556
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	: 5331.92
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.556
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	: 5331.90
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.556
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	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873648 kB
MemFree:        27215176 kB
Buffers:          205400 kB
Cached:          2922864 kB
SwapCached:            0 kB
Active:          2229236 kB
Inactive:        2646564 kB
Active(anon):    1750140 kB
Inactive(anon):        0 kB
Active(file):     479096 kB
Inactive(file):  2646564 kB
Unevictable:        6852 kB
Mlocked:            6852 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              2768 kB
Writeback:             0 kB
AnonPages:       1799140 kB
Mapped:            21704 kB
Shmem:               200 kB
Slab:             624124 kB
SReclaimable:      67712 kB
SUnreclaim:       556412 kB
KernelStack:        1784 kB
PageTables:         7252 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    2647760 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1740800 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71724 MiB
End job on node116 at 2012-05-24 18:25:01