Trace number 3710940

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 specific settings 2.3.2 snapshotOPT8034 58.964 56.1731

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-LIN/submittedPB07/
poldner/PB/testset/normalized-10_20.opb
MD5SUMdfa433e4e6a88cd1c776cef0a80ce991
Bench CategoryOPT-SMALLINT-LIN (optimisation, small integers, linear constraints)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark8034
Best CPU time to get the best result obtained on this benchmark0.006998
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 8034
Optimality of the best value was proved YES
Number of variables210
Total number of constraints220
Number of constraints which are clauses200
Number of constraints which are cardinality constraints (but not clauses)20
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint10
Number of terms in the objective function 210
Biggest coefficient in the objective function 2937
Number of bits for the biggest coefficient in the objective function 12
Sum of the numbers in the objective function 109101
Number of bits of the sum of numbers in the objective function 17
Biggest number in a constraint 2937
Number of bits of the biggest number in a constraint 12
Biggest sum of numbers in a constraint 109101
Number of bits of the biggest sum of numbers17
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


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

Solver Data 

0.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c This software uses some libraries from the Jakarta Commons project. See jakarta.apache.org for details.
0.06/0.08	c version 2.3.2.v20120418
0.06/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.08	c java.vm.version	19.1-b02
0.06/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.08	c sun.arch.data.model	64
0.06/0.08	c java.version		1.6.0_24
0.06/0.08	c os.name		Linux
0.06/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.08	c os.arch		amd64
0.06/0.08	c Free memory 		501472288
0.06/0.08	c Max memory 		7480803328
0.06/0.08	c Total memory 		504102912
0.06/0.08	c Number of processors 	8
0.09/0.12	c read org.sat4j.minisat.orders.VarOrderHeap
0.09/0.12	c configuring ORDERS
0.09/0.12	c --- Begin Solver configuration ---
0.09/0.12	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@742808b3
0.09/0.12	c Learn all clauses as in MiniSAT
0.09/0.12	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.09/0.12	c VSIDS like heuristics from MiniSAT using a heap phase appearing in latest learned clause
0.09/0.12	c Expensive reason simplification
0.09/0.12	c Armin Biere (Picosat) restarts strategy
0.09/0.12	c Glucose learned constraints deletion strategy
0.09/0.12	c timeout=2147483s
0.09/0.12	c DB Simplification allowed=true
0.09/0.12	c Heuristics kept accross calls (keep the solver "hot")
0.09/0.12	c --- End Solver configuration ---
0.09/0.12	c solving HOME/instance-3710940-1338158111.opb
0.09/0.12	c reading problem ... 
0.09/0.16	c ... done. Wall clock time 0.043s.
0.09/0.16	c declared #vars     210
0.09/0.16	c #constraints  240
0.09/0.16	c constraints type 
0.09/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 20
0.09/0.16	c org.sat4j.minisat.constraints.card.MinWatchCard => 20
0.09/0.16	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
0.09/0.16	c 240 constraints processed.
0.09/0.17	c SATISFIABLE
0.09/0.17	c OPTIMIZING...
0.09/0.17	c Got one! Elapsed wall clock time (in seconds):0.048
0.09/0.17	o 9519
0.68/0.44	c cleaning 2501 clauses out of 5002 with flag 5002/5002
0.85/0.59	c cleaning 4248 clauses out of 8499 with flag 11000/11000
1.08/0.74	c cleaning 5619 clauses out of 11251 with flag 18000/18000
1.19/0.87	c Got one! Elapsed wall clock time (in seconds):0.753
1.19/0.87	o 9467
1.30/1.00	c cleaning 8277 clauses out of 16567 with flag 5000/28935
1.53/1.16	c cleaning 7137 clauses out of 14290 with flag 11000/34935
1.72/1.34	c cleaning 7074 clauses out of 14156 with flag 18003/41938
1.93/1.53	c cleaning 7534 clauses out of 15079 with flag 26000/49935
2.13/1.74	c cleaning 8261 clauses out of 16545 with flag 35000/58935
2.34/1.99	c cleaning 9137 clauses out of 18284 with flag 45000/68935
2.64/2.27	c cleaning 10072 clauses out of 20147 with flag 56000/79935
2.95/2.57	c cleaning 11028 clauses out of 22076 with flag 68001/91936
3.05/2.63	c Got one! Elapsed wall clock time (in seconds):2.508
3.05/2.63	o 9412
3.15/2.71	c cleaning 8070 clauses out of 16154 with flag 3000/97042
3.26/2.87	c cleaning 7038 clauses out of 14088 with flag 9004/103046
3.48/3.05	c cleaning 7016 clauses out of 14047 with flag 16001/110043
3.69/3.23	c cleaning 7512 clauses out of 15030 with flag 24000/118042
3.89/3.40	c Got one! Elapsed wall clock time (in seconds):3.278
3.89/3.40	o 9346
3.99/3.56	c cleaning 9983 clauses out of 19985 with flag 5001/130509
4.10/3.67	c Got one! Elapsed wall clock time (in seconds):3.553
4.10/3.67	o 9336
4.30/3.80	c cleaning 10179 clauses out of 20368 with flag 5001/140875
4.42/3.95	c cleaning 8087 clauses out of 16189 with flag 11001/146875
4.62/4.11	c cleaning 7545 clauses out of 15101 with flag 18000/153874
4.82/4.31	c cleaning 7773 clauses out of 15556 with flag 26000/161874
5.02/4.53	c cleaning 8387 clauses out of 16783 with flag 35000/170874
5.24/4.76	c Got one! Elapsed wall clock time (in seconds):4.639
5.24/4.76	o 9291
5.34/4.90	c cleaning 11584 clauses out of 23185 with flag 5000/185663
5.56/5.06	c cleaning 8793 clauses out of 17601 with flag 11000/191663
5.78/5.23	c cleaning 7900 clauses out of 15809 with flag 18001/198664
5.98/5.43	c cleaning 7947 clauses out of 15908 with flag 26000/206663
5.98/5.47	c Got one! Elapsed wall clock time (in seconds):5.35
5.98/5.47	o 9242
6.09/5.57	c cleaning 6891 clauses out of 13798 with flag 4001/212500
6.31/5.73	c cleaning 6443 clauses out of 12906 with flag 10000/218499
6.51/5.92	c cleaning 6725 clauses out of 13464 with flag 17001/225500
6.71/6.12	c cleaning 7355 clauses out of 14739 with flag 25001/233500
6.93/6.36	c cleaning 8186 clauses out of 16383 with flag 34000/242499
7.24/6.62	c cleaning 9089 clauses out of 18198 with flag 44001/252500
7.55/6.90	c cleaning 10045 clauses out of 20108 with flag 55000/263499
7.75/7.19	c cleaning 11026 clauses out of 22065 with flag 67002/275501
8.17/7.54	c cleaning 12014 clauses out of 24040 with flag 80003/288502
8.28/7.64	c Got one! Elapsed wall clock time (in seconds):7.515
8.28/7.64	o 9095
8.28/7.67	c cleaning 8546 clauses out of 17099 with flag 1001/293575
8.47/7.84	c cleaning 7270 clauses out of 14552 with flag 7000/299574
8.69/8.03	c cleaning 7134 clauses out of 14284 with flag 14002/306576
8.89/8.24	c cleaning 7568 clauses out of 15150 with flag 22002/314576
9.10/8.45	c cleaning 8278 clauses out of 16580 with flag 31000/323574
9.42/8.72	c cleaning 9136 clauses out of 18302 with flag 41000/333574
9.73/9.02	c cleaning 10080 clauses out of 20167 with flag 52001/344575
10.03/9.31	c cleaning 11040 clauses out of 22087 with flag 64001/356575
10.35/9.63	c cleaning 12017 clauses out of 24046 with flag 77000/369574
10.47/9.70	c Got one! Elapsed wall clock time (in seconds):9.582
10.47/9.70	o 9075
10.47/9.79	c cleaning 8917 clauses out of 17846 with flag 3000/375391
10.81/9.95	c cleaning 7458 clauses out of 14929 with flag 9000/381391
11.00/10.12	c cleaning 7229 clauses out of 14471 with flag 16000/388391
11.21/10.31	c cleaning 7614 clauses out of 15242 with flag 24000/396391
11.41/10.54	c cleaning 8306 clauses out of 16628 with flag 33000/405391
11.61/10.76	c Got one! Elapsed wall clock time (in seconds):10.644
11.61/10.76	o 9067
11.71/10.89	c cleaning 11074 clauses out of 22168 with flag 5000/419237
11.92/11.04	c cleaning 8543 clauses out of 17094 with flag 11000/425237
12.11/11.20	c cleaning 7760 clauses out of 15551 with flag 18000/432237
12.21/11.39	c cleaning 7888 clauses out of 15792 with flag 26001/440238
12.52/11.61	c cleaning 8450 clauses out of 16904 with flag 35001/449238
12.72/11.89	c cleaning 9220 clauses out of 18453 with flag 45000/459237
13.03/12.18	c cleaning 10111 clauses out of 20233 with flag 56000/470237
13.34/12.49	c cleaning 11057 clauses out of 22122 with flag 68000/482237
13.74/12.85	c cleaning 12023 clauses out of 24066 with flag 81001/495238
14.15/13.28	c cleaning 13011 clauses out of 26043 with flag 95001/509238
14.66/13.72	c cleaning 14007 clauses out of 28033 with flag 110002/524239
15.08/14.18	c cleaning 15005 clauses out of 30025 with flag 126001/540238
15.60/14.66	c cleaning 15999 clauses out of 32019 with flag 143000/557237
15.70/14.77	c Got one! Elapsed wall clock time (in seconds):14.65
15.70/14.77	o 9037
15.80/14.81	c cleaning 10758 clauses out of 21539 with flag 1000/562756
15.91/14.99	c cleaning 8384 clauses out of 16784 with flag 7003/568759
16.11/15.20	c cleaning 7688 clauses out of 15398 with flag 14001/575757
16.31/15.33	c Got one! Elapsed wall clock time (in seconds):15.212
16.31/15.33	o 9020
16.31/15.37	c cleaning 6781 clauses out of 13586 with flag 1001/581633
16.52/15.53	c cleaning 6402 clauses out of 12805 with flag 7001/587633
16.62/15.69	c cleaning 6693 clauses out of 13403 with flag 14001/594633
16.82/15.88	c cleaning 7352 clauses out of 14709 with flag 22000/602632
17.12/16.11	c cleaning 8175 clauses out of 16357 with flag 31000/611632
17.33/16.37	c cleaning 9088 clauses out of 18182 with flag 41000/621632
17.53/16.54	c Got one! Elapsed wall clock time (in seconds):16.417
17.53/16.54	o 8893
17.62/16.67	c cleaning 10071 clauses out of 20154 with flag 5001/632692
17.83/16.82	c cleaning 8032 clauses out of 16082 with flag 11000/638691
17.93/16.95	c Got one! Elapsed wall clock time (in seconds):16.833
17.93/16.95	o 8870
18.05/17.09	c cleaning 9185 clauses out of 18380 with flag 5001/649021
18.26/17.25	c cleaning 7589 clauses out of 15197 with flag 11003/655023
18.47/17.43	c cleaning 7283 clauses out of 14605 with flag 18000/662020
18.69/17.65	c cleaning 7657 clauses out of 15322 with flag 26000/670020
18.90/17.87	c cleaning 8329 clauses out of 16665 with flag 35000/679020
19.21/18.15	c cleaning 9163 clauses out of 18336 with flag 45000/689020
19.51/18.44	c cleaning 10082 clauses out of 20173 with flag 56000/700020
19.82/18.77	c cleaning 11045 clauses out of 22091 with flag 68000/712020
20.22/19.14	c cleaning 12012 clauses out of 24046 with flag 81000/725020
20.62/19.58	c cleaning 13012 clauses out of 26034 with flag 95000/739020
21.13/20.03	c cleaning 14001 clauses out of 28023 with flag 110001/754021
21.65/20.57	c cleaning 14999 clauses out of 30021 with flag 126000/770020
22.28/21.13	c cleaning 16006 clauses out of 32022 with flag 143000/787020
22.78/21.64	c cleaning 17001 clauses out of 34016 with flag 161000/805020
23.38/22.23	c cleaning 17998 clauses out of 36015 with flag 180000/824020
24.00/22.84	c cleaning 19001 clauses out of 38017 with flag 200000/844020
24.32/23.17	c Got one! Elapsed wall clock time (in seconds):23.045
24.32/23.17	o 8837
24.52/23.35	c cleaning 18160 clauses out of 36330 with flag 5000/861334
24.74/23.53	c cleaning 12078 clauses out of 24170 with flag 11000/867334
24.95/23.72	c cleaning 9535 clauses out of 19092 with flag 18000/874334
25.16/23.92	c cleaning 8768 clauses out of 17557 with flag 26000/882334
25.36/24.15	c cleaning 8887 clauses out of 17791 with flag 35002/891336
25.66/24.41	c cleaning 9445 clauses out of 18902 with flag 45000/901334
25.98/24.73	c cleaning 10222 clauses out of 20459 with flag 56002/912336
26.29/25.09	c cleaning 11107 clauses out of 22235 with flag 68000/924334
26.73/25.45	c cleaning 12055 clauses out of 24128 with flag 81000/937334
27.14/25.81	c cleaning 13034 clauses out of 26075 with flag 95002/951336
27.55/26.22	c cleaning 14014 clauses out of 28039 with flag 110000/966334
27.95/26.68	c cleaning 15007 clauses out of 30025 with flag 126000/982334
28.15/26.82	c Got one! Elapsed wall clock time (in seconds):26.703
28.15/26.82	o 8826
28.25/26.99	c cleaning 12750 clauses out of 25518 with flag 5000/992834
28.45/27.18	c cleaning 9376 clauses out of 18768 with flag 11000/998834
28.65/27.37	c cleaning 8189 clauses out of 16394 with flag 18002/1005836
28.90/27.58	c cleaning 8095 clauses out of 16204 with flag 26001/1013835
29.19/27.82	c cleaning 8545 clauses out of 17108 with flag 35000/1022834
29.49/28.11	c cleaning 9270 clauses out of 18564 with flag 45001/1032835
29.83/28.42	c cleaning 10137 clauses out of 20293 with flag 56000/1043834
30.16/28.78	c cleaning 11072 clauses out of 22156 with flag 68000/1055834
30.56/29.16	c cleaning 12034 clauses out of 24087 with flag 81003/1068837
30.68/29.26	c Got one! Elapsed wall clock time (in seconds):29.142
30.68/29.26	o 8820
30.78/29.33	c cleaning 8806 clauses out of 17622 with flag 2000/1074406
30.88/29.49	c cleaning 7404 clauses out of 14816 with flag 8000/1080406
31.11/29.68	c cleaning 7200 clauses out of 14412 with flag 15000/1087406
31.30/29.86	c cleaning 7598 clauses out of 15213 with flag 23001/1095407
31.41/29.96	c Got one! Elapsed wall clock time (in seconds):29.837
31.41/29.96	o 8694
31.41/29.99	c cleaning 6319 clauses out of 12652 with flag 1001/1100444
31.62/30.15	c cleaning 6160 clauses out of 12334 with flag 7002/1106445
31.83/30.33	c cleaning 6574 clauses out of 13172 with flag 14000/1113443
32.03/30.55	c cleaning 7285 clauses out of 14598 with flag 22000/1121443
32.34/30.81	c cleaning 8146 clauses out of 16314 with flag 31001/1130444
32.53/31.09	c cleaning 9072 clauses out of 18167 with flag 41000/1140443
32.94/31.41	c cleaning 10034 clauses out of 20095 with flag 52000/1151443
33.24/31.75	c cleaning 11016 clauses out of 22063 with flag 64002/1163445
33.64/32.12	c cleaning 12009 clauses out of 24047 with flag 77002/1176445
33.96/32.49	c cleaning 13013 clauses out of 26037 with flag 91001/1190444
34.46/32.90	c cleaning 14005 clauses out of 28025 with flag 106002/1205445
34.76/33.24	c Got one! Elapsed wall clock time (in seconds):33.121
34.76/33.24	o 8680
34.97/33.41	c cleaning 15068 clauses out of 30156 with flag 5002/1221581
35.07/33.59	c cleaning 10534 clauses out of 21086 with flag 11000/1227579
35.37/33.80	c cleaning 8771 clauses out of 17554 with flag 18002/1234581
35.58/34.04	c cleaning 8377 clauses out of 16782 with flag 26001/1242580
35.87/34.31	c cleaning 8695 clauses out of 17404 with flag 35000/1251579
36.17/34.60	c cleaning 9340 clauses out of 18709 with flag 45000/1261579
36.47/34.92	c cleaning 10171 clauses out of 20371 with flag 56002/1272581
36.78/35.25	c cleaning 11085 clauses out of 22199 with flag 68001/1284580
37.18/35.64	c cleaning 12050 clauses out of 24114 with flag 81001/1297580
37.58/36.03	c cleaning 13027 clauses out of 26065 with flag 95002/1311581
37.98/36.44	c cleaning 14016 clauses out of 28037 with flag 110001/1326580
38.39/36.85	c cleaning 15001 clauses out of 30021 with flag 126001/1342580
38.90/37.34	c cleaning 15997 clauses out of 32019 with flag 143000/1359579
39.40/37.83	c cleaning 17004 clauses out of 34022 with flag 161000/1377579
39.90/38.37	c cleaning 18001 clauses out of 36018 with flag 180000/1396579
40.60/39.01	c cleaning 19002 clauses out of 38017 with flag 200000/1416579
41.22/39.63	c cleaning 19990 clauses out of 40016 with flag 221001/1437580
41.93/40.33	c cleaning 21004 clauses out of 42026 with flag 243001/1459580
42.64/41.06	c cleaning 22007 clauses out of 44021 with flag 266000/1482579
43.35/41.79	c cleaning 23003 clauses out of 46015 with flag 290001/1506580
44.17/42.56	c cleaning 23999 clauses out of 48012 with flag 315001/1531580
44.48/42.84	c Got one! Elapsed wall clock time (in seconds):42.723
44.48/42.84	o 8606
44.67/43.02	c cleaning 19439 clauses out of 38878 with flag 5002/1546445
44.78/43.19	c cleaning 12715 clauses out of 25439 with flag 11002/1552445
45.08/43.42	c cleaning 9855 clauses out of 19722 with flag 18000/1559443
45.28/43.66	c cleaning 8928 clauses out of 17867 with flag 26000/1567443
45.59/43.95	c cleaning 8959 clauses out of 17939 with flag 35000/1576443
45.80/44.19	c Got one! Elapsed wall clock time (in seconds):44.068
45.80/44.19	o 8565
46.00/44.33	c cleaning 11617 clauses out of 23242 with flag 5000/1590705
46.10/44.49	c cleaning 8801 clauses out of 17626 with flag 11001/1596706
46.30/44.67	c cleaning 7904 clauses out of 15824 with flag 18000/1603705
46.62/44.94	c cleaning 7953 clauses out of 15920 with flag 26000/1611705
47.25/45.20	c cleaning 8478 clauses out of 16967 with flag 35000/1620705
47.50/45.48	c cleaning 9241 clauses out of 18489 with flag 45000/1630705
48.24/45.82	c cleaning 10118 clauses out of 20249 with flag 56001/1641706
48.24/45.89	c Got one! Elapsed wall clock time (in seconds):45.77
48.24/45.89	o 8492
48.36/45.96	c cleaning 7875 clauses out of 15761 with flag 3000/1647336
48.57/46.14	c cleaning 6938 clauses out of 13886 with flag 9000/1653336
48.77/46.34	c cleaning 6967 clauses out of 13948 with flag 16000/1660336
48.98/46.53	c cleaning 7484 clauses out of 14981 with flag 24000/1668336
49.19/46.75	c cleaning 8245 clauses out of 16499 with flag 33002/1677338
49.50/47.04	c cleaning 9124 clauses out of 18253 with flag 43001/1687337
49.81/47.35	c cleaning 10058 clauses out of 20128 with flag 54000/1698336
50.14/47.68	c cleaning 11029 clauses out of 22071 with flag 66001/1710337
50.25/47.70	c Got one! Elapsed wall clock time (in seconds):47.581
50.25/47.70	o 8478
50.35/47.84	c cleaning 8116 clauses out of 16248 with flag 5000/1715543
50.45/47.99	c cleaning 7053 clauses out of 14132 with flag 11000/1721543
50.65/48.17	c cleaning 7027 clauses out of 14079 with flag 18000/1728543
50.85/48.39	c cleaning 7521 clauses out of 15052 with flag 26000/1736543
51.15/48.63	c cleaning 8260 clauses out of 16531 with flag 35000/1745543
51.45/48.92	c cleaning 9130 clauses out of 18271 with flag 45000/1755543
51.75/49.22	c cleaning 10068 clauses out of 20141 with flag 56000/1766543
52.07/49.55	c cleaning 11032 clauses out of 22073 with flag 68000/1778543
52.46/49.95	c cleaning 12020 clauses out of 24042 with flag 81001/1791544
52.87/50.36	c cleaning 13005 clauses out of 26024 with flag 95003/1805546
53.27/50.77	c cleaning 13981 clauses out of 27987 with flag 110001/1820544
53.78/51.24	c cleaning 15002 clauses out of 30005 with flag 126000/1836543
54.33/51.76	c cleaning 3506 clauses out of 7032 with flag 143000/1853543
54.82/52.26	c cleaning 10764 clauses out of 21529 with flag 161003/1871546
55.53/52.91	c cleaning 14881 clauses out of 29762 with flag 180000/1890543
56.08/53.44	c cleaning 10872 clauses out of 21748 with flag 200000/1910543
56.69/54.01	c cleaning 2586 clauses out of 5178 with flag 221000/1931543
56.90/54.24	c Got one! Elapsed wall clock time (in seconds):54.122
56.90/54.24	o 8441
57.00/54.39	c cleaning 8940 clauses out of 17889 with flag 5000/1946840
57.20/54.54	c cleaning 7468 clauses out of 14949 with flag 11000/1952840
57.41/54.73	c cleaning 7240 clauses out of 14482 with flag 18001/1959841
57.64/54.95	c cleaning 7616 clauses out of 15242 with flag 26001/1967841
57.83/55.19	c cleaning 8308 clauses out of 16625 with flag 35000/1976840
58.14/55.44	c cleaning 9156 clauses out of 18317 with flag 45000/1986840
58.34/55.60	c Got one! Elapsed wall clock time (in seconds):55.479
58.34/55.60	o 8411
58.44/55.76	c cleaning 10581 clauses out of 21161 with flag 5002/1998840
58.44/55.79	c Got one! Elapsed wall clock time (in seconds):55.673
58.44/55.79	o 8355
58.54/55.86	c Got one! Elapsed wall clock time (in seconds):55.743
58.54/55.86	o 8270
58.64/55.96	c cleaning 8469 clauses out of 16937 with flag 3001/2005197
58.64/56.00	c Got one! Elapsed wall clock time (in seconds):55.875
58.64/56.00	o 8229
58.75/56.06	c Got one! Elapsed wall clock time (in seconds):55.942
58.75/56.06	o 8212
58.75/56.09	c Got one! Elapsed wall clock time (in seconds):55.97
58.75/56.09	o 8158
58.85/56.11	c Got one! Elapsed wall clock time (in seconds):55.99
58.85/56.11	o 8146
58.85/56.14	c Got one! Elapsed wall clock time (in seconds):56.018
58.85/56.14	o 8119
58.85/56.15	c Got one! Elapsed wall clock time (in seconds):56.027
58.85/56.15	o 8034
58.85/56.16	c starts		: 243
58.85/56.16	c conflicts		: 2011441
58.85/56.16	c decisions		: 2707516
58.85/56.16	c propagations		: 39237667
58.85/56.16	c inspects		: 337348515
58.85/56.16	c shortcuts		: 0
58.85/56.16	c learnt literals	: 12
58.85/56.16	c learnt binary clauses	: 32
58.85/56.16	c learnt ternary clauses	: 198
58.85/56.16	c learnt constraints	: 2011428
58.85/56.16	c ignored constraints	: 0
58.85/56.16	c root simplifications	: 254
58.85/56.16	c removed literals (reason simplification)	: 5024967
58.85/56.16	c reason swapping (by a shorter reason)	: 0
58.85/56.16	c Calls to reduceDB	: 190
58.85/56.16	c number of reductions to clauses (during analyze)	: 0
58.85/56.16	c number of learned constraints concerned by reduction	: 0
58.85/56.16	c number of learning phase by resolution	: 0
58.85/56.16	c number of learning phase by cutting planes	: 0
58.85/56.16	c speed (assignments/second)	: 700697.6499160684
58.85/56.16	c non guided choices	24
58.85/56.16	c learnt constraints type 
58.85/56.16	c constraints type 
58.85/56.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 20
58.85/56.16	c org.sat4j.minisat.constraints.card.MinWatchCard => 20
58.85/56.16	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 200
58.85/56.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 0
58.85/56.16	c 240 constraints processed.
58.85/56.16	s OPTIMUM FOUND
58.85/56.17	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 
58.85/56.17	c objective function=8034
58.85/56.17	c Total wall clock time (in seconds): 56.045

Verifier Data 

OK	8034

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-3710940-1338158111/watcher-3710940-1338158111 -o /tmp/evaluation-result-3710940-1338158111/solver-3710940-1338158111 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710940-1338158111.opb 

running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.93 1.96 1.98 3/194 6330
/proc/meminfo: memFree=27803344/32873648 swapFree=6864/6864
[pid=6330] ppid=6328 vsize=9292 CPUtime=0 cores=0,2,4,6
/proc/6330/stat : 6330 (java) D 6328 6330 32120 0 -1 4202496 248 0 0 0 0 0 0 0 20 0 1 0 281936549 9515008 182 33554432000 1073741824 1073778376 140735113177984 140735113169016 270707539637 0 0 4096 0 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/6330/statm: 2323 182 140 9 0 71 0

[startup+0.0882429 s]
/proc/loadavg: 1.93 1.96 1.98 3/194 6330
/proc/meminfo: memFree=27803344/32873648 swapFree=6864/6864
[pid=6330] ppid=6328 vsize=9558440 CPUtime=0.06 cores=0,2,4,6
/proc/6330/stat : 6330 (java) S 6328 6330 32120 0 -1 4202496 3677 0 1 0 6 0 0 0 20 0 18 0 281936549 9787842560 4886 33554432000 1073741824 1073778376 140736878805456 140736878796592 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6330/statm: 2389610 4888 1938 9 0 2380296 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558440

[startup+0.10025 s]
/proc/loadavg: 1.93 1.96 1.98 3/194 6330
/proc/meminfo: memFree=27803344/32873648 swapFree=6864/6864
[pid=6330] ppid=6328 vsize=9558440 CPUtime=0.09 cores=0,2,4,6
/proc/6330/stat : 6330 (java) S 6328 6330 32120 0 -1 4202496 4261 0 1 0 8 1 0 0 20 0 18 0 281936549 9787842560 5469 33554432000 1073741824 1073778376 140736878805456 140736878796592 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6330/statm: 2389610 5469 2115 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558440

[startup+0.300203 s]
/proc/loadavg: 1.93 1.96 1.98 3/194 6330
/proc/meminfo: memFree=27803344/32873648 swapFree=6864/6864
[pid=6330] ppid=6328 vsize=9625004 CPUtime=0.52 cores=0,2,4,6
/proc/6330/stat : 6330 (java) S 6328 6330 32120 0 -1 4202496 7009 0 1 0 51 1 0 0 20 0 19 0 281936549 9856004096 7923 33554432000 1073741824 1073778376 140736878805456 140736878796592 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6330/statm: 2406251 7923 2233 9 0 2396937 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9625004

[startup+0.700214 s]
/proc/loadavg: 1.93 1.96 1.98 3/194 6330
/proc/meminfo: memFree=27803344/32873648 swapFree=6864/6864
[pid=6330] ppid=6328 vsize=9625004 CPUtime=1.08 cores=0,2,4,6
/proc/6330/stat : 6330 (java) S 6328 6330 32120 0 -1 4202496 8118 0 1 0 106 2 0 0 20 0 19 0 281936549 9856004096 10032 33554432000 1073741824 1073778376 140736878805456 140736878796592 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6330/statm: 2406251 10032 2272 9 0 2396937 0
Current children cumulated CPU time (s) 1.08
Current children cumulated vsize (KiB) 9625004

[startup+1.50068 s]
/proc/loadavg: 1.93 1.96 1.98 4/213 6349
/proc/meminfo: memFree=27771452/32873648 swapFree=6864/6864
[pid=6330] ppid=6328 vsize=9625004 CPUtime=1.93 cores=0,2,4,6
/proc/6330/stat : 6330 (java) S 6328 6330 32120 0 -1 4202496 8334 0 1 0 191 2 0 0 20 0 19 0 281936549 9856004096 11074 33554432000 1073741824 1073778376 140736878805456 140736878796592 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6330/statm: 2406251 11074 2277 9 0 2396937 0
[pid=6330/tid=6332] ppid=6328 vsize=9625004 CPUtime=1.4 cores=0,2,4,6
/proc/6330/task/6332/stat : 6332 (java) R 6328 6330 32120 0 -1 4202560 2519 0 1 0 140 0 0 0 20 0 19 0 281936549 9856004096 11074 33554432000 1073741824 1073778376 140736878805456 139647135281456 139646986540000 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6330/tid=6333] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6333/stat : 6333 (java) S 6328 6330 32120 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 281936551 9856004096 11074 33554432000 1073741824 1073778376 140736878805456 139647107734312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6330/tid=6334] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6334/stat : 6334 (java) S 6328 6330 32120 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281936551 9856004096 11074 33554432000 1073741824 1073778376 140736878805456 139647106681512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6330/tid=6335] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6335/stat : 6335 (java) S 6328 6330 32120 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 281936551 9856004096 11074 33554432000 1073741824 1073778376 140736878805456 139647105629224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6330/tid=6336] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6336/stat : 6336 (java) S 6328 6330 32120 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281936551 9856004096 11074 33554432000 1073741824 1073778376 140736878805456 139646975126440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6337] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6337/stat : 6337 (java) S 6328 6330 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281936551 9856004096 11074 33554432000 1073741824 1073778376 140736878805456 139646974073128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6330/tid=6338] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6338/stat : 6338 (java) S 6328 6330 32120 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281936551 9856004096 11074 33554432000 1073741824 1073778376 140736878805456 139646973020328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6330/tid=6339] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6339/stat : 6339 (java) S 6328 6330 32120 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281936551 9856004096 11074 33554432000 1073741824 1073778376 140736878805456 139646971968040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6330/tid=6340] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6340/stat : 6340 (java) S 6328 6330 32120 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281936551 9856004096 11074 33554432000 1073741824 1073778376 140736878805456 139646970915240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6341] ppid=6328 vsize=9625004 CPUtime=0.04 cores=0,2,4,6
/proc/6330/task/6341/stat : 6341 (java) S 6328 6330 32120 0 -1 4202560 34 0 0 0 4 0 0 0 20 0 19 0 281936552 9856004096 11074 33554432000 1073741824 1073778376 140736878805456 139646488402664 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6342] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6342/stat : 6342 (java) S 6328 6330 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281936552 9856004096 11074 33554432000 1073741824 1073778376 140736878805456 139646487348728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6343] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6343/stat : 6343 (java) S 6328 6330 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281936552 9856004096 11074 33554432000 1073741824 1073778376 140736878805456 139646486296328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6344] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6344/stat : 6344 (java) S 6328 6330 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281936555 9856004096 11074 33554432000 1073741824 1073778376 140736878805456 139646485244816 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6345] ppid=6328 vsize=9625004 CPUtime=0.24 cores=0,2,4,6
/proc/6330/task/6345/stat : 6345 (java) S 6328 6330 32120 0 -1 4202560 2567 0 0 0 24 0 0 0 20 0 19 0 281936555 9856004096 11074 33554432000 1073741824 1073778376 140736878805456 139646484191416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6346] ppid=6328 vsize=9625004 CPUtime=0.16 cores=0,2,4,6
/proc/6330/task/6346/stat : 6346 (java) S 6328 6330 32120 0 -1 4202560 1988 0 0 0 16 0 0 0 20 0 19 0 281936555 9856004096 11074 33554432000 1073741824 1073778376 140736878805456 139646483138616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6330/tid=6347] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6347/stat : 6347 (java) S 6328 6330 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281936555 9856004096 11074 33554432000 1073741824 1073778376 140736878805456 139646482086520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6330/tid=6348] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6348/stat : 6348 (java) S 6328 6330 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281936555 9856004096 11074 33554432000 1073741824 1073778376 140736878805456 139646481033928 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6349] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6349/stat : 6349 (java) S 6328 6330 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281936566 9856004096 11074 33554432000 1073741824 1073778376 140736878805456 139646479979944 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.93
Current children cumulated vsize (KiB) 9625004

[startup+3.10061 s]
/proc/loadavg: 1.93 1.96 1.98 3/213 6349
/proc/meminfo: memFree=27767108/32873648 swapFree=6864/6864
[pid=6330] ppid=6328 vsize=9625004 CPUtime=3.58 cores=0,2,4,6
/proc/6330/stat : 6330 (java) S 6328 6330 32120 0 -1 4202496 8348 0 1 0 356 2 0 0 20 0 19 0 281936549 9856004096 11080 33554432000 1073741824 1073778376 140736878805456 140736878796592 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6330/statm: 2406251 11080 2277 9 0 2396937 0
[pid=6330/tid=6332] ppid=6328 vsize=9625004 CPUtime=2.9 cores=0,2,4,6
/proc/6330/task/6332/stat : 6332 (java) R 6328 6330 32120 0 -1 4202560 2527 0 1 0 290 0 0 0 20 0 19 0 281936549 9856004096 11080 33554432000 1073741824 1073778376 140736878805456 139647135281416 139646986540143 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6330/tid=6333] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6333/stat : 6333 (java) S 6328 6330 32120 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 281936551 9856004096 11080 33554432000 1073741824 1073778376 140736878805456 139647107734312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6330/tid=6334] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6334/stat : 6334 (java) S 6328 6330 32120 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281936551 9856004096 11080 33554432000 1073741824 1073778376 140736878805456 139647106681512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6335] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6335/stat : 6335 (java) S 6328 6330 32120 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281936551 9856004096 11080 33554432000 1073741824 1073778376 140736878805456 139647105629224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6330/tid=6336] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6336/stat : 6336 (java) S 6328 6330 32120 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 281936551 9856004096 11080 33554432000 1073741824 1073778376 140736878805456 139646975126440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6330/tid=6337] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6337/stat : 6337 (java) S 6328 6330 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281936551 9856004096 11080 33554432000 1073741824 1073778376 140736878805456 139646974073128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6330/tid=6338] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6338/stat : 6338 (java) S 6328 6330 32120 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281936551 9856004096 11080 33554432000 1073741824 1073778376 140736878805456 139646973020328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6330/tid=6339] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6339/stat : 6339 (java) S 6328 6330 32120 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 281936551 9856004096 11080 33554432000 1073741824 1073778376 140736878805456 139646971968040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6330/tid=6340] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6340/stat : 6340 (java) S 6328 6330 32120 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 281936551 9856004096 11080 33554432000 1073741824 1073778376 140736878805456 139646970915240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6341] ppid=6328 vsize=9625004 CPUtime=0.11 cores=0,2,4,6
/proc/6330/task/6341/stat : 6341 (java) S 6328 6330 32120 0 -1 4202560 34 0 0 0 11 0 0 0 20 0 19 0 281936552 9856004096 11080 33554432000 1073741824 1073778376 140736878805456 139646488402664 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6342] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6342/stat : 6342 (java) S 6328 6330 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281936552 9856004096 11080 33554432000 1073741824 1073778376 140736878805456 139646487348728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6343] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6343/stat : 6343 (java) S 6328 6330 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281936552 9856004096 11080 33554432000 1073741824 1073778376 140736878805456 139646486296328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6344] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6344/stat : 6344 (java) S 6328 6330 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281936555 9856004096 11080 33554432000 1073741824 1073778376 140736878805456 139646485244816 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6345] ppid=6328 vsize=9625004 CPUtime=0.25 cores=0,2,4,6
/proc/6330/task/6345/stat : 6345 (java) S 6328 6330 32120 0 -1 4202560 2567 0 0 0 25 0 0 0 20 0 19 0 281936555 9856004096 11080 33554432000 1073741824 1073778376 140736878805456 139646484191416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6346] ppid=6328 vsize=9625004 CPUtime=0.16 cores=0,2,4,6
/proc/6330/task/6346/stat : 6346 (java) S 6328 6330 32120 0 -1 4202560 1988 0 0 0 16 0 0 0 20 0 19 0 281936555 9856004096 11080 33554432000 1073741824 1073778376 140736878805456 139646483138616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6330/tid=6347] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6347/stat : 6347 (java) S 6328 6330 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281936555 9856004096 11080 33554432000 1073741824 1073778376 140736878805456 139646482086520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6330/tid=6348] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6348/stat : 6348 (java) S 6328 6330 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281936555 9856004096 11080 33554432000 1073741824 1073778376 140736878805456 139646481033928 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6349] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6349/stat : 6349 (java) S 6328 6330 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281936566 9856004096 11080 33554432000 1073741824 1073778376 140736878805456 139646479979944 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.58
Current children cumulated vsize (KiB) 9625004

[startup+6.30068 s]
/proc/loadavg: 1.94 1.96 1.98 3/213 6349
/proc/meminfo: memFree=27767124/32873648 swapFree=6864/6864
[pid=6330] ppid=6328 vsize=9625004 CPUtime=6.93 cores=0,2,4,6
/proc/6330/stat : 6330 (java) S 6328 6330 32120 0 -1 4202496 8374 0 1 0 690 3 0 0 20 0 19 0 281936549 9856004096 10972 33554432000 1073741824 1073778376 140736878805456 140736878796592 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6330/statm: 2406251 10972 2277 9 0 2396937 0
[pid=6330/tid=6332] ppid=6328 vsize=9625004 CPUtime=5.9 cores=0,2,4,6
/proc/6330/task/6332/stat : 6332 (java) R 6328 6330 32120 0 -1 4202560 2543 0 1 0 589 1 0 0 20 0 19 0 281936549 9856004096 10972 33554432000 1073741824 1073778376 140736878805456 139647135281456 139646986583264 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=6330/tid=6333] ppid=6328 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/6330/task/6333/stat : 6333 (java) S 6328 6330 32120 0 -1 4202560 10 0 0 0 2 0 0 0 20 0 19 0 281936551 9856004096 10972 33554432000 1073741824 1073778376 140736878805456 139647107734312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6334] ppid=6328 vsize=9625004 CPUtime=0.01 cores=0,2,4,6
/proc/6330/task/6334/stat : 6334 (java) S 6328 6330 32120 0 -1 4202560 5 0 0 0 1 0 0 0 20 0 19 0 281936551 9856004096 10972 33554432000 1073741824 1073778376 140736878805456 139647106681512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6330/tid=6335] ppid=6328 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/6330/task/6335/stat : 6335 (java) S 6328 6330 32120 0 -1 4202560 5 0 0 0 3 0 0 0 20 0 19 0 281936551 9856004096 10972 33554432000 1073741824 1073778376 140736878805456 139647105629224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6336] ppid=6328 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/6330/task/6336/stat : 6336 (java) S 6328 6330 32120 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 19 0 281936551 9856004096 10972 33554432000 1073741824 1073778376 140736878805456 139646975126440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6330/tid=6337] ppid=6328 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/6330/task/6337/stat : 6337 (java) S 6328 6330 32120 0 -1 4202560 9 0 0 0 2 0 0 0 20 0 19 0 281936551 9856004096 10972 33554432000 1073741824 1073778376 140736878805456 139646974073128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6330/tid=6338] ppid=6328 vsize=9625004 CPUtime=0.03 cores=0,2,4,6
/proc/6330/task/6338/stat : 6338 (java) S 6328 6330 32120 0 -1 4202560 5 0 0 0 3 0 0 0 20 0 19 0 281936551 9856004096 10972 33554432000 1073741824 1073778376 140736878805456 139646973020328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6339] ppid=6328 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/6330/task/6339/stat : 6339 (java) S 6328 6330 32120 0 -1 4202560 8 0 0 0 2 0 0 0 20 0 19 0 281936551 9856004096 10972 33554432000 1073741824 1073778376 140736878805456 139646971968040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6330/tid=6340] ppid=6328 vsize=9625004 CPUtime=0.02 cores=0,2,4,6
/proc/6330/task/6340/stat : 6340 (java) S 6328 6330 32120 0 -1 4202560 5 0 0 0 2 0 0 0 20 0 19 0 281936551 9856004096 10972 33554432000 1073741824 1073778376 140736878805456 139646970915240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6341] ppid=6328 vsize=9625004 CPUtime=0.25 cores=0,2,4,6
/proc/6330/task/6341/stat : 6341 (java) S 6328 6330 32120 0 -1 4202560 34 0 0 0 25 0 0 0 20 0 19 0 281936552 9856004096 10972 33554432000 1073741824 1073778376 140736878805456 139646488402664 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6330/tid=6342] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6342/stat : 6342 (java) S 6328 6330 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281936552 9856004096 10972 33554432000 1073741824 1073778376 140736878805456 139646487348728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6343] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6343/stat : 6343 (java) S 6328 6330 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281936552 9856004096 10972 33554432000 1073741824 1073778376 140736878805456 139646486296328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6344] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6344/stat : 6344 (java) S 6328 6330 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281936555 9856004096 10972 33554432000 1073741824 1073778376 140736878805456 139646485244816 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6345] ppid=6328 vsize=9625004 CPUtime=0.25 cores=0,2,4,6
/proc/6330/task/6345/stat : 6345 (java) S 6328 6330 32120 0 -1 4202560 2567 0 0 0 25 0 0 0 20 0 19 0 281936555 9856004096 10972 33554432000 1073741824 1073778376 140736878805456 139646484191416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6346] ppid=6328 vsize=9625004 CPUtime=0.16 cores=0,2,4,6
/proc/6330/task/6346/stat : 6346 (java) S 6328 6330 32120 0 -1 4202560 1988 0 0 0 16 0 0 0 20 0 19 0 281936555 9856004096 10972 33554432000 1073741824 1073778376 140736878805456 139646483138616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6330/tid=6347] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6347/stat : 6347 (java) S 6328 6330 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281936555 9856004096 10972 33554432000 1073741824 1073778376 140736878805456 139646482086520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6330/tid=6348] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6348/stat : 6348 (java) S 6328 6330 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281936555 9856004096 10972 33554432000 1073741824 1073778376 140736878805456 139646481033928 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6330/tid=6349] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6349/stat : 6349 (java) S 6328 6330 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281936566 9856004096 10972 33554432000 1073741824 1073778376 140736878805456 139646479979944 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.93
Current children cumulated vsize (KiB) 9625004

[startup+12.7006 s]

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

/proc/6330/task/6333/stat : 6333 (java) S 6328 6330 32120 0 -1 4202560 29 0 0 0 22 0 0 0 20 0 19 0 281936551 9856004096 16238 33554432000 1073741824 1073778376 140736878805456 139647107734312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6330/tid=6334] ppid=6328 vsize=9625004 CPUtime=0.22 cores=0,2,4,6
/proc/6330/task/6334/stat : 6334 (java) S 6328 6330 32120 0 -1 4202560 32 0 0 0 22 0 0 0 20 0 19 0 281936551 9856004096 16238 33554432000 1073741824 1073778376 140736878805456 139647106681512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6330/tid=6335] ppid=6328 vsize=9625004 CPUtime=0.22 cores=0,2,4,6
/proc/6330/task/6335/stat : 6335 (java) S 6328 6330 32120 0 -1 4202560 18 0 0 0 22 0 0 0 20 0 19 0 281936551 9856004096 16238 33554432000 1073741824 1073778376 140736878805456 139647105629224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6330/tid=6336] ppid=6328 vsize=9625004 CPUtime=0.22 cores=0,2,4,6
/proc/6330/task/6336/stat : 6336 (java) S 6328 6330 32120 0 -1 4202560 22 0 0 0 22 0 0 0 20 0 19 0 281936551 9856004096 16238 33554432000 1073741824 1073778376 140736878805456 139646975126440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6330/tid=6337] ppid=6328 vsize=9625004 CPUtime=0.24 cores=0,2,4,6
/proc/6330/task/6337/stat : 6337 (java) S 6328 6330 32120 0 -1 4202560 19 0 0 0 24 0 0 0 20 0 19 0 281936551 9856004096 16238 33554432000 1073741824 1073778376 140736878805456 139646974073128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6330/tid=6338] ppid=6328 vsize=9625004 CPUtime=0.23 cores=0,2,4,6
/proc/6330/task/6338/stat : 6338 (java) S 6328 6330 32120 0 -1 4202560 26 0 0 0 23 0 0 0 20 0 19 0 281936551 9856004096 16238 33554432000 1073741824 1073778376 140736878805456 139646973020328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6339] ppid=6328 vsize=9625004 CPUtime=0.22 cores=0,2,4,6
/proc/6330/task/6339/stat : 6339 (java) S 6328 6330 32120 0 -1 4202560 22 0 0 0 22 0 0 0 20 0 19 0 281936551 9856004096 16238 33554432000 1073741824 1073778376 140736878805456 139646971968040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6330/tid=6340] ppid=6328 vsize=9625004 CPUtime=0.22 cores=0,2,4,6
/proc/6330/task/6340/stat : 6340 (java) S 6328 6330 32120 0 -1 4202560 13 0 0 0 22 0 0 0 20 0 19 0 281936551 9856004096 16238 33554432000 1073741824 1073778376 140736878805456 139646970915240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6330/tid=6341] ppid=6328 vsize=9625004 CPUtime=1.91 cores=0,2,4,6
/proc/6330/task/6341/stat : 6341 (java) S 6328 6330 32120 0 -1 4202560 75 0 0 0 191 0 0 0 20 0 19 0 281936552 9856004096 16238 33554432000 1073741824 1073778376 140736878805456 139646488402664 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6330/tid=6342] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6342/stat : 6342 (java) S 6328 6330 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281936552 9856004096 16238 33554432000 1073741824 1073778376 140736878805456 139646487348728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6343] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6343/stat : 6343 (java) S 6328 6330 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281936552 9856004096 16238 33554432000 1073741824 1073778376 140736878805456 139646486296328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6344] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6344/stat : 6344 (java) S 6328 6330 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281936555 9856004096 16238 33554432000 1073741824 1073778376 140736878805456 139646485244816 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6345] ppid=6328 vsize=9625004 CPUtime=1.2 cores=0,2,4,6
/proc/6330/task/6345/stat : 6345 (java) S 6328 6330 32120 0 -1 4202560 15357 0 0 0 117 3 0 0 20 0 19 0 281936555 9856004096 16238 33554432000 1073741824 1073778376 140736878805456 139646484191416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6330/tid=6346] ppid=6328 vsize=9625004 CPUtime=0.22 cores=0,2,4,6
/proc/6330/task/6346/stat : 6346 (java) S 6328 6330 32120 0 -1 4202560 2469 0 0 0 22 0 0 0 20 0 19 0 281936555 9856004096 16238 33554432000 1073741824 1073778376 140736878805456 139646483138616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6330/tid=6347] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6347/stat : 6347 (java) S 6328 6330 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281936555 9856004096 16238 33554432000 1073741824 1073778376 140736878805456 139646482086520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6330/tid=6348] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6348/stat : 6348 (java) S 6328 6330 32120 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 281936555 9856004096 16238 33554432000 1073741824 1073778376 140736878805456 139646481033928 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6330/tid=6349] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6349/stat : 6349 (java) S 6328 6330 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281936566 9856004096 16238 33554432000 1073741824 1073778376 140736878805456 139646479979944 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 57
Current children cumulated vsize (KiB) 9625004

[startup+55.1006 s]
/proc/loadavg: 1.97 1.96 1.98 3/213 6349
/proc/meminfo: memFree=27753560/32873648 swapFree=6864/6864
[pid=6330] ppid=6328 vsize=9625004 CPUtime=57.83 cores=0,2,4,6
/proc/6330/stat : 6330 (java) S 6328 6330 32120 0 -1 4202496 21967 0 1 0 5775 8 0 0 20 0 19 0 281936549 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 140736878796592 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6330/statm: 2406251 16240 2280 9 0 2396937 0
[pid=6330/tid=6332] ppid=6328 vsize=9625004 CPUtime=52.43 cores=0,2,4,6
/proc/6330/task/6332/stat : 6332 (java) R 6328 6330 32120 0 -1 4202560 2700 0 1 0 5241 2 0 0 20 0 19 0 281936549 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139647135281576 139646986496640 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6333] ppid=6328 vsize=9625004 CPUtime=0.23 cores=0,2,4,6
/proc/6330/task/6333/stat : 6333 (java) S 6328 6330 32120 0 -1 4202560 29 0 0 0 23 0 0 0 20 0 19 0 281936551 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139647107734312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6330/tid=6334] ppid=6328 vsize=9625004 CPUtime=0.23 cores=0,2,4,6
/proc/6330/task/6334/stat : 6334 (java) S 6328 6330 32120 0 -1 4202560 32 0 0 0 23 0 0 0 20 0 19 0 281936551 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139647106681512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6335] ppid=6328 vsize=9625004 CPUtime=0.23 cores=0,2,4,6
/proc/6330/task/6335/stat : 6335 (java) S 6328 6330 32120 0 -1 4202560 18 0 0 0 23 0 0 0 20 0 19 0 281936551 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139647105629224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6330/tid=6336] ppid=6328 vsize=9625004 CPUtime=0.22 cores=0,2,4,6
/proc/6330/task/6336/stat : 6336 (java) S 6328 6330 32120 0 -1 4202560 25 0 0 0 22 0 0 0 20 0 19 0 281936551 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646975126440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6330/tid=6337] ppid=6328 vsize=9625004 CPUtime=0.24 cores=0,2,4,6
/proc/6330/task/6337/stat : 6337 (java) S 6328 6330 32120 0 -1 4202560 19 0 0 0 24 0 0 0 20 0 19 0 281936551 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646974073128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6330/tid=6338] ppid=6328 vsize=9625004 CPUtime=0.24 cores=0,2,4,6
/proc/6330/task/6338/stat : 6338 (java) S 6328 6330 32120 0 -1 4202560 26 0 0 0 24 0 0 0 20 0 19 0 281936551 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646973020328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6339] ppid=6328 vsize=9625004 CPUtime=0.23 cores=0,2,4,6
/proc/6330/task/6339/stat : 6339 (java) S 6328 6330 32120 0 -1 4202560 22 0 0 0 23 0 0 0 20 0 19 0 281936551 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646971968040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6340] ppid=6328 vsize=9625004 CPUtime=0.23 cores=0,2,4,6
/proc/6330/task/6340/stat : 6340 (java) S 6328 6330 32120 0 -1 4202560 13 0 0 0 23 0 0 0 20 0 19 0 281936551 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646970915240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6341] ppid=6328 vsize=9625004 CPUtime=1.95 cores=0,2,4,6
/proc/6330/task/6341/stat : 6341 (java) S 6328 6330 32120 0 -1 4202560 75 0 0 0 195 0 0 0 20 0 19 0 281936552 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646488402664 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6330/tid=6342] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6342/stat : 6342 (java) S 6328 6330 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281936552 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646487348728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6343] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6343/stat : 6343 (java) S 6328 6330 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281936552 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646486296328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6344] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6344/stat : 6344 (java) S 6328 6330 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281936555 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646485244816 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6345] ppid=6328 vsize=9625004 CPUtime=1.2 cores=0,2,4,6
/proc/6330/task/6345/stat : 6345 (java) S 6328 6330 32120 0 -1 4202560 15357 0 0 0 117 3 0 0 20 0 19 0 281936555 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646484191416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6330/tid=6346] ppid=6328 vsize=9625004 CPUtime=0.22 cores=0,2,4,6
/proc/6330/task/6346/stat : 6346 (java) S 6328 6330 32120 0 -1 4202560 2469 0 0 0 22 0 0 0 20 0 19 0 281936555 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646483138616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6330/tid=6347] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6347/stat : 6347 (java) S 6328 6330 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281936555 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646482086520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6330/tid=6348] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6348/stat : 6348 (java) S 6328 6330 32120 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 281936555 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646481033928 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6330/tid=6349] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6349/stat : 6349 (java) S 6328 6330 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281936566 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646479979944 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 57.83
Current children cumulated vsize (KiB) 9625004

[startup+55.9007 s]
/proc/loadavg: 1.97 1.96 1.98 3/213 6349
/proc/meminfo: memFree=27753560/32873648 swapFree=6864/6864
[pid=6330] ppid=6328 vsize=9625004 CPUtime=58.64 cores=0,2,4,6
/proc/6330/stat : 6330 (java) S 6328 6330 32120 0 -1 4202496 21970 0 1 0 5856 8 0 0 20 0 19 0 281936549 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 140736878796592 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6330/statm: 2406251 16240 2280 9 0 2396937 0
[pid=6330/tid=6332] ppid=6328 vsize=9625004 CPUtime=53.19 cores=0,2,4,6
/proc/6330/task/6332/stat : 6332 (java) R 6328 6330 32120 0 -1 4202560 2703 0 1 0 5317 2 0 0 20 0 19 0 281936549 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139647135281576 139646986351758 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6333] ppid=6328 vsize=9625004 CPUtime=0.23 cores=0,2,4,6
/proc/6330/task/6333/stat : 6333 (java) S 6328 6330 32120 0 -1 4202560 29 0 0 0 23 0 0 0 20 0 19 0 281936551 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139647107734312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6330/tid=6334] ppid=6328 vsize=9625004 CPUtime=0.23 cores=0,2,4,6
/proc/6330/task/6334/stat : 6334 (java) S 6328 6330 32120 0 -1 4202560 32 0 0 0 23 0 0 0 20 0 19 0 281936551 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139647106681512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6335] ppid=6328 vsize=9625004 CPUtime=0.23 cores=0,2,4,6
/proc/6330/task/6335/stat : 6335 (java) S 6328 6330 32120 0 -1 4202560 18 0 0 0 23 0 0 0 20 0 19 0 281936551 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139647105629224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6330/tid=6336] ppid=6328 vsize=9625004 CPUtime=0.22 cores=0,2,4,6
/proc/6330/task/6336/stat : 6336 (java) S 6328 6330 32120 0 -1 4202560 25 0 0 0 22 0 0 0 20 0 19 0 281936551 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646975126440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6330/tid=6337] ppid=6328 vsize=9625004 CPUtime=0.24 cores=0,2,4,6
/proc/6330/task/6337/stat : 6337 (java) S 6328 6330 32120 0 -1 4202560 19 0 0 0 24 0 0 0 20 0 19 0 281936551 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646974073128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6330/tid=6338] ppid=6328 vsize=9625004 CPUtime=0.24 cores=0,2,4,6
/proc/6330/task/6338/stat : 6338 (java) S 6328 6330 32120 0 -1 4202560 26 0 0 0 24 0 0 0 20 0 19 0 281936551 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646973020328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6330/tid=6339] ppid=6328 vsize=9625004 CPUtime=0.23 cores=0,2,4,6
/proc/6330/task/6339/stat : 6339 (java) S 6328 6330 32120 0 -1 4202560 22 0 0 0 23 0 0 0 20 0 19 0 281936551 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646971968040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6340] ppid=6328 vsize=9625004 CPUtime=0.23 cores=0,2,4,6
/proc/6330/task/6340/stat : 6340 (java) S 6328 6330 32120 0 -1 4202560 13 0 0 0 23 0 0 0 20 0 19 0 281936551 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646970915240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6330/tid=6341] ppid=6328 vsize=9625004 CPUtime=1.98 cores=0,2,4,6
/proc/6330/task/6341/stat : 6341 (java) S 6328 6330 32120 0 -1 4202560 75 0 0 0 198 0 0 0 20 0 19 0 281936552 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646488402664 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6330/tid=6342] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6342/stat : 6342 (java) S 6328 6330 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281936552 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646487348728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6343] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6343/stat : 6343 (java) S 6328 6330 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281936552 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646486296328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6344] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6344/stat : 6344 (java) S 6328 6330 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281936555 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646485244816 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6345] ppid=6328 vsize=9625004 CPUtime=1.2 cores=0,2,4,6
/proc/6330/task/6345/stat : 6345 (java) S 6328 6330 32120 0 -1 4202560 15357 0 0 0 117 3 0 0 20 0 19 0 281936555 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646484191416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6330/tid=6346] ppid=6328 vsize=9625004 CPUtime=0.22 cores=0,2,4,6
/proc/6330/task/6346/stat : 6346 (java) S 6328 6330 32120 0 -1 4202560 2469 0 0 0 22 0 0 0 20 0 19 0 281936555 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646483138616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6330/tid=6347] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6347/stat : 6347 (java) S 6328 6330 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281936555 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646482086520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6330/tid=6348] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6348/stat : 6348 (java) S 6328 6330 32120 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 281936555 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646481033928 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6330/tid=6349] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6349/stat : 6349 (java) S 6328 6330 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281936566 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646479979944 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 58.64
Current children cumulated vsize (KiB) 9625004

[startup+56.1068 s]
/proc/loadavg: 1.97 1.96 1.98 3/213 6349
/proc/meminfo: memFree=27754676/32873648 swapFree=6864/6864
[pid=6330] ppid=6328 vsize=9625004 CPUtime=58.85 cores=0,2,4,6
/proc/6330/stat : 6330 (java) S 6328 6330 32120 0 -1 4202496 21971 0 1 0 5877 8 0 0 20 0 19 0 281936549 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 140736878796592 270710898749 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/6330/statm: 2406251 16240 2280 9 0 2396937 0
[pid=6330/tid=6332] ppid=6328 vsize=9625004 CPUtime=53.39 cores=0,2,4,6
/proc/6330/task/6332/stat : 6332 (java) R 6328 6330 32120 0 -1 4202560 2704 0 1 0 5337 2 0 0 20 0 19 0 281936549 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139647135281576 139646986531547 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6333] ppid=6328 vsize=9625004 CPUtime=0.23 cores=0,2,4,6
/proc/6330/task/6333/stat : 6333 (java) S 6328 6330 32120 0 -1 4202560 29 0 0 0 23 0 0 0 20 0 19 0 281936551 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139647107734312 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6334] ppid=6328 vsize=9625004 CPUtime=0.23 cores=0,2,4,6
/proc/6330/task/6334/stat : 6334 (java) S 6328 6330 32120 0 -1 4202560 32 0 0 0 23 0 0 0 20 0 19 0 281936551 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139647106681512 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6335] ppid=6328 vsize=9625004 CPUtime=0.23 cores=0,2,4,6
/proc/6330/task/6335/stat : 6335 (java) S 6328 6330 32120 0 -1 4202560 18 0 0 0 23 0 0 0 20 0 19 0 281936551 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139647105629224 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6330/tid=6336] ppid=6328 vsize=9625004 CPUtime=0.22 cores=0,2,4,6
/proc/6330/task/6336/stat : 6336 (java) S 6328 6330 32120 0 -1 4202560 25 0 0 0 22 0 0 0 20 0 19 0 281936551 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646975126440 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6330/tid=6337] ppid=6328 vsize=9625004 CPUtime=0.24 cores=0,2,4,6
/proc/6330/task/6337/stat : 6337 (java) S 6328 6330 32120 0 -1 4202560 19 0 0 0 24 0 0 0 20 0 19 0 281936551 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646974073128 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6330/tid=6338] ppid=6328 vsize=9625004 CPUtime=0.24 cores=0,2,4,6
/proc/6330/task/6338/stat : 6338 (java) S 6328 6330 32120 0 -1 4202560 26 0 0 0 24 0 0 0 20 0 19 0 281936551 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646973020328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6330/tid=6339] ppid=6328 vsize=9625004 CPUtime=0.23 cores=0,2,4,6
/proc/6330/task/6339/stat : 6339 (java) S 6328 6330 32120 0 -1 4202560 22 0 0 0 23 0 0 0 20 0 19 0 281936551 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646971968040 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6340] ppid=6328 vsize=9625004 CPUtime=0.23 cores=0,2,4,6
/proc/6330/task/6340/stat : 6340 (java) S 6328 6330 32120 0 -1 4202560 13 0 0 0 23 0 0 0 20 0 19 0 281936551 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646970915240 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6330/tid=6341] ppid=6328 vsize=9625004 CPUtime=2 cores=0,2,4,6
/proc/6330/task/6341/stat : 6341 (java) S 6328 6330 32120 0 -1 4202560 75 0 0 0 200 0 0 0 20 0 19 0 281936552 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646488402664 270710912937 0 0 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6330/tid=6342] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6342/stat : 6342 (java) S 6328 6330 32120 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 281936552 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646487348728 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6343] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6343/stat : 6343 (java) S 6328 6330 32120 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 281936552 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646486296328 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6344] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6344/stat : 6344 (java) S 6328 6330 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281936555 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646485244816 270710920992 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6330/tid=6345] ppid=6328 vsize=9625004 CPUtime=1.2 cores=0,2,4,6
/proc/6330/task/6345/stat : 6345 (java) S 6328 6330 32120 0 -1 4202560 15357 0 0 0 117 3 0 0 20 0 19 0 281936555 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646484191416 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=6330/tid=6346] ppid=6328 vsize=9625004 CPUtime=0.22 cores=0,2,4,6
/proc/6330/task/6346/stat : 6346 (java) S 6328 6330 32120 0 -1 4202560 2469 0 0 0 22 0 0 0 20 0 19 0 281936555 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646483138616 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6330/tid=6347] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6347/stat : 6347 (java) S 6328 6330 32120 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 281936555 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646482086520 270710912060 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=6330/tid=6348] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6348/stat : 6348 (java) S 6328 6330 32120 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 281936555 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646481033928 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=6330/tid=6349] ppid=6328 vsize=9625004 CPUtime=0 cores=0,2,4,6
/proc/6330/task/6349/stat : 6349 (java) S 6328 6330 32120 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 281936566 9856004096 16240 33554432000 1073741824 1073778376 140736878805456 139646479979944 270710912937 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 58.85
Current children cumulated vsize (KiB) 9625004

Child status: 30
Real time (s): 56.1731
CPU time (s): 58.964
CPU user time (s): 58.7931
CPU system time (s): 0.170974
CPU usage (%): 104.968
Max. virtual memory (cumulated for all children) (KiB): 9625256

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 58.7931
system time used= 0.170974
maximum resident set size= 71232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21988
page faults= 1
swaps= 0
block input operations= 0
block output operations= 104
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 6687
involuntary context switches= 8846

runsolver used 0.253961 second user time and 0.613906 second system time

The end

Launcher Data 

Begin job on node125 at 2012-05-28 00:35:11
IDJOB=3710940
IDBENCH=24970
IDSOLVER=2289
FILE ID=node125/3710940-1338158111
RUNJOBID= node125-1338125514-32136
PBS_JOBID= 14624515
Free space on /tmp= 71256 MiB

SOLVER NAME= SAT4J PB specific settings 2.3.2 snapshot
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/poldner/PB/testset/normalized-10_20.opb
COMMAND LINE= java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3710940-1338158111/watcher-3710940-1338158111 -o /tmp/evaluation-result-3710940-1338158111/solver-3710940-1338158111 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-sat.jar -opt -s Resolution -S ORDERS=VarOrderHeap -hot -y HOME/instance-3710940-1338158111.opb

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

MD5SUM BENCH= dfa433e4e6a88cd1c776cef0a80ce991
RANDOM SEED=2071598395

node125.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.373
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.74
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.373
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.373
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	: 5331.92
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.373
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.90
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.373
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.91
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.373
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	: 5438.54
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.373
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.91
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.373
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:        27803344 kB
Buffers:          457988 kB
Cached:          2441080 kB
SwapCached:         2304 kB
Active:          2719156 kB
Inactive:        1504400 kB
Active(anon):    1316340 kB
Inactive(anon):     9556 kB
Active(file):    1402816 kB
Inactive(file):  1494844 kB
Unevictable:        6864 kB
Mlocked:            6864 kB
SwapTotal:      67108856 kB
SwapFree:       67102616 kB
Dirty:               892 kB
Writeback:             0 kB
AnonPages:       1328060 kB
Mapped:            22596 kB
Shmem:               104 kB
Slab:             703788 kB
SReclaimable:     147544 kB
SUnreclaim:       556244 kB
KernelStack:        1592 kB
PageTables:         7840 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:    1653000 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1282048 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= 71256 MiB
End job on node125 at 2012-05-28 00:36:07