Trace number 3492701

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 108.516 107.022

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110978334--soft-0-100-0.wbo
MD5SUM359f8e8e206a8ecfac2e3b6d9e7369bc
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark9
Best CPU time to get the best result obtained on this benchmark4.09238
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 1247
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.04/0.09	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.04/0.09	c This is free software under the dual EPL/GNU LGPL licenses.
0.04/0.09	c See www.sat4j.org for details.
0.04/0.09	c version 2.3.1.v20110525
0.04/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.04/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.04/0.09	c java.vm.version	19.1-b02
0.04/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.04/0.09	c sun.arch.data.model	64
0.04/0.09	c java.version		1.6.0_24
0.04/0.09	c os.name		Linux
0.04/0.09	c os.version		2.6.18-164.el5
0.04/0.09	c os.arch		amd64
0.04/0.09	c Free memory 		9996466904
0.04/0.09	c Max memory 		10048897024
0.04/0.09	c Total memory 		10048897024
0.04/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3492701-1307911161.wbo
0.10/0.11	c reading problem ... 
0.10/0.17	c ... done. Wall clock time 0.056s.
0.10/0.17	c #vars     270
0.10/0.17	c #constraints  101
0.10/0.17	c constraints type 
0.10/0.17	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
0.10/0.17	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
0.27/0.24	c SATISFIABLE
0.27/0.24	c OPTIMIZING...
0.27/0.24	c Got one! Elapsed wall clock time (in seconds):0.131
0.27/0.24	o 508
0.50/0.31	c Got one! Elapsed wall clock time (in seconds):0.199
0.50/0.31	o 481
0.50/0.32	c Got one! Elapsed wall clock time (in seconds):0.214
0.50/0.32	o 446
0.61/0.44	c Got one! Elapsed wall clock time (in seconds):0.325
0.61/0.44	o 436
0.61/0.44	c Got one! Elapsed wall clock time (in seconds):0.331
0.61/0.44	o 422
0.74/0.50	c Got one! Elapsed wall clock time (in seconds):0.387
0.74/0.50	o 377
0.85/0.67	c cleaning 3834 clauses out of 7674 with flag 3000/7674
0.98/0.79	c Got one! Elapsed wall clock time (in seconds):0.683
0.98/0.79	o 374
1.20/0.92	c cleaning 4828 clauses out of 9663 with flag 3001/13497
1.31/1.09	c Got one! Elapsed wall clock time (in seconds):0.983
1.31/1.09	o 354
1.41/1.18	c cleaning 5126 clauses out of 10262 with flag 2000/18924
1.51/1.23	c Got one! Elapsed wall clock time (in seconds):1.123
1.51/1.23	o 329
1.71/1.49	c cleaning 5373 clauses out of 10752 with flag 5000/24540
2.03/1.79	c cleaning 5680 clauses out of 11379 with flag 11000/30540
2.13/1.89	c Got one! Elapsed wall clock time (in seconds):1.78
2.13/1.89	o 324
2.33/2.03	c cleaning 5746 clauses out of 11501 with flag 4000/36342
2.54/2.27	c Got one! Elapsed wall clock time (in seconds):2.163
2.54/2.27	o 321
2.63/2.32	c cleaning 5646 clauses out of 11300 with flag 1000/41887
2.94/2.65	c cleaning 5821 clauses out of 11655 with flag 7001/47888
2.94/2.69	c Got one! Elapsed wall clock time (in seconds):2.579
2.94/2.69	o 290
3.15/2.83	c Got one! Elapsed wall clock time (in seconds):2.716
3.15/2.83	o 280
3.15/2.87	c cleaning 5709 clauses out of 11426 with flag 1000/53480
3.35/3.09	c cleaning 5853 clauses out of 11717 with flag 7000/59480
3.75/3.48	c cleaning 6421 clauses out of 12864 with flag 14000/66480
3.85/3.54	c Got one! Elapsed wall clock time (in seconds):3.433
3.85/3.54	o 234
3.95/3.69	c cleaning 5805 clauses out of 11620 with flag 4000/71657
4.35/4.07	c cleaning 5894 clauses out of 11815 with flag 10000/77657
4.76/4.42	c cleaning 6454 clauses out of 12921 with flag 17000/84657
5.15/4.85	c cleaning 7222 clauses out of 14467 with flag 25000/92657
5.35/5.09	c Got one! Elapsed wall clock time (in seconds):4.982
5.35/5.09	o 205
5.45/5.13	c cleaning 6480 clauses out of 12965 with flag 1001/98377
5.66/5.37	c cleaning 6235 clauses out of 12485 with flag 7001/104377
6.06/5.79	c cleaning 6619 clauses out of 13250 with flag 14001/111377
6.56/6.21	c cleaning 7312 clauses out of 14633 with flag 22003/119379
6.56/6.28	c Got one! Elapsed wall clock time (in seconds):6.172
6.56/6.28	o 189
6.76/6.43	c cleaning 6253 clauses out of 12516 with flag 4000/124574
6.96/6.65	c cleaning 6128 clauses out of 12263 with flag 10000/130574
7.26/6.98	c cleaning 6561 clauses out of 13135 with flag 17000/137574
7.66/7.39	c cleaning 7285 clauses out of 14575 with flag 25001/145575
8.16/7.80	c Got one! Elapsed wall clock time (in seconds):7.692
8.16/7.80	o 165
8.26/8.00	c cleaning 9711 clauses out of 19432 with flag 5000/157717
8.57/8.25	c cleaning 7859 clauses out of 15723 with flag 11002/163719
8.97/8.63	c cleaning 7430 clauses out of 14865 with flag 18003/170720
9.37/9.03	c cleaning 7711 clauses out of 15435 with flag 26003/178720
9.87/9.50	c cleaning 8355 clauses out of 16721 with flag 35000/187717
10.37/10.00	c cleaning 9179 clauses out of 18366 with flag 45000/197717
10.77/10.49	c cleaning 9592 clauses out of 19189 with flag 55002/207719
11.38/11.02	c cleaning 9796 clauses out of 19597 with flag 65002/217719
11.98/11.60	c cleaning 9896 clauses out of 19802 with flag 75003/227720
12.48/12.12	c cleaning 9946 clauses out of 19903 with flag 85000/237717
12.97/12.64	c cleaning 9976 clauses out of 19960 with flag 95003/247720
13.48/13.15	c cleaning 9984 clauses out of 19981 with flag 105000/257717
14.08/13.75	c cleaning 9993 clauses out of 19998 with flag 115001/267718
14.68/14.31	c cleaning 9995 clauses out of 20004 with flag 125000/277717
15.18/14.85	c cleaning 10001 clauses out of 20009 with flag 135000/287717
15.68/15.38	c cleaning 10004 clauses out of 20011 with flag 145003/297720
16.28/15.97	c cleaning 9997 clauses out of 20006 with flag 155002/307719
16.89/16.55	c cleaning 9996 clauses out of 20007 with flag 165000/317717
17.39/17.07	c cleaning 9999 clauses out of 20012 with flag 175001/327718
17.99/17.62	c cleaning 10002 clauses out of 20016 with flag 185004/337721
18.49/18.19	c cleaning 10000 clauses out of 20012 with flag 195002/347719
18.69/18.39	c Got one! Elapsed wall clock time (in seconds):18.283
18.69/18.39	o 156
18.79/18.47	c cleaning 7773 clauses out of 15549 with flag 2000/353256
19.01/18.69	c cleaning 6885 clauses out of 13777 with flag 8001/359257
19.31/18.95	c cleaning 6940 clauses out of 13891 with flag 15000/366256
19.60/19.22	c cleaning 7474 clauses out of 14951 with flag 23000/374256
19.91/19.59	c cleaning 8231 clauses out of 16477 with flag 32000/383256
20.51/20.12	c cleaning 9116 clauses out of 18247 with flag 42001/393257
20.51/20.15	c Got one! Elapsed wall clock time (in seconds):20.041
20.51/20.15	o 151
20.71/20.32	c cleaning 7268 clauses out of 14545 with flag 5001/398671
20.93/20.54	c cleaning 6637 clauses out of 13276 with flag 11000/404670
21.13/20.80	c cleaning 6818 clauses out of 13641 with flag 18002/411672
21.43/21.09	c cleaning 7403 clauses out of 14821 with flag 26000/419670
21.83/21.43	c cleaning 8207 clauses out of 16421 with flag 35003/428673
22.23/21.82	c cleaning 9101 clauses out of 18215 with flag 45004/438674
22.73/22.37	c cleaning 9550 clauses out of 19110 with flag 55000/448670
23.23/22.88	c cleaning 9775 clauses out of 19562 with flag 65002/458672
23.73/23.37	c cleaning 9881 clauses out of 19785 with flag 75000/468670
24.13/23.76	c Got one! Elapsed wall clock time (in seconds):23.644
24.13/23.76	o 149
24.33/23.95	c cleaning 11312 clauses out of 22633 with flag 5000/481399
24.54/24.18	c cleaning 8658 clauses out of 17321 with flag 11000/487399
24.83/24.43	c cleaning 7827 clauses out of 15664 with flag 18001/494400
25.24/24.83	c cleaning 7910 clauses out of 15838 with flag 26002/502401
25.24/24.85	c Got one! Elapsed wall clock time (in seconds):24.739
25.24/24.85	o 125
25.44/25.01	c cleaning 6479 clauses out of 12968 with flag 5002/507441
25.65/25.23	c cleaning 6238 clauses out of 12487 with flag 11000/513439
25.85/25.49	c cleaning 6621 clauses out of 13249 with flag 18000/520439
26.15/25.78	c cleaning 7313 clauses out of 14633 with flag 26005/528444
26.65/26.20	c cleaning 8150 clauses out of 16315 with flag 35000/537439
27.15/26.77	c cleaning 9076 clauses out of 18165 with flag 45000/547439
27.85/27.41	c cleaning 9538 clauses out of 19091 with flag 55002/557441
28.45/28.01	c cleaning 9773 clauses out of 19551 with flag 65000/567439
28.96/28.55	c cleaning 9886 clauses out of 19780 with flag 75002/577441
29.06/28.68	c Got one! Elapsed wall clock time (in seconds):28.566
29.06/28.68	o 121
29.16/28.78	c cleaning 7549 clauses out of 15104 with flag 3000/582651
29.46/29.01	c cleaning 6772 clauses out of 13555 with flag 9000/588651
29.66/29.26	c cleaning 6887 clauses out of 13784 with flag 16001/595652
29.96/29.55	c cleaning 7443 clauses out of 14898 with flag 24002/603653
30.26/29.89	c cleaning 8222 clauses out of 16453 with flag 33000/612651
30.66/30.27	c cleaning 9113 clauses out of 18232 with flag 43001/622652
31.07/30.64	c cleaning 9556 clauses out of 19119 with flag 53001/632652
31.47/31.04	c cleaning 9777 clauses out of 19562 with flag 63000/642651
31.97/31.53	c cleaning 9891 clauses out of 19787 with flag 73002/652653
32.57/32.10	c cleaning 9946 clauses out of 19895 with flag 83001/662652
33.07/32.69	c cleaning 9969 clauses out of 19949 with flag 93001/672652
33.48/33.04	c Got one! Elapsed wall clock time (in seconds):32.929
33.48/33.04	o 116
33.67/33.23	c cleaning 10720 clauses out of 21454 with flag 5000/684126
33.87/33.47	c cleaning 8364 clauses out of 16734 with flag 11000/690126
34.07/33.64	c Got one! Elapsed wall clock time (in seconds):33.529
34.07/33.64	o 114
34.18/33.72	c cleaning 7166 clauses out of 14342 with flag 2000/696098
34.38/33.93	c cleaning 6583 clauses out of 13176 with flag 8000/702098
34.59/34.17	c cleaning 6783 clauses out of 13594 with flag 15001/709099
35.02/34.53	c cleaning 7394 clauses out of 14810 with flag 23000/717098
35.84/35.02	c cleaning 8203 clauses out of 16417 with flag 32001/726099
36.68/35.55	c cleaning 9101 clauses out of 18213 with flag 42000/736098
37.18/36.09	c cleaning 9551 clauses out of 19112 with flag 52000/746098
37.79/36.62	c cleaning 9769 clauses out of 19562 with flag 62001/756099
37.79/36.66	c Got one! Elapsed wall clock time (in seconds):36.552
37.79/36.66	o 112
38.01/36.83	c cleaning 7642 clauses out of 15295 with flag 5000/761601
38.22/37.05	c cleaning 6822 clauses out of 13653 with flag 11000/767601
38.52/37.31	c cleaning 6910 clauses out of 13831 with flag 18000/774601
38.72/37.59	c cleaning 7454 clauses out of 14922 with flag 26001/782602
39.12/37.93	c cleaning 8231 clauses out of 16467 with flag 35000/791601
39.52/38.31	c cleaning 9111 clauses out of 18236 with flag 45000/801601
40.03/38.84	c cleaning 9554 clauses out of 19125 with flag 55000/811601
40.53/39.38	c cleaning 9780 clauses out of 19571 with flag 65000/821601
41.23/40.00	c cleaning 9887 clauses out of 19791 with flag 75000/831601
41.73/40.57	c cleaning 9949 clauses out of 19905 with flag 85001/841602
42.33/41.14	c cleaning 9974 clauses out of 19955 with flag 95000/851601
42.94/41.71	c cleaning 9980 clauses out of 19981 with flag 105000/861601
43.44/42.24	c cleaning 9995 clauses out of 20001 with flag 115000/871601
44.04/42.82	c cleaning 9996 clauses out of 20007 with flag 125001/881602
44.64/43.44	c cleaning 10003 clauses out of 20011 with flag 135001/891602
45.25/44.01	c cleaning 9996 clauses out of 20007 with flag 145000/901601
45.74/44.56	c cleaning 10001 clauses out of 20012 with flag 155001/911602
46.35/45.15	c cleaning 9998 clauses out of 20012 with flag 165002/921603
46.95/45.72	c cleaning 10000 clauses out of 20013 with flag 175001/931602
47.15/45.95	c Got one! Elapsed wall clock time (in seconds):45.841
47.15/45.95	o 106
47.15/45.99	c cleaning 7772 clauses out of 15554 with flag 1000/937143
47.45/46.20	c cleaning 6884 clauses out of 13782 with flag 7000/943143
47.65/46.47	c cleaning 6946 clauses out of 13898 with flag 14000/950143
47.95/46.74	c cleaning 7473 clauses out of 14954 with flag 22002/958145
48.25/47.07	c cleaning 8238 clauses out of 16483 with flag 31004/967147
48.65/47.45	c cleaning 9115 clauses out of 18241 with flag 41000/977143
49.06/47.84	c cleaning 9555 clauses out of 19126 with flag 51000/987143
49.46/48.23	c cleaning 9783 clauses out of 19573 with flag 61002/997145
49.86/48.63	c cleaning 9891 clauses out of 19790 with flag 71002/1007145
50.16/48.99	c cleaning 9946 clauses out of 19901 with flag 81004/1017147
50.56/49.40	c cleaning 9969 clauses out of 19953 with flag 91002/1027145
51.07/49.82	c cleaning 9989 clauses out of 19983 with flag 101001/1037144
51.57/50.36	c cleaning 9991 clauses out of 19993 with flag 111000/1047143
52.17/50.91	c cleaning 9990 clauses out of 20002 with flag 121000/1057143
52.67/51.47	c cleaning 9999 clauses out of 20013 with flag 131001/1067144
53.18/51.99	c cleaning 10001 clauses out of 20013 with flag 141000/1077143
53.78/52.53	c cleaning 9998 clauses out of 20012 with flag 151000/1087143
54.28/53.04	c cleaning 10006 clauses out of 20015 with flag 161001/1097144
54.78/53.55	c cleaning 9995 clauses out of 20008 with flag 171000/1107143
55.28/54.01	c Got one! Elapsed wall clock time (in seconds):53.898
55.28/54.01	o 87
55.48/54.22	c cleaning 12242 clauses out of 24491 with flag 5001/1121621
55.68/54.46	c cleaning 9120 clauses out of 18252 with flag 11004/1127624
55.98/54.72	c cleaning 8061 clauses out of 16129 with flag 18001/1134621
56.28/55.00	c cleaning 8030 clauses out of 16069 with flag 26002/1142622
56.68/55.40	c cleaning 8514 clauses out of 17039 with flag 35002/1151622
57.18/55.91	c cleaning 9259 clauses out of 18526 with flag 45003/1161623
57.68/56.40	c cleaning 9627 clauses out of 19267 with flag 55003/1171623
57.78/56.51	c Got one! Elapsed wall clock time (in seconds):56.397
57.78/56.51	o 82
57.88/56.61	c cleaning 7385 clauses out of 14777 with flag 3002/1176760
58.08/56.83	c cleaning 6689 clauses out of 13390 with flag 9000/1182758
58.28/57.09	c cleaning 6849 clauses out of 13703 with flag 16002/1189760
58.58/57.37	c cleaning 7421 clauses out of 14852 with flag 24000/1197758
58.98/57.71	c cleaning 8214 clauses out of 16431 with flag 33000/1206758
59.38/58.10	c cleaning 9103 clauses out of 18218 with flag 43001/1216759
59.88/58.67	c cleaning 9546 clauses out of 19115 with flag 53001/1226759
60.48/59.21	c cleaning 9781 clauses out of 19569 with flag 63001/1236759
60.98/59.77	c cleaning 9888 clauses out of 19787 with flag 73000/1246758
61.58/60.36	c cleaning 9941 clauses out of 19899 with flag 83000/1256758
62.09/60.87	c cleaning 9972 clauses out of 19959 with flag 93001/1266759
62.59/61.39	c cleaning 9978 clauses out of 19986 with flag 103000/1276758
63.09/61.87	c cleaning 10002 clauses out of 20009 with flag 113001/1286759
63.69/62.44	c cleaning 9999 clauses out of 20006 with flag 123000/1296758
64.19/62.97	c cleaning 9994 clauses out of 20008 with flag 133001/1306759
64.69/63.47	c cleaning 10000 clauses out of 20015 with flag 143002/1316760
65.29/64.00	c cleaning 10003 clauses out of 20013 with flag 153000/1326758
65.79/64.54	c cleaning 9998 clauses out of 20011 with flag 163001/1336759
66.29/65.03	c cleaning 10002 clauses out of 20012 with flag 173000/1346758
66.79/65.51	c Got one! Elapsed wall clock time (in seconds):65.404
66.79/65.51	o 51
66.99/65.73	c cleaning 12070 clauses out of 24149 with flag 5000/1360897
67.20/65.96	c cleaning 9037 clauses out of 18080 with flag 11001/1366898
67.50/66.22	c cleaning 8021 clauses out of 16047 with flag 18005/1373902
67.80/66.50	c cleaning 8007 clauses out of 16021 with flag 26000/1381897
68.10/66.84	c cleaning 8502 clauses out of 17014 with flag 35000/1390897
68.41/67.19	c cleaning 9253 clauses out of 18515 with flag 45003/1400900
68.81/67.57	c cleaning 9627 clauses out of 19263 with flag 55004/1410901
69.21/67.96	c cleaning 9813 clauses out of 19632 with flag 65000/1420897
69.61/68.32	c cleaning 9906 clauses out of 19819 with flag 75000/1430897
69.91/68.68	c cleaning 9952 clauses out of 19914 with flag 85001/1440898
70.31/69.05	c cleaning 9973 clauses out of 19963 with flag 95002/1450899
70.81/69.50	c cleaning 9988 clauses out of 19988 with flag 105000/1460897
71.21/69.92	c cleaning 9995 clauses out of 20002 with flag 115002/1470899
71.21/69.95	c Got one! Elapsed wall clock time (in seconds):69.839
71.21/69.95	o 41
71.41/70.11	c cleaning 7682 clauses out of 15369 with flag 5001/1476261
71.62/70.32	c cleaning 6836 clauses out of 13686 with flag 11000/1482260
71.81/70.57	c cleaning 6919 clauses out of 13850 with flag 18000/1489260
72.12/70.84	c cleaning 7462 clauses out of 14931 with flag 26000/1497260
72.42/71.16	c cleaning 8231 clauses out of 16471 with flag 35002/1506262
72.82/71.53	c cleaning 9113 clauses out of 18238 with flag 45000/1516260
73.11/71.90	c cleaning 9560 clauses out of 19126 with flag 55001/1526261
73.52/72.26	c cleaning 9779 clauses out of 19566 with flag 65001/1536261
73.92/72.64	c cleaning 9891 clauses out of 19787 with flag 75001/1546261
74.32/73.00	c cleaning 9942 clauses out of 19896 with flag 85001/1556261
74.62/73.35	c cleaning 9973 clauses out of 19955 with flag 95002/1566262
75.03/73.73	c cleaning 9987 clauses out of 19980 with flag 105000/1576260
75.42/74.11	c cleaning 9993 clauses out of 19993 with flag 115000/1586260
75.72/74.48	c cleaning 9996 clauses out of 20001 with flag 125001/1596261
76.13/74.86	c cleaning 9999 clauses out of 20005 with flag 135001/1606261
76.53/75.22	c cleaning 9995 clauses out of 20005 with flag 145000/1616260
76.83/75.59	c cleaning 9997 clauses out of 20010 with flag 155000/1626260
77.24/75.94	c cleaning 10004 clauses out of 20013 with flag 165000/1636260
77.53/76.29	c cleaning 10000 clauses out of 20010 with flag 175001/1646261
77.93/76.65	c cleaning 10002 clauses out of 20011 with flag 185002/1656262
78.34/77.04	c cleaning 10002 clauses out of 20011 with flag 195004/1666264
78.34/77.09	c Got one! Elapsed wall clock time (in seconds):76.975
78.34/77.09	o 37
78.54/77.21	c cleaning 7539 clauses out of 15086 with flag 4002/1671341
78.74/77.43	c cleaning 6769 clauses out of 13545 with flag 10000/1677339
78.95/77.68	c cleaning 6886 clauses out of 13776 with flag 17000/1684339
79.24/77.99	c cleaning 7441 clauses out of 14891 with flag 25001/1692340
79.65/78.35	c cleaning 8219 clauses out of 16451 with flag 34002/1701341
80.05/78.73	c cleaning 9108 clauses out of 18231 with flag 44001/1711340
80.35/79.08	c cleaning 9554 clauses out of 19122 with flag 54000/1721339
80.75/79.46	c cleaning 9772 clauses out of 19568 with flag 64000/1731339
81.15/79.82	c cleaning 9892 clauses out of 19797 with flag 74001/1741340
81.45/80.19	c cleaning 9948 clauses out of 19906 with flag 84002/1751341
81.56/80.22	c Got one! Elapsed wall clock time (in seconds):80.108
81.56/80.22	o 28
81.66/80.38	c cleaning 7671 clauses out of 15356 with flag 5001/1756739
81.85/80.59	c cleaning 6836 clauses out of 13684 with flag 11000/1762738
82.15/80.83	c cleaning 6921 clauses out of 13848 with flag 18000/1769738
82.45/81.10	c cleaning 7460 clauses out of 14927 with flag 26000/1777738
82.76/81.42	c cleaning 8229 clauses out of 16467 with flag 35000/1786738
83.05/81.78	c cleaning 9117 clauses out of 18239 with flag 45001/1796739
83.55/82.26	c cleaning 9551 clauses out of 19122 with flag 55001/1806739
83.95/82.66	c cleaning 9780 clauses out of 19570 with flag 65000/1816738
84.35/83.04	c cleaning 9890 clauses out of 19790 with flag 75000/1826738
84.75/83.46	c cleaning 9944 clauses out of 19900 with flag 85000/1836738
85.16/83.84	c cleaning 9973 clauses out of 19956 with flag 95000/1846738
85.56/84.21	c cleaning 9984 clauses out of 19984 with flag 105001/1856739
85.86/84.58	c cleaning 9995 clauses out of 20001 with flag 115002/1866740
86.26/84.93	c cleaning 9998 clauses out of 20004 with flag 125000/1876738
86.56/85.26	c cleaning 9998 clauses out of 20009 with flag 135003/1886741
86.96/85.61	c cleaning 9998 clauses out of 20008 with flag 145000/1896738
87.26/85.98	c cleaning 10002 clauses out of 20011 with flag 155001/1906739
87.66/86.31	c cleaning 10000 clauses out of 20011 with flag 165003/1916741
87.96/86.66	c cleaning 10000 clauses out of 20008 with flag 175000/1926738
88.37/87.01	c cleaning 10002 clauses out of 20011 with flag 185003/1936741
88.67/87.36	c cleaning 9996 clauses out of 20006 with flag 195000/1946738
89.07/87.72	c cleaning 10000 clauses out of 20010 with flag 205000/1956738
89.38/88.05	c cleaning 9998 clauses out of 20010 with flag 215000/1966738
89.47/88.15	c Got one! Elapsed wall clock time (in seconds):88.044
89.47/88.15	o 11
89.57/88.22	c cleaning 7514 clauses out of 15038 with flag 2000/1971764
89.77/88.43	c cleaning 6754 clauses out of 13524 with flag 8000/1977764
89.98/88.66	c cleaning 6881 clauses out of 13770 with flag 15000/1984764
90.28/88.91	c cleaning 7436 clauses out of 14889 with flag 23000/1992764
90.58/89.21	c cleaning 8224 clauses out of 16455 with flag 32002/2001766
90.88/89.54	c cleaning 9110 clauses out of 18229 with flag 42000/2011764
91.18/89.89	c cleaning 9556 clauses out of 19120 with flag 52001/2021765
91.59/90.24	c cleaning 9779 clauses out of 19564 with flag 62001/2031765
91.98/90.60	c cleaning 9889 clauses out of 19784 with flag 72000/2041764
92.28/90.95	c cleaning 9943 clauses out of 19895 with flag 82000/2051764
92.69/91.30	c cleaning 9971 clauses out of 19952 with flag 92000/2061764
92.98/91.66	c cleaning 9985 clauses out of 19982 with flag 102001/2071765
93.38/92.02	c cleaning 9991 clauses out of 19996 with flag 112000/2081764
93.69/92.36	c cleaning 9997 clauses out of 20005 with flag 122000/2091764
94.08/92.71	c cleaning 9999 clauses out of 20011 with flag 132003/2101767
94.39/93.07	c cleaning 9999 clauses out of 20009 with flag 142000/2111764
94.79/93.41	c cleaning 10003 clauses out of 20014 with flag 152004/2121768
94.99/93.62	c Got one! Elapsed wall clock time (in seconds):93.506
94.99/93.62	o 9
95.23/93.82	c cleaning 10636 clauses out of 21286 with flag 5000/2133043
95.43/94.03	c cleaning 8321 clauses out of 16650 with flag 11000/2139043
95.64/94.26	c cleaning 7662 clauses out of 15331 with flag 18002/2146045
95.94/94.51	c cleaning 7825 clauses out of 15667 with flag 26000/2154043
96.24/94.82	c cleaning 8414 clauses out of 16842 with flag 35000/2163043
96.54/95.15	c cleaning 9211 clauses out of 18429 with flag 45001/2173044
96.94/95.50	c cleaning 9604 clauses out of 19217 with flag 55000/2183043
97.24/95.86	c cleaning 9804 clauses out of 19613 with flag 65000/2193043
97.64/96.21	c cleaning 9898 clauses out of 19809 with flag 75000/2203043
97.94/96.56	c cleaning 9947 clauses out of 19911 with flag 85000/2213043
98.34/96.91	c cleaning 9976 clauses out of 19964 with flag 95000/2223043
98.65/97.27	c cleaning 9990 clauses out of 19988 with flag 105000/2233043
99.04/97.62	c cleaning 9996 clauses out of 19999 with flag 115001/2243044
99.35/97.97	c cleaning 9997 clauses out of 20002 with flag 125000/2253043
99.74/98.32	c cleaning 9999 clauses out of 20005 with flag 135000/2263043
100.05/98.68	c cleaning 9998 clauses out of 20006 with flag 145000/2273043
100.45/99.02	c cleaning 9994 clauses out of 20009 with flag 155001/2283044
100.75/99.38	c cleaning 10005 clauses out of 20016 with flag 165002/2293045
101.15/99.75	c cleaning 10001 clauses out of 20009 with flag 175000/2303043
101.56/100.12	c cleaning 9999 clauses out of 20008 with flag 185000/2313043
101.85/100.48	c cleaning 10000 clauses out of 20009 with flag 195000/2323043
102.25/100.85	c cleaning 10000 clauses out of 20010 with flag 205001/2333044
102.66/101.23	c cleaning 10000 clauses out of 20009 with flag 215000/2343043
103.06/101.62	c cleaning 10000 clauses out of 20008 with flag 225000/2353043
103.47/102.03	c cleaning 10001 clauses out of 20009 with flag 235001/2363044
103.87/102.44	c cleaning 10000 clauses out of 20007 with flag 245000/2373043
104.27/102.82	c cleaning 9998 clauses out of 20007 with flag 255000/2383043
104.57/103.20	c cleaning 10001 clauses out of 20010 with flag 265001/2393044
104.97/103.56	c cleaning 9998 clauses out of 20010 with flag 275002/2403045
105.37/103.93	c cleaning 10006 clauses out of 20013 with flag 285003/2413046
105.77/104.30	c cleaning 9998 clauses out of 20006 with flag 295002/2423045
106.07/104.66	c cleaning 10000 clauses out of 20007 with flag 305001/2433044
106.47/105.02	c cleaning 10001 clauses out of 20008 with flag 315002/2443045
106.78/105.38	c cleaning 9998 clauses out of 20005 with flag 325000/2453043
107.18/105.74	c cleaning 10001 clauses out of 20008 with flag 335001/2463044
107.58/106.13	c cleaning 10001 clauses out of 20006 with flag 345000/2473043
107.99/106.53	c cleaning 9998 clauses out of 20007 with flag 355002/2483045
108.39/106.93	c cleaning 10000 clauses out of 20006 with flag 365000/2493043
108.49/107.01	c starts		: 261
108.49/107.01	c conflicts		: 2495076
108.49/107.01	c decisions		: 4024012
108.49/107.01	c propagations		: 69745770
108.49/107.01	c inspects		: 572340912
108.49/107.01	c shortcuts		: 0
108.49/107.01	c learnt literals	: 8
108.49/107.01	c learnt binary clauses	: 81
108.49/107.01	c learnt ternary clauses	: 2715
108.49/107.01	c learnt constraints	: 2495067
108.49/107.01	c ignored constraints	: 0
108.49/107.01	c root simplifications	: 0
108.49/107.01	c removed literals (reason simplification)	: 15819796
108.49/107.01	c reason swapping (by a shorter reason)	: 0
108.49/107.01	c Calls to reduceDB	: 279
108.49/107.01	c number of reductions to clauses (during analyze)	: 0
108.49/107.01	c number of learned constraints concerned by reduction	: 0
108.49/107.01	c number of learning phase by resolution	: 0
108.49/107.01	c number of learning phase by cutting planes	: 0
108.49/107.01	c speed (assignments/second)	: 5207628.611961472
108.49/107.01	c non guided choices	1588
108.49/107.01	c learnt constraints type 
108.49/107.01	c constraints type 
108.49/107.01	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
108.49/107.01	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
108.49/107.01	s OPTIMUM FOUND
108.49/107.01	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 
108.49/107.01	c objective function=9
108.49/107.01	c Total wall clock time (in seconds): 106.901

Verifier Data 

OK	9

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

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.00 2.00 1.93 3/195 10863
/proc/meminfo: memFree=1480988/32951124 swapFree=67054712/67111528
[pid=10863] ppid=10861 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/10863/stat : 10863 (java) R 10861 10863 9270 0 -1 4202496 952 0 0 0 0 0 0 0 24 0 1 0 981346790 23580672 693 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216730216337 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/10863/statm: 5757 693 510 9 0 124 0

[startup+0.055321 s]
/proc/loadavg: 2.00 2.00 1.93 3/195 10863
/proc/meminfo: memFree=1480988/32951124 swapFree=67054712/67111528
[pid=10863] ppid=10861 vsize=10467616 CPUtime=0.04 cores=1,3,5,7
/proc/10863/stat : 10863 (java) S 10861 10863 9270 0 -1 4202496 11461 0 1 0 3 1 0 0 24 0 13 0 981346790 10718838784 11155 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746981349 0 0 0 16800971 18446744073709551615 0 0 17 3 0 0 0
/proc/10863/statm: 2616904 11155 1685 9 0 2607652 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 10467616

[startup+0.104353 s]
/proc/loadavg: 2.00 2.00 1.93 3/195 10863
/proc/meminfo: memFree=1480988/32951124 swapFree=67054712/67111528
[pid=10863] ppid=10861 vsize=10540096 CPUtime=0.1 cores=1,3,5,7
/proc/10863/stat : 10863 (java) S 10861 10863 9270 0 -1 4202496 13056 0 1 0 9 1 0 0 24 0 18 0 981346790 10793058304 12750 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10863/statm: 2635024 12751 2093 9 0 2625758 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540096

[startup+0.300258 s]
/proc/loadavg: 2.00 2.00 1.93 3/195 10863
/proc/meminfo: memFree=1480988/32951124 swapFree=67054712/67111528
[pid=10863] ppid=10861 vsize=10544496 CPUtime=0.5 cores=1,3,5,7
/proc/10863/stat : 10863 (java) S 10861 10863 9270 0 -1 4202496 15650 0 1 0 49 1 0 0 24 0 19 0 981346790 10797563904 14673 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10863/statm: 2636124 14673 2215 9 0 2626858 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 10544496

[startup+0.700188 s]
/proc/loadavg: 2.00 2.00 1.93 3/195 10863
/proc/meminfo: memFree=1480988/32951124 swapFree=67054712/67111528
[pid=10863] ppid=10861 vsize=10544496 CPUtime=0.98 cores=1,3,5,7
/proc/10863/stat : 10863 (java) S 10861 10863 9270 0 -1 4202496 17340 0 1 0 97 1 0 0 24 0 19 0 981346790 10797563904 15924 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10863/statm: 2636124 15924 2247 9 0 2626858 0
Current children cumulated CPU time (s) 0.98
Current children cumulated vsize (KiB) 10544496

[startup+1.50104 s]
/proc/loadavg: 2.00 2.00 1.93 4/214 10882
/proc/meminfo: memFree=1423944/32951124 swapFree=67054712/67111528
[pid=10863] ppid=10861 vsize=10544496 CPUtime=1.82 cores=1,3,5,7
/proc/10863/stat : 10863 (java) S 10861 10863 9270 0 -1 4202496 17772 0 1 0 181 1 0 0 24 0 19 0 981346790 10797563904 16352 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10863/statm: 2636124 16352 2247 9 0 2626858 0
[pid=10863/tid=10865] ppid=10861 vsize=10544496 CPUtime=1.43 cores=1,3,5,7
/proc/10863/task/10865/stat : 10865 (java) S 10861 10863 9270 0 -1 4202560 12298 0 1 0 142 1 0 0 25 0 19 0 981346791 10797563904 16352 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 5 0 0 0
[pid=10863/tid=10866] ppid=10861 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10866/stat : 10866 (java) S 10861 10863 9270 0 -1 4202560 169 0 0 0 0 0 0 0 16 0 19 0 981346792 10797563904 16352 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10867] ppid=10861 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10867/stat : 10867 (java) S 10861 10863 9270 0 -1 4202560 105 0 0 0 0 0 0 0 16 0 19 0 981346792 10797563904 16352 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 7 0 0 0
[pid=10863/tid=10868] ppid=10861 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10868/stat : 10868 (java) R 10861 10863 9270 0 -1 4202560 12 0 0 0 0 0 0 0 16 0 19 0 981346792 10797563904 16352 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=10863/tid=10869] ppid=10861 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10869/stat : 10869 (java) S 10861 10863 9270 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 981346792 10797563904 16352 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10870] ppid=10861 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10870/stat : 10870 (java) S 10861 10863 9270 0 -1 4202560 1 0 0 0 0 0 0 0 16 0 19 0 981346792 10797563904 16352 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10871] ppid=10861 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10871/stat : 10871 (java) S 10861 10863 9270 0 -1 4202560 85 0 0 0 0 0 0 0 15 0 19 0 981346792 10797563904 16352 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 7 0 0 0
[pid=10863/tid=10872] ppid=10861 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10872/stat : 10872 (java) S 10861 10863 9270 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 981346792 10797563904 16352 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 7 0 0 0
[pid=10863/tid=10873] ppid=10861 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10873/stat : 10873 (java) S 10861 10863 9270 0 -1 4202560 186 0 0 0 0 0 0 0 16 0 19 0 981346792 10797563904 16352 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10874] ppid=10861 vsize=10544496 CPUtime=0.03 cores=1,3,5,7
/proc/10863/task/10874/stat : 10874 (java) R 10861 10863 9270 0 -1 4202560 433 0 0 0 3 0 0 0 15 0 19 0 981346793 10797563904 16352 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 47333487230971 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=10863/tid=10875] ppid=10861 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10875/stat : 10875 (java) S 10861 10863 9270 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 981346794 10797563904 16352 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10876] ppid=10861 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10876/stat : 10876 (java) S 10861 10863 9270 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981346794 10797563904 16352 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 1 0 0 0
[pid=10863/tid=10877] ppid=10861 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10877/stat : 10877 (java) S 10861 10863 9270 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981346796 10797563904 16352 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216747002289 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10878] ppid=10861 vsize=10544496 CPUtime=0.14 cores=1,3,5,7
/proc/10863/task/10878/stat : 10878 (java) S 10861 10863 9270 0 -1 4202560 1349 0 0 0 14 0 0 0 16 0 19 0 981346796 10797563904 16352 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 1 0 0 0
[pid=10863/tid=10879] ppid=10861 vsize=10544496 CPUtime=0.19 cores=1,3,5,7
/proc/10863/task/10879/stat : 10879 (java) S 10861 10863 9270 0 -1 4202560 1975 0 0 0 19 0 0 0 16 0 19 0 981346796 10797563904 16352 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10880] ppid=10861 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10880/stat : 10880 (java) S 10861 10863 9270 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 981346796 10797563904 16352 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10881] ppid=10861 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10881/stat : 10881 (java) S 10861 10863 9270 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981346796 10797563904 16352 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746995200 0 4 0 16800975 18446604470724995776 0 0 -1 7 0 0 0
[pid=10863/tid=10882] ppid=10861 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10882/stat : 10882 (java) S 10861 10863 9270 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 981346807 10797563904 16352 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746995200 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 10544496

[startup+3.10073 s]
/proc/loadavg: 2.00 2.00 1.93 3/214 10882
/proc/meminfo: memFree=1423196/32951124 swapFree=67054712/67111528
[pid=10863] ppid=10861 vsize=10544496 CPUtime=3.45 cores=1,3,5,7
/proc/10863/stat : 10863 (java) S 10861 10863 9270 0 -1 4202496 17901 0 1 0 343 2 0 0 24 0 19 0 981346790 10797563904 16426 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10863/statm: 2636124 16426 2248 9 0 2626858 0
[pid=10863/tid=10865] ppid=10861 vsize=10544496 CPUtime=2.94 cores=1,3,5,7
/proc/10863/task/10865/stat : 10865 (java) S 10861 10863 9270 0 -1 4202560 12304 0 1 0 293 1 0 0 25 0 19 0 981346791 10797563904 16426 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 5 0 0 0
[pid=10863/tid=10866] ppid=10861 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10866/stat : 10866 (java) S 10861 10863 9270 0 -1 4202560 173 0 0 0 0 0 0 0 15 0 19 0 981346792 10797563904 16426 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10867] ppid=10861 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10867/stat : 10867 (java) S 10861 10863 9270 0 -1 4202560 105 0 0 0 0 0 0 0 16 0 19 0 981346792 10797563904 16426 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 7 0 0 0
[pid=10863/tid=10868] ppid=10861 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10868/stat : 10868 (java) S 10861 10863 9270 0 -1 4202560 13 0 0 0 0 0 0 0 16 0 19 0 981346792 10797563904 16426 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 7 0 0 0
[pid=10863/tid=10869] ppid=10861 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10869/stat : 10869 (java) S 10861 10863 9270 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981346792 10797563904 16426 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10870] ppid=10861 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10870/stat : 10870 (java) S 10861 10863 9270 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 981346792 10797563904 16426 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 7 0 0 0
[pid=10863/tid=10871] ppid=10861 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10871/stat : 10871 (java) S 10861 10863 9270 0 -1 4202560 85 0 0 0 0 0 0 0 15 0 19 0 981346792 10797563904 16426 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10872] ppid=10861 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10872/stat : 10872 (java) S 10861 10863 9270 0 -1 4202560 6 0 0 0 0 0 0 0 16 0 19 0 981346792 10797563904 16426 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 7 0 0 0
[pid=10863/tid=10873] ppid=10861 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10873/stat : 10873 (java) S 10861 10863 9270 0 -1 4202560 186 0 0 0 0 0 0 0 16 0 19 0 981346792 10797563904 16426 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 7 0 0 0
[pid=10863/tid=10874] ppid=10861 vsize=10544496 CPUtime=0.11 cores=1,3,5,7
/proc/10863/task/10874/stat : 10874 (java) R 10861 10863 9270 0 -1 4202560 492 0 0 0 11 0 0 0 15 0 19 0 981346793 10797563904 16426 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216734872649 0 0 0 16800975 0 0 0 -1 5 0 0 0
[pid=10863/tid=10875] ppid=10861 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10875/stat : 10875 (java) S 10861 10863 9270 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 981346794 10797563904 16426 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10876] ppid=10861 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10876/stat : 10876 (java) S 10861 10863 9270 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981346794 10797563904 16426 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 1 0 0 0
[pid=10863/tid=10877] ppid=10861 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10877/stat : 10877 (java) S 10861 10863 9270 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981346796 10797563904 16426 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216747002289 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10878] ppid=10861 vsize=10544496 CPUtime=0.15 cores=1,3,5,7
/proc/10863/task/10878/stat : 10878 (java) S 10861 10863 9270 0 -1 4202560 1349 0 0 0 15 0 0 0 15 0 19 0 981346796 10797563904 16426 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 1 0 0 0
[pid=10863/tid=10879] ppid=10861 vsize=10544496 CPUtime=0.2 cores=1,3,5,7
/proc/10863/task/10879/stat : 10879 (java) S 10861 10863 9270 0 -1 4202560 2030 0 0 0 20 0 0 0 15 0 19 0 981346796 10797563904 16426 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10880] ppid=10861 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10880/stat : 10880 (java) S 10861 10863 9270 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 981346796 10797563904 16426 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10881] ppid=10861 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10881/stat : 10881 (java) S 10861 10863 9270 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981346796 10797563904 16426 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746995200 0 4 0 16800975 18446604470724995776 0 0 -1 7 0 0 0
[pid=10863/tid=10882] ppid=10861 vsize=10544496 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10882/stat : 10882 (java) S 10861 10863 9270 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 981346807 10797563904 16426 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746995200 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 3.45
Current children cumulated vsize (KiB) 10544496

[startup+6.30122 s]
/proc/loadavg: 2.00 2.00 1.93 3/214 10882
/proc/meminfo: memFree=1422440/32951124 swapFree=67054712/67111528
[pid=10863] ppid=10861 vsize=10543584 CPUtime=6.66 cores=1,3,5,7
/proc/10863/stat : 10863 (java) S 10861 10863 9270 0 -1 4202496 18175 0 1 0 664 2 0 0 24 0 19 0 981346790 10796630016 16468 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10863/statm: 2635896 16468 2248 9 0 2626630 0
[pid=10863/tid=10865] ppid=10861 vsize=10543584 CPUtime=6.02 cores=1,3,5,7
/proc/10863/task/10865/stat : 10865 (java) R 10861 10863 9270 0 -1 4202560 12315 0 1 0 601 1 0 0 25 0 19 0 981346791 10796630016 16468 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 46912505592047 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=10863/tid=10866] ppid=10861 vsize=10543584 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10866/stat : 10866 (java) S 10861 10863 9270 0 -1 4202560 220 0 0 0 0 0 0 0 15 0 19 0 981346792 10796630016 16468 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 1 0 0 0
[pid=10863/tid=10867] ppid=10861 vsize=10543584 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10867/stat : 10867 (java) S 10861 10863 9270 0 -1 4202560 127 0 0 0 0 0 0 0 15 0 19 0 981346792 10796630016 16468 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 7 0 0 0
[pid=10863/tid=10868] ppid=10861 vsize=10543584 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10868/stat : 10868 (java) S 10861 10863 9270 0 -1 4202560 48 0 0 0 0 0 0 0 16 0 19 0 981346792 10796630016 16468 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 7 0 0 0
[pid=10863/tid=10869] ppid=10861 vsize=10543584 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10869/stat : 10869 (java) S 10861 10863 9270 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981346792 10796630016 16468 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10870] ppid=10861 vsize=10543584 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10870/stat : 10870 (java) S 10861 10863 9270 0 -1 4202560 14 0 0 0 0 0 0 0 15 0 19 0 981346792 10796630016 16468 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10871] ppid=10861 vsize=10543584 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10871/stat : 10871 (java) S 10861 10863 9270 0 -1 4202560 86 0 0 0 0 0 0 0 16 0 19 0 981346792 10796630016 16468 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 7 0 0 0
[pid=10863/tid=10872] ppid=10861 vsize=10543584 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10872/stat : 10872 (java) S 10861 10863 9270 0 -1 4202560 11 0 0 0 0 0 0 0 15 0 19 0 981346792 10796630016 16468 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 7 0 0 0
[pid=10863/tid=10873] ppid=10861 vsize=10543584 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10873/stat : 10873 (java) S 10861 10863 9270 0 -1 4202560 193 0 0 0 0 0 0 0 15 0 19 0 981346792 10796630016 16468 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 1 0 0 0
[pid=10863/tid=10874] ppid=10861 vsize=10543584 CPUtime=0.22 cores=1,3,5,7
/proc/10863/task/10874/stat : 10874 (java) S 10861 10863 9270 0 -1 4202560 627 0 0 0 22 0 0 0 16 0 19 0 981346793 10796630016 16468 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746995200 0 0 0 16800975 18446604470724995776 0 0 -1 5 0 0 0
[pid=10863/tid=10875] ppid=10861 vsize=10543584 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10875/stat : 10875 (java) S 10861 10863 9270 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 981346794 10796630016 16468 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10876] ppid=10861 vsize=10543584 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10876/stat : 10876 (java) S 10861 10863 9270 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981346794 10796630016 16468 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 1 0 0 0
[pid=10863/tid=10877] ppid=10861 vsize=10543584 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10877/stat : 10877 (java) S 10861 10863 9270 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981346796 10796630016 16468 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216747002289 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10878] ppid=10861 vsize=10543584 CPUtime=0.15 cores=1,3,5,7
/proc/10863/task/10878/stat : 10878 (java) S 10861 10863 9270 0 -1 4202560 1349 0 0 0 15 0 0 0 15 0 19 0 981346796 10796630016 16468 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 1 0 0 0
[pid=10863/tid=10879] ppid=10861 vsize=10543584 CPUtime=0.2 cores=1,3,5,7
/proc/10863/task/10879/stat : 10879 (java) S 10861 10863 9270 0 -1 4202560 2030 0 0 0 20 0 0 0 15 0 19 0 981346796 10796630016 16468 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10880] ppid=10861 vsize=10543584 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10880/stat : 10880 (java) S 10861 10863 9270 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 981346796 10796630016 16468 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10881] ppid=10861 vsize=10543584 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10881/stat : 10881 (java) R 10861 10863 9270 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981346796 10796630016 16468 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746995200 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=10863/tid=10882] ppid=10861 vsize=10543584 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10882/stat : 10882 (java) S 10861 10863 9270 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 981346807 10796630016 16468 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746995200 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 6.66
Current children cumulated vsize (KiB) 10543584

[startup+12.7011 s]

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

/proc/10863/task/10866/stat : 10866 (java) S 10861 10863 9270 0 -1 4202560 261 0 0 0 6 0 0 0 15 0 19 0 981346792 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 1 0 0 0
[pid=10863/tid=10867] ppid=10861 vsize=10557972 CPUtime=0.07 cores=1,3,5,7
/proc/10863/task/10867/stat : 10867 (java) S 10861 10863 9270 0 -1 4202560 159 0 0 0 7 0 0 0 15 0 19 0 981346792 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 7 0 0 0
[pid=10863/tid=10868] ppid=10861 vsize=10557972 CPUtime=0.08 cores=1,3,5,7
/proc/10863/task/10868/stat : 10868 (java) S 10861 10863 9270 0 -1 4202560 63 0 0 0 8 0 0 0 15 0 19 0 981346792 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 5 0 0 0
[pid=10863/tid=10869] ppid=10861 vsize=10557972 CPUtime=0.07 cores=1,3,5,7
/proc/10863/task/10869/stat : 10869 (java) S 10861 10863 9270 0 -1 4202560 31 0 0 0 7 0 0 0 16 0 19 0 981346792 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 5 0 0 0
[pid=10863/tid=10870] ppid=10861 vsize=10557972 CPUtime=0.08 cores=1,3,5,7
/proc/10863/task/10870/stat : 10870 (java) S 10861 10863 9270 0 -1 4202560 46 0 0 0 8 0 0 0 15 0 19 0 981346792 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 7 0 0 0
[pid=10863/tid=10871] ppid=10861 vsize=10557972 CPUtime=0.07 cores=1,3,5,7
/proc/10863/task/10871/stat : 10871 (java) S 10861 10863 9270 0 -1 4202560 104 0 0 0 7 0 0 0 16 0 19 0 981346792 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 1 0 0 0
[pid=10863/tid=10872] ppid=10861 vsize=10557972 CPUtime=0.08 cores=1,3,5,7
/proc/10863/task/10872/stat : 10872 (java) S 10861 10863 9270 0 -1 4202560 24 0 0 0 8 0 0 0 15 0 19 0 981346792 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 1 0 0 0
[pid=10863/tid=10873] ppid=10861 vsize=10557972 CPUtime=0.07 cores=1,3,5,7
/proc/10863/task/10873/stat : 10873 (java) S 10861 10863 9270 0 -1 4202560 221 0 0 0 7 0 0 0 16 0 19 0 981346792 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 7 0 0 0
[pid=10863/tid=10874] ppid=10861 vsize=10557972 CPUtime=3.89 cores=1,3,5,7
/proc/10863/task/10874/stat : 10874 (java) S 10861 10863 9270 0 -1 4202560 1290 0 0 0 385 4 0 0 16 0 19 0 981346793 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746995200 0 0 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10875] ppid=10861 vsize=10557972 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10875/stat : 10875 (java) S 10861 10863 9270 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 981346794 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10876] ppid=10861 vsize=10557972 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10876/stat : 10876 (java) S 10861 10863 9270 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981346794 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 1 0 0 0
[pid=10863/tid=10877] ppid=10861 vsize=10557972 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10877/stat : 10877 (java) S 10861 10863 9270 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981346796 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216747002289 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10878] ppid=10861 vsize=10557972 CPUtime=0.92 cores=1,3,5,7
/proc/10863/task/10878/stat : 10878 (java) S 10861 10863 9270 0 -1 4202560 10081 0 0 0 91 1 0 0 15 0 19 0 981346796 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 1 0 0 0
[pid=10863/tid=10879] ppid=10861 vsize=10557972 CPUtime=0.25 cores=1,3,5,7
/proc/10863/task/10879/stat : 10879 (java) S 10861 10863 9270 0 -1 4202560 2040 0 0 0 25 0 0 0 15 0 19 0 981346796 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10880] ppid=10861 vsize=10557972 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10880/stat : 10880 (java) S 10861 10863 9270 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 981346796 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10881] ppid=10861 vsize=10557972 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10881/stat : 10881 (java) S 10861 10863 9270 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 981346796 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746995200 0 4 0 16800975 18446604470724995776 0 0 -1 7 0 0 0
[pid=10863/tid=10882] ppid=10861 vsize=10557972 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10882/stat : 10882 (java) S 10861 10863 9270 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 981346807 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746995200 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 107.79
Current children cumulated vsize (KiB) 10557972

[startup+106.707 s]
/proc/loadavg: 2.00 2.00 1.93 3/214 10885
/proc/meminfo: memFree=1402956/32951124 swapFree=67054712/67111528
[pid=10863] ppid=10861 vsize=10557972 CPUtime=108.19 cores=1,3,5,7
/proc/10863/stat : 10863 (java) S 10861 10863 9270 0 -1 4202496 28060 0 1 0 10809 10 0 0 24 0 19 0 981346790 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10863/statm: 2639493 21000 2251 9 0 2630227 0
[pid=10863/tid=10865] ppid=10861 vsize=10557972 CPUtime=102.44 cores=1,3,5,7
/proc/10863/task/10865/stat : 10865 (java) R 10861 10863 9270 0 -1 4202560 12580 0 1 0 10242 2 0 0 17 0 19 0 981346791 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 46912505583015 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10863/tid=10866] ppid=10861 vsize=10557972 CPUtime=0.06 cores=1,3,5,7
/proc/10863/task/10866/stat : 10866 (java) S 10861 10863 9270 0 -1 4202560 261 0 0 0 6 0 0 0 15 0 19 0 981346792 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 7 0 0 0
[pid=10863/tid=10867] ppid=10861 vsize=10557972 CPUtime=0.07 cores=1,3,5,7
/proc/10863/task/10867/stat : 10867 (java) S 10861 10863 9270 0 -1 4202560 159 0 0 0 7 0 0 0 15 0 19 0 981346792 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 7 0 0 0
[pid=10863/tid=10868] ppid=10861 vsize=10557972 CPUtime=0.08 cores=1,3,5,7
/proc/10863/task/10868/stat : 10868 (java) S 10861 10863 9270 0 -1 4202560 63 0 0 0 8 0 0 0 15 0 19 0 981346792 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 5 0 0 0
[pid=10863/tid=10869] ppid=10861 vsize=10557972 CPUtime=0.07 cores=1,3,5,7
/proc/10863/task/10869/stat : 10869 (java) S 10861 10863 9270 0 -1 4202560 31 0 0 0 7 0 0 0 15 0 19 0 981346792 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 5 0 0 0
[pid=10863/tid=10870] ppid=10861 vsize=10557972 CPUtime=0.08 cores=1,3,5,7
/proc/10863/task/10870/stat : 10870 (java) S 10861 10863 9270 0 -1 4202560 46 0 0 0 8 0 0 0 15 0 19 0 981346792 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 7 0 0 0
[pid=10863/tid=10871] ppid=10861 vsize=10557972 CPUtime=0.07 cores=1,3,5,7
/proc/10863/task/10871/stat : 10871 (java) S 10861 10863 9270 0 -1 4202560 104 0 0 0 7 0 0 0 16 0 19 0 981346792 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 1 0 0 0
[pid=10863/tid=10872] ppid=10861 vsize=10557972 CPUtime=0.08 cores=1,3,5,7
/proc/10863/task/10872/stat : 10872 (java) S 10861 10863 9270 0 -1 4202560 24 0 0 0 8 0 0 0 16 0 19 0 981346792 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 1 0 0 0
[pid=10863/tid=10873] ppid=10861 vsize=10557972 CPUtime=0.07 cores=1,3,5,7
/proc/10863/task/10873/stat : 10873 (java) S 10861 10863 9270 0 -1 4202560 221 0 0 0 7 0 0 0 15 0 19 0 981346792 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 7 0 0 0
[pid=10863/tid=10874] ppid=10861 vsize=10557972 CPUtime=3.9 cores=1,3,5,7
/proc/10863/task/10874/stat : 10874 (java) S 10861 10863 9270 0 -1 4202560 1290 0 0 0 386 4 0 0 16 0 19 0 981346793 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746995200 0 0 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10875] ppid=10861 vsize=10557972 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10875/stat : 10875 (java) S 10861 10863 9270 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 981346794 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10876] ppid=10861 vsize=10557972 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10876/stat : 10876 (java) S 10861 10863 9270 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981346794 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 1 0 0 0
[pid=10863/tid=10877] ppid=10861 vsize=10557972 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10877/stat : 10877 (java) S 10861 10863 9270 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981346796 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216747002289 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10878] ppid=10861 vsize=10557972 CPUtime=0.92 cores=1,3,5,7
/proc/10863/task/10878/stat : 10878 (java) S 10861 10863 9270 0 -1 4202560 10081 0 0 0 91 1 0 0 15 0 19 0 981346796 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 1 0 0 0
[pid=10863/tid=10879] ppid=10861 vsize=10557972 CPUtime=0.25 cores=1,3,5,7
/proc/10863/task/10879/stat : 10879 (java) S 10861 10863 9270 0 -1 4202560 2040 0 0 0 25 0 0 0 15 0 19 0 981346796 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10880] ppid=10861 vsize=10557972 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10880/stat : 10880 (java) S 10861 10863 9270 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 981346796 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10881] ppid=10861 vsize=10557972 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10881/stat : 10881 (java) S 10861 10863 9270 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 981346796 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746995200 0 4 0 16800975 18446604470724995776 0 0 -1 7 0 0 0
[pid=10863/tid=10882] ppid=10861 vsize=10557972 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10882/stat : 10882 (java) S 10861 10863 9270 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 981346807 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746995200 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 108.19
Current children cumulated vsize (KiB) 10557972

[startup+106.901 s]
/proc/loadavg: 2.00 2.00 1.93 3/214 10885
/proc/meminfo: memFree=1402956/32951124 swapFree=67054712/67111528
[pid=10863] ppid=10861 vsize=10557972 CPUtime=108.39 cores=1,3,5,7
/proc/10863/stat : 10863 (java) S 10861 10863 9270 0 -1 4202496 28060 0 1 0 10829 10 0 0 24 0 19 0 981346790 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10863/statm: 2639493 21000 2251 9 0 2630227 0
[pid=10863/tid=10865] ppid=10861 vsize=10557972 CPUtime=102.64 cores=1,3,5,7
/proc/10863/task/10865/stat : 10865 (java) R 10861 10863 9270 0 -1 4202560 12580 0 1 0 10262 2 0 0 18 0 19 0 981346791 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 46912505599607 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10863/tid=10866] ppid=10861 vsize=10557972 CPUtime=0.06 cores=1,3,5,7
/proc/10863/task/10866/stat : 10866 (java) S 10861 10863 9270 0 -1 4202560 261 0 0 0 6 0 0 0 15 0 19 0 981346792 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 7 0 0 0
[pid=10863/tid=10867] ppid=10861 vsize=10557972 CPUtime=0.07 cores=1,3,5,7
/proc/10863/task/10867/stat : 10867 (java) S 10861 10863 9270 0 -1 4202560 159 0 0 0 7 0 0 0 15 0 19 0 981346792 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 7 0 0 0
[pid=10863/tid=10868] ppid=10861 vsize=10557972 CPUtime=0.08 cores=1,3,5,7
/proc/10863/task/10868/stat : 10868 (java) S 10861 10863 9270 0 -1 4202560 63 0 0 0 8 0 0 0 15 0 19 0 981346792 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 5 0 0 0
[pid=10863/tid=10869] ppid=10861 vsize=10557972 CPUtime=0.07 cores=1,3,5,7
/proc/10863/task/10869/stat : 10869 (java) S 10861 10863 9270 0 -1 4202560 31 0 0 0 7 0 0 0 15 0 19 0 981346792 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 5 0 0 0
[pid=10863/tid=10870] ppid=10861 vsize=10557972 CPUtime=0.08 cores=1,3,5,7
/proc/10863/task/10870/stat : 10870 (java) S 10861 10863 9270 0 -1 4202560 46 0 0 0 8 0 0 0 15 0 19 0 981346792 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 7 0 0 0
[pid=10863/tid=10871] ppid=10861 vsize=10557972 CPUtime=0.07 cores=1,3,5,7
/proc/10863/task/10871/stat : 10871 (java) S 10861 10863 9270 0 -1 4202560 104 0 0 0 7 0 0 0 16 0 19 0 981346792 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 1 0 0 0
[pid=10863/tid=10872] ppid=10861 vsize=10557972 CPUtime=0.08 cores=1,3,5,7
/proc/10863/task/10872/stat : 10872 (java) S 10861 10863 9270 0 -1 4202560 24 0 0 0 8 0 0 0 16 0 19 0 981346792 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 1 0 0 0
[pid=10863/tid=10873] ppid=10861 vsize=10557972 CPUtime=0.07 cores=1,3,5,7
/proc/10863/task/10873/stat : 10873 (java) S 10861 10863 9270 0 -1 4202560 221 0 0 0 7 0 0 0 15 0 19 0 981346792 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 7 0 0 0
[pid=10863/tid=10874] ppid=10861 vsize=10557972 CPUtime=3.9 cores=1,3,5,7
/proc/10863/task/10874/stat : 10874 (java) S 10861 10863 9270 0 -1 4202560 1290 0 0 0 386 4 0 0 16 0 19 0 981346793 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746995200 0 0 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10875] ppid=10861 vsize=10557972 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10875/stat : 10875 (java) S 10861 10863 9270 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 981346794 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10876] ppid=10861 vsize=10557972 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10876/stat : 10876 (java) S 10861 10863 9270 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981346794 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 1 0 0 0
[pid=10863/tid=10877] ppid=10861 vsize=10557972 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10877/stat : 10877 (java) S 10861 10863 9270 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981346796 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216747002289 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10878] ppid=10861 vsize=10557972 CPUtime=0.92 cores=1,3,5,7
/proc/10863/task/10878/stat : 10878 (java) S 10861 10863 9270 0 -1 4202560 10081 0 0 0 91 1 0 0 15 0 19 0 981346796 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 1 0 0 0
[pid=10863/tid=10879] ppid=10861 vsize=10557972 CPUtime=0.25 cores=1,3,5,7
/proc/10863/task/10879/stat : 10879 (java) S 10861 10863 9270 0 -1 4202560 2040 0 0 0 25 0 0 0 15 0 19 0 981346796 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10880] ppid=10861 vsize=10557972 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10880/stat : 10880 (java) S 10861 10863 9270 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 981346796 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10881] ppid=10861 vsize=10557972 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10881/stat : 10881 (java) S 10861 10863 9270 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 981346796 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746995200 0 4 0 16800975 18446604470724995776 0 0 -1 7 0 0 0
[pid=10863/tid=10882] ppid=10861 vsize=10557972 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10882/stat : 10882 (java) S 10861 10863 9270 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 981346807 10811363328 21000 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746995200 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 108.39
Current children cumulated vsize (KiB) 10557972

[startup+107.001 s]
/proc/loadavg: 2.00 2.00 1.93 3/214 10885
/proc/meminfo: memFree=1402956/32951124 swapFree=67054712/67111528
[pid=10863] ppid=10861 vsize=10557972 CPUtime=108.49 cores=1,3,5,7
/proc/10863/stat : 10863 (java) S 10861 10863 9270 0 -1 4202496 28066 0 1 0 10839 10 0 0 24 0 19 0 981346790 10811363328 21005 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746981349 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10863/statm: 2639493 21005 2251 9 0 2630227 0
[pid=10863/tid=10865] ppid=10861 vsize=10557972 CPUtime=102.72 cores=1,3,5,7
/proc/10863/task/10865/stat : 10865 (java) R 10861 10863 9270 0 -1 4202560 12581 0 1 0 10270 2 0 0 18 0 19 0 981346791 10811363328 21005 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 46912505599612 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=10863/tid=10866] ppid=10861 vsize=10557972 CPUtime=0.06 cores=1,3,5,7
/proc/10863/task/10866/stat : 10866 (java) S 10861 10863 9270 0 -1 4202560 261 0 0 0 6 0 0 0 15 0 19 0 981346792 10811363328 21005 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 7 0 0 0
[pid=10863/tid=10867] ppid=10861 vsize=10557972 CPUtime=0.07 cores=1,3,5,7
/proc/10863/task/10867/stat : 10867 (java) S 10861 10863 9270 0 -1 4202560 159 0 0 0 7 0 0 0 15 0 19 0 981346792 10811363328 21005 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 7 0 0 0
[pid=10863/tid=10868] ppid=10861 vsize=10557972 CPUtime=0.08 cores=1,3,5,7
/proc/10863/task/10868/stat : 10868 (java) S 10861 10863 9270 0 -1 4202560 64 0 0 0 8 0 0 0 15 0 19 0 981346792 10811363328 21005 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 5 0 0 0
[pid=10863/tid=10869] ppid=10861 vsize=10557972 CPUtime=0.07 cores=1,3,5,7
/proc/10863/task/10869/stat : 10869 (java) S 10861 10863 9270 0 -1 4202560 31 0 0 0 7 0 0 0 15 0 19 0 981346792 10811363328 21005 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 7 0 0 0
[pid=10863/tid=10870] ppid=10861 vsize=10557972 CPUtime=0.08 cores=1,3,5,7
/proc/10863/task/10870/stat : 10870 (java) S 10861 10863 9270 0 -1 4202560 46 0 0 0 8 0 0 0 15 0 19 0 981346792 10811363328 21005 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 7 0 0 0
[pid=10863/tid=10871] ppid=10861 vsize=10557972 CPUtime=0.07 cores=1,3,5,7
/proc/10863/task/10871/stat : 10871 (java) S 10861 10863 9270 0 -1 4202560 104 0 0 0 7 0 0 0 15 0 19 0 981346792 10811363328 21005 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 1 0 0 0
[pid=10863/tid=10872] ppid=10861 vsize=10557972 CPUtime=0.08 cores=1,3,5,7
/proc/10863/task/10872/stat : 10872 (java) S 10861 10863 9270 0 -1 4202560 24 0 0 0 8 0 0 0 15 0 19 0 981346792 10811363328 21005 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 1 0 0 0
[pid=10863/tid=10873] ppid=10861 vsize=10557972 CPUtime=0.07 cores=1,3,5,7
/proc/10863/task/10873/stat : 10873 (java) S 10861 10863 9270 0 -1 4202560 221 0 0 0 7 0 0 0 15 0 19 0 981346792 10811363328 21005 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 7 0 0 0
[pid=10863/tid=10874] ppid=10861 vsize=10557972 CPUtime=3.92 cores=1,3,5,7
/proc/10863/task/10874/stat : 10874 (java) S 10861 10863 9270 0 -1 4202560 1294 0 0 0 388 4 0 0 16 0 19 0 981346793 10811363328 21005 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746995200 0 0 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10875] ppid=10861 vsize=10557972 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10875/stat : 10875 (java) S 10861 10863 9270 0 -1 4202560 17 0 0 0 0 0 0 0 17 0 19 0 981346794 10811363328 21005 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10876] ppid=10861 vsize=10557972 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10876/stat : 10876 (java) S 10861 10863 9270 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 981346794 10811363328 21005 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 1 0 0 0
[pid=10863/tid=10877] ppid=10861 vsize=10557972 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10877/stat : 10877 (java) S 10861 10863 9270 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 981346796 10811363328 21005 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216747002289 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10878] ppid=10861 vsize=10557972 CPUtime=0.92 cores=1,3,5,7
/proc/10863/task/10878/stat : 10878 (java) S 10861 10863 9270 0 -1 4202560 10081 0 0 0 91 1 0 0 15 0 19 0 981346796 10811363328 21005 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 1 0 0 0
[pid=10863/tid=10879] ppid=10861 vsize=10557972 CPUtime=0.25 cores=1,3,5,7
/proc/10863/task/10879/stat : 10879 (java) S 10861 10863 9270 0 -1 4202560 2040 0 0 0 25 0 0 0 15 0 19 0 981346796 10811363328 21005 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10880] ppid=10861 vsize=10557972 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10880/stat : 10880 (java) S 10861 10863 9270 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 981346796 10811363328 21005 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746994585 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
[pid=10863/tid=10881] ppid=10861 vsize=10557972 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10881/stat : 10881 (java) S 10861 10863 9270 0 -1 4202560 7 0 0 0 0 0 0 0 15 0 19 0 981346796 10811363328 21005 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746995200 0 4 0 16800975 18446604470724995776 0 0 -1 7 0 0 0
[pid=10863/tid=10882] ppid=10861 vsize=10557972 CPUtime=0 cores=1,3,5,7
/proc/10863/task/10882/stat : 10882 (java) S 10861 10863 9270 0 -1 4202560 7 0 0 0 0 0 0 0 23 0 19 0 981346807 10811363328 21005 33554432000 1073741824 1073778376 140736889871344 18446744073709551615 216746995200 0 4 0 16800975 18446604470724995776 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 108.49
Current children cumulated vsize (KiB) 10557972

Child status: 30
Real time (s): 107.022
CPU time (s): 108.516
CPU user time (s): 108.41
CPU system time (s): 0.105983
CPU usage (%): 101.396
Max. virtual memory (cumulated for all children) (KiB): 10567008

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 108.41
system time used= 0.105983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28086
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= 10724
involuntary context switches= 4757

runsolver used 0.19597 second user time and 0.411937 second system time

The end

Launcher Data 

Begin job on node119 at 2011-06-12 22:39:21
IDJOB=3492701
IDBENCH=79234
IDSOLVER=1982
FILE ID=node119/3492701-1307911161
RUNJOBID= node119-1307908256-10497
PBS_JOBID= 13559587
Free space on /var/tmp= 2880 MiB

SOLVER NAME= Sat4j Resolution 2011-06-08
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1110978334--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-3492701-1307911161/watcher-3492701-1307911161 -o /var/tmp/evaluation-result-3492701-1307911161/solver-3492701-1307911161 -C 1800 -W 1900 -M 15500  java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492701-1307911161.wbo

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

MD5SUM BENCH= 359f8e8e206a8ecfac2e3b6d9e7369bc
RANDOM SEED=552778627

node119.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.815
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.63
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.815
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	: 5332.83
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.815
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.74
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.815
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.83
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.815
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.67
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.815
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.83
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.815
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.74
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.815
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1481292 kB
Buffers:         63732 kB
Cached:       30210368 kB
SwapCached:      10968 kB
Active:       15568136 kB
Inactive:     14958432 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1481292 kB
SwapTotal:    67111528 kB
SwapFree:     67054712 kB
Dirty:            2224 kB
Writeback:           0 kB
AnonPages:      249956 kB
Mapped:          21452 kB
Slab:           879180 kB
PageTables:       4552 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10552440 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= 2880 MiB
End job on node119 at 2011-06-12 22:41:08