Trace number 3712327

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2012-05-17? (TO) 1800.01 1800.31

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/
tsp/normalized-t3002.11tsp11.1900557574--soft-0-100-0.wbo
MD5SUMc0d431beb578ab67ce1970cb297cf650
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark6
Best CPU time to get the best result obtained on this benchmark59.355
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables231
Total number of constraints2707
Number of soft constraints2707
Number of constraints which are clauses2684
Number of constraints which are cardinality constraints (but not clauses)22
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint110
Top cost 137973
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 137972
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 689
Number of bits of the biggest sum of numbers10
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.79/0.84	c 2012-05-28T13:42:24+0200
0.79/0.84	c arch = x86_64
0.79/0.84	c os = linux
0.79/0.84	c compiler = ghc 7.4
0.79/0.84	c packages:
0.79/0.84	c   OptDir-0.0.1
0.79/0.84	c   array-0.4.0.0
0.79/0.84	c   base-4.5.0.0
0.79/0.84	c   bytestring-0.9.2.1
0.79/0.84	c   containers-0.4.2.1
0.79/0.84	c   deepseq-1.3.0.0
0.79/0.84	c   mtl-2.1.1
0.79/0.84	c   old_locale-1.0.0.4
0.79/0.84	c   parse_dimacs-1.2
0.79/0.84	c   parsec-3.1.2
0.79/0.84	c   queue-0.1.2
0.79/0.84	c   stm-2.3
0.79/0.84	c   time-1.4
0.79/0.84	c command line = ["--wbo","HOME/instance-3712327-1338205344.wbo"]
0.79/0.84	c #vars 231
0.79/0.84	c #constraints 2707
0.79/0.84	c Solving starts ...
0.79/0.89	c solving time = 0.043s
0.79/0.89	c #decision = 6549
0.79/0.89	c #conflict = 105
0.79/0.89	c #restart = 1
0.79/0.89	o 511
0.88/0.90	c Solving starts ...
0.88/0.91	c solving time = 0.013s
0.88/0.91	c #decision = 9156
0.88/0.91	c #conflict = 106
0.88/0.91	c #restart = 1
0.88/0.91	o 492
0.88/0.92	c Solving starts ...
1.10/1.16	c solving time = 0.238s
1.10/1.16	c #decision = 10962
1.10/1.16	c #conflict = 138
1.10/1.16	c #restart = 1
1.10/1.16	o 467
1.10/1.16	c Solving starts ...
1.10/1.18	c solving time = 0.016s
1.10/1.18	c #decision = 10989
1.10/1.18	c #conflict = 138
1.10/1.18	c #restart = 1
1.10/1.18	o 466
1.10/1.19	c Solving starts ...
1.19/1.20	c solving time = 0.014s
1.19/1.20	c #decision = 11048
1.19/1.20	c #conflict = 138
1.19/1.20	c #restart = 1
1.19/1.20	o 464
1.19/1.21	c Solving starts ...
2.98/3.00	c solving time = 1.791s
2.98/3.00	c #decision = 11198
2.98/3.00	c #conflict = 188
2.98/3.00	c #restart = 1
2.98/3.00	o 461
2.98/3.01	c Solving starts ...
78.48/78.50	c solving time = 75.474s
78.48/78.50	c #decision = 13725
78.48/78.50	c #conflict = 1715
78.48/78.50	c #restart = 6
78.48/78.50	o 460
78.48/78.50	c Solving starts ...
100.38/100.43	c solving time = 21.924s
100.38/100.43	c #decision = 14532
100.38/100.43	c #conflict = 2089
100.38/100.43	c #restart = 8
100.38/100.43	o 459
100.38/100.44	c Solving starts ...
100.38/100.44	c learnt constraints deletion: 2081 -> 1041
142.16/142.21	c solving time = 41.756s
142.16/142.21	c #decision = 17018
142.16/142.21	c #conflict = 3277
142.16/142.21	c #restart = 12
142.16/142.21	o 455
142.16/142.22	c Solving starts ...
142.16/142.22	c learnt constraints deletion: 2225 -> 1113
142.16/142.26	c solving time = 0.033s
142.16/142.26	c #decision = 17086
142.16/142.26	c #conflict = 3278
142.16/142.26	c #restart = 12
142.16/142.26	o 453
142.16/142.26	c Solving starts ...
142.16/142.28	c solving time = 0.023s
142.16/142.28	c #decision = 17234
142.16/142.28	c #conflict = 3278
142.16/142.28	c #restart = 12
142.16/142.28	o 447
142.16/142.29	c Solving starts ...
264.34/264.48	c solving time = 122.169s
264.34/264.48	c #decision = 21094
264.34/264.48	c #conflict = 5692
264.34/264.48	c #restart = 18
264.34/264.48	o 446
264.34/264.48	c Solving starts ...
264.34/264.49	c learnt constraints deletion: 3522 -> 1761
288.43/288.50	c solving time = 24.006s
288.43/288.50	c #decision = 21945
288.43/288.50	c #conflict = 6164
288.43/288.50	c #restart = 20
288.43/288.50	o 445
288.43/288.50	c Solving starts ...
288.43/288.50	c learnt constraints deletion: 2231 -> 1116
292.54/292.68	c solving time = 4.174s
292.54/292.68	c #decision = 22088
292.54/292.68	c #conflict = 6246
292.54/292.68	c #restart = 20
292.54/292.68	o 444
292.54/292.68	c Solving starts ...
296.43/296.53	c solving time = 3.842s
296.43/296.53	c #decision = 22285
296.43/296.53	c #conflict = 6322
296.43/296.53	c #restart = 20
296.43/296.53	o 441
296.43/296.53	c Solving starts ...
299.83/299.92	c solving time = 3.383s
299.83/299.92	c #decision = 22554
299.83/299.92	c #conflict = 6381
299.83/299.92	c #restart = 20
299.83/299.92	o 433
299.83/299.92	c Solving starts ...
300.03/300.19	c solving time = 0.271s
300.03/300.19	c #decision = 22573
300.03/300.19	c #conflict = 6382
300.03/300.19	c #restart = 20
300.03/300.19	o 432
300.03/300.20	c Solving starts ...
317.92/318.05	c solving time = 17.853s
317.92/318.05	c #decision = 23231
317.92/318.05	c #conflict = 6682
317.92/318.05	c #restart = 22
317.92/318.05	o 431
317.92/318.06	c Solving starts ...
318.02/318.11	c solving time = 0.048s
318.02/318.11	c #decision = 23267
318.02/318.11	c #conflict = 6682
318.02/318.11	c #restart = 22
318.02/318.11	o 430
318.02/318.11	c Solving starts ...
356.02/356.18	c solving time = 38.055s
356.02/356.18	c #decision = 25158
356.02/356.18	c #conflict = 7500
356.02/356.18	c #restart = 26
356.02/356.18	o 421
356.02/356.18	c Solving starts ...
356.02/356.18	c learnt constraints deletion: 2446 -> 1223
370.32/370.42	c solving time = 14.240s
370.32/370.42	c #decision = 25786
370.32/370.42	c #conflict = 7763
370.32/370.42	c #restart = 28
370.32/370.42	o 418
370.32/370.43	c Solving starts ...
371.42/371.53	c solving time = 1.099s
371.42/371.53	c #decision = 25859
371.42/371.53	c #conflict = 7788
371.42/371.53	c #restart = 28
371.42/371.53	o 417
371.42/371.53	c Solving starts ...
371.42/371.58	c solving time = 0.044s
371.42/371.58	c #decision = 25881
371.42/371.58	c #conflict = 7788
371.42/371.58	c #restart = 28
371.42/371.58	o 416
371.42/371.58	c Solving starts ...
371.52/371.67	c solving time = 0.080s
371.52/371.67	c #decision = 26021
371.52/371.67	c #conflict = 7789
371.52/371.67	c #restart = 28
371.52/371.67	o 410
371.52/371.67	c Solving starts ...
371.62/371.72	c solving time = 0.049s
371.62/371.72	c #decision = 26089
371.62/371.72	c #conflict = 7789
371.62/371.72	c #restart = 28
371.62/371.72	o 407
371.62/371.72	c Solving starts ...
372.62/372.73	c solving time = 0.999s
372.62/372.73	c #decision = 26155
372.62/372.73	c #conflict = 7806
372.62/372.73	c #restart = 28
372.62/372.73	o 405
372.62/372.73	c Solving starts ...
445.41/445.58	c learnt constraints deletion: 2842 -> 1421
460.10/460.20	c solving time = 87.454s
460.10/460.20	c #decision = 29018
460.10/460.20	c #conflict = 9490
460.10/460.20	c #restart = 33
460.10/460.20	o 402
460.10/460.21	c Solving starts ...
460.10/460.27	c solving time = 0.064s
460.10/460.27	c #decision = 29052
460.10/460.27	c #conflict = 9490
460.10/460.27	c #restart = 33
460.10/460.27	o 401
460.10/460.28	c Solving starts ...
460.40/460.57	c solving time = 0.296s
460.40/460.57	c #decision = 29151
460.40/460.57	c #conflict = 9494
460.40/460.57	c #restart = 33
460.40/460.57	o 397
460.40/460.58	c Solving starts ...
460.51/460.64	c solving time = 0.061s
460.51/460.64	c #decision = 29177
460.51/460.64	c #conflict = 9494
460.51/460.64	c #restart = 33
460.51/460.64	o 396
460.51/460.64	c Solving starts ...
462.10/462.24	c solving time = 1.590s
462.10/462.24	c #decision = 29254
462.10/462.24	c #conflict = 9524
462.10/462.24	c #restart = 33
462.10/462.24	o 395
462.10/462.24	c Solving starts ...
469.20/469.35	c learnt constraints deletion: 1918 -> 959
521.10/521.23	c solving time = 58.982s
521.10/521.23	c #decision = 31457
521.10/521.23	c #conflict = 10641
521.10/521.23	c #restart = 37
521.10/521.23	o 394
521.10/521.24	c Solving starts ...
521.10/521.24	c learnt constraints deletion: 1973 -> 987
574.49/574.67	c solving time = 53.417s
574.49/574.67	c #decision = 33295
574.49/574.67	c #conflict = 11660
574.49/574.67	c #restart = 41
574.49/574.67	o 393
574.49/574.67	c Solving starts ...
574.49/574.67	c learnt constraints deletion: 2002 -> 1001
574.59/574.74	c solving time = 0.070s
574.59/574.74	c #decision = 33325
574.59/574.74	c #conflict = 11660
574.59/574.74	c #restart = 41
574.59/574.74	o 392
574.59/574.75	c Solving starts ...
624.58/624.80	c solving time = 50.039s
624.58/624.80	c #decision = 34976
624.58/624.80	c #conflict = 12542
624.58/624.80	c #restart = 45
624.58/624.80	o 387
624.58/624.80	c Solving starts ...
624.68/624.86	c solving time = 0.055s
624.68/624.86	c #decision = 35002
624.68/624.86	c #conflict = 12542
624.68/624.86	c #restart = 45
624.68/624.86	o 386
624.68/624.86	c Solving starts ...
625.97/626.13	c solving time = 1.269s
625.97/626.13	c #decision = 35083
625.97/626.13	c #conflict = 12579
625.97/626.13	c #restart = 45
625.97/626.13	o 385
625.97/626.14	c Solving starts ...
625.97/626.14	c learnt constraints deletion: 1916 -> 958
626.07/626.20	c solving time = 0.066s
626.07/626.20	c #decision = 35250
626.07/626.20	c #conflict = 12579
626.07/626.20	c #restart = 45
626.07/626.20	o 378
626.07/626.21	c Solving starts ...
626.18/626.34	c solving time = 0.128s
626.18/626.34	c #decision = 35368
626.18/626.34	c #conflict = 12582
626.18/626.34	c #restart = 45
626.18/626.34	o 373
626.18/626.34	c Solving starts ...
627.37/627.59	c solving time = 1.249s
627.37/627.59	c #decision = 35583
627.37/627.59	c #conflict = 12602
627.37/627.59	c #restart = 45
627.37/627.59	o 365
627.47/627.60	c Solving starts ...
627.47/627.67	c solving time = 0.068s
627.47/627.67	c #decision = 35604
627.47/627.67	c #conflict = 12602
627.47/627.67	c #restart = 45
627.47/627.67	o 364
627.47/627.67	c Solving starts ...
652.77/652.94	c solving time = 25.263s
652.77/652.94	c #decision = 37005
652.77/652.94	c #conflict = 13087
652.77/652.94	c #restart = 48
652.77/652.94	o 346
652.77/652.94	c Solving starts ...
652.98/653.11	c solving time = 0.169s
652.98/653.11	c #decision = 37101
652.98/653.11	c #conflict = 13090
652.98/653.11	c #restart = 48
652.98/653.11	o 343
652.98/653.12	c Solving starts ...
652.98/653.18	c solving time = 0.057s
652.98/653.18	c #decision = 37135
652.98/653.18	c #conflict = 13090
652.98/653.18	c #restart = 48
652.98/653.18	o 342
652.98/653.18	c Solving starts ...
653.77/653.92	c solving time = 0.739s
653.77/653.92	c #decision = 37302
653.77/653.92	c #conflict = 13108
653.77/653.92	c #restart = 48
653.77/653.92	o 336
653.77/653.93	c Solving starts ...
653.87/654.08	c solving time = 0.155s
653.87/654.08	c #decision = 37322
653.87/654.08	c #conflict = 13111
653.87/654.08	c #restart = 48
653.87/654.08	o 335
653.87/654.09	c Solving starts ...
653.97/654.14	c solving time = 0.055s
653.97/654.14	c #decision = 37405
653.97/654.14	c #conflict = 13111
653.97/654.14	c #restart = 48
653.97/654.14	o 331
653.97/654.17	c Solving starts ...
654.27/654.43	c solving time = 0.264s
654.27/654.43	c #decision = 37546
654.27/654.43	c #conflict = 13113
654.27/654.43	c #restart = 48
654.27/654.43	o 325
654.27/654.44	c Solving starts ...
660.47/660.66	c solving time = 6.225s
660.47/660.66	c #decision = 37834
660.47/660.66	c #conflict = 13232
660.47/660.66	c #restart = 49
660.47/660.66	o 324
660.47/660.67	c Solving starts ...
660.57/660.75	c solving time = 0.083s
660.57/660.75	c #decision = 37857
660.57/660.75	c #conflict = 13232
660.57/660.75	c #restart = 49
660.57/660.75	o 323
660.57/660.76	c Solving starts ...
660.67/660.84	c solving time = 0.080s
660.67/660.84	c #decision = 37907
660.67/660.84	c #conflict = 13232
660.67/660.84	c #restart = 49
660.67/660.84	o 321
660.67/660.84	c Solving starts ...
660.88/661.09	c solving time = 0.242s
660.88/661.09	c #decision = 37935
660.88/661.09	c #conflict = 13236
660.88/661.09	c #restart = 49
660.88/661.09	o 320
660.88/661.09	c Solving starts ...
726.87/727.09	c learnt constraints deletion: 2926 -> 1463
729.56/729.77	c solving time = 68.662s
729.56/729.77	c #decision = 40538
729.56/729.77	c #conflict = 14613
729.56/729.77	c #restart = 54
729.56/729.77	o 316
729.56/729.77	c Solving starts ...
729.66/729.84	c solving time = 0.067s
729.66/729.84	c #decision = 40556
729.66/729.84	c #conflict = 14613
729.66/729.84	c #restart = 54
729.66/729.84	o 315
729.66/729.84	c Solving starts ...
761.16/761.32	c solving time = 31.472s
761.16/761.32	c #decision = 41642
761.16/761.32	c #conflict = 15173
761.16/761.32	c #restart = 57
761.16/761.32	o 313
761.16/761.33	c Solving starts ...
761.16/761.33	c learnt constraints deletion: 2077 -> 1039
761.26/761.43	c solving time = 0.097s
761.26/761.43	c #decision = 41668
761.26/761.43	c #conflict = 15173
761.26/761.43	c #restart = 57
761.26/761.43	o 312
761.26/761.43	c Solving starts ...
761.36/761.52	c solving time = 0.088s
761.36/761.52	c #decision = 41692
761.36/761.52	c #conflict = 15173
761.36/761.52	c #restart = 57
761.36/761.52	o 311
761.36/761.52	c Solving starts ...
761.46/761.61	c solving time = 0.081s
761.46/761.61	c #decision = 41778
761.46/761.61	c #conflict = 15173
761.46/761.61	c #restart = 57
761.46/761.61	o 307
761.46/761.63	c Solving starts ...
761.56/761.71	c solving time = 0.075s
761.56/761.71	c #decision = 41849
761.56/761.71	c #conflict = 15173
761.56/761.71	c #restart = 57
761.56/761.71	o 304
761.56/761.72	c Solving starts ...
774.95/775.15	c solving time = 13.426s
774.95/775.15	c #decision = 42462
774.95/775.15	c #conflict = 15387
774.95/775.15	c #restart = 58
774.95/775.15	o 294
774.95/775.15	c Solving starts ...
787.55/787.71	c solving time = 12.556s
787.55/787.71	c #decision = 43060
787.55/787.71	c #conflict = 15597
787.55/787.71	c #restart = 59
787.55/787.71	o 286
787.55/787.71	c Solving starts ...
787.55/787.79	c solving time = 0.078s
787.55/787.79	c #decision = 43088
787.55/787.79	c #conflict = 15597
787.55/787.79	c #restart = 59
787.55/787.79	o 285
787.65/787.80	c Solving starts ...
788.75/788.91	c solving time = 1.107s
788.75/788.91	c #decision = 43159
788.75/788.91	c #conflict = 15622
788.75/788.91	c #restart = 59
788.75/788.91	o 284
788.75/788.91	c Solving starts ...
788.85/789.00	c solving time = 0.090s
788.85/789.00	c #decision = 43216
788.85/789.00	c #conflict = 15622
788.85/789.00	c #restart = 59
788.85/789.00	o 282
788.85/789.01	c Solving starts ...
788.85/789.09	c solving time = 0.083s
788.85/789.09	c #decision = 43290
788.85/789.09	c #conflict = 15622
788.85/789.09	c #restart = 59
788.85/789.09	o 279
788.95/789.10	c Solving starts ...
788.95/789.17	c solving time = 0.076s
788.95/789.17	c #decision = 43375
788.95/789.17	c #conflict = 15622
788.95/789.17	c #restart = 59
788.95/789.17	o 275
788.95/789.18	c Solving starts ...
821.34/821.57	c solving time = 32.381s
821.34/821.57	c #decision = 44407
821.34/821.57	c #conflict = 16102
821.34/821.57	c #restart = 62
821.34/821.57	o 267
821.34/821.57	c Solving starts ...
821.34/821.58	c learnt constraints deletion: 1963 -> 982
821.45/821.66	c solving time = 0.089s
821.45/821.66	c #decision = 44452
821.45/821.66	c #conflict = 16102
821.45/821.66	c #restart = 62
821.45/821.67	o 266
821.45/821.67	c Solving starts ...
821.55/821.75	c solving time = 0.077s
821.55/821.75	c #decision = 44628
821.55/821.75	c #conflict = 16102
821.55/821.75	c #restart = 62
821.55/821.75	o 259
821.55/821.75	c Solving starts ...
941.72/941.91	c solving time = 120.137s
941.72/941.91	c #decision = 48074
941.72/941.91	c #conflict = 18032
941.72/941.91	c #restart = 67
941.72/941.91	o 257
941.72/941.91	c Solving starts ...
941.72/941.92	c learnt constraints deletion: 2907 -> 1454
941.82/942.02	c solving time = 0.103s
941.82/942.02	c #decision = 48097
941.82/942.02	c #conflict = 18032
941.82/942.02	c #restart = 67
941.82/942.02	o 256
941.82/942.02	c Solving starts ...
958.12/958.39	c solving time = 16.361s
958.12/958.39	c #decision = 48504
958.12/958.39	c #conflict = 18235
958.12/958.39	c #restart = 68
958.12/958.39	o 253
958.12/958.39	c Solving starts ...
958.22/958.49	c solving time = 0.092s
958.22/958.49	c #decision = 48523
958.22/958.49	c #conflict = 18235
958.22/958.49	c #restart = 68
958.22/958.49	o 252
958.22/958.49	c Solving starts ...
968.42/968.69	c solving time = 10.201s
968.42/968.69	c #decision = 48740
968.42/968.69	c #conflict = 18353
968.42/968.69	c #restart = 69
968.42/968.69	o 251
968.52/968.70	c Solving starts ...
968.83/969.09	c solving time = 0.386s
968.83/969.09	c #decision = 48763
968.83/969.09	c #conflict = 18357
968.83/969.09	c #restart = 69
968.83/969.09	o 250
968.83/969.09	c Solving starts ...
968.93/969.19	c solving time = 0.096s
968.93/969.19	c #decision = 48778
968.93/969.19	c #conflict = 18357
968.93/969.19	c #restart = 69
968.93/969.19	o 249
968.93/969.19	c Solving starts ...
1004.21/1004.40	c solving time = 35.198s
1004.21/1004.40	c #decision = 49642
1004.21/1004.40	c #conflict = 18768
1004.21/1004.40	c #restart = 71
1004.21/1004.40	o 248
1004.21/1004.40	c Solving starts ...
1004.21/1004.41	c learnt constraints deletion: 2186 -> 1093
1004.21/1004.48	c solving time = 0.080s
1004.21/1004.48	c #decision = 50063
1004.21/1004.48	c #conflict = 18768
1004.21/1004.48	c #restart = 71
1004.21/1004.48	o 231
1004.21/1004.49	c Solving starts ...
1018.22/1018.42	c solving time = 13.929s
1018.22/1018.42	c #decision = 50752
1018.22/1018.42	c #conflict = 19024
1018.22/1018.42	c #restart = 73
1018.22/1018.42	o 229
1018.22/1018.42	c Solving starts ...
1018.32/1018.51	c solving time = 0.084s
1018.32/1018.51	c #decision = 50776
1018.32/1018.51	c #conflict = 19024
1018.32/1018.51	c #restart = 73
1018.32/1018.51	o 228
1018.32/1018.51	c Solving starts ...
1024.51/1024.75	c solving time = 6.236s
1024.51/1024.75	c #decision = 51113
1024.51/1024.75	c #conflict = 19169
1024.51/1024.75	c #restart = 74
1024.51/1024.75	o 227
1024.51/1024.76	c Solving starts ...
1024.61/1024.87	c solving time = 0.112s
1024.61/1024.87	c #decision = 51195
1024.61/1024.87	c #conflict = 19169
1024.61/1024.87	c #restart = 74
1024.61/1024.87	o 223
1024.61/1024.88	c Solving starts ...
1029.51/1029.71	c solving time = 4.830s
1029.51/1029.71	c #decision = 51391
1029.51/1029.71	c #conflict = 19260
1029.51/1029.71	c #restart = 74
1029.51/1029.71	o 222
1029.51/1029.71	c Solving starts ...
1068.60/1068.89	c solving time = 39.171s
1068.60/1068.89	c #decision = 52785
1068.60/1068.89	c #conflict = 19967
1068.60/1068.89	c #restart = 77
1068.60/1068.89	o 220
1068.70/1068.90	c Solving starts ...
1068.70/1068.90	c learnt constraints deletion: 2286 -> 1143
1119.90/1120.16	c solving time = 51.253s
1119.90/1120.16	c #decision = 54507
1119.90/1120.16	c #conflict = 20891
1119.90/1120.16	c #restart = 81
1119.90/1120.16	o 219
1119.90/1120.16	c Solving starts ...
1119.90/1120.17	c learnt constraints deletion: 2063 -> 1032
1120.00/1120.29	c solving time = 0.123s
1120.00/1120.29	c #decision = 54534
1120.00/1120.29	c #conflict = 20891
1120.00/1120.29	c #restart = 81
1120.00/1120.29	o 218
1120.00/1120.29	c Solving starts ...
1179.09/1179.37	c solving time = 59.069s
1179.09/1179.37	c #decision = 56996
1179.09/1179.37	c #conflict = 22086
1179.09/1179.37	c #restart = 85
1179.09/1179.37	o 214
1179.09/1179.38	c Solving starts ...
1179.09/1179.38	c learnt constraints deletion: 2223 -> 1112
1179.29/1179.50	c solving time = 0.126s
1179.29/1179.50	c #decision = 57087
1179.29/1179.50	c #conflict = 22086
1179.29/1179.50	c #restart = 85
1179.29/1179.50	o 210
1179.29/1179.51	c Solving starts ...
1222.08/1222.32	c solving time = 42.804s
1222.08/1222.32	c #decision = 58924
1222.08/1222.32	c #conflict = 23022
1222.08/1222.32	c #restart = 89
1222.08/1222.32	o 207
1222.08/1222.33	c Solving starts ...
1222.08/1222.33	c learnt constraints deletion: 2044 -> 1022
1242.28/1242.54	c solving time = 20.209s
1242.28/1242.54	c #decision = 59919
1242.28/1242.54	c #conflict = 23508
1242.28/1242.54	c #restart = 92
1242.28/1242.54	o 206
1242.28/1242.54	c Solving starts ...
1242.38/1242.68	c solving time = 0.137s
1242.38/1242.68	c #decision = 59938
1242.38/1242.68	c #conflict = 23508
1242.38/1242.68	c #restart = 92
1242.38/1242.68	o 205
1242.38/1242.69	c Solving starts ...
1302.07/1302.35	c learnt constraints deletion: 2820 -> 1410
1424.85/1425.11	c solving time = 182.393s
1424.85/1425.11	c #decision = 65887
1424.85/1425.11	c #conflict = 26921
1424.85/1425.11	c #restart = 99
1424.85/1425.11	o 203
1424.85/1425.11	c Solving starts ...
1424.85/1425.12	c learnt constraints deletion: 3501 -> 1751
1424.95/1425.26	c solving time = 0.144s
1424.95/1425.26	c #decision = 65908
1424.95/1425.26	c #conflict = 26921
1424.95/1425.26	c #restart = 99
1424.95/1425.26	o 202
1424.95/1425.26	c Solving starts ...
1481.05/1481.35	c learnt constraints deletion: 2560 -> 1280
1491.64/1491.98	c solving time = 66.704s
1491.64/1491.98	c #decision = 67530
1491.64/1491.98	c #conflict = 27902
1491.64/1491.98	c #restart = 103
1491.64/1491.98	o 200
1491.64/1491.98	c Solving starts ...
1491.84/1492.14	c solving time = 0.154s
1491.84/1492.14	c #decision = 67545
1491.84/1492.14	c #conflict = 27902
1491.84/1492.14	c #restart = 103
1491.84/1492.14	o 199
1491.84/1492.14	c Solving starts ...
1576.13/1576.47	c solving time = 84.314s
1576.13/1576.47	c #decision = 70200
1576.13/1576.47	c #conflict = 29517
1576.13/1576.47	c #restart = 108
1576.13/1576.47	o 197
1576.13/1576.48	c Solving starts ...
1576.13/1576.48	c learnt constraints deletion: 3058 -> 1529
1593.83/1594.17	c solving time = 17.691s
1593.83/1594.17	c #decision = 70893
1593.83/1594.17	c #conflict = 29838
1593.83/1594.17	c #restart = 110
1593.83/1594.17	o 193
1593.83/1594.18	c Solving starts ...
1594.02/1594.32	c solving time = 0.136s
1594.02/1594.32	c #decision = 70910
1594.02/1594.32	c #conflict = 29838
1594.02/1594.32	c #restart = 110
1594.02/1594.32	o 192
1594.02/1594.32	c Solving starts ...
1594.12/1594.48	c solving time = 0.157s
1594.12/1594.48	c #decision = 70935
1594.12/1594.48	c #conflict = 29839
1594.12/1594.48	c #restart = 110
1594.12/1594.48	o 191
1594.12/1594.48	c Solving starts ...
1594.32/1594.62	c solving time = 0.136s
1594.32/1594.62	c #decision = 71119
1594.32/1594.62	c #conflict = 29839
1594.32/1594.62	c #restart = 110
1594.32/1594.62	o 183
1594.32/1594.62	c Solving starts ...
1596.42/1596.75	c solving time = 2.127s
1596.42/1596.75	c #decision = 71236
1596.42/1596.75	c #conflict = 29864
1596.42/1596.75	c #restart = 110
1596.42/1596.75	o 180
1596.42/1596.76	c Solving starts ...
1596.52/1596.88	c solving time = 0.125s
1596.52/1596.88	c #decision = 71519
1596.52/1596.88	c #conflict = 29864
1596.52/1596.88	c #restart = 110
1596.52/1596.88	o 168
1596.52/1596.89	c Solving starts ...
1596.93/1597.22	c solving time = 0.328s
1596.93/1597.22	c #decision = 71831
1596.93/1597.22	c #conflict = 29865
1596.93/1597.22	c #restart = 110
1596.93/1597.22	o 155
1596.93/1597.22	c Solving starts ...
1606.42/1606.79	c learnt constraints deletion: 1974 -> 987
1607.53/1607.84	c solving time = 10.615s
1607.53/1607.84	c #decision = 72007
1607.53/1607.84	c #conflict = 29972
1607.53/1607.84	c #restart = 111
1607.53/1607.84	o 154
1607.53/1607.85	c Solving starts ...
1607.63/1607.97	c solving time = 0.124s
1607.63/1607.97	c #decision = 72022
1607.63/1607.97	c #conflict = 29972
1607.63/1607.97	c #restart = 111
1607.63/1607.97	o 153
1607.63/1607.98	c Solving starts ...
1623.53/1623.89	c solving time = 15.907s
1623.53/1623.89	c #decision = 72390
1623.53/1623.89	c #conflict = 30203
1623.53/1623.89	c #restart = 112
1623.53/1623.89	o 152
1623.53/1623.89	c Solving starts ...
1675.02/1675.34	c solving time = 51.437s
1675.02/1675.34	c #decision = 73895
1675.02/1675.34	c #conflict = 31004
1675.02/1675.34	c #restart = 115
1675.02/1675.34	o 148
1675.02/1675.34	c Solving starts ...
1675.02/1675.35	c learnt constraints deletion: 2022 -> 1011
1675.61/1675.93	c solving time = 0.590s
1675.61/1675.93	c #decision = 73927
1675.61/1675.93	c #conflict = 31012
1675.61/1675.93	c #restart = 115
1675.61/1675.93	o 147
1675.61/1675.94	c Solving starts ...
1675.71/1676.05	c solving time = 0.105s
1675.71/1676.05	c #decision = 73951
1675.71/1676.05	c #conflict = 31012
1675.71/1676.05	c #restart = 115
1675.71/1676.05	o 146
1675.71/1676.05	c Solving starts ...
1683.41/1683.71	c solving time = 7.660s
1683.41/1683.71	c #decision = 74239
1683.41/1683.71	c #conflict = 31127
1683.41/1683.71	c #restart = 116
1683.41/1683.71	o 141
1683.41/1683.72	c Solving starts ...
1683.51/1683.85	c solving time = 0.136s
1683.51/1683.85	c #decision = 74253
1683.51/1683.85	c #conflict = 31127
1683.51/1683.85	c #restart = 116
1683.51/1683.85	o 140
1683.51/1683.86	c Solving starts ...
1693.31/1693.67	c solving time = 9.806s
1693.31/1693.67	c #decision = 74515
1693.31/1693.67	c #conflict = 31252
1693.31/1693.67	c #restart = 117
1693.31/1693.67	o 139
1693.31/1693.67	c Solving starts ...
1693.51/1693.83	c solving time = 0.160s
1693.51/1693.83	c #decision = 74538
1693.51/1693.83	c #conflict = 31252
1693.51/1693.83	c #restart = 117
1693.51/1693.83	o 138
1693.51/1693.84	c Solving starts ...
1707.31/1707.69	c solving time = 13.845s
1707.31/1707.69	c #decision = 75174
1707.31/1707.69	c #conflict = 31401
1707.31/1707.69	c #restart = 118
1707.31/1707.69	o 126
1707.31/1707.69	c Solving starts ...
1707.51/1707.80	c solving time = 0.110s
1707.51/1707.80	c #decision = 75202
1707.51/1707.80	c #conflict = 31401
1707.51/1707.80	c #restart = 118
1707.51/1707.80	o 125
1707.51/1707.81	c Solving starts ...
1707.71/1708.01	c solving time = 0.198s
1707.71/1708.01	c #decision = 75283
1707.71/1708.01	c #conflict = 31403
1707.71/1708.01	c #restart = 118
1707.71/1708.01	o 122
1707.71/1708.01	c Solving starts ...
1707.81/1708.12	c solving time = 0.110s
1707.81/1708.12	c #decision = 75397
1707.81/1708.12	c #conflict = 31403
1707.81/1708.12	c #restart = 118
1707.81/1708.12	o 117
1707.81/1708.13	c Solving starts ...
1708.31/1708.62	c solving time = 0.495s
1708.31/1708.62	c #decision = 75424
1708.31/1708.62	c #conflict = 31409
1708.31/1708.62	c #restart = 118
1708.31/1708.62	o 116
1708.31/1708.63	c Solving starts ...
1708.51/1708.84	c solving time = 0.213s
1708.51/1708.84	c #decision = 75744
1708.51/1708.84	c #conflict = 31412
1708.51/1708.84	c #restart = 118
1708.51/1708.84	o 103
1708.51/1708.85	c Solving starts ...
1720.01/1720.37	c solving time = 11.519s
1720.01/1720.37	c #decision = 75911
1720.01/1720.37	c #conflict = 31515
1720.01/1720.37	c #restart = 119
1720.01/1720.37	o 102
1720.01/1720.37	c Solving starts ...
1725.40/1725.77	c solving time = 5.390s
1725.40/1725.77	c #decision = 76157
1725.40/1725.77	c #conflict = 31599
1725.40/1725.77	c #restart = 119
1725.40/1725.77	o 98
1725.40/1725.77	c Solving starts ...
1731.01/1731.35	c solving time = 5.576s
1731.01/1731.35	c #decision = 76266
1731.01/1731.35	c #conflict = 31665
1731.01/1731.35	c #restart = 119
1731.01/1731.35	o 97
1731.01/1731.35	c Solving starts ...
1774.90/1775.22	c solving time = 43.854s
1774.90/1775.22	c #decision = 77535
1774.90/1775.22	c #conflict = 32311
1774.90/1775.22	c #restart = 122
1774.90/1775.22	o 93
1774.90/1775.22	c Solving starts ...
1774.90/1775.23	c learnt constraints deletion: 2311 -> 1156

Verifier Data 

ERROR: no interpretation found !

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-3712327-1338205344/watcher-3712327-1338205344 -o /tmp/evaluation-result-3712327-1338205344/solver-3712327-1338205344 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712327-1338205344.wbo 

running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 21357
/proc/meminfo: memFree=27887220/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=6208 CPUtime=0 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 791 0 0 0 0 0 0 0 20 0 1 0 286662934 6356992 712 33554432000 4194304 8973514 140733719515200 140733719498296 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 1552 712 423 1167 0 333 0

[startup+0.0457 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 21357
/proc/meminfo: memFree=27887220/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=9280 CPUtime=0.04 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 1417 0 0 0 4 0 0 0 20 0 1 0 286662934 9502720 1338 33554432000 4194304 8973514 140733719515200 140733719498296 4209439 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 2320 1343 427 1167 0 1101 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 9280

[startup+0.100286 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 21357
/proc/meminfo: memFree=27887220/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=12352 CPUtime=0.09 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 2220 0 0 0 9 0 0 0 20 0 1 0 286662934 12648448 2141 33554432000 4194304 8973514 140733719515200 140733719498296 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 3088 2141 438 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352

[startup+0.300228 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 21357
/proc/meminfo: memFree=27887220/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=12352 CPUtime=0.29 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 2221 0 0 0 29 0 0 0 20 0 1 0 286662934 12648448 2142 33554432000 4194304 8973514 140733719515200 140733719498296 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 3088 2142 438 1167 0 1869 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12352

[startup+0.700225 s]
/proc/loadavg: 2.01 2.00 2.00 3/176 21357
/proc/meminfo: memFree=27887220/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=12352 CPUtime=0.69 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 2379 0 0 0 69 0 0 0 20 0 1 0 286662934 12648448 2300 33554432000 4194304 8973514 140733719515200 140733719514696 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 3088 2300 438 1167 0 1869 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12352

[startup+1.50033 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 21358
/proc/meminfo: memFree=27876820/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=18496 CPUtime=1.49 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 3943 0 0 0 148 1 0 0 20 0 1 0 286662934 18939904 3864 33554432000 4194304 8973514 140733719515200 140733719514696 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 4624 3864 466 1167 0 3405 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 18496

[startup+3.10033 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 21358
/proc/meminfo: memFree=27873208/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=19520 CPUtime=3.09 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 4196 0 0 0 307 2 0 0 20 0 1 0 286662934 19988480 4117 33554432000 4194304 8973514 140733719515200 140733719514696 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 4880 4117 466 1167 0 3661 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 19520

[startup+6.30033 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 21358
/proc/meminfo: memFree=27872224/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=19520 CPUtime=6.29 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 4199 0 0 0 626 3 0 0 20 0 1 0 286662934 19988480 4120 33554432000 4194304 8973514 140733719515200 140733719514696 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 4880 4120 466 1167 0 3661 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 19520

[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 21358
/proc/meminfo: memFree=27871232/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=20544 CPUtime=12.68 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 4455 0 0 0 1262 6 0 0 20 0 1 0 286662934 21037056 4376 33554432000 4194304 8973514 140733719515200 140733719514464 4214048 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 5136 4376 466 1167 0 3917 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 20544

[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21358
/proc/meminfo: memFree=27866900/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=20544 CPUtime=25.49 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 4455 0 0 0 2539 10 0 0 20 0 1 0 286662934 21037056 4376 33554432000 4194304 8973514 140733719515200 140733719514696 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 5136 4376 466 1167 0 3917 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 20544

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21358
/proc/meminfo: memFree=27865908/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=21568 CPUtime=51.08 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 4711 0 0 0 5089 19 0 0 20 0 1 0 286662934 22085632 4632 33554432000 4194304 8973514 140733719515200 140733719514464 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 5392 4632 466 1167 0 4173 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 21568

[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21358
/proc/meminfo: memFree=27862932/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=24640 CPUtime=102.28 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 5480 0 0 0 10192 36 0 0 20 0 1 0 286662934 25231360 5401 33554432000 4194304 8973514 140733719515200 140733719514464 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 6160 5401 467 1167 0 4941 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 24640

[startup+162.3 s]
/proc/loadavg: 2.02 2.00 2.00 3/177 21397
/proc/meminfo: memFree=28074408/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=28736 CPUtime=162.26 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 6511 0 0 0 16171 55 0 0 20 0 1 0 286662934 29425664 6432 33554432000 4194304 8973514 140733719515200 140733719514464 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 7184 6432 467 1167 0 5965 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 28736

[startup+222.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/177 21398
/proc/meminfo: memFree=28064724/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=29760 CPUtime=222.25 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 6769 0 0 0 22148 77 0 0 20 0 1 0 286662934 30474240 6688 33554432000 4194304 8973514 140733719515200 140733719514464 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 7440 6688 467 1167 0 6221 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 29760

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21398
/proc/meminfo: memFree=28061868/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=30784 CPUtime=282.24 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 7026 0 0 0 28124 100 0 0 20 0 1 0 286662934 31522816 6944 33554432000 4194304 8973514 140733719515200 140733719514696 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 7696 6944 467 1167 0 6477 0
Current children cumulated CPU time (s) 282.24
Current children cumulated vsize (KiB) 30784

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21398
/proc/meminfo: memFree=28042632/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=35904 CPUtime=342.23 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 8306 0 0 0 34099 124 0 0 20 0 1 0 286662934 36765696 8224 33554432000 4194304 8973514 140733719515200 140733719514696 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 8976 8224 467 1167 0 7757 0
Current children cumulated CPU time (s) 342.23
Current children cumulated vsize (KiB) 35904

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21398
/proc/meminfo: memFree=28034564/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=42048 CPUtime=402.21 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 9844 0 0 0 40074 147 0 0 20 0 1 0 286662934 43057152 9760 33554432000 4194304 8973514 140733719515200 140733719514696 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 10512 9760 467 1167 0 9293 0
Current children cumulated CPU time (s) 402.21
Current children cumulated vsize (KiB) 42048

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21401
/proc/meminfo: memFree=28029256/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=46144 CPUtime=462.2 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 10869 0 0 0 46045 175 0 0 20 0 1 0 286662934 47251456 10784 33554432000 4194304 8973514 140733719515200 140733719514696 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 11536 10784 467 1167 0 10317 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 46144

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21402
/proc/meminfo: memFree=28027424/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=47168 CPUtime=522.19 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 11125 0 0 0 52020 199 0 0 20 0 1 0 286662934 48300032 11040 33554432000 4194304 8973514 140733719515200 140733719514464 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 11792 11040 467 1167 0 10573 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 47168

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21402
/proc/meminfo: memFree=28023204/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=49216 CPUtime=582.18 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 11638 0 0 0 57994 224 0 0 20 0 1 0 286662934 50397184 11552 33554432000 4194304 8973514 140733719515200 140733719514464 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 12304 11552 467 1167 0 11085 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 49216

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 21404
/proc/meminfo: memFree=27979524/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=78912 CPUtime=882.14 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 19070 0 0 0 87880 334 0 0 20 0 1 0 286662934 80805888 18976 33554432000 4194304 8973514 140733719515200 140733719514464 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 19728 18976 467 1167 0 18509 0
Current children cumulated CPU time (s) 882.14
Current children cumulated vsize (KiB) 78912

[startup+942.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 21442
/proc/meminfo: memFree=27998036/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=80960 CPUtime=942.12 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 19582 0 0 0 93857 355 0 0 20 0 1 0 286662934 82903040 19488 33554432000 4194304 8973514 140733719515200 140733719514464 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 20240 19488 467 1167 0 19021 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 80960

[startup+1002.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 21480
/proc/meminfo: memFree=28012304/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=86080 CPUtime=1002.12 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 20862 0 0 0 99837 375 0 0 20 0 1 0 286662934 88145920 20768 33554432000 4194304 8973514 140733719515200 140733719514696 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 21520 20768 467 1167 0 20301 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 86080

[startup+1062.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 21483
/proc/meminfo: memFree=27986448/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=91200 CPUtime=1062.11 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 22142 0 0 0 105814 397 0 0 20 0 1 0 286662934 93388800 22048 33554432000 4194304 8973514 140733719515200 140733719514696 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 22800 22048 467 1167 0 21581 0
Current children cumulated CPU time (s) 1062.11
Current children cumulated vsize (KiB) 91200

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 21544
/proc/meminfo: memFree=27995612/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=93248 CPUtime=1122.09 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 22654 0 0 0 111791 418 0 0 20 0 1 0 286662934 95485952 22560 33554432000 4194304 8973514 140733719515200 140733719513152 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 23312 22560 467 1167 0 22093 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 93248

[startup+1182.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21545
/proc/meminfo: memFree=27978540/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=95296 CPUtime=1182.09 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 23166 0 0 0 117770 439 0 0 20 0 1 0 286662934 97583104 23072 33554432000 4194304 8973514 140733719515200 140733719514464 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 23824 23072 467 1167 0 22605 0
Current children cumulated CPU time (s) 1182.09
Current children cumulated vsize (KiB) 95296

[startup+1242.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21545
/proc/meminfo: memFree=27967108/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=95296 CPUtime=1242.07 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 23166 0 0 0 123746 461 0 0 20 0 1 0 286662934 97583104 23072 33554432000 4194304 8973514 140733719515200 140733719514696 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 23824 23072 467 1167 0 22605 0
Current children cumulated CPU time (s) 1242.07
Current children cumulated vsize (KiB) 95296

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21545
/proc/meminfo: memFree=27954256/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=98368 CPUtime=1302.07 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 23934 0 0 0 129722 485 0 0 20 0 1 0 286662934 100728832 23840 33554432000 4194304 8973514 140733719515200 140733719514696 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 24592 23840 467 1167 0 23373 0
Current children cumulated CPU time (s) 1302.07
Current children cumulated vsize (KiB) 98368

[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21545
/proc/meminfo: memFree=27951836/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=98368 CPUtime=1362.06 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 23934 0 0 0 135699 507 0 0 20 0 1 0 286662934 100728832 23840 33554432000 4194304 8973514 140733719515200 140733719514464 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 24592 23840 467 1167 0 23373 0
Current children cumulated CPU time (s) 1362.06
Current children cumulated vsize (KiB) 98368

[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21545
/proc/meminfo: memFree=27947924/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=100416 CPUtime=1422.06 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 24446 0 0 0 141674 532 0 0 20 0 1 0 286662934 102825984 24352 33554432000 4194304 8973514 140733719515200 140733719513152 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 25104 24352 467 1167 0 23885 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 100416

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21546
/proc/meminfo: memFree=27943892/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=101440 CPUtime=1482.04 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 24702 0 0 0 147651 553 0 0 20 0 1 0 286662934 103874560 24608 33554432000 4194304 8973514 140733719515200 140733719514696 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 25360 24608 467 1167 0 24141 0
Current children cumulated CPU time (s) 1482.04
Current children cumulated vsize (KiB) 101440

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21546
/proc/meminfo: memFree=27943208/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=102464 CPUtime=1542.03 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 24958 0 0 0 153626 577 0 0 20 0 1 0 286662934 104923136 24864 33554432000 4194304 8973514 140733719515200 140733719514464 4208857 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 25616 24864 467 1167 0 24397 0
Current children cumulated CPU time (s) 1542.03
Current children cumulated vsize (KiB) 102464

[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21546
/proc/meminfo: memFree=27934028/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=109632 CPUtime=1602.02 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 26750 0 0 0 159601 601 0 0 20 0 1 0 286662934 112263168 26656 33554432000 4194304 8973514 140733719515200 140733719514696 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 27408 26656 467 1167 0 26189 0
Current children cumulated CPU time (s) 1602.02
Current children cumulated vsize (KiB) 109632

[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 21549
/proc/meminfo: memFree=27932632/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=110656 CPUtime=1662.01 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 27006 0 0 0 165577 624 0 0 20 0 1 0 286662934 113311744 26912 33554432000 4194304 8973514 140733719515200 140733719514696 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 27664 26912 467 1167 0 26445 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 110656

[startup+1722.3 s]
/proc/loadavg: 2.08 2.03 2.01 3/177 21549
/proc/meminfo: memFree=27907968/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=121920 CPUtime=1722.01 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 29822 0 0 0 171555 646 0 0 20 0 1 0 286662934 124846080 29728 33554432000 4194304 8973514 140733719515200 140733719513152 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 30480 29728 467 1167 0 29261 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 121920

[startup+1782.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/177 21550
/proc/meminfo: memFree=27902312/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=124992 CPUtime=1782 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 30590 0 0 0 177529 671 0 0 20 0 1 0 286662934 127991808 30496 33554432000 4194304 8973514 140733719515200 140733719514696 7841851 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 31248 30496 467 1167 0 30029 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 124992



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 21550
/proc/meminfo: memFree=27902560/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=124992 CPUtime=1800 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 30590 0 0 0 179322 678 0 0 20 0 1 0 286662934 127991808 30496 33554432000 4194304 8973514 140733719515200 140733719514696 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 31248 30496 467 1167 0 30029 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 124992

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

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

[startup+1800.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 21550
/proc/meminfo: memFree=27902560/32873844 swapFree=7620/7620
[pid=21357] ppid=21355 vsize=124992 CPUtime=1800 cores=1,3,5,7
/proc/21357/stat : 21357 (toysat) R 21355 21357 20029 0 -1 4202496 30590 0 0 0 179322 678 0 0 20 0 1 0 286662934 127991808 30496 33554432000 4194304 8973514 140733719515200 140733719514696 7937344 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/21357/statm: 31248 30496 467 1167 0 30029 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 124992

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.31
CPU time (s): 1800.01
CPU user time (s): 1793.23
CPU system time (s): 6.78297
CPU usage (%): 99.9835
Max. virtual memory (cumulated for all children) (KiB): 124992

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.23
system time used= 6.78297
maximum resident set size= 121984
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 30590
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25
involuntary context switches= 1850

runsolver used 3.9204 second user time and 9.53455 second system time

The end

Launcher Data 

Begin job on node107 at 2012-05-28 13:42:24
IDJOB=3712327
IDBENCH=79258
IDSOLVER=2291
FILE ID=node107/3712327-1338205344
RUNJOBID= node107-1338193582-20046
PBS_JOBID= 14624587
Free space on /tmp= 71556 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900557574--soft-0-100-0.wbo
COMMAND LINE= HOME/toysat --wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712327-1338205344/watcher-3712327-1338205344 -o /tmp/evaluation-result-3712327-1338205344/solver-3712327-1338205344 -C 1800 -W 1900 -M 15500  HOME/toysat --wbo HOME/instance-3712327-1338205344.wbo

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

MD5SUM BENCH= c0d431beb578ab67ce1970cb297cf650
RANDOM SEED=288602168

node107.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.760
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	: 5333.52
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.760
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.760
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.92
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.760
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.760
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.760
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	: 5331.91
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.760
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.86
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.760
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:        27888120 kB
Buffers:          432192 kB
Cached:          3456592 kB
SwapCached:            0 kB
Active:          1165716 kB
Inactive:        2962888 kB
Active(anon):     242308 kB
Inactive(anon):        0 kB
Active(file):     923408 kB
Inactive(file):  2962888 kB
Unevictable:        7620 kB
Mlocked:            7620 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:              7032 kB
Writeback:             0 kB
AnonPages:        248916 kB
Mapped:            16072 kB
Shmem:               200 kB
Slab:             715104 kB
SReclaimable:     157560 kB
SUnreclaim:       557544 kB
KernelStack:        1472 kB
PageTables:         4516 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     354188 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:    219136 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= 71548 MiB
End job on node107 at 2012-05-28 14:12:26