Trace number 3492550

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 74.5577 73.314

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110972763--soft-66-100-0.wbo
MD5SUM129d08cca1ba918da7454b2cc3018155
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark39
Best CPU time to get the best result obtained on this benchmark1.34779
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 constraints42
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 1838
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 1837
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1209
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.00/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.00/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.00/0.08	c See www.sat4j.org for details.
0.00/0.08	c version 2.3.1.v20110525
0.00/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.00/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.00/0.08	c java.vm.version	19.1-b02
0.00/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.00/0.08	c sun.arch.data.model	64
0.00/0.08	c java.version		1.6.0_24
0.00/0.08	c os.name		Linux
0.00/0.08	c os.version		2.6.18-164.el5
0.00/0.08	c os.arch		amd64
0.00/0.08	c Free memory 		9996466904
0.00/0.08	c Max memory 		10048897024
0.00/0.08	c Total memory 		10048897024
0.00/0.08	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@13d4c61c
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-3492550-1307909952.wbo
0.10/0.11	c reading problem ... 
0.10/0.16	c ... done. Wall clock time 0.054s.
0.10/0.16	c #vars     211
0.10/0.16	c #constraints  101
0.10/0.16	c constraints type 
0.10/0.16	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27
0.10/0.16	c org.sat4j.minisat.constraints.card.MinWatchCard => 41
0.10/0.16	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3
0.10/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 30
0.53/0.35	c SATISFIABLE
0.53/0.35	c OPTIMIZING...
0.53/0.35	c Got one! Elapsed wall clock time (in seconds):0.243
0.53/0.35	o 296
0.53/0.39	c Got one! Elapsed wall clock time (in seconds):0.283
0.53/0.39	o 291
0.67/0.42	c Got one! Elapsed wall clock time (in seconds):0.316
0.67/0.42	o 267
0.77/0.52	c cleaning 3465 clauses out of 6933 with flag 2000/6933
1.02/0.71	c cleaning 4726 clauses out of 9469 with flag 8001/12934
1.12/0.80	c Got one! Elapsed wall clock time (in seconds):0.697
1.12/0.80	o 262
1.12/0.89	c cleaning 5338 clauses out of 10683 with flag 3001/18874
1.22/0.97	c Got one! Elapsed wall clock time (in seconds):0.867
1.22/0.97	o 236
1.34/1.07	c cleaning 5330 clauses out of 10669 with flag 3002/24198
1.47/1.18	c Got one! Elapsed wall clock time (in seconds):1.07
1.47/1.18	o 221
1.56/1.25	c cleaning 5478 clauses out of 10966 with flag 2001/29825
1.66/1.35	c Got one! Elapsed wall clock time (in seconds):1.246
1.66/1.35	o 170
1.76/1.43	c cleaning 5506 clauses out of 11020 with flag 2001/35357
1.96/1.60	c cleaning 5752 clauses out of 11514 with flag 8001/41357
2.16/1.81	c cleaning 6379 clauses out of 12761 with flag 15000/48356
2.36/2.05	c cleaning 7192 clauses out of 14385 with flag 23003/56359
2.57/2.21	c Got one! Elapsed wall clock time (in seconds):2.101
2.57/2.21	o 137
2.66/2.38	c cleaning 8686 clauses out of 17387 with flag 5002/66553
2.86/2.57	c cleaning 7344 clauses out of 14700 with flag 11001/72552
3.06/2.79	c cleaning 7167 clauses out of 14355 with flag 18000/79551
3.36/3.05	c cleaning 7588 clauses out of 15188 with flag 26000/87551
3.67/3.33	c cleaning 8295 clauses out of 16600 with flag 35000/96551
3.97/3.67	c cleaning 9145 clauses out of 18305 with flag 45000/106551
4.27/3.99	c cleaning 9576 clauses out of 19161 with flag 55001/116552
4.68/4.33	c cleaning 9788 clauses out of 19585 with flag 65001/126552
4.97/4.65	c cleaning 9892 clauses out of 19797 with flag 75001/136552
5.27/4.97	c cleaning 9945 clauses out of 19904 with flag 85000/146551
5.67/5.31	c cleaning 9974 clauses out of 19960 with flag 95001/156552
5.97/5.62	c cleaning 9987 clauses out of 19986 with flag 105001/166552
6.27/5.93	c cleaning 9996 clauses out of 20000 with flag 115002/176553
6.58/6.26	c cleaning 9992 clauses out of 20002 with flag 125000/186551
6.99/6.61	c cleaning 10002 clauses out of 20010 with flag 135000/196551
7.28/6.96	c cleaning 10003 clauses out of 20009 with flag 145001/206552
7.58/7.29	c cleaning 10000 clauses out of 20006 with flag 155001/216552
7.99/7.64	c cleaning 9998 clauses out of 20006 with flag 165001/226552
8.28/7.99	c cleaning 10000 clauses out of 20008 with flag 175001/236552
8.69/8.33	c cleaning 9996 clauses out of 20007 with flag 185000/246551
8.99/8.69	c cleaning 9996 clauses out of 20011 with flag 195000/256551
9.39/9.05	c cleaning 10003 clauses out of 20017 with flag 205002/266553
9.69/9.39	c cleaning 10004 clauses out of 20015 with flag 215003/276554
10.09/9.71	c cleaning 9998 clauses out of 20008 with flag 225000/286551
10.39/10.05	c cleaning 9997 clauses out of 20010 with flag 235000/296551
10.69/10.32	c Got one! Elapsed wall clock time (in seconds):10.218
10.69/10.32	o 136
10.89/10.53	c cleaning 11777 clauses out of 23563 with flag 5000/310101
11.09/10.74	c cleaning 8886 clauses out of 17786 with flag 11000/316101
11.30/10.97	c cleaning 7944 clauses out of 15902 with flag 18002/323103
11.49/11.12	c Got one! Elapsed wall clock time (in seconds):11.014
11.49/11.12	o 133
11.59/11.29	c cleaning 9009 clauses out of 18023 with flag 5001/333168
11.79/11.49	c cleaning 7503 clauses out of 15013 with flag 11000/339167
12.09/11.73	c cleaning 7249 clauses out of 14510 with flag 18000/346167
12.40/12.02	c cleaning 7627 clauses out of 15261 with flag 26000/354167
12.70/12.32	c cleaning 8309 clauses out of 16634 with flag 35000/363167
13.00/12.62	c cleaning 9155 clauses out of 18325 with flag 45000/373167
13.30/12.94	c cleaning 9580 clauses out of 19174 with flag 55004/383171
13.60/13.27	c cleaning 9786 clauses out of 19590 with flag 65000/393167
14.00/13.61	c cleaning 9895 clauses out of 19804 with flag 75000/403167
14.30/13.99	c cleaning 9944 clauses out of 19910 with flag 85001/413168
14.71/14.32	c cleaning 9979 clauses out of 19966 with flag 95001/423168
15.00/14.65	c cleaning 9992 clauses out of 19989 with flag 105003/433170
15.40/15.00	c cleaning 9991 clauses out of 19995 with flag 115001/443168
15.60/15.23	c Got one! Elapsed wall clock time (in seconds):15.12
15.60/15.23	o 124
15.81/15.43	c cleaning 10983 clauses out of 21976 with flag 5001/455140
16.01/15.64	c cleaning 8492 clauses out of 16993 with flag 11001/461140
16.21/15.87	c cleaning 7743 clauses out of 15500 with flag 18000/468139
16.52/16.12	c cleaning 7876 clauses out of 15758 with flag 26001/476140
16.83/16.42	c cleaning 8438 clauses out of 16884 with flag 35003/485142
17.12/16.77	c cleaning 9215 clauses out of 18444 with flag 45001/495140
17.52/17.13	c cleaning 9607 clauses out of 19231 with flag 55003/505142
17.82/17.46	c cleaning 9808 clauses out of 19623 with flag 65002/515141
18.24/17.80	c cleaning 9902 clauses out of 19813 with flag 75000/525139
18.54/18.15	c cleaning 9952 clauses out of 19912 with flag 85001/535140
18.84/18.49	c cleaning 9971 clauses out of 19959 with flag 95000/545139
19.15/18.78	c Got one! Elapsed wall clock time (in seconds):18.676
19.15/18.78	o 121
19.34/18.99	c cleaning 12271 clauses out of 24552 with flag 5000/559703
19.64/19.21	c cleaning 9137 clauses out of 18283 with flag 11002/565705
19.84/19.46	c cleaning 8068 clauses out of 16145 with flag 18001/572704
20.15/19.75	c cleaning 8033 clauses out of 16077 with flag 26001/580704
20.44/20.07	c cleaning 8515 clauses out of 17044 with flag 35001/589704
20.84/20.41	c cleaning 9260 clauses out of 18528 with flag 45000/599703
21.14/20.75	c cleaning 9630 clauses out of 19270 with flag 55002/609705
21.44/21.09	c cleaning 9812 clauses out of 19638 with flag 65000/619703
21.84/21.43	c cleaning 9902 clauses out of 19826 with flag 75000/629703
22.14/21.79	c cleaning 9957 clauses out of 19924 with flag 85000/639703
22.55/22.11	c Got one! Elapsed wall clock time (in seconds):22.004
22.55/22.11	o 100
22.75/22.31	c cleaning 12008 clauses out of 24021 with flag 5001/653757
22.95/22.53	c cleaning 9002 clauses out of 18012 with flag 11000/659756
23.15/22.79	c cleaning 7999 clauses out of 16010 with flag 18000/666756
23.45/23.07	c cleaning 8003 clauses out of 16014 with flag 26003/674759
23.75/23.37	c cleaning 8500 clauses out of 17010 with flag 35002/683758
24.15/23.72	c cleaning 9250 clauses out of 18509 with flag 45001/693757
24.45/24.08	c cleaning 9622 clauses out of 19259 with flag 55001/703757
24.86/24.45	c cleaning 9813 clauses out of 19636 with flag 65000/713756
25.26/24.80	c cleaning 9908 clauses out of 19823 with flag 75000/723756
25.56/25.13	c cleaning 9957 clauses out of 19917 with flag 85002/733758
25.86/25.43	c cleaning 9976 clauses out of 19958 with flag 95000/743756
26.16/25.74	c cleaning 9989 clauses out of 19983 with flag 105001/753757
26.55/26.11	c cleaning 9991 clauses out of 19994 with flag 115001/763757
26.86/26.45	c cleaning 9992 clauses out of 20005 with flag 125003/773759
27.16/26.80	c cleaning 9998 clauses out of 20011 with flag 135001/783757
27.56/27.13	c cleaning 10003 clauses out of 20012 with flag 145000/793756
27.86/27.48	c cleaning 9998 clauses out of 20009 with flag 155000/803756
28.06/27.68	c Got one! Elapsed wall clock time (in seconds):27.575
28.06/27.68	o 94
28.26/27.86	c cleaning 10724 clauses out of 21454 with flag 5001/815199
28.46/28.06	c cleaning 8363 clauses out of 16731 with flag 11002/821200
28.76/28.31	c cleaning 7680 clauses out of 15367 with flag 18001/828199
28.97/28.60	c cleaning 7837 clauses out of 15687 with flag 26001/836199
29.36/28.91	c cleaning 8422 clauses out of 16850 with flag 35001/845199
29.66/29.24	c cleaning 9211 clauses out of 18429 with flag 45002/855200
30.07/29.64	c cleaning 9603 clauses out of 19217 with flag 55001/865199
30.17/29.79	c Got one! Elapsed wall clock time (in seconds):29.686
30.17/29.79	o 87
30.27/29.83	c cleaning 7551 clauses out of 15111 with flag 1002/870696
30.47/30.03	c cleaning 6775 clauses out of 13558 with flag 7000/876694
30.67/30.27	c cleaning 6889 clauses out of 13784 with flag 14001/883695
30.97/30.55	c cleaning 7441 clauses out of 14895 with flag 22001/891695
31.27/30.87	c cleaning 8221 clauses out of 16454 with flag 31001/900695
31.67/31.23	c cleaning 9114 clauses out of 18234 with flag 41002/910696
31.97/31.60	c cleaning 9557 clauses out of 19119 with flag 51001/920695
32.38/31.94	c cleaning 9778 clauses out of 19561 with flag 61000/930694
32.78/32.31	c cleaning 9890 clauses out of 19784 with flag 71001/940695
33.08/32.66	c cleaning 9943 clauses out of 19893 with flag 81000/950694
33.28/32.82	c Got one! Elapsed wall clock time (in seconds):32.719
33.28/32.82	o 65
33.38/33.00	c cleaning 10040 clauses out of 20089 with flag 5000/960833
33.58/33.19	c cleaning 8020 clauses out of 16049 with flag 11000/966833
33.88/33.44	c cleaning 7511 clauses out of 15029 with flag 18000/973833
34.18/33.73	c cleaning 7757 clauses out of 15520 with flag 26002/981835
34.49/34.01	c cleaning 8377 clauses out of 16762 with flag 35001/990834
34.78/34.35	c cleaning 9186 clauses out of 18384 with flag 45000/1000833
35.18/34.70	c cleaning 9596 clauses out of 19199 with flag 55001/1010834
35.48/35.07	c cleaning 9796 clauses out of 19602 with flag 65000/1020833
35.88/35.46	c cleaning 9899 clauses out of 19807 with flag 75001/1030834
36.29/35.81	c cleaning 9949 clauses out of 19908 with flag 85001/1040834
36.58/36.17	c cleaning 9973 clauses out of 19958 with flag 95000/1050833
36.99/36.50	c cleaning 9986 clauses out of 19985 with flag 105000/1060833
37.29/36.82	c cleaning 9995 clauses out of 20000 with flag 115001/1070834
37.59/37.15	c cleaning 9995 clauses out of 20004 with flag 125000/1080833
37.89/37.49	c cleaning 10000 clauses out of 20010 with flag 135001/1090834
38.30/37.82	c cleaning 10002 clauses out of 20009 with flag 145000/1100833
38.60/38.17	c cleaning 9999 clauses out of 20008 with flag 155001/1110834
38.90/38.49	c cleaning 9999 clauses out of 20009 with flag 165001/1120834
39.30/38.82	c cleaning 10000 clauses out of 20009 with flag 175000/1130833
39.50/39.04	c Got one! Elapsed wall clock time (in seconds):38.937
39.50/39.04	o 60
39.70/39.25	c cleaning 11323 clauses out of 22656 with flag 5001/1143480
39.90/39.45	c cleaning 8662 clauses out of 17332 with flag 11000/1149479
40.11/39.70	c cleaning 7830 clauses out of 15670 with flag 18000/1156479
40.40/39.97	c cleaning 7917 clauses out of 15841 with flag 26001/1164480
40.70/40.25	c cleaning 8453 clauses out of 16923 with flag 35000/1173479
41.00/40.57	c cleaning 9228 clauses out of 18470 with flag 45000/1183479
41.40/40.90	c cleaning 9618 clauses out of 19243 with flag 55001/1193480
41.70/41.23	c cleaning 9807 clauses out of 19627 with flag 65003/1203482
42.01/41.55	c cleaning 9904 clauses out of 19818 with flag 75001/1213480
42.31/41.87	c cleaning 9950 clauses out of 19913 with flag 85000/1223479
42.70/42.21	c cleaning 9975 clauses out of 19964 with flag 95001/1233480
43.00/42.55	c cleaning 9988 clauses out of 19988 with flag 105000/1243479
43.31/42.88	c cleaning 9994 clauses out of 20000 with flag 115000/1253479
43.70/43.22	c cleaning 9999 clauses out of 20006 with flag 125000/1263479
44.00/43.56	c cleaning 9998 clauses out of 20007 with flag 135000/1273479
44.41/43.92	c cleaning 9999 clauses out of 20010 with flag 145001/1283480
44.70/44.27	c cleaning 10001 clauses out of 20012 with flag 155002/1293481
45.11/44.60	c cleaning 9999 clauses out of 20011 with flag 165002/1303481
45.41/44.94	c cleaning 10001 clauses out of 20011 with flag 175001/1313480
45.71/45.26	c cleaning 10001 clauses out of 20010 with flag 185001/1323480
46.01/45.56	c Got one! Elapsed wall clock time (in seconds):45.458
46.01/45.56	o 59
46.21/45.78	c cleaning 12117 clauses out of 24240 with flag 5003/1337711
46.51/46.00	c cleaning 9057 clauses out of 18121 with flag 11001/1343709
46.71/46.24	c cleaning 8026 clauses out of 16063 with flag 18000/1350708
47.01/46.54	c cleaning 8011 clauses out of 16037 with flag 26000/1358708
47.31/46.84	c cleaning 8510 clauses out of 17026 with flag 35000/1367708
47.61/47.19	c cleaning 9252 clauses out of 18516 with flag 45000/1377708
48.01/47.54	c cleaning 9627 clauses out of 19264 with flag 55000/1387708
48.41/47.90	c cleaning 9808 clauses out of 19637 with flag 65000/1397708
48.71/48.29	c cleaning 9909 clauses out of 19829 with flag 75000/1407708
49.22/48.70	c cleaning 9957 clauses out of 19920 with flag 85000/1417708
49.53/49.05	c cleaning 9977 clauses out of 19963 with flag 95000/1427708
49.83/49.39	c cleaning 9987 clauses out of 19986 with flag 105000/1437708
50.23/49.75	c cleaning 9991 clauses out of 20000 with flag 115001/1447709
50.63/50.10	c cleaning 9997 clauses out of 20008 with flag 125000/1457708
50.93/50.44	c cleaning 10001 clauses out of 20014 with flag 135003/1467711
51.33/50.81	c cleaning 10001 clauses out of 20012 with flag 145002/1477710
51.63/51.15	c cleaning 9998 clauses out of 20009 with flag 155000/1487708
52.03/51.51	c cleaning 10000 clauses out of 20015 with flag 165004/1497712
52.33/51.86	c cleaning 10001 clauses out of 20011 with flag 175000/1507708
52.73/52.23	c cleaning 10000 clauses out of 20010 with flag 185000/1517708
53.03/52.57	c cleaning 9998 clauses out of 20011 with flag 195001/1527709
53.34/52.88	c cleaning 9998 clauses out of 20012 with flag 205000/1537708
53.73/53.24	c cleaning 10002 clauses out of 20014 with flag 215000/1547708
54.04/53.57	c cleaning 10002 clauses out of 20013 with flag 225001/1557709
54.24/53.75	c Got one! Elapsed wall clock time (in seconds):53.643
54.24/53.75	o 57
54.44/53.94	c cleaning 10331 clauses out of 20674 with flag 5003/1568372
54.64/54.15	c cleaning 8165 clauses out of 16340 with flag 11000/1574369
54.84/54.39	c cleaning 7584 clauses out of 15175 with flag 18000/1581369
55.14/54.66	c cleaning 7794 clauses out of 15592 with flag 26001/1589370
55.44/54.96	c cleaning 8397 clauses out of 16798 with flag 35001/1598370
55.84/55.31	c cleaning 9194 clauses out of 18402 with flag 45002/1608371
56.14/55.66	c cleaning 9598 clauses out of 19207 with flag 55001/1618370
56.55/56.05	c cleaning 9800 clauses out of 19608 with flag 65000/1628369
56.94/56.44	c cleaning 9902 clauses out of 19812 with flag 75004/1638373
57.24/56.79	c cleaning 9948 clauses out of 19906 with flag 85000/1648369
57.65/57.14	c cleaning 9975 clauses out of 19960 with flag 95002/1658371
57.95/57.49	c cleaning 9987 clauses out of 19986 with flag 105003/1668372
58.35/57.85	c cleaning 9991 clauses out of 19996 with flag 115000/1678369
58.65/58.20	c cleaning 9996 clauses out of 20006 with flag 125001/1688370
59.05/58.57	c cleaning 9999 clauses out of 20011 with flag 135002/1698371
59.45/58.92	c cleaning 9998 clauses out of 20010 with flag 145000/1708369
59.75/59.26	c cleaning 10001 clauses out of 20013 with flag 155001/1718370
60.15/59.62	c cleaning 10003 clauses out of 20011 with flag 165000/1728369
60.45/59.96	c cleaning 10001 clauses out of 20009 with flag 175001/1738370
60.75/60.29	c cleaning 9998 clauses out of 20009 with flag 185002/1748371
61.15/60.61	c cleaning 10001 clauses out of 20010 with flag 195001/1758370
61.45/60.93	c cleaning 9998 clauses out of 20009 with flag 205001/1768370
61.76/61.24	c cleaning 10002 clauses out of 20010 with flag 215000/1778369
62.06/61.56	c cleaning 10000 clauses out of 20008 with flag 225000/1788369
62.46/61.91	c cleaning 10000 clauses out of 20008 with flag 235000/1798369
62.76/62.27	c cleaning 9999 clauses out of 20009 with flag 245001/1808370
62.96/62.41	c Got one! Elapsed wall clock time (in seconds):62.302
62.96/62.41	o 39
62.96/62.45	c cleaning 7705 clauses out of 15417 with flag 1000/1813777
63.17/62.63	c cleaning 6848 clauses out of 13712 with flag 7000/1819777
63.37/62.88	c cleaning 6927 clauses out of 13864 with flag 14000/1826777
63.67/63.16	c cleaning 7467 clauses out of 14941 with flag 22004/1834781
63.97/63.47	c cleaning 8230 clauses out of 16470 with flag 31000/1843777
64.37/63.81	c cleaning 9117 clauses out of 18241 with flag 41001/1853778
64.67/64.20	c cleaning 9556 clauses out of 19124 with flag 51001/1863778
65.07/64.57	c cleaning 9780 clauses out of 19567 with flag 61000/1873777
65.47/64.91	c cleaning 9889 clauses out of 19791 with flag 71004/1883781
65.77/65.26	c cleaning 9947 clauses out of 19901 with flag 81003/1893780
66.17/65.61	c cleaning 9972 clauses out of 19951 with flag 91000/1903777
66.47/65.94	c cleaning 9983 clauses out of 19979 with flag 101000/1913777
66.77/66.29	c cleaning 9995 clauses out of 19997 with flag 111001/1923778
67.17/66.64	c cleaning 9994 clauses out of 20002 with flag 121001/1933778
67.47/66.97	c cleaning 9998 clauses out of 20008 with flag 131001/1943778
67.87/67.31	c cleaning 10001 clauses out of 20010 with flag 141001/1953778
68.17/67.65	c cleaning 10000 clauses out of 20010 with flag 151002/1963779
68.47/67.99	c cleaning 10002 clauses out of 20009 with flag 161001/1973778
68.87/68.35	c cleaning 10001 clauses out of 20009 with flag 171003/1983780
69.18/68.69	c cleaning 9999 clauses out of 20005 with flag 181000/1993777
69.58/69.07	c cleaning 9995 clauses out of 20006 with flag 191000/2003777
69.88/69.39	c cleaning 9997 clauses out of 20012 with flag 201001/2013778
70.27/69.75	c cleaning 10003 clauses out of 20016 with flag 211002/2023779
70.58/70.08	c cleaning 10003 clauses out of 20011 with flag 221000/2033777
70.98/70.41	c cleaning 10001 clauses out of 20009 with flag 231001/2043778
71.28/70.74	c cleaning 10001 clauses out of 20007 with flag 241000/2053777
71.72/71.12	c cleaning 10000 clauses out of 20007 with flag 251002/2063779
72.38/71.54	c cleaning 9999 clauses out of 20007 with flag 261002/2073779
73.12/71.90	c cleaning 10000 clauses out of 20006 with flag 271000/2083777
73.42/72.27	c cleaning 10000 clauses out of 20009 with flag 281003/2093780
73.83/72.64	c cleaning 10001 clauses out of 20006 with flag 291000/2103777
74.23/73.01	c cleaning 9999 clauses out of 20005 with flag 301000/2113777
74.53/73.30	c starts		: 229
74.53/73.30	c conflicts		: 2121890
74.53/73.30	c decisions		: 3311819
74.53/73.30	c propagations		: 48765909
74.53/73.30	c inspects		: 466439859
74.53/73.30	c shortcuts		: 0
74.53/73.30	c learnt literals	: 10
74.53/73.30	c learnt binary clauses	: 33
74.53/73.30	c learnt ternary clauses	: 1166
74.53/73.30	c learnt constraints	: 2121879
74.53/73.30	c ignored constraints	: 0
74.53/73.30	c root simplifications	: 0
74.53/73.30	c removed literals (reason simplification)	: 16381713
74.53/73.30	c reason swapping (by a shorter reason)	: 0
74.53/73.30	c Calls to reduceDB	: 226
74.53/73.30	c number of reductions to clauses (during analyze)	: 0
74.53/73.30	c number of learned constraints concerned by reduction	: 0
74.53/73.30	c number of learning phase by resolution	: 0
74.53/73.30	c number of learning phase by cutting planes	: 0
74.53/73.30	c speed (assignments/second)	: 4475579.019823789
74.53/73.30	c non guided choices	805
74.53/73.30	c learnt constraints type 
74.53/73.30	c constraints type 
74.53/73.30	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27
74.53/73.30	c org.sat4j.minisat.constraints.card.MinWatchCard => 41
74.53/73.30	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3
74.53/73.30	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 30
74.53/73.30	s OPTIMUM FOUND
74.53/73.30	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 
74.53/73.30	c objective function=39
74.53/73.30	c Total wall clock time (in seconds): 73.199

Verifier Data 

OK	39

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3492550-1307909952/watcher-3492550-1307909952 -o /tmp/evaluation-result-3492550-1307909952/solver-3492550-1307909952 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492550-1307909952.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.16 2.07 1.98 2/193 23933
/proc/meminfo: memFree=12033696/32951132 swapFree=67054624/67111528
[pid=23933] ppid=23931 vsize=30580 CPUtime=0 cores=1,3,5,7
/proc/23933/stat : 23933 (java) S 23931 23933 19566 0 -1 4202496 1199 0 0 0 0 0 0 0 25 0 2 0 902594873 31313920 925 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676611045 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0
/proc/23933/statm: 7645 934 710 9 0 383 0
[pid=23933/tid=23934] ppid=23931 vsize=30580 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23934/stat : 23934 (java) R 23931 23933 19566 0 -1 4202560 101 0 0 0 0 0 0 0 25 0 2 0 902594874 31313920 940 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274659872762 0 0 4096 0 0 0 0 -1 1 0 0 0

[startup+0.0916279 s]
/proc/loadavg: 2.16 2.07 1.98 2/193 23933
/proc/meminfo: memFree=12033696/32951132 swapFree=67054624/67111528
[pid=23933] ppid=23931 vsize=10540100 CPUtime=0.1 cores=1,3,5,7
/proc/23933/stat : 23933 (java) S 23931 23933 19566 0 -1 4202496 12980 0 1 0 8 2 0 0 25 0 18 0 902594873 10793062400 12654 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23933/statm: 2635025 12654 2093 9 0 2625759 0
[pid=23933/tid=23934] ppid=23931 vsize=10540100 CPUtime=0.07 cores=1,3,5,7
/proc/23933/task/23934/stat : 23934 (java) R 23931 23933 19566 0 -1 4202560 11032 0 1 0 6 1 0 0 18 0 18 0 902594874 10793062400 12654 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 47705512554501 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540100

[startup+0.100584 s]
/proc/loadavg: 2.16 2.07 1.98 2/193 23933
/proc/meminfo: memFree=12033696/32951132 swapFree=67054624/67111528
[pid=23933] ppid=23931 vsize=10540100 CPUtime=0.1 cores=1,3,5,7
/proc/23933/stat : 23933 (java) S 23931 23933 19566 0 -1 4202496 13118 0 1 0 8 2 0 0 25 0 18 0 902594873 10793062400 12784 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23933/statm: 2635025 12784 2093 9 0 2625759 0
[pid=23933/tid=23934] ppid=23931 vsize=10540100 CPUtime=0.08 cores=1,3,5,7
/proc/23933/task/23934/stat : 23934 (java) R 23931 23933 19566 0 -1 4202560 11170 0 1 0 7 1 0 0 18 0 18 0 902594874 10793062400 12784 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 47705515619864 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540100

[startup+0.300564 s]
/proc/loadavg: 2.16 2.07 1.98 2/193 23933
/proc/meminfo: memFree=12033696/32951132 swapFree=67054624/67111528
[pid=23933] ppid=23931 vsize=10544208 CPUtime=0.53 cores=1,3,5,7
/proc/23933/stat : 23933 (java) S 23931 23933 19566 0 -1 4202496 16305 0 1 0 51 2 0 0 25 0 19 0 902594873 10797268992 14878 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23933/statm: 2636052 14878 2215 9 0 2626786 0
[pid=23933/tid=23934] ppid=23931 vsize=10544208 CPUtime=0.28 cores=1,3,5,7
/proc/23933/task/23934/stat : 23934 (java) R 23931 23933 19566 0 -1 4202560 11750 0 1 0 27 1 0 0 19 0 19 0 902594874 10797268992 14878 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 46912505595772 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 10544208

[startup+0.700492 s]
/proc/loadavg: 2.16 2.07 1.98 2/193 23933
/proc/meminfo: memFree=12033696/32951132 swapFree=67054624/67111528
[pid=23933] ppid=23931 vsize=10544352 CPUtime=1.02 cores=1,3,5,7
/proc/23933/stat : 23933 (java) S 23931 23933 19566 0 -1 4202496 17351 0 1 0 100 2 0 0 25 0 19 0 902594873 10797416448 15773 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23933/statm: 2636088 15773 2247 9 0 2626822 0
[pid=23933/tid=23934] ppid=23931 vsize=10544352 CPUtime=0.66 cores=1,3,5,7
/proc/23933/task/23934/stat : 23934 (java) R 23931 23933 19566 0 -1 4202560 12083 0 1 0 65 1 0 0 19 0 19 0 902594874 10797416448 15773 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 46912505357462 0 4 0 16800975 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1.02
Current children cumulated vsize (KiB) 10544352

[startup+1.50135 s]
/proc/loadavg: 2.15 2.07 1.98 3/212 23952
/proc/meminfo: memFree=11978224/32951132 swapFree=67054624/67111528
[pid=23933] ppid=23931 vsize=10544352 CPUtime=1.86 cores=1,3,5,7
/proc/23933/stat : 23933 (java) S 23931 23933 19566 0 -1 4202496 17925 0 1 0 183 3 0 0 25 0 19 0 902594873 10797416448 16131 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23933/statm: 2636088 16131 2248 9 0 2626822 0
[pid=23933/tid=23934] ppid=23931 vsize=10544352 CPUtime=1.4 cores=1,3,5,7
/proc/23933/task/23934/stat : 23934 (java) R 23931 23933 19566 0 -1 4202560 12086 0 1 0 139 1 0 0 20 0 19 0 902594874 10797416448 16131 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 46912505550116 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23933/tid=23936] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23936/stat : 23936 (java) S 23931 23933 19566 0 -1 4202560 150 0 0 0 0 0 0 0 15 0 19 0 902594875 10797416448 16131 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 1 0 0 0
[pid=23933/tid=23937] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23937/stat : 23937 (java) S 23931 23933 19566 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902594875 10797416448 16131 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 5 0 0 0
[pid=23933/tid=23938] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23938/stat : 23938 (java) S 23931 23933 19566 0 -1 4202560 32 0 0 0 0 0 0 0 15 0 19 0 902594875 10797416448 16131 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 1 0 0 0
[pid=23933/tid=23939] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23939/stat : 23939 (java) S 23931 23933 19566 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902594875 10797416448 16131 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 5 0 0 0
[pid=23933/tid=23940] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23940/stat : 23940 (java) S 23931 23933 19566 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902594875 10797416448 16131 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 5 0 0 0
[pid=23933/tid=23941] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23941/stat : 23941 (java) S 23931 23933 19566 0 -1 4202560 36 0 0 0 0 0 0 0 16 0 19 0 902594875 10797416448 16131 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 3 0 0 0
[pid=23933/tid=23942] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23942/stat : 23942 (java) S 23931 23933 19566 0 -1 4202560 118 0 0 0 0 0 0 0 15 0 19 0 902594875 10797416448 16131 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 1 0 0 0
[pid=23933/tid=23943] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23943/stat : 23943 (java) S 23931 23933 19566 0 -1 4202560 112 0 0 0 0 0 0 0 15 0 19 0 902594875 10797416448 16131 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 1 0 0 0
[pid=23933/tid=23944] ppid=23931 vsize=10544352 CPUtime=0.06 cores=1,3,5,7
/proc/23933/task/23944/stat : 23944 (java) S 23931 23933 19566 0 -1 4202560 395 0 0 0 6 0 0 0 15 0 19 0 902594877 10797416448 16131 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624896 0 0 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23945] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23945/stat : 23945 (java) S 23931 23933 19566 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902594877 10797416448 16131 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23946] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23946/stat : 23946 (java) S 23931 23933 19566 0 -1 4202560 11 0 0 0 0 0 0 0 21 0 19 0 902594877 10797416448 16131 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 3 0 0 0
[pid=23933/tid=23947] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23947/stat : 23947 (java) S 23931 23933 19566 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902594879 10797416448 16131 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676631985 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23948] ppid=23931 vsize=10544352 CPUtime=0.17 cores=1,3,5,7
/proc/23933/task/23948/stat : 23948 (java) S 23931 23933 19566 0 -1 4202560 1943 0 0 0 17 0 0 0 15 0 19 0 902594879 10797416448 16131 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 5 0 0 0
[pid=23933/tid=23949] ppid=23931 vsize=10544352 CPUtime=0.17 cores=1,3,5,7
/proc/23933/task/23949/stat : 23949 (java) S 23931 23933 19566 0 -1 4202560 1898 0 0 0 17 0 0 0 15 0 19 0 902594879 10797416448 16131 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 3 0 0 0
[pid=23933/tid=23950] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23950/stat : 23950 (java) S 23931 23933 19566 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902594879 10797416448 16131 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23951] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23951/stat : 23951 (java) S 23931 23933 19566 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902594879 10797416448 16131 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624896 0 4 0 16800975 18446604471099699328 0 0 -1 1 0 0 0
[pid=23933/tid=23952] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23952/stat : 23952 (java) S 23931 23933 19566 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902594890 10797416448 16131 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624896 0 4 0 16800975 18446604471099699328 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 10544352

[startup+3.10108 s]
/proc/loadavg: 2.15 2.07 1.98 3/212 23952
/proc/meminfo: memFree=11977228/32951132 swapFree=67054624/67111528
[pid=23933] ppid=23931 vsize=10544352 CPUtime=3.47 cores=1,3,5,7
/proc/23933/stat : 23933 (java) S 23931 23933 19566 0 -1 4202496 18142 0 1 0 344 3 0 0 25 0 19 0 902594873 10797416448 16341 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23933/statm: 2636088 16341 2248 9 0 2626822 0
[pid=23933/tid=23934] ppid=23931 vsize=10544352 CPUtime=2.9 cores=1,3,5,7
/proc/23933/task/23934/stat : 23934 (java) R 23931 23933 19566 0 -1 4202560 12094 0 1 0 289 1 0 0 23 0 19 0 902594874 10797416448 16341 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 46912505329457 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23933/tid=23936] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23936/stat : 23936 (java) S 23931 23933 19566 0 -1 4202560 179 0 0 0 0 0 0 0 15 0 19 0 902594875 10797416448 16341 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 1 0 0 0
[pid=23933/tid=23937] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23937/stat : 23937 (java) S 23931 23933 19566 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 902594875 10797416448 16341 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 1 0 0 0
[pid=23933/tid=23938] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23938/stat : 23938 (java) S 23931 23933 19566 0 -1 4202560 33 0 0 0 0 0 0 0 15 0 19 0 902594875 10797416448 16341 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 1 0 0 0
[pid=23933/tid=23939] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23939/stat : 23939 (java) S 23931 23933 19566 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902594875 10797416448 16341 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 5 0 0 0
[pid=23933/tid=23940] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23940/stat : 23940 (java) S 23931 23933 19566 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 902594875 10797416448 16341 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 5 0 0 0
[pid=23933/tid=23941] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23941/stat : 23941 (java) S 23931 23933 19566 0 -1 4202560 37 0 0 0 0 0 0 0 16 0 19 0 902594875 10797416448 16341 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 1 0 0 0
[pid=23933/tid=23942] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23942/stat : 23942 (java) S 23931 23933 19566 0 -1 4202560 118 0 0 0 0 0 0 0 15 0 19 0 902594875 10797416448 16341 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 1 0 0 0
[pid=23933/tid=23943] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23943/stat : 23943 (java) S 23931 23933 19566 0 -1 4202560 167 0 0 0 0 0 0 0 15 0 19 0 902594875 10797416448 16341 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 5 0 0 0
[pid=23933/tid=23944] ppid=23931 vsize=10544352 CPUtime=0.15 cores=1,3,5,7
/proc/23933/task/23944/stat : 23944 (java) S 23931 23933 19566 0 -1 4202560 512 0 0 0 15 0 0 0 15 0 19 0 902594877 10797416448 16341 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624896 0 0 0 16800975 18446604471099699328 0 0 -1 3 0 0 0
[pid=23933/tid=23945] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23945/stat : 23945 (java) S 23931 23933 19566 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902594877 10797416448 16341 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23946] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23946/stat : 23946 (java) S 23931 23933 19566 0 -1 4202560 11 0 0 0 0 0 0 0 21 0 19 0 902594877 10797416448 16341 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 3 0 0 0
[pid=23933/tid=23947] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23947/stat : 23947 (java) S 23931 23933 19566 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902594879 10797416448 16341 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676631985 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23948] ppid=23931 vsize=10544352 CPUtime=0.17 cores=1,3,5,7
/proc/23933/task/23948/stat : 23948 (java) S 23931 23933 19566 0 -1 4202560 1943 0 0 0 17 0 0 0 15 0 19 0 902594879 10797416448 16341 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 5 0 0 0
[pid=23933/tid=23949] ppid=23931 vsize=10544352 CPUtime=0.17 cores=1,3,5,7
/proc/23933/task/23949/stat : 23949 (java) S 23931 23933 19566 0 -1 4202560 1898 0 0 0 17 0 0 0 15 0 19 0 902594879 10797416448 16341 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 3 0 0 0
[pid=23933/tid=23950] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23950/stat : 23950 (java) S 23931 23933 19566 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902594879 10797416448 16341 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23951] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23951/stat : 23951 (java) S 23931 23933 19566 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902594879 10797416448 16341 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624896 0 4 0 16800975 18446604471099699328 0 0 -1 1 0 0 0
[pid=23933/tid=23952] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23952/stat : 23952 (java) S 23931 23933 19566 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902594890 10797416448 16341 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624896 0 4 0 16800975 18446604471099699328 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 3.47
Current children cumulated vsize (KiB) 10544352

[startup+6.30152 s]
/proc/loadavg: 2.15 2.07 1.98 3/212 23952
/proc/meminfo: memFree=11975988/32951132 swapFree=67054624/67111528
[pid=23933] ppid=23931 vsize=10544352 CPUtime=6.68 cores=1,3,5,7
/proc/23933/stat : 23933 (java) S 23931 23933 19566 0 -1 4202496 18325 0 1 0 664 4 0 0 25 0 19 0 902594873 10797416448 16513 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23933/statm: 2636088 16513 2248 9 0 2626822 0
[pid=23933/tid=23934] ppid=23931 vsize=10544352 CPUtime=5.96 cores=1,3,5,7
/proc/23933/task/23934/stat : 23934 (java) R 23931 23933 19566 0 -1 4202560 12105 0 1 0 595 1 0 0 20 0 19 0 902594874 10797416448 16513 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 46912505550263 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23933/tid=23936] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23936/stat : 23936 (java) S 23931 23933 19566 0 -1 4202560 180 0 0 0 0 0 0 0 16 0 19 0 902594875 10797416448 16513 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 1 0 0 0
[pid=23933/tid=23937] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23937/stat : 23937 (java) S 23931 23933 19566 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902594875 10797416448 16513 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 5 0 0 0
[pid=23933/tid=23938] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23938/stat : 23938 (java) S 23931 23933 19566 0 -1 4202560 37 0 0 0 0 0 0 0 15 0 19 0 902594875 10797416448 16513 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 5 0 0 0
[pid=23933/tid=23939] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23939/stat : 23939 (java) S 23931 23933 19566 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 902594875 10797416448 16513 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 1 0 0 0
[pid=23933/tid=23940] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23940/stat : 23940 (java) S 23931 23933 19566 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902594875 10797416448 16513 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23941] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23941/stat : 23941 (java) S 23931 23933 19566 0 -1 4202560 39 0 0 0 0 0 0 0 15 0 19 0 902594875 10797416448 16513 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 1 0 0 0
[pid=23933/tid=23942] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23942/stat : 23942 (java) S 23931 23933 19566 0 -1 4202560 118 0 0 0 0 0 0 0 15 0 19 0 902594875 10797416448 16513 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23943] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23943/stat : 23943 (java) S 23931 23933 19566 0 -1 4202560 167 0 0 0 0 0 0 0 16 0 19 0 902594875 10797416448 16513 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 1 0 0 0
[pid=23933/tid=23944] ppid=23931 vsize=10544352 CPUtime=0.27 cores=1,3,5,7
/proc/23933/task/23944/stat : 23944 (java) S 23931 23933 19566 0 -1 4202560 674 0 0 0 27 0 0 0 15 0 19 0 902594877 10797416448 16513 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624896 0 0 0 16800975 18446604471099699328 0 0 -1 3 0 0 0
[pid=23933/tid=23945] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23945/stat : 23945 (java) S 23931 23933 19566 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902594877 10797416448 16513 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23946] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23946/stat : 23946 (java) S 23931 23933 19566 0 -1 4202560 11 0 0 0 0 0 0 0 21 0 19 0 902594877 10797416448 16513 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 3 0 0 0
[pid=23933/tid=23947] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23947/stat : 23947 (java) S 23931 23933 19566 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902594879 10797416448 16513 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676631985 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23948] ppid=23931 vsize=10544352 CPUtime=0.18 cores=1,3,5,7
/proc/23933/task/23948/stat : 23948 (java) S 23931 23933 19566 0 -1 4202560 1943 0 0 0 18 0 0 0 15 0 19 0 902594879 10797416448 16513 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 5 0 0 0
[pid=23933/tid=23949] ppid=23931 vsize=10544352 CPUtime=0.17 cores=1,3,5,7
/proc/23933/task/23949/stat : 23949 (java) S 23931 23933 19566 0 -1 4202560 1898 0 0 0 17 0 0 0 15 0 19 0 902594879 10797416448 16513 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 3 0 0 0

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

/proc/23933/task/23936/stat : 23936 (java) S 23931 23933 19566 0 -1 4202560 191 0 0 0 6 0 0 0 15 0 19 0 902594875 10797416448 21519 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 1 0 0 0
[pid=23933/tid=23937] ppid=23931 vsize=10544352 CPUtime=0.06 cores=1,3,5,7
/proc/23933/task/23937/stat : 23937 (java) S 23931 23933 19566 0 -1 4202560 22 0 0 0 6 0 0 0 15 0 19 0 902594875 10797416448 21519 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23938] ppid=23931 vsize=10544352 CPUtime=0.05 cores=1,3,5,7
/proc/23933/task/23938/stat : 23938 (java) S 23931 23933 19566 0 -1 4202560 42 0 0 0 5 0 0 0 16 0 19 0 902594875 10797416448 21519 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 1 0 0 0
[pid=23933/tid=23939] ppid=23931 vsize=10544352 CPUtime=0.06 cores=1,3,5,7
/proc/23933/task/23939/stat : 23939 (java) S 23931 23933 19566 0 -1 4202560 16 0 0 0 6 0 0 0 16 0 19 0 902594875 10797416448 21519 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23940] ppid=23931 vsize=10544352 CPUtime=0.04 cores=1,3,5,7
/proc/23933/task/23940/stat : 23940 (java) S 23931 23933 19566 0 -1 4202560 13 0 0 0 4 0 0 0 15 0 19 0 902594875 10797416448 21519 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 1 0 0 0
[pid=23933/tid=23941] ppid=23931 vsize=10544352 CPUtime=0.05 cores=1,3,5,7
/proc/23933/task/23941/stat : 23941 (java) S 23931 23933 19566 0 -1 4202560 42 0 0 0 5 0 0 0 15 0 19 0 902594875 10797416448 21519 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 1 0 0 0
[pid=23933/tid=23942] ppid=23931 vsize=10544352 CPUtime=0.05 cores=1,3,5,7
/proc/23933/task/23942/stat : 23942 (java) S 23931 23933 19566 0 -1 4202560 142 0 0 0 5 0 0 0 15 0 19 0 902594875 10797416448 21519 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23943] ppid=23931 vsize=10544352 CPUtime=0.06 cores=1,3,5,7
/proc/23933/task/23943/stat : 23943 (java) S 23931 23933 19566 0 -1 4202560 170 0 0 0 6 0 0 0 16 0 19 0 902594875 10797416448 21519 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 1 0 0 0
[pid=23933/tid=23944] ppid=23931 vsize=10544352 CPUtime=2.98 cores=1,3,5,7
/proc/23933/task/23944/stat : 23944 (java) S 23931 23933 19566 0 -1 4202560 1093 0 0 0 295 3 0 0 15 0 19 0 902594877 10797416448 21519 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624896 0 0 0 16800975 18446604471099699328 0 0 -1 3 0 0 0
[pid=23933/tid=23945] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23945/stat : 23945 (java) S 23931 23933 19566 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902594877 10797416448 21519 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23946] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23946/stat : 23946 (java) S 23931 23933 19566 0 -1 4202560 11 0 0 0 0 0 0 0 21 0 19 0 902594877 10797416448 21519 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 3 0 0 0
[pid=23933/tid=23947] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23947/stat : 23947 (java) S 23931 23933 19566 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902594879 10797416448 21519 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676631985 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23948] ppid=23931 vsize=10544352 CPUtime=0.8 cores=1,3,5,7
/proc/23933/task/23948/stat : 23948 (java) S 23931 23933 19566 0 -1 4202560 13015 0 0 0 78 2 0 0 16 0 19 0 902594879 10797416448 21519 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 5 0 0 0
[pid=23933/tid=23949] ppid=23931 vsize=10544352 CPUtime=0.22 cores=1,3,5,7
/proc/23933/task/23949/stat : 23949 (java) S 23931 23933 19566 0 -1 4202560 1900 0 0 0 22 0 0 0 16 0 19 0 902594879 10797416448 21519 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 3 0 0 0
[pid=23933/tid=23950] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23950/stat : 23950 (java) S 23931 23933 19566 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902594879 10797416448 21519 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23951] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23951/stat : 23951 (java) S 23931 23933 19566 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 902594879 10797416448 21519 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624896 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23952] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23952/stat : 23952 (java) S 23931 23933 19566 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902594890 10797416448 21519 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624896 0 4 0 16800975 18446604471099699328 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 73.12
Current children cumulated vsize (KiB) 10544352

[startup+72.701 s]
/proc/loadavg: 2.04 2.05 1.98 3/212 24011
/proc/meminfo: memFree=11939548/32951132 swapFree=67054624/67111528
[pid=23933] ppid=23931 vsize=10544352 CPUtime=73.92 cores=1,3,5,7
/proc/23933/stat : 23933 (java) S 23931 23933 19566 0 -1 4202496 30110 0 1 0 7381 11 0 0 25 0 19 0 902594873 10797416448 21520 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23933/statm: 2636088 21520 2251 9 0 2626822 0
[pid=23933/tid=23934] ppid=23931 vsize=10544352 CPUtime=69.35 cores=1,3,5,7
/proc/23933/task/23934/stat : 23934 (java) R 23931 23933 19566 0 -1 4202560 12307 0 1 0 6933 2 0 0 25 0 19 0 902594874 10797416448 21520 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 46912505535116 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23933/tid=23936] ppid=23931 vsize=10544352 CPUtime=0.06 cores=1,3,5,7
/proc/23933/task/23936/stat : 23936 (java) S 23931 23933 19566 0 -1 4202560 192 0 0 0 6 0 0 0 15 0 19 0 902594875 10797416448 21520 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 5 0 0 0
[pid=23933/tid=23937] ppid=23931 vsize=10544352 CPUtime=0.06 cores=1,3,5,7
/proc/23933/task/23937/stat : 23937 (java) S 23931 23933 19566 0 -1 4202560 22 0 0 0 6 0 0 0 15 0 19 0 902594875 10797416448 21520 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 1 0 0 0
[pid=23933/tid=23938] ppid=23931 vsize=10544352 CPUtime=0.05 cores=1,3,5,7
/proc/23933/task/23938/stat : 23938 (java) S 23931 23933 19566 0 -1 4202560 42 0 0 0 5 0 0 0 16 0 19 0 902594875 10797416448 21520 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 1 0 0 0
[pid=23933/tid=23939] ppid=23931 vsize=10544352 CPUtime=0.06 cores=1,3,5,7
/proc/23933/task/23939/stat : 23939 (java) S 23931 23933 19566 0 -1 4202560 16 0 0 0 6 0 0 0 15 0 19 0 902594875 10797416448 21520 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 5 0 0 0
[pid=23933/tid=23940] ppid=23931 vsize=10544352 CPUtime=0.04 cores=1,3,5,7
/proc/23933/task/23940/stat : 23940 (java) S 23931 23933 19566 0 -1 4202560 13 0 0 0 4 0 0 0 15 0 19 0 902594875 10797416448 21520 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23941] ppid=23931 vsize=10544352 CPUtime=0.05 cores=1,3,5,7
/proc/23933/task/23941/stat : 23941 (java) S 23931 23933 19566 0 -1 4202560 42 0 0 0 5 0 0 0 15 0 19 0 902594875 10797416448 21520 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 1 0 0 0
[pid=23933/tid=23942] ppid=23931 vsize=10544352 CPUtime=0.05 cores=1,3,5,7
/proc/23933/task/23942/stat : 23942 (java) S 23931 23933 19566 0 -1 4202560 142 0 0 0 5 0 0 0 15 0 19 0 902594875 10797416448 21520 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23943] ppid=23931 vsize=10544352 CPUtime=0.06 cores=1,3,5,7
/proc/23933/task/23943/stat : 23943 (java) S 23931 23933 19566 0 -1 4202560 170 0 0 0 6 0 0 0 15 0 19 0 902594875 10797416448 21520 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 1 0 0 0
[pid=23933/tid=23944] ppid=23931 vsize=10544352 CPUtime=3.02 cores=1,3,5,7
/proc/23933/task/23944/stat : 23944 (java) S 23931 23933 19566 0 -1 4202560 1093 0 0 0 299 3 0 0 15 0 19 0 902594877 10797416448 21520 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624896 0 0 0 16800975 18446604471099699328 0 0 -1 3 0 0 0
[pid=23933/tid=23945] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23945/stat : 23945 (java) S 23931 23933 19566 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902594877 10797416448 21520 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23946] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23946/stat : 23946 (java) S 23931 23933 19566 0 -1 4202560 11 0 0 0 0 0 0 0 21 0 19 0 902594877 10797416448 21520 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 3 0 0 0
[pid=23933/tid=23947] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23947/stat : 23947 (java) S 23931 23933 19566 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902594879 10797416448 21520 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676631985 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23948] ppid=23931 vsize=10544352 CPUtime=0.8 cores=1,3,5,7
/proc/23933/task/23948/stat : 23948 (java) S 23931 23933 19566 0 -1 4202560 13015 0 0 0 78 2 0 0 16 0 19 0 902594879 10797416448 21520 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 5 0 0 0
[pid=23933/tid=23949] ppid=23931 vsize=10544352 CPUtime=0.22 cores=1,3,5,7
/proc/23933/task/23949/stat : 23949 (java) S 23931 23933 19566 0 -1 4202560 1900 0 0 0 22 0 0 0 16 0 19 0 902594879 10797416448 21520 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 3 0 0 0
[pid=23933/tid=23950] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23950/stat : 23950 (java) S 23931 23933 19566 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902594879 10797416448 21520 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23951] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23951/stat : 23951 (java) S 23931 23933 19566 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 902594879 10797416448 21520 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624896 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23952] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23952/stat : 23952 (java) S 23931 23933 19566 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902594890 10797416448 21520 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624896 0 4 0 16800975 18446604471099699328 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 73.92
Current children cumulated vsize (KiB) 10544352

[startup+73.101 s]
/proc/loadavg: 2.04 2.05 1.98 3/212 24011
/proc/meminfo: memFree=11939548/32951132 swapFree=67054624/67111528
[pid=23933] ppid=23931 vsize=10544352 CPUtime=74.33 cores=1,3,5,7
/proc/23933/stat : 23933 (java) S 23931 23933 19566 0 -1 4202496 30111 0 1 0 7422 11 0 0 25 0 19 0 902594873 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23933/statm: 2636088 20828 2251 9 0 2626822 0
[pid=23933/tid=23934] ppid=23931 vsize=10544352 CPUtime=69.74 cores=1,3,5,7
/proc/23933/task/23934/stat : 23934 (java) R 23931 23933 19566 0 -1 4202560 12308 0 1 0 6972 2 0 0 25 0 19 0 902594874 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 46912505570612 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23933/tid=23936] ppid=23931 vsize=10544352 CPUtime=0.06 cores=1,3,5,7
/proc/23933/task/23936/stat : 23936 (java) S 23931 23933 19566 0 -1 4202560 192 0 0 0 6 0 0 0 15 0 19 0 902594875 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 5 0 0 0
[pid=23933/tid=23937] ppid=23931 vsize=10544352 CPUtime=0.06 cores=1,3,5,7
/proc/23933/task/23937/stat : 23937 (java) S 23931 23933 19566 0 -1 4202560 22 0 0 0 6 0 0 0 15 0 19 0 902594875 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 1 0 0 0
[pid=23933/tid=23938] ppid=23931 vsize=10544352 CPUtime=0.05 cores=1,3,5,7
/proc/23933/task/23938/stat : 23938 (java) S 23931 23933 19566 0 -1 4202560 42 0 0 0 5 0 0 0 15 0 19 0 902594875 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 1 0 0 0
[pid=23933/tid=23939] ppid=23931 vsize=10544352 CPUtime=0.06 cores=1,3,5,7
/proc/23933/task/23939/stat : 23939 (java) S 23931 23933 19566 0 -1 4202560 16 0 0 0 6 0 0 0 15 0 19 0 902594875 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 5 0 0 0
[pid=23933/tid=23940] ppid=23931 vsize=10544352 CPUtime=0.04 cores=1,3,5,7
/proc/23933/task/23940/stat : 23940 (java) S 23931 23933 19566 0 -1 4202560 13 0 0 0 4 0 0 0 15 0 19 0 902594875 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23941] ppid=23931 vsize=10544352 CPUtime=0.05 cores=1,3,5,7
/proc/23933/task/23941/stat : 23941 (java) S 23931 23933 19566 0 -1 4202560 42 0 0 0 5 0 0 0 15 0 19 0 902594875 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 1 0 0 0
[pid=23933/tid=23942] ppid=23931 vsize=10544352 CPUtime=0.05 cores=1,3,5,7
/proc/23933/task/23942/stat : 23942 (java) S 23931 23933 19566 0 -1 4202560 142 0 0 0 5 0 0 0 15 0 19 0 902594875 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23943] ppid=23931 vsize=10544352 CPUtime=0.06 cores=1,3,5,7
/proc/23933/task/23943/stat : 23943 (java) S 23931 23933 19566 0 -1 4202560 170 0 0 0 6 0 0 0 15 0 19 0 902594875 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 1 0 0 0
[pid=23933/tid=23944] ppid=23931 vsize=10544352 CPUtime=3.03 cores=1,3,5,7
/proc/23933/task/23944/stat : 23944 (java) S 23931 23933 19566 0 -1 4202560 1093 0 0 0 300 3 0 0 15 0 19 0 902594877 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624896 0 0 0 16800975 18446604471099699328 0 0 -1 3 0 0 0
[pid=23933/tid=23945] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23945/stat : 23945 (java) S 23931 23933 19566 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902594877 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23946] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23946/stat : 23946 (java) S 23931 23933 19566 0 -1 4202560 11 0 0 0 0 0 0 0 21 0 19 0 902594877 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 3 0 0 0
[pid=23933/tid=23947] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23947/stat : 23947 (java) S 23931 23933 19566 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902594879 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676631985 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23948] ppid=23931 vsize=10544352 CPUtime=0.8 cores=1,3,5,7
/proc/23933/task/23948/stat : 23948 (java) S 23931 23933 19566 0 -1 4202560 13015 0 0 0 78 2 0 0 15 0 19 0 902594879 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 5 0 0 0
[pid=23933/tid=23949] ppid=23931 vsize=10544352 CPUtime=0.22 cores=1,3,5,7
/proc/23933/task/23949/stat : 23949 (java) S 23931 23933 19566 0 -1 4202560 1900 0 0 0 22 0 0 0 16 0 19 0 902594879 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 3 0 0 0
[pid=23933/tid=23950] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23950/stat : 23950 (java) S 23931 23933 19566 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902594879 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23951] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23951/stat : 23951 (java) S 23931 23933 19566 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 902594879 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624896 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23952] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23952/stat : 23952 (java) S 23931 23933 19566 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902594890 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624896 0 4 0 16800975 18446604471099699328 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 74.33
Current children cumulated vsize (KiB) 10544352

[startup+73.3009 s]
/proc/loadavg: 2.04 2.05 1.98 3/212 24011
/proc/meminfo: memFree=11939548/32951132 swapFree=67054624/67111528
[pid=23933] ppid=23931 vsize=10544352 CPUtime=74.53 cores=1,3,5,7
/proc/23933/stat : 23933 (java) S 23931 23933 19566 0 -1 4202496 30111 0 1 0 7442 11 0 0 25 0 19 0 902594873 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676611045 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0
/proc/23933/statm: 2636088 20828 2251 9 0 2626822 0
[pid=23933/tid=23934] ppid=23931 vsize=10544352 CPUtime=69.94 cores=1,3,5,7
/proc/23933/task/23934/stat : 23934 (java) R 23931 23933 19566 0 -1 4202560 12308 0 1 0 6992 2 0 0 25 0 19 0 902594874 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 46912505726196 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=23933/tid=23936] ppid=23931 vsize=10544352 CPUtime=0.06 cores=1,3,5,7
/proc/23933/task/23936/stat : 23936 (java) S 23931 23933 19566 0 -1 4202560 192 0 0 0 6 0 0 0 15 0 19 0 902594875 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 5 0 0 0
[pid=23933/tid=23937] ppid=23931 vsize=10544352 CPUtime=0.06 cores=1,3,5,7
/proc/23933/task/23937/stat : 23937 (java) S 23931 23933 19566 0 -1 4202560 22 0 0 0 6 0 0 0 15 0 19 0 902594875 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 1 0 0 0
[pid=23933/tid=23938] ppid=23931 vsize=10544352 CPUtime=0.05 cores=1,3,5,7
/proc/23933/task/23938/stat : 23938 (java) S 23931 23933 19566 0 -1 4202560 42 0 0 0 5 0 0 0 15 0 19 0 902594875 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 1 0 0 0
[pid=23933/tid=23939] ppid=23931 vsize=10544352 CPUtime=0.06 cores=1,3,5,7
/proc/23933/task/23939/stat : 23939 (java) S 23931 23933 19566 0 -1 4202560 16 0 0 0 6 0 0 0 15 0 19 0 902594875 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 5 0 0 0
[pid=23933/tid=23940] ppid=23931 vsize=10544352 CPUtime=0.04 cores=1,3,5,7
/proc/23933/task/23940/stat : 23940 (java) S 23931 23933 19566 0 -1 4202560 13 0 0 0 4 0 0 0 15 0 19 0 902594875 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23941] ppid=23931 vsize=10544352 CPUtime=0.05 cores=1,3,5,7
/proc/23933/task/23941/stat : 23941 (java) S 23931 23933 19566 0 -1 4202560 42 0 0 0 5 0 0 0 15 0 19 0 902594875 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 1 0 0 0
[pid=23933/tid=23942] ppid=23931 vsize=10544352 CPUtime=0.05 cores=1,3,5,7
/proc/23933/task/23942/stat : 23942 (java) S 23931 23933 19566 0 -1 4202560 142 0 0 0 5 0 0 0 15 0 19 0 902594875 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23943] ppid=23931 vsize=10544352 CPUtime=0.06 cores=1,3,5,7
/proc/23933/task/23943/stat : 23943 (java) S 23931 23933 19566 0 -1 4202560 170 0 0 0 6 0 0 0 15 0 19 0 902594875 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 1 0 0 0
[pid=23933/tid=23944] ppid=23931 vsize=10544352 CPUtime=3.03 cores=1,3,5,7
/proc/23933/task/23944/stat : 23944 (java) S 23931 23933 19566 0 -1 4202560 1093 0 0 0 300 3 0 0 15 0 19 0 902594877 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624896 0 0 0 16800975 18446604471099699328 0 0 -1 3 0 0 0
[pid=23933/tid=23945] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23945/stat : 23945 (java) S 23931 23933 19566 0 -1 4202560 17 0 0 0 0 0 0 0 21 0 19 0 902594877 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23946] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23946/stat : 23946 (java) S 23931 23933 19566 0 -1 4202560 11 0 0 0 0 0 0 0 21 0 19 0 902594877 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 3 0 0 0
[pid=23933/tid=23947] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23947/stat : 23947 (java) S 23931 23933 19566 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 902594879 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676631985 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23948] ppid=23931 vsize=10544352 CPUtime=0.8 cores=1,3,5,7
/proc/23933/task/23948/stat : 23948 (java) S 23931 23933 19566 0 -1 4202560 13015 0 0 0 78 2 0 0 15 0 19 0 902594879 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 5 0 0 0
[pid=23933/tid=23949] ppid=23931 vsize=10544352 CPUtime=0.22 cores=1,3,5,7
/proc/23933/task/23949/stat : 23949 (java) R 23931 23933 19566 0 -1 4202560 1900 0 0 0 22 0 0 0 16 0 19 0 902594879 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 47705516279359 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=23933/tid=23950] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23950/stat : 23950 (java) S 23931 23933 19566 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 902594879 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624281 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23951] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23951/stat : 23951 (java) S 23931 23933 19566 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 902594879 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624896 0 4 0 16800975 18446604471099699328 0 0 -1 7 0 0 0
[pid=23933/tid=23952] ppid=23931 vsize=10544352 CPUtime=0 cores=1,3,5,7
/proc/23933/task/23952/stat : 23952 (java) S 23931 23933 19566 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902594890 10797416448 20828 33554432000 1073741824 1073778376 140735117062864 18446744073709551615 274676624896 0 4 0 16800975 18446604471099699328 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 74.53
Current children cumulated vsize (KiB) 10544352

Child status: 30
Real time (s): 73.314
CPU time (s): 74.5577
CPU user time (s): 74.4347
CPU system time (s): 0.122981
CPU usage (%): 101.696
Max. virtual memory (cumulated for all children) (KiB): 10544476

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 74.4347
system time used= 0.122981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30137
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= 7395
involuntary context switches= 4709

runsolver used 0.12798 second user time and 0.285956 second system time

The end

Launcher Data 

Begin job on node131 at 2011-06-12 22:19:12
IDJOB=3492550
IDBENCH=78877
IDSOLVER=1982
FILE ID=node131/3492550-1307909952
RUNJOBID= node131-1307907581-21985
PBS_JOBID= 13559575
Free space on /tmp= 56584 MiB

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

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

MD5SUM BENCH= 129d08cca1ba918da7454b2cc3018155
RANDOM SEED=1707879493

node131.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.830
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.66
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.830
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.75
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.830
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.83
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.830
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.830
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.77
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.830
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.830
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.830
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.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:      12034356 kB
Buffers:        333372 kB
Cached:       19809104 kB
SwapCached:       9816 kB
Active:       15670308 kB
Inactive:      4562044 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:      12034356 kB
SwapTotal:    67111528 kB
SwapFree:     67054624 kB
Dirty:             440 kB
Writeback:           0 kB
AnonPages:       87644 kB
Mapped:          21484 kB
Slab:           622056 kB
PageTables:       4600 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 10556308 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 56584 MiB
End job on node131 at 2011-06-12 22:20:26