Trace number 3492675

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 58.1412 56.6343

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/
normalized-t2001.13queen13.1111224929--soft-0-100-0.wbo
MD5SUM5f93bdccbf9c1cc8d25b014cd19ec634
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark8
Best CPU time to get the best result obtained on this benchmark3.03354
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 5034
Min constraint cost 1
Max constraint cost 98
Sum of constraints costs 5033
Biggest number in a constraint 38
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 1264
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.09	c version 2.3.1.v20110525
0.02/0.09	c java.runtime.name	Java(TM) SE Runtime Environment
0.02/0.09	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.02/0.09	c java.vm.version	19.1-b02
0.02/0.09	c java.vm.vendor	Sun Microsystems Inc.
0.02/0.09	c sun.arch.data.model	64
0.02/0.09	c java.version		1.6.0_24
0.02/0.09	c os.name		Linux
0.02/0.09	c os.version		2.6.18-164.el5
0.02/0.09	c os.arch		amd64
0.02/0.09	c Free memory 		9996466904
0.02/0.09	c Max memory 		10048897024
0.02/0.09	c Total memory 		10048897024
0.02/0.09	c Number of processors 	8
0.10/0.11	c Pseudo Boolean Optimization
0.10/0.11	c --- Begin Solver configuration ---
0.10/0.11	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@38540408
0.10/0.11	c Learn all clauses as in MiniSAT
0.10/0.11	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.10/0.11	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.10/0.11	c Expensive reason simplification
0.10/0.11	c Armin Biere (Picosat) restarts strategy
0.10/0.11	c Glucose learned constraints deletion strategy
0.10/0.11	c timeout=2147483s
0.10/0.11	c DB Simplification allowed=false
0.10/0.11	c --- End Solver configuration ---
0.10/0.11	c solving HOME/instance-3492675-1307911127.wbo
0.10/0.11	c reading problem ... 
0.10/0.16	c ... done. Wall clock time 0.055s.
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.28/0.23	c SATISFIABLE
0.28/0.23	c OPTIMIZING...
0.28/0.23	c Got one! Elapsed wall clock time (in seconds):0.115
0.28/0.23	o 607
0.28/0.25	c Got one! Elapsed wall clock time (in seconds):0.138
0.28/0.25	o 550
0.28/0.27	c Got one! Elapsed wall clock time (in seconds):0.158
0.28/0.27	o 538
0.28/0.29	c Got one! Elapsed wall clock time (in seconds):0.183
0.28/0.29	o 515
0.52/0.30	c Got one! Elapsed wall clock time (in seconds):0.195
0.52/0.30	o 500
0.52/0.32	c Got one! Elapsed wall clock time (in seconds):0.214
0.52/0.32	o 486
0.86/0.64	c cleaning 3212 clauses out of 6426 with flag 5000/6426
0.99/0.73	c Got one! Elapsed wall clock time (in seconds):0.619
0.99/0.73	o 476
0.99/0.79	c Got one! Elapsed wall clock time (in seconds):0.684
0.99/0.79	o 461
1.12/0.81	c Got one! Elapsed wall clock time (in seconds):0.702
1.12/0.81	o 437
1.12/0.84	c Got one! Elapsed wall clock time (in seconds):0.733
1.12/0.84	o 433
1.12/0.88	c Got one! Elapsed wall clock time (in seconds):0.772
1.12/0.88	o 404
1.22/0.93	c cleaning 5177 clauses out of 10358 with flag 1000/13570
1.22/0.97	c Got one! Elapsed wall clock time (in seconds):0.865
1.22/0.97	o 376
1.44/1.19	c cleaning 5379 clauses out of 10766 with flag 5000/19155
1.54/1.23	c Got one! Elapsed wall clock time (in seconds):1.124
1.54/1.23	o 366
1.64/1.34	c Got one! Elapsed wall clock time (in seconds):1.227
1.64/1.34	o 359
1.74/1.46	c cleaning 5570 clauses out of 11144 with flag 3002/24912
1.86/1.58	c Got one! Elapsed wall clock time (in seconds):1.469
1.86/1.58	o 345
1.97/1.69	c Got one! Elapsed wall clock time (in seconds):1.582
1.97/1.69	o 307
2.07/1.74	c cleaning 5543 clauses out of 11092 with flag 1002/30430
2.48/2.10	c cleaning 5767 clauses out of 11547 with flag 7000/36428
2.58/2.27	c Got one! Elapsed wall clock time (in seconds):2.165
2.58/2.27	o 280
2.68/2.38	c cleaning 5555 clauses out of 11115 with flag 2005/41763
2.78/2.42	c Got one! Elapsed wall clock time (in seconds):2.309
2.78/2.42	o 279
3.10/2.72	c cleaning 5573 clauses out of 11161 with flag 5001/47364
3.20/2.89	c Got one! Elapsed wall clock time (in seconds):2.782
3.20/2.89	o 262
3.40/3.00	c cleaning 5725 clauses out of 11455 with flag 3000/53231
3.71/3.33	c Got one! Elapsed wall clock time (in seconds):3.221
3.71/3.33	o 260
3.90/3.53	c cleaning 8193 clauses out of 16392 with flag 5003/63893
4.21/3.87	c cleaning 7092 clauses out of 14196 with flag 11000/69890
4.71/4.33	c cleaning 7048 clauses out of 14104 with flag 18000/76890
5.11/4.78	c cleaning 7525 clauses out of 15057 with flag 26001/84891
5.51/5.15	c Got one! Elapsed wall clock time (in seconds):5.045
5.51/5.15	o 258
5.71/5.30	c Got one! Elapsed wall clock time (in seconds):5.191
5.71/5.30	o 236
5.82/5.47	c cleaning 10288 clauses out of 20587 with flag 3000/97946
6.01/5.64	c Got one! Elapsed wall clock time (in seconds):5.53
6.01/5.64	o 227
6.11/5.72	c cleaning 7694 clauses out of 15394 with flag 2000/103041
6.41/6.08	c cleaning 6839 clauses out of 13700 with flag 8000/109041
6.92/6.52	c cleaning 6921 clauses out of 13861 with flag 15000/116041
7.32/6.94	c cleaning 7465 clauses out of 14944 with flag 23004/124045
7.82/7.40	c cleaning 8237 clauses out of 16478 with flag 32003/133044
8.22/7.86	c Got one! Elapsed wall clock time (in seconds):7.749
8.22/7.86	o 225
8.42/8.09	c cleaning 11164 clauses out of 22341 with flag 5001/147144
8.82/8.44	c cleaning 8584 clauses out of 17176 with flag 11000/153143
9.13/8.75	c cleaning 7788 clauses out of 15592 with flag 18000/160143
9.53/9.19	c cleaning 7891 clauses out of 15805 with flag 26001/168144
10.03/9.68	c cleaning 8452 clauses out of 16913 with flag 35000/177143
10.63/10.25	c cleaning 9225 clauses out of 18462 with flag 45001/187144
11.03/10.64	c Got one! Elapsed wall clock time (in seconds):10.531
11.03/10.64	o 192
11.27/10.85	c cleaning 11155 clauses out of 22316 with flag 5003/200223
11.37/10.99	c Got one! Elapsed wall clock time (in seconds):10.883
11.37/10.99	o 186
11.57/11.11	c cleaning 8506 clauses out of 17017 with flag 3000/206079
11.67/11.29	c Got one! Elapsed wall clock time (in seconds):11.179
11.67/11.29	o 185
11.77/11.33	c cleaning 6754 clauses out of 13518 with flag 1000/211086
11.97/11.56	c cleaning 6375 clauses out of 12765 with flag 7001/217087
12.17/11.72	c Got one! Elapsed wall clock time (in seconds):11.615
12.17/11.72	o 179
12.32/11.82	c cleaning 6162 clauses out of 12332 with flag 3000/223029
12.52/12.04	c cleaning 6084 clauses out of 12171 with flag 9001/229030
12.62/12.11	c Got one! Elapsed wall clock time (in seconds):11.996
12.62/12.11	o 133
12.72/12.24	c cleaning 5613 clauses out of 11234 with flag 4000/234177
12.92/12.45	c cleaning 5806 clauses out of 11622 with flag 10001/240178
13.22/12.78	c cleaning 6403 clauses out of 12817 with flag 17002/247179
14.14/13.25	c cleaning 7202 clauses out of 14412 with flag 25000/255177
14.50/13.42	c Got one! Elapsed wall clock time (in seconds):13.315
14.50/13.42	o 107
14.70/13.51	c cleaning 6332 clauses out of 12675 with flag 2000/260642
15.00/13.72	c cleaning 6167 clauses out of 12344 with flag 8001/266643
15.21/13.97	c cleaning 6583 clauses out of 13176 with flag 15000/273642
15.62/14.32	c cleaning 7293 clauses out of 14593 with flag 23000/281642
16.12/14.82	c cleaning 8144 clauses out of 16300 with flag 32000/290642
16.22/14.98	c Got one! Elapsed wall clock time (in seconds):14.866
16.22/14.98	o 105
16.34/15.08	c cleaning 6904 clauses out of 13818 with flag 3000/296304
16.65/15.31	c cleaning 6455 clauses out of 12916 with flag 9002/302306
16.84/15.55	c cleaning 6727 clauses out of 13459 with flag 16000/309304
17.14/15.84	c cleaning 7362 clauses out of 14733 with flag 24001/317305
17.54/16.21	c cleaning 8180 clauses out of 16370 with flag 33000/326304
17.64/16.37	c Got one! Elapsed wall clock time (in seconds):16.264
17.64/16.37	o 95
17.75/16.44	c cleaning 6740 clauses out of 13485 with flag 2002/331599
17.95/16.64	c Got one! Elapsed wall clock time (in seconds):16.532
17.95/16.64	o 81
17.95/16.69	c cleaning 6016 clauses out of 12041 with flag 1006/336895
18.25/16.92	c cleaning 6000 clauses out of 12022 with flag 7003/342892
18.55/17.22	c cleaning 6504 clauses out of 13019 with flag 14000/349889
18.85/17.59	c cleaning 7255 clauses out of 14516 with flag 22001/357890
19.35/18.03	c cleaning 8124 clauses out of 16260 with flag 31000/366889
19.85/18.59	c cleaning 9066 clauses out of 18136 with flag 41000/376889
20.25/18.93	c Got one! Elapsed wall clock time (in seconds):18.816
20.25/18.93	o 67
20.45/19.13	c cleaning 10709 clauses out of 21419 with flag 5000/389238
20.65/19.37	c cleaning 8350 clauses out of 16711 with flag 11001/395239
20.95/19.63	c cleaning 7677 clauses out of 15361 with flag 18001/402239
21.25/19.96	c cleaning 7837 clauses out of 15683 with flag 26000/410238
21.66/20.34	c cleaning 8418 clauses out of 16846 with flag 35000/419238
21.66/20.39	c Got one! Elapsed wall clock time (in seconds):20.278
21.66/20.39	o 66
21.86/20.55	c cleaning 7097 clauses out of 14206 with flag 5000/425016
22.06/20.76	c cleaning 6550 clauses out of 13110 with flag 11001/431017
22.36/21.02	c cleaning 6778 clauses out of 13560 with flag 18001/438017
22.66/21.31	c cleaning 7386 clauses out of 14783 with flag 26002/446018
22.76/21.43	c Got one! Elapsed wall clock time (in seconds):21.325
22.76/21.43	o 53
22.86/21.51	c cleaning 6457 clauses out of 12923 with flag 2004/451544
23.06/21.72	c cleaning 6230 clauses out of 12463 with flag 8001/457541
23.27/21.97	c cleaning 6613 clauses out of 13235 with flag 15003/464543
23.56/22.25	c cleaning 7306 clauses out of 14620 with flag 23001/472541
23.87/22.59	c cleaning 8152 clauses out of 16313 with flag 32000/481540
24.27/22.96	c cleaning 9077 clauses out of 18162 with flag 42001/491541
24.57/23.25	c Got one! Elapsed wall clock time (in seconds):23.144
24.57/23.25	o 48
24.78/23.48	c cleaning 11213 clauses out of 22434 with flag 5002/504890
25.09/23.70	c cleaning 8611 clauses out of 17226 with flag 11007/510895
25.19/23.84	c Got one! Elapsed wall clock time (in seconds):23.73
25.19/23.84	o 47
25.19/23.88	c cleaning 6841 clauses out of 13690 with flag 1002/515970
25.40/24.08	c cleaning 6421 clauses out of 12847 with flag 7000/521968
25.70/24.34	c cleaning 6710 clauses out of 13427 with flag 14001/528969
26.00/24.67	c cleaning 7356 clauses out of 14719 with flag 22003/536971
26.40/25.01	c cleaning 8170 clauses out of 16360 with flag 31000/545968
26.50/25.12	c Got one! Elapsed wall clock time (in seconds):25.006
26.50/25.12	o 45
26.61/25.21	c cleaning 6858 clauses out of 13726 with flag 3003/551504
26.81/25.42	c cleaning 6428 clauses out of 12865 with flag 9000/557501
27.01/25.66	c cleaning 6714 clauses out of 13437 with flag 16000/564501
27.31/25.94	c cleaning 7357 clauses out of 14724 with flag 24001/572502
27.72/26.34	c cleaning 8178 clauses out of 16366 with flag 33000/581501
28.11/26.78	c cleaning 9091 clauses out of 18189 with flag 43001/591502
28.51/27.19	c cleaning 9544 clauses out of 19097 with flag 53000/601501
28.92/27.52	c Got one! Elapsed wall clock time (in seconds):27.41
28.92/27.52	o 42
29.11/27.76	c cleaning 11645 clauses out of 23295 with flag 5000/615243
29.31/27.99	c cleaning 8818 clauses out of 17650 with flag 11000/621243
29.61/28.24	c cleaning 7912 clauses out of 15835 with flag 18003/628246
29.92/28.53	c cleaning 7958 clauses out of 15921 with flag 26001/636244
30.21/28.87	c cleaning 8477 clauses out of 16962 with flag 35000/645243
30.61/29.27	c cleaning 9240 clauses out of 18485 with flag 45000/655243
31.12/29.71	c cleaning 9617 clauses out of 19245 with flag 55000/665243
31.51/30.10	c cleaning 9806 clauses out of 19628 with flag 65000/675243
31.91/30.54	c cleaning 9906 clauses out of 19823 with flag 75001/685244
32.31/30.93	c cleaning 9955 clauses out of 19917 with flag 85001/695244
32.31/30.95	c Got one! Elapsed wall clock time (in seconds):30.846
32.31/30.95	o 41
32.52/31.13	c cleaning 7663 clauses out of 15330 with flag 5001/700612
32.72/31.34	c cleaning 6828 clauses out of 13666 with flag 11000/706611
32.92/31.58	c cleaning 6918 clauses out of 13839 with flag 18001/713612
33.22/31.87	c cleaning 7456 clauses out of 14920 with flag 26000/721611
33.52/32.19	c cleaning 8229 clauses out of 16465 with flag 35001/730612
33.92/32.58	c cleaning 9113 clauses out of 18236 with flag 45001/740612
34.33/32.97	c cleaning 9553 clauses out of 19124 with flag 55002/750613
34.72/33.35	c cleaning 9779 clauses out of 19569 with flag 65000/760611
35.12/33.73	c cleaning 9892 clauses out of 19790 with flag 75000/770611
35.43/34.07	c cleaning 9947 clauses out of 19899 with flag 85001/780612
35.83/34.45	c cleaning 9971 clauses out of 19951 with flag 95000/790611
36.23/34.83	c cleaning 9984 clauses out of 19982 with flag 105002/800613
36.43/35.05	c Got one! Elapsed wall clock time (in seconds):34.942
36.43/35.05	o 40
36.63/35.24	c cleaning 10804 clauses out of 21614 with flag 5000/812229
36.83/35.46	c cleaning 8401 clauses out of 16810 with flag 11000/818229
37.13/35.71	c cleaning 7703 clauses out of 15411 with flag 18002/825231
37.43/36.00	c cleaning 7844 clauses out of 15706 with flag 26000/833229
37.53/36.20	c Got one! Elapsed wall clock time (in seconds):36.087
37.53/36.20	o 38
37.74/36.39	c cleaning 9064 clauses out of 18133 with flag 5003/843500
38.03/36.61	c cleaning 7531 clauses out of 15068 with flag 11002/849499
38.23/36.85	c cleaning 7263 clauses out of 14536 with flag 18001/856498
38.53/37.13	c cleaning 7630 clauses out of 15273 with flag 26001/864498
38.84/37.45	c cleaning 8316 clauses out of 16642 with flag 35000/873497
39.23/37.88	c cleaning 9159 clauses out of 18327 with flag 45001/883498
39.63/38.26	c cleaning 9581 clauses out of 19169 with flag 55002/893499
40.04/38.63	c cleaning 9781 clauses out of 19586 with flag 65000/903497
40.24/38.87	c Got one! Elapsed wall clock time (in seconds):38.761
40.24/38.87	o 35
40.54/39.12	c cleaning 10318 clauses out of 20641 with flag 5000/914333
40.74/39.34	c cleaning 8158 clauses out of 16323 with flag 11000/920333
40.94/39.60	c cleaning 7578 clauses out of 15165 with flag 18000/927333
41.24/39.89	c cleaning 7789 clauses out of 15587 with flag 26000/935333
41.64/40.21	c cleaning 8394 clauses out of 16799 with flag 35001/944334
41.94/40.57	c cleaning 9194 clauses out of 18404 with flag 45000/954333
42.24/40.87	c Got one! Elapsed wall clock time (in seconds):40.762
42.24/40.87	o 26
42.54/41.13	c cleaning 11115 clauses out of 22243 with flag 5000/967366
42.74/41.35	c cleaning 8554 clauses out of 17128 with flag 11000/973366
42.94/41.59	c cleaning 7783 clauses out of 15575 with flag 18001/980367
43.25/41.87	c cleaning 7895 clauses out of 15793 with flag 26002/988368
43.54/42.18	c cleaning 8445 clauses out of 16899 with flag 35003/997369
43.94/42.54	c cleaning 9217 clauses out of 18451 with flag 45000/1007366
44.25/42.90	c cleaning 9613 clauses out of 19236 with flag 55002/1017368
44.65/43.25	c cleaning 9806 clauses out of 19621 with flag 65000/1027366
45.05/43.68	c cleaning 9904 clauses out of 19815 with flag 75000/1037366
45.45/44.08	c cleaning 9951 clauses out of 19912 with flag 85001/1047367
45.75/44.39	c Got one! Elapsed wall clock time (in seconds):44.278
45.75/44.39	o 19
46.05/44.61	c cleaning 11755 clauses out of 23517 with flag 5000/1060923
46.25/44.84	c cleaning 8872 clauses out of 17762 with flag 11000/1066923
46.45/45.08	c cleaning 7942 clauses out of 15891 with flag 18001/1073924
46.75/45.36	c cleaning 7971 clauses out of 15949 with flag 26001/1081924
47.05/45.67	c cleaning 8486 clauses out of 16977 with flag 35000/1090923
47.45/46.03	c cleaning 9243 clauses out of 18494 with flag 45003/1100926
47.75/46.39	c cleaning 9621 clauses out of 19249 with flag 55001/1110924
48.15/46.74	c cleaning 9809 clauses out of 19627 with flag 65000/1120923
48.46/47.09	c cleaning 9905 clauses out of 19818 with flag 75000/1130923
48.86/47.43	c cleaning 9951 clauses out of 19914 with flag 85001/1140924
49.17/47.77	c cleaning 9974 clauses out of 19962 with flag 95000/1150923
49.47/48.04	c Got one! Elapsed wall clock time (in seconds):47.931
49.47/48.04	o 10
49.67/48.26	c cleaning 11670 clauses out of 23344 with flag 5000/1164279
49.87/48.47	c cleaning 8834 clauses out of 17676 with flag 11002/1170281
50.17/48.71	c cleaning 7910 clauses out of 15840 with flag 18000/1177279
50.37/48.97	c cleaning 7960 clauses out of 15931 with flag 26001/1185280
50.67/49.27	c cleaning 8475 clauses out of 16970 with flag 35000/1194279
51.07/49.61	c cleaning 9244 clauses out of 18496 with flag 45001/1204280
51.37/49.94	c cleaning 9623 clauses out of 19251 with flag 55000/1214279
51.68/50.29	c cleaning 9810 clauses out of 19628 with flag 65000/1224279
52.08/50.62	c cleaning 9903 clauses out of 19819 with flag 75001/1234280
52.38/50.95	c cleaning 9954 clauses out of 19915 with flag 85000/1244279
52.68/51.29	c cleaning 9975 clauses out of 19961 with flag 95000/1254279
52.98/51.58	c Got one! Elapsed wall clock time (in seconds):51.466
52.98/51.58	o 8
53.28/51.83	c cleaning 11686 clauses out of 23381 with flag 5001/1267674
53.48/52.06	c cleaning 8844 clauses out of 17696 with flag 11002/1273675
53.68/52.29	c cleaning 7921 clauses out of 15852 with flag 18002/1280675
53.98/52.57	c cleaning 7960 clauses out of 15930 with flag 26001/1288674
54.38/52.90	c cleaning 8478 clauses out of 16969 with flag 35000/1297673
54.69/53.27	c cleaning 9242 clauses out of 18491 with flag 45000/1307673
55.09/53.67	c cleaning 9617 clauses out of 19249 with flag 55000/1317673
55.49/54.02	c cleaning 9813 clauses out of 19632 with flag 65000/1327673
55.79/54.39	c cleaning 9905 clauses out of 19820 with flag 75001/1337674
56.19/54.75	c cleaning 9954 clauses out of 19915 with flag 85001/1347674
56.59/55.11	c cleaning 9980 clauses out of 19963 with flag 95003/1357676
56.90/55.49	c cleaning 9984 clauses out of 19980 with flag 105000/1367673
57.30/55.86	c cleaning 9990 clauses out of 19996 with flag 115000/1377673
57.70/56.22	c cleaning 9999 clauses out of 20006 with flag 125000/1387673
58.00/56.59	c cleaning 9998 clauses out of 20006 with flag 135000/1397673
58.10/56.62	c starts		: 237
58.10/56.62	c conflicts		: 1398214
58.10/56.62	c decisions		: 2268590
58.10/56.62	c propagations		: 35798453
58.10/56.62	c inspects		: 313050472
58.10/56.62	c shortcuts		: 0
58.10/56.62	c learnt literals	: 7
58.10/56.62	c learnt binary clauses	: 75
58.10/56.62	c learnt ternary clauses	: 794
58.10/56.62	c learnt constraints	: 1398206
58.10/56.62	c ignored constraints	: 0
58.10/56.62	c root simplifications	: 0
58.10/56.62	c removed literals (reason simplification)	: 8705297
58.10/56.62	c reason swapping (by a shorter reason)	: 0
58.10/56.62	c Calls to reduceDB	: 168
58.10/56.62	c number of reductions to clauses (during analyze)	: 0
58.10/56.62	c number of learned constraints concerned by reduction	: 0
58.10/56.62	c number of learning phase by resolution	: 0
58.10/56.62	c number of learning phase by cutting planes	: 0
58.10/56.62	c speed (assignments/second)	: 7090206.575559516
58.10/56.62	c non guided choices	2841
58.10/56.62	c learnt constraints type 
58.10/56.62	c constraints type 
58.10/56.62	c org.sat4j.minisat.constraints.cnf.OriginalWLClause => 30
58.10/56.62	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 71
58.10/56.62	s OPTIMUM FOUND
58.10/56.62	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 
58.10/56.62	c objective function=8
58.10/56.63	c Total wall clock time (in seconds): 56.516

Verifier Data 

OK	8

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3492675-1307911127/watcher-3492675-1307911127 -o /tmp/evaluation-result-3492675-1307911127/solver-3492675-1307911127 -C 1800 -W 1900 -M 15500 java -Xms10000m -Xmx10000m -jar sat4j-pb.jar Resolution HOME/instance-3492675-1307911127.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.11 2.06 1.94 2/195 6269
/proc/meminfo: memFree=32376628/32951124 swapFree=67050044/67111528
[pid=6269] ppid=6267 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/6269/stat : 6269 (java) R 6267 6269 2655 0 -1 4202496 798 0 0 0 0 0 0 0 25 0 1 0 902715454 23580672 542 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218365994773 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/6269/statm: 5757 552 413 9 0 124 0

[startup+0.0400651 s]
/proc/loadavg: 2.11 2.06 1.94 2/195 6269
/proc/meminfo: memFree=32376628/32951124 swapFree=67050044/67111528
[pid=6269] ppid=6267 vsize=10533016 CPUtime=0.02 cores=1,3,5,7
/proc/6269/stat : 6269 (java) S 6267 6269 2655 0 -1 4202496 11106 0 1 0 1 1 0 0 25 0 13 0 902715454 10785808384 10804 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382759909 0 0 0 16784584 18446744073709551615 0 0 17 3 0 0 0
/proc/6269/statm: 2633254 10804 1639 9 0 2624002 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 10533016

[startup+0.105073 s]
/proc/loadavg: 2.11 2.06 1.94 2/195 6269
/proc/meminfo: memFree=32376628/32951124 swapFree=67050044/67111528
[pid=6269] ppid=6267 vsize=10540396 CPUtime=0.1 cores=1,3,5,7
/proc/6269/stat : 6269 (java) S 6267 6269 2655 0 -1 4202496 13080 0 1 0 9 1 0 0 25 0 18 0 902715454 10793365504 12777 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6269/statm: 2635099 12778 2093 9 0 2625833 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540396

[startup+0.303955 s]
/proc/loadavg: 2.11 2.06 1.94 2/195 6269
/proc/meminfo: memFree=32376628/32951124 swapFree=67050044/67111528
[pid=6269] ppid=6267 vsize=10542448 CPUtime=0.52 cores=1,3,5,7
/proc/6269/stat : 6269 (java) S 6267 6269 2655 0 -1 4202496 15858 0 1 0 50 2 0 0 25 0 19 0 902715454 10795466752 14767 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6269/statm: 2635612 14767 2215 9 0 2626346 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 10542448

[startup+0.700922 s]
/proc/loadavg: 2.11 2.06 1.94 2/195 6269
/proc/meminfo: memFree=32376628/32951124 swapFree=67050044/67111528
[pid=6269] ppid=6267 vsize=10543472 CPUtime=0.99 cores=1,3,5,7
/proc/6269/stat : 6269 (java) S 6267 6269 2655 0 -1 4202496 16944 0 1 0 97 2 0 0 25 0 19 0 902715454 10796515328 15845 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6269/statm: 2635868 15845 2247 9 0 2626602 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 10543472

[startup+1.50078 s]
/proc/loadavg: 2.10 2.06 1.94 3/214 6288
/proc/meminfo: memFree=32320064/32951124 swapFree=67050044/67111528
[pid=6269] ppid=6267 vsize=10543472 CPUtime=1.86 cores=1,3,5,7
/proc/6269/stat : 6269 (java) S 6267 6269 2655 0 -1 4202496 17613 0 1 0 184 2 0 0 25 0 19 0 902715454 10796515328 16511 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6269/statm: 2635868 16511 2248 9 0 2626602 0
[pid=6269/tid=6271] ppid=6267 vsize=10543472 CPUtime=1.42 cores=1,3,5,7
/proc/6269/task/6271/stat : 6271 (java) R 6267 6269 2655 0 -1 4202560 12181 0 1 0 141 1 0 0 20 0 19 0 902715455 10796515328 16511 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 46912505590439 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6269/tid=6272] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6272/stat : 6272 (java) S 6267 6269 2655 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902715457 10796515328 16511 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 7 0 0 0
[pid=6269/tid=6273] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6273/stat : 6273 (java) S 6267 6269 2655 0 -1 4202560 15 0 0 0 0 0 0 0 15 0 19 0 902715457 10796515328 16511 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 7 0 0 0
[pid=6269/tid=6274] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6274/stat : 6274 (java) S 6267 6269 2655 0 -1 4202560 270 0 0 0 0 0 0 0 15 0 19 0 902715457 10796515328 16511 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 5 0 0 0
[pid=6269/tid=6275] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6275/stat : 6275 (java) S 6267 6269 2655 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 902715457 10796515328 16511 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 5 0 0 0
[pid=6269/tid=6276] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6276/stat : 6276 (java) S 6267 6269 2655 0 -1 4202560 280 0 0 0 0 0 0 0 15 0 19 0 902715457 10796515328 16511 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 7 0 0 0
[pid=6269/tid=6277] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6277/stat : 6277 (java) S 6267 6269 2655 0 -1 4202560 125 0 0 0 0 0 0 0 15 0 19 0 902715457 10796515328 16511 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 7 0 0 0
[pid=6269/tid=6278] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6278/stat : 6278 (java) S 6267 6269 2655 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902715457 10796515328 16511 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 5 0 0 0
[pid=6269/tid=6279] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6279/stat : 6279 (java) S 6267 6269 2655 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902715457 10796515328 16511 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 7 0 0 0
[pid=6269/tid=6280] ppid=6267 vsize=10543472 CPUtime=0.04 cores=1,3,5,7
/proc/6269/task/6280/stat : 6280 (java) S 6267 6269 2655 0 -1 4202560 456 0 0 0 4 0 0 0 15 0 19 0 902715458 10796515328 16511 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773760 0 0 0 16800975 18446604460914543488 0 0 -1 1 0 0 0
[pid=6269/tid=6281] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6281/stat : 6281 (java) S 6267 6269 2655 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 902715458 10796515328 16511 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6282] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6282/stat : 6282 (java) S 6267 6269 2655 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 902715458 10796515328 16511 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6283] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6283/stat : 6283 (java) S 6267 6269 2655 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 902715460 10796515328 16511 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382780849 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6284] ppid=6267 vsize=10543472 CPUtime=0.18 cores=1,3,5,7
/proc/6269/task/6284/stat : 6284 (java) S 6267 6269 2655 0 -1 4202560 1095 0 0 0 18 0 0 0 15 0 19 0 902715460 10796515328 16511 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6285] ppid=6267 vsize=10543472 CPUtime=0.18 cores=1,3,5,7
/proc/6269/task/6285/stat : 6285 (java) S 6267 6269 2655 0 -1 4202560 2008 0 0 0 18 0 0 0 15 0 19 0 902715460 10796515328 16511 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 5 0 0 0
[pid=6269/tid=6286] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6286/stat : 6286 (java) S 6267 6269 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902715460 10796515328 16511 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6287] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6287/stat : 6287 (java) S 6267 6269 2655 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902715460 10796515328 16511 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773760 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6288] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6288/stat : 6288 (java) S 6267 6269 2655 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902715471 10796515328 16511 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773760 0 4 0 16800975 18446604460914543488 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 1.86
Current children cumulated vsize (KiB) 10543472

[startup+3.1015 s]
/proc/loadavg: 2.10 2.06 1.94 3/214 6288
/proc/meminfo: memFree=32319056/32951124 swapFree=67050044/67111528
[pid=6269] ppid=6267 vsize=10543472 CPUtime=3.5 cores=1,3,5,7
/proc/6269/stat : 6269 (java) S 6267 6269 2655 0 -1 4202496 17662 0 1 0 348 2 0 0 25 0 19 0 902715454 10796515328 16555 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6269/statm: 2635868 16555 2249 9 0 2626602 0
[pid=6269/tid=6271] ppid=6267 vsize=10543472 CPUtime=2.95 cores=1,3,5,7
/proc/6269/task/6271/stat : 6271 (java) R 6267 6269 2655 0 -1 4202560 12187 0 1 0 294 1 0 0 25 0 19 0 902715455 10796515328 16555 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 46912505601473 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6269/tid=6272] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6272/stat : 6272 (java) S 6267 6269 2655 0 -1 4202560 2 0 0 0 0 0 0 0 15 0 19 0 902715457 10796515328 16555 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6273] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6273/stat : 6273 (java) S 6267 6269 2655 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 902715457 10796515328 16555 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6274] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6274/stat : 6274 (java) S 6267 6269 2655 0 -1 4202560 270 0 0 0 0 0 0 0 15 0 19 0 902715457 10796515328 16555 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 5 0 0 0
[pid=6269/tid=6275] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6275/stat : 6275 (java) S 6267 6269 2655 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 902715457 10796515328 16555 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 7 0 0 0
[pid=6269/tid=6276] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6276/stat : 6276 (java) S 6267 6269 2655 0 -1 4202560 280 0 0 0 0 0 0 0 15 0 19 0 902715457 10796515328 16555 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 7 0 0 0
[pid=6269/tid=6277] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6277/stat : 6277 (java) S 6267 6269 2655 0 -1 4202560 125 0 0 0 0 0 0 0 15 0 19 0 902715457 10796515328 16555 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 7 0 0 0
[pid=6269/tid=6278] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6278/stat : 6278 (java) S 6267 6269 2655 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 902715457 10796515328 16555 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 5 0 0 0
[pid=6269/tid=6279] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6279/stat : 6279 (java) S 6267 6269 2655 0 -1 4202560 3 0 0 0 0 0 0 0 16 0 19 0 902715457 10796515328 16555 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6280] ppid=6267 vsize=10543472 CPUtime=0.1 cores=1,3,5,7
/proc/6269/task/6280/stat : 6280 (java) S 6267 6269 2655 0 -1 4202560 492 0 0 0 10 0 0 0 16 0 19 0 902715458 10796515328 16555 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773760 0 0 0 16800975 18446604460914543488 0 0 -1 1 0 0 0
[pid=6269/tid=6281] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6281/stat : 6281 (java) S 6267 6269 2655 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 902715458 10796515328 16555 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6282] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6282/stat : 6282 (java) S 6267 6269 2655 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 902715458 10796515328 16555 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6283] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6283/stat : 6283 (java) S 6267 6269 2655 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 902715460 10796515328 16555 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382780849 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6284] ppid=6267 vsize=10543472 CPUtime=0.19 cores=1,3,5,7
/proc/6269/task/6284/stat : 6284 (java) S 6267 6269 2655 0 -1 4202560 1095 0 0 0 19 0 0 0 15 0 19 0 902715460 10796515328 16555 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6285] ppid=6267 vsize=10543472 CPUtime=0.2 cores=1,3,5,7
/proc/6269/task/6285/stat : 6285 (java) S 6267 6269 2655 0 -1 4202560 2012 0 0 0 20 0 0 0 15 0 19 0 902715460 10796515328 16555 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 5 0 0 0
[pid=6269/tid=6286] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6286/stat : 6286 (java) S 6267 6269 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902715460 10796515328 16555 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6287] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6287/stat : 6287 (java) S 6267 6269 2655 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902715460 10796515328 16555 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773760 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6288] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6288/stat : 6288 (java) S 6267 6269 2655 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902715471 10796515328 16555 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773760 0 4 0 16800975 18446604460914543488 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 3.5
Current children cumulated vsize (KiB) 10543472

[startup+6.30093 s]
/proc/loadavg: 2.10 2.06 1.94 3/214 6288
/proc/meminfo: memFree=32317088/32951124 swapFree=67050044/67111528
[pid=6269] ppid=6267 vsize=10543472 CPUtime=6.72 cores=1,3,5,7
/proc/6269/stat : 6269 (java) S 6267 6269 2655 0 -1 4202496 18106 0 1 0 670 2 0 0 25 0 19 0 902715454 10796515328 16962 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6269/statm: 2635868 16962 2249 9 0 2626602 0
[pid=6269/tid=6271] ppid=6267 vsize=10543472 CPUtime=6.05 cores=1,3,5,7
/proc/6269/task/6271/stat : 6271 (java) R 6267 6269 2655 0 -1 4202560 12195 0 1 0 604 1 0 0 25 0 19 0 902715455 10796515328 16962 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 46912505615500 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6269/tid=6272] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6272/stat : 6272 (java) S 6267 6269 2655 0 -1 4202560 5 0 0 0 0 0 0 0 15 0 19 0 902715457 10796515328 16962 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6273] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6273/stat : 6273 (java) S 6267 6269 2655 0 -1 4202560 16 0 0 0 0 0 0 0 15 0 19 0 902715457 10796515328 16962 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6274] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6274/stat : 6274 (java) S 6267 6269 2655 0 -1 4202560 315 0 0 0 0 0 0 0 15 0 19 0 902715457 10796515328 16962 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 5 0 0 0
[pid=6269/tid=6275] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6275/stat : 6275 (java) S 6267 6269 2655 0 -1 4202560 26 0 0 0 0 0 0 0 15 0 19 0 902715457 10796515328 16962 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 7 0 0 0
[pid=6269/tid=6276] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6276/stat : 6276 (java) S 6267 6269 2655 0 -1 4202560 342 0 0 0 0 0 0 0 16 0 19 0 902715457 10796515328 16962 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 7 0 0 0
[pid=6269/tid=6277] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6277/stat : 6277 (java) S 6267 6269 2655 0 -1 4202560 171 0 0 0 0 0 0 0 16 0 19 0 902715457 10796515328 16962 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6278] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6278/stat : 6278 (java) S 6267 6269 2655 0 -1 4202560 8 0 0 0 0 0 0 0 15 0 19 0 902715457 10796515328 16962 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6279] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6279/stat : 6279 (java) S 6267 6269 2655 0 -1 4202560 74 0 0 0 0 0 0 0 15 0 19 0 902715457 10796515328 16962 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6280] ppid=6267 vsize=10543472 CPUtime=0.19 cores=1,3,5,7
/proc/6269/task/6280/stat : 6280 (java) S 6267 6269 2655 0 -1 4202560 696 0 0 0 19 0 0 0 16 0 19 0 902715458 10796515328 16962 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773760 0 0 0 16800975 18446604460914543488 0 0 -1 1 0 0 0
[pid=6269/tid=6281] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6281/stat : 6281 (java) S 6267 6269 2655 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 902715458 10796515328 16962 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6282] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6282/stat : 6282 (java) S 6267 6269 2655 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 902715458 10796515328 16962 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6283] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6283/stat : 6283 (java) S 6267 6269 2655 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 902715460 10796515328 16962 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382780849 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6284] ppid=6267 vsize=10543472 CPUtime=0.19 cores=1,3,5,7
/proc/6269/task/6284/stat : 6284 (java) S 6267 6269 2655 0 -1 4202560 1095 0 0 0 19 0 0 0 15 0 19 0 902715460 10796515328 16962 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6285] ppid=6267 vsize=10543472 CPUtime=0.2 cores=1,3,5,7
/proc/6269/task/6285/stat : 6285 (java) S 6267 6269 2655 0 -1 4202560 2012 0 0 0 20 0 0 0 15 0 19 0 902715460 10796515328 16962 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 5 0 0 0
[pid=6269/tid=6286] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6286/stat : 6286 (java) S 6267 6269 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902715460 10796515328 16962 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6287] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6287/stat : 6287 (java) S 6267 6269 2655 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 902715460 10796515328 16962 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773760 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6288] ppid=6267 vsize=10543472 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6288/stat : 6288 (java) S 6267 6269 2655 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902715471 10796515328 16962 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773760 0 4 0 16800975 18446604460914543488 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 6.72
Current children cumulated vsize (KiB) 10543472

[startup+12.7008 s]

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

/proc/6269/task/6272/stat : 6272 (java) S 6267 6269 2655 0 -1 4202560 10 0 0 0 4 0 0 0 15 0 19 0 902715457 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 7 0 0 0
[pid=6269/tid=6273] ppid=6267 vsize=10567144 CPUtime=0.04 cores=1,3,5,7
/proc/6269/task/6273/stat : 6273 (java) S 6267 6269 2655 0 -1 4202560 42 0 0 0 4 0 0 0 15 0 19 0 902715457 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 5 0 0 0
[pid=6269/tid=6274] ppid=6267 vsize=10567144 CPUtime=0.04 cores=1,3,5,7
/proc/6269/task/6274/stat : 6274 (java) S 6267 6269 2655 0 -1 4202560 318 0 0 0 4 0 0 0 15 0 19 0 902715457 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6275] ppid=6267 vsize=10567144 CPUtime=0.05 cores=1,3,5,7
/proc/6269/task/6275/stat : 6275 (java) S 6267 6269 2655 0 -1 4202560 31 0 0 0 5 0 0 0 15 0 19 0 902715457 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6276] ppid=6267 vsize=10567144 CPUtime=0.04 cores=1,3,5,7
/proc/6269/task/6276/stat : 6276 (java) S 6267 6269 2655 0 -1 4202560 348 0 0 0 4 0 0 0 15 0 19 0 902715457 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 7 0 0 0
[pid=6269/tid=6277] ppid=6267 vsize=10567144 CPUtime=0.04 cores=1,3,5,7
/proc/6269/task/6277/stat : 6277 (java) S 6267 6269 2655 0 -1 4202560 177 0 0 0 4 0 0 0 15 0 19 0 902715457 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 5 0 0 0
[pid=6269/tid=6278] ppid=6267 vsize=10567144 CPUtime=0.04 cores=1,3,5,7
/proc/6269/task/6278/stat : 6278 (java) S 6267 6269 2655 0 -1 4202560 29 0 0 0 4 0 0 0 15 0 19 0 902715457 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6279] ppid=6267 vsize=10567144 CPUtime=0.04 cores=1,3,5,7
/proc/6269/task/6279/stat : 6279 (java) S 6267 6269 2655 0 -1 4202560 100 0 0 0 4 0 0 0 15 0 19 0 902715457 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6280] ppid=6267 vsize=10567144 CPUtime=2.2 cores=1,3,5,7
/proc/6269/task/6280/stat : 6280 (java) S 6267 6269 2655 0 -1 4202560 1042 0 0 0 219 1 0 0 16 0 19 0 902715458 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773760 0 0 0 16800975 18446604460914543488 0 0 -1 1 0 0 0
[pid=6269/tid=6281] ppid=6267 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6281/stat : 6281 (java) S 6267 6269 2655 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 902715458 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6282] ppid=6267 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6282/stat : 6282 (java) S 6267 6269 2655 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 902715458 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6283] ppid=6267 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6283/stat : 6283 (java) S 6267 6269 2655 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 902715460 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382780849 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6284] ppid=6267 vsize=10567144 CPUtime=1.03 cores=1,3,5,7
/proc/6269/task/6284/stat : 6284 (java) S 6267 6269 2655 0 -1 4202560 9039 0 0 0 102 1 0 0 15 0 19 0 902715460 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6285] ppid=6267 vsize=10567144 CPUtime=0.27 cores=1,3,5,7
/proc/6269/task/6285/stat : 6285 (java) S 6267 6269 2655 0 -1 4202560 2180 0 0 0 27 0 0 0 15 0 19 0 902715460 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 5 0 0 0
[pid=6269/tid=6286] ppid=6267 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6286/stat : 6286 (java) S 6267 6269 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902715460 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6287] ppid=6267 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6287/stat : 6287 (java) S 6267 6269 2655 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902715460 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773760 0 4 0 16800975 18446604460914543488 0 0 -1 5 0 0 0
[pid=6269/tid=6288] ppid=6267 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6288/stat : 6288 (java) S 6267 6269 2655 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902715471 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773760 0 4 0 16800975 18446604460914543488 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 57.4
Current children cumulated vsize (KiB) 10567144

[startup+56.3011 s]
/proc/loadavg: 2.04 2.05 1.94 3/214 6290
/proc/meminfo: memFree=32291976/32951124 swapFree=67050044/67111528
[pid=6269] ppid=6267 vsize=10567144 CPUtime=57.8 cores=1,3,5,7
/proc/6269/stat : 6269 (java) S 6267 6269 2655 0 -1 4202496 26818 0 1 0 5774 6 0 0 25 0 19 0 902715454 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6269/statm: 2641786 23042 2252 9 0 2632520 0
[pid=6269/tid=6271] ppid=6267 vsize=10567144 CPUtime=53.86 cores=1,3,5,7
/proc/6269/task/6271/stat : 6271 (java) R 6267 6269 2655 0 -1 4202560 12349 0 1 0 5385 1 0 0 18 0 19 0 902715455 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 46912505590357 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6269/tid=6272] ppid=6267 vsize=10567144 CPUtime=0.04 cores=1,3,5,7
/proc/6269/task/6272/stat : 6272 (java) S 6267 6269 2655 0 -1 4202560 10 0 0 0 4 0 0 0 15 0 19 0 902715457 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 7 0 0 0
[pid=6269/tid=6273] ppid=6267 vsize=10567144 CPUtime=0.04 cores=1,3,5,7
/proc/6269/task/6273/stat : 6273 (java) S 6267 6269 2655 0 -1 4202560 42 0 0 0 4 0 0 0 15 0 19 0 902715457 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 5 0 0 0
[pid=6269/tid=6274] ppid=6267 vsize=10567144 CPUtime=0.04 cores=1,3,5,7
/proc/6269/task/6274/stat : 6274 (java) S 6267 6269 2655 0 -1 4202560 318 0 0 0 4 0 0 0 15 0 19 0 902715457 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6275] ppid=6267 vsize=10567144 CPUtime=0.05 cores=1,3,5,7
/proc/6269/task/6275/stat : 6275 (java) S 6267 6269 2655 0 -1 4202560 31 0 0 0 5 0 0 0 15 0 19 0 902715457 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6276] ppid=6267 vsize=10567144 CPUtime=0.04 cores=1,3,5,7
/proc/6269/task/6276/stat : 6276 (java) S 6267 6269 2655 0 -1 4202560 348 0 0 0 4 0 0 0 15 0 19 0 902715457 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 7 0 0 0
[pid=6269/tid=6277] ppid=6267 vsize=10567144 CPUtime=0.04 cores=1,3,5,7
/proc/6269/task/6277/stat : 6277 (java) S 6267 6269 2655 0 -1 4202560 177 0 0 0 4 0 0 0 15 0 19 0 902715457 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 5 0 0 0
[pid=6269/tid=6278] ppid=6267 vsize=10567144 CPUtime=0.04 cores=1,3,5,7
/proc/6269/task/6278/stat : 6278 (java) S 6267 6269 2655 0 -1 4202560 29 0 0 0 4 0 0 0 15 0 19 0 902715457 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6279] ppid=6267 vsize=10567144 CPUtime=0.04 cores=1,3,5,7
/proc/6269/task/6279/stat : 6279 (java) S 6267 6269 2655 0 -1 4202560 100 0 0 0 4 0 0 0 15 0 19 0 902715457 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6280] ppid=6267 vsize=10567144 CPUtime=2.22 cores=1,3,5,7
/proc/6269/task/6280/stat : 6280 (java) S 6267 6269 2655 0 -1 4202560 1042 0 0 0 221 1 0 0 16 0 19 0 902715458 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773760 0 0 0 16800975 18446604460914543488 0 0 -1 1 0 0 0
[pid=6269/tid=6281] ppid=6267 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6281/stat : 6281 (java) S 6267 6269 2655 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 902715458 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6282] ppid=6267 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6282/stat : 6282 (java) S 6267 6269 2655 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 902715458 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6283] ppid=6267 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6283/stat : 6283 (java) S 6267 6269 2655 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 902715460 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382780849 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6284] ppid=6267 vsize=10567144 CPUtime=1.03 cores=1,3,5,7
/proc/6269/task/6284/stat : 6284 (java) S 6267 6269 2655 0 -1 4202560 9039 0 0 0 102 1 0 0 15 0 19 0 902715460 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6285] ppid=6267 vsize=10567144 CPUtime=0.27 cores=1,3,5,7
/proc/6269/task/6285/stat : 6285 (java) S 6267 6269 2655 0 -1 4202560 2180 0 0 0 27 0 0 0 15 0 19 0 902715460 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 5 0 0 0
[pid=6269/tid=6286] ppid=6267 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6286/stat : 6286 (java) S 6267 6269 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902715460 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6287] ppid=6267 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6287/stat : 6287 (java) S 6267 6269 2655 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902715460 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773760 0 4 0 16800975 18446604460914543488 0 0 -1 5 0 0 0
[pid=6269/tid=6288] ppid=6267 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6288/stat : 6288 (java) S 6267 6269 2655 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902715471 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773760 0 4 0 16800975 18446604460914543488 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 57.8
Current children cumulated vsize (KiB) 10567144

[startup+56.501 s]
/proc/loadavg: 2.04 2.05 1.94 3/214 6290
/proc/meminfo: memFree=32291976/32951124 swapFree=67050044/67111528
[pid=6269] ppid=6267 vsize=10567144 CPUtime=58 cores=1,3,5,7
/proc/6269/stat : 6269 (java) S 6267 6269 2655 0 -1 4202496 26818 0 1 0 5794 6 0 0 25 0 19 0 902715454 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6269/statm: 2641786 23042 2252 9 0 2632520 0
[pid=6269/tid=6271] ppid=6267 vsize=10567144 CPUtime=54.06 cores=1,3,5,7
/proc/6269/task/6271/stat : 6271 (java) R 6267 6269 2655 0 -1 4202560 12349 0 1 0 5405 1 0 0 18 0 19 0 902715455 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 46912505534657 0 4 0 16800975 0 0 0 -1 1 0 0 0
[pid=6269/tid=6272] ppid=6267 vsize=10567144 CPUtime=0.04 cores=1,3,5,7
/proc/6269/task/6272/stat : 6272 (java) S 6267 6269 2655 0 -1 4202560 10 0 0 0 4 0 0 0 15 0 19 0 902715457 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 7 0 0 0
[pid=6269/tid=6273] ppid=6267 vsize=10567144 CPUtime=0.04 cores=1,3,5,7
/proc/6269/task/6273/stat : 6273 (java) S 6267 6269 2655 0 -1 4202560 42 0 0 0 4 0 0 0 15 0 19 0 902715457 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 5 0 0 0
[pid=6269/tid=6274] ppid=6267 vsize=10567144 CPUtime=0.04 cores=1,3,5,7
/proc/6269/task/6274/stat : 6274 (java) S 6267 6269 2655 0 -1 4202560 318 0 0 0 4 0 0 0 15 0 19 0 902715457 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6275] ppid=6267 vsize=10567144 CPUtime=0.05 cores=1,3,5,7
/proc/6269/task/6275/stat : 6275 (java) S 6267 6269 2655 0 -1 4202560 31 0 0 0 5 0 0 0 15 0 19 0 902715457 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6276] ppid=6267 vsize=10567144 CPUtime=0.04 cores=1,3,5,7
/proc/6269/task/6276/stat : 6276 (java) S 6267 6269 2655 0 -1 4202560 348 0 0 0 4 0 0 0 15 0 19 0 902715457 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 7 0 0 0
[pid=6269/tid=6277] ppid=6267 vsize=10567144 CPUtime=0.04 cores=1,3,5,7
/proc/6269/task/6277/stat : 6277 (java) S 6267 6269 2655 0 -1 4202560 177 0 0 0 4 0 0 0 15 0 19 0 902715457 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 5 0 0 0
[pid=6269/tid=6278] ppid=6267 vsize=10567144 CPUtime=0.04 cores=1,3,5,7
/proc/6269/task/6278/stat : 6278 (java) S 6267 6269 2655 0 -1 4202560 29 0 0 0 4 0 0 0 15 0 19 0 902715457 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6279] ppid=6267 vsize=10567144 CPUtime=0.04 cores=1,3,5,7
/proc/6269/task/6279/stat : 6279 (java) S 6267 6269 2655 0 -1 4202560 100 0 0 0 4 0 0 0 15 0 19 0 902715457 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6280] ppid=6267 vsize=10567144 CPUtime=2.22 cores=1,3,5,7
/proc/6269/task/6280/stat : 6280 (java) S 6267 6269 2655 0 -1 4202560 1042 0 0 0 221 1 0 0 16 0 19 0 902715458 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773760 0 0 0 16800975 18446604460914543488 0 0 -1 1 0 0 0
[pid=6269/tid=6281] ppid=6267 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6281/stat : 6281 (java) S 6267 6269 2655 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 902715458 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6282] ppid=6267 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6282/stat : 6282 (java) S 6267 6269 2655 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 902715458 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6283] ppid=6267 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6283/stat : 6283 (java) S 6267 6269 2655 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 902715460 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382780849 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6284] ppid=6267 vsize=10567144 CPUtime=1.03 cores=1,3,5,7
/proc/6269/task/6284/stat : 6284 (java) S 6267 6269 2655 0 -1 4202560 9039 0 0 0 102 1 0 0 15 0 19 0 902715460 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6285] ppid=6267 vsize=10567144 CPUtime=0.27 cores=1,3,5,7
/proc/6269/task/6285/stat : 6285 (java) S 6267 6269 2655 0 -1 4202560 2180 0 0 0 27 0 0 0 15 0 19 0 902715460 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 5 0 0 0
[pid=6269/tid=6286] ppid=6267 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6286/stat : 6286 (java) S 6267 6269 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902715460 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6287] ppid=6267 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6287/stat : 6287 (java) S 6267 6269 2655 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902715460 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773760 0 4 0 16800975 18446604460914543488 0 0 -1 5 0 0 0
[pid=6269/tid=6288] ppid=6267 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6288/stat : 6288 (java) S 6267 6269 2655 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902715471 10820755456 23042 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773760 0 4 0 16800975 18446604460914543488 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 58
Current children cumulated vsize (KiB) 10567144

[startup+56.601 s]
/proc/loadavg: 2.04 2.05 1.94 3/214 6290
/proc/meminfo: memFree=32291976/32951124 swapFree=67050044/67111528
[pid=6269] ppid=6267 vsize=10567144 CPUtime=58.1 cores=1,3,5,7
/proc/6269/stat : 6269 (java) S 6267 6269 2655 0 -1 4202496 26821 0 1 0 5804 6 0 0 25 0 19 0 902715454 10820755456 23044 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382759909 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/6269/statm: 2641786 23044 2252 9 0 2632520 0
[pid=6269/tid=6271] ppid=6267 vsize=10567144 CPUtime=54.15 cores=1,3,5,7
/proc/6269/task/6271/stat : 6271 (java) S 6267 6269 2655 0 -1 4202560 12352 0 1 0 5414 1 0 0 18 0 19 0 902715455 10820755456 23044 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 1 0 0 0
[pid=6269/tid=6272] ppid=6267 vsize=10567144 CPUtime=0.04 cores=1,3,5,7
/proc/6269/task/6272/stat : 6272 (java) S 6267 6269 2655 0 -1 4202560 10 0 0 0 4 0 0 0 16 0 19 0 902715457 10820755456 23044 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 7 0 0 0
[pid=6269/tid=6273] ppid=6267 vsize=10567144 CPUtime=0.04 cores=1,3,5,7
/proc/6269/task/6273/stat : 6273 (java) S 6267 6269 2655 0 -1 4202560 42 0 0 0 4 0 0 0 16 0 19 0 902715457 10820755456 23044 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 5 0 0 0
[pid=6269/tid=6274] ppid=6267 vsize=10567144 CPUtime=0.04 cores=1,3,5,7
/proc/6269/task/6274/stat : 6274 (java) S 6267 6269 2655 0 -1 4202560 318 0 0 0 4 0 0 0 15 0 19 0 902715457 10820755456 23044 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6275] ppid=6267 vsize=10567144 CPUtime=0.05 cores=1,3,5,7
/proc/6269/task/6275/stat : 6275 (java) S 6267 6269 2655 0 -1 4202560 31 0 0 0 5 0 0 0 15 0 19 0 902715457 10820755456 23044 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 5 0 0 0
[pid=6269/tid=6276] ppid=6267 vsize=10567144 CPUtime=0.04 cores=1,3,5,7
/proc/6269/task/6276/stat : 6276 (java) S 6267 6269 2655 0 -1 4202560 348 0 0 0 4 0 0 0 15 0 19 0 902715457 10820755456 23044 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 7 0 0 0
[pid=6269/tid=6277] ppid=6267 vsize=10567144 CPUtime=0.04 cores=1,3,5,7
/proc/6269/task/6277/stat : 6277 (java) S 6267 6269 2655 0 -1 4202560 177 0 0 0 4 0 0 0 15 0 19 0 902715457 10820755456 23044 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 5 0 0 0
[pid=6269/tid=6278] ppid=6267 vsize=10567144 CPUtime=0.04 cores=1,3,5,7
/proc/6269/task/6278/stat : 6278 (java) S 6267 6269 2655 0 -1 4202560 29 0 0 0 4 0 0 0 15 0 19 0 902715457 10820755456 23044 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6279] ppid=6267 vsize=10567144 CPUtime=0.04 cores=1,3,5,7
/proc/6269/task/6279/stat : 6279 (java) S 6267 6269 2655 0 -1 4202560 100 0 0 0 4 0 0 0 15 0 19 0 902715457 10820755456 23044 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6280] ppid=6267 vsize=10567144 CPUtime=2.22 cores=1,3,5,7
/proc/6269/task/6280/stat : 6280 (java) R 6267 6269 2655 0 -1 4202560 1042 0 0 0 221 1 0 0 15 0 19 0 902715458 10820755456 23044 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218370651195 0 0 0 16800975 0 0 0 -1 1 0 0 0
[pid=6269/tid=6281] ppid=6267 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6281/stat : 6281 (java) S 6267 6269 2655 0 -1 4202560 17 0 0 0 0 0 0 0 15 0 19 0 902715458 10820755456 23044 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6282] ppid=6267 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6282/stat : 6282 (java) S 6267 6269 2655 0 -1 4202560 10 0 0 0 0 0 0 0 15 0 19 0 902715458 10820755456 23044 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6283] ppid=6267 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6283/stat : 6283 (java) S 6267 6269 2655 0 -1 4202560 1 0 0 0 0 0 0 0 22 0 19 0 902715460 10820755456 23044 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382780849 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6284] ppid=6267 vsize=10567144 CPUtime=1.03 cores=1,3,5,7
/proc/6269/task/6284/stat : 6284 (java) S 6267 6269 2655 0 -1 4202560 9039 0 0 0 102 1 0 0 15 0 19 0 902715460 10820755456 23044 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6285] ppid=6267 vsize=10567144 CPUtime=0.27 cores=1,3,5,7
/proc/6269/task/6285/stat : 6285 (java) S 6267 6269 2655 0 -1 4202560 2180 0 0 0 27 0 0 0 15 0 19 0 902715460 10820755456 23044 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 5 0 0 0
[pid=6269/tid=6286] ppid=6267 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6286/stat : 6286 (java) S 6267 6269 2655 0 -1 4202560 1 0 0 0 0 0 0 0 25 0 19 0 902715460 10820755456 23044 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773145 0 4 0 16800975 18446604460914543488 0 0 -1 3 0 0 0
[pid=6269/tid=6287] ppid=6267 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6287/stat : 6287 (java) S 6267 6269 2655 0 -1 4202560 3 0 0 0 0 0 0 0 15 0 19 0 902715460 10820755456 23044 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773760 0 4 0 16800975 18446604460914543488 0 0 -1 5 0 0 0
[pid=6269/tid=6288] ppid=6267 vsize=10567144 CPUtime=0 cores=1,3,5,7
/proc/6269/task/6288/stat : 6288 (java) S 6267 6269 2655 0 -1 4202560 7 0 0 0 0 0 0 0 19 0 19 0 902715471 10820755456 23044 33554432000 1073741824 1073778376 140735605556864 18446744073709551615 218382773760 0 4 0 16800975 18446604460914543488 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 58.1
Current children cumulated vsize (KiB) 10567144

Child status: 30
Real time (s): 56.6343
CPU time (s): 58.1412
CPU user time (s): 58.0732
CPU system time (s): 0.067989
CPU usage (%): 102.661
Max. virtual memory (cumulated for all children) (KiB): 10567144

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 58.0732
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= 26841
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= 2635

runsolver used 0.096985 second user time and 0.228965 second system time

The end

Launcher Data 

Begin job on node101 at 2011-06-12 22:38:47
IDJOB=3492675
IDBENCH=79221
IDSOLVER=1982
FILE ID=node101/3492675-1307911127
RUNJOBID= node101-1307908937-4736
PBS_JOBID= 13559601
Free space on /tmp= 74060 MiB

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

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

MD5SUM BENCH= 5f93bdccbf9c1cc8d25b014cd19ec634
RANDOM SEED=1800805750

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32376792 kB
Buffers:        122308 kB
Cached:         166244 kB
SwapCached:      24860 kB
Active:         286060 kB
Inactive:       102032 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32376792 kB
SwapTotal:    67111528 kB
SwapFree:     67050044 kB
Dirty:              92 kB
Writeback:           0 kB
AnonPages:       96816 kB
Mapped:          17492 kB
Slab:           120648 kB
PageTables:       4224 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 10543004 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 /tmp at the end= 74060 MiB
End job on node101 at 2011-06-12 22:39:44