Trace number 3492693

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 49.7504 48.572

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1110975607--soft-0-100-0.wbo
MD5SUM9ace4a5d353416c2f92762446c6d8e82
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark9
Best CPU time to get the best result obtained on this benchmark4.03039
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables169
Total number of constraints101
Number of soft constraints101
Number of constraints which are clauses30
Number of constraints which are cardinality constraints (but not clauses)70
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint169
Top cost 5180
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 5179
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1221
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.01/0.08	c SAT4J: a SATisfiability library for Java (c) 2004-2010 Daniel Le Berre
0.01/0.08	c This is free software under the dual EPL/GNU LGPL licenses.
0.01/0.08	c See www.sat4j.org for details.
0.01/0.09	c version 2.3.1.v20110525
0.01/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.01/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.01/0.09	c java.vm.version	19.1-b02
0.01/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.01/0.09	c sun.arch.data.model	64
0.01/0.09	c java.version		1.6.0_24
0.01/0.09	c os.name		Linux
0.01/0.09	c os.version		2.6.18-164.el5
0.01/0.09	c os.arch		amd64
0.01/0.09	c Free memory 		9996466904
0.01/0.09	c Max memory 		10048897024
0.01/0.09	c Total memory 		10048897024
0.01/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@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-3492693-1307911141.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     270
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 => 30
0.10/0.16	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
0.27/0.23	c SATISFIABLE
0.27/0.23	c OPTIMIZING...
0.27/0.23	c Got one! Elapsed wall clock time (in seconds):0.118
0.27/0.23	o 825
0.27/0.25	c Got one! Elapsed wall clock time (in seconds):0.146
0.27/0.25	o 705
0.27/0.27	c Got one! Elapsed wall clock time (in seconds):0.166
0.27/0.27	o 693
0.27/0.28	c Got one! Elapsed wall clock time (in seconds):0.174
0.27/0.28	o 657
0.52/0.30	c Got one! Elapsed wall clock time (in seconds):0.194
0.52/0.30	o 592
0.52/0.31	c Got one! Elapsed wall clock time (in seconds):0.204
0.52/0.31	o 586
0.52/0.33	c Got one! Elapsed wall clock time (in seconds):0.223
0.52/0.33	o 576
0.52/0.35	c Got one! Elapsed wall clock time (in seconds):0.244
0.52/0.35	o 571
0.52/0.36	c Got one! Elapsed wall clock time (in seconds):0.257
0.52/0.36	o 566
0.52/0.39	c Got one! Elapsed wall clock time (in seconds):0.283
0.52/0.39	o 549
0.67/0.43	c Got one! Elapsed wall clock time (in seconds):0.321
0.67/0.43	o 521
0.67/0.45	c Got one! Elapsed wall clock time (in seconds):0.342
0.67/0.45	o 474
0.78/0.50	c Got one! Elapsed wall clock time (in seconds):0.395
0.78/0.50	o 473
0.78/0.53	c Got one! Elapsed wall clock time (in seconds):0.421
0.78/0.53	o 406
0.89/0.66	c Got one! Elapsed wall clock time (in seconds):0.551
0.89/0.66	o 396
1.12/0.82	c Got one! Elapsed wall clock time (in seconds):0.709
1.12/0.82	o 372
1.23/0.92	c cleaning 5949 clauses out of 11914 with flag 1000/11914
1.55/1.28	c Got one! Elapsed wall clock time (in seconds):1.173
1.55/1.28	o 365
1.65/1.36	c Got one! Elapsed wall clock time (in seconds):1.254
1.65/1.36	o 363
1.76/1.45	c Got one! Elapsed wall clock time (in seconds):1.338
1.76/1.45	o 337
1.87/1.54	c cleaning 8733 clauses out of 17475 with flag 2000/23424
1.87/1.58	c Got one! Elapsed wall clock time (in seconds):1.476
1.87/1.58	o 327
2.11/1.78	c Got one! Elapsed wall clock time (in seconds):1.67
2.11/1.78	o 314
2.21/1.87	c cleaning 7614 clauses out of 15233 with flag 2001/29915
2.54/2.11	c Got one! Elapsed wall clock time (in seconds):2.007
2.54/2.11	o 289
2.54/2.16	c cleaning 6417 clauses out of 12841 with flag 1001/35137
2.84/2.45	c cleaning 6208 clauses out of 12423 with flag 7000/41136
3.24/2.87	c cleaning 6601 clauses out of 13215 with flag 14000/48136
3.65/3.26	c cleaning 7308 clauses out of 14620 with flag 22006/56142
4.24/3.80	c cleaning 8148 clauses out of 16306 with flag 31000/65136
4.44/4.10	c Got one! Elapsed wall clock time (in seconds):3.989
4.44/4.10	o 285
4.64/4.29	c cleaning 9568 clauses out of 19144 with flag 5001/76122
4.95/4.58	c Got one! Elapsed wall clock time (in seconds):4.473
4.95/4.58	o 279
5.05/4.63	c cleaning 7766 clauses out of 15543 with flag 1002/82089
5.25/4.84	c cleaning 6884 clauses out of 13775 with flag 7000/88087
5.55/5.17	c cleaning 6941 clauses out of 13891 with flag 14000/95087
5.95/5.58	c Got one! Elapsed wall clock time (in seconds):5.476
5.95/5.58	o 272
6.19/5.77	c cleaning 9509 clauses out of 19023 with flag 5001/107160
6.29/5.81	c Got one! Elapsed wall clock time (in seconds):5.702
6.29/5.81	o 259
6.49/6.00	c cleaning 7646 clauses out of 15297 with flag 5002/112943
6.71/6.25	c cleaning 6819 clauses out of 13649 with flag 11000/118941
6.91/6.49	c Got one! Elapsed wall clock time (in seconds):6.378
6.91/6.49	o 258
7.01/6.53	c cleaning 6333 clauses out of 12670 with flag 1003/124781
7.21/6.75	c cleaning 6165 clauses out of 12336 with flag 7002/130780
7.51/7.02	c cleaning 6583 clauses out of 13170 with flag 14001/137779
7.81/7.36	c Got one! Elapsed wall clock time (in seconds):7.257
7.81/7.36	o 251
8.01/7.52	c Got one! Elapsed wall clock time (in seconds):7.408
8.01/7.52	o 236
8.01/7.57	c cleaning 9641 clauses out of 19287 with flag 1001/150479
8.32/7.82	c cleaning 7818 clauses out of 15646 with flag 7001/156479
8.42/7.99	c Got one! Elapsed wall clock time (in seconds):7.878
8.42/7.99	o 234
8.62/8.10	c cleaning 6834 clauses out of 13673 with flag 3000/162324
8.82/8.33	c cleaning 6416 clauses out of 12841 with flag 9002/168326
8.82/8.34	c Got one! Elapsed wall clock time (in seconds):8.233
8.82/8.34	o 230
9.02/8.51	c cleaning 5720 clauses out of 11449 with flag 5000/173350
9.23/8.72	c cleaning 5862 clauses out of 11732 with flag 11003/179353
9.33/8.82	c Got one! Elapsed wall clock time (in seconds):8.716
9.33/8.82	o 197
9.48/8.94	c cleaning 5705 clauses out of 11414 with flag 3000/184897
9.68/9.16	c cleaning 5853 clauses out of 11713 with flag 9004/190901
9.98/9.43	c cleaning 6420 clauses out of 12856 with flag 16000/197897
10.28/9.76	c cleaning 7218 clauses out of 14439 with flag 24003/205900
10.78/10.21	c cleaning 8095 clauses out of 16218 with flag 33000/214897
10.88/10.33	c Got one! Elapsed wall clock time (in seconds):10.219
10.88/10.33	o 179
10.98/10.43	c cleaning 6853 clauses out of 13714 with flag 3002/220488
11.08/10.54	c Got one! Elapsed wall clock time (in seconds):10.433
11.08/10.54	o 167
11.18/10.62	c cleaning 5929 clauses out of 11865 with flag 2000/225492
11.38/10.85	c cleaning 5963 clauses out of 11937 with flag 8001/231493
11.78/11.23	c cleaning 6476 clauses out of 12973 with flag 15000/238492
12.18/11.68	c cleaning 7246 clauses out of 14497 with flag 23000/246492
12.48/11.96	c Got one! Elapsed wall clock time (in seconds):11.847
12.48/11.96	o 162
12.69/12.14	c cleaning 8812 clauses out of 17631 with flag 5000/256872
12.88/12.38	c cleaning 7408 clauses out of 14824 with flag 11005/262877
13.21/12.66	c cleaning 7203 clauses out of 14413 with flag 18002/269874
13.61/13.07	c cleaning 7599 clauses out of 15211 with flag 26003/277875
13.61/13.10	c Got one! Elapsed wall clock time (in seconds):12.992
13.61/13.10	o 133
13.81/13.27	c cleaning 6494 clauses out of 12995 with flag 5001/283258
14.02/13.49	c cleaning 6248 clauses out of 12501 with flag 11001/289258
14.32/13.76	c cleaning 6622 clauses out of 13254 with flag 18002/296259
14.62/14.07	c cleaning 7311 clauses out of 14630 with flag 26000/304257
15.02/14.49	c cleaning 8156 clauses out of 16319 with flag 35000/313257
15.62/15.01	c Got one! Elapsed wall clock time (in seconds):14.901
15.62/15.01	o 109
15.83/15.23	c cleaning 10883 clauses out of 21771 with flag 5003/326865
16.13/15.55	c cleaning 8439 clauses out of 16885 with flag 11000/332862
16.53/15.96	c cleaning 7715 clauses out of 15446 with flag 18000/339862
17.41/16.49	c cleaning 7861 clauses out of 15733 with flag 26002/347864
18.06/17.00	c cleaning 8430 clauses out of 16870 with flag 35000/356862
18.57/17.60	c cleaning 9207 clauses out of 18440 with flag 45000/366862
19.17/18.18	c cleaning 9612 clauses out of 19234 with flag 55001/376863
19.57/18.59	c Got one! Elapsed wall clock time (in seconds):18.479
19.57/18.59	o 81
19.89/18.81	c cleaning 11209 clauses out of 22428 with flag 5008/389669
20.09/19.06	c cleaning 8602 clauses out of 17211 with flag 11000/395661
20.39/19.32	c cleaning 7802 clauses out of 15609 with flag 18000/402661
20.70/19.64	c cleaning 7904 clauses out of 15813 with flag 26006/410667
21.10/20.05	c cleaning 8451 clauses out of 16907 with flag 35004/419665
21.60/20.55	c cleaning 9219 clauses out of 18455 with flag 45003/429664
22.10/21.04	c cleaning 9611 clauses out of 19233 with flag 55000/439661
22.60/21.55	c cleaning 9803 clauses out of 19625 with flag 65003/449664
23.11/22.08	c cleaning 9904 clauses out of 19819 with flag 75000/459661
23.60/22.57	c cleaning 9947 clauses out of 19916 with flag 85001/469662
24.11/23.05	c cleaning 9977 clauses out of 19969 with flag 95001/479662
24.60/23.58	c cleaning 9992 clauses out of 19999 with flag 105008/489669
24.90/23.84	c Got one! Elapsed wall clock time (in seconds):23.735
24.90/23.84	o 79
25.10/24.07	c cleaning 10202 clauses out of 20414 with flag 5000/500076
25.31/24.29	c cleaning 8101 clauses out of 16212 with flag 11000/506076
25.71/24.62	c cleaning 7553 clauses out of 15111 with flag 18000/513076
26.11/25.02	c cleaning 7775 clauses out of 15558 with flag 26000/521076
26.21/25.18	c Got one! Elapsed wall clock time (in seconds):25.072
26.21/25.18	o 75
26.32/25.26	c cleaning 6689 clauses out of 13388 with flag 2002/526681
26.51/25.48	c cleaning 6343 clauses out of 12697 with flag 8000/532679
26.81/25.73	c cleaning 6674 clauses out of 13355 with flag 15001/539680
27.11/26.04	c cleaning 7335 clauses out of 14680 with flag 23000/547679
27.51/26.47	c cleaning 8170 clauses out of 16346 with flag 32001/556680
28.01/26.96	c cleaning 9083 clauses out of 18177 with flag 42002/566681
28.52/27.49	c cleaning 9542 clauses out of 19093 with flag 52001/576680
29.01/27.94	c cleaning 9765 clauses out of 19550 with flag 62000/586679
29.51/28.47	c cleaning 9890 clauses out of 19786 with flag 72001/596680
30.01/28.98	c cleaning 9942 clauses out of 19896 with flag 82001/606680
30.11/29.08	c Got one! Elapsed wall clock time (in seconds):28.977
30.11/29.08	o 72
30.21/29.19	c cleaning 7563 clauses out of 15134 with flag 3001/611860
30.51/29.42	c cleaning 6781 clauses out of 13570 with flag 9000/617859
30.72/29.68	c cleaning 6891 clauses out of 13789 with flag 16000/624859
31.01/29.98	c cleaning 7443 clauses out of 14899 with flag 24001/632860
31.41/30.33	c cleaning 8224 clauses out of 16455 with flag 33000/641859
31.71/30.70	c cleaning 9113 clauses out of 18233 with flag 43002/651861
31.93/30.84	c Got one! Elapsed wall clock time (in seconds):30.733
31.93/30.84	o 65
32.02/30.92	c cleaning 7393 clauses out of 14798 with flag 2001/657539
32.23/31.13	c cleaning 6698 clauses out of 13404 with flag 8000/663538
32.43/31.39	c cleaning 6849 clauses out of 13706 with flag 15000/670538
32.73/31.69	c cleaning 7424 clauses out of 14859 with flag 23002/678540
33.13/32.03	c cleaning 8212 clauses out of 16433 with flag 32000/687538
33.53/32.42	c cleaning 9106 clauses out of 18222 with flag 42001/697539
33.83/32.79	c cleaning 9554 clauses out of 19116 with flag 52001/707539
34.23/33.19	c cleaning 9777 clauses out of 19561 with flag 62000/717538
34.73/33.61	c cleaning 9889 clauses out of 19784 with flag 72000/727538
35.03/33.99	c Got one! Elapsed wall clock time (in seconds):33.88
35.03/33.99	o 46
35.33/34.20	c cleaning 12000 clauses out of 24007 with flag 5001/741650
35.53/34.47	c cleaning 8998 clauses out of 18008 with flag 11002/747651
35.83/34.72	c cleaning 7999 clauses out of 16009 with flag 18001/754650
36.13/35.02	c cleaning 8002 clauses out of 16009 with flag 26000/762649
36.13/35.07	c Got one! Elapsed wall clock time (in seconds):34.96
36.13/35.07	o 44
36.23/35.20	c cleaning 6626 clauses out of 13260 with flag 4007/767902
36.53/35.41	c cleaning 6308 clauses out of 12628 with flag 10001/773896
36.73/35.68	c cleaning 6654 clauses out of 13319 with flag 17000/780895
37.13/36.02	c cleaning 7330 clauses out of 14668 with flag 25003/788898
37.44/36.36	c cleaning 8164 clauses out of 16335 with flag 34000/797895
37.83/36.78	c cleaning 9082 clauses out of 18173 with flag 44002/807897
38.23/37.16	c cleaning 9541 clauses out of 19089 with flag 54000/817895
38.63/37.54	c cleaning 9765 clauses out of 19549 with flag 64001/827896
39.03/37.90	c cleaning 9886 clauses out of 19784 with flag 74001/837896
39.03/37.99	c Got one! Elapsed wall clock time (in seconds):37.879
39.03/37.99	o 36
39.14/38.09	c cleaning 7522 clauses out of 15053 with flag 3001/843051
39.44/38.31	c cleaning 6763 clauses out of 13531 with flag 9001/849051
39.64/38.55	c cleaning 6880 clauses out of 13769 with flag 16002/856052
39.94/38.84	c cleaning 7440 clauses out of 14888 with flag 24001/864051
40.24/39.15	c cleaning 8219 clauses out of 16451 with flag 33004/873054
40.54/39.50	c cleaning 9111 clauses out of 18229 with flag 43001/883051
40.94/39.88	c cleaning 9550 clauses out of 19118 with flag 53001/893051
41.34/40.24	c cleaning 9779 clauses out of 19567 with flag 63000/903050
41.64/40.60	c cleaning 9890 clauses out of 19790 with flag 73002/913052
42.05/40.98	c cleaning 9940 clauses out of 19899 with flag 83001/923051
42.45/41.34	c cleaning 9977 clauses out of 19958 with flag 93000/933050
42.85/41.72	c cleaning 9983 clauses out of 19981 with flag 103000/943050
43.25/42.10	c cleaning 9996 clauses out of 19999 with flag 113001/953051
43.35/42.22	c Got one! Elapsed wall clock time (in seconds):42.112
43.35/42.22	o 9
43.35/42.30	c cleaning 7698 clauses out of 15402 with flag 2001/958450
43.65/42.50	c cleaning 6848 clauses out of 13704 with flag 8001/964450
43.85/42.74	c cleaning 6921 clauses out of 13855 with flag 15000/971449
44.15/43.00	c cleaning 7462 clauses out of 14934 with flag 23000/979449
44.45/43.30	c cleaning 8233 clauses out of 16473 with flag 32001/988450
44.75/43.66	c cleaning 9118 clauses out of 18241 with flag 42002/998451
45.17/44.01	c cleaning 9559 clauses out of 19123 with flag 52002/1008451
45.47/44.37	c cleaning 9777 clauses out of 19562 with flag 62000/1018449
45.87/44.73	c cleaning 9890 clauses out of 19787 with flag 72002/1028451
46.17/45.09	c cleaning 9945 clauses out of 19896 with flag 82001/1038450
46.57/45.48	c cleaning 9974 clauses out of 19951 with flag 92001/1048450
46.97/45.85	c cleaning 9986 clauses out of 19976 with flag 102000/1058449
47.37/46.27	c cleaning 9991 clauses out of 19990 with flag 112000/1068449
47.77/46.64	c cleaning 9996 clauses out of 19999 with flag 122000/1078449
48.17/47.02	c cleaning 9998 clauses out of 20005 with flag 132002/1088451
48.48/47.39	c cleaning 10000 clauses out of 20005 with flag 142000/1098449
48.87/47.75	c cleaning 9998 clauses out of 20007 with flag 152002/1108451
49.27/48.11	c cleaning 9999 clauses out of 20008 with flag 162001/1118450
49.58/48.49	c cleaning 10002 clauses out of 20007 with flag 172000/1128449
49.67/48.56	c starts		: 232
49.67/48.56	c conflicts		: 1130086
49.67/48.56	c decisions		: 1835699
49.67/48.56	c propagations		: 30818818
49.67/48.56	c inspects		: 260551104
49.67/48.56	c shortcuts		: 0
49.67/48.56	c learnt literals	: 7
49.67/48.56	c learnt binary clauses	: 80
49.67/48.56	c learnt ternary clauses	: 1234
49.67/48.56	c learnt constraints	: 1130078
49.67/48.56	c ignored constraints	: 0
49.67/48.56	c root simplifications	: 0
49.67/48.56	c removed literals (reason simplification)	: 6479603
49.67/48.56	c reason swapping (by a shorter reason)	: 0
49.67/48.56	c Calls to reduceDB	: 136
49.67/48.56	c number of reductions to clauses (during analyze)	: 0
49.67/48.56	c number of learned constraints concerned by reduction	: 0
49.67/48.56	c number of learning phase by resolution	: 0
49.67/48.56	c number of learning phase by cutting planes	: 0
49.67/48.56	c speed (assignments/second)	: 4859479.344055504
49.67/48.56	c non guided choices	2386
49.67/48.56	c learnt constraints type 
49.67/48.56	c constraints type 
49.67/48.56	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
49.67/48.56	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
49.67/48.56	s OPTIMUM FOUND
49.67/48.56	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 
49.67/48.56	c objective function=9
49.67/48.56	c Total wall clock time (in seconds): 48.455

Verifier Data 

OK	9

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /var/tmp/evaluation-result-3492693-1307911141/watcher-3492693-1307911141 -o /var/tmp/evaluation-result-3492693-1307911141/solver-3492693-1307911141 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492693-1307911141.wbo 

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

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


[startup+0 s]
/proc/loadavg: 2.15 2.04 1.94 3/192 30543
/proc/meminfo: memFree=1478384/32951124 swapFree=67064576/67111528
[pid=30543] ppid=30541 vsize=23028 CPUtime=0 cores=0,2,4,6
/proc/30543/stat : 30543 (java) R 30541 30543 28722 0 -1 4202496 950 0 0 0 0 0 0 0 25 0 1 0 883529700 23580672 692 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264721442280 0 0 4096 0 0 0 0 17 4 0 0 0
/proc/30543/statm: 5757 692 509 9 0 124 0

[startup+0.025244 s]
/proc/loadavg: 2.15 2.04 1.94 3/192 30543
/proc/meminfo: memFree=1478384/32951124 swapFree=67064576/67111528
[pid=30543] ppid=30541 vsize=10453028 CPUtime=0.01 cores=0,2,4,6
/proc/30543/stat : 30543 (java) S 30541 30543 28722 0 -1 4202496 10001 0 1 0 1 0 0 0 25 0 10 0 883529700 10703900672 9701 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738207717 0 0 0 16784584 18446744073709551615 0 0 17 4 0 0 0
/proc/30543/statm: 2613257 9703 984 9 0 2604413 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 10453028

[startup+0.100283 s]
/proc/loadavg: 2.15 2.04 1.94 3/192 30543
/proc/meminfo: memFree=1478384/32951124 swapFree=67064576/67111528
[pid=30543] ppid=30541 vsize=10539900 CPUtime=0.1 cores=0,2,4,6
/proc/30543/stat : 30543 (java) S 30541 30543 28722 0 -1 4202496 13055 0 1 0 9 1 0 0 25 0 18 0 883529700 10792857600 12736 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30543/statm: 2634975 12736 2093 9 0 2625709 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10539900

[startup+0.300214 s]
/proc/loadavg: 2.15 2.04 1.94 3/192 30543
/proc/meminfo: memFree=1478384/32951124 swapFree=67064576/67111528
[pid=30543] ppid=30541 vsize=10544088 CPUtime=0.52 cores=0,2,4,6
/proc/30543/stat : 30543 (java) S 30541 30543 28722 0 -1 4202496 15683 0 1 0 51 1 0 0 25 0 19 0 883529700 10797146112 14593 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30543/statm: 2636022 14593 2215 9 0 2626756 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10544088

[startup+0.701164 s]
/proc/loadavg: 2.15 2.04 1.94 3/192 30543
/proc/meminfo: memFree=1478384/32951124 swapFree=67064576/67111528
[pid=30543] ppid=30541 vsize=10544260 CPUtime=1 cores=0,2,4,6
/proc/30543/stat : 30543 (java) S 30541 30543 28722 0 -1 4202496 16527 0 1 0 99 1 0 0 25 0 19 0 883529700 10797322240 15426 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30543/statm: 2636065 15426 2220 9 0 2626799 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 10544260

[startup+1.50099 s]
/proc/loadavg: 2.15 2.04 1.94 3/211 30562
/proc/meminfo: memFree=1420840/32951124 swapFree=67064576/67111528
[pid=30543] ppid=30541 vsize=10544260 CPUtime=1.87 cores=0,2,4,6
/proc/30543/stat : 30543 (java) S 30541 30543 28722 0 -1 4202496 17668 0 1 0 186 1 0 0 25 0 19 0 883529700 10797322240 16565 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30543/statm: 2636065 16565 2248 9 0 2626799 0
[pid=30543/tid=30545] ppid=30541 vsize=10544260 CPUtime=1.46 cores=0,2,4,6
/proc/30543/task/30545/stat : 30545 (java) R 30541 30543 28722 0 -1 4202560 12835 0 1 0 145 1 0 0 20 0 19 0 883529701 10797322240 16565 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 46912505540901 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=30543/tid=30546] ppid=30541 vsize=10544260 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30546/stat : 30546 (java) S 30541 30543 28722 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883529703 10797322240 16565 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30547] ppid=30541 vsize=10544260 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30547/stat : 30547 (java) S 30541 30543 28722 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883529703 10797322240 16565 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30548] ppid=30541 vsize=10544260 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30548/stat : 30548 (java) S 30541 30543 28722 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883529703 10797322240 16565 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30549] ppid=30541 vsize=10544260 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30549/stat : 30549 (java) S 30541 30543 28722 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883529703 10797322240 16565 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30550] ppid=30541 vsize=10544260 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30550/stat : 30550 (java) S 30541 30543 28722 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 883529703 10797322240 16565 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30551] ppid=30541 vsize=10544260 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30551/stat : 30551 (java) S 30541 30543 28722 0 -1 4202560 171 0 0 0 0 0 0 0 18 0 19 0 883529703 10797322240 16565 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 6 0 0 0
[pid=30543/tid=30552] ppid=30541 vsize=10544260 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30552/stat : 30552 (java) S 30541 30543 28722 0 -1 4202560 113 0 0 0 0 0 0 0 18 0 19 0 883529703 10797322240 16565 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 6 0 0 0
[pid=30543/tid=30553] ppid=30541 vsize=10544260 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30553/stat : 30553 (java) S 30541 30543 28722 0 -1 4202560 139 0 0 0 0 0 0 0 18 0 19 0 883529703 10797322240 16565 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30554] ppid=30541 vsize=10544260 CPUtime=0.01 cores=0,2,4,6
/proc/30543/task/30554/stat : 30554 (java) S 30541 30543 28722 0 -1 4202560 426 0 0 0 1 0 0 0 18 0 19 0 883529704 10797322240 16565 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738221568 0 0 0 16800975 18446604440278903808 0 0 -1 4 0 0 0
[pid=30543/tid=30555] ppid=30541 vsize=10544260 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30555/stat : 30555 (java) S 30541 30543 28722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883529704 10797322240 16565 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 4 0 0 0
[pid=30543/tid=30556] ppid=30541 vsize=10544260 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30556/stat : 30556 (java) S 30541 30543 28722 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883529704 10797322240 16565 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 4 0 0 0
[pid=30543/tid=30557] ppid=30541 vsize=10544260 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30557/stat : 30557 (java) S 30541 30543 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883529707 10797322240 16565 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738228657 0 4 0 16800975 18446604440278903808 0 0 -1 4 0 0 0
[pid=30543/tid=30558] ppid=30541 vsize=10544260 CPUtime=0.23 cores=0,2,4,6
/proc/30543/task/30558/stat : 30558 (java) S 30541 30543 28722 0 -1 4202560 1925 0 0 0 23 0 0 0 15 0 19 0 883529707 10797322240 16565 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30559] ppid=30541 vsize=10544260 CPUtime=0.15 cores=0,2,4,6
/proc/30543/task/30559/stat : 30559 (java) S 30541 30543 28722 0 -1 4202560 901 0 0 0 15 0 0 0 15 0 19 0 883529707 10797322240 16565 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 0 0 0 0
[pid=30543/tid=30560] ppid=30541 vsize=10544260 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30560/stat : 30560 (java) S 30541 30543 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883529707 10797322240 16565 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 4 0 0 0
[pid=30543/tid=30561] ppid=30541 vsize=10544260 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30561/stat : 30561 (java) S 30541 30543 28722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883529707 10797322240 16565 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738221568 0 4 0 16800975 18446604440278903808 0 0 -1 6 0 0 0
[pid=30543/tid=30562] ppid=30541 vsize=10544260 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30562/stat : 30562 (java) S 30541 30543 28722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883529718 10797322240 16565 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738221568 0 4 0 16800975 18446604440278903808 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1.87
Current children cumulated vsize (KiB) 10544260

[startup+3.10066 s]
/proc/loadavg: 2.14 2.04 1.94 4/211 30562
/proc/meminfo: memFree=1416128/32951124 swapFree=67064576/67111528
[pid=30543] ppid=30541 vsize=10544260 CPUtime=3.54 cores=0,2,4,6
/proc/30543/stat : 30543 (java) S 30541 30543 28722 0 -1 4202496 19329 0 1 0 352 2 0 0 25 0 19 0 883529700 10797322240 17497 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30543/statm: 2636065 17497 2250 9 0 2626799 0
[pid=30543/tid=30545] ppid=30541 vsize=10544260 CPUtime=2.99 cores=0,2,4,6
/proc/30543/task/30545/stat : 30545 (java) R 30541 30543 28722 0 -1 4202560 12840 0 1 0 298 1 0 0 25 0 19 0 883529701 10797322240 17497 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 46912505533802 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=30543/tid=30546] ppid=30541 vsize=10544260 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30546/stat : 30546 (java) S 30541 30543 28722 0 -1 4202560 217 0 0 0 0 0 0 0 15 0 19 0 883529703 10797322240 17497 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 0 0 0 0
[pid=30543/tid=30547] ppid=30541 vsize=10544260 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30547/stat : 30547 (java) S 30541 30543 28722 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 883529703 10797322240 17497 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30548] ppid=30541 vsize=10544260 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30548/stat : 30548 (java) S 30541 30543 28722 0 -1 4202560 161 0 0 0 0 0 0 0 15 0 19 0 883529703 10797322240 17497 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 0 0 0 0
[pid=30543/tid=30549] ppid=30541 vsize=10544260 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30549/stat : 30549 (java) S 30541 30543 28722 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 883529703 10797322240 17497 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 0 0 0 0
[pid=30543/tid=30550] ppid=30541 vsize=10544260 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30550/stat : 30550 (java) S 30541 30543 28722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883529703 10797322240 17497 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 6 0 0 0
[pid=30543/tid=30551] ppid=30541 vsize=10544260 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30551/stat : 30551 (java) S 30541 30543 28722 0 -1 4202560 217 0 0 0 0 0 0 0 15 0 19 0 883529703 10797322240 17497 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30552] ppid=30541 vsize=10544260 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30552/stat : 30552 (java) S 30541 30543 28722 0 -1 4202560 301 0 0 0 0 0 0 0 15 0 19 0 883529703 10797322240 17497 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 6 0 0 0
[pid=30543/tid=30553] ppid=30541 vsize=10544260 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30553/stat : 30553 (java) S 30541 30543 28722 0 -1 4202560 140 0 0 0 0 0 0 0 15 0 19 0 883529703 10797322240 17497 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30554] ppid=30541 vsize=10544260 CPUtime=0.07 cores=0,2,4,6
/proc/30543/task/30554/stat : 30554 (java) S 30541 30543 28722 0 -1 4202560 709 0 0 0 7 0 0 0 16 0 19 0 883529704 10797322240 17497 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738221568 0 0 0 16800975 18446604440278903808 0 0 -1 4 0 0 0
[pid=30543/tid=30555] ppid=30541 vsize=10544260 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30555/stat : 30555 (java) S 30541 30543 28722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883529704 10797322240 17497 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 4 0 0 0
[pid=30543/tid=30556] ppid=30541 vsize=10544260 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30556/stat : 30556 (java) S 30541 30543 28722 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883529704 10797322240 17497 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 4 0 0 0
[pid=30543/tid=30557] ppid=30541 vsize=10544260 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30557/stat : 30557 (java) S 30541 30543 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883529707 10797322240 17497 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738228657 0 4 0 16800975 18446604440278903808 0 0 -1 4 0 0 0
[pid=30543/tid=30558] ppid=30541 vsize=10544260 CPUtime=0.24 cores=0,2,4,6
/proc/30543/task/30558/stat : 30558 (java) S 30541 30543 28722 0 -1 4202560 1927 0 0 0 24 0 0 0 15 0 19 0 883529707 10797322240 17497 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30559] ppid=30541 vsize=10544260 CPUtime=0.19 cores=0,2,4,6
/proc/30543/task/30559/stat : 30559 (java) S 30541 30543 28722 0 -1 4202560 1659 0 0 0 19 0 0 0 15 0 19 0 883529707 10797322240 17497 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 0 0 0 0
[pid=30543/tid=30560] ppid=30541 vsize=10544260 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30560/stat : 30560 (java) S 30541 30543 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883529707 10797322240 17497 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 4 0 0 0
[pid=30543/tid=30561] ppid=30541 vsize=10544260 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30561/stat : 30561 (java) S 30541 30543 28722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883529707 10797322240 17497 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738221568 0 4 0 16800975 18446604440278903808 0 0 -1 0 0 0 0
[pid=30543/tid=30562] ppid=30541 vsize=10544260 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30562/stat : 30562 (java) S 30541 30543 28722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883529718 10797322240 17497 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738221568 0 4 0 16800975 18446604440278903808 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 3.54
Current children cumulated vsize (KiB) 10544260

[startup+6.30108 s]
/proc/loadavg: 2.14 2.04 1.94 3/211 30562
/proc/meminfo: memFree=1416352/32951124 swapFree=67064576/67111528
[pid=30543] ppid=30541 vsize=10543640 CPUtime=6.81 cores=0,2,4,6
/proc/30543/stat : 30543 (java) S 30541 30543 28722 0 -1 4202496 20402 0 1 0 679 2 0 0 25 0 19 0 883529700 10796687360 18129 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30543/statm: 2635910 18129 2251 9 0 2626644 0
[pid=30543/tid=30545] ppid=30541 vsize=10543640 CPUtime=6.07 cores=0,2,4,6
/proc/30543/task/30545/stat : 30545 (java) R 30541 30543 28722 0 -1 4202560 12850 0 1 0 606 1 0 0 25 0 19 0 883529701 10796687360 18129 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 46912505533802 0 4 0 16800975 0 0 0 -1 4 0 0 0
[pid=30543/tid=30546] ppid=30541 vsize=10543640 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30546/stat : 30546 (java) S 30541 30543 28722 0 -1 4202560 217 0 0 0 0 0 0 0 15 0 19 0 883529703 10796687360 18129 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30547] ppid=30541 vsize=10543640 CPUtime=0.01 cores=0,2,4,6
/proc/30543/task/30547/stat : 30547 (java) S 30541 30543 28722 0 -1 4202560 5 0 0 0 1 0 0 0 15 0 19 0 883529703 10796687360 18129 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30548] ppid=30541 vsize=10543640 CPUtime=0.01 cores=0,2,4,6
/proc/30543/task/30548/stat : 30548 (java) S 30541 30543 28722 0 -1 4202560 164 0 0 0 1 0 0 0 15 0 19 0 883529703 10796687360 18129 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 0 0 0 0
[pid=30543/tid=30549] ppid=30541 vsize=10543640 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30549/stat : 30549 (java) S 30541 30543 28722 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 883529703 10796687360 18129 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30550] ppid=30541 vsize=10543640 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30550/stat : 30550 (java) S 30541 30543 28722 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 883529703 10796687360 18129 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30551] ppid=30541 vsize=10543640 CPUtime=0.01 cores=0,2,4,6
/proc/30543/task/30551/stat : 30551 (java) S 30541 30543 28722 0 -1 4202560 220 0 0 0 1 0 0 0 15 0 19 0 883529703 10796687360 18129 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30552] ppid=30541 vsize=10543640 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30552/stat : 30552 (java) S 30541 30543 28722 0 -1 4202560 301 0 0 0 0 0 0 0 15 0 19 0 883529703 10796687360 18129 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 6 0 0 0
[pid=30543/tid=30553] ppid=30541 vsize=10543640 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30553/stat : 30553 (java) S 30541 30543 28722 0 -1 4202560 141 0 0 0 0 0 0 0 15 0 19 0 883529703 10796687360 18129 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 6 0 0 0
[pid=30543/tid=30554] ppid=30541 vsize=10543640 CPUtime=0.18 cores=0,2,4,6
/proc/30543/task/30554/stat : 30554 (java) S 30541 30543 28722 0 -1 4202560 709 0 0 0 18 0 0 0 16 0 19 0 883529704 10796687360 18129 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738221568 0 0 0 16800975 18446604440278903808 0 0 -1 4 0 0 0
[pid=30543/tid=30555] ppid=30541 vsize=10543640 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30555/stat : 30555 (java) S 30541 30543 28722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883529704 10796687360 18129 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 4 0 0 0
[pid=30543/tid=30556] ppid=30541 vsize=10543640 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30556/stat : 30556 (java) S 30541 30543 28722 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883529704 10796687360 18129 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 4 0 0 0
[pid=30543/tid=30557] ppid=30541 vsize=10543640 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30557/stat : 30557 (java) S 30541 30543 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883529707 10796687360 18129 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738228657 0 4 0 16800975 18446604440278903808 0 0 -1 4 0 0 0
[pid=30543/tid=30558] ppid=30541 vsize=10543640 CPUtime=0.24 cores=0,2,4,6
/proc/30543/task/30558/stat : 30558 (java) S 30541 30543 28722 0 -1 4202560 1927 0 0 0 24 0 0 0 15 0 19 0 883529707 10796687360 18129 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30559] ppid=30541 vsize=10543640 CPUtime=0.23 cores=0,2,4,6
/proc/30543/task/30559/stat : 30559 (java) S 30541 30543 28722 0 -1 4202560 2710 0 0 0 23 0 0 0 15 0 19 0 883529707 10796687360 18129 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 0 0 0 0
[pid=30543/tid=30560] ppid=30541 vsize=10543640 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30560/stat : 30560 (java) S 30541 30543 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883529707 10796687360 18129 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 4 0 0 0
[pid=30543/tid=30561] ppid=30541 vsize=10543640 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30561/stat : 30561 (java) S 30541 30543 28722 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 883529707 10796687360 18129 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738221568 0 4 0 16800975 18446604440278903808 0 0 -1 0 0 0 0
[pid=30543/tid=30562] ppid=30541 vsize=10543640 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30562/stat : 30562 (java) S 30541 30543 28722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883529718 10796687360 18129 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738221568 0 4 0 16800975 18446604440278903808 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 6.81
Current children cumulated vsize (KiB) 10543640

[startup+12.7009 s]

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

/proc/30543/task/30546/stat : 30546 (java) S 30541 30543 28722 0 -1 4202560 222 0 0 0 3 0 0 0 15 0 19 0 883529703 10806001664 20184 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 6 0 0 0
[pid=30543/tid=30547] ppid=30541 vsize=10552736 CPUtime=0.03 cores=0,2,4,6
/proc/30543/task/30547/stat : 30547 (java) S 30541 30543 28722 0 -1 4202560 12 0 0 0 3 0 0 0 15 0 19 0 883529703 10806001664 20184 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 6 0 0 0
[pid=30543/tid=30548] ppid=30541 vsize=10552736 CPUtime=0.04 cores=0,2,4,6
/proc/30543/task/30548/stat : 30548 (java) S 30541 30543 28722 0 -1 4202560 168 0 0 0 4 0 0 0 15 0 19 0 883529703 10806001664 20184 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 0 0 0 0
[pid=30543/tid=30549] ppid=30541 vsize=10552736 CPUtime=0.03 cores=0,2,4,6
/proc/30543/task/30549/stat : 30549 (java) S 30541 30543 28722 0 -1 4202560 11 0 0 0 3 0 0 0 15 0 19 0 883529703 10806001664 20184 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30550] ppid=30541 vsize=10552736 CPUtime=0.04 cores=0,2,4,6
/proc/30543/task/30550/stat : 30550 (java) S 30541 30543 28722 0 -1 4202560 7 0 0 0 4 0 0 0 15 0 19 0 883529703 10806001664 20184 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30551] ppid=30541 vsize=10552736 CPUtime=0.03 cores=0,2,4,6
/proc/30543/task/30551/stat : 30551 (java) S 30541 30543 28722 0 -1 4202560 224 0 0 0 3 0 0 0 15 0 19 0 883529703 10806001664 20184 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30552] ppid=30541 vsize=10552736 CPUtime=0.04 cores=0,2,4,6
/proc/30543/task/30552/stat : 30552 (java) S 30541 30543 28722 0 -1 4202560 305 0 0 0 4 0 0 0 16 0 19 0 883529703 10806001664 20184 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 0 0 0 0
[pid=30543/tid=30553] ppid=30541 vsize=10552736 CPUtime=0.04 cores=0,2,4,6
/proc/30543/task/30553/stat : 30553 (java) S 30541 30543 28722 0 -1 4202560 146 0 0 0 4 0 0 0 15 0 19 0 883529703 10806001664 20184 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30554] ppid=30541 vsize=10552736 CPUtime=1.7 cores=0,2,4,6
/proc/30543/task/30554/stat : 30554 (java) S 30541 30543 28722 0 -1 4202560 1002 0 0 0 169 1 0 0 15 0 19 0 883529704 10806001664 20184 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738221568 0 0 0 16800975 18446604440278903808 0 0 -1 4 0 0 0
[pid=30543/tid=30555] ppid=30541 vsize=10552736 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30555/stat : 30555 (java) S 30541 30543 28722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883529704 10806001664 20184 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 4 0 0 0
[pid=30543/tid=30556] ppid=30541 vsize=10552736 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30556/stat : 30556 (java) S 30541 30543 28722 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883529704 10806001664 20184 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 4 0 0 0
[pid=30543/tid=30557] ppid=30541 vsize=10552736 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30557/stat : 30557 (java) S 30541 30543 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883529707 10806001664 20184 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738228657 0 4 0 16800975 18446604440278903808 0 0 -1 4 0 0 0
[pid=30543/tid=30558] ppid=30541 vsize=10552736 CPUtime=0.64 cores=0,2,4,6
/proc/30543/task/30558/stat : 30558 (java) S 30541 30543 28722 0 -1 4202560 7996 0 0 0 63 1 0 0 15 0 19 0 883529707 10806001664 20184 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30559] ppid=30541 vsize=10552736 CPUtime=0.39 cores=0,2,4,6
/proc/30543/task/30559/stat : 30559 (java) S 30541 30543 28722 0 -1 4202560 4024 0 0 0 39 0 0 0 15 0 19 0 883529707 10806001664 20184 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 0 0 0 0
[pid=30543/tid=30560] ppid=30541 vsize=10552736 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30560/stat : 30560 (java) S 30541 30543 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883529707 10806001664 20184 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 4 0 0 0
[pid=30543/tid=30561] ppid=30541 vsize=10552736 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30561/stat : 30561 (java) S 30541 30543 28722 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 883529707 10806001664 20184 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738221568 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30562] ppid=30541 vsize=10552736 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30562/stat : 30562 (java) S 30541 30543 28722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883529718 10806001664 20184 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738221568 0 4 0 16800975 18446604440278903808 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 47.47
Current children cumulated vsize (KiB) 10552736

[startup+47.9012 s]
/proc/loadavg: 2.12 2.05 1.95 3/211 30563
/proc/meminfo: memFree=1384556/32951124 swapFree=67064576/67111528
[pid=30543] ppid=30541 vsize=10552736 CPUtime=49.07 cores=0,2,4,6
/proc/30543/stat : 30543 (java) S 30541 30543 28722 0 -1 4202496 28253 0 1 0 4901 6 0 0 25 0 19 0 883529700 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30543/statm: 2638184 20192 2252 9 0 2628918 0
[pid=30543/tid=30545] ppid=30541 vsize=10552736 CPUtime=45.91 cores=0,2,4,6
/proc/30543/task/30545/stat : 30545 (java) R 30541 30543 28722 0 -1 4202560 12971 0 1 0 4590 1 0 0 18 0 19 0 883529701 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 46912505579134 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30543/tid=30546] ppid=30541 vsize=10552736 CPUtime=0.03 cores=0,2,4,6
/proc/30543/task/30546/stat : 30546 (java) S 30541 30543 28722 0 -1 4202560 222 0 0 0 3 0 0 0 15 0 19 0 883529703 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 6 0 0 0
[pid=30543/tid=30547] ppid=30541 vsize=10552736 CPUtime=0.03 cores=0,2,4,6
/proc/30543/task/30547/stat : 30547 (java) S 30541 30543 28722 0 -1 4202560 12 0 0 0 3 0 0 0 15 0 19 0 883529703 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 6 0 0 0
[pid=30543/tid=30548] ppid=30541 vsize=10552736 CPUtime=0.04 cores=0,2,4,6
/proc/30543/task/30548/stat : 30548 (java) S 30541 30543 28722 0 -1 4202560 168 0 0 0 4 0 0 0 15 0 19 0 883529703 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 0 0 0 0
[pid=30543/tid=30549] ppid=30541 vsize=10552736 CPUtime=0.03 cores=0,2,4,6
/proc/30543/task/30549/stat : 30549 (java) S 30541 30543 28722 0 -1 4202560 11 0 0 0 3 0 0 0 15 0 19 0 883529703 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30550] ppid=30541 vsize=10552736 CPUtime=0.04 cores=0,2,4,6
/proc/30543/task/30550/stat : 30550 (java) S 30541 30543 28722 0 -1 4202560 9 0 0 0 4 0 0 0 15 0 19 0 883529703 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 0 0 0 0
[pid=30543/tid=30551] ppid=30541 vsize=10552736 CPUtime=0.04 cores=0,2,4,6
/proc/30543/task/30551/stat : 30551 (java) S 30541 30543 28722 0 -1 4202560 224 0 0 0 4 0 0 0 16 0 19 0 883529703 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30552] ppid=30541 vsize=10552736 CPUtime=0.04 cores=0,2,4,6
/proc/30543/task/30552/stat : 30552 (java) S 30541 30543 28722 0 -1 4202560 308 0 0 0 4 0 0 0 16 0 19 0 883529703 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 0 0 0 0
[pid=30543/tid=30553] ppid=30541 vsize=10552736 CPUtime=0.04 cores=0,2,4,6
/proc/30543/task/30553/stat : 30553 (java) S 30541 30543 28722 0 -1 4202560 146 0 0 0 4 0 0 0 15 0 19 0 883529703 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 6 0 0 0
[pid=30543/tid=30554] ppid=30541 vsize=10552736 CPUtime=1.75 cores=0,2,4,6
/proc/30543/task/30554/stat : 30554 (java) S 30541 30543 28722 0 -1 4202560 1005 0 0 0 174 1 0 0 15 0 19 0 883529704 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738221568 0 0 0 16800975 18446604440278903808 0 0 -1 4 0 0 0
[pid=30543/tid=30555] ppid=30541 vsize=10552736 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30555/stat : 30555 (java) S 30541 30543 28722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883529704 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 4 0 0 0
[pid=30543/tid=30556] ppid=30541 vsize=10552736 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30556/stat : 30556 (java) S 30541 30543 28722 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883529704 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 4 0 0 0
[pid=30543/tid=30557] ppid=30541 vsize=10552736 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30557/stat : 30557 (java) S 30541 30543 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883529707 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738228657 0 4 0 16800975 18446604440278903808 0 0 -1 4 0 0 0
[pid=30543/tid=30558] ppid=30541 vsize=10552736 CPUtime=0.64 cores=0,2,4,6
/proc/30543/task/30558/stat : 30558 (java) S 30541 30543 28722 0 -1 4202560 7996 0 0 0 63 1 0 0 15 0 19 0 883529707 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30559] ppid=30541 vsize=10552736 CPUtime=0.39 cores=0,2,4,6
/proc/30543/task/30559/stat : 30559 (java) S 30541 30543 28722 0 -1 4202560 4024 0 0 0 39 0 0 0 15 0 19 0 883529707 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 0 0 0 0
[pid=30543/tid=30560] ppid=30541 vsize=10552736 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30560/stat : 30560 (java) S 30541 30543 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883529707 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 4 0 0 0
[pid=30543/tid=30561] ppid=30541 vsize=10552736 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30561/stat : 30561 (java) S 30541 30543 28722 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 883529707 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738221568 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30562] ppid=30541 vsize=10552736 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30562/stat : 30562 (java) S 30541 30543 28722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883529718 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738221568 0 4 0 16800975 18446604440278903808 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.07
Current children cumulated vsize (KiB) 10552736

[startup+48.3011 s]
/proc/loadavg: 2.12 2.05 1.95 3/211 30563
/proc/meminfo: memFree=1384556/32951124 swapFree=67064576/67111528
[pid=30543] ppid=30541 vsize=10552736 CPUtime=49.48 cores=0,2,4,6
/proc/30543/stat : 30543 (java) S 30541 30543 28722 0 -1 4202496 28254 0 1 0 4942 6 0 0 25 0 19 0 883529700 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30543/statm: 2638184 20192 2252 9 0 2628918 0
[pid=30543/tid=30545] ppid=30541 vsize=10552736 CPUtime=46.29 cores=0,2,4,6
/proc/30543/task/30545/stat : 30545 (java) R 30541 30543 28722 0 -1 4202560 12972 0 1 0 4628 1 0 0 18 0 19 0 883529701 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 46912505366471 0 4 0 16800975 0 0 0 -1 2 0 0 0
[pid=30543/tid=30546] ppid=30541 vsize=10552736 CPUtime=0.03 cores=0,2,4,6
/proc/30543/task/30546/stat : 30546 (java) S 30541 30543 28722 0 -1 4202560 222 0 0 0 3 0 0 0 15 0 19 0 883529703 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 6 0 0 0
[pid=30543/tid=30547] ppid=30541 vsize=10552736 CPUtime=0.03 cores=0,2,4,6
/proc/30543/task/30547/stat : 30547 (java) S 30541 30543 28722 0 -1 4202560 12 0 0 0 3 0 0 0 15 0 19 0 883529703 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 6 0 0 0
[pid=30543/tid=30548] ppid=30541 vsize=10552736 CPUtime=0.04 cores=0,2,4,6
/proc/30543/task/30548/stat : 30548 (java) S 30541 30543 28722 0 -1 4202560 168 0 0 0 4 0 0 0 15 0 19 0 883529703 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 0 0 0 0
[pid=30543/tid=30549] ppid=30541 vsize=10552736 CPUtime=0.03 cores=0,2,4,6
/proc/30543/task/30549/stat : 30549 (java) S 30541 30543 28722 0 -1 4202560 11 0 0 0 3 0 0 0 15 0 19 0 883529703 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30550] ppid=30541 vsize=10552736 CPUtime=0.04 cores=0,2,4,6
/proc/30543/task/30550/stat : 30550 (java) S 30541 30543 28722 0 -1 4202560 9 0 0 0 4 0 0 0 15 0 19 0 883529703 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 0 0 0 0
[pid=30543/tid=30551] ppid=30541 vsize=10552736 CPUtime=0.04 cores=0,2,4,6
/proc/30543/task/30551/stat : 30551 (java) S 30541 30543 28722 0 -1 4202560 224 0 0 0 4 0 0 0 15 0 19 0 883529703 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30552] ppid=30541 vsize=10552736 CPUtime=0.04 cores=0,2,4,6
/proc/30543/task/30552/stat : 30552 (java) S 30541 30543 28722 0 -1 4202560 308 0 0 0 4 0 0 0 15 0 19 0 883529703 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 0 0 0 0
[pid=30543/tid=30553] ppid=30541 vsize=10552736 CPUtime=0.04 cores=0,2,4,6
/proc/30543/task/30553/stat : 30553 (java) S 30541 30543 28722 0 -1 4202560 146 0 0 0 4 0 0 0 15 0 19 0 883529703 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 6 0 0 0
[pid=30543/tid=30554] ppid=30541 vsize=10552736 CPUtime=1.77 cores=0,2,4,6
/proc/30543/task/30554/stat : 30554 (java) S 30541 30543 28722 0 -1 4202560 1005 0 0 0 176 1 0 0 15 0 19 0 883529704 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738221568 0 0 0 16800975 18446604440278903808 0 0 -1 4 0 0 0
[pid=30543/tid=30555] ppid=30541 vsize=10552736 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30555/stat : 30555 (java) S 30541 30543 28722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883529704 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 4 0 0 0
[pid=30543/tid=30556] ppid=30541 vsize=10552736 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30556/stat : 30556 (java) S 30541 30543 28722 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883529704 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 4 0 0 0
[pid=30543/tid=30557] ppid=30541 vsize=10552736 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30557/stat : 30557 (java) S 30541 30543 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883529707 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738228657 0 4 0 16800975 18446604440278903808 0 0 -1 4 0 0 0
[pid=30543/tid=30558] ppid=30541 vsize=10552736 CPUtime=0.64 cores=0,2,4,6
/proc/30543/task/30558/stat : 30558 (java) S 30541 30543 28722 0 -1 4202560 7996 0 0 0 63 1 0 0 15 0 19 0 883529707 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30559] ppid=30541 vsize=10552736 CPUtime=0.39 cores=0,2,4,6
/proc/30543/task/30559/stat : 30559 (java) S 30541 30543 28722 0 -1 4202560 4024 0 0 0 39 0 0 0 15 0 19 0 883529707 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 0 0 0 0
[pid=30543/tid=30560] ppid=30541 vsize=10552736 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30560/stat : 30560 (java) S 30541 30543 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883529707 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 4 0 0 0
[pid=30543/tid=30561] ppid=30541 vsize=10552736 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30561/stat : 30561 (java) S 30541 30543 28722 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 883529707 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738221568 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30562] ppid=30541 vsize=10552736 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30562/stat : 30562 (java) S 30541 30543 28722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883529718 10806001664 20192 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738221568 0 4 0 16800975 18446604440278903808 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.48
Current children cumulated vsize (KiB) 10552736

[startup+48.5011 s]
/proc/loadavg: 2.12 2.05 1.95 3/211 30563
/proc/meminfo: memFree=1384556/32951124 swapFree=67064576/67111528
[pid=30543] ppid=30541 vsize=10552736 CPUtime=49.67 cores=0,2,4,6
/proc/30543/stat : 30543 (java) S 30541 30543 28722 0 -1 4202496 28257 0 1 0 4961 6 0 0 25 0 19 0 883529700 10806001664 20195 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738207717 0 0 0 16800975 18446744073709551615 0 0 17 4 0 0 0
/proc/30543/statm: 2638184 20195 2252 9 0 2628918 0
[pid=30543/tid=30545] ppid=30541 vsize=10552736 CPUtime=46.49 cores=0,2,4,6
/proc/30543/task/30545/stat : 30545 (java) S 30541 30543 28722 0 -1 4202560 12974 0 1 0 4648 1 0 0 18 0 19 0 883529701 10806001664 20195 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30546] ppid=30541 vsize=10552736 CPUtime=0.03 cores=0,2,4,6
/proc/30543/task/30546/stat : 30546 (java) S 30541 30543 28722 0 -1 4202560 222 0 0 0 3 0 0 0 15 0 19 0 883529703 10806001664 20195 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 6 0 0 0
[pid=30543/tid=30547] ppid=30541 vsize=10552736 CPUtime=0.04 cores=0,2,4,6
/proc/30543/task/30547/stat : 30547 (java) S 30541 30543 28722 0 -1 4202560 12 0 0 0 4 0 0 0 15 0 19 0 883529703 10806001664 20195 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 6 0 0 0
[pid=30543/tid=30548] ppid=30541 vsize=10552736 CPUtime=0.04 cores=0,2,4,6
/proc/30543/task/30548/stat : 30548 (java) S 30541 30543 28722 0 -1 4202560 168 0 0 0 4 0 0 0 15 0 19 0 883529703 10806001664 20195 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 0 0 0 0
[pid=30543/tid=30549] ppid=30541 vsize=10552736 CPUtime=0.03 cores=0,2,4,6
/proc/30543/task/30549/stat : 30549 (java) S 30541 30543 28722 0 -1 4202560 12 0 0 0 3 0 0 0 15 0 19 0 883529703 10806001664 20195 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30550] ppid=30541 vsize=10552736 CPUtime=0.04 cores=0,2,4,6
/proc/30543/task/30550/stat : 30550 (java) S 30541 30543 28722 0 -1 4202560 9 0 0 0 4 0 0 0 15 0 19 0 883529703 10806001664 20195 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 0 0 0 0
[pid=30543/tid=30551] ppid=30541 vsize=10552736 CPUtime=0.04 cores=0,2,4,6
/proc/30543/task/30551/stat : 30551 (java) S 30541 30543 28722 0 -1 4202560 224 0 0 0 4 0 0 0 15 0 19 0 883529703 10806001664 20195 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30552] ppid=30541 vsize=10552736 CPUtime=0.04 cores=0,2,4,6
/proc/30543/task/30552/stat : 30552 (java) S 30541 30543 28722 0 -1 4202560 308 0 0 0 4 0 0 0 15 0 19 0 883529703 10806001664 20195 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 0 0 0 0
[pid=30543/tid=30553] ppid=30541 vsize=10552736 CPUtime=0.04 cores=0,2,4,6
/proc/30543/task/30553/stat : 30553 (java) S 30541 30543 28722 0 -1 4202560 146 0 0 0 4 0 0 0 15 0 19 0 883529703 10806001664 20195 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 6 0 0 0
[pid=30543/tid=30554] ppid=30541 vsize=10552736 CPUtime=1.77 cores=0,2,4,6
/proc/30543/task/30554/stat : 30554 (java) R 30541 30543 28722 0 -1 4202560 1005 0 0 0 176 1 0 0 15 0 19 0 883529704 10806001664 20195 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 47990556837615 0 0 0 16800975 0 0 0 -1 4 0 0 0
[pid=30543/tid=30555] ppid=30541 vsize=10552736 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30555/stat : 30555 (java) S 30541 30543 28722 0 -1 4202560 17 0 0 0 0 0 0 0 18 0 19 0 883529704 10806001664 20195 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 4 0 0 0
[pid=30543/tid=30556] ppid=30541 vsize=10552736 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30556/stat : 30556 (java) S 30541 30543 28722 0 -1 4202560 10 0 0 0 0 0 0 0 18 0 19 0 883529704 10806001664 20195 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 4 0 0 0
[pid=30543/tid=30557] ppid=30541 vsize=10552736 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30557/stat : 30557 (java) S 30541 30543 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883529707 10806001664 20195 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738228657 0 4 0 16800975 18446604440278903808 0 0 -1 4 0 0 0
[pid=30543/tid=30558] ppid=30541 vsize=10552736 CPUtime=0.64 cores=0,2,4,6
/proc/30543/task/30558/stat : 30558 (java) S 30541 30543 28722 0 -1 4202560 7996 0 0 0 63 1 0 0 15 0 19 0 883529707 10806001664 20195 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30559] ppid=30541 vsize=10552736 CPUtime=0.39 cores=0,2,4,6
/proc/30543/task/30559/stat : 30559 (java) S 30541 30543 28722 0 -1 4202560 4024 0 0 0 39 0 0 0 15 0 19 0 883529707 10806001664 20195 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 0 0 0 0
[pid=30543/tid=30560] ppid=30541 vsize=10552736 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30560/stat : 30560 (java) S 30541 30543 28722 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 883529707 10806001664 20195 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738220953 0 4 0 16800975 18446604440278903808 0 0 -1 4 0 0 0
[pid=30543/tid=30561] ppid=30541 vsize=10552736 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30561/stat : 30561 (java) S 30541 30543 28722 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 883529707 10806001664 20195 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738221568 0 4 0 16800975 18446604440278903808 0 0 -1 2 0 0 0
[pid=30543/tid=30562] ppid=30541 vsize=10552736 CPUtime=0 cores=0,2,4,6
/proc/30543/task/30562/stat : 30562 (java) S 30541 30543 28722 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 883529718 10806001664 20195 33554432000 1073741824 1073778376 140733309224432 18446744073709551615 264738221568 0 4 0 16800975 18446604440278903808 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 49.67
Current children cumulated vsize (KiB) 10552736

Child status: 30
Real time (s): 48.572
CPU time (s): 49.7504
CPU user time (s): 49.6824
CPU system time (s): 0.067989
CPU usage (%): 102.426
Max. virtual memory (cumulated for all children) (KiB): 10564516

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 49.6824
system time used= 0.067989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28278
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= 5193
involuntary context switches= 2305

runsolver used 0.090986 second user time and 0.183972 second system time

The end

Launcher Data 

Begin job on node141 at 2011-06-12 22:39:01
IDJOB=3492693
IDBENCH=79230
IDSOLVER=1982
FILE ID=node141/3492693-1307911141
RUNJOBID= node141-1307908222-29947
PBS_JOBID= 13559567
Free space on /var/tmp= 2912 MiB

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

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

MD5SUM BENCH= 9ace4a5d353416c2f92762446c6d8e82
RANDOM SEED=1079865828

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

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.61
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5362.96
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.84
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.806
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:       1478912 kB
Buffers:         62772 kB
Cached:       30381132 kB
SwapCached:       8816 kB
Active:       15260108 kB
Inactive:     15263544 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:       1478912 kB
SwapTotal:    67111528 kB
SwapFree:     67064576 kB
Dirty:             496 kB
Writeback:           0 kB
AnonPages:       77956 kB
Mapped:          18376 kB
Slab:           884864 kB
PageTables:       4100 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10514960 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

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