Trace number 3492341

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 57.5453 56.4679

General information on the benchmark

Name/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111227012--soft-33-100-0.wbo
MD5SUM2b34e07f02f20428b9849b788b9a7a67
Bench CategoryPARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark1.78873
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 constraints69
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 3204
Min constraint cost 1
Max constraint cost 97
Sum of constraints costs 3203
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1220
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.02/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.02/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.02/0.08	c See www.sat4j.org for details.
0.02/0.08	c version 2.3.1.v20110525
0.02/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.08	c java.vm.version	19.1-b02
0.02/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.08	c sun.arch.data.model	64
0.02/0.08	c java.version		1.6.0_24
0.02/0.08	c os.name		Linux
0.02/0.08	c os.version		2.6.18-164.el5
0.02/0.08	c os.arch		amd64
0.02/0.08	c Free memory 		9996466904
0.02/0.08	c Max memory 		10048897024
0.02/0.08	c Total memory 		10048897024
0.02/0.08	c Number of processors 	8
0.10/0.10	c Pseudo Boolean Optimization
0.10/0.10	c --- Begin Solver configuration ---
0.10/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@13d4c61c
0.10/0.10	c Learn all clauses as in MiniSAT
0.10/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.10	c Expensive reason simplification
0.10/0.10	c Armin Biere (Picosat) restarts strategy
0.10/0.10	c Glucose learned constraints deletion strategy
0.10/0.10	c timeout=2147483s
0.10/0.10	c DB Simplification allowed=false
0.10/0.10	c --- End Solver configuration ---
0.10/0.10	c solving HOME/instance-3492341-1307909582.wbo
0.10/0.10	c reading problem ... 
0.10/0.16	c ... done. Wall clock time 0.055s.
0.10/0.16	c #vars     238
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 => 20
0.10/0.16	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3
0.10/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 51
0.29/0.21	c SATISFIABLE
0.29/0.21	c OPTIMIZING...
0.29/0.21	c Got one! Elapsed wall clock time (in seconds):0.109
0.29/0.21	o 461
0.29/0.26	c Got one! Elapsed wall clock time (in seconds):0.155
0.29/0.26	o 423
0.29/0.29	c Got one! Elapsed wall clock time (in seconds):0.187
0.29/0.29	o 417
0.56/0.32	c Got one! Elapsed wall clock time (in seconds):0.22
0.56/0.32	o 331
0.69/0.42	c Got one! Elapsed wall clock time (in seconds):0.318
0.69/0.42	o 305
0.79/0.56	c cleaning 3581 clauses out of 7169 with flag 3000/7169
0.92/0.65	c Got one! Elapsed wall clock time (in seconds):0.544
0.92/0.65	o 286
1.04/0.75	c cleaning 4575 clauses out of 9169 with flag 3000/12750
1.14/0.86	c Got one! Elapsed wall clock time (in seconds):0.762
1.14/0.86	o 263
1.24/0.93	c cleaning 4946 clauses out of 9902 with flag 2003/18058
1.24/0.99	c Got one! Elapsed wall clock time (in seconds):0.887
1.24/0.99	o 259
1.45/1.12	c cleaning 5125 clauses out of 10255 with flag 4001/23357
1.45/1.15	c Got one! Elapsed wall clock time (in seconds):1.047
1.45/1.15	o 246
1.67/1.31	c cleaning 5337 clauses out of 10688 with flag 5003/28915
1.87/1.52	c cleaning 5671 clauses out of 11348 with flag 11000/34912
1.87/1.54	c Got one! Elapsed wall clock time (in seconds):1.44
1.87/1.54	o 241
2.07/1.70	c cleaning 5461 clauses out of 10932 with flag 5000/40167
2.07/1.76	c Got one! Elapsed wall clock time (in seconds):1.662
2.07/1.76	o 220
2.17/1.89	c Got one! Elapsed wall clock time (in seconds):1.787
2.17/1.89	o 185
2.27/1.93	c cleaning 6098 clauses out of 12202 with flag 1001/46898
2.48/2.13	c cleaning 6049 clauses out of 12106 with flag 7003/52900
2.67/2.39	c cleaning 6526 clauses out of 13055 with flag 14001/59898
2.97/2.66	c cleaning 7255 clauses out of 14528 with flag 22000/67897
3.27/2.96	c cleaning 8131 clauses out of 16274 with flag 31001/76898
3.58/3.29	c cleaning 9062 clauses out of 18143 with flag 41001/86898
3.97/3.64	c cleaning 9534 clauses out of 19082 with flag 51002/96899
4.07/3.77	c Got one! Elapsed wall clock time (in seconds):3.667
4.07/3.77	o 181
4.17/3.81	c cleaning 7305 clauses out of 14614 with flag 1001/101965
4.38/4.02	c cleaning 6651 clauses out of 13310 with flag 7002/107966
4.48/4.12	c Got one! Elapsed wall clock time (in seconds):4.014
4.48/4.12	o 142
4.58/4.23	c cleaning 6224 clauses out of 12456 with flag 3000/113763
4.79/4.45	c cleaning 6113 clauses out of 12234 with flag 9002/119765
4.98/4.69	c cleaning 6556 clauses out of 13120 with flag 16001/126764
5.28/4.96	c cleaning 7276 clauses out of 14563 with flag 24000/134763
5.69/5.30	c cleaning 8137 clauses out of 16289 with flag 33002/143765
6.09/5.70	c cleaning 9070 clauses out of 18151 with flag 43001/153764
6.49/6.16	c cleaning 9539 clauses out of 19081 with flag 53001/163764
6.91/6.59	c cleaning 9760 clauses out of 19541 with flag 63000/173763
7.41/7.00	c cleaning 9888 clauses out of 19782 with flag 73001/183764
7.70/7.39	c cleaning 9946 clauses out of 19893 with flag 83000/193763
8.01/7.67	c Got one! Elapsed wall clock time (in seconds):7.57
8.01/7.67	o 105
8.21/7.87	c cleaning 11014 clauses out of 22036 with flag 5000/205852
8.52/8.13	c cleaning 8504 clauses out of 17022 with flag 11000/211852
9.09/8.44	c cleaning 7749 clauses out of 15518 with flag 18000/218852
9.32/8.51	c Got one! Elapsed wall clock time (in seconds):8.406
9.32/8.51	o 95
9.42/8.64	c cleaning 6627 clauses out of 13260 with flag 4001/224343
9.63/8.85	c cleaning 6313 clauses out of 12633 with flag 10001/230343
9.95/9.11	c cleaning 6653 clauses out of 13320 with flag 17001/237343
10.27/9.44	c cleaning 7327 clauses out of 14666 with flag 25000/245342
10.68/9.81	c cleaning 8163 clauses out of 16339 with flag 34000/254342
10.87/10.03	c Got one! Elapsed wall clock time (in seconds):9.925
10.87/10.03	o 89
11.08/10.22	c cleaning 9205 clauses out of 18428 with flag 5002/264594
11.28/10.44	c cleaning 7608 clauses out of 15222 with flag 11001/270593
11.58/10.70	c cleaning 7305 clauses out of 14613 with flag 18000/277592
11.78/10.99	c cleaning 7649 clauses out of 15308 with flag 26000/285592
12.18/11.31	c cleaning 8322 clauses out of 16660 with flag 35001/294593
12.58/11.71	c cleaning 9166 clauses out of 18340 with flag 45003/304595
12.99/12.10	c cleaning 9584 clauses out of 19175 with flag 55004/314596
13.38/12.56	c cleaning 9783 clauses out of 19587 with flag 65000/324592
13.78/12.99	c cleaning 9893 clauses out of 19808 with flag 75004/334596
14.28/13.45	c cleaning 9947 clauses out of 19912 with flag 85001/344593
14.68/13.87	c cleaning 9979 clauses out of 19965 with flag 95001/354593
14.99/14.16	c Got one! Elapsed wall clock time (in seconds):14.061
14.99/14.16	o 84
15.19/14.38	c cleaning 11104 clauses out of 22215 with flag 5000/366822
15.49/14.61	c cleaning 8551 clauses out of 17112 with flag 11001/372823
15.69/14.88	c cleaning 7773 clauses out of 15560 with flag 18000/379822
15.99/15.18	c cleaning 7889 clauses out of 15787 with flag 26000/387822
16.39/15.50	c cleaning 8442 clauses out of 16898 with flag 35000/396822
16.79/15.91	c cleaning 9225 clauses out of 18457 with flag 45001/406823
17.21/16.32	c cleaning 9606 clauses out of 19232 with flag 55001/416823
17.61/16.77	c cleaning 9808 clauses out of 19625 with flag 65000/426822
18.01/17.16	c cleaning 9905 clauses out of 19818 with flag 75001/436823
18.42/17.55	c cleaning 9954 clauses out of 19912 with flag 85000/446822
18.81/17.96	c cleaning 9969 clauses out of 19960 with flag 95002/456824
19.21/18.38	c cleaning 9988 clauses out of 19990 with flag 105001/466823
19.62/18.79	c cleaning 9995 clauses out of 20001 with flag 115000/476822
19.72/18.87	c Got one! Elapsed wall clock time (in seconds):18.763
19.72/18.87	o 75
19.92/19.00	c cleaning 7913 clauses out of 15832 with flag 4000/482648
20.12/19.22	c cleaning 6957 clauses out of 13921 with flag 10002/488650
20.32/19.46	c cleaning 6974 clauses out of 13962 with flag 17000/495648
20.62/19.78	c cleaning 7490 clauses out of 14989 with flag 25001/503649
21.02/20.14	c cleaning 8244 clauses out of 16498 with flag 34000/512648
21.42/20.54	c cleaning 9120 clauses out of 18254 with flag 44000/522648
21.83/20.95	c cleaning 9560 clauses out of 19134 with flag 54000/532648
22.22/21.36	c cleaning 9779 clauses out of 19574 with flag 64000/542648
22.62/21.78	c cleaning 9895 clauses out of 19798 with flag 74003/552651
23.13/22.20	c cleaning 9949 clauses out of 19901 with flag 84001/562649
23.53/22.60	c cleaning 9971 clauses out of 19951 with flag 94000/572648
23.93/23.06	c cleaning 9979 clauses out of 19981 with flag 104001/582649
24.23/23.32	c Got one! Elapsed wall clock time (in seconds):23.219
24.23/23.32	o 54
24.43/23.51	c cleaning 10223 clauses out of 20456 with flag 5000/593103
24.63/23.73	c cleaning 8111 clauses out of 16233 with flag 11000/599103
24.83/23.99	c cleaning 7557 clauses out of 15122 with flag 18000/606103
25.14/24.29	c cleaning 7777 clauses out of 15565 with flag 26000/614103
25.54/24.60	c cleaning 8391 clauses out of 16789 with flag 35001/623104
25.84/24.97	c cleaning 9195 clauses out of 18399 with flag 45002/633105
26.24/25.34	c cleaning 9597 clauses out of 19204 with flag 55002/643105
26.64/25.73	c cleaning 9796 clauses out of 19606 with flag 65001/653104
26.94/26.08	c cleaning 9903 clauses out of 19809 with flag 75000/663103
27.35/26.46	c cleaning 9951 clauses out of 19907 with flag 85001/673104
27.74/26.82	c cleaning 9974 clauses out of 19955 with flag 95000/683103
28.05/27.15	c cleaning 9987 clauses out of 19981 with flag 105000/693103
28.45/27.51	c cleaning 9997 clauses out of 19997 with flag 115003/703106
28.75/27.86	c cleaning 9996 clauses out of 19997 with flag 125000/713103
29.15/28.21	c cleaning 9995 clauses out of 20001 with flag 135000/723103
29.35/28.47	c Got one! Elapsed wall clock time (in seconds):28.371
29.35/28.47	o 25
29.57/28.69	c cleaning 11491 clauses out of 22991 with flag 5000/736088
29.87/28.90	c cleaning 8747 clauses out of 17500 with flag 11000/742088
30.07/29.13	c cleaning 7871 clauses out of 15753 with flag 18000/749088
30.37/29.40	c cleaning 7937 clauses out of 15884 with flag 26002/757090
30.67/29.72	c cleaning 8469 clauses out of 16946 with flag 35001/766089
30.97/30.10	c cleaning 9232 clauses out of 18476 with flag 45000/776088
31.37/30.49	c cleaning 9616 clauses out of 19245 with flag 55001/786089
31.77/30.82	c cleaning 9810 clauses out of 19629 with flag 65001/796089
32.07/31.16	c cleaning 9905 clauses out of 19818 with flag 75000/806088
32.37/31.48	c cleaning 9951 clauses out of 19913 with flag 85000/816088
32.57/31.65	c Got one! Elapsed wall clock time (in seconds):31.548
32.57/31.65	o 24
32.78/31.84	c cleaning 10221 clauses out of 20453 with flag 5003/826579
32.97/32.05	c cleaning 8114 clauses out of 16234 with flag 11005/832581
33.17/32.29	c cleaning 7546 clauses out of 15115 with flag 18000/839576
33.48/32.57	c cleaning 7782 clauses out of 15569 with flag 26000/847576
33.78/32.88	c cleaning 8391 clauses out of 16790 with flag 35003/856579
34.18/33.23	c cleaning 9193 clauses out of 18396 with flag 45000/866576
34.48/33.59	c cleaning 9598 clauses out of 19204 with flag 55001/876577
34.88/33.95	c cleaning 9798 clauses out of 19606 with flag 65001/886577
35.18/34.27	c cleaning 9900 clauses out of 19807 with flag 75000/896576
35.49/34.58	c cleaning 9951 clauses out of 19909 with flag 85002/906578
35.89/34.91	c cleaning 9971 clauses out of 19956 with flag 95000/916576
36.20/35.22	c cleaning 9988 clauses out of 19985 with flag 105000/926576
36.49/35.55	c cleaning 9996 clauses out of 19998 with flag 115001/936577
36.79/35.89	c cleaning 9994 clauses out of 20002 with flag 125001/946577
37.20/36.21	c cleaning 9999 clauses out of 20007 with flag 135000/956576
37.40/36.48	c Got one! Elapsed wall clock time (in seconds):36.377
37.40/36.48	o 15
37.60/36.69	c cleaning 11833 clauses out of 23674 with flag 5000/970242
37.90/36.91	c cleaning 8918 clauses out of 17844 with flag 11003/976245
38.10/37.13	c cleaning 7959 clauses out of 15924 with flag 18001/983243
38.30/37.39	c cleaning 7977 clauses out of 15966 with flag 26002/991244
38.70/37.71	c cleaning 8490 clauses out of 16987 with flag 35000/1000242
39.00/38.04	c cleaning 9246 clauses out of 18500 with flag 45003/1010245
39.30/38.39	c cleaning 9622 clauses out of 19252 with flag 55001/1020243
39.70/38.72	c cleaning 9809 clauses out of 19630 with flag 65001/1030243
40.00/39.05	c cleaning 9907 clauses out of 19823 with flag 75003/1040245
40.31/39.38	c cleaning 9949 clauses out of 19913 with flag 85000/1050242
40.71/39.72	c cleaning 9975 clauses out of 19964 with flag 95000/1060242
41.01/40.05	c cleaning 9992 clauses out of 19991 with flag 105002/1070244
41.41/40.42	c cleaning 9995 clauses out of 20000 with flag 115003/1080245
41.71/40.76	c cleaning 9999 clauses out of 20003 with flag 125001/1090243
42.01/41.09	c cleaning 9998 clauses out of 20004 with flag 135001/1100243
42.41/41.43	c cleaning 9997 clauses out of 20006 with flag 145001/1110243
42.72/41.75	c cleaning 9995 clauses out of 20008 with flag 155000/1120242
43.01/42.08	c cleaning 10004 clauses out of 20013 with flag 165000/1130242
43.31/42.40	c cleaning 10001 clauses out of 20009 with flag 175000/1140242
43.72/42.71	c cleaning 9999 clauses out of 20008 with flag 185000/1150242
44.02/43.02	c cleaning 9996 clauses out of 20009 with flag 195000/1160242
44.22/43.21	c Got one! Elapsed wall clock time (in seconds):43.104
44.22/43.21	o 14
44.32/43.39	c cleaning 10617 clauses out of 21244 with flag 5001/1171473
44.52/43.59	c cleaning 8309 clauses out of 16627 with flag 11001/1177473
44.82/43.83	c cleaning 7655 clauses out of 15318 with flag 18001/1184473
45.12/44.10	c cleaning 7827 clauses out of 15662 with flag 26000/1192472
45.42/44.40	c cleaning 8413 clauses out of 16837 with flag 35002/1201474
45.72/44.75	c cleaning 9207 clauses out of 18422 with flag 45000/1211472
46.03/45.08	c cleaning 9604 clauses out of 19215 with flag 55000/1221472
46.42/45.43	c cleaning 9799 clauses out of 19613 with flag 65002/1231474
46.73/45.76	c cleaning 9901 clauses out of 19813 with flag 75001/1241473
47.03/46.09	c cleaning 9951 clauses out of 19912 with flag 85001/1251473
47.33/46.37	c Got one! Elapsed wall clock time (in seconds):46.271
47.33/46.37	o 12
47.63/46.61	c cleaning 11967 clauses out of 23945 with flag 5000/1265457
47.83/46.82	c cleaning 8984 clauses out of 17978 with flag 11000/1271457
48.03/47.06	c cleaning 7993 clauses out of 15995 with flag 18001/1278458
48.34/47.34	c cleaning 7996 clauses out of 16004 with flag 26003/1286460
48.63/47.64	c cleaning 8498 clauses out of 17005 with flag 35000/1295457
49.04/48.00	c cleaning 9249 clauses out of 18509 with flag 45002/1305459
49.34/48.34	c cleaning 9624 clauses out of 19258 with flag 55000/1315457
49.64/48.68	c cleaning 9808 clauses out of 19634 with flag 65000/1325457
50.04/49.06	c cleaning 9910 clauses out of 19828 with flag 75002/1335459
50.34/49.38	c cleaning 9952 clauses out of 19916 with flag 85000/1345457
50.74/49.72	c cleaning 9979 clauses out of 19964 with flag 95000/1355457
51.04/50.06	c cleaning 9988 clauses out of 19985 with flag 105000/1365457
51.44/50.40	c cleaning 9995 clauses out of 19999 with flag 115002/1375459
51.44/50.44	c Got one! Elapsed wall clock time (in seconds):50.339
51.44/50.44	o 10
51.65/50.61	c cleaning 7966 clauses out of 15937 with flag 5001/1381392
51.84/50.80	c cleaning 6977 clauses out of 13970 with flag 11000/1387391
52.04/51.03	c cleaning 6988 clauses out of 13994 with flag 18001/1394392
52.35/51.30	c cleaning 7498 clauses out of 15005 with flag 26000/1402391
52.65/51.60	c cleaning 8252 clauses out of 16509 with flag 35002/1411393
52.95/51.96	c cleaning 9126 clauses out of 18256 with flag 45001/1421392
53.35/52.33	c cleaning 9559 clauses out of 19129 with flag 55000/1431391
53.65/52.68	c cleaning 9781 clauses out of 19570 with flag 65000/1441391
54.05/53.04	c cleaning 9890 clauses out of 19790 with flag 75001/1451392
54.35/53.38	c cleaning 9941 clauses out of 19899 with flag 85000/1461391
54.76/53.75	c cleaning 9971 clauses out of 19958 with flag 95000/1471391
55.06/54.09	c cleaning 9989 clauses out of 19988 with flag 105001/1481392
55.46/54.45	c cleaning 9991 clauses out of 19998 with flag 115000/1491391
55.76/54.79	c cleaning 9998 clauses out of 20007 with flag 125000/1501391
56.16/55.14	c cleaning 10000 clauses out of 20009 with flag 135000/1511391
56.46/55.48	c cleaning 10002 clauses out of 20012 with flag 145003/1521394
56.56/55.59	c Got one! Elapsed wall clock time (in seconds):55.492
56.56/55.59	o 2
56.66/55.68	c cleaning 7803 clauses out of 15615 with flag 2000/1526999
56.86/55.86	c cleaning 6901 clauses out of 13812 with flag 8000/1532999
57.07/56.10	c cleaning 6951 clauses out of 13910 with flag 15000/1539999
57.36/56.37	c cleaning 7477 clauses out of 14958 with flag 23000/1547999
57.47/56.46	c starts		: 217
57.47/56.46	c conflicts		: 1550424
57.47/56.46	c decisions		: 2496641
57.47/56.46	c propagations		: 38005829
57.47/56.46	c inspects		: 334345792
57.47/56.46	c shortcuts		: 0
57.47/56.46	c learnt literals	: 7
57.47/56.46	c learnt binary clauses	: 68
57.47/56.46	c learnt ternary clauses	: 824
57.47/56.46	c learnt constraints	: 1550416
57.47/56.46	c ignored constraints	: 0
57.47/56.46	c root simplifications	: 0
57.47/56.46	c removed literals (reason simplification)	: 10990294
57.47/56.46	c reason swapping (by a shorter reason)	: 0
57.47/56.46	c Calls to reduceDB	: 174
57.47/56.46	c number of reductions to clauses (during analyze)	: 0
57.47/56.46	c number of learned constraints concerned by reduction	: 0
57.47/56.46	c number of learning phase by resolution	: 0
57.47/56.46	c number of learning phase by cutting planes	: 0
57.47/56.46	c speed (assignments/second)	: 4.403919930475087E7
57.47/56.46	c non guided choices	1305
57.47/56.46	c learnt constraints type 
57.47/56.46	c constraints type 
57.47/56.46	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 27
57.47/56.46	c org.sat4j.minisat.constraints.card.MinWatchCard => 20
57.47/56.46	c org.sat4j.minisat.constraints.cnf.OriginalBinaryClause => 3
57.47/56.46	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 51
57.47/56.46	s OPTIMUM FOUND
57.47/56.46	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 
57.47/56.46	c objective function=2
57.47/56.46	c Total wall clock time (in seconds): 56.357

Verifier Data 

OK	2

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-3492341-1307909582/watcher-3492341-1307909582 -o /var/tmp/evaluation-result-3492341-1307909582/solver-3492341-1307909582 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492341-1307909582.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.02 2.01 1.94 2/195 5096
/proc/meminfo: memFree=1334276/32950940 swapFree=67053420/67111528
[pid=5096] ppid=5094 vsize=30536 CPUtime=0 cores=1,3,5,7
/proc/5096/stat : 5096 (java) S 5094 5096 3459 0 -1 4202496 1245 0 0 0 0 0 0 0 25 0 2 0 981188983 31268864 962 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/5096/statm: 7634 963 736 9 0 385 0
[pid=5096/tid=5097] ppid=5094 vsize=31604 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5097/stat : 5097 (java) R 5094 5096 3459 0 -1 4202560 135 0 0 0 0 0 0 0 25 0 2 0 981188984 32362496 968 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 215983630080 0 0 0 16784584 0 0 0 -1 5 0 0 0

[startup+0.02887 s]
/proc/loadavg: 2.02 2.01 1.94 2/195 5096
/proc/meminfo: memFree=1334276/32950940 swapFree=67053420/67111528
[pid=5096] ppid=5094 vsize=10455012 CPUtime=0.02 cores=1,3,5,7
/proc/5096/stat : 5096 (java) S 5094 5096 3459 0 -1 4202496 10794 0 1 0 1 1 0 0 25 0 10 0 981188983 10705932288 10490 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000395237 0 0 0 16784584 18446744073709551615 0 0 17 5 0 0 0
/proc/5096/statm: 2613753 10491 1516 9 0 2604501 0
[pid=5096/tid=5097] ppid=5094 vsize=10455012 CPUtime=0.01 cores=1,3,5,7
/proc/5096/task/5097/stat : 5097 (java) R 5094 5096 3459 0 -1 4202560 9669 0 1 0 1 0 0 0 25 0 10 0 981188984 10705932288 10491 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 47305455326744 0 4 0 16784584 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10455012

[startup+0.100858 s]
/proc/loadavg: 2.02 2.01 1.94 2/195 5096
/proc/meminfo: memFree=1334276/32950940 swapFree=67053420/67111528
[pid=5096] ppid=5094 vsize=10540120 CPUtime=0.1 cores=1,3,5,7
/proc/5096/stat : 5096 (java) S 5094 5096 3459 0 -1 4202496 13107 0 1 0 8 2 0 0 25 0 18 0 981188983 10793082880 12777 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5096/statm: 2635030 12777 2092 9 0 2625764 0
[pid=5096/tid=5097] ppid=5094 vsize=10540120 CPUtime=0.09 cores=1,3,5,7
/proc/5096/task/5097/stat : 5097 (java) R 5094 5096 3459 0 -1 4202560 11159 0 1 0 7 2 0 0 25 0 18 0 981188984 10793082880 12777 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 46912505219208 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540120

[startup+0.300824 s]
/proc/loadavg: 2.02 2.01 1.94 2/195 5096
/proc/meminfo: memFree=1334276/32950940 swapFree=67053420/67111528
[pid=5096] ppid=5094 vsize=10542388 CPUtime=0.56 cores=1,3,5,7
/proc/5096/stat : 5096 (java) S 5094 5096 3459 0 -1 4202496 16040 0 1 0 54 2 0 0 25 0 19 0 981188983 10795405312 14720 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5096/statm: 2635597 14720 2215 9 0 2626331 0
[pid=5096/tid=5097] ppid=5094 vsize=10542388 CPUtime=0.28 cores=1,3,5,7
/proc/5096/task/5097/stat : 5097 (java) R 5094 5096 3459 0 -1 4202560 11766 0 1 0 26 2 0 0 25 0 19 0 981188984 10795405312 14720 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 46912505572494 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.56
Current children cumulated vsize (KiB) 10542388

[startup+0.700752 s]
/proc/loadavg: 2.02 2.01 1.94 2/195 5096
/proc/meminfo: memFree=1334276/32950940 swapFree=67053420/67111528
[pid=5096] ppid=5094 vsize=10542388 CPUtime=1.04 cores=1,3,5,7
/proc/5096/stat : 5096 (java) S 5094 5096 3459 0 -1 4202496 16923 0 1 0 102 2 0 0 25 0 19 0 981188983 10795405312 15598 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5096/statm: 2635597 15598 2247 9 0 2626331 0
[pid=5096/tid=5097] ppid=5094 vsize=10542388 CPUtime=0.67 cores=1,3,5,7
/proc/5096/task/5097/stat : 5097 (java) R 5094 5096 3459 0 -1 4202560 12109 0 1 0 65 2 0 0 25 0 19 0 981188984 10795405312 15598 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 46912505514962 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 1.04
Current children cumulated vsize (KiB) 10542388

[startup+1.50061 s]
/proc/loadavg: 2.02 2.01 1.94 3/214 5115
/proc/meminfo: memFree=1279652/32950940 swapFree=67053420/67111528
[pid=5096] ppid=5094 vsize=10542040 CPUtime=1.87 cores=1,3,5,7
/proc/5096/stat : 5096 (java) S 5094 5096 3459 0 -1 4202496 17369 0 1 0 185 2 0 0 25 0 19 0 981188983 10795048960 15891 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5096/statm: 2635510 15891 2248 9 0 2626244 0
[pid=5096/tid=5097] ppid=5094 vsize=10542040 CPUtime=1.42 cores=1,3,5,7
/proc/5096/task/5097/stat : 5097 (java) R 5094 5096 3459 0 -1 4202560 12113 0 1 0 140 2 0 0 25 0 19 0 981188984 10795048960 15891 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 46912505553854 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=5096/tid=5099] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5099/stat : 5099 (java) S 5094 5096 3459 0 -1 4202560 69 0 0 0 0 0 0 0 15 0 19 0 981188985 10795048960 15891 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5096/tid=5100] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5100/stat : 5100 (java) S 5094 5096 3459 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 981188985 10795048960 15891 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5096/tid=5101] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5101/stat : 5101 (java) S 5094 5096 3459 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981188985 10795048960 15891 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5096/tid=5102] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5102/stat : 5102 (java) S 5094 5096 3459 0 -1 4202560 80 0 0 0 0 0 0 0 15 0 19 0 981188985 10795048960 15891 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5096/tid=5103] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5103/stat : 5103 (java) S 5094 5096 3459 0 -1 4202560 73 0 0 0 0 0 0 0 15 0 19 0 981188985 10795048960 15891 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5096/tid=5104] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5104/stat : 5104 (java) S 5094 5096 3459 0 -1 4202560 105 0 0 0 0 0 0 0 15 0 19 0 981188985 10795048960 15891 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5096/tid=5105] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5105/stat : 5105 (java) S 5094 5096 3459 0 -1 4202560 126 0 0 0 0 0 0 0 15 0 19 0 981188985 10795048960 15891 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5096/tid=5106] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5106/stat : 5106 (java) S 5094 5096 3459 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 981188985 10795048960 15891 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5096/tid=5107] ppid=5094 vsize=10542040 CPUtime=0.05 cores=1,3,5,7
/proc/5096/task/5107/stat : 5107 (java) S 5094 5096 3459 0 -1 4202560 397 0 0 0 5 0 0 0 16 0 19 0 981188986 10795048960 15891 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000409088 0 0 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5096/tid=5108] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5108/stat : 5108 (java) S 5094 5096 3459 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 981188987 10795048960 15891 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5096/tid=5109] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5109/stat : 5109 (java) S 5094 5096 3459 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 981188987 10795048960 15891 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5096/tid=5110] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5110/stat : 5110 (java) S 5094 5096 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981188989 10795048960 15891 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000416177 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5096/tid=5111] ppid=5094 vsize=10542040 CPUtime=0.2 cores=1,3,5,7
/proc/5096/task/5111/stat : 5111 (java) S 5094 5096 3459 0 -1 4202560 1858 0 0 0 20 0 0 0 18 0 19 0 981188989 10795048960 15891 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5096/tid=5112] ppid=5094 vsize=10542040 CPUtime=0.17 cores=1,3,5,7
/proc/5096/task/5112/stat : 5112 (java) S 5094 5096 3459 0 -1 4202560 1386 0 0 0 17 0 0 0 18 0 19 0 981188989 10795048960 15891 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5096/tid=5113] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5113/stat : 5113 (java) S 5094 5096 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981188989 10795048960 15891 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5096/tid=5114] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5114/stat : 5114 (java) S 5094 5096 3459 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981188989 10795048960 15891 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000409088 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5096/tid=5115] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5115/stat : 5115 (java) S 5094 5096 3459 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981189000 10795048960 15891 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000409088 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 10542040

[startup+3.10133 s]
/proc/loadavg: 2.02 2.01 1.94 3/214 5115
/proc/meminfo: memFree=1278396/32950940 swapFree=67053420/67111528
[pid=5096] ppid=5094 vsize=10542040 CPUtime=3.48 cores=1,3,5,7
/proc/5096/stat : 5096 (java) S 5094 5096 3459 0 -1 4202496 17583 0 1 0 346 2 0 0 25 0 19 0 981188983 10795048960 16098 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5096/statm: 2635510 16098 2248 9 0 2626244 0
[pid=5096/tid=5097] ppid=5094 vsize=10542040 CPUtime=2.92 cores=1,3,5,7
/proc/5096/task/5097/stat : 5097 (java) R 5094 5096 3459 0 -1 4202560 12121 0 1 0 290 2 0 0 25 0 19 0 981188984 10795048960 16098 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 46912505537108 0 4 0 16800975 0 0 0 -1 7 0 0 0
[pid=5096/tid=5099] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5099/stat : 5099 (java) S 5094 5096 3459 0 -1 4202560 111 0 0 0 0 0 0 0 15 0 19 0 981188985 10795048960 16098 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5096/tid=5100] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5100/stat : 5100 (java) S 5094 5096 3459 0 -1 4202560 4 0 0 0 0 0 0 0 15 0 19 0 981188985 10795048960 16098 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5096/tid=5101] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5101/stat : 5101 (java) S 5094 5096 3459 0 -1 4202560 13 0 0 0 0 0 0 0 15 0 19 0 981188985 10795048960 16098 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5096/tid=5102] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5102/stat : 5102 (java) S 5094 5096 3459 0 -1 4202560 81 0 0 0 0 0 0 0 15 0 19 0 981188985 10795048960 16098 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5096/tid=5103] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5103/stat : 5103 (java) S 5094 5096 3459 0 -1 4202560 77 0 0 0 0 0 0 0 15 0 19 0 981188985 10795048960 16098 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5096/tid=5104] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5104/stat : 5104 (java) S 5094 5096 3459 0 -1 4202560 107 0 0 0 0 0 0 0 15 0 19 0 981188985 10795048960 16098 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5096/tid=5105] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5105/stat : 5105 (java) S 5094 5096 3459 0 -1 4202560 127 0 0 0 0 0 0 0 15 0 19 0 981188985 10795048960 16098 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5096/tid=5106] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5106/stat : 5106 (java) S 5094 5096 3459 0 -1 4202560 26 0 0 0 0 0 0 0 16 0 19 0 981188985 10795048960 16098 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5096/tid=5107] ppid=5094 vsize=10542040 CPUtime=0.13 cores=1,3,5,7
/proc/5096/task/5107/stat : 5107 (java) S 5094 5096 3459 0 -1 4202560 518 0 0 0 13 0 0 0 15 0 19 0 981188986 10795048960 16098 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000409088 0 0 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5096/tid=5108] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5108/stat : 5108 (java) S 5094 5096 3459 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 981188987 10795048960 16098 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5096/tid=5109] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5109/stat : 5109 (java) S 5094 5096 3459 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 981188987 10795048960 16098 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5096/tid=5110] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5110/stat : 5110 (java) S 5094 5096 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981188989 10795048960 16098 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000416177 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5096/tid=5111] ppid=5094 vsize=10542040 CPUtime=0.2 cores=1,3,5,7
/proc/5096/task/5111/stat : 5111 (java) S 5094 5096 3459 0 -1 4202560 1858 0 0 0 20 0 0 0 18 0 19 0 981188989 10795048960 16098 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5096/tid=5112] ppid=5094 vsize=10542040 CPUtime=0.17 cores=1,3,5,7
/proc/5096/task/5112/stat : 5112 (java) S 5094 5096 3459 0 -1 4202560 1386 0 0 0 17 0 0 0 15 0 19 0 981188989 10795048960 16098 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5096/tid=5113] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5113/stat : 5113 (java) S 5094 5096 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981188989 10795048960 16098 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5096/tid=5114] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5114/stat : 5114 (java) S 5094 5096 3459 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 981188989 10795048960 16098 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000409088 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5096/tid=5115] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5115/stat : 5115 (java) S 5094 5096 3459 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981189000 10795048960 16098 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000409088 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.48
Current children cumulated vsize (KiB) 10542040

[startup+6.30077 s]
/proc/loadavg: 2.02 2.01 1.94 3/214 5116
/proc/meminfo: memFree=1276912/32950940 swapFree=67053420/67111528
[pid=5096] ppid=5094 vsize=10542040 CPUtime=6.7 cores=1,3,5,7
/proc/5096/stat : 5096 (java) S 5094 5096 3459 0 -1 4202496 17740 0 1 0 667 3 0 0 25 0 19 0 981188983 10795048960 16227 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5096/statm: 2635510 16227 2248 9 0 2626244 0
[pid=5096/tid=5097] ppid=5094 vsize=10542040 CPUtime=5.97 cores=1,3,5,7
/proc/5096/task/5097/stat : 5097 (java) R 5094 5096 3459 0 -1 4202560 12133 0 1 0 595 2 0 0 25 0 19 0 981188984 10795048960 16227 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 46912505166938 0 4 0 16800975 0 0 0 -1 5 0 0 0
[pid=5096/tid=5099] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5099/stat : 5099 (java) S 5094 5096 3459 0 -1 4202560 111 0 0 0 0 0 0 0 16 0 19 0 981188985 10795048960 16227 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5096/tid=5100] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5100/stat : 5100 (java) S 5094 5096 3459 0 -1 4202560 6 0 0 0 0 0 0 0 15 0 19 0 981188985 10795048960 16227 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5096/tid=5101] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5101/stat : 5101 (java) S 5094 5096 3459 0 -1 4202560 16 0 0 0 0 0 0 0 16 0 19 0 981188985 10795048960 16227 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5096/tid=5102] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5102/stat : 5102 (java) S 5094 5096 3459 0 -1 4202560 81 0 0 0 0 0 0 0 16 0 19 0 981188985 10795048960 16227 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5096/tid=5103] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5103/stat : 5103 (java) S 5094 5096 3459 0 -1 4202560 81 0 0 0 0 0 0 0 15 0 19 0 981188985 10795048960 16227 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5096/tid=5104] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5104/stat : 5104 (java) S 5094 5096 3459 0 -1 4202560 108 0 0 0 0 0 0 0 15 0 19 0 981188985 10795048960 16227 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5096/tid=5105] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5105/stat : 5105 (java) S 5094 5096 3459 0 -1 4202560 128 0 0 0 0 0 0 0 16 0 19 0 981188985 10795048960 16227 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5096/tid=5106] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5106/stat : 5106 (java) S 5094 5096 3459 0 -1 4202560 27 0 0 0 0 0 0 0 15 0 19 0 981188985 10795048960 16227 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5096/tid=5107] ppid=5094 vsize=10542040 CPUtime=0.27 cores=1,3,5,7
/proc/5096/task/5107/stat : 5107 (java) S 5094 5096 3459 0 -1 4202560 651 0 0 0 27 0 0 0 16 0 19 0 981188986 10795048960 16227 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000409088 0 0 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5096/tid=5108] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5108/stat : 5108 (java) S 5094 5096 3459 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 981188987 10795048960 16227 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5096/tid=5109] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5109/stat : 5109 (java) S 5094 5096 3459 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 981188987 10795048960 16227 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5096/tid=5110] ppid=5094 vsize=10542040 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5110/stat : 5110 (java) S 5094 5096 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981188989 10795048960 16227 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000416177 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5096/tid=5111] ppid=5094 vsize=10542040 CPUtime=0.2 cores=1,3,5,7
/proc/5096/task/5111/stat : 5111 (java) S 5094 5096 3459 0 -1 4202560 1858 0 0 0 20 0 0 0 18 0 19 0 981188989 10795048960 16227 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5096/tid=5112] ppid=5094 vsize=10542040 CPUtime=0.17 cores=1,3,5,7
/proc/5096/task/5112/stat : 5112 (java) S 5094 5096 3459 0 -1 4202560 1386 0 0 0 17 0 0 0 15 0 19 0 981188989 10795048960 16227 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0

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

/proc/5096/task/5099/stat : 5099 (java) S 5094 5096 3459 0 -1 4202560 118 0 0 0 4 0 0 0 16 0 19 0 981188985 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5096/tid=5100] ppid=5094 vsize=10552152 CPUtime=0.04 cores=1,3,5,7
/proc/5096/task/5100/stat : 5100 (java) S 5094 5096 3459 0 -1 4202560 12 0 0 0 4 0 0 0 16 0 19 0 981188985 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5096/tid=5101] ppid=5094 vsize=10552152 CPUtime=0.03 cores=1,3,5,7
/proc/5096/task/5101/stat : 5101 (java) S 5094 5096 3459 0 -1 4202560 37 0 0 0 3 0 0 0 15 0 19 0 981188985 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5096/tid=5102] ppid=5094 vsize=10552152 CPUtime=0.04 cores=1,3,5,7
/proc/5096/task/5102/stat : 5102 (java) S 5094 5096 3459 0 -1 4202560 101 0 0 0 4 0 0 0 15 0 19 0 981188985 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5096/tid=5103] ppid=5094 vsize=10552152 CPUtime=0.03 cores=1,3,5,7
/proc/5096/task/5103/stat : 5103 (java) S 5094 5096 3459 0 -1 4202560 97 0 0 0 3 0 0 0 16 0 19 0 981188985 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5096/tid=5104] ppid=5094 vsize=10552152 CPUtime=0.04 cores=1,3,5,7
/proc/5096/task/5104/stat : 5104 (java) S 5094 5096 3459 0 -1 4202560 140 0 0 0 4 0 0 0 15 0 19 0 981188985 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5096/tid=5105] ppid=5094 vsize=10552152 CPUtime=0.04 cores=1,3,5,7
/proc/5096/task/5105/stat : 5105 (java) S 5094 5096 3459 0 -1 4202560 150 0 0 0 4 0 0 0 15 0 19 0 981188985 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5096/tid=5106] ppid=5094 vsize=10552152 CPUtime=0.04 cores=1,3,5,7
/proc/5096/task/5106/stat : 5106 (java) S 5094 5096 3459 0 -1 4202560 43 0 0 0 4 0 0 0 15 0 19 0 981188985 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5096/tid=5107] ppid=5094 vsize=10552152 CPUtime=2.22 cores=1,3,5,7
/proc/5096/task/5107/stat : 5107 (java) S 5094 5096 3459 0 -1 4202560 1053 0 0 0 222 0 0 0 15 0 19 0 981188986 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000409088 0 0 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5096/tid=5108] ppid=5094 vsize=10552152 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5108/stat : 5108 (java) S 5094 5096 3459 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 981188987 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5096/tid=5109] ppid=5094 vsize=10552152 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5109/stat : 5109 (java) S 5094 5096 3459 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 981188987 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5096/tid=5110] ppid=5094 vsize=10552152 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5110/stat : 5110 (java) S 5094 5096 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981188989 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000416177 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5096/tid=5111] ppid=5094 vsize=10552152 CPUtime=0.29 cores=1,3,5,7
/proc/5096/task/5111/stat : 5111 (java) S 5094 5096 3459 0 -1 4202560 2050 0 0 0 29 0 0 0 16 0 19 0 981188989 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5096/tid=5112] ppid=5094 vsize=10552152 CPUtime=0.59 cores=1,3,5,7
/proc/5096/task/5112/stat : 5112 (java) S 5094 5096 3459 0 -1 4202560 7876 0 0 0 59 0 0 0 15 0 19 0 981188989 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5096/tid=5113] ppid=5094 vsize=10552152 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5113/stat : 5113 (java) S 5094 5096 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981188989 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5096/tid=5114] ppid=5094 vsize=10552152 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5114/stat : 5114 (java) S 5094 5096 3459 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 981188989 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000409088 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5096/tid=5115] ppid=5094 vsize=10552152 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5115/stat : 5115 (java) S 5094 5096 3459 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981189000 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000409088 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 56.16
Current children cumulated vsize (KiB) 10552152

[startup+55.9011 s]
/proc/loadavg: 2.08 2.02 1.94 3/214 5117
/proc/meminfo: memFree=1244604/32950940 swapFree=67053420/67111528
[pid=5096] ppid=5094 vsize=10552152 CPUtime=56.96 cores=1,3,5,7
/proc/5096/stat : 5096 (java) S 5094 5096 3459 0 -1 4202496 25122 0 1 0 5691 5 0 0 25 0 19 0 981188983 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5096/statm: 2638038 19288 2252 9 0 2628772 0
[pid=5096/tid=5097] ppid=5094 vsize=10552152 CPUtime=53.41 cores=1,3,5,7
/proc/5096/task/5097/stat : 5097 (java) R 5094 5096 3459 0 -1 4202560 12287 0 1 0 5339 2 0 0 25 0 19 0 981188984 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 46912505544449 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5096/tid=5099] ppid=5094 vsize=10552152 CPUtime=0.04 cores=1,3,5,7
/proc/5096/task/5099/stat : 5099 (java) S 5094 5096 3459 0 -1 4202560 118 0 0 0 4 0 0 0 15 0 19 0 981188985 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5096/tid=5100] ppid=5094 vsize=10552152 CPUtime=0.05 cores=1,3,5,7
/proc/5096/task/5100/stat : 5100 (java) S 5094 5096 3459 0 -1 4202560 12 0 0 0 5 0 0 0 16 0 19 0 981188985 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5096/tid=5101] ppid=5094 vsize=10552152 CPUtime=0.04 cores=1,3,5,7
/proc/5096/task/5101/stat : 5101 (java) S 5094 5096 3459 0 -1 4202560 37 0 0 0 4 0 0 0 15 0 19 0 981188985 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5096/tid=5102] ppid=5094 vsize=10552152 CPUtime=0.04 cores=1,3,5,7
/proc/5096/task/5102/stat : 5102 (java) S 5094 5096 3459 0 -1 4202560 101 0 0 0 4 0 0 0 15 0 19 0 981188985 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5096/tid=5103] ppid=5094 vsize=10552152 CPUtime=0.03 cores=1,3,5,7
/proc/5096/task/5103/stat : 5103 (java) S 5094 5096 3459 0 -1 4202560 97 0 0 0 3 0 0 0 16 0 19 0 981188985 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5096/tid=5104] ppid=5094 vsize=10552152 CPUtime=0.04 cores=1,3,5,7
/proc/5096/task/5104/stat : 5104 (java) S 5094 5096 3459 0 -1 4202560 140 0 0 0 4 0 0 0 15 0 19 0 981188985 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5096/tid=5105] ppid=5094 vsize=10552152 CPUtime=0.04 cores=1,3,5,7
/proc/5096/task/5105/stat : 5105 (java) S 5094 5096 3459 0 -1 4202560 150 0 0 0 4 0 0 0 16 0 19 0 981188985 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5096/tid=5106] ppid=5094 vsize=10552152 CPUtime=0.04 cores=1,3,5,7
/proc/5096/task/5106/stat : 5106 (java) S 5094 5096 3459 0 -1 4202560 43 0 0 0 4 0 0 0 16 0 19 0 981188985 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5096/tid=5107] ppid=5094 vsize=10552152 CPUtime=2.27 cores=1,3,5,7
/proc/5096/task/5107/stat : 5107 (java) S 5094 5096 3459 0 -1 4202560 1053 0 0 0 227 0 0 0 15 0 19 0 981188986 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000409088 0 0 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5096/tid=5108] ppid=5094 vsize=10552152 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5108/stat : 5108 (java) S 5094 5096 3459 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 981188987 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5096/tid=5109] ppid=5094 vsize=10552152 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5109/stat : 5109 (java) S 5094 5096 3459 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 981188987 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5096/tid=5110] ppid=5094 vsize=10552152 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5110/stat : 5110 (java) S 5094 5096 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981188989 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000416177 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5096/tid=5111] ppid=5094 vsize=10552152 CPUtime=0.29 cores=1,3,5,7
/proc/5096/task/5111/stat : 5111 (java) S 5094 5096 3459 0 -1 4202560 2050 0 0 0 29 0 0 0 16 0 19 0 981188989 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5096/tid=5112] ppid=5094 vsize=10552152 CPUtime=0.59 cores=1,3,5,7
/proc/5096/task/5112/stat : 5112 (java) S 5094 5096 3459 0 -1 4202560 7876 0 0 0 59 0 0 0 15 0 19 0 981188989 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5096/tid=5113] ppid=5094 vsize=10552152 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5113/stat : 5113 (java) S 5094 5096 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981188989 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5096/tid=5114] ppid=5094 vsize=10552152 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5114/stat : 5114 (java) S 5094 5096 3459 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 981188989 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000409088 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5096/tid=5115] ppid=5094 vsize=10552152 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5115/stat : 5115 (java) S 5094 5096 3459 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981189000 10805403648 19288 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000409088 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 56.96
Current children cumulated vsize (KiB) 10552152

[startup+56.301 s]
/proc/loadavg: 2.08 2.02 1.94 3/214 5117
/proc/meminfo: memFree=1244604/32950940 swapFree=67053420/67111528
[pid=5096] ppid=5094 vsize=10552152 CPUtime=57.36 cores=1,3,5,7
/proc/5096/stat : 5096 (java) S 5094 5096 3459 0 -1 4202496 25124 0 1 0 5731 5 0 0 25 0 19 0 981188983 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5096/statm: 2638038 19289 2252 9 0 2628772 0
[pid=5096/tid=5097] ppid=5094 vsize=10552152 CPUtime=53.79 cores=1,3,5,7
/proc/5096/task/5097/stat : 5097 (java) R 5094 5096 3459 0 -1 4202560 12289 0 1 0 5377 2 0 0 25 0 19 0 981188984 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 46912505566263 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5096/tid=5099] ppid=5094 vsize=10552152 CPUtime=0.04 cores=1,3,5,7
/proc/5096/task/5099/stat : 5099 (java) S 5094 5096 3459 0 -1 4202560 118 0 0 0 4 0 0 0 15 0 19 0 981188985 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5096/tid=5100] ppid=5094 vsize=10552152 CPUtime=0.05 cores=1,3,5,7
/proc/5096/task/5100/stat : 5100 (java) S 5094 5096 3459 0 -1 4202560 12 0 0 0 5 0 0 0 16 0 19 0 981188985 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5096/tid=5101] ppid=5094 vsize=10552152 CPUtime=0.04 cores=1,3,5,7
/proc/5096/task/5101/stat : 5101 (java) S 5094 5096 3459 0 -1 4202560 37 0 0 0 4 0 0 0 15 0 19 0 981188985 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5096/tid=5102] ppid=5094 vsize=10552152 CPUtime=0.04 cores=1,3,5,7
/proc/5096/task/5102/stat : 5102 (java) S 5094 5096 3459 0 -1 4202560 101 0 0 0 4 0 0 0 15 0 19 0 981188985 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5096/tid=5103] ppid=5094 vsize=10552152 CPUtime=0.04 cores=1,3,5,7
/proc/5096/task/5103/stat : 5103 (java) S 5094 5096 3459 0 -1 4202560 97 0 0 0 4 0 0 0 16 0 19 0 981188985 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5096/tid=5104] ppid=5094 vsize=10552152 CPUtime=0.04 cores=1,3,5,7
/proc/5096/task/5104/stat : 5104 (java) S 5094 5096 3459 0 -1 4202560 140 0 0 0 4 0 0 0 15 0 19 0 981188985 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5096/tid=5105] ppid=5094 vsize=10552152 CPUtime=0.04 cores=1,3,5,7
/proc/5096/task/5105/stat : 5105 (java) S 5094 5096 3459 0 -1 4202560 150 0 0 0 4 0 0 0 15 0 19 0 981188985 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5096/tid=5106] ppid=5094 vsize=10552152 CPUtime=0.04 cores=1,3,5,7
/proc/5096/task/5106/stat : 5106 (java) S 5094 5096 3459 0 -1 4202560 43 0 0 0 4 0 0 0 15 0 19 0 981188985 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5096/tid=5107] ppid=5094 vsize=10552152 CPUtime=2.28 cores=1,3,5,7
/proc/5096/task/5107/stat : 5107 (java) S 5094 5096 3459 0 -1 4202560 1053 0 0 0 228 0 0 0 15 0 19 0 981188986 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000409088 0 0 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5096/tid=5108] ppid=5094 vsize=10552152 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5108/stat : 5108 (java) S 5094 5096 3459 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 981188987 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5096/tid=5109] ppid=5094 vsize=10552152 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5109/stat : 5109 (java) S 5094 5096 3459 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 981188987 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5096/tid=5110] ppid=5094 vsize=10552152 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5110/stat : 5110 (java) S 5094 5096 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981188989 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000416177 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5096/tid=5111] ppid=5094 vsize=10552152 CPUtime=0.29 cores=1,3,5,7
/proc/5096/task/5111/stat : 5111 (java) S 5094 5096 3459 0 -1 4202560 2050 0 0 0 29 0 0 0 16 0 19 0 981188989 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5096/tid=5112] ppid=5094 vsize=10552152 CPUtime=0.59 cores=1,3,5,7
/proc/5096/task/5112/stat : 5112 (java) S 5094 5096 3459 0 -1 4202560 7876 0 0 0 59 0 0 0 15 0 19 0 981188989 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5096/tid=5113] ppid=5094 vsize=10552152 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5113/stat : 5113 (java) S 5094 5096 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981188989 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5096/tid=5114] ppid=5094 vsize=10552152 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5114/stat : 5114 (java) S 5094 5096 3459 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 981188989 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000409088 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5096/tid=5115] ppid=5094 vsize=10552152 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5115/stat : 5115 (java) S 5094 5096 3459 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981189000 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000409088 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 57.36
Current children cumulated vsize (KiB) 10552152

[startup+56.401 s]
/proc/loadavg: 2.08 2.02 1.94 3/214 5117
/proc/meminfo: memFree=1244604/32950940 swapFree=67053420/67111528
[pid=5096] ppid=5094 vsize=10552152 CPUtime=57.47 cores=1,3,5,7
/proc/5096/stat : 5096 (java) S 5094 5096 3459 0 -1 4202496 25126 0 1 0 5742 5 0 0 25 0 19 0 981188983 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000395237 0 0 0 16800975 18446744073709551615 0 0 17 5 0 0 0
/proc/5096/statm: 2638038 19289 2252 9 0 2628772 0
[pid=5096/tid=5097] ppid=5094 vsize=10552152 CPUtime=53.88 cores=1,3,5,7
/proc/5096/task/5097/stat : 5097 (java) R 5094 5096 3459 0 -1 4202560 12290 0 1 0 5386 2 0 0 25 0 19 0 981188984 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 46912505588172 0 4 0 16800975 0 0 0 -1 3 0 0 0
[pid=5096/tid=5099] ppid=5094 vsize=10552152 CPUtime=0.04 cores=1,3,5,7
/proc/5096/task/5099/stat : 5099 (java) S 5094 5096 3459 0 -1 4202560 118 0 0 0 4 0 0 0 15 0 19 0 981188985 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5096/tid=5100] ppid=5094 vsize=10552152 CPUtime=0.05 cores=1,3,5,7
/proc/5096/task/5100/stat : 5100 (java) S 5094 5096 3459 0 -1 4202560 12 0 0 0 5 0 0 0 15 0 19 0 981188985 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5096/tid=5101] ppid=5094 vsize=10552152 CPUtime=0.04 cores=1,3,5,7
/proc/5096/task/5101/stat : 5101 (java) S 5094 5096 3459 0 -1 4202560 37 0 0 0 4 0 0 0 15 0 19 0 981188985 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5096/tid=5102] ppid=5094 vsize=10552152 CPUtime=0.04 cores=1,3,5,7
/proc/5096/task/5102/stat : 5102 (java) S 5094 5096 3459 0 -1 4202560 101 0 0 0 4 0 0 0 15 0 19 0 981188985 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5096/tid=5103] ppid=5094 vsize=10552152 CPUtime=0.04 cores=1,3,5,7
/proc/5096/task/5103/stat : 5103 (java) S 5094 5096 3459 0 -1 4202560 97 0 0 0 4 0 0 0 15 0 19 0 981188985 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5096/tid=5104] ppid=5094 vsize=10552152 CPUtime=0.04 cores=1,3,5,7
/proc/5096/task/5104/stat : 5104 (java) S 5094 5096 3459 0 -1 4202560 140 0 0 0 4 0 0 0 15 0 19 0 981188985 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5096/tid=5105] ppid=5094 vsize=10552152 CPUtime=0.04 cores=1,3,5,7
/proc/5096/task/5105/stat : 5105 (java) S 5094 5096 3459 0 -1 4202560 150 0 0 0 4 0 0 0 15 0 19 0 981188985 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5096/tid=5106] ppid=5094 vsize=10552152 CPUtime=0.04 cores=1,3,5,7
/proc/5096/task/5106/stat : 5106 (java) S 5094 5096 3459 0 -1 4202560 43 0 0 0 4 0 0 0 15 0 19 0 981188985 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5096/tid=5107] ppid=5094 vsize=10552152 CPUtime=2.3 cores=1,3,5,7
/proc/5096/task/5107/stat : 5107 (java) S 5094 5096 3459 0 -1 4202560 1053 0 0 0 230 0 0 0 15 0 19 0 981188986 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000409088 0 0 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5096/tid=5108] ppid=5094 vsize=10552152 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5108/stat : 5108 (java) S 5094 5096 3459 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 981188987 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5096/tid=5109] ppid=5094 vsize=10552152 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5109/stat : 5109 (java) S 5094 5096 3459 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 981188987 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5096/tid=5110] ppid=5094 vsize=10552152 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5110/stat : 5110 (java) S 5094 5096 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981188989 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000416177 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5096/tid=5111] ppid=5094 vsize=10552152 CPUtime=0.29 cores=1,3,5,7
/proc/5096/task/5111/stat : 5111 (java) S 5094 5096 3459 0 -1 4202560 2051 0 0 0 29 0 0 0 15 0 19 0 981188989 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
[pid=5096/tid=5112] ppid=5094 vsize=10552152 CPUtime=0.59 cores=1,3,5,7
/proc/5096/task/5112/stat : 5112 (java) S 5094 5096 3459 0 -1 4202560 7876 0 0 0 59 0 0 0 15 0 19 0 981188989 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 1 0 0 0
[pid=5096/tid=5113] ppid=5094 vsize=10552152 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5113/stat : 5113 (java) S 5094 5096 3459 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 981188989 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000408473 0 4 0 16800975 18446604471138029824 0 0 -1 5 0 0 0
[pid=5096/tid=5114] ppid=5094 vsize=10552152 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5114/stat : 5114 (java) S 5094 5096 3459 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 981188989 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000409088 0 4 0 16800975 18446604471138029824 0 0 -1 3 0 0 0
[pid=5096/tid=5115] ppid=5094 vsize=10552152 CPUtime=0 cores=1,3,5,7
/proc/5096/task/5115/stat : 5115 (java) S 5094 5096 3459 0 -1 4202560 7 0 0 0 0 0 0 0 25 0 19 0 981189000 10805403648 19289 33554432000 1073741824 1073778376 140737087079856 18446744073709551615 216000409088 0 4 0 16800975 18446604471138029824 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 57.47
Current children cumulated vsize (KiB) 10552152

Child status: 30
Real time (s): 56.4679
CPU time (s): 57.5453
CPU user time (s): 57.4883
CPU system time (s): 0.056991
CPU usage (%): 101.908
Max. virtual memory (cumulated for all children) (KiB): 10564724

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 57.4883
system time used= 0.056991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 25145
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= 6402
involuntary context switches= 2587

runsolver used 0.101984 second user time and 0.216967 second system time

The end

Launcher Data 

Begin job on node117 at 2011-06-12 22:13:02
IDJOB=3492341
IDBENCH=78768
IDSOLVER=1982
FILE ID=node117/3492341-1307909582
RUNJOBID= node117-1307907339-4520
PBS_JOBID= 13559588
Free space on /var/tmp= 2884 MiB

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

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

MD5SUM BENCH= 2b34e07f02f20428b9849b788b9a7a67
RANDOM SEED=142752178

node117.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.849
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.69
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.849
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.849
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.849
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.849
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.75
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.849
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.74
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.849
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.849
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	: 5267.44
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950940 kB
MemFree:       1335052 kB
Buffers:         62404 kB
Cached:       30289684 kB
SwapCached:      10872 kB
Active:       15041924 kB
Inactive:     15627836 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950940 kB
LowFree:       1335052 kB
SwapTotal:    67111528 kB
SwapFree:     67053420 kB
Dirty:             572 kB
Writeback:           0 kB
AnonPages:      315132 kB
Mapped:          21208 kB
Slab:           882772 kB
PageTables:       5328 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586996 kB
Committed_AS: 10549944 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= 2884 MiB
End job on node117 at 2011-06-12 22:13:59