Trace number 3712334

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.1900567985--soft-0-100-0.wbo
MD5SUMe639daae290163b8abe4f9e3cf3dc11c
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark105.4
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 136843
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 136842
Biggest number in a constraint 25
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 669
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:35+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-3712334-1338205355.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.045s
0.79/0.89	c #decision = 5579
0.79/0.89	c #conflict = 100
0.79/0.89	c #restart = 1
0.79/0.89	o 281
0.89/0.90	c Solving starts ...
0.89/0.92	c solving time = 0.025s
0.89/0.92	c #decision = 7244
0.89/0.92	c #conflict = 104
0.89/0.92	c #restart = 1
0.89/0.93	o 276
0.89/0.93	c Solving starts ...
0.89/0.94	c solving time = 0.007s
0.89/0.94	c #decision = 8312
0.89/0.94	c #conflict = 104
0.89/0.94	c #restart = 1
0.89/0.94	o 274
0.89/0.94	c Solving starts ...
0.89/0.99	c solving time = 0.042s
0.89/0.99	c #decision = 11034
0.89/0.99	c #conflict = 109
0.89/0.99	c #restart = 1
0.89/0.99	o 216
0.89/0.99	c Solving starts ...
1.49/1.59	c solving time = 0.600s
1.49/1.59	c #decision = 11189
1.49/1.59	c #conflict = 136
1.49/1.59	c #restart = 1
1.49/1.59	o 212
1.59/1.60	c Solving starts ...
1.59/1.61	c solving time = 0.015s
1.59/1.61	c #decision = 11929
1.59/1.61	c #conflict = 137
1.59/1.61	c #restart = 1
1.59/1.61	o 185
1.59/1.62	c Solving starts ...
18.19/18.20	c solving time = 16.573s
18.19/18.20	c #decision = 13023
18.19/18.20	c #conflict = 696
18.19/18.20	c #restart = 4
18.19/18.20	o 184
18.19/18.20	c Solving starts ...
52.68/52.79	c solving time = 34.577s
52.68/52.79	c #decision = 14853
52.68/52.79	c #conflict = 1650
52.68/52.79	c #restart = 8
52.68/52.79	o 181
52.68/52.80	c Solving starts ...
52.98/53.03	c solving time = 0.225s
52.98/53.03	c #decision = 14948
52.98/53.03	c #conflict = 1656
52.98/53.03	c #restart = 8
52.98/53.03	o 178
52.98/53.03	c Solving starts ...
52.98/53.05	c solving time = 0.019s
52.98/53.05	c #decision = 15001
52.98/53.05	c #conflict = 1656
52.98/53.05	c #restart = 8
52.98/53.05	o 176
52.98/53.05	c Solving starts ...
115.26/115.34	c solving time = 62.273s
115.26/115.34	c #decision = 16992
115.26/115.34	c #conflict = 2853
115.26/115.34	c #restart = 12
115.26/115.34	o 173
115.26/115.34	c Solving starts ...
115.26/115.35	c learnt constraints deletion: 2841 -> 1421
115.26/115.37	c solving time = 0.030s
115.26/115.37	c #decision = 17039
115.26/115.37	c #conflict = 2853
115.26/115.37	c #restart = 12
115.26/115.37	o 171
115.26/115.38	c Solving starts ...
115.26/115.39	c solving time = 0.015s
115.26/115.39	c #decision = 17140
115.26/115.39	c #conflict = 2853
115.26/115.39	c #restart = 12
115.26/115.39	o 167
115.26/115.40	c Solving starts ...
210.15/210.28	c learnt constraints deletion: 3496 -> 1748
228.94/229.03	c solving time = 113.610s
228.94/229.03	c #decision = 21182
228.94/229.03	c #conflict = 5297
228.94/229.03	c #restart = 18
228.94/229.03	o 166
228.94/229.03	c Solving starts ...
228.94/229.04	c learnt constraints deletion: 2111 -> 1056
407.72/407.81	c learnt constraints deletion: 4272 -> 2136
434.42/434.53	c solving time = 205.465s
434.42/434.53	c #decision = 27372
434.42/434.53	c #conflict = 9050
434.42/434.53	c #restart = 25
434.42/434.53	o 165
434.42/434.53	c Solving starts ...
434.42/434.54	c learnt constraints deletion: 2666 -> 1333
437.31/437.40	c solving time = 2.867s
437.31/437.40	c #decision = 27494
437.31/437.40	c #conflict = 9096
437.31/437.40	c #restart = 25
437.31/437.40	o 163
437.31/437.41	c Solving starts ...
437.31/437.43	c solving time = 0.025s
437.31/437.43	c #decision = 27597
437.31/437.43	c #conflict = 9096
437.31/437.43	c #restart = 25
437.31/437.43	o 159
437.31/437.44	c Solving starts ...
542.70/542.82	c learnt constraints deletion: 3454 -> 1727
567.89/568.05	c solving time = 130.591s
567.89/568.05	c #decision = 31807
567.89/568.05	c #conflict = 11637
567.89/568.05	c #restart = 31
567.89/568.05	o 158
567.89/568.05	c Solving starts ...
567.89/568.06	c learnt constraints deletion: 2187 -> 1094
722.97/723.18	c learnt constraints deletion: 3868 -> 1934
842.45/842.64	c learnt constraints deletion: 4088 -> 2044
870.25/870.44	c solving time = 302.342s
870.25/870.44	c #decision = 41175
870.25/870.44	c #conflict = 16980
870.25/870.44	c #restart = 39
870.25/870.44	o 149
870.25/870.45	c Solving starts ...
870.25/870.45	c learnt constraints deletion: 2451 -> 1226
961.04/961.24	c solving time = 90.774s
961.04/961.24	c #decision = 44362
961.04/961.24	c #conflict = 18816
961.04/961.24	c #restart = 44
961.04/961.24	o 148
961.04/961.24	c Solving starts ...
961.04/961.26	c learnt constraints deletion: 3057 -> 1529
961.04/961.29	c solving time = 0.049s
961.04/961.29	c #decision = 44382
961.04/961.29	c #conflict = 18816
961.04/961.29	c #restart = 44
961.04/961.29	o 147
961.04/961.30	c Solving starts ...
961.14/961.33	c solving time = 0.034s
961.14/961.33	c #decision = 44428
961.14/961.33	c #conflict = 18816
961.14/961.33	c #restart = 44
961.14/961.33	o 145
961.14/961.34	c Solving starts ...
967.83/968.07	c solving time = 6.725s
967.83/968.07	c #decision = 44632
967.83/968.07	c #conflict = 18942
967.83/968.07	c #restart = 45
967.83/968.07	o 144
967.83/968.07	c Solving starts ...
967.93/968.10	c solving time = 0.028s
967.93/968.10	c #decision = 44674
967.93/968.10	c #conflict = 18942
967.93/968.10	c #restart = 45
967.93/968.10	o 142
967.93/968.10	c Solving starts ...
1043.42/1043.63	c learnt constraints deletion: 2969 -> 1485
1096.51/1096.73	c solving time = 128.600s
1096.51/1096.73	c #decision = 48086
1096.51/1096.73	c #conflict = 21081
1096.51/1096.73	c #restart = 51
1096.51/1096.73	o 140
1096.51/1096.73	c Solving starts ...
1096.51/1096.74	c learnt constraints deletion: 2303 -> 1152
1096.51/1096.77	c solving time = 0.033s
1096.51/1096.77	c #decision = 48106
1096.51/1096.77	c #conflict = 21081
1096.51/1096.77	c #restart = 51
1096.51/1096.77	o 139
1096.51/1096.77	c Solving starts ...
1292.38/1292.65	c learnt constraints deletion: 4368 -> 2184
1421.26/1421.54	c solving time = 324.722s
1421.26/1421.54	c #decision = 56303
1421.26/1421.54	c #conflict = 26256
1421.26/1421.54	c #restart = 59
1421.26/1421.54	o 138
1421.26/1421.55	c Solving starts ...
1421.26/1421.56	c learnt constraints deletion: 4135 -> 2068
1427.16/1427.43	c learnt constraints deletion: 2167 -> 1084
1571.23/1571.54	c solving time = 149.963s
1571.23/1571.54	c #decision = 61993
1571.23/1571.54	c #conflict = 29399
1571.23/1571.54	c #restart = 65
1571.23/1571.54	o 136
1571.23/1571.54	c Solving starts ...
1571.23/1571.55	c learnt constraints deletion: 4122 -> 2061
1571.23/1571.55	c learnt constraints deletion: 2061 -> 1031
1571.23/1571.59	c solving time = 0.045s
1571.23/1571.59	c #decision = 62046
1571.23/1571.59	c #conflict = 29399
1571.23/1571.59	c #restart = 65
1571.23/1571.59	o 134
1571.23/1571.59	c Solving starts ...
1576.93/1577.26	c solving time = 5.671s
1576.93/1577.26	c #decision = 62196
1576.93/1577.26	c #conflict = 29494
1576.93/1577.26	c #restart = 65
1576.93/1577.26	o 133
1576.93/1577.27	c Solving starts ...
1577.04/1577.33	c solving time = 0.056s
1577.04/1577.33	c #decision = 62250
1577.04/1577.33	c #conflict = 29494
1577.04/1577.33	c #restart = 65
1577.04/1577.33	o 131
1577.04/1577.33	c Solving starts ...
1577.04/1577.37	c solving time = 0.039s
1577.04/1577.37	c #decision = 62326
1577.04/1577.37	c #conflict = 29494
1577.04/1577.37	c #restart = 65
1577.04/1577.37	o 128
1577.04/1577.37	c Solving starts ...
1577.14/1577.41	c solving time = 0.035s
1577.14/1577.41	c #decision = 62427
1577.14/1577.41	c #conflict = 29494
1577.14/1577.41	c #restart = 65
1577.14/1577.41	o 124
1577.14/1577.42	c Solving starts ...
1591.52/1591.88	c solving time = 14.455s
1591.52/1591.88	c #decision = 63550
1591.52/1591.88	c #conflict = 29897
1591.52/1591.88	c #restart = 67
1591.52/1591.88	o 121
1591.52/1591.88	c Solving starts ...
1591.62/1591.94	c solving time = 0.058s
1591.62/1591.94	c #decision = 63578
1591.62/1591.94	c #conflict = 29897
1591.62/1591.94	c #restart = 67
1591.62/1591.94	o 120
1591.62/1591.95	c Solving starts ...
1591.73/1592.00	c solving time = 0.055s
1591.73/1592.00	c #decision = 63605
1591.73/1592.00	c #conflict = 29897
1591.73/1592.00	c #restart = 67
1591.73/1592.00	o 119
1591.73/1592.01	c Solving starts ...
1591.73/1592.06	c solving time = 0.048s
1591.73/1592.06	c #decision = 63840
1591.73/1592.06	c #conflict = 29897
1591.73/1592.06	c #restart = 67
1591.73/1592.06	o 110
1591.73/1592.06	c Solving starts ...
1614.32/1614.70	c solving time = 22.633s
1614.32/1614.70	c #decision = 64678
1614.32/1614.70	c #conflict = 30369
1614.32/1614.70	c #restart = 69
1614.32/1614.70	o 108
1614.43/1614.70	c Solving starts ...
1614.43/1614.71	c learnt constraints deletion: 1997 -> 999
1614.72/1615.04	c solving time = 0.334s
1614.72/1615.04	c #decision = 64749
1614.72/1615.04	c #conflict = 30376
1614.72/1615.04	c #restart = 69
1614.72/1615.04	o 106
1614.72/1615.04	c Solving starts ...
1614.72/1615.09	c solving time = 0.047s
1614.72/1615.09	c #decision = 64804
1614.72/1615.09	c #conflict = 30376
1614.72/1615.09	c #restart = 69
1614.72/1615.09	o 104
1614.72/1615.10	c Solving starts ...
1614.82/1615.14	c solving time = 0.049s
1614.82/1615.14	c #decision = 64903
1614.82/1615.14	c #conflict = 30376
1614.82/1615.14	c #restart = 69
1614.82/1615.14	o 100
1614.82/1615.15	c Solving starts ...
1664.22/1664.56	c solving time = 49.396s
1664.22/1664.56	c #decision = 66430
1664.22/1664.56	c #conflict = 31348
1664.22/1664.56	c #restart = 73
1664.22/1664.56	o 97
1664.22/1664.56	c Solving starts ...
1664.32/1664.66	c solving time = 0.103s
1664.32/1664.66	c #decision = 66510
1664.32/1664.66	c #conflict = 31350
1664.32/1664.66	c #restart = 73
1664.32/1664.66	o 94
1664.32/1664.68	c Solving starts ...
1679.42/1679.72	c solving time = 15.031s
1679.42/1679.72	c #decision = 67039
1679.42/1679.72	c #conflict = 31660
1679.42/1679.72	c #restart = 75
1679.42/1679.72	o 92
1679.42/1679.72	c Solving starts ...
1679.42/1679.73	c learnt constraints deletion: 2284 -> 1142
1679.42/1679.77	c solving time = 0.052s
1679.42/1679.77	c #decision = 67092
1679.42/1679.77	c #conflict = 31660
1679.42/1679.77	c #restart = 75
1679.42/1679.77	o 90
1679.42/1679.78	c Solving starts ...
1707.11/1707.40	c solving time = 27.613s
1707.11/1707.40	c #decision = 67989
1707.11/1707.40	c #conflict = 32240
1707.11/1707.40	c #restart = 78
1707.11/1707.40	o 89
1707.11/1707.40	c Solving starts ...
1710.41/1710.76	c solving time = 3.357s
1710.41/1710.76	c #decision = 68134
1710.41/1710.76	c #conflict = 32303
1710.41/1710.76	c #restart = 78
1710.41/1710.76	o 87
1710.41/1710.76	c Solving starts ...
1710.51/1710.82	c solving time = 0.057s
1710.51/1710.82	c #decision = 68182
1710.51/1710.82	c #conflict = 32303
1710.51/1710.82	c #restart = 78
1710.51/1710.82	o 85
1710.51/1710.83	c Solving starts ...
1710.51/1710.88	c solving time = 0.051s
1710.51/1710.88	c #decision = 68255
1710.51/1710.88	c #conflict = 32303
1710.51/1710.88	c #restart = 78
1710.51/1710.88	o 82
1710.51/1710.88	c Solving starts ...
1784.60/1784.96	c solving time = 74.060s
1784.60/1784.96	c #decision = 71275
1784.60/1784.96	c #conflict = 34151
1784.60/1784.96	c #restart = 83
1784.60/1784.96	o 79
1784.60/1784.96	c Solving starts ...
1784.60/1784.97	c learnt constraints deletion: 3625 -> 1813
1784.70/1785.02	c solving time = 0.056s
1784.70/1785.02	c #decision = 71458
1784.70/1785.02	c #conflict = 34151
1784.70/1785.02	c #restart = 83
1784.70/1785.02	o 72
1784.70/1785.02	c Solving starts ...

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.01 2.00 2/176 29862
/proc/meminfo: memFree=26234348/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 813 0 0 0 0 0 0 0 20 0 1 0 286662498 6356992 734 33554432000 4194304 8973514 140733209939696 140733209939192 7401280 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 1552 734 424 1167 0 333 0

[startup+0.01393 s]
/proc/loadavg: 2.01 2.01 2.00 2/176 29862
/proc/meminfo: memFree=26234348/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=7232 CPUtime=0.01 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 999 0 0 0 1 0 0 0 20 0 1 0 286662498 7405568 920 33554432000 4194304 8973514 140733209939696 140733209939192 4211243 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 1808 921 425 1167 0 589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 7232

[startup+0.100277 s]
/proc/loadavg: 2.01 2.01 2.00 2/176 29862
/proc/meminfo: memFree=26234348/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=12352 CPUtime=0.09 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 2225 0 0 0 9 0 0 0 20 0 1 0 286662498 12648448 2146 33554432000 4194304 8973514 140733209939696 140733209939192 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 3088 2146 438 1167 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12352

[startup+0.300238 s]
/proc/loadavg: 2.01 2.01 2.00 2/176 29862
/proc/meminfo: memFree=26234348/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=12352 CPUtime=0.29 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 2226 0 0 0 29 0 0 0 20 0 1 0 286662498 12648448 2147 33554432000 4194304 8973514 140733209939696 140733209939192 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 3088 2147 438 1167 0 1869 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 12352

[startup+0.700239 s]
/proc/loadavg: 2.01 2.01 2.00 2/176 29862
/proc/meminfo: memFree=26234348/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=12352 CPUtime=0.69 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 2380 0 0 0 69 0 0 0 20 0 1 0 286662498 12648448 2301 33554432000 4194304 8973514 140733209939696 140733209939192 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 3088 2301 438 1167 0 1869 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 12352

[startup+1.50028 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 29863
/proc/meminfo: memFree=26223916/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=17472 CPUtime=1.49 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 3688 0 0 0 149 0 0 0 20 0 1 0 286662498 17891328 3609 33554432000 4194304 8973514 140733209939696 140733209939192 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 4368 3609 466 1167 0 3149 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17472

[startup+3.10028 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 29863
/proc/meminfo: memFree=26219576/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=19520 CPUtime=3.08 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 4200 0 0 0 308 0 0 0 20 0 1 0 286662498 19988480 4121 33554432000 4194304 8973514 140733209939696 140733209939192 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 4880 4121 466 1167 0 3661 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 19520

[startup+6.30029 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 29863
/proc/meminfo: memFree=26218592/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=20544 CPUtime=6.29 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 4456 0 0 0 627 2 0 0 20 0 1 0 286662498 21037056 4377 33554432000 4194304 8973514 140733209939696 140733209938960 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 5136 4377 466 1167 0 3917 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 20544

[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 2.00 3/176 29863
/proc/meminfo: memFree=26217864/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=20544 CPUtime=12.68 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 4456 0 0 0 1265 3 0 0 20 0 1 0 286662498 21037056 4377 33554432000 4194304 8973514 140733209939696 140733209938960 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 5136 4377 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 29864
/proc/meminfo: memFree=26219464/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=21568 CPUtime=25.48 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 4718 0 0 0 2541 7 0 0 20 0 1 0 286662498 22085632 4635 33554432000 4194304 8973514 140733209939696 140733209939192 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 5392 4635 466 1167 0 4173 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 21568

[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29864
/proc/meminfo: memFree=26218472/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=22592 CPUtime=51.07 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 4974 0 0 0 5091 16 0 0 20 0 1 0 286662498 23134208 4891 33554432000 4194304 8973514 140733209939696 140733209937664 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 5648 4891 466 1167 0 4429 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 22592

[startup+102.306 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29864
/proc/meminfo: memFree=26213260/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=27712 CPUtime=102.27 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 6254 0 0 0 10192 35 0 0 20 0 1 0 286662498 28377088 6171 33554432000 4194304 8973514 140733209939696 140733209939192 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 6928 6171 466 1167 0 5709 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 27712

[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 29864
/proc/meminfo: memFree=26210652/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=29760 CPUtime=162.25 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 6769 0 0 0 16169 56 0 0 20 0 1 0 286662498 30474240 6684 33554432000 4194304 8973514 140733209939696 140733209939192 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 7440 6684 467 1167 0 6221 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 29760

[startup+222.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/177 29903
/proc/meminfo: memFree=26196844/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=31808 CPUtime=222.24 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 7281 0 0 0 22149 75 0 0 20 0 1 0 286662498 32571392 7196 33554432000 4194304 8973514 140733209939696 140733209939192 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 7952 7196 467 1167 0 6733 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 31808

[startup+282.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 29903
/proc/meminfo: memFree=26173992/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=31808 CPUtime=282.23 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 7281 0 0 0 28130 93 0 0 20 0 1 0 286662498 32571392 7196 33554432000 4194304 8973514 140733209939696 140733209939192 4209328 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 7952 7196 467 1167 0 6733 0
Current children cumulated CPU time (s) 282.23
Current children cumulated vsize (KiB) 31808

[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 29904
/proc/meminfo: memFree=26170260/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=31808 CPUtime=342.22 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 7281 0 0 0 34110 112 0 0 20 0 1 0 286662498 32571392 7196 33554432000 4194304 8973514 140733209939696 140733209939192 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 7952 7196 467 1167 0 6733 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 31808

[startup+402.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/177 29904
/proc/meminfo: memFree=26167836/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=33856 CPUtime=402.22 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 7793 0 0 0 40090 132 0 0 20 0 1 0 286662498 34668544 7708 33554432000 4194304 8973514 140733209939696 140733209939192 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 8464 7708 467 1167 0 7245 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 33856

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/178 29945
/proc/meminfo: memFree=26193152/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=34880 CPUtime=462.21 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 8049 0 0 0 46068 153 0 0 20 0 1 0 286662498 35717120 7964 33554432000 4194304 8973514 140733209939696 140733209939192 4204359 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 8720 7964 467 1167 0 7501 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 34880

[startup+522.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/177 29945
/proc/meminfo: memFree=26174740/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=34880 CPUtime=522.2 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 8049 0 0 0 52049 171 0 0 20 0 1 0 286662498 35717120 7964 33554432000 4194304 8973514 140733209939696 140733209938960 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 8720 7964 467 1167 0 7501 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 34880

[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/177 29945
/proc/meminfo: memFree=26165360/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=34880 CPUtime=582.19 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 8049 0 0 0 58030 189 0 0 20 0 1 0 286662498 35717120 7964 33554432000 4194304 8973514 140733209939696 140733209939192 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 8720 7964 467 1167 0 7501 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 34880

[startup+642.3 s]

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

[startup+882.3 s]
/proc/loadavg: 2.07 2.03 2.00 3/177 29984
/proc/meminfo: memFree=26170320/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=38976 CPUtime=882.15 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 9074 0 0 0 87929 286 0 0 20 0 1 0 286662498 39911424 8988 33554432000 4194304 8973514 140733209939696 140733209938960 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 9744 8988 467 1167 0 8525 0
Current children cumulated CPU time (s) 882.15
Current children cumulated vsize (KiB) 38976

[startup+942.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/177 29985
/proc/meminfo: memFree=26167216/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=38976 CPUtime=942.13 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 9074 0 0 0 93910 303 0 0 20 0 1 0 286662498 39911424 8988 33554432000 4194304 8973514 140733209939696 140733209939192 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 9744 8988 467 1167 0 8525 0
Current children cumulated CPU time (s) 942.13
Current children cumulated vsize (KiB) 38976

[startup+1002.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/177 29985
/proc/meminfo: memFree=26164176/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=41024 CPUtime=1002.12 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 9587 0 0 0 99888 324 0 0 20 0 1 0 286662498 42008576 9500 33554432000 4194304 8973514 140733209939696 140733209939192 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 10256 9500 467 1167 0 9037 0
Current children cumulated CPU time (s) 1002.12
Current children cumulated vsize (KiB) 41024

[startup+1062.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/178 29988
/proc/meminfo: memFree=26161688/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=42048 CPUtime=1062.12 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 9843 0 0 0 105869 343 0 0 20 0 1 0 286662498 43057152 9756 33554432000 4194304 8973514 140733209939696 140733209939192 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 10512 9756 467 1167 0 9293 0
Current children cumulated CPU time (s) 1062.12
Current children cumulated vsize (KiB) 42048

[startup+1122.3 s]
/proc/loadavg: 2.08 2.04 2.00 3/178 30011
/proc/meminfo: memFree=26156352/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=42048 CPUtime=1122.11 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 9844 0 0 0 111849 362 0 0 20 0 1 0 286662498 43057152 9756 33554432000 4194304 8973514 140733209939696 140733209938960 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 10512 9756 467 1167 0 9293 0
Current children cumulated CPU time (s) 1122.11
Current children cumulated vsize (KiB) 42048

[startup+1182.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/177 30011
/proc/meminfo: memFree=26143208/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=42048 CPUtime=1182.1 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 9844 0 0 0 117829 381 0 0 20 0 1 0 286662498 43057152 9756 33554432000 4194304 8973514 140733209939696 140733209938960 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 10512 9756 467 1167 0 9293 0
Current children cumulated CPU time (s) 1182.1
Current children cumulated vsize (KiB) 42048

[startup+1242.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/177 30012
/proc/meminfo: memFree=26134764/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=44096 CPUtime=1242.09 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 10356 0 0 0 123810 399 0 0 20 0 1 0 286662498 45154304 10268 33554432000 4194304 8973514 140733209939696 140733209939192 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 11024 10268 467 1167 0 9805 0
Current children cumulated CPU time (s) 1242.09
Current children cumulated vsize (KiB) 44096

[startup+1302.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 30050
/proc/meminfo: memFree=26195408/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=45120 CPUtime=1302.09 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 10613 0 0 0 129791 418 0 0 20 0 1 0 286662498 46202880 10524 33554432000 4194304 8973514 140733209939696 140733209939192 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 11280 10524 467 1167 0 10061 0
Current children cumulated CPU time (s) 1302.09
Current children cumulated vsize (KiB) 45120

[startup+1362.3 s]
/proc/loadavg: 2.15 2.05 2.01 3/177 30088
/proc/meminfo: memFree=26193168/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=45120 CPUtime=1362.07 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 10613 0 0 0 135769 438 0 0 20 0 1 0 286662498 46202880 10524 33554432000 4194304 8973514 140733209939696 140733209939192 4208816 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 11280 10524 467 1167 0 10061 0
Current children cumulated CPU time (s) 1362.07
Current children cumulated vsize (KiB) 45120

[startup+1422.31 s]
/proc/loadavg: 2.05 2.04 2.00 3/177 30088
/proc/meminfo: memFree=26188692/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=46144 CPUtime=1422.06 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 10869 0 0 0 141750 456 0 0 20 0 1 0 286662498 47251456 10780 33554432000 4194304 8973514 140733209939696 140733209938960 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 11536 10780 467 1167 0 10317 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 46144

[startup+1482.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/177 30088
/proc/meminfo: memFree=26185340/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=46144 CPUtime=1482.05 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 10869 0 0 0 147729 476 0 0 20 0 1 0 286662498 47251456 10780 33554432000 4194304 8973514 140733209939696 140733209939192 4209212 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 11536 10780 467 1167 0 10317 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 46144

[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 30089
/proc/meminfo: memFree=26181184/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=46144 CPUtime=1542.04 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 10869 0 0 0 153709 495 0 0 20 0 1 0 286662498 47251456 10780 33554432000 4194304 8973514 140733209939696 140733209939192 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 11536 10780 467 1167 0 10317 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 46144

[startup+1602.3 s]
/proc/loadavg: 2.04 2.03 2.00 3/177 30089
/proc/meminfo: memFree=26158980/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=51264 CPUtime=1602.03 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 12151 0 0 0 159689 514 0 0 20 0 1 0 286662498 52494336 12060 33554432000 4194304 8973514 140733209939696 140733209939192 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 12816 12060 467 1167 0 11597 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 51264

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/178 30092
/proc/meminfo: memFree=26147356/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=55360 CPUtime=1662.02 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 13176 0 0 0 165669 533 0 0 20 0 1 0 286662498 56688640 13084 33554432000 4194304 8973514 140733209939696 140733209939192 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 13840 13084 467 1167 0 12621 0
Current children cumulated CPU time (s) 1662.02
Current children cumulated vsize (KiB) 55360

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/177 30092
/proc/meminfo: memFree=26137128/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=61504 CPUtime=1722.01 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 14712 0 0 0 171647 554 0 0 20 0 1 0 286662498 62980096 14620 33554432000 4194304 8973514 140733209939696 140733209939192 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 15376 14620 467 1167 0 14157 0
Current children cumulated CPU time (s) 1722.01
Current children cumulated vsize (KiB) 61504

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30130
/proc/meminfo: memFree=26177276/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=63552 CPUtime=1782 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 15227 0 0 0 177622 578 0 0 20 0 1 0 286662498 65077248 15132 33554432000 4194304 8973514 140733209939696 140733209939192 7841851 0 2 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 15888 15132 467 1167 0 14669 0
Current children cumulated CPU time (s) 1782
Current children cumulated vsize (KiB) 63552



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/177 30130
/proc/meminfo: memFree=26175288/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=64576 CPUtime=1800 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 15483 0 0 0 179415 585 0 0 20 0 1 0 286662498 66125824 15388 33554432000 4194304 8973514 140733209939696 140733209939192 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 16144 15388 467 1167 0 14925 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 64576

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.00 2.01 2.00 3/177 30130
/proc/meminfo: memFree=26175288/32873844 swapFree=7108/7108
[pid=29862] ppid=29860 vsize=64576 CPUtime=1800 cores=0,2,4,6
/proc/29862/stat : 29862 (toysat) R 29860 29862 28734 0 -1 4202496 15483 0 0 0 179415 585 0 0 20 0 1 0 286662498 66125824 15388 33554432000 4194304 8973514 140733209939696 140733209939192 7937344 0 0 0 34082818 0 0 0 17 4 0 0 0 0 0
/proc/29862/statm: 16144 15388 467 1167 0 14925 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 64576

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

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.16
system time used= 5.85011
maximum resident set size= 61552
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15483
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= 21
involuntary context switches= 1932

runsolver used 3.34349 second user time and 8.91564 second system time

The end

Launcher Data 

Begin job on node111 at 2012-05-28 13:42:35
IDJOB=3712334
IDBENCH=79259
IDSOLVER=2291
FILE ID=node111/3712334-1338205355
RUNJOBID= node111-1338194732-28750
PBS_JOBID= 14624600
Free space on /tmp= 67808 MiB

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

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

MD5SUM BENCH= e639daae290163b8abe4f9e3cf3dc11c
RANDOM SEED=523337142

node111.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.152
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.30
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.152
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.152
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.152
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.152
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.152
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.152
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.91
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.152
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.90
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        26234504 kB
Buffers:          560156 kB
Cached:          5106840 kB
SwapCached:         1624 kB
Active:          4736144 kB
Inactive:         962128 kB
Active(anon):      22804 kB
Inactive(anon):     9132 kB
Active(file):    4713340 kB
Inactive(file):   952996 kB
Unevictable:        7108 kB
Mlocked:            7108 kB
SwapTotal:      67108856 kB
SwapFree:       67105364 kB
Dirty:              7424 kB
Writeback:             0 kB
AnonPages:         37584 kB
Mapped:            16076 kB
Shmem:                 8 kB
Slab:             798112 kB
SReclaimable:     240488 kB
SUnreclaim:       557624 kB
KernelStack:        1480 kB
PageTables:         3800 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     145596 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:     16384 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= 67800 MiB
End job on node111 at 2012-05-28 14:12:38