Trace number 3492725

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 NameAnswerCPU timeWall clock time
Sat4j Resolution 2011-06-08OPTIMUM 98.685 97.5274

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111218757--soft-0-100-0.wbo
MD5SUMb0ba3c932573495a13e5be4b53f7a1a4
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark20
Best CPU time to get the best result obtained on this benchmark1.85772
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints101
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 5180
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 5179
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1266
Number of bits of the biggest sum of numbers11
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.03/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.03/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.03/0.08	c See www.sat4j.org for details.
0.03/0.08	c version 2.3.1.v20110525
0.03/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.03/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.03/0.08	c java.vm.version	19.1-b02
0.03/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.03/0.08	c sun.arch.data.model	64
0.03/0.08	c java.version		1.6.0_24
0.03/0.08	c os.name		Linux
0.03/0.08	c os.version		2.6.18-164.el5
0.03/0.08	c os.arch		amd64
0.03/0.08	c Free memory 		9996466904
0.03/0.08	c Max memory 		10048897024
0.03/0.08	c Total memory 		10048897024
0.03/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
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 --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3492725-1307911190.wbo
0.11/0.10	c reading problem ... 
0.11/0.16	c ... done. Wall clock time 0.059s.
0.11/0.16	c #vars     270
0.11/0.16	c #constraints  101
0.11/0.16	c constraints type 
0.11/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
0.11/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
0.27/0.23	c SATISFIABLE
0.27/0.23	c OPTIMIZING...
0.27/0.23	c Got one! Elapsed wall clock time (in seconds):0.129
0.27/0.23	o 541
0.62/0.46	c Got one! Elapsed wall clock time (in seconds):0.361
0.62/0.46	o 537
0.75/0.55	c Got one! Elapsed wall clock time (in seconds):0.451
0.75/0.55	o 530
0.75/0.57	c Got one! Elapsed wall clock time (in seconds):0.471
0.75/0.57	o 476
0.86/0.61	c Got one! Elapsed wall clock time (in seconds):0.503
0.86/0.61	o 457
0.86/0.67	c Got one! Elapsed wall clock time (in seconds):0.567
0.86/0.67	o 452
0.96/0.77	c cleaning 3985 clauses out of 7982 with flag 1003/7982
1.19/0.91	c Got one! Elapsed wall clock time (in seconds):0.811
1.19/0.91	o 416
1.19/0.99	c Got one! Elapsed wall clock time (in seconds):0.888
1.19/0.99	o 388
1.32/1.10	c cleaning 4717 clauses out of 9440 with flag 2005/13425
1.52/1.26	c Got one! Elapsed wall clock time (in seconds):1.152
1.52/1.26	o 385
1.72/1.40	c Got one! Elapsed wall clock time (in seconds):1.297
1.72/1.40	o 381
1.82/1.52	c cleaning 5571 clauses out of 11153 with flag 2002/19855
1.92/1.60	c Got one! Elapsed wall clock time (in seconds):1.494
1.92/1.60	o 361
2.03/1.77	c cleaning 5326 clauses out of 10661 with flag 4000/24934
2.15/1.83	c Got one! Elapsed wall clock time (in seconds):1.731
2.15/1.83	o 357
2.46/2.16	c cleaning 5479 clauses out of 10971 with flag 5002/30570
2.86/2.52	c Got one! Elapsed wall clock time (in seconds):2.422
2.86/2.52	o 327
2.86/2.57	c cleaning 5736 clauses out of 11479 with flag 1000/36557
2.96/2.68	c Got one! Elapsed wall clock time (in seconds):2.58
2.96/2.68	o 316
3.06/2.74	c Got one! Elapsed wall clock time (in seconds):2.634
3.06/2.74	o 287
3.26/2.90	c cleaning 6303 clauses out of 12623 with flag 3001/43437
3.57/3.23	c cleaning 6149 clauses out of 12320 with flag 9001/49437
3.97/3.64	c cleaning 6575 clauses out of 13170 with flag 16000/56436
4.47/4.10	c cleaning 7294 clauses out of 14597 with flag 24002/64438
4.97/4.66	c cleaning 8143 clauses out of 16301 with flag 33000/73436
5.77/5.49	c cleaning 9078 clauses out of 18159 with flag 43001/83437
6.47/6.13	c cleaning 9529 clauses out of 19080 with flag 53000/93436
6.57/6.21	c Got one! Elapsed wall clock time (in seconds):6.112
6.57/6.21	o 277
6.77/6.42	c cleaning 7711 clauses out of 15427 with flag 5000/99312
6.88/6.54	c Got one! Elapsed wall clock time (in seconds):6.442
6.88/6.55	o 253
6.98/6.64	c cleaning 6508 clauses out of 13019 with flag 2002/104615
7.17/6.86	c cleaning 6253 clauses out of 12511 with flag 8002/110615
7.57/7.27	c cleaning 6624 clauses out of 13256 with flag 15000/117613
7.67/7.30	c Got one! Elapsed wall clock time (in seconds):7.199
7.67/7.30	o 251
7.79/7.49	c cleaning 6004 clauses out of 12019 with flag 5000/123000
8.10/7.72	c cleaning 6001 clauses out of 12015 with flag 11000/129000
8.39/8.08	c cleaning 6505 clauses out of 13017 with flag 18003/136003
8.49/8.15	c Got one! Elapsed wall clock time (in seconds):8.047
8.49/8.15	o 242
8.69/8.31	c cleaning 5778 clauses out of 11568 with flag 4003/141059
9.00/8.68	c cleaning 5889 clauses out of 11789 with flag 10002/147058
9.39/9.09	c cleaning 6448 clauses out of 12900 with flag 17002/154058
9.89/9.53	c cleaning 7220 clauses out of 14450 with flag 25000/162056
10.40/10.07	c cleaning 8110 clauses out of 16230 with flag 34000/171056
11.10/10.76	c cleaning 9054 clauses out of 18122 with flag 44002/181058
11.80/11.44	c cleaning 9531 clauses out of 19067 with flag 54001/191057
12.41/12.08	c cleaning 9757 clauses out of 19535 with flag 64000/201056
12.91/12.57	c cleaning 9888 clauses out of 19783 with flag 74005/211061
13.41/13.07	c cleaning 9938 clauses out of 19890 with flag 84000/221056
14.02/13.63	c cleaning 9967 clauses out of 19953 with flag 94001/231057
14.72/14.37	c cleaning 9982 clauses out of 19987 with flag 104002/241058
15.02/14.63	c Got one! Elapsed wall clock time (in seconds):14.523
15.02/14.63	o 241
15.12/14.70	c cleaning 7681 clauses out of 15376 with flag 2000/246429
15.32/14.91	c cleaning 6845 clauses out of 13695 with flag 8000/252429
15.52/15.16	c cleaning 6921 clauses out of 13852 with flag 15002/259431
15.72/15.40	c Got one! Elapsed wall clock time (in seconds):15.297
15.72/15.40	o 213
16.02/15.61	c cleaning 8987 clauses out of 17979 with flag 5001/270479
16.22/15.84	c cleaning 7491 clauses out of 14992 with flag 11001/276479
16.42/16.08	c cleaning 7246 clauses out of 14501 with flag 18001/283479
16.72/16.36	c cleaning 7625 clauses out of 15255 with flag 26001/291479
17.12/16.76	c cleaning 8312 clauses out of 16632 with flag 35003/300481
17.73/17.31	c cleaning 9153 clauses out of 18317 with flag 45000/310478
18.13/17.76	c Got one! Elapsed wall clock time (in seconds):17.655
18.13/17.76	o 201
18.33/17.95	c cleaning 11387 clauses out of 22780 with flag 5002/324094
18.63/18.24	c cleaning 8697 clauses out of 17395 with flag 11004/330096
19.03/18.69	c cleaning 7843 clauses out of 15696 with flag 18002/337094
19.53/19.13	c cleaning 7921 clauses out of 15851 with flag 26000/345092
20.03/19.67	c cleaning 8452 clauses out of 16930 with flag 35000/354092
20.63/20.24	c cleaning 9234 clauses out of 18478 with flag 45000/364092
21.03/20.62	c Got one! Elapsed wall clock time (in seconds):20.515
21.03/20.62	o 174
21.23/20.81	c cleaning 10690 clauses out of 21384 with flag 5000/376232
21.45/21.04	c cleaning 8346 clauses out of 16696 with flag 11002/382234
21.75/21.30	c cleaning 7666 clauses out of 15348 with flag 18000/389232
22.05/21.61	c cleaning 7837 clauses out of 15683 with flag 26001/397233
22.35/22.00	c cleaning 8412 clauses out of 16846 with flag 35001/406233
22.95/22.53	c cleaning 9215 clauses out of 18441 with flag 45008/416240
23.15/22.71	c Got one! Elapsed wall clock time (in seconds):22.609
23.15/22.71	o 129
23.15/22.78	c cleaning 7343 clauses out of 14692 with flag 2000/421706
23.35/23.00	c cleaning 6673 clauses out of 13350 with flag 8001/427707
23.66/23.25	c cleaning 6834 clauses out of 13676 with flag 15000/434706
23.96/23.53	c cleaning 7418 clauses out of 14843 with flag 23001/442707
24.27/23.86	c cleaning 8208 clauses out of 16425 with flag 32001/451707
24.67/24.25	c cleaning 9106 clauses out of 18217 with flag 42001/461707
25.17/24.73	c cleaning 9547 clauses out of 19110 with flag 52000/471706
25.67/25.29	c cleaning 9778 clauses out of 19567 with flag 62004/481710
26.27/25.86	c cleaning 9886 clauses out of 19787 with flag 72002/491708
26.88/26.47	c cleaning 9948 clauses out of 19901 with flag 82002/501708
27.58/27.11	c cleaning 9969 clauses out of 19953 with flag 92002/511708
28.18/27.72	c cleaning 9988 clauses out of 19982 with flag 102000/521706
28.78/28.30	c cleaning 9989 clauses out of 19996 with flag 112002/531708
29.28/28.81	c Got one! Elapsed wall clock time (in seconds):28.709
29.28/28.81	o 106
29.50/29.02	c cleaning 12125 clauses out of 24259 with flag 5003/545960
29.70/29.26	c cleaning 9063 clauses out of 18131 with flag 11000/551957
30.00/29.52	c cleaning 8030 clauses out of 16068 with flag 18000/558957
30.30/29.81	c cleaning 8015 clauses out of 16038 with flag 26000/566957
30.70/30.20	c cleaning 8506 clauses out of 17024 with flag 35001/575958
31.00/30.54	c Got one! Elapsed wall clock time (in seconds):30.439
31.00/30.54	o 104
31.20/30.73	c cleaning 10217 clauses out of 20439 with flag 5000/587879
31.40/30.96	c cleaning 8110 clauses out of 16223 with flag 11001/593880
31.70/31.20	c cleaning 7550 clauses out of 15112 with flag 18000/600879
31.90/31.49	c cleaning 7775 clauses out of 15562 with flag 26000/608879
32.31/31.83	c cleaning 8389 clauses out of 16787 with flag 35000/617879
32.71/32.25	c cleaning 9197 clauses out of 18400 with flag 45002/627881
33.72/32.87	c cleaning 9594 clauses out of 19201 with flag 55000/637879
34.35/33.45	c cleaning 9797 clauses out of 19608 with flag 65001/647880
34.95/34.05	c cleaning 9899 clauses out of 19810 with flag 75000/657879
35.55/34.67	c cleaning 9951 clauses out of 19914 with flag 85003/667882
36.16/35.29	c cleaning 9974 clauses out of 19961 with flag 95001/677880
36.45/35.53	c Got one! Elapsed wall clock time (in seconds):35.428
36.45/35.53	o 98
36.45/35.58	c cleaning 7574 clauses out of 15153 with flag 1001/683046
36.75/35.81	c cleaning 6782 clauses out of 13578 with flag 7000/689045
36.95/36.08	c cleaning 6895 clauses out of 13797 with flag 14001/696046
37.26/36.39	c cleaning 7446 clauses out of 14902 with flag 22001/704046
37.66/36.77	c cleaning 8225 clauses out of 16457 with flag 31002/713047
38.06/37.17	c cleaning 9111 clauses out of 18230 with flag 41000/723045
38.56/37.60	c cleaning 9556 clauses out of 19120 with flag 51001/733046
38.96/38.07	c cleaning 9781 clauses out of 19565 with flag 61002/743047
39.47/38.58	c cleaning 9890 clauses out of 19784 with flag 71002/753047
40.16/39.23	c cleaning 9936 clauses out of 19892 with flag 81000/763045
40.76/39.84	c cleaning 9972 clauses out of 19956 with flag 91000/773045
41.36/40.47	c cleaning 9984 clauses out of 19986 with flag 101002/783047
41.96/41.06	c cleaning 9997 clauses out of 20001 with flag 111001/793046
42.57/41.67	c cleaning 9996 clauses out of 20003 with flag 121000/803045
43.17/42.27	c cleaning 10002 clauses out of 20012 with flag 131005/813050
43.78/42.89	c cleaning 9991 clauses out of 20005 with flag 141000/823045
44.48/43.50	c cleaning 10003 clauses out of 20015 with flag 151001/833046
45.08/44.17	c cleaning 10002 clauses out of 20011 with flag 161000/843045
45.78/44.83	c cleaning 10000 clauses out of 20009 with flag 171000/853045
46.38/45.47	c cleaning 9999 clauses out of 20009 with flag 181000/863045
46.78/45.81	c Got one! Elapsed wall clock time (in seconds):45.711
46.78/45.81	o 94
46.98/46.02	c cleaning 10287 clauses out of 20589 with flag 5001/873624
47.19/46.25	c cleaning 8148 clauses out of 16301 with flag 11000/879623
47.48/46.53	c cleaning 7573 clauses out of 15154 with flag 18001/886624
47.78/46.84	c cleaning 7782 clauses out of 15580 with flag 26000/894623
48.08/47.20	c cleaning 8396 clauses out of 16799 with flag 35001/903624
48.58/47.62	c cleaning 9197 clauses out of 18402 with flag 45000/913623
49.08/48.20	c cleaning 9597 clauses out of 19205 with flag 55000/923623
49.68/48.76	c cleaning 9797 clauses out of 19610 with flag 65002/933625
50.39/49.41	c cleaning 9902 clauses out of 19814 with flag 75003/943626
50.99/50.06	c cleaning 9949 clauses out of 19909 with flag 85000/953623
51.59/50.65	c cleaning 9975 clauses out of 19960 with flag 95000/963623
52.09/51.19	c Got one! Elapsed wall clock time (in seconds):51.085
52.09/51.19	o 93
52.39/51.42	c cleaning 11917 clauses out of 23840 with flag 5001/977478
52.59/51.68	c cleaning 8958 clauses out of 17925 with flag 11003/983480
52.89/51.96	c cleaning 7979 clauses out of 15965 with flag 18001/990478
53.19/52.27	c cleaning 7990 clauses out of 15989 with flag 26004/998481
53.59/52.61	c cleaning 8495 clauses out of 16995 with flag 35000/1007477
53.99/53.01	c cleaning 9243 clauses out of 18502 with flag 45002/1017479
54.39/53.41	c cleaning 9623 clauses out of 19257 with flag 55000/1027477
54.80/53.82	c cleaning 9813 clauses out of 19635 with flag 65001/1037478
55.29/54.36	c cleaning 9904 clauses out of 19824 with flag 75003/1047480
55.49/54.52	c Got one! Elapsed wall clock time (in seconds):54.414
55.49/54.52	o 78
55.59/54.62	c cleaning 7890 clauses out of 15791 with flag 3001/1053351
55.79/54.84	c cleaning 6947 clauses out of 13902 with flag 9002/1059352
56.00/55.08	c cleaning 6973 clauses out of 13954 with flag 16001/1066351
56.29/55.37	c cleaning 7484 clauses out of 14980 with flag 24000/1074350
56.69/55.71	c cleaning 8245 clauses out of 16496 with flag 33000/1083350
57.11/56.10	c cleaning 9124 clauses out of 18254 with flag 43003/1093353
57.40/56.48	c cleaning 9560 clauses out of 19127 with flag 53000/1103350
57.80/56.89	c cleaning 9779 clauses out of 19567 with flag 63000/1113350
58.21/57.25	c cleaning 9890 clauses out of 19788 with flag 73000/1123350
58.60/57.62	c cleaning 9944 clauses out of 19898 with flag 83000/1133350
58.90/57.99	c cleaning 9972 clauses out of 19954 with flag 93000/1143350
59.41/58.42	c cleaning 9989 clauses out of 19986 with flag 103004/1153354
59.91/58.91	c cleaning 9992 clauses out of 19994 with flag 113001/1163351
60.41/59.44	c cleaning 9998 clauses out of 20004 with flag 123003/1173353
60.91/59.94	c cleaning 9999 clauses out of 20003 with flag 133000/1183350
61.42/60.43	c cleaning 9996 clauses out of 20004 with flag 143000/1193350
61.91/60.90	c cleaning 9997 clauses out of 20009 with flag 153001/1203351
62.41/61.41	c cleaning 10001 clauses out of 20011 with flag 163000/1213350
62.91/61.93	c cleaning 10001 clauses out of 20011 with flag 173001/1223351
63.41/62.43	c cleaning 10000 clauses out of 20009 with flag 183000/1233350
63.62/62.69	c Got one! Elapsed wall clock time (in seconds):62.588
63.62/62.69	o 77
63.81/62.89	c cleaning 10252 clauses out of 20511 with flag 5000/1243852
64.11/63.11	c cleaning 8125 clauses out of 16260 with flag 11001/1249853
64.31/63.35	c cleaning 7562 clauses out of 15134 with flag 18000/1256852
64.61/63.64	c cleaning 7783 clauses out of 15572 with flag 26000/1264852
64.91/63.95	c cleaning 8389 clauses out of 16789 with flag 35000/1273852
65.32/64.33	c cleaning 9192 clauses out of 18400 with flag 45000/1283852
65.82/64.86	c cleaning 9592 clauses out of 19208 with flag 55000/1293852
66.32/65.33	c cleaning 9802 clauses out of 19616 with flag 65000/1303852
66.82/65.82	c cleaning 9903 clauses out of 19814 with flag 75000/1313852
67.32/66.30	c cleaning 9948 clauses out of 19912 with flag 85001/1323853
67.72/66.79	c cleaning 9976 clauses out of 19963 with flag 95000/1333852
68.22/67.29	c cleaning 9989 clauses out of 19988 with flag 105001/1343853
68.82/67.80	c cleaning 9994 clauses out of 19999 with flag 115001/1353853
69.32/68.32	c cleaning 9999 clauses out of 20004 with flag 125000/1363852
69.82/68.83	c cleaning 9997 clauses out of 20006 with flag 135001/1373853
70.33/69.39	c cleaning 10003 clauses out of 20011 with flag 145003/1383855
70.93/69.95	c cleaning 9999 clauses out of 20006 with flag 155001/1393853
71.43/70.43	c Got one! Elapsed wall clock time (in seconds):70.331
71.43/70.43	o 71
71.63/70.66	c cleaning 12447 clauses out of 24902 with flag 5001/1408748
71.83/70.90	c cleaning 9221 clauses out of 18454 with flag 11000/1414747
72.13/71.15	c cleaning 8115 clauses out of 16235 with flag 18002/1421749
72.44/71.45	c cleaning 8051 clauses out of 16118 with flag 26000/1429747
72.83/71.81	c cleaning 8529 clauses out of 17069 with flag 35002/1438749
73.13/72.17	c cleaning 9264 clauses out of 18538 with flag 45000/1448747
73.54/72.57	c cleaning 9633 clauses out of 19275 with flag 55001/1458748
73.94/72.95	c cleaning 9817 clauses out of 19641 with flag 65000/1468747
74.34/73.30	c cleaning 9904 clauses out of 19824 with flag 75000/1478747
74.64/73.66	c cleaning 9952 clauses out of 19920 with flag 85000/1488747
75.04/74.02	c cleaning 9981 clauses out of 19969 with flag 95001/1498748
75.44/74.45	c cleaning 9991 clauses out of 19987 with flag 105000/1508747
75.94/74.91	c cleaning 9991 clauses out of 19996 with flag 115000/1518747
76.44/75.46	c cleaning 9997 clauses out of 20005 with flag 125000/1528747
76.95/75.93	c cleaning 10000 clauses out of 20008 with flag 135000/1538747
77.44/76.40	c cleaning 10002 clauses out of 20009 with flag 145001/1548748
77.54/76.53	c Got one! Elapsed wall clock time (in seconds):76.431
77.54/76.53	o 60
77.64/76.64	c cleaning 7997 clauses out of 16004 with flag 3000/1554745
77.84/76.85	c cleaning 7002 clauses out of 14010 with flag 9003/1560748
78.05/77.09	c cleaning 7000 clauses out of 14006 with flag 16001/1567746
78.34/77.38	c cleaning 7499 clauses out of 15006 with flag 24001/1575746
78.65/77.69	c cleaning 8251 clauses out of 16509 with flag 33003/1584748
79.05/78.05	c cleaning 9123 clauses out of 18255 with flag 43000/1594745
79.44/78.43	c cleaning 9563 clauses out of 19134 with flag 53002/1604747
79.85/78.81	c cleaning 9780 clauses out of 19571 with flag 63002/1614747
80.25/79.21	c cleaning 9891 clauses out of 19790 with flag 73001/1624746
80.55/79.57	c cleaning 9944 clauses out of 19898 with flag 83000/1634745
80.95/79.92	c cleaning 9972 clauses out of 19955 with flag 93001/1644746
81.25/80.27	c cleaning 9988 clauses out of 19983 with flag 103001/1654746
81.65/80.64	c cleaning 9991 clauses out of 19995 with flag 113001/1664746
82.06/81.02	c cleaning 9997 clauses out of 20005 with flag 123002/1674747
82.36/81.38	c cleaning 10000 clauses out of 20008 with flag 133002/1684747
82.76/81.75	c cleaning 10002 clauses out of 20009 with flag 143003/1694748
83.16/82.18	c cleaning 9994 clauses out of 20004 with flag 153000/1704745
83.66/82.62	c cleaning 10002 clauses out of 20010 with flag 163000/1714745
83.86/82.87	c Got one! Elapsed wall clock time (in seconds):82.77
83.86/82.87	o 47
84.20/83.10	c cleaning 10306 clauses out of 20623 with flag 5000/1725360
84.40/83.34	c cleaning 8154 clauses out of 16318 with flag 11001/1731361
84.71/83.68	c cleaning 7576 clauses out of 15163 with flag 18000/1738360
85.10/84.05	c cleaning 7791 clauses out of 15587 with flag 26000/1746360
85.50/84.43	c cleaning 8392 clauses out of 16797 with flag 35001/1755361
85.91/84.89	c cleaning 9195 clauses out of 18405 with flag 45001/1765361
86.41/85.34	c cleaning 9601 clauses out of 19212 with flag 55003/1775363
86.82/85.79	c cleaning 9795 clauses out of 19608 with flag 65000/1785360
87.21/86.16	c Got one! Elapsed wall clock time (in seconds):86.054
87.21/86.16	o 24
87.41/86.38	c cleaning 11462 clauses out of 22932 with flag 5000/1798479
87.71/86.61	c cleaning 8732 clauses out of 17470 with flag 11000/1804479
87.92/86.87	c cleaning 7865 clauses out of 15739 with flag 18001/1811480
88.21/87.17	c cleaning 7934 clauses out of 15874 with flag 26001/1819480
88.61/87.50	c cleaning 8466 clauses out of 16940 with flag 35001/1828480
88.92/87.89	c cleaning 9235 clauses out of 18473 with flag 45000/1838479
89.42/88.37	c cleaning 9616 clauses out of 19239 with flag 55001/1848480
89.92/88.83	c cleaning 9806 clauses out of 19622 with flag 65000/1858479
90.32/89.27	c cleaning 9899 clauses out of 19816 with flag 75000/1868479
90.73/89.64	c cleaning 9954 clauses out of 19917 with flag 85000/1878479
91.13/90.02	c cleaning 9979 clauses out of 19963 with flag 95000/1888479
91.23/90.14	c Got one! Elapsed wall clock time (in seconds):90.033
91.23/90.14	o 20
91.33/90.22	c cleaning 7702 clauses out of 15417 with flag 2001/1893912
91.53/90.44	c cleaning 6854 clauses out of 13714 with flag 8000/1899911
91.73/90.68	c cleaning 6925 clauses out of 13860 with flag 15000/1906911
92.03/90.97	c cleaning 7457 clauses out of 14935 with flag 23000/1914911
92.44/91.31	c cleaning 8235 clauses out of 16479 with flag 32001/1923912
92.73/91.68	c cleaning 9117 clauses out of 18243 with flag 42000/1933911
93.13/92.06	c cleaning 9558 clauses out of 19126 with flag 52000/1943911
93.54/92.44	c cleaning 9780 clauses out of 19568 with flag 62000/1953911
93.94/92.82	c cleaning 9891 clauses out of 19788 with flag 72000/1963911
94.24/93.18	c cleaning 9945 clauses out of 19899 with flag 82002/1973913
94.64/93.57	c cleaning 9971 clauses out of 19952 with flag 92000/1983911
95.04/93.94	c cleaning 9987 clauses out of 19981 with flag 102000/1993911
95.44/94.34	c cleaning 9993 clauses out of 19994 with flag 112000/2003911
95.84/94.71	c cleaning 9998 clauses out of 20003 with flag 122002/2013913
96.24/95.11	c cleaning 9997 clauses out of 20003 with flag 132000/2023911
96.65/95.52	c cleaning 9997 clauses out of 20007 with flag 142001/2033912
97.05/95.90	c cleaning 9998 clauses out of 20010 with flag 152001/2043912
97.35/96.29	c cleaning 10000 clauses out of 20012 with flag 162001/2053912
97.75/96.67	c cleaning 9999 clauses out of 20011 with flag 172000/2063911
98.15/97.07	c cleaning 10004 clauses out of 20013 with flag 182001/2073912
98.55/97.47	c cleaning 10002 clauses out of 20008 with flag 192001/2083912
98.65/97.52	c starts		: 245
98.65/97.52	c conflicts		: 2084863
98.65/97.52	c decisions		: 3443045
98.65/97.52	c propagations		: 60912295
98.65/97.52	c inspects		: 476641696
98.65/97.52	c shortcuts		: 0
98.65/97.52	c learnt literals	: 8
98.65/97.52	c learnt binary clauses	: 120
98.65/97.52	c learnt ternary clauses	: 2253
98.65/97.52	c learnt constraints	: 2084854
98.65/97.52	c ignored constraints	: 0
98.65/97.52	c root simplifications	: 0
98.65/97.52	c removed literals (reason simplification)	: 11397759
98.65/97.52	c reason swapping (by a shorter reason)	: 0
98.65/97.52	c Calls to reduceDB	: 233
98.65/97.52	c number of reductions to clauses (during analyze)	: 0
98.65/97.52	c number of learned constraints concerned by reduction	: 0
98.65/97.52	c number of learning phase by resolution	: 0
98.65/97.52	c number of learning phase by cutting planes	: 0
98.65/97.52	c speed (assignments/second)	: 8253698.509485095
98.65/97.52	c non guided choices	1835
98.65/97.52	c learnt constraints type 
98.65/97.52	c constraints type 
98.65/97.52	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
98.65/97.52	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
98.65/97.52	s OPTIMUM FOUND
98.65/97.52	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 
98.65/97.52	c objective function=20
98.65/97.52	c Total wall clock time (in seconds): 97.415

Verifier Data 

OK	20

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 /var/tmp/evaluation-result-3492725-1307911190/watcher-3492725-1307911190 -o /var/tmp/evaluation-result-3492725-1307911190/solver-3492725-1307911190 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492725-1307911190.wbo 

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: 2.12 2.05 1.95 2/192 30602
/proc/meminfo: memFree=1459124/32951124 swapFree=67064576/67111528
[pid=30602] ppid=30600 vsize=30528 CPUtime=0 cores=0,2,4,6
/proc/30602/stat : 30602 (java) S 30600 30602 28722 0 -1 4202496 1238 0 0 0 0 0 0 0 18 0 2 0 883534582 31260672 956 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738207717 0 0 4096 0 18446744073709551615 0 0 17 0 0 0 0
/proc/30602/statm: 7632 956 730 9 0 383 0
[pid=30602/tid=30603] ppid=30600 vsize=30536 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30603/stat : 30603 (java) R 30600 30602 28722 0 -1 4202560 124 0 0 0 0 0 0 0 19 0 2 0 883534583 31268864 957 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738236612 0 0 4096 2048 0 0 0 -1 0 0 0 0

[startup+0.04263 s]
/proc/loadavg: 2.12 2.05 1.95 2/192 30602
/proc/meminfo: memFree=1459124/32951124 swapFree=67064576/67111528
[pid=30602] ppid=30600 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/30602/stat : 30602 (java) S 30600 30602 28722 0 -1 4202496 11272 0 1 0 2 1 0 0 18 0 13 0 883534582 10718699520 10967 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738207717 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0 0
/proc/30602/statm: 2616870 10969 1673 9 0 2607618 0
[pid=30602/tid=30603] ppid=30600 vsize=10467480 CPUtime=0.03 cores=0,2,4,6
/proc/30602/task/30603/stat : 30603 (java) R 30600 30602 28722 0 -1 4202560 10128 0 1 0 2 1 0 0 25 0 13 0 883534583 10718699520 10971 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 47032285726232 0 4 0 16784584 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 10467480

[startup+0.104627 s]
/proc/loadavg: 2.12 2.05 1.95 2/192 30602
/proc/meminfo: memFree=1459124/32951124 swapFree=67064576/67111528
[pid=30602] ppid=30600 vsize=10539992 CPUtime=0.11 cores=0,2,4,6
/proc/30602/stat : 30602 (java) S 30600 30602 28722 0 -1 4202496 13148 0 1 0 10 1 0 0 18 0 18 0 883534582 10792951808 12827 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30602/statm: 2634998 12827 2107 9 0 2625732 0
[pid=30602/tid=30603] ppid=30600 vsize=10539992 CPUtime=0.09 cores=0,2,4,6
/proc/30602/task/30603/stat : 30603 (java) R 30600 30602 28722 0 -1 4202560 11220 0 1 0 8 1 0 0 25 0 18 0 883534583 10792951808 12828 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 47032287161140 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 10539992

[startup+0.300592 s]
/proc/loadavg: 2.12 2.05 1.95 2/192 30602
/proc/meminfo: memFree=1459124/32951124 swapFree=67064576/67111528
[pid=30602] ppid=30600 vsize=10544060 CPUtime=0.51 cores=0,2,4,6
/proc/30602/stat : 30602 (java) S 30600 30602 28722 0 -1 4202496 15739 0 1 0 49 2 0 0 18 0 19 0 883534582 10797117440 14664 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30602/statm: 2636015 14664 2214 9 0 2626749 0
[pid=30602/tid=30603] ppid=30600 vsize=10544060 CPUtime=0.28 cores=0,2,4,6
/proc/30602/task/30603/stat : 30603 (java) R 30600 30602 28722 0 -1 4202560 11751 0 1 0 27 1 0 0 25 0 19 0 883534583 10797117440 14664 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 46912505567556 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.51
Current children cumulated vsize (KiB) 10544060

[startup+0.700517 s]
/proc/loadavg: 2.12 2.05 1.95 2/192 30602
/proc/meminfo: memFree=1459124/32951124 swapFree=67064576/67111528
[pid=30602] ppid=30600 vsize=10544060 CPUtime=0.96 cores=0,2,4,6
/proc/30602/stat : 30602 (java) S 30600 30602 28722 0 -1 4202496 16294 0 1 0 94 2 0 0 18 0 19 0 883534582 10797117440 15219 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30602/statm: 2636015 15219 2218 9 0 2626749 0
[pid=30602/tid=30603] ppid=30600 vsize=10544060 CPUtime=0.68 cores=0,2,4,6
/proc/30602/task/30603/stat : 30603 (java) R 30600 30602 28722 0 -1 4202560 12281 0 1 0 67 1 0 0 25 0 19 0 883534583 10797117440 15219 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 46912505539520 0 4 0 16800975 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 0.96
Current children cumulated vsize (KiB) 10544060

[startup+1.5014 s]
/proc/loadavg: 2.12 2.05 1.95 3/211 30621
/proc/meminfo: memFree=1404196/32951124 swapFree=67064576/67111528
[pid=30602] ppid=30600 vsize=10544060 CPUtime=1.82 cores=0,2,4,6
/proc/30602/stat : 30602 (java) S 30600 30602 28722 0 -1 4202496 17334 0 1 0 180 2 0 0 18 0 19 0 883534582 10797117440 16256 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30602/statm: 2636015 16256 2246 9 0 2626749 0
[pid=30602/tid=30603] ppid=30600 vsize=10544060 CPUtime=1.46 cores=0,2,4,6
/proc/30602/task/30603/stat : 30603 (java) R 30600 30602 28722 0 -1 4202560 12324 0 1 0 145 1 0 0 18 0 19 0 883534583 10797117440 16256 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 46912505534388 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30602/tid=30605] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30605/stat : 30605 (java) S 30600 30602 28722 0 -1 4202560 126 0 0 0 0 0 0 0 16 0 19 0 883534584 10797117440 16256 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 2 0 0 0
[pid=30602/tid=30606] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30606/stat : 30606 (java) S 30600 30602 28722 0 -1 4202560 303 0 0 0 0 0 0 0 15 0 19 0 883534584 10797117440 16256 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 4 0 0 0
[pid=30602/tid=30607] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30607/stat : 30607 (java) S 30600 30602 28722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883534584 10797117440 16256 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 2 0 0 0
[pid=30602/tid=30608] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30608/stat : 30608 (java) S 30600 30602 28722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883534584 10797117440 16256 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 2 0 0 0
[pid=30602/tid=30609] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30609/stat : 30609 (java) S 30600 30602 28722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883534584 10797117440 16256 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 2 0 0 0
[pid=30602/tid=30610] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30610/stat : 30610 (java) S 30600 30602 28722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883534584 10797117440 16256 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 2 0 0 0
[pid=30602/tid=30611] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30611/stat : 30611 (java) S 30600 30602 28722 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 883534584 10797117440 16256 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 2 0 0 0
[pid=30602/tid=30612] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30612/stat : 30612 (java) S 30600 30602 28722 0 -1 4202560 177 0 0 0 0 0 0 0 15 0 19 0 883534584 10797117440 16256 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 2 0 0 0
[pid=30602/tid=30613] ppid=30600 vsize=10544060 CPUtime=0.02 cores=0,2,4,6
/proc/30602/task/30613/stat : 30613 (java) S 30600 30602 28722 0 -1 4202560 381 0 0 0 2 0 0 0 16 0 19 0 883534585 10797117440 16256 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738221568 0 0 0 16800975 18446604453930051456 0 0 -1 0 0 0 0
[pid=30602/tid=30614] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30614/stat : 30614 (java) S 30600 30602 28722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883534586 10797117440 16256 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 4 0 0 0
[pid=30602/tid=30615] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30615/stat : 30615 (java) S 30600 30602 28722 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 883534586 10797117440 16256 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 2 0 0 0
[pid=30602/tid=30616] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30616/stat : 30616 (java) S 30600 30602 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883534588 10797117440 16256 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738228657 0 4 0 16800975 18446604453930051456 0 0 -1 6 0 0 0
[pid=30602/tid=30617] ppid=30600 vsize=10544060 CPUtime=0.19 cores=0,2,4,6
/proc/30602/task/30617/stat : 30617 (java) S 30600 30602 28722 0 -1 4202560 1694 0 0 0 19 0 0 0 15 0 19 0 883534588 10797117440 16256 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 2 0 0 0
[pid=30602/tid=30618] ppid=30600 vsize=10544060 CPUtime=0.11 cores=0,2,4,6
/proc/30602/task/30618/stat : 30618 (java) S 30600 30602 28722 0 -1 4202560 1173 0 0 0 11 0 0 0 15 0 19 0 883534588 10797117440 16256 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 4 0 0 0
[pid=30602/tid=30619] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30619/stat : 30619 (java) S 30600 30602 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883534588 10797117440 16256 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 6 0 0 0
[pid=30602/tid=30620] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30620/stat : 30620 (java) S 30600 30602 28722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883534588 10797117440 16256 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738221568 0 4 0 16800975 18446604453930051456 0 0 -1 6 0 0 0
[pid=30602/tid=30621] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30621/stat : 30621 (java) S 30600 30602 28722 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883534599 10797117440 16256 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738221568 0 4 0 16800975 18446604453930051456 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 10544060

[startup+3.1011 s]
/proc/loadavg: 2.12 2.05 1.95 3/211 30621
/proc/meminfo: memFree=1401344/32951124 swapFree=67064576/67111528
[pid=30602] ppid=30600 vsize=10544060 CPUtime=3.47 cores=0,2,4,6
/proc/30602/stat : 30602 (java) S 30600 30602 28722 0 -1 4202496 17915 0 1 0 345 2 0 0 18 0 19 0 883534582 10797117440 16624 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30602/statm: 2636015 16624 2248 9 0 2626749 0
[pid=30602/tid=30603] ppid=30600 vsize=10544060 CPUtime=2.98 cores=0,2,4,6
/proc/30602/task/30603/stat : 30603 (java) R 30600 30602 28722 0 -1 4202560 12329 0 1 0 297 1 0 0 20 0 19 0 883534583 10797117440 16624 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 46912505589412 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30602/tid=30605] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30605/stat : 30605 (java) S 30600 30602 28722 0 -1 4202560 141 0 0 0 0 0 0 0 15 0 19 0 883534584 10797117440 16624 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 2 0 0 0
[pid=30602/tid=30606] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30606/stat : 30606 (java) S 30600 30602 28722 0 -1 4202560 317 0 0 0 0 0 0 0 15 0 19 0 883534584 10797117440 16624 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 6 0 0 0
[pid=30602/tid=30607] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30607/stat : 30607 (java) S 30600 30602 28722 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 883534584 10797117440 16624 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 6 0 0 0
[pid=30602/tid=30608] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30608/stat : 30608 (java) S 30600 30602 28722 0 -1 4202560 30 0 0 0 0 0 0 0 16 0 19 0 883534584 10797117440 16624 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 2 0 0 0
[pid=30602/tid=30609] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30609/stat : 30609 (java) S 30600 30602 28722 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 19 0 883534584 10797117440 16624 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 2 0 0 0
[pid=30602/tid=30610] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30610/stat : 30610 (java) S 30600 30602 28722 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 883534584 10797117440 16624 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 4 0 0 0
[pid=30602/tid=30611] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30611/stat : 30611 (java) S 30600 30602 28722 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 883534584 10797117440 16624 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 4 0 0 0
[pid=30602/tid=30612] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30612/stat : 30612 (java) S 30600 30602 28722 0 -1 4202560 209 0 0 0 0 0 0 0 15 0 19 0 883534584 10797117440 16624 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 4 0 0 0
[pid=30602/tid=30613] ppid=30600 vsize=10544060 CPUtime=0.08 cores=0,2,4,6
/proc/30602/task/30613/stat : 30613 (java) S 30600 30602 28722 0 -1 4202560 527 0 0 0 8 0 0 0 16 0 19 0 883534585 10797117440 16624 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738221568 0 0 0 16800975 18446604453930051456 0 0 -1 0 0 0 0
[pid=30602/tid=30614] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30614/stat : 30614 (java) S 30600 30602 28722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883534586 10797117440 16624 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 4 0 0 0
[pid=30602/tid=30615] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30615/stat : 30615 (java) S 30600 30602 28722 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 883534586 10797117440 16624 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 2 0 0 0
[pid=30602/tid=30616] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30616/stat : 30616 (java) S 30600 30602 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883534588 10797117440 16624 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738228657 0 4 0 16800975 18446604453930051456 0 0 -1 6 0 0 0
[pid=30602/tid=30617] ppid=30600 vsize=10544060 CPUtime=0.2 cores=0,2,4,6
/proc/30602/task/30617/stat : 30617 (java) S 30600 30602 28722 0 -1 4202560 1695 0 0 0 20 0 0 0 15 0 19 0 883534588 10797117440 16624 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 2 0 0 0
[pid=30602/tid=30618] ppid=30600 vsize=10544060 CPUtime=0.15 cores=0,2,4,6
/proc/30602/task/30618/stat : 30618 (java) S 30600 30602 28722 0 -1 4202560 1392 0 0 0 15 0 0 0 15 0 19 0 883534588 10797117440 16624 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 4 0 0 0
[pid=30602/tid=30619] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30619/stat : 30619 (java) S 30600 30602 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883534588 10797117440 16624 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 6 0 0 0
[pid=30602/tid=30620] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30620/stat : 30620 (java) S 30600 30602 28722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883534588 10797117440 16624 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738221568 0 4 0 16800975 18446604453930051456 0 0 -1 6 0 0 0
[pid=30602/tid=30621] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30621/stat : 30621 (java) S 30600 30602 28722 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883534599 10797117440 16624 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738221568 0 4 0 16800975 18446604453930051456 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 3.47
Current children cumulated vsize (KiB) 10544060

[startup+6.30144 s]
/proc/loadavg: 2.11 2.05 1.95 3/211 30621
/proc/meminfo: memFree=1399948/32951124 swapFree=67064576/67111528
[pid=30602] ppid=30600 vsize=10544060 CPUtime=6.67 cores=0,2,4,6
/proc/30602/stat : 30602 (java) S 30600 30602 28722 0 -1 4202496 18116 0 1 0 665 2 0 0 18 0 19 0 883534582 10797117440 16803 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30602/statm: 2636015 16803 2248 9 0 2626749 0
[pid=30602/tid=30603] ppid=30600 vsize=10544060 CPUtime=6.1 cores=0,2,4,6
/proc/30602/task/30603/stat : 30603 (java) R 30600 30602 28722 0 -1 4202560 12337 0 1 0 609 1 0 0 25 0 19 0 883534583 10797117440 16803 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 46912505634759 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30602/tid=30605] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30605/stat : 30605 (java) S 30600 30602 28722 0 -1 4202560 142 0 0 0 0 0 0 0 16 0 19 0 883534584 10797117440 16803 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 2 0 0 0
[pid=30602/tid=30606] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30606/stat : 30606 (java) S 30600 30602 28722 0 -1 4202560 331 0 0 0 0 0 0 0 15 0 19 0 883534584 10797117440 16803 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 6 0 0 0
[pid=30602/tid=30607] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30607/stat : 30607 (java) S 30600 30602 28722 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 883534584 10797117440 16803 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 6 0 0 0
[pid=30602/tid=30608] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30608/stat : 30608 (java) S 30600 30602 28722 0 -1 4202560 37 0 0 0 0 0 0 0 16 0 19 0 883534584 10797117440 16803 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 2 0 0 0
[pid=30602/tid=30609] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30609/stat : 30609 (java) S 30600 30602 28722 0 -1 4202560 34 0 0 0 0 0 0 0 15 0 19 0 883534584 10797117440 16803 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 2 0 0 0
[pid=30602/tid=30610] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30610/stat : 30610 (java) S 30600 30602 28722 0 -1 4202560 18 0 0 0 0 0 0 0 15 0 19 0 883534584 10797117440 16803 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 2 0 0 0
[pid=30602/tid=30611] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30611/stat : 30611 (java) S 30600 30602 28722 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 19 0 883534584 10797117440 16803 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 4 0 0 0
[pid=30602/tid=30612] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30612/stat : 30612 (java) S 30600 30602 28722 0 -1 4202560 210 0 0 0 0 0 0 0 15 0 19 0 883534584 10797117440 16803 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 2 0 0 0
[pid=30602/tid=30613] ppid=30600 vsize=10544060 CPUtime=0.16 cores=0,2,4,6
/proc/30602/task/30613/stat : 30613 (java) S 30600 30602 28722 0 -1 4202560 663 0 0 0 16 0 0 0 16 0 19 0 883534585 10797117440 16803 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738221568 0 0 0 16800975 18446604453930051456 0 0 -1 0 0 0 0
[pid=30602/tid=30614] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30614/stat : 30614 (java) S 30600 30602 28722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883534586 10797117440 16803 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 4 0 0 0
[pid=30602/tid=30615] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30615/stat : 30615 (java) S 30600 30602 28722 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 883534586 10797117440 16803 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 2 0 0 0
[pid=30602/tid=30616] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30616/stat : 30616 (java) S 30600 30602 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883534588 10797117440 16803 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738228657 0 4 0 16800975 18446604453930051456 0 0 -1 6 0 0 0
[pid=30602/tid=30617] ppid=30600 vsize=10544060 CPUtime=0.2 cores=0,2,4,6
/proc/30602/task/30617/stat : 30617 (java) S 30600 30602 28722 0 -1 4202560 1695 0 0 0 20 0 0 0 15 0 19 0 883534588 10797117440 16803 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 2 0 0 0
[pid=30602/tid=30618] ppid=30600 vsize=10544060 CPUtime=0.15 cores=0,2,4,6
/proc/30602/task/30618/stat : 30618 (java) S 30600 30602 28722 0 -1 4202560 1392 0 0 0 15 0 0 0 15 0 19 0 883534588 10797117440 16803 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 4 0 0 0

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

/proc/30602/task/30605/stat : 30605 (java) S 30600 30602 28722 0 -1 4202560 152 0 0 0 7 0 0 0 15 0 19 0 883534584 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 0 0 0 0
[pid=30602/tid=30606] ppid=30600 vsize=10544060 CPUtime=0.06 cores=0,2,4,6
/proc/30602/task/30606/stat : 30606 (java) S 30600 30602 28722 0 -1 4202560 337 0 0 0 6 0 0 0 16 0 19 0 883534584 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 6 0 0 0
[pid=30602/tid=30607] ppid=30600 vsize=10544060 CPUtime=0.06 cores=0,2,4,6
/proc/30602/task/30607/stat : 30607 (java) S 30600 30602 28722 0 -1 4202560 82 0 0 0 6 0 0 0 15 0 19 0 883534584 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 4 0 0 0
[pid=30602/tid=30608] ppid=30600 vsize=10544060 CPUtime=0.08 cores=0,2,4,6
/proc/30602/task/30608/stat : 30608 (java) S 30600 30602 28722 0 -1 4202560 267 0 0 0 8 0 0 0 15 0 19 0 883534584 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 4 0 0 0
[pid=30602/tid=30609] ppid=30600 vsize=10544060 CPUtime=0.06 cores=0,2,4,6
/proc/30602/task/30609/stat : 30609 (java) S 30600 30602 28722 0 -1 4202560 44 0 0 0 6 0 0 0 15 0 19 0 883534584 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 0 0 0 0
[pid=30602/tid=30610] ppid=30600 vsize=10544060 CPUtime=0.06 cores=0,2,4,6
/proc/30602/task/30610/stat : 30610 (java) S 30600 30602 28722 0 -1 4202560 26 0 0 0 6 0 0 0 16 0 19 0 883534584 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 6 0 0 0
[pid=30602/tid=30611] ppid=30600 vsize=10544060 CPUtime=0.06 cores=0,2,4,6
/proc/30602/task/30611/stat : 30611 (java) S 30600 30602 28722 0 -1 4202560 107 0 0 0 6 0 0 0 15 0 19 0 883534584 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 4 0 0 0
[pid=30602/tid=30612] ppid=30600 vsize=10544060 CPUtime=0.07 cores=0,2,4,6
/proc/30602/task/30612/stat : 30612 (java) S 30600 30602 28722 0 -1 4202560 262 0 0 0 7 0 0 0 15 0 19 0 883534584 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 0 0 0 0
[pid=30602/tid=30613] ppid=30600 vsize=10544060 CPUtime=3.2 cores=0,2,4,6
/proc/30602/task/30613/stat : 30613 (java) S 30600 30602 28722 0 -1 4202560 1218 0 0 0 317 3 0 0 15 0 19 0 883534585 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738221568 0 0 0 16800975 18446604453930051456 0 0 -1 2 0 0 0
[pid=30602/tid=30614] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30614/stat : 30614 (java) S 30600 30602 28722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883534586 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 4 0 0 0
[pid=30602/tid=30615] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30615/stat : 30615 (java) S 30600 30602 28722 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 883534586 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 2 0 0 0
[pid=30602/tid=30616] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30616/stat : 30616 (java) S 30600 30602 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883534588 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738228657 0 4 0 16800975 18446604453930051456 0 0 -1 6 0 0 0
[pid=30602/tid=30617] ppid=30600 vsize=10544060 CPUtime=0.24 cores=0,2,4,6
/proc/30602/task/30617/stat : 30617 (java) S 30600 30602 28722 0 -1 4202560 1753 0 0 0 24 0 0 0 15 0 19 0 883534588 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 2 0 0 0
[pid=30602/tid=30618] ppid=30600 vsize=10544060 CPUtime=0.66 cores=0,2,4,6
/proc/30602/task/30618/stat : 30618 (java) S 30600 30602 28722 0 -1 4202560 9247 0 0 0 65 1 0 0 15 0 19 0 883534588 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 4 0 0 0
[pid=30602/tid=30619] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30619/stat : 30619 (java) S 30600 30602 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883534588 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 6 0 0 0
[pid=30602/tid=30620] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30620/stat : 30620 (java) S 30600 30602 28722 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 883534588 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738221568 0 4 0 16800975 18446604453930051456 0 0 -1 0 0 0 0
[pid=30602/tid=30621] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30621/stat : 30621 (java) S 30600 30602 28722 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883534599 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738221568 0 4 0 16800975 18446604453930051456 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 97.05
Current children cumulated vsize (KiB) 10544060

[startup+96.7014 s]
/proc/loadavg: 2.02 2.03 1.95 3/211 30623
/proc/meminfo: memFree=1383320/32951124 swapFree=67064576/67111528
[pid=30602] ppid=30600 vsize=10544060 CPUtime=97.85 cores=0,2,4,6
/proc/30602/stat : 30602 (java) S 30600 30602 28722 0 -1 4202496 27217 0 1 0 9776 9 0 0 18 0 19 0 883534582 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30602/statm: 2636015 20445 2250 9 0 2626749 0
[pid=30602/tid=30603] ppid=30600 vsize=10544060 CPUtime=93.1 cores=0,2,4,6
/proc/30602/task/30603/stat : 30603 (java) R 30600 30602 28722 0 -1 4202560 12565 0 1 0 9307 3 0 0 25 0 19 0 883534583 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 46912505602205 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30602/tid=30605] ppid=30600 vsize=10544060 CPUtime=0.07 cores=0,2,4,6
/proc/30602/task/30605/stat : 30605 (java) S 30600 30602 28722 0 -1 4202560 152 0 0 0 7 0 0 0 15 0 19 0 883534584 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 0 0 0 0
[pid=30602/tid=30606] ppid=30600 vsize=10544060 CPUtime=0.06 cores=0,2,4,6
/proc/30602/task/30606/stat : 30606 (java) S 30600 30602 28722 0 -1 4202560 337 0 0 0 6 0 0 0 15 0 19 0 883534584 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 6 0 0 0
[pid=30602/tid=30607] ppid=30600 vsize=10544060 CPUtime=0.06 cores=0,2,4,6
/proc/30602/task/30607/stat : 30607 (java) S 30600 30602 28722 0 -1 4202560 82 0 0 0 6 0 0 0 15 0 19 0 883534584 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 0 0 0 0
[pid=30602/tid=30608] ppid=30600 vsize=10544060 CPUtime=0.08 cores=0,2,4,6
/proc/30602/task/30608/stat : 30608 (java) S 30600 30602 28722 0 -1 4202560 267 0 0 0 8 0 0 0 16 0 19 0 883534584 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 4 0 0 0
[pid=30602/tid=30609] ppid=30600 vsize=10544060 CPUtime=0.06 cores=0,2,4,6
/proc/30602/task/30609/stat : 30609 (java) S 30600 30602 28722 0 -1 4202560 44 0 0 0 6 0 0 0 15 0 19 0 883534584 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 0 0 0 0
[pid=30602/tid=30610] ppid=30600 vsize=10544060 CPUtime=0.06 cores=0,2,4,6
/proc/30602/task/30610/stat : 30610 (java) S 30600 30602 28722 0 -1 4202560 26 0 0 0 6 0 0 0 15 0 19 0 883534584 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 6 0 0 0
[pid=30602/tid=30611] ppid=30600 vsize=10544060 CPUtime=0.07 cores=0,2,4,6
/proc/30602/task/30611/stat : 30611 (java) S 30600 30602 28722 0 -1 4202560 107 0 0 0 7 0 0 0 15 0 19 0 883534584 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 4 0 0 0
[pid=30602/tid=30612] ppid=30600 vsize=10544060 CPUtime=0.07 cores=0,2,4,6
/proc/30602/task/30612/stat : 30612 (java) S 30600 30602 28722 0 -1 4202560 262 0 0 0 7 0 0 0 15 0 19 0 883534584 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 0 0 0 0
[pid=30602/tid=30613] ppid=30600 vsize=10544060 CPUtime=3.24 cores=0,2,4,6
/proc/30602/task/30613/stat : 30613 (java) S 30600 30602 28722 0 -1 4202560 1218 0 0 0 321 3 0 0 15 0 19 0 883534585 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738221568 0 0 0 16800975 18446604453930051456 0 0 -1 2 0 0 0
[pid=30602/tid=30614] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30614/stat : 30614 (java) S 30600 30602 28722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883534586 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 4 0 0 0
[pid=30602/tid=30615] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30615/stat : 30615 (java) S 30600 30602 28722 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 883534586 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 2 0 0 0
[pid=30602/tid=30616] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30616/stat : 30616 (java) S 30600 30602 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883534588 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738228657 0 4 0 16800975 18446604453930051456 0 0 -1 6 0 0 0
[pid=30602/tid=30617] ppid=30600 vsize=10544060 CPUtime=0.24 cores=0,2,4,6
/proc/30602/task/30617/stat : 30617 (java) S 30600 30602 28722 0 -1 4202560 1753 0 0 0 24 0 0 0 15 0 19 0 883534588 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 2 0 0 0
[pid=30602/tid=30618] ppid=30600 vsize=10544060 CPUtime=0.66 cores=0,2,4,6
/proc/30602/task/30618/stat : 30618 (java) S 30600 30602 28722 0 -1 4202560 9247 0 0 0 65 1 0 0 15 0 19 0 883534588 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 4 0 0 0
[pid=30602/tid=30619] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30619/stat : 30619 (java) S 30600 30602 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883534588 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 6 0 0 0
[pid=30602/tid=30620] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30620/stat : 30620 (java) S 30600 30602 28722 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 883534588 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738221568 0 4 0 16800975 18446604453930051456 0 0 -1 0 0 0 0
[pid=30602/tid=30621] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30621/stat : 30621 (java) S 30600 30602 28722 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883534599 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738221568 0 4 0 16800975 18446604453930051456 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 97.85
Current children cumulated vsize (KiB) 10544060

[startup+97.1013 s]
/proc/loadavg: 2.02 2.03 1.95 3/211 30623
/proc/meminfo: memFree=1383320/32951124 swapFree=67064576/67111528
[pid=30602] ppid=30600 vsize=10544060 CPUtime=98.25 cores=0,2,4,6
/proc/30602/stat : 30602 (java) S 30600 30602 28722 0 -1 4202496 27218 0 1 0 9816 9 0 0 18 0 19 0 883534582 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30602/statm: 2636015 20445 2250 9 0 2626749 0
[pid=30602/tid=30603] ppid=30600 vsize=10544060 CPUtime=93.48 cores=0,2,4,6
/proc/30602/task/30603/stat : 30603 (java) R 30600 30602 28722 0 -1 4202560 12566 0 1 0 9345 3 0 0 25 0 19 0 883534583 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 46912505534400 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30602/tid=30605] ppid=30600 vsize=10544060 CPUtime=0.07 cores=0,2,4,6
/proc/30602/task/30605/stat : 30605 (java) S 30600 30602 28722 0 -1 4202560 152 0 0 0 7 0 0 0 15 0 19 0 883534584 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 0 0 0 0
[pid=30602/tid=30606] ppid=30600 vsize=10544060 CPUtime=0.06 cores=0,2,4,6
/proc/30602/task/30606/stat : 30606 (java) S 30600 30602 28722 0 -1 4202560 337 0 0 0 6 0 0 0 15 0 19 0 883534584 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 6 0 0 0
[pid=30602/tid=30607] ppid=30600 vsize=10544060 CPUtime=0.06 cores=0,2,4,6
/proc/30602/task/30607/stat : 30607 (java) S 30600 30602 28722 0 -1 4202560 82 0 0 0 6 0 0 0 15 0 19 0 883534584 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 4 0 0 0
[pid=30602/tid=30608] ppid=30600 vsize=10544060 CPUtime=0.08 cores=0,2,4,6
/proc/30602/task/30608/stat : 30608 (java) S 30600 30602 28722 0 -1 4202560 267 0 0 0 8 0 0 0 15 0 19 0 883534584 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 4 0 0 0
[pid=30602/tid=30609] ppid=30600 vsize=10544060 CPUtime=0.06 cores=0,2,4,6
/proc/30602/task/30609/stat : 30609 (java) S 30600 30602 28722 0 -1 4202560 44 0 0 0 6 0 0 0 15 0 19 0 883534584 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 0 0 0 0
[pid=30602/tid=30610] ppid=30600 vsize=10544060 CPUtime=0.06 cores=0,2,4,6
/proc/30602/task/30610/stat : 30610 (java) S 30600 30602 28722 0 -1 4202560 26 0 0 0 6 0 0 0 16 0 19 0 883534584 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 6 0 0 0
[pid=30602/tid=30611] ppid=30600 vsize=10544060 CPUtime=0.07 cores=0,2,4,6
/proc/30602/task/30611/stat : 30611 (java) S 30600 30602 28722 0 -1 4202560 107 0 0 0 7 0 0 0 15 0 19 0 883534584 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 4 0 0 0
[pid=30602/tid=30612] ppid=30600 vsize=10544060 CPUtime=0.07 cores=0,2,4,6
/proc/30602/task/30612/stat : 30612 (java) S 30600 30602 28722 0 -1 4202560 262 0 0 0 7 0 0 0 15 0 19 0 883534584 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 0 0 0 0
[pid=30602/tid=30613] ppid=30600 vsize=10544060 CPUtime=3.26 cores=0,2,4,6
/proc/30602/task/30613/stat : 30613 (java) S 30600 30602 28722 0 -1 4202560 1218 0 0 0 323 3 0 0 15 0 19 0 883534585 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738221568 0 0 0 16800975 18446604453930051456 0 0 -1 2 0 0 0
[pid=30602/tid=30614] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30614/stat : 30614 (java) S 30600 30602 28722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883534586 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 4 0 0 0
[pid=30602/tid=30615] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30615/stat : 30615 (java) S 30600 30602 28722 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 883534586 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 2 0 0 0
[pid=30602/tid=30616] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30616/stat : 30616 (java) S 30600 30602 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883534588 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738228657 0 4 0 16800975 18446604453930051456 0 0 -1 6 0 0 0
[pid=30602/tid=30617] ppid=30600 vsize=10544060 CPUtime=0.24 cores=0,2,4,6
/proc/30602/task/30617/stat : 30617 (java) S 30600 30602 28722 0 -1 4202560 1753 0 0 0 24 0 0 0 15 0 19 0 883534588 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 2 0 0 0
[pid=30602/tid=30618] ppid=30600 vsize=10544060 CPUtime=0.66 cores=0,2,4,6
/proc/30602/task/30618/stat : 30618 (java) S 30600 30602 28722 0 -1 4202560 9247 0 0 0 65 1 0 0 15 0 19 0 883534588 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 4 0 0 0
[pid=30602/tid=30619] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30619/stat : 30619 (java) S 30600 30602 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883534588 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 6 0 0 0
[pid=30602/tid=30620] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30620/stat : 30620 (java) S 30600 30602 28722 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 883534588 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738221568 0 4 0 16800975 18446604453930051456 0 0 -1 0 0 0 0
[pid=30602/tid=30621] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30621/stat : 30621 (java) S 30600 30602 28722 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883534599 10797117440 20445 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738221568 0 4 0 16800975 18446604453930051456 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 98.25
Current children cumulated vsize (KiB) 10544060

[startup+97.5012 s]
/proc/loadavg: 2.02 2.03 1.95 3/211 30623
/proc/meminfo: memFree=1383320/32951124 swapFree=67064576/67111528
[pid=30602] ppid=30600 vsize=10544060 CPUtime=98.65 cores=0,2,4,6
/proc/30602/stat : 30602 (java) S 30600 30602 28722 0 -1 4202496 27221 0 1 0 9856 9 0 0 18 0 19 0 883534582 10797117440 20447 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0
/proc/30602/statm: 2636015 20447 2250 9 0 2626749 0
[pid=30602/tid=30603] ppid=30600 vsize=10544060 CPUtime=93.87 cores=0,2,4,6
/proc/30602/task/30603/stat : 30603 (java) R 30600 30602 28722 0 -1 4202560 12569 0 1 0 9384 3 0 0 25 0 19 0 883534583 10797117440 20447 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 46912505559680 0 4 0 16800975 0 0 0 -1 0 0 0 0
[pid=30602/tid=30605] ppid=30600 vsize=10544060 CPUtime=0.07 cores=0,2,4,6
/proc/30602/task/30605/stat : 30605 (java) S 30600 30602 28722 0 -1 4202560 152 0 0 0 7 0 0 0 16 0 19 0 883534584 10797117440 20447 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 0 0 0 0
[pid=30602/tid=30606] ppid=30600 vsize=10544060 CPUtime=0.06 cores=0,2,4,6
/proc/30602/task/30606/stat : 30606 (java) S 30600 30602 28722 0 -1 4202560 337 0 0 0 6 0 0 0 16 0 19 0 883534584 10797117440 20447 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 6 0 0 0
[pid=30602/tid=30607] ppid=30600 vsize=10544060 CPUtime=0.06 cores=0,2,4,6
/proc/30602/task/30607/stat : 30607 (java) S 30600 30602 28722 0 -1 4202560 82 0 0 0 6 0 0 0 15 0 19 0 883534584 10797117440 20447 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 4 0 0 0
[pid=30602/tid=30608] ppid=30600 vsize=10544060 CPUtime=0.08 cores=0,2,4,6
/proc/30602/task/30608/stat : 30608 (java) S 30600 30602 28722 0 -1 4202560 267 0 0 0 8 0 0 0 15 0 19 0 883534584 10797117440 20447 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 4 0 0 0
[pid=30602/tid=30609] ppid=30600 vsize=10544060 CPUtime=0.06 cores=0,2,4,6
/proc/30602/task/30609/stat : 30609 (java) S 30600 30602 28722 0 -1 4202560 44 0 0 0 6 0 0 0 15 0 19 0 883534584 10797117440 20447 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 0 0 0 0
[pid=30602/tid=30610] ppid=30600 vsize=10544060 CPUtime=0.06 cores=0,2,4,6
/proc/30602/task/30610/stat : 30610 (java) S 30600 30602 28722 0 -1 4202560 26 0 0 0 6 0 0 0 15 0 19 0 883534584 10797117440 20447 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 6 0 0 0
[pid=30602/tid=30611] ppid=30600 vsize=10544060 CPUtime=0.07 cores=0,2,4,6
/proc/30602/task/30611/stat : 30611 (java) S 30600 30602 28722 0 -1 4202560 107 0 0 0 7 0 0 0 16 0 19 0 883534584 10797117440 20447 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 4 0 0 0
[pid=30602/tid=30612] ppid=30600 vsize=10544060 CPUtime=0.07 cores=0,2,4,6
/proc/30602/task/30612/stat : 30612 (java) S 30600 30602 28722 0 -1 4202560 262 0 0 0 7 0 0 0 16 0 19 0 883534584 10797117440 20447 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 0 0 0 0
[pid=30602/tid=30613] ppid=30600 vsize=10544060 CPUtime=3.27 cores=0,2,4,6
/proc/30602/task/30613/stat : 30613 (java) S 30600 30602 28722 0 -1 4202560 1218 0 0 0 324 3 0 0 15 0 19 0 883534585 10797117440 20447 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738221568 0 0 0 16800975 18446604453930051456 0 0 -1 2 0 0 0
[pid=30602/tid=30614] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30614/stat : 30614 (java) S 30600 30602 28722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883534586 10797117440 20447 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 4 0 0 0
[pid=30602/tid=30615] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30615/stat : 30615 (java) S 30600 30602 28722 0 -1 4202560 9 0 0 0 0 0 0 0 18 0 19 0 883534586 10797117440 20447 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 2 0 0 0
[pid=30602/tid=30616] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30616/stat : 30616 (java) S 30600 30602 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883534588 10797117440 20447 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738228657 0 4 0 16800975 18446604453930051456 0 0 -1 6 0 0 0
[pid=30602/tid=30617] ppid=30600 vsize=10544060 CPUtime=0.24 cores=0,2,4,6
/proc/30602/task/30617/stat : 30617 (java) S 30600 30602 28722 0 -1 4202560 1753 0 0 0 24 0 0 0 15 0 19 0 883534588 10797117440 20447 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 2 0 0 0
[pid=30602/tid=30618] ppid=30600 vsize=10544060 CPUtime=0.66 cores=0,2,4,6
/proc/30602/task/30618/stat : 30618 (java) S 30600 30602 28722 0 -1 4202560 9247 0 0 0 65 1 0 0 15 0 19 0 883534588 10797117440 20447 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 4 0 0 0
[pid=30602/tid=30619] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30619/stat : 30619 (java) S 30600 30602 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883534588 10797117440 20447 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738220953 0 4 0 16800975 18446604453930051456 0 0 -1 6 0 0 0
[pid=30602/tid=30620] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30620/stat : 30620 (java) S 30600 30602 28722 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 883534588 10797117440 20447 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738221568 0 4 0 16800975 18446604453930051456 0 0 -1 0 0 0 0
[pid=30602/tid=30621] ppid=30600 vsize=10544060 CPUtime=0 cores=0,2,4,6
/proc/30602/task/30621/stat : 30621 (java) S 30600 30602 28722 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 883534599 10797117440 20447 33554432000 1073741824 1073778376 140735610307088 18446744073709551615 264738221568 0 4 0 16800975 18446604453930051456 0 0 -1 6 0 0 0
Current children cumulated CPU time (s) 98.65
Current children cumulated vsize (KiB) 10544060

Child status: 30
Real time (s): 97.5274
CPU time (s): 98.685
CPU user time (s): 98.586
CPU system time (s): 0.098984
CPU usage (%): 101.187
Max. virtual memory (cumulated for all children) (KiB): 10544060

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 98.586
system time used= 0.098984
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27247
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 8238
involuntary context switches= 3895

runsolver used 0.198969 second user time and 0.344947 second system time

The end

Launcher Data 

Begin job on node141 at 2011-06-12 22:39:50
IDJOB=3492725
IDBENCH=79246
IDSOLVER=1982
FILE ID=node141/3492725-1307911190
RUNJOBID= node141-1307908222-29947
PBS_JOBID= 13559567
Free space on /var/tmp= 2912 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111218757--soft-0-100-0.wbo
COMMAND LINE= java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492725-1307911190/watcher-3492725-1307911190 -o /var/tmp/evaluation-result-3492725-1307911190/solver-3492725-1307911190 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492725-1307911190.wbo

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

MD5SUM BENCH= b0ba3c932573495a13e5be4b53f7a1a4
RANDOM SEED=2107086726

node141.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/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.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5362.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

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.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1459412 kB
Buffers:         62876 kB
Cached:       30381344 kB
SwapCached:       8816 kB
Active:       15279564 kB
Inactive:     15263676 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1459412 kB
SwapTotal:    67111528 kB
SwapFree:     67064576 kB
Dirty:             508 kB
Writeback:           0 kB
AnonPages:       97168 kB
Mapped:          18164 kB
Slab:           884932 kB
PageTables:       4488 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10539360 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /var/tmp at the end= 2912 MiB
End job on node141 at 2011-06-12 22:41:27