Trace number 3688221

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 NameAnswerobjective functionCPU timeWall clock time
Sat 4j PB Resolution 2.3.2 SnapshotSAT (TO)9 1800.76 1792.75

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB06/
manquiho/market-split/normalized-opt-market-split_6_50_2.opb
MD5SUMb690996610ff381ef60353517fe5a0e9
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark5
Best CPU time to get the best result obtained on this benchmark1797.53
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 6
Optimality of the best value was proved NO
Number of variables146
Total number of constraints12
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints12
Minimum length of a constraint64
Maximum length of a constraint66
Number of terms in the objective function 96
Biggest coefficient in the objective function 128
Number of bits for the biggest coefficient in the objective function 8
Sum of the numbers in the objective function 3060
Number of bits of the sum of numbers in the objective function 12
Biggest number in a constraint 1293
Number of bits of the biggest number in a constraint 11
Biggest sum of numbers in a constraint 4389
Number of bits of the biggest sum of numbers13
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.06/0.07	c SAT4J: a SATisfiability library for Java (c) 2004-2012 Artois University and CNRS
0.06/0.07	c This is free software under the dual EPL/GNU LGPL licenses.
0.06/0.07	c See www.sat4j.org for details.
0.06/0.08	c version 2.3.2.v20120418
0.06/0.08	c java.runtime.name	Java(TM) SE Runtime Environment
0.06/0.08	c java.vm.name		Java HotSpot(TM) 64-Bit Server VM
0.06/0.08	c java.vm.version	19.1-b02
0.06/0.08	c java.vm.vendor	Sun Microsystems Inc.
0.06/0.08	c sun.arch.data.model	64
0.06/0.08	c java.version		1.6.0_24
0.06/0.08	c os.name		Linux
0.06/0.08	c os.version		2.6.32-71.29.1.el6.x86_64
0.06/0.08	c os.arch		amd64
0.06/0.08	c Free memory 		501472288
0.06/0.08	c Max memory 		7480803328
0.06/0.08	c Total memory 		504102912
0.06/0.08	c Number of processors 	8
0.11/0.10	c Pseudo Boolean Optimization by upper bound
0.11/0.10	c --- Begin Solver configuration ---
0.11/0.10	c org.sat4j.pb.constraints.CompetResolutionPBLongMixedWLClauseCardConstrDataStructure@431b9fb1
0.11/0.10	c Learn all clauses as in MiniSAT
0.11/0.10	c claDecay=0.999 varDecay=0.95 conflictBoundIncFactor=1.5 initConflictBound=100 
0.11/0.10	c VSIDS like heuristics from MiniSAT using a heap lightweight component caching from RSAT taking into account the objective function
0.11/0.10	c No reason simplification
0.11/0.10	c Armin Biere (Picosat) restarts strategy
0.11/0.10	c Glucose learned constraints deletion strategy
0.11/0.10	c timeout=2147483s
0.11/0.10	c DB Simplification allowed=false
0.11/0.10	c c --- End Solver configuration ---
0.11/0.10	c solving HOME/instance-3688221-1337880886.opb
0.11/0.10	c reading problem ... 
0.11/0.14	c ... done. Wall clock time 0.037s.
0.11/0.14	c declared #vars     146
0.11/0.14	c #constraints  12
0.11/0.14	c constraints type 
0.11/0.14	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 12
0.11/0.14	c 12 constraints processed.
0.11/0.14	c objective function length is 96 literals
0.11/0.18	c SATISFIABLE
0.11/0.18	c OPTIMIZING...
0.11/0.18	c Got one! Elapsed wall clock time (in seconds):0.084
0.11/0.18	o 237
0.32/0.27	c Got one! Elapsed wall clock time (in seconds):0.172
0.32/0.27	o 235
0.32/0.29	c Got one! Elapsed wall clock time (in seconds):0.192
0.32/0.29	o 234
0.52/0.30	c Got one! Elapsed wall clock time (in seconds):0.198
0.52/0.30	o 220
0.52/0.31	c Got one! Elapsed wall clock time (in seconds):0.209
0.52/0.31	o 209
0.52/0.33	c Got one! Elapsed wall clock time (in seconds):0.227
0.52/0.33	o 207
0.52/0.33	c Got one! Elapsed wall clock time (in seconds):0.232
0.52/0.33	o 185
0.52/0.36	c Got one! Elapsed wall clock time (in seconds):0.257
0.52/0.36	o 181
0.52/0.36	c Got one! Elapsed wall clock time (in seconds):0.261
0.52/0.36	o 134
0.52/0.39	c Got one! Elapsed wall clock time (in seconds):0.289
0.52/0.39	o 125
0.67/0.45	c Got one! Elapsed wall clock time (in seconds):0.353
0.67/0.45	o 124
0.67/0.47	c Got one! Elapsed wall clock time (in seconds):0.368
0.67/0.47	o 122
0.67/0.49	c Got one! Elapsed wall clock time (in seconds):0.393
0.67/0.49	o 120
0.79/0.56	c Got one! Elapsed wall clock time (in seconds):0.456
0.79/0.56	o 116
0.79/0.58	c Got one! Elapsed wall clock time (in seconds):0.478
0.79/0.58	o 115
0.89/0.60	c Got one! Elapsed wall clock time (in seconds):0.503
0.89/0.60	o 113
0.89/0.61	c Got one! Elapsed wall clock time (in seconds):0.509
0.89/0.61	o 97
1.03/0.71	c cleaning 5828 clauses out of 11656 with flag 2000/11656
1.15/0.83	c Got one! Elapsed wall clock time (in seconds):0.727
1.15/0.83	o 96
1.15/0.85	c Got one! Elapsed wall clock time (in seconds):0.751
1.15/0.85	o 94
1.25/0.90	c Got one! Elapsed wall clock time (in seconds):0.8
1.25/0.90	o 93
1.25/0.94	c Got one! Elapsed wall clock time (in seconds):0.839
1.25/0.94	o 92
1.25/1.00	c cleaning 6241 clauses out of 12489 with flag 1000/18317
1.48/1.02	c Got one! Elapsed wall clock time (in seconds):0.919
1.48/1.02	o 89
1.61/1.13	c Got one! Elapsed wall clock time (in seconds):1.029
1.61/1.13	o 87
1.61/1.17	c Got one! Elapsed wall clock time (in seconds):1.067
1.61/1.17	o 85
1.70/1.21	c cleaning 5854 clauses out of 11724 with flag 1000/23793
1.70/1.25	c Got one! Elapsed wall clock time (in seconds):1.153
1.70/1.25	o 82
1.92/1.40	c cleaning 5465 clauses out of 10938 with flag 4001/28861
1.92/1.45	c Got one! Elapsed wall clock time (in seconds):1.349
1.92/1.45	o 81
2.02/1.55	c Got one! Elapsed wall clock time (in seconds):1.446
2.02/1.55	o 80
2.12/1.68	c cleaning 5877 clauses out of 11753 with flag 3000/35141
2.22/1.77	c Got one! Elapsed wall clock time (in seconds):1.671
2.22/1.77	o 79
2.32/1.88	c Got one! Elapsed wall clock time (in seconds):1.782
2.32/1.88	o 77
2.42/1.95	c cleaning 6032 clauses out of 12074 with flag 1000/41339
2.52/2.04	c Got one! Elapsed wall clock time (in seconds):1.941
2.52/2.04	o 75
2.63/2.18	c cleaning 5571 clauses out of 11149 with flag 3001/46446
2.82/2.36	c Got one! Elapsed wall clock time (in seconds):2.258
2.82/2.36	o 74
2.96/2.40	c Got one! Elapsed wall clock time (in seconds):2.299
2.96/2.40	o 71
3.16/2.61	c cleaning 8292 clauses out of 16586 with flag 5000/57454
3.16/2.66	c Got one! Elapsed wall clock time (in seconds):2.562
3.16/2.66	o 69
3.36/2.84	c cleaning 6770 clauses out of 13552 with flag 4001/62712
3.36/2.86	c Got one! Elapsed wall clock time (in seconds):2.764
3.36/2.86	o 68
3.59/3.08	c cleaning 6025 clauses out of 12062 with flag 5000/67992
3.69/3.17	c Got one! Elapsed wall clock time (in seconds):3.071
3.69/3.17	o 66
3.90/3.34	c cleaning 5738 clauses out of 11492 with flag 3000/73447
4.00/3.45	c Got one! Elapsed wall clock time (in seconds):3.35
4.00/3.45	o 64
4.10/3.54	c Got one! Elapsed wall clock time (in seconds):3.437
4.10/3.54	o 63
4.20/3.60	c cleaning 5903 clauses out of 11818 with flag 1006/79511
4.20/3.65	c Got one! Elapsed wall clock time (in seconds):3.553
4.20/3.65	o 62
4.40/3.81	c cleaning 5657 clauses out of 11325 with flag 4000/84921
4.40/3.82	c Got one! Elapsed wall clock time (in seconds):3.722
4.40/3.82	o 61
4.50/3.94	c Got one! Elapsed wall clock time (in seconds):3.836
4.50/3.94	o 59
4.70/4.10	c cleaning 5862 clauses out of 11745 with flag 3005/90998
4.70/4.16	c Got one! Elapsed wall clock time (in seconds):4.056
4.70/4.16	o 57
4.91/4.33	c cleaning 5662 clauses out of 11344 with flag 4003/96459
5.11/4.58	c cleaning 5839 clauses out of 11680 with flag 10001/102457
5.21/4.60	c Got one! Elapsed wall clock time (in seconds):4.501
5.21/4.60	o 55
5.41/4.81	c cleaning 5599 clauses out of 11204 with flag 5004/107820
5.61/5.06	c cleaning 5799 clauses out of 11602 with flag 11001/113817
5.61/5.09	c Got one! Elapsed wall clock time (in seconds):4.991
5.61/5.09	o 54
5.71/5.13	c Got one! Elapsed wall clock time (in seconds):5.026
5.71/5.13	o 46
5.81/5.29	c Got one! Elapsed wall clock time (in seconds):5.188
5.81/5.29	o 44
5.92/5.36	c cleaning 6318 clauses out of 12649 with flag 1000/120663
5.92/5.40	c Got one! Elapsed wall clock time (in seconds):5.297
5.92/5.40	o 38
6.12/5.59	c cleaning 6003 clauses out of 12014 with flag 5006/126346
6.42/5.81	c Got one! Elapsed wall clock time (in seconds):5.713
6.42/5.81	o 36
6.72/6.14	c cleaning 8400 clauses out of 16824 with flag 5002/137159
7.02/6.43	c cleaning 7201 clauses out of 14422 with flag 11000/143157
7.32/6.76	c cleaning 7102 clauses out of 14224 with flag 18003/150160
7.74/7.12	c cleaning 7557 clauses out of 15119 with flag 26000/158157
8.04/7.44	c Got one! Elapsed wall clock time (in seconds):7.343
8.04/7.44	o 35
8.35/7.77	c cleaning 9502 clauses out of 19018 with flag 5002/169613
8.65/8.08	c cleaning 7755 clauses out of 15515 with flag 11001/175612
8.96/8.37	c cleaning 7377 clauses out of 14761 with flag 18002/182613
9.06/8.42	c Got one! Elapsed wall clock time (in seconds):8.324
9.06/8.42	o 34
9.26/8.62	c cleaning 6283 clauses out of 12577 with flag 4002/187806
9.47/8.87	c cleaning 6144 clauses out of 12297 with flag 10005/193809
9.67/9.01	c Got one! Elapsed wall clock time (in seconds):8.905
9.67/9.01	o 33
9.77/9.10	c cleaning 5818 clauses out of 11641 with flag 2001/199297
9.96/9.37	c cleaning 5908 clauses out of 11823 with flag 8001/205297
10.28/9.68	c cleaning 6454 clauses out of 12915 with flag 15001/212297
10.69/10.02	c cleaning 7226 clauses out of 14462 with flag 23002/220298
10.89/10.23	c Got one! Elapsed wall clock time (in seconds):10.132
10.89/10.23	o 32
10.99/10.30	c cleaning 6591 clauses out of 13185 with flag 1001/226247
11.19/10.56	c cleaning 6295 clauses out of 12596 with flag 7003/232249
11.50/10.86	c cleaning 6647 clauses out of 13304 with flag 14006/239252
11.60/10.96	c Got one! Elapsed wall clock time (in seconds):10.859
11.60/10.96	o 31
11.82/11.12	c cleaning 6044 clauses out of 12106 with flag 3002/244701
12.13/11.40	c cleaning 6025 clauses out of 12063 with flag 9003/250702
12.44/11.71	c cleaning 6510 clauses out of 13035 with flag 16000/257699
12.75/12.00	c cleaning 7261 clauses out of 14526 with flag 24001/265700
12.96/12.22	c Got one! Elapsed wall clock time (in seconds):12.124
12.96/12.22	o 29
13.16/12.49	c cleaning 9252 clauses out of 18513 with flag 5001/276948
13.28/12.56	c Got one! Elapsed wall clock time (in seconds):12.457
13.28/12.56	o 28
13.50/12.75	c cleaning 7283 clauses out of 14584 with flag 4000/282271
13.81/13.01	c cleaning 6649 clauses out of 13301 with flag 10000/288271
13.81/13.10	c Got one! Elapsed wall clock time (in seconds):13.002
13.81/13.10	o 26
14.03/13.26	c cleaning 6307 clauses out of 12632 with flag 3003/294251
14.22/13.49	c cleaning 6158 clauses out of 12323 with flag 9001/300249
14.52/13.74	c cleaning 6582 clauses out of 13164 with flag 16000/307248
14.83/14.03	c cleaning 7289 clauses out of 14582 with flag 24000/315248
15.13/14.36	c cleaning 8148 clauses out of 16297 with flag 33004/324252
15.53/14.76	c cleaning 9072 clauses out of 18146 with flag 43001/334249
16.03/15.23	c cleaning 10035 clauses out of 20075 with flag 54002/345250
16.48/15.65	c Got one! Elapsed wall clock time (in seconds):15.549
16.48/15.65	o 24
16.88/16.00	c cleaning 12617 clauses out of 25241 with flag 5001/360451
17.20/16.31	c cleaning 9303 clauses out of 18623 with flag 11000/366450
17.50/16.61	c cleaning 8148 clauses out of 16320 with flag 18000/373450
17.81/16.95	c cleaning 8077 clauses out of 16172 with flag 26000/381450
18.21/17.34	c cleaning 8544 clauses out of 17098 with flag 35003/390453
18.52/17.67	c Got one! Elapsed wall clock time (in seconds):17.572
18.52/17.67	o 23
18.81/17.94	c cleaning 11364 clauses out of 22727 with flag 5003/404626
19.15/18.20	c cleaning 8681 clauses out of 17364 with flag 11004/410627
19.36/18.48	c cleaning 7841 clauses out of 15682 with flag 18003/417626
19.66/18.79	c cleaning 7920 clauses out of 15842 with flag 26004/425627
20.11/19.16	c cleaning 8455 clauses out of 16919 with flag 35001/434624
20.21/19.20	c Got one! Elapsed wall clock time (in seconds):19.101
20.21/19.20	o 21
20.31/19.39	c cleaning 6827 clauses out of 13675 with flag 4004/439835
20.61/19.64	c cleaning 6414 clauses out of 12847 with flag 10003/445834
20.91/19.91	c cleaning 6716 clauses out of 13432 with flag 17002/452833
21.21/20.20	c cleaning 7355 clauses out of 14714 with flag 25000/460831
21.61/20.60	c cleaning 8174 clauses out of 16359 with flag 34000/469831
22.02/21.02	c cleaning 9095 clauses out of 18189 with flag 44004/479835
22.42/21.40	c Got one! Elapsed wall clock time (in seconds):21.302
22.42/21.40	o 20
22.72/21.75	c cleaning 11993 clauses out of 23999 with flag 5003/494740
23.04/22.07	c cleaning 8992 clauses out of 18007 with flag 11004/500741
23.37/22.37	c cleaning 8001 clauses out of 16013 with flag 18002/507739
23.77/22.72	c cleaning 7994 clauses out of 16010 with flag 26000/515737
24.09/23.06	c cleaning 8509 clauses out of 17018 with flag 35002/524739
24.49/23.42	c cleaning 9252 clauses out of 18507 with flag 45000/534737
24.89/23.89	c cleaning 10128 clauses out of 20257 with flag 56002/545739
25.39/24.39	c cleaning 11064 clauses out of 22128 with flag 68001/557738
26.00/24.99	c cleaning 12026 clauses out of 24063 with flag 81000/570737
26.71/25.61	c cleaning 13014 clauses out of 26037 with flag 95000/584737
27.43/26.32	c cleaning 14014 clauses out of 28028 with flag 110005/599742
28.23/27.12	c cleaning 15004 clauses out of 30009 with flag 126000/615737
29.03/27.98	c cleaning 16003 clauses out of 32005 with flag 143000/632737
30.04/28.98	c cleaning 17001 clauses out of 34005 with flag 161003/650740
31.18/30.04	c cleaning 17995 clauses out of 36002 with flag 180001/669738
32.28/31.12	c cleaning 19001 clauses out of 38006 with flag 200000/689737
33.38/32.25	c cleaning 20001 clauses out of 40007 with flag 221002/710739
34.58/33.42	c cleaning 20994 clauses out of 42005 with flag 243001/732738
35.79/34.65	c cleaning 22004 clauses out of 44011 with flag 266001/755738
36.72/35.58	c Got one! Elapsed wall clock time (in seconds):35.478
36.72/35.58	o 19
37.32/36.18	c cleaning 23959 clauses out of 47934 with flag 5000/781665
37.75/36.57	c cleaning 14984 clauses out of 29975 with flag 11000/787665
38.15/36.90	c cleaning 10995 clauses out of 21994 with flag 18003/794668
38.47/37.27	c cleaning 9489 clauses out of 18998 with flag 26002/802667
38.89/37.65	c cleaning 9249 clauses out of 18508 with flag 35001/811666
39.29/38.07	c cleaning 9622 clauses out of 19258 with flag 45000/821665
39.79/38.58	c cleaning 10316 clauses out of 20637 with flag 56001/832666
40.39/39.20	c cleaning 11158 clauses out of 22321 with flag 68001/844666
40.69/39.47	c Got one! Elapsed wall clock time (in seconds):39.367
40.69/39.47	o 18
40.99/39.78	c cleaning 10890 clauses out of 21795 with flag 5003/855298
41.29/40.07	c cleaning 8439 clauses out of 16903 with flag 11001/861296
41.59/40.35	c cleaning 7724 clauses out of 15465 with flag 18002/868297
41.92/40.65	c cleaning 7855 clauses out of 15739 with flag 26000/876295
42.31/41.00	c cleaning 8443 clauses out of 16886 with flag 35002/885297
42.61/41.39	c cleaning 9221 clauses out of 18445 with flag 45004/895299
43.14/41.84	c cleaning 10110 clauses out of 20221 with flag 56001/906296
43.64/42.32	c cleaning 11050 clauses out of 22112 with flag 68002/918297
44.14/42.85	c cleaning 12029 clauses out of 24063 with flag 81003/931298
44.74/43.46	c cleaning 13009 clauses out of 26031 with flag 95000/945295
45.54/44.21	c cleaning 14009 clauses out of 28023 with flag 110001/960296
45.75/44.45	c Got one! Elapsed wall clock time (in seconds):44.348
45.75/44.45	o 17
46.05/44.74	c cleaning 12261 clauses out of 24529 with flag 5001/970811
46.36/45.02	c cleaning 9132 clauses out of 18268 with flag 11001/976811
46.65/45.30	c cleaning 8061 clauses out of 16136 with flag 18001/983811
46.95/45.61	c cleaning 8027 clauses out of 16074 with flag 26000/991810
47.25/45.97	c cleaning 8523 clauses out of 17047 with flag 35000/1000810
47.66/46.36	c cleaning 9255 clauses out of 18524 with flag 45000/1010810
48.16/46.84	c cleaning 10134 clauses out of 20274 with flag 56005/1021815
48.67/47.37	c cleaning 11063 clauses out of 22135 with flag 68000/1033810
49.26/47.98	c cleaning 12034 clauses out of 24073 with flag 81001/1046811
50.06/48.72	c cleaning 13015 clauses out of 26038 with flag 95000/1060810
50.77/49.47	c cleaning 14008 clauses out of 28024 with flag 110001/1075811
51.67/50.31	c cleaning 15005 clauses out of 30015 with flag 126000/1091810
52.47/51.17	c cleaning 16003 clauses out of 32013 with flag 143003/1108813
53.47/52.19	c cleaning 17003 clauses out of 34008 with flag 161001/1126811
54.60/53.22	c cleaning 18000 clauses out of 36008 with flag 180004/1145814
55.81/54.40	c cleaning 18999 clauses out of 38004 with flag 200000/1165810
57.03/55.65	c cleaning 19997 clauses out of 40005 with flag 221000/1186810
58.44/57.08	c cleaning 21004 clauses out of 42008 with flag 243000/1208810
58.55/57.17	c Got one! Elapsed wall clock time (in seconds):57.075
58.55/57.17	o 16
58.85/57.46	c cleaning 13331 clauses out of 26672 with flag 4001/1214478
59.15/57.73	c cleaning 9658 clauses out of 19340 with flag 10000/1220477
59.45/58.01	c cleaning 8335 clauses out of 16682 with flag 17000/1227477
59.76/58.32	c cleaning 8167 clauses out of 16348 with flag 25001/1235478
60.05/58.68	c cleaning 8583 clauses out of 17182 with flag 34002/1244479
60.46/59.08	c cleaning 9285 clauses out of 18598 with flag 44001/1254478
60.96/59.56	c cleaning 10144 clauses out of 20312 with flag 55000/1265477
61.46/60.08	c cleaning 11069 clauses out of 22169 with flag 67001/1277478
62.08/60.63	c cleaning 12038 clauses out of 24099 with flag 80000/1290477
62.68/61.27	c cleaning 13021 clauses out of 26062 with flag 94001/1304478
63.39/61.97	c cleaning 14013 clauses out of 28043 with flag 109003/1319480
64.09/62.65	c cleaning 15015 clauses out of 30029 with flag 125002/1335479
64.91/63.44	c cleaning 16006 clauses out of 32012 with flag 142000/1352477
65.72/64.26	c cleaning 17003 clauses out of 34006 with flag 160000/1370477
66.63/65.16	c cleaning 18001 clauses out of 36003 with flag 179000/1389477
67.54/66.07	c cleaning 18994 clauses out of 38002 with flag 199000/1409477
68.55/67.10	c cleaning 20003 clauses out of 40008 with flag 220000/1430477
69.67/68.12	c cleaning 20996 clauses out of 42006 with flag 242001/1452478
70.68/69.19	c cleaning 22004 clauses out of 44010 with flag 265001/1475478
72.00/70.43	c cleaning 23003 clauses out of 46011 with flag 289006/1499483
73.30/71.79	c cleaning 24001 clauses out of 48003 with flag 314001/1524478
74.72/73.13	c cleaning 24999 clauses out of 50003 with flag 340002/1550479
76.25/74.61	c cleaning 25999 clauses out of 52002 with flag 367000/1577477
77.77/76.17	c cleaning 26999 clauses out of 54003 with flag 395000/1605477
79.42/77.74	c cleaning 28002 clauses out of 56011 with flag 424007/1634484
81.24/79.50	c cleaning 28998 clauses out of 58002 with flag 454000/1664477
82.98/81.23	c cleaning 30000 clauses out of 60007 with flag 485003/1695480
84.88/83.10	c cleaning 31000 clauses out of 62008 with flag 517004/1727481
86.80/85.00	c cleaning 31999 clauses out of 64004 with flag 550000/1760477
87.62/85.86	c Got one! Elapsed wall clock time (in seconds):85.759
87.62/85.86	o 15
88.21/86.49	c cleaning 27786 clauses out of 55581 with flag 5000/1784053
88.63/86.88	c cleaning 16889 clauses out of 33795 with flag 11000/1790053
89.03/87.23	c cleaning 11940 clauses out of 23906 with flag 18000/1797053
89.34/87.58	c cleaning 9978 clauses out of 19967 with flag 26001/1805054
89.76/87.95	c cleaning 9490 clauses out of 18989 with flag 35001/1814054
90.15/88.38	c cleaning 9741 clauses out of 19498 with flag 45000/1824053
90.65/88.83	c cleaning 10375 clauses out of 20766 with flag 56009/1835062
91.16/89.32	c cleaning 11179 clauses out of 22382 with flag 68000/1847053
91.66/89.87	c cleaning 12095 clauses out of 24204 with flag 81001/1860054
92.26/90.45	c cleaning 13040 clauses out of 26108 with flag 95000/1874053
92.96/91.12	c cleaning 14020 clauses out of 28068 with flag 110000/1889053
93.77/91.94	c cleaning 15017 clauses out of 30049 with flag 126001/1905054
94.67/92.84	c cleaning 16002 clauses out of 32032 with flag 143001/1922054
95.69/93.89	c cleaning 17002 clauses out of 34029 with flag 161000/1940053
96.81/94.94	c cleaning 18004 clauses out of 36027 with flag 180000/1959053
98.03/96.15	c cleaning 19001 clauses out of 38024 with flag 200001/1979054
99.25/97.34	c cleaning 20012 clauses out of 40024 with flag 221002/2000055
100.45/98.59	c cleaning 21003 clauses out of 42010 with flag 243000/2022053
100.88/98.94	c Got one! Elapsed wall clock time (in seconds):98.836
100.88/98.94	o 13
101.27/99.35	c cleaning 16927 clauses out of 33868 with flag 5002/2034914
101.61/99.68	c cleaning 11460 clauses out of 22940 with flag 11001/2040913
101.92/99.99	c cleaning 9234 clauses out of 18487 with flag 18008/2047920
102.23/100.28	c cleaning 8618 clauses out of 17246 with flag 26001/2055913
102.65/100.62	c cleaning 8815 clauses out of 17634 with flag 35007/2064919
102.97/100.99	c cleaning 9404 clauses out of 18812 with flag 45000/2074912
103.37/101.36	c cleaning 10198 clauses out of 20408 with flag 56000/2085912
103.88/101.80	c cleaning 11102 clauses out of 22213 with flag 68003/2097915
104.30/102.27	c cleaning 12050 clauses out of 24108 with flag 81000/2110912
104.91/102.83	c cleaning 13026 clauses out of 26063 with flag 95005/2124917
105.52/103.43	c cleaning 14015 clauses out of 28034 with flag 110002/2139914
106.22/104.12	c cleaning 15005 clauses out of 30022 with flag 126005/2155917
106.92/104.89	c cleaning 16006 clauses out of 32012 with flag 143000/2172912
107.94/105.80	c cleaning 17000 clauses out of 34007 with flag 161001/2190913
108.75/106.60	c Got one! Elapsed wall clock time (in seconds):106.503
108.75/106.60	o 12
109.14/107.04	c cleaning 19969 clauses out of 39955 with flag 5002/2213861
109.45/107.34	c cleaning 12982 clauses out of 25984 with flag 11000/2219859
109.75/107.66	c cleaning 9992 clauses out of 20005 with flag 18003/2226862
110.05/107.97	c cleaning 8998 clauses out of 18014 with flag 26004/2234863
110.45/108.32	c cleaning 8996 clauses out of 18012 with flag 35000/2243859
110.87/108.70	c cleaning 9503 clauses out of 19018 with flag 45002/2253861
111.28/109.19	c cleaning 10243 clauses out of 20513 with flag 56000/2264859
111.89/109.72	c cleaning 11122 clauses out of 22272 with flag 68002/2276861
112.39/110.25	c cleaning 12070 clauses out of 24148 with flag 81000/2289859
112.99/110.87	c cleaning 13040 clauses out of 26079 with flag 95001/2303860
113.70/111.58	c cleaning 14010 clauses out of 28038 with flag 110000/2318859
114.50/112.35	c cleaning 15013 clauses out of 30028 with flag 126000/2334859
115.42/113.23	c cleaning 16000 clauses out of 32017 with flag 143002/2351861
116.32/114.13	c cleaning 17008 clauses out of 34016 with flag 161001/2369860
117.22/115.05	c cleaning 18001 clauses out of 36007 with flag 180000/2388859
118.33/116.11	c cleaning 19002 clauses out of 38006 with flag 200000/2408859
119.54/117.36	c cleaning 20003 clauses out of 40008 with flag 221004/2429863
120.75/118.53	c cleaning 20997 clauses out of 42002 with flag 243001/2451860
121.96/119.75	c cleaning 22000 clauses out of 44006 with flag 266002/2474861
123.46/121.21	c cleaning 22997 clauses out of 46005 with flag 290001/2498860
124.97/122.77	c cleaning 24003 clauses out of 48007 with flag 315000/2523859
126.59/124.34	c cleaning 25000 clauses out of 50008 with flag 341004/2549863
128.21/125.93	c cleaning 25998 clauses out of 52005 with flag 368001/2576860
130.02/127.70	c cleaning 27000 clauses out of 54006 with flag 396000/2604859
131.84/129.57	c cleaning 27998 clauses out of 56006 with flag 425000/2633859
133.76/131.43	c cleaning 28998 clauses out of 58008 with flag 455000/2663859
135.68/133.32	c cleaning 30004 clauses out of 60013 with flag 486003/2694862
137.61/135.29	c cleaning 30998 clauses out of 62008 with flag 518002/2726861
139.71/137.33	c cleaning 32000 clauses out of 64010 with flag 551002/2759861
141.72/139.35	c cleaning 33007 clauses out of 66013 with flag 585005/2793864
144.03/141.63	c cleaning 33995 clauses out of 68002 with flag 620001/2828860
146.63/144.22	c cleaning 34999 clauses out of 70008 with flag 656002/2864861
147.85/145.44	c Got one! Elapsed wall clock time (in seconds):145.341
147.85/145.44	o 10
148.66/146.27	c cleaning 32297 clauses out of 64603 with flag 5003/2894455
149.17/146.75	c cleaning 19144 clauses out of 38303 with flag 11000/2900452
149.59/147.13	c cleaning 13068 clauses out of 26161 with flag 18002/2907454
149.91/147.49	c cleaning 10538 clauses out of 21091 with flag 26000/2915452
150.34/147.85	c cleaning 9766 clauses out of 19554 with flag 35001/2924453
150.74/148.26	c cleaning 9887 clauses out of 19787 with flag 45000/2934452
151.24/148.76	c cleaning 10446 clauses out of 20901 with flag 56001/2945453
151.74/149.26	c cleaning 11210 clauses out of 22454 with flag 68000/2957452
152.35/149.83	c cleaning 12113 clauses out of 24245 with flag 81001/2970453
152.96/150.49	c cleaning 13064 clauses out of 26135 with flag 95004/2984456
153.56/151.08	c cleaning 14034 clauses out of 28067 with flag 110000/2999452
154.27/151.78	c cleaning 15016 clauses out of 30034 with flag 126001/3015453
155.07/152.56	c cleaning 16009 clauses out of 32020 with flag 143003/3032455
155.87/153.38	c cleaning 17003 clauses out of 34010 with flag 161002/3050454
156.87/154.30	c cleaning 18004 clauses out of 36008 with flag 180003/3069455
157.68/155.17	c cleaning 18995 clauses out of 38001 with flag 200000/3089452
158.69/156.17	c cleaning 20000 clauses out of 40006 with flag 221000/3110452
159.79/157.23	c cleaning 20996 clauses out of 42008 with flag 243002/3132454
161.01/158.41	c cleaning 22005 clauses out of 44013 with flag 266003/3155455
162.22/159.69	c cleaning 23005 clauses out of 46010 with flag 290005/3179457
163.63/161.01	c cleaning 23998 clauses out of 48001 with flag 315001/3204453
164.94/162.38	c cleaning 24997 clauses out of 50004 with flag 341002/3230454
166.55/163.98	c cleaning 26006 clauses out of 52011 with flag 368006/3257458
168.26/165.69	c cleaning 26999 clauses out of 54005 with flag 396006/3285458
170.07/167.41	c cleaning 27998 clauses out of 56000 with flag 425000/3314452
171.68/169.06	c cleaning 29001 clauses out of 58005 with flag 455003/3344455
173.58/170.96	c cleaning 29994 clauses out of 60002 with flag 486001/3375453
175.41/172.75	c cleaning 31002 clauses out of 62008 with flag 518001/3407453
177.41/174.79	c cleaning 32003 clauses out of 64006 with flag 551001/3440453
179.83/177.11	c cleaning 33001 clauses out of 66004 with flag 585002/3474454
181.94/179.26	c cleaning 33999 clauses out of 68001 with flag 620000/3509452
184.15/181.42	c cleaning 34995 clauses out of 70002 with flag 656000/3545452
186.56/183.89	c cleaning 36004 clauses out of 72007 with flag 693000/3582452
189.26/186.59	c cleaning 36996 clauses out of 74003 with flag 731000/3620452
191.99/189.27	c cleaning 38000 clauses out of 76007 with flag 770000/3659452
195.20/192.45	c cleaning 39005 clauses out of 78010 with flag 810003/3699455
198.02/195.28	c cleaning 39997 clauses out of 80004 with flag 851002/3740454
200.96/198.15	c cleaning 40999 clauses out of 82005 with flag 893000/3782452
204.07/201.26	c cleaning 42005 clauses out of 84010 with flag 936004/3825456
207.29/204.50	c cleaning 43001 clauses out of 86001 with flag 980000/3869452
210.71/207.83	c cleaning 44000 clauses out of 88002 with flag 1025002/3914454
213.91/211.01	c cleaning 45000 clauses out of 90002 with flag 1071002/3960454
216.74/213.88	c cleaning 45999 clauses out of 92001 with flag 1118001/4007453
220.44/217.54	c cleaning 46999 clauses out of 94004 with flag 1166003/4055455
224.08/221.18	c cleaning 48000 clauses out of 96003 with flag 1215001/4104453
227.71/224.70	c cleaning 49001 clauses out of 98003 with flag 1265001/4154453
231.12/228.18	c cleaning 49994 clauses out of 100003 with flag 1316002/4205454
235.95/232.95	c cleaning 51002 clauses out of 102009 with flag 1368002/4257454
239.66/236.66	c cleaning 52000 clauses out of 104007 with flag 1421002/4310454
243.89/240.84	c cleaning 53000 clauses out of 106005 with flag 1475000/4364452
248.03/244.92	c cleaning 54000 clauses out of 108006 with flag 1530001/4419453
252.85/249.75	c cleaning 55004 clauses out of 110007 with flag 1586002/4475454
257.36/254.21	c cleaning 55993 clauses out of 112001 with flag 1643000/4532452
262.38/259.24	c cleaning 57005 clauses out of 114011 with flag 1701003/4590455
268.01/264.80	c cleaning 58000 clauses out of 116003 with flag 1760000/4649452
274.03/270.90	c cleaning 59002 clauses out of 118008 with flag 1820005/4709457
281.04/277.84	c cleaning 59995 clauses out of 120001 with flag 1881000/4770452
288.86/285.60	c cleaning 61002 clauses out of 122006 with flag 1943000/4832452
296.39/293.17	c cleaning 61991 clauses out of 124007 with flag 2006003/4895455
304.51/301.21	c cleaning 63002 clauses out of 126013 with flag 2070000/4959452
313.03/309.76	c cleaning 64004 clauses out of 128011 with flag 2135000/5024452
321.28/317.97	c cleaning 65000 clauses out of 130007 with flag 2201000/5090452
330.00/326.63	c cleaning 66002 clauses out of 132009 with flag 2268002/5157454
337.72/334.40	c cleaning 66996 clauses out of 134008 with flag 2336003/5225455
345.05/341.62	c cleaning 68001 clauses out of 136011 with flag 2405002/5294454
354.49/351.01	c cleaning 68999 clauses out of 138008 with flag 2475000/5364452
364.61/361.16	c cleaning 70007 clauses out of 140015 with flag 2546006/5435458
374.84/371.33	c cleaning 70999 clauses out of 142004 with flag 2618002/5507454
386.37/382.83	c cleaning 71994 clauses out of 144003 with flag 2691000/5580452
396.58/393.09	c cleaning 73005 clauses out of 146012 with flag 2765003/5654455
407.31/403.78	c cleaning 73999 clauses out of 148004 with flag 2840000/5729452
418.75/415.11	c cleaning 74996 clauses out of 150006 with flag 2916001/5805453
429.48/425.72	c cleaning 76001 clauses out of 152010 with flag 2993001/5882453
441.00/437.27	c cleaning 77007 clauses out of 154015 with flag 3071007/5960459
448.45/444.62	c cleaning 77994 clauses out of 156001 with flag 3150000/6039452
456.08/452.27	c cleaning 78998 clauses out of 158009 with flag 3230002/6119454
465.12/461.22	c cleaning 80005 clauses out of 160010 with flag 3311001/6200453
473.76/469.89	c cleaning 81002 clauses out of 162005 with flag 3393001/6282453
483.61/479.61	c cleaning 81999 clauses out of 164003 with flag 3476001/6365453
491.65/487.67	c cleaning 82999 clauses out of 166006 with flag 3560003/6449455
499.19/495.10	c cleaning 83998 clauses out of 168005 with flag 3645001/6534453
508.31/504.27	c cleaning 85001 clauses out of 170006 with flag 3731000/6620452
518.74/514.64	c cleaning 86005 clauses out of 172011 with flag 3818006/6707458
527.88/523.79	c cleaning 86999 clauses out of 174002 with flag 3906002/6795454
539.19/535.02	c cleaning 87996 clauses out of 176002 with flag 3995001/6884453
549.31/545.14	c cleaning 88999 clauses out of 178007 with flag 4085002/6974454
559.94/555.73	c cleaning 89994 clauses out of 180006 with flag 4176000/7065452
570.78/566.51	c cleaning 91007 clauses out of 182013 with flag 4268001/7157453
582.90/578.69	c cleaning 92005 clauses out of 184009 with flag 4361004/7250456
595.62/591.32	c cleaning 92989 clauses out of 186002 with flag 4455002/7344454
609.27/604.93	c cleaning 94005 clauses out of 188015 with flag 4550004/7439456
621.27/616.97	c cleaning 95002 clauses out of 190008 with flag 4646002/7535454
636.20/631.87	c cleaning 96003 clauses out of 192005 with flag 4743001/7632453
650.15/645.76	c cleaning 97001 clauses out of 194001 with flag 4841000/7730452
663.41/658.99	c cleaning 97987 clauses out of 196000 with flag 4940000/7829452
680.25/675.72	c cleaning 99003 clauses out of 198013 with flag 5040000/7929452
691.95/687.37	c cleaning 99992 clauses out of 200011 with flag 5141001/8030453
705.67/701.09	c cleaning 101004 clauses out of 202018 with flag 5243000/8132452
720.50/715.82	c cleaning 102006 clauses out of 204015 with flag 5346001/8235453
737.45/732.73	c cleaning 102995 clauses out of 206008 with flag 5450000/8339452
752.50/747.70	c cleaning 104002 clauses out of 208013 with flag 5555000/8444452
768.16/763.31	c cleaning 105000 clauses out of 210013 with flag 5661002/8550454
782.49/777.64	c cleaning 106001 clauses out of 212012 with flag 5768001/8657453
796.52/791.66	c cleaning 107003 clauses out of 214013 with flag 5876003/8765455
813.38/808.41	c cleaning 107999 clauses out of 216007 with flag 5985000/8874452
831.03/826.05	c cleaning 108995 clauses out of 218009 with flag 6095001/8984453
848.78/843.72	c cleaning 110002 clauses out of 220014 with flag 6206001/9095453
866.10/861.00	c cleaning 111001 clauses out of 222011 with flag 6318000/9207452
885.94/880.83	c cleaning 112006 clauses out of 224013 with flag 6431003/9320455
908.67/903.56	c cleaning 113001 clauses out of 226006 with flag 6545002/9434454
925.81/920.67	c cleaning 113995 clauses out of 228003 with flag 6660000/9549452
944.93/939.79	c cleaning 115004 clauses out of 230011 with flag 6776003/9665455
966.76/961.55	c cleaning 116000 clauses out of 232004 with flag 6893000/9782452
986.61/981.35	c cleaning 117001 clauses out of 234004 with flag 7011000/9900452
1009.35/1004.02	c cleaning 118002 clauses out of 236008 with flag 7130005/10019457
1032.31/1026.98	c cleaning 118993 clauses out of 238001 with flag 7250000/10139452
1054.52/1049.17	c cleaning 119999 clauses out of 240012 with flag 7371004/10260456
1074.93/1069.50	c cleaning 121003 clauses out of 242013 with flag 7493004/10382456
1093.06/1087.61	c cleaning 121999 clauses out of 244006 with flag 7616000/10505452
1110.82/1105.34	c cleaning 122999 clauses out of 246007 with flag 7740000/10629452
1129.94/1124.47	c cleaning 124002 clauses out of 248012 with flag 7865004/10754456
1149.96/1144.48	c cleaning 125001 clauses out of 250006 with flag 7991000/10880452
1169.69/1164.16	c cleaning 125996 clauses out of 252007 with flag 8118002/11007454
1195.72/1190.17	c cleaning 127000 clauses out of 254009 with flag 8246000/11135452
1214.02/1208.32	c cleaning 127998 clauses out of 256009 with flag 8375000/11264452
1239.35/1233.69	c cleaning 129004 clauses out of 258012 with flag 8505001/11394453
1265.51/1259.76	c cleaning 130001 clauses out of 260007 with flag 8636000/11525452
1290.27/1284.46	c cleaning 131000 clauses out of 262007 with flag 8768001/11657453
1311.93/1306.01	c cleaning 131996 clauses out of 264006 with flag 8901000/11790452
1340.00/1334.01	c cleaning 133002 clauses out of 266011 with flag 9035001/11924453
1361.27/1355.26	c cleaning 133999 clauses out of 268008 with flag 9170000/12059452
1385.98/1379.95	c cleaning 135002 clauses out of 270012 with flag 9306003/12195455
1407.00/1400.96	c cleaning 136000 clauses out of 272008 with flag 9443001/12332453
1432.66/1426.53	c cleaning 137003 clauses out of 274010 with flag 9581003/12470455
1453.41/1447.26	c cleaning 137995 clauses out of 276004 with flag 9720000/12609452
1477.83/1471.62	c cleaning 138999 clauses out of 278009 with flag 9860000/12749452
1505.55/1499.34	c cleaning 139997 clauses out of 280010 with flag 10001000/12890452
1540.79/1534.59	c cleaning 141006 clauses out of 282016 with flag 10143003/13032455
1573.51/1567.20	c cleaning 142003 clauses out of 284009 with flag 10286002/13175454
1605.38/1599.04	c cleaning 142998 clauses out of 286004 with flag 10430000/13319452
1632.72/1626.31	c cleaning 144003 clauses out of 288007 with flag 10575001/13464453
1657.77/1651.38	c cleaning 145001 clauses out of 290009 with flag 10721006/13610458
1687.43/1680.92	c cleaning 145996 clauses out of 292003 with flag 10868001/13757453
1714.92/1708.35	c cleaning 147003 clauses out of 294006 with flag 11016000/13905452
1729.03/1722.47	c Got one! Elapsed wall clock time (in seconds):1722.372
1729.03/1722.47	o 9
1737.03/1730.49	c cleaning 132411 clauses out of 264831 with flag 5000/14023280
1739.45/1732.84	c cleaning 69201 clauses out of 138420 with flag 11000/14029280
1740.38/1733.71	c cleaning 38106 clauses out of 76219 with flag 18000/14036280
1740.90/1734.25	c cleaning 23047 clauses out of 46113 with flag 26000/14044280
1741.41/1734.70	c cleaning 16025 clauses out of 32069 with flag 35003/14053283
1741.82/1735.16	c cleaning 13010 clauses out of 26043 with flag 45002/14063282
1742.36/1735.67	c cleaning 12007 clauses out of 24033 with flag 56002/14074282
1742.98/1736.23	c cleaning 12006 clauses out of 24024 with flag 68000/14086280
1743.61/1736.83	c cleaning 12504 clauses out of 25022 with flag 81004/14099284
1744.32/1737.51	c cleaning 13246 clauses out of 26515 with flag 95001/14113281
1745.04/1738.24	c cleaning 14119 clauses out of 28269 with flag 110001/14128281
1745.86/1739.04	c cleaning 15063 clauses out of 30150 with flag 126001/14144281
1746.76/1739.90	c cleaning 16034 clauses out of 32087 with flag 143001/14161281
1747.69/1740.86	c cleaning 17018 clauses out of 34055 with flag 161003/14179283
1748.81/1741.92	c cleaning 18006 clauses out of 36034 with flag 180000/14198280
1749.92/1743.03	c cleaning 19002 clauses out of 38029 with flag 200001/14218281
1751.14/1744.28	c cleaning 19998 clauses out of 40026 with flag 221000/14239280
1752.67/1745.73	c cleaning 21010 clauses out of 42031 with flag 243003/14261283
1754.29/1747.38	c cleaning 21993 clauses out of 44019 with flag 266001/14284281
1756.00/1749.04	c cleaning 22998 clauses out of 46025 with flag 290000/14308280
1757.71/1750.77	c cleaning 24002 clauses out of 48027 with flag 315000/14333280
1759.43/1752.47	c cleaning 25003 clauses out of 50026 with flag 341001/14359281
1761.47/1754.41	c cleaning 26002 clauses out of 52026 with flag 368004/14386284
1763.47/1756.41	c cleaning 27000 clauses out of 54022 with flag 396002/14414282
1765.39/1758.30	c cleaning 27998 clauses out of 56021 with flag 425001/14443281
1767.52/1760.44	c cleaning 29007 clauses out of 58026 with flag 455004/14473284
1769.63/1762.58	c cleaning 29996 clauses out of 60015 with flag 486000/14504280
1772.14/1765.02	c cleaning 30996 clauses out of 62020 with flag 518001/14536281
1774.45/1767.34	c cleaning 31999 clauses out of 64024 with flag 551001/14569281
1777.09/1769.96	c cleaning 33002 clauses out of 66026 with flag 585002/14603282
1779.90/1772.73	c cleaning 34004 clauses out of 68024 with flag 620002/14638282
1783.03/1775.82	c cleaning 34996 clauses out of 70020 with flag 656002/14674282
1786.26/1779.01	c cleaning 35997 clauses out of 72022 with flag 693000/14711280
1789.48/1782.25	c cleaning 37003 clauses out of 74027 with flag 731002/14749282
1792.81/1785.56	c cleaning 37998 clauses out of 76023 with flag 770001/14788281
1796.61/1789.36	c cleaning 38998 clauses out of 78027 with flag 810003/14828283
1800.03/1792.71	c starts		: 393
1800.03/1792.71	c conflicts		: 14869281
1800.03/1792.71	c decisions		: 15273579
1800.03/1792.71	c propagations		: 123399188
1800.03/1792.71	c inspects		: 22375220388
1800.03/1792.71	c shortcuts		: 0
1800.03/1792.71	c learnt literals	: 0
1800.03/1792.71	c learnt binary clauses	: 0
1800.03/1792.71	c learnt ternary clauses	: 0
1800.03/1792.71	c learnt constraints	: 14869281
1800.03/1792.71	c ignored constraints	: 0
1800.03/1792.71	c root simplifications	: 0
1800.03/1792.71	c removed literals (reason simplification)	: 0
1800.03/1792.71	c reason swapping (by a shorter reason)	: 0
1800.03/1792.71	c Calls to reduceDB	: 396
1800.03/1792.71	c number of reductions to clauses (during analyze)	: 0
1800.03/1792.71	c number of learned constraints concerned by reduction	: 0
1800.03/1792.71	c number of learning phase by resolution	: 0
1800.03/1792.71	c number of learning phase by cutting planes	: 0
1800.03/1792.71	c speed (assignments/second)	: 68839.25760221359
1800.03/1792.71	c non guided choices	1566
1800.03/1792.74	c learnt constraints type 
1800.03/1792.74	c org.sat4j.minisat.constraints.cnf.LearntWLClause => 80027
1800.03/1792.74	c constraints type 
1800.03/1792.74	c org.sat4j.pb.constraints.pb.MaxWatchPbLong => 13
1800.03/1792.74	c 13 constraints processed.
1800.03/1792.74	s SATISFIABLE
1800.03/1792.74	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 
1800.03/1792.74	c objective function=9
1800.03/1792.74	c Total wall clock time (in seconds): 1792.64

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 /tmp/evaluation-result-3688221-1337880886/watcher-3688221-1337880886 -o /tmp/evaluation-result-3688221-1337880886/solver-3688221-1337880886 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688221-1337880886.opb 

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: 1.92 1.98 1.99 3/194 22413
/proc/meminfo: memFree=27678564/32873844 swapFree=6080/6080
[pid=22413] ppid=22411 vsize=24200 CPUtime=0 cores=1,3,5,7
/proc/22413/stat : 22413 (java) S 22411 22413 21352 0 -1 4202496 1146 0 0 0 0 0 0 0 20 0 2 0 254217190 24780800 867 33554432000 1073741824 1073778376 140735725919200 140735725910336 240430121021 0 0 4096 0 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22413/statm: 22434 872 658 9 0 16769 0
[pid=22413/tid=22414] ppid=22411 vsize=89740 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22414/stat : 22414 (java) R 22411 22413 21352 0 -1 4202560 19 0 0 0 0 0 0 0 20 0 2 0 254217191 91893760 886 33554432000 1073741824 1073778376 140735725919200 140735725908264 240426763648 0 0 4096 0 0 0 0 -1 3 0 0 0 0 0

[startup+0.0770021 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 22413
/proc/meminfo: memFree=27678564/32873844 swapFree=6080/6080
[pid=22413] ppid=22411 vsize=9558412 CPUtime=0.06 cores=1,3,5,7
/proc/22413/stat : 22413 (java) S 22411 22413 21352 0 -1 4202496 3781 0 1 0 6 0 0 0 20 0 18 0 254217190 9787813888 4988 33554432000 1073741824 1073778376 140735725919200 140735725910336 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22413/statm: 2389603 4990 1991 9 0 2380296 0
[pid=22413/tid=22414] ppid=22411 vsize=9558412 CPUtime=0.05 cores=1,3,5,7
/proc/22413/task/22414/stat : 22414 (java) R 22411 22413 21352 0 -1 4202560 2250 0 1 0 5 0 0 0 20 0 18 0 254217191 9787813888 4992 33554432000 1073741824 1073778376 140735725919200 140624529365272 240430146829 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9558412

[startup+0.100319 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 22413
/proc/meminfo: memFree=27678564/32873844 swapFree=6080/6080
[pid=22413] ppid=22411 vsize=9558412 CPUtime=0.11 cores=1,3,5,7
/proc/22413/stat : 22413 (java) S 22411 22413 21352 0 -1 4202496 4415 0 1 0 10 1 0 0 20 0 18 0 254217190 9787813888 6088 33554432000 1073741824 1073778376 140735725919200 140735725910336 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22413/statm: 2389603 6091 2136 9 0 2380296 0
[pid=22413/tid=22414] ppid=22411 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/22413/task/22414/stat : 22414 (java) R 22411 22413 21352 0 -1 4202560 2428 0 1 0 7 0 0 0 20 0 18 0 254217191 9787813888 6092 33554432000 1073741824 1073778376 140735725919200 140624529365936 240430146829 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558412

[startup+0.300258 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 22413
/proc/meminfo: memFree=27678564/32873844 swapFree=6080/6080
[pid=22413] ppid=22411 vsize=9624976 CPUtime=0.52 cores=1,3,5,7
/proc/22413/stat : 22413 (java) S 22411 22413 21352 0 -1 4202496 6877 0 1 0 51 1 0 0 20 0 19 0 254217190 9855975424 7238 33554432000 1073741824 1073778376 140735725919200 140735725910336 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22413/statm: 2406244 7238 2231 9 0 2396937 0
[pid=22413/tid=22414] ppid=22411 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/22413/task/22414/stat : 22414 (java) R 22411 22413 21352 0 -1 4202560 2449 0 1 0 27 0 0 0 20 0 19 0 254217191 9855975424 7238 33554432000 1073741824 1073778376 140735725919200 140624529367824 140624359994259 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 0.52
Current children cumulated vsize (KiB) 9624976

[startup+0.700184 s]
/proc/loadavg: 1.92 1.98 1.99 3/194 22413
/proc/meminfo: memFree=27678564/32873844 swapFree=6080/6080
[pid=22413] ppid=22411 vsize=9624976 CPUtime=1.03 cores=1,3,5,7
/proc/22413/stat : 22413 (java) S 22411 22413 21352 0 -1 4202496 7530 0 1 0 102 1 0 0 20 0 19 0 254217190 9855975424 8280 33554432000 1073741824 1073778376 140735725919200 140735725910336 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22413/statm: 2406244 8280 2242 9 0 2396937 0
[pid=22413/tid=22414] ppid=22411 vsize=9624976 CPUtime=0.67 cores=1,3,5,7
/proc/22413/task/22414/stat : 22414 (java) R 22411 22413 21352 0 -1 4202560 2451 0 1 0 67 0 0 0 20 0 19 0 254217191 9855975424 8280 33554432000 1073741824 1073778376 140735725919200 140624529367824 140624359667366 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
Current children cumulated CPU time (s) 1.03
Current children cumulated vsize (KiB) 9624976

[startup+1.50062 s]
/proc/loadavg: 1.92 1.98 1.99 4/213 22432
/proc/meminfo: memFree=27639988/32873844 swapFree=6080/6080
[pid=22413] ppid=22411 vsize=9624976 CPUtime=2.02 cores=1,3,5,7
/proc/22413/stat : 22413 (java) S 22411 22413 21352 0 -1 4202496 10504 0 1 0 200 2 0 0 20 0 19 0 254217190 9855975424 12947 33554432000 1073741824 1073778376 140735725919200 140735725910336 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22413/statm: 2406244 12947 2268 9 0 2396937 0
[pid=22413/tid=22414] ppid=22411 vsize=9624976 CPUtime=1.42 cores=1,3,5,7
/proc/22413/task/22414/stat : 22414 (java) R 22411 22413 21352 0 -1 4202560 2457 0 1 0 142 0 0 0 20 0 19 0 254217191 9855975424 12947 33554432000 1073741824 1073778376 140735725919200 140624529367448 140624360119054 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22413/tid=22416] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22416/stat : 22416 (java) S 22411 22413 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254217191 9855975424 12947 33554432000 1073741824 1073778376 140735725919200 140624490858920 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22413/tid=22417] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22417/stat : 22417 (java) S 22411 22413 21352 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254217191 9855975424 12947 33554432000 1073741824 1073778376 140735725919200 140624489806376 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22413/tid=22418] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22418/stat : 22418 (java) S 22411 22413 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254217191 9855975424 12947 33554432000 1073741824 1073778376 140735725919200 140624488753320 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22413/tid=22419] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22419/stat : 22419 (java) S 22411 22413 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254217191 9855975424 12947 33554432000 1073741824 1073778376 140735725919200 140624487700776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22413/tid=22420] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22420/stat : 22420 (java) S 22411 22413 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254217191 9855975424 12947 33554432000 1073741824 1073778376 140735725919200 140624486648744 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22413/tid=22421] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22421/stat : 22421 (java) S 22411 22413 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254217191 9855975424 12947 33554432000 1073741824 1073778376 140735725919200 140624485596200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22413/tid=22422] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22422/stat : 22422 (java) S 22411 22413 21352 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254217192 9855975424 12947 33554432000 1073741824 1073778376 140735725919200 140624484543144 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22413/tid=22423] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22423/stat : 22423 (java) S 22411 22413 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254217192 9855975424 12947 33554432000 1073741824 1073778376 140735725919200 140624483490600 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22413/tid=22424] ppid=22411 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/22413/task/22424/stat : 22424 (java) S 22411 22413 21352 0 -1 4202560 36 0 0 0 3 0 0 0 20 0 19 0 254217193 9855975424 12947 33554432000 1073741824 1073778376 140735725919200 140624353266024 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22425] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22425/stat : 22425 (java) S 22411 22413 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254217193 9855975424 12947 33554432000 1073741824 1073778376 140735725919200 140624352212344 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22426] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22426/stat : 22426 (java) S 22411 22413 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254217193 9855975424 12947 33554432000 1073741824 1073778376 140735725919200 140624351159176 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22427] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22427/stat : 22427 (java) S 22411 22413 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254217195 9855975424 12947 33554432000 1073741824 1073778376 140735725919200 140624350107920 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22428] ppid=22411 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/22413/task/22428/stat : 22428 (java) S 22411 22413 21352 0 -1 4202560 4537 0 0 0 29 0 0 0 20 0 19 0 254217195 9855975424 12947 33554432000 1073741824 1073778376 140735725919200 140624349055800 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22429] ppid=22411 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/22413/task/22429/stat : 22429 (java) S 22411 22413 21352 0 -1 4202560 2249 0 0 0 21 0 0 0 20 0 19 0 254217195 9855975424 12947 33554432000 1073741824 1073778376 140735725919200 140624348003256 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22413/tid=22430] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22430/stat : 22430 (java) S 22411 22413 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254217195 9855975424 12947 33554432000 1073741824 1073778376 140735725919200 140624346950392 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22413/tid=22431] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22431/stat : 22431 (java) S 22411 22413 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254217195 9855975424 12947 33554432000 1073741824 1073778376 140735725919200 140624345898056 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22413/tid=22432] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22432/stat : 22432 (java) S 22411 22413 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254217205 9855975424 12947 33554432000 1073741824 1073778376 140735725919200 140624344843304 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.02
Current children cumulated vsize (KiB) 9624976

[startup+3.10062 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 22432
/proc/meminfo: memFree=27635396/32873844 swapFree=6080/6080
[pid=22413] ppid=22411 vsize=9624976 CPUtime=3.69 cores=1,3,5,7
/proc/22413/stat : 22413 (java) S 22411 22413 21352 0 -1 4202496 11185 0 1 0 366 3 0 0 20 0 19 0 254217190 9855975424 13207 33554432000 1073741824 1073778376 140735725919200 140735725910336 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22413/statm: 2406244 13207 2269 9 0 2396937 0
[pid=22413/tid=22414] ppid=22411 vsize=9624976 CPUtime=2.96 cores=1,3,5,7
/proc/22413/task/22414/stat : 22414 (java) R 22411 22413 21352 0 -1 4202560 2463 0 1 0 296 0 0 0 20 0 19 0 254217191 9855975424 13207 33554432000 1073741824 1073778376 140735725919200 140624529367448 140624360083961 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22413/tid=22416] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22416/stat : 22416 (java) S 22411 22413 21352 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254217191 9855975424 13207 33554432000 1073741824 1073778376 140735725919200 140624490858920 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22413/tid=22417] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22417/stat : 22417 (java) S 22411 22413 21352 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254217191 9855975424 13207 33554432000 1073741824 1073778376 140735725919200 140624489806376 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22413/tid=22418] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22418/stat : 22418 (java) S 22411 22413 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254217191 9855975424 13207 33554432000 1073741824 1073778376 140735725919200 140624488753320 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22413/tid=22419] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22419/stat : 22419 (java) S 22411 22413 21352 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254217191 9855975424 13207 33554432000 1073741824 1073778376 140735725919200 140624487700776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22413/tid=22420] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22420/stat : 22420 (java) S 22411 22413 21352 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254217191 9855975424 13207 33554432000 1073741824 1073778376 140735725919200 140624486648744 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22413/tid=22421] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22421/stat : 22421 (java) S 22411 22413 21352 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254217191 9855975424 13207 33554432000 1073741824 1073778376 140735725919200 140624485596200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22413/tid=22422] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22422/stat : 22422 (java) S 22411 22413 21352 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254217192 9855975424 13207 33554432000 1073741824 1073778376 140735725919200 140624484543144 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22413/tid=22423] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22423/stat : 22423 (java) S 22411 22413 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254217192 9855975424 13207 33554432000 1073741824 1073778376 140735725919200 140624483490600 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22424] ppid=22411 vsize=9624976 CPUtime=0.08 cores=1,3,5,7
/proc/22413/task/22424/stat : 22424 (java) S 22411 22413 21352 0 -1 4202560 37 0 0 0 8 0 0 0 20 0 19 0 254217193 9855975424 13207 33554432000 1073741824 1073778376 140735725919200 140624353266024 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22413/tid=22425] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22425/stat : 22425 (java) S 22411 22413 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254217193 9855975424 13207 33554432000 1073741824 1073778376 140735725919200 140624352212344 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22426] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22426/stat : 22426 (java) S 22411 22413 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254217193 9855975424 13207 33554432000 1073741824 1073778376 140735725919200 140624351159176 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22427] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22427/stat : 22427 (java) S 22411 22413 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254217195 9855975424 13207 33554432000 1073741824 1073778376 140735725919200 140624350107920 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22428] ppid=22411 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/22413/task/22428/stat : 22428 (java) S 22411 22413 21352 0 -1 4202560 4537 0 0 0 29 0 0 0 20 0 19 0 254217195 9855975424 13207 33554432000 1073741824 1073778376 140735725919200 140624349055800 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22429] ppid=22411 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/22413/task/22429/stat : 22429 (java) S 22411 22413 21352 0 -1 4202560 2905 0 0 0 25 0 0 0 20 0 19 0 254217195 9855975424 13207 33554432000 1073741824 1073778376 140735725919200 140624348003256 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22413/tid=22430] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22430/stat : 22430 (java) S 22411 22413 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254217195 9855975424 13207 33554432000 1073741824 1073778376 140735725919200 140624346950392 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22413/tid=22431] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22431/stat : 22431 (java) S 22411 22413 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254217195 9855975424 13207 33554432000 1073741824 1073778376 140735725919200 140624345898056 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22413/tid=22432] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22432/stat : 22432 (java) S 22411 22413 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254217205 9855975424 13207 33554432000 1073741824 1073778376 140735725919200 140624344843304 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.69
Current children cumulated vsize (KiB) 9624976

[startup+6.30072 s]
/proc/loadavg: 1.93 1.98 1.99 3/213 22432
/proc/meminfo: memFree=27629464/32873844 swapFree=6080/6080
[pid=22413] ppid=22411 vsize=9624976 CPUtime=6.92 cores=1,3,5,7
/proc/22413/stat : 22413 (java) S 22411 22413 21352 0 -1 4202496 11213 0 1 0 689 3 0 0 20 0 19 0 254217190 9855975424 13198 33554432000 1073741824 1073778376 140735725919200 140735725910336 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22413/statm: 2406244 13198 2269 9 0 2396937 0
[pid=22413/tid=22414] ppid=22411 vsize=9624976 CPUtime=6.04 cores=1,3,5,7
/proc/22413/task/22414/stat : 22414 (java) R 22411 22413 21352 0 -1 4202560 2475 0 1 0 603 1 0 0 20 0 19 0 254217191 9855975424 13198 33554432000 1073741824 1073778376 140735725919200 140624529367448 140624360118460 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22413/tid=22416] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22416/stat : 22416 (java) S 22411 22413 21352 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254217191 9855975424 13198 33554432000 1073741824 1073778376 140735725919200 140624490858920 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22417] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22417/stat : 22417 (java) S 22411 22413 21352 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 254217191 9855975424 13198 33554432000 1073741824 1073778376 140735725919200 140624489806376 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22413/tid=22418] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22418/stat : 22418 (java) S 22411 22413 21352 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 254217191 9855975424 13198 33554432000 1073741824 1073778376 140735725919200 140624488753320 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22413/tid=22419] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22419/stat : 22419 (java) S 22411 22413 21352 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 254217191 9855975424 13198 33554432000 1073741824 1073778376 140735725919200 140624487700776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22413/tid=22420] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22420/stat : 22420 (java) S 22411 22413 21352 0 -1 4202560 6 0 0 0 0 0 0 0 20 0 19 0 254217191 9855975424 13198 33554432000 1073741824 1073778376 140735725919200 140624486648744 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22413/tid=22421] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22421/stat : 22421 (java) S 22411 22413 21352 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254217191 9855975424 13198 33554432000 1073741824 1073778376 140735725919200 140624485596200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22413/tid=22422] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22422/stat : 22422 (java) S 22411 22413 21352 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 254217192 9855975424 13198 33554432000 1073741824 1073778376 140735725919200 140624484543144 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22423] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22423/stat : 22423 (java) S 22411 22413 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254217192 9855975424 13198 33554432000 1073741824 1073778376 140735725919200 140624483490600 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22413/tid=22424] ppid=22411 vsize=9624976 CPUtime=0.18 cores=1,3,5,7
/proc/22413/task/22424/stat : 22424 (java) S 22411 22413 21352 0 -1 4202560 37 0 0 0 18 0 0 0 20 0 19 0 254217193 9855975424 13198 33554432000 1073741824 1073778376 140735725919200 140624353266024 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22413/tid=22425] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22425/stat : 22425 (java) S 22411 22413 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254217193 9855975424 13198 33554432000 1073741824 1073778376 140735725919200 140624352212344 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22426] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22426/stat : 22426 (java) S 22411 22413 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254217193 9855975424 13198 33554432000 1073741824 1073778376 140735725919200 140624351159176 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22427] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22427/stat : 22427 (java) S 22411 22413 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254217195 9855975424 13198 33554432000 1073741824 1073778376 140735725919200 140624350107920 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22428] ppid=22411 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/22413/task/22428/stat : 22428 (java) S 22411 22413 21352 0 -1 4202560 4537 0 0 0 29 0 0 0 20 0 19 0 254217195 9855975424 13198 33554432000 1073741824 1073778376 140735725919200 140624349055800 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22429] ppid=22411 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/22413/task/22429/stat : 22429 (java) S 22411 22413 21352 0 -1 4202560 2905 0 0 0 25 0 0 0 20 0 19 0 254217195 9855975424 13198 33554432000 1073741824 1073778376 140735725919200 140624348003256 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0

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

[pid=22413/tid=22421] ppid=22411 vsize=9624976 CPUtime=1.06 cores=1,3,5,7
/proc/22413/task/22421/stat : 22421 (java) S 22411 22413 21352 0 -1 4202560 342 0 0 0 104 2 0 0 20 0 19 0 254217191 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624485596200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22413/tid=22422] ppid=22411 vsize=9624976 CPUtime=0.99 cores=1,3,5,7
/proc/22413/task/22422/stat : 22422 (java) S 22411 22413 21352 0 -1 4202560 426 0 0 0 97 2 0 0 20 0 19 0 254217192 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624484543144 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22413/tid=22423] ppid=22411 vsize=9624976 CPUtime=0.96 cores=1,3,5,7
/proc/22413/task/22423/stat : 22423 (java) S 22411 22413 21352 0 -1 4202560 343 0 0 0 94 2 0 0 20 0 19 0 254217192 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624483490600 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22424] ppid=22411 vsize=9624976 CPUtime=9.13 cores=1,3,5,7
/proc/22413/task/22424/stat : 22424 (java) S 22411 22413 21352 0 -1 4202560 160 0 0 0 909 4 0 0 20 0 19 0 254217193 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624353266024 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22413/tid=22425] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22425/stat : 22425 (java) S 22411 22413 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254217193 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624352212344 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22426] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22426/stat : 22426 (java) S 22411 22413 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254217193 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624351159176 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22427] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22427/stat : 22427 (java) S 22411 22413 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254217195 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624350107920 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22428] ppid=22411 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/22413/task/22428/stat : 22428 (java) S 22411 22413 21352 0 -1 4202560 4538 0 0 0 30 0 0 0 20 0 19 0 254217195 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624349055800 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22429] ppid=22411 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/22413/task/22429/stat : 22429 (java) S 22411 22413 21352 0 -1 4202560 3119 0 0 0 30 0 0 0 20 0 19 0 254217195 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624348003256 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22413/tid=22430] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22430/stat : 22430 (java) S 22411 22413 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254217195 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624346950392 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22413/tid=22431] ppid=22411 vsize=9624976 CPUtime=0.59 cores=1,3,5,7
/proc/22413/task/22431/stat : 22431 (java) S 22411 22413 21352 0 -1 4202560 99 0 0 0 29 30 0 0 20 0 19 0 254217195 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624345898056 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22413/tid=22432] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22432/stat : 22432 (java) S 22411 22413 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254217205 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624344843304 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1728.93
Current children cumulated vsize (KiB) 9624976

[startup+1782.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/213 22471
/proc/meminfo: memFree=27392984/32873844 swapFree=6080/6080
[pid=22413] ppid=22411 vsize=9624976 CPUtime=1789.61 cores=1,3,5,7
/proc/22413/stat : 22413 (java) S 22411 22413 21352 0 -1 4202496 14540 0 1 0 178911 50 0 0 20 0 19 0 254217190 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140735725910336 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22413/statm: 2406244 43785 2270 9 0 2396937 0
[pid=22413/tid=22414] ppid=22411 vsize=9624976 CPUtime=1769.25 cores=1,3,5,7
/proc/22413/task/22414/stat : 22414 (java) R 22411 22413 21352 0 -1 4202560 2858 0 1 0 176895 30 0 0 20 0 19 0 254217191 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624529367288 140624360119054 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22413/tid=22416] ppid=22411 vsize=9624976 CPUtime=1.15 cores=1,3,5,7
/proc/22413/task/22416/stat : 22416 (java) S 22411 22413 21352 0 -1 4202560 283 0 0 0 112 3 0 0 20 0 19 0 254217191 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624490858920 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22413/tid=22417] ppid=22411 vsize=9624976 CPUtime=1.21 cores=1,3,5,7
/proc/22413/task/22417/stat : 22417 (java) S 22411 22413 21352 0 -1 4202560 288 0 0 0 118 3 0 0 20 0 19 0 254217191 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624489806376 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22418] ppid=22411 vsize=9624976 CPUtime=1.18 cores=1,3,5,7
/proc/22413/task/22418/stat : 22418 (java) S 22411 22413 21352 0 -1 4202560 265 0 0 0 116 2 0 0 20 0 19 0 254217191 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624488753320 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22413/tid=22419] ppid=22411 vsize=9624976 CPUtime=1.22 cores=1,3,5,7
/proc/22413/task/22419/stat : 22419 (java) S 22411 22413 21352 0 -1 4202560 348 0 0 0 120 2 0 0 20 0 19 0 254217191 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624487700776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22413/tid=22420] ppid=22411 vsize=9624976 CPUtime=1.2 cores=1,3,5,7
/proc/22413/task/22420/stat : 22420 (java) S 22411 22413 21352 0 -1 4202560 282 0 0 0 117 3 0 0 20 0 19 0 254217191 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624486648744 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22413/tid=22421] ppid=22411 vsize=9624976 CPUtime=1.18 cores=1,3,5,7
/proc/22413/task/22421/stat : 22421 (java) S 22411 22413 21352 0 -1 4202560 342 0 0 0 115 3 0 0 20 0 19 0 254217191 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624485596200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22413/tid=22422] ppid=22411 vsize=9624976 CPUtime=1.12 cores=1,3,5,7
/proc/22413/task/22422/stat : 22422 (java) S 22411 22413 21352 0 -1 4202560 426 0 0 0 110 2 0 0 20 0 19 0 254217192 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624484543144 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22413/tid=22423] ppid=22411 vsize=9624976 CPUtime=1.04 cores=1,3,5,7
/proc/22413/task/22423/stat : 22423 (java) S 22411 22413 21352 0 -1 4202560 343 0 0 0 102 2 0 0 20 0 19 0 254217192 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624483490600 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22413/tid=22424] ppid=22411 vsize=9624976 CPUtime=10.22 cores=1,3,5,7
/proc/22413/task/22424/stat : 22424 (java) S 22411 22413 21352 0 -1 4202560 164 0 0 0 1018 4 0 0 20 0 19 0 254217193 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624353266024 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22413/tid=22425] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22425/stat : 22425 (java) S 22411 22413 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254217193 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624352212344 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22426] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22426/stat : 22426 (java) S 22411 22413 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254217193 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624351159176 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22427] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22427/stat : 22427 (java) S 22411 22413 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254217195 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624350107920 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22428] ppid=22411 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/22413/task/22428/stat : 22428 (java) S 22411 22413 21352 0 -1 4202560 4538 0 0 0 30 0 0 0 20 0 19 0 254217195 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624349055800 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22429] ppid=22411 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/22413/task/22429/stat : 22429 (java) S 22411 22413 21352 0 -1 4202560 3119 0 0 0 30 0 0 0 20 0 19 0 254217195 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624348003256 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22413/tid=22430] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22430/stat : 22430 (java) S 22411 22413 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254217195 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624346950392 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22413/tid=22431] ppid=22411 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/22413/task/22431/stat : 22431 (java) S 22411 22413 21352 0 -1 4202560 103 0 0 0 30 30 0 0 20 0 19 0 254217195 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624345898056 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22413/tid=22432] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22432/stat : 22432 (java) S 22411 22413 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254217205 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624344843304 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1789.61
Current children cumulated vsize (KiB) 9624976



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1792.7 s]
/proc/loadavg: 2.03 2.01 2.00 3/213 22471
/proc/meminfo: memFree=27392984/32873844 swapFree=6080/6080
[pid=22413] ppid=22411 vsize=9624976 CPUtime=1800.03 cores=1,3,5,7
/proc/22413/stat : 22413 (java) S 22411 22413 21352 0 -1 4202496 14542 0 1 0 179953 50 0 0 20 0 19 0 254217190 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140735725910336 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22413/statm: 2406244 43785 2270 9 0 2396937 0
[pid=22413/tid=22414] ppid=22411 vsize=9624976 CPUtime=1779.58 cores=1,3,5,7
/proc/22413/task/22414/stat : 22414 (java) R 22411 22413 21352 0 -1 4202560 2860 0 1 0 177927 31 0 0 20 0 19 0 254217191 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624529367328 140624360209836 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22413/tid=22416] ppid=22411 vsize=9624976 CPUtime=1.15 cores=1,3,5,7
/proc/22413/task/22416/stat : 22416 (java) S 22411 22413 21352 0 -1 4202560 283 0 0 0 112 3 0 0 20 0 19 0 254217191 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624490858920 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22413/tid=22417] ppid=22411 vsize=9624976 CPUtime=1.21 cores=1,3,5,7
/proc/22413/task/22417/stat : 22417 (java) S 22411 22413 21352 0 -1 4202560 288 0 0 0 118 3 0 0 20 0 19 0 254217191 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624489806376 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22418] ppid=22411 vsize=9624976 CPUtime=1.18 cores=1,3,5,7
/proc/22413/task/22418/stat : 22418 (java) S 22411 22413 21352 0 -1 4202560 265 0 0 0 116 2 0 0 20 0 19 0 254217191 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624488753320 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22413/tid=22419] ppid=22411 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/22413/task/22419/stat : 22419 (java) S 22411 22413 21352 0 -1 4202560 348 0 0 0 121 2 0 0 20 0 19 0 254217191 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624487700776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22413/tid=22420] ppid=22411 vsize=9624976 CPUtime=1.21 cores=1,3,5,7
/proc/22413/task/22420/stat : 22420 (java) S 22411 22413 21352 0 -1 4202560 282 0 0 0 118 3 0 0 20 0 19 0 254217191 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624486648744 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22413/tid=22421] ppid=22411 vsize=9624976 CPUtime=1.19 cores=1,3,5,7
/proc/22413/task/22421/stat : 22421 (java) S 22411 22413 21352 0 -1 4202560 342 0 0 0 116 3 0 0 20 0 19 0 254217191 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624485596200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22413/tid=22422] ppid=22411 vsize=9624976 CPUtime=1.13 cores=1,3,5,7
/proc/22413/task/22422/stat : 22422 (java) S 22411 22413 21352 0 -1 4202560 426 0 0 0 111 2 0 0 20 0 19 0 254217192 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624484543144 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22423] ppid=22411 vsize=9624976 CPUtime=1.04 cores=1,3,5,7
/proc/22413/task/22423/stat : 22423 (java) S 22411 22413 21352 0 -1 4202560 343 0 0 0 102 2 0 0 20 0 19 0 254217192 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624483490600 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22413/tid=22424] ppid=22411 vsize=9624976 CPUtime=10.29 cores=1,3,5,7
/proc/22413/task/22424/stat : 22424 (java) S 22411 22413 21352 0 -1 4202560 164 0 0 0 1025 4 0 0 20 0 19 0 254217193 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624353266024 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22413/tid=22425] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22425/stat : 22425 (java) S 22411 22413 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254217193 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624352212344 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22426] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22426/stat : 22426 (java) S 22411 22413 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254217193 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624351159176 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22427] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22427/stat : 22427 (java) S 22411 22413 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254217195 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624350107920 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22428] ppid=22411 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/22413/task/22428/stat : 22428 (java) S 22411 22413 21352 0 -1 4202560 4538 0 0 0 30 0 0 0 20 0 19 0 254217195 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624349055800 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22429] ppid=22411 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/22413/task/22429/stat : 22429 (java) S 22411 22413 21352 0 -1 4202560 3119 0 0 0 30 0 0 0 20 0 19 0 254217195 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624348003256 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22413/tid=22430] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22430/stat : 22430 (java) S 22411 22413 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254217195 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624346950392 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22413/tid=22431] ppid=22411 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/22413/task/22431/stat : 22431 (java) S 22411 22413 21352 0 -1 4202560 103 0 0 0 30 30 0 0 20 0 19 0 254217195 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624345898056 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22413/tid=22432] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22432/stat : 22432 (java) S 22411 22413 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254217205 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624344843304 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9624976

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

Solver just ended. Dumping a history of the last processes samples

[startup+1792.7 s]
/proc/loadavg: 2.03 2.01 2.00 3/213 22471
/proc/meminfo: memFree=27392984/32873844 swapFree=6080/6080
[pid=22413] ppid=22411 vsize=9624976 CPUtime=1800.03 cores=1,3,5,7
/proc/22413/stat : 22413 (java) S 22411 22413 21352 0 -1 4202496 14542 0 1 0 179953 50 0 0 20 0 19 0 254217190 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140735725910336 240430121021 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/22413/statm: 2406244 43785 2270 9 0 2396937 0
[pid=22413/tid=22414] ppid=22411 vsize=9624976 CPUtime=1779.58 cores=1,3,5,7
/proc/22413/task/22414/stat : 22414 (java) R 22411 22413 21352 0 -1 4202560 2860 0 1 0 177927 31 0 0 20 0 19 0 254217191 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624529367328 140624360209836 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=22413/tid=22416] ppid=22411 vsize=9624976 CPUtime=1.15 cores=1,3,5,7
/proc/22413/task/22416/stat : 22416 (java) S 22411 22413 21352 0 -1 4202560 283 0 0 0 112 3 0 0 20 0 19 0 254217191 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624490858920 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22413/tid=22417] ppid=22411 vsize=9624976 CPUtime=1.21 cores=1,3,5,7
/proc/22413/task/22417/stat : 22417 (java) S 22411 22413 21352 0 -1 4202560 288 0 0 0 118 3 0 0 20 0 19 0 254217191 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624489806376 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22418] ppid=22411 vsize=9624976 CPUtime=1.18 cores=1,3,5,7
/proc/22413/task/22418/stat : 22418 (java) S 22411 22413 21352 0 -1 4202560 265 0 0 0 116 2 0 0 20 0 19 0 254217191 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624488753320 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22413/tid=22419] ppid=22411 vsize=9624976 CPUtime=1.23 cores=1,3,5,7
/proc/22413/task/22419/stat : 22419 (java) S 22411 22413 21352 0 -1 4202560 348 0 0 0 121 2 0 0 20 0 19 0 254217191 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624487700776 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22413/tid=22420] ppid=22411 vsize=9624976 CPUtime=1.21 cores=1,3,5,7
/proc/22413/task/22420/stat : 22420 (java) S 22411 22413 21352 0 -1 4202560 282 0 0 0 118 3 0 0 20 0 19 0 254217191 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624486648744 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22413/tid=22421] ppid=22411 vsize=9624976 CPUtime=1.19 cores=1,3,5,7
/proc/22413/task/22421/stat : 22421 (java) S 22411 22413 21352 0 -1 4202560 342 0 0 0 116 3 0 0 20 0 19 0 254217191 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624485596200 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=22413/tid=22422] ppid=22411 vsize=9624976 CPUtime=1.13 cores=1,3,5,7
/proc/22413/task/22422/stat : 22422 (java) S 22411 22413 21352 0 -1 4202560 426 0 0 0 111 2 0 0 20 0 19 0 254217192 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624484543144 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22423] ppid=22411 vsize=9624976 CPUtime=1.04 cores=1,3,5,7
/proc/22413/task/22423/stat : 22423 (java) S 22411 22413 21352 0 -1 4202560 343 0 0 0 102 2 0 0 20 0 19 0 254217192 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624483490600 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22413/tid=22424] ppid=22411 vsize=9624976 CPUtime=10.29 cores=1,3,5,7
/proc/22413/task/22424/stat : 22424 (java) S 22411 22413 21352 0 -1 4202560 164 0 0 0 1025 4 0 0 20 0 19 0 254217193 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624353266024 240430135209 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22413/tid=22425] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22425/stat : 22425 (java) S 22411 22413 21352 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254217193 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624352212344 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22426] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22426/stat : 22426 (java) S 22411 22413 21352 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254217193 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624351159176 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22427] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22427/stat : 22427 (java) S 22411 22413 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254217195 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624350107920 240430143264 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22428] ppid=22411 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/22413/task/22428/stat : 22428 (java) S 22411 22413 21352 0 -1 4202560 4538 0 0 0 30 0 0 0 20 0 19 0 254217195 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624349055800 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=22413/tid=22429] ppid=22411 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/22413/task/22429/stat : 22429 (java) S 22411 22413 21352 0 -1 4202560 3119 0 0 0 30 0 0 0 20 0 19 0 254217195 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624348003256 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22413/tid=22430] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22430/stat : 22430 (java) S 22411 22413 21352 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254217195 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624346950392 240430134332 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=22413/tid=22431] ppid=22411 vsize=9624976 CPUtime=0.6 cores=1,3,5,7
/proc/22413/task/22431/stat : 22431 (java) S 22411 22413 21352 0 -1 4202560 103 0 0 0 30 30 0 0 20 0 19 0 254217195 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624345898056 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22413/tid=22432] ppid=22411 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/22413/task/22432/stat : 22432 (java) S 22411 22413 21352 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254217205 9855975424 43785 33554432000 1073741824 1073778376 140735725919200 140624344843304 240430135209 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 9624976

Child status: 143
Real time (s): 1792.75
CPU time (s): 1800.76
CPU user time (s): 1799.77
CPU system time (s): 0.990849
CPU usage (%): 100.447
Max. virtual memory (cumulated for all children) (KiB): 9624976

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.77
system time used= 0.990849
maximum resident set size= 175300
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14585
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 48619
involuntary context switches= 23366

runsolver used 6.11207 second user time and 15.6606 second system time

The end

Launcher Data 

Begin job on node108 at 2012-05-24 19:34:46
IDJOB=3688221
IDBENCH=2908
IDSOLVER=2269
FILE ID=node108/3688221-1337880886
RUNJOBID= node108-1337871881-21369
PBS_JOBID= 14620096
Free space on /tmp= 71720 MiB

SOLVER NAME= Sat 4j PB Resolution 2.3.2 Snapshot
BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_6_50_2.opb
COMMAND LINE= java -jar HOME/sat4j-pb.jar BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3688221-1337880886/watcher-3688221-1337880886 -o /tmp/evaluation-result-3688221-1337880886/solver-3688221-1337880886 -C 1800 -W 1900 -M 15500  java -jar HOME/sat4j-pb.jar HOME/instance-3688221-1337880886.opb

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

MD5SUM BENCH= b690996610ff381ef60353517fe5a0e9
RANDOM SEED=1452361849

node108.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

/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.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.54
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

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.273
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        27678828 kB
Buffers:          196064 kB
Cached:          4182068 kB
SwapCached:            0 kB
Active:           531592 kB
Inactive:        3890432 kB
Active(anon):      46348 kB
Inactive(anon):        0 kB
Active(file):     485244 kB
Inactive(file):  3890432 kB
Unevictable:        6080 kB
Mlocked:            6080 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              1016 kB
Writeback:             0 kB
AnonPages:         54096 kB
Mapped:            22452 kB
Shmem:               200 kB
Slab:             630508 kB
SReclaimable:      72252 kB
SUnreclaim:       558256 kB
KernelStack:        1576 kB
PageTables:         3828 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     694820 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     22528 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7872 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71720 MiB
End job on node108 at 2012-05-24 20:04:41