Trace number 3725018

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2012-06-01? (TO) 1800.1 1800.41

General information on the benchmark

Namenormalized-PB06/OPT-SMALLINT/submitted-PB05/
manquinho/logic-synthesis/normalized-rot.b.opb
MD5SUM82ceb454755e01aa6cecb68eb859eaa6
Bench CategoryOPT-SMALLINT (optimisation, small integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark115
Best CPU time to get the best result obtained on this benchmark1.12483
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 116
Optimality of the best value was proved NO
Number of variables1451
Total number of constraints2932
Number of constraints which are clauses2932
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint81
Number of terms in the objective function 1451
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 1451
Number of bits of the sum of numbers in the objective function 11
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 1451
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

0.39/0.41	c 2012-06-02T12:35:36+0200
0.39/0.41	c arch = x86_64
0.39/0.41	c os = linux
0.39/0.41	c compiler = ghc 7.4
0.39/0.41	c packages:
0.39/0.41	c   OptDir-0.0.1
0.39/0.41	c   array-0.4.0.0
0.39/0.41	c   base-4.5.0.0
0.39/0.41	c   bytestring-0.9.2.1
0.39/0.41	c   containers-0.4.2.1
0.39/0.41	c   deepseq-1.3.0.0
0.39/0.41	c   mtl-2.1.1
0.39/0.41	c   old_locale-1.0.0.4
0.39/0.41	c   parse_dimacs-1.2
0.39/0.41	c   parsec-3.1.2
0.39/0.41	c   queue-0.1.2
0.39/0.41	c   stm-2.3
0.39/0.41	c   time-1.4
0.39/0.41	c command line = ["+RTS","-K1G","-RTS","--pb","HOME/instance-3725018-1338633336.opb"]
0.39/0.41	c #vars 1451
0.39/0.41	c #constraints 2932
0.39/0.41	c Solving starts ...
0.39/0.42	c solving time = 0.004s
0.39/0.42	c #decision = 1735
0.39/0.42	c #conflict = 3
0.39/0.42	c #restart = 0
0.39/0.42	o 163
0.39/0.42	c Solving starts ...
0.39/0.42	c solving time = 0.004s
0.39/0.42	c #decision = 2990
0.39/0.42	c #conflict = 4
0.39/0.42	c #restart = 0
0.39/0.42	o 162
0.39/0.42	c Solving starts ...
0.59/0.64	c solving time = 0.215s
0.59/0.64	c #decision = 4999
0.59/0.64	c #conflict = 166
0.59/0.64	c #restart = 1
0.59/0.64	o 161
0.59/0.64	c Solving starts ...
6.88/6.92	c learnt constraints deletion: 2652 -> 1327
11.19/11.29	c learnt constraints deletion: 2907 -> 1456
16.49/16.58	c learnt constraints deletion: 3194 -> 1597
20.99/21.05	c learnt constraints deletion: 3182 -> 1595
23.88/23.93	c solving time = 23.282s
23.88/23.93	c #decision = 59185
23.88/23.93	c #conflict = 8678
23.88/23.93	c #restart = 10
23.88/23.93	o 160
23.88/23.93	c Solving starts ...
23.88/23.95	c learnt constraints deletion: 2708 -> 1354
24.09/24.17	c learnt constraints deletion: 1453 -> 727
29.08/29.11	c learnt constraints deletion: 2417 -> 1209
33.38/33.41	c learnt constraints deletion: 2880 -> 1440
38.87/38.93	c learnt constraints deletion: 3178 -> 1593
43.77/43.87	c learnt constraints deletion: 3168 -> 1588
48.87/48.95	c learnt constraints deletion: 3482 -> 1744
53.57/53.62	c learnt constraints deletion: 3485 -> 1743
58.36/58.48	c learnt constraints deletion: 3828 -> 1918
62.67/62.78	c learnt constraints deletion: 3797 -> 1899
67.36/67.48	c learnt constraints deletion: 3804 -> 1904
72.57/72.64	c learnt constraints deletion: 4189 -> 2097
77.97/78.02	c learnt constraints deletion: 4159 -> 2080
83.26/83.36	c learnt constraints deletion: 4178 -> 2091
89.07/89.17	c learnt constraints deletion: 4160 -> 2082
94.95/95.05	c learnt constraints deletion: 4612 -> 2312
100.65/100.74	c learnt constraints deletion: 4562 -> 2282
106.46/106.59	c learnt constraints deletion: 4561 -> 2288
112.55/112.68	c learnt constraints deletion: 4553 -> 2278
118.95/119.00	c learnt constraints deletion: 4575 -> 2295
126.25/126.31	c learnt constraints deletion: 4995 -> 2501
132.45/132.59	c learnt constraints deletion: 4998 -> 2499
138.85/138.97	c learnt constraints deletion: 5014 -> 2508
145.15/145.20	c learnt constraints deletion: 5004 -> 2506
152.35/152.44	c learnt constraints deletion: 5010 -> 2513
158.55/158.67	c learnt constraints deletion: 5004 -> 2504
165.25/165.31	c learnt constraints deletion: 5025 -> 2519
171.35/171.43	c learnt constraints deletion: 4996 -> 2502
179.64/179.78	c learnt constraints deletion: 5514 -> 2761
187.24/187.38	c learnt constraints deletion: 5476 -> 2743
194.14/194.23	c learnt constraints deletion: 5486 -> 2744
201.64/201.70	c learnt constraints deletion: 5490 -> 2751
208.24/208.30	c learnt constraints deletion: 5514 -> 2771
215.83/215.98	c learnt constraints deletion: 5490 -> 2747
222.54/222.69	c learnt constraints deletion: 5496 -> 2753
229.94/230.05	c learnt constraints deletion: 5503 -> 2765
237.13/237.23	c learnt constraints deletion: 5473 -> 2744
244.33/244.45	c learnt constraints deletion: 5485 -> 2748
250.63/250.80	c learnt constraints deletion: 5497 -> 2759
259.83/259.94	c learnt constraints deletion: 6008 -> 3005
268.83/268.99	c learnt constraints deletion: 6017 -> 3009
276.32/276.48	c learnt constraints deletion: 6005 -> 3004
283.92/284.02	c learnt constraints deletion: 6004 -> 3007
292.12/292.23	c learnt constraints deletion: 6055 -> 3040
300.43/300.56	c learnt constraints deletion: 6004 -> 3004
308.82/308.98	c learnt constraints deletion: 6036 -> 3021
316.92/317.09	c learnt constraints deletion: 6014 -> 3011
324.52/324.68	c learnt constraints deletion: 6040 -> 3029
333.12/333.27	c learnt constraints deletion: 6014 -> 3012
341.32/341.48	c learnt constraints deletion: 6029 -> 3021
349.82/349.99	c learnt constraints deletion: 6037 -> 3033
358.51/358.60	c learnt constraints deletion: 6041 -> 3029
365.91/366.04	c learnt constraints deletion: 6063 -> 3045
375.61/375.71	c learnt constraints deletion: 6609 -> 3306
384.70/384.83	c learnt constraints deletion: 6608 -> 3304
393.31/393.41	c learnt constraints deletion: 6603 -> 3303
403.80/403.93	c learnt constraints deletion: 6603 -> 3307
413.00/413.17	c learnt constraints deletion: 6600 -> 3302
421.90/422.06	c learnt constraints deletion: 6627 -> 3323
430.50/430.61	c learnt constraints deletion: 6592 -> 3299
439.70/439.86	c learnt constraints deletion: 6602 -> 3305
449.20/449.30	c learnt constraints deletion: 6607 -> 3317
458.19/458.32	c learnt constraints deletion: 6602 -> 3307
468.09/468.20	c learnt constraints deletion: 6624 -> 3323
477.09/477.27	c learnt constraints deletion: 6617 -> 3316
487.19/487.31	c learnt constraints deletion: 6638 -> 3330
496.89/497.02	c learnt constraints deletion: 6619 -> 3329
505.28/505.46	c learnt constraints deletion: 6600 -> 3302
513.69/513.80	c learnt constraints deletion: 6610 -> 3313
521.98/522.18	c learnt constraints deletion: 6631 -> 3332
530.09/530.21	c learnt constraints deletion: 6613 -> 3310
539.28/539.41	c learnt constraints deletion: 6618 -> 3315
547.59/547.73	c learnt constraints deletion: 6604 -> 3317
558.58/558.72	c learnt constraints deletion: 7240 -> 3622
568.18/568.33	c learnt constraints deletion: 7257 -> 3632
578.27/578.46	c learnt constraints deletion: 7303 -> 3653
588.57/588.79	c learnt constraints deletion: 7242 -> 3625
598.57/598.79	c learnt constraints deletion: 7246 -> 3627
609.86/610.06	c learnt constraints deletion: 7241 -> 3621
620.27/620.41	c learnt constraints deletion: 7238 -> 3620
630.47/630.65	c learnt constraints deletion: 7265 -> 3635
640.56/640.79	c learnt constraints deletion: 7268 -> 3637
651.66/651.84	c learnt constraints deletion: 7248 -> 3630
662.76/662.91	c learnt constraints deletion: 7264 -> 3632
673.66/673.82	c learnt constraints deletion: 7242 -> 3623
684.16/684.35	c learnt constraints deletion: 7249 -> 3626
694.25/694.46	c learnt constraints deletion: 7253 -> 3632
704.75/704.94	c learnt constraints deletion: 7248 -> 3627
714.15/714.34	c learnt constraints deletion: 7259 -> 3635
723.95/724.10	c learnt constraints deletion: 7258 -> 3640
734.25/734.40	c learnt constraints deletion: 7240 -> 3625
744.95/745.14	c learnt constraints deletion: 7252 -> 3634
754.45/754.65	c learnt constraints deletion: 7246 -> 3624
763.94/764.14	c learnt constraints deletion: 7253 -> 3629
773.44/773.68	c learnt constraints deletion: 7238 -> 3622
783.35/783.52	c learnt constraints deletion: 7283 -> 3651
793.64/793.81	c learnt constraints deletion: 7258 -> 3633
804.04/804.28	c learnt constraints deletion: 7261 -> 3636
814.44/814.69	c learnt constraints deletion: 7248 -> 3630
824.74/824.93	c learnt constraints deletion: 7255 -> 3635
837.03/837.22	c learnt constraints deletion: 7962 -> 3983
848.73/848.94	c learnt constraints deletion: 7946 -> 3976
859.53/859.73	c learnt constraints deletion: 7960 -> 3993
871.23/871.45	c learnt constraints deletion: 7964 -> 3986
882.62/882.82	c learnt constraints deletion: 7977 -> 3999
893.22/893.47	c learnt constraints deletion: 7946 -> 3979
904.82/905.06	c learnt constraints deletion: 7956 -> 3989
916.72/916.95	c learnt constraints deletion: 7955 -> 3978
929.12/929.33	c learnt constraints deletion: 7955 -> 3984
939.72/939.96	c learnt constraints deletion: 7955 -> 3981
951.51/951.75	c learnt constraints deletion: 7963 -> 3983
962.32/962.53	c learnt constraints deletion: 7960 -> 3991
973.11/973.31	c learnt constraints deletion: 7951 -> 3978
984.31/984.59	c learnt constraints deletion: 7960 -> 3989
995.71/995.95	c learnt constraints deletion: 7951 -> 3979
1007.80/1008.02	c learnt constraints deletion: 7964 -> 3992
1020.10/1020.37	c learnt constraints deletion: 7971 -> 3990
1032.50/1032.73	c learnt constraints deletion: 7968 -> 3992
1043.90/1044.11	c learnt constraints deletion: 7956 -> 3983
1055.70/1055.93	c learnt constraints deletion: 7955 -> 3986
1066.90/1067.11	c learnt constraints deletion: 7998 -> 4015
1078.89/1079.15	c learnt constraints deletion: 7938 -> 3975
1091.19/1091.40	c learnt constraints deletion: 7973 -> 3998
1100.99/1101.24	c learnt constraints deletion: 7955 -> 3985
1113.28/1113.55	c learnt constraints deletion: 7993 -> 4006
1124.89/1125.15	c learnt constraints deletion: 7969 -> 3994
1136.09/1136.35	c learnt constraints deletion: 8019 -> 4021
1147.68/1147.97	c learnt constraints deletion: 7955 -> 3989
1161.39/1161.62	c learnt constraints deletion: 8011 -> 4018
1173.98/1174.20	c learnt constraints deletion: 7984 -> 4011
1185.77/1186.02	c learnt constraints deletion: 7960 -> 3993
1197.68/1197.93	c learnt constraints deletion: 7979 -> 4005
1210.07/1210.30	c learnt constraints deletion: 7973 -> 4002
1222.47/1222.73	c learnt constraints deletion: 7950 -> 3992
1234.98/1235.21	c learnt constraints deletion: 7992 -> 4014
1247.77/1248.04	c learnt constraints deletion: 8010 -> 4024
1261.26/1261.59	c learnt constraints deletion: 7960 -> 4000
1275.26/1275.55	c learnt constraints deletion: 8758 -> 4402
1287.96/1288.26	c learnt constraints deletion: 8745 -> 4373
1300.06/1300.37	c learnt constraints deletion: 8741 -> 4374
1312.96/1313.27	c learnt constraints deletion: 8739 -> 4381
1326.06/1326.34	c learnt constraints deletion: 8742 -> 4372
1336.76/1337.08	c learnt constraints deletion: 8752 -> 4381
1348.85/1349.16	c learnt constraints deletion: 8739 -> 4372
1360.36/1360.66	c learnt constraints deletion: 8734 -> 4374
1372.15/1372.45	c learnt constraints deletion: 8729 -> 4368
1384.65/1384.92	c learnt constraints deletion: 8725 -> 4368
1396.65/1396.91	c learnt constraints deletion: 8754 -> 4390
1407.94/1408.26	c learnt constraints deletion: 8749 -> 4394
1421.24/1421.59	c learnt constraints deletion: 8745 -> 4379
1433.43/1433.72	c learnt constraints deletion: 8765 -> 4395
1446.24/1446.51	c learnt constraints deletion: 8733 -> 4372
1457.83/1458.13	c learnt constraints deletion: 8750 -> 4385
1471.33/1471.69	c learnt constraints deletion: 8728 -> 4370
1485.53/1485.87	c learnt constraints deletion: 8750 -> 4385
1498.62/1498.94	c learnt constraints deletion: 8729 -> 4380
1510.43/1510.75	c learnt constraints deletion: 8742 -> 4379
1520.53/1520.89	c learnt constraints deletion: 8751 -> 4394
1532.42/1532.75	c learnt constraints deletion: 8733 -> 4375
1544.72/1545.03	c learnt constraints deletion: 8762 -> 4390
1556.62/1556.97	c learnt constraints deletion: 8730 -> 4376
1569.92/1570.29	c learnt constraints deletion: 8760 -> 4390
1581.82/1582.14	c learnt constraints deletion: 8721 -> 4372
1593.52/1593.81	c learnt constraints deletion: 8747 -> 4386
1604.52/1604.87	c learnt constraints deletion: 8744 -> 4395
1617.01/1617.35	c learnt constraints deletion: 8745 -> 4388
1629.41/1629.74	c learnt constraints deletion: 8759 -> 4393
1642.70/1643.07	c learnt constraints deletion: 8787 -> 4407
1655.21/1655.58	c learnt constraints deletion: 8756 -> 4392
1666.41/1666.71	c learnt constraints deletion: 8748 -> 4392
1678.80/1679.11	c learnt constraints deletion: 8782 -> 4408
1691.30/1691.63	c learnt constraints deletion: 8749 -> 4391
1705.10/1705.44	c learnt constraints deletion: 8745 -> 4390
1716.80/1717.10	c learnt constraints deletion: 8759 -> 4399
1731.00/1731.33	c learnt constraints deletion: 8768 -> 4403
1742.69/1743.02	c learnt constraints deletion: 8767 -> 4406
1753.69/1754.04	c learnt constraints deletion: 8755 -> 4398
1764.39/1764.79	c learnt constraints deletion: 8753 -> 4398
1776.39/1776.74	c learnt constraints deletion: 8765 -> 4406
1787.09/1787.50	c learnt constraints deletion: 8764 -> 4409
1798.58/1798.92	c learnt constraints deletion: 8754 -> 4402

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-3725018-1338633336/watcher-3725018-1338633336 -o /tmp/evaluation-result-3725018-1338633336/solver-3725018-1338633336 -C 1800 -W 1900 -M 15500 HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725018-1338633336.opb 

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

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


[startup+0 s]
/proc/loadavg: 1.93 2.03 1.72 3/176 17238
/proc/meminfo: memFree=31039316/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=6224 CPUtime=0 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 775 0 0 0 0 0 0 0 20 0 1 0 329459562 6373376 695 33554432000 4194304 8989770 140734603743904 140734603743304 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 1556 695 425 1171 0 333 0

[startup+0.0662549 s]
/proc/loadavg: 1.93 2.03 1.72 3/176 17238
/proc/meminfo: memFree=31039316/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=10320 CPUtime=0.05 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 1745 0 0 0 5 0 0 0 20 0 1 0 329459562 10567680 1665 33554432000 4194304 8989770 140734603743904 140734603743400 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 2580 1665 431 1171 0 1357 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10320

[startup+0.100244 s]
/proc/loadavg: 1.93 2.03 1.72 3/176 17238
/proc/meminfo: memFree=31039316/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=12368 CPUtime=0.09 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 2135 0 0 0 9 0 0 0 20 0 1 0 329459562 12664832 2055 33554432000 4194304 8989770 140734603743904 140734603743400 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 3092 2055 431 1171 0 1869 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 12368

[startup+0.300181 s]
/proc/loadavg: 1.93 2.03 1.72 3/176 17238
/proc/meminfo: memFree=31039316/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=16464 CPUtime=0.29 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 3414 0 0 0 29 0 0 0 20 0 1 0 329459562 16859136 3334 33554432000 4194304 8989770 140734603743904 140734603743400 5382496 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 4116 3334 444 1171 0 2893 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 16464

[startup+0.700233 s]
/proc/loadavg: 1.93 2.03 1.72 3/176 17238
/proc/meminfo: memFree=31039316/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=16464 CPUtime=0.69 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 3441 0 0 0 69 0 0 0 20 0 1 0 329459562 16859136 3361 33554432000 4194304 8989770 140734603743904 140734603743400 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 4116 3361 471 1171 0 2893 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 16464

[startup+1.50025 s]
/proc/loadavg: 1.93 2.03 1.72 3/177 17239
/proc/meminfo: memFree=31028164/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=16464 CPUtime=1.49 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 3441 0 0 0 148 1 0 0 20 0 1 0 329459562 16859136 3361 33554432000 4194304 8989770 140734603743904 140734603743168 4208870 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 4116 3361 471 1171 0 2893 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 16464

[startup+3.10016 s]
/proc/loadavg: 1.93 2.03 1.72 3/177 17239
/proc/meminfo: memFree=31027660/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=18512 CPUtime=3.08 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 3953 0 0 0 307 1 0 0 20 0 1 0 329459562 18956288 3873 33554432000 4194304 8989770 140734603743904 140734603743400 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 4628 3873 471 1171 0 3405 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 18512

[startup+6.30031 s]
/proc/loadavg: 2.10 2.06 1.73 3/177 17239
/proc/meminfo: memFree=31021296/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=24656 CPUtime=6.29 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 5489 0 0 0 626 3 0 0 20 0 1 0 329459562 25247744 5409 33554432000 4194304 8989770 140734603743904 140734603743168 4213683 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 6164 5409 471 1171 0 4941 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 24656

[startup+12.7003 s]
/proc/loadavg: 2.09 2.06 1.73 3/177 17239
/proc/meminfo: memFree=31011152/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=30800 CPUtime=12.69 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 7027 0 0 0 1263 6 0 0 20 0 1 0 329459562 31539200 6947 33554432000 4194304 8989770 140734603743904 140734603743168 7857787 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 7700 6947 473 1171 0 6477 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 30800

[startup+25.5002 s]
/proc/loadavg: 2.07 2.05 1.73 3/177 17239
/proc/meminfo: memFree=31005488/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=35920 CPUtime=25.49 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 8307 0 0 0 2539 10 0 0 20 0 1 0 329459562 36782080 8227 33554432000 4194304 8989770 140734603743904 140734603743400 7617751 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 8980 8227 473 1171 0 7757 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 35920

[startup+51.1003 s]
/proc/loadavg: 2.04 2.05 1.74 3/177 17239
/proc/meminfo: memFree=30986416/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=53328 CPUtime=51.07 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 12668 0 0 0 5088 19 0 0 20 0 1 0 329459562 54607872 12584 33554432000 4194304 8989770 140734603743904 140734603741824 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 13332 12584 473 1171 0 12109 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 53328

[startup+102.306 s]
/proc/loadavg: 2.02 2.04 1.75 3/177 17239
/proc/meminfo: memFree=30973288/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=62544 CPUtime=102.27 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 14977 0 0 0 10189 38 0 0 20 0 1 0 329459562 64045056 14888 33554432000 4194304 8989770 140734603743904 140734603743168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 15636 14888 473 1171 0 14413 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 62544

[startup+162.3 s]
/proc/loadavg: 2.00 2.03 1.76 3/176 17239
/proc/meminfo: memFree=30959028/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=72784 CPUtime=162.25 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 17542 0 0 0 16168 57 0 0 20 0 1 0 329459562 74530816 17448 33554432000 4194304 8989770 140734603743904 140734603743400 7953280 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 18196 17448 473 1171 0 16973 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 72784

[startup+222.3 s]
/proc/loadavg: 2.00 2.02 1.77 3/177 17240
/proc/meminfo: memFree=30957288/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=74832 CPUtime=222.24 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 18055 0 0 0 22148 76 0 0 20 0 1 0 329459562 76627968 17960 33554432000 4194304 8989770 140734603743904 140734603743400 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 18708 17960 473 1171 0 17485 0
Current children cumulated CPU time (s) 222.24
Current children cumulated vsize (KiB) 74832

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 1.78 3/178 17243
/proc/meminfo: memFree=30952316/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=75856 CPUtime=282.22 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 18312 0 0 0 28129 93 0 0 20 0 1 0 329459562 77676544 18216 33554432000 4194304 8989770 140734603743904 140734603743400 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 18964 18216 473 1171 0 17741 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 75856

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.80 3/177 17243
/proc/meminfo: memFree=30936832/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=88144 CPUtime=342.22 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 21384 0 0 0 34111 111 0 0 20 0 1 0 329459562 90259456 21288 33554432000 4194304 8989770 140734603743904 140734603743168 4457841 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 22036 21288 473 1171 0 20813 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 88144

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.81 3/177 17243
/proc/meminfo: memFree=30936212/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=91216 CPUtime=402.2 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 22667 0 0 0 40092 128 0 0 20 0 1 0 329459562 93405184 22056 33554432000 4194304 8989770 140734603743904 140734603743400 6591888 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 22804 22056 473 1171 0 21581 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 91216

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/177 17243
/proc/meminfo: memFree=30933480/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=91216 CPUtime=462.19 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 22669 0 0 0 46075 144 0 0 20 0 1 0 329459562 93405184 22056 33554432000 4194304 8989770 140734603743904 140734603743400 4212537 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 22804 22056 473 1171 0 21581 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 91216

[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.82 3/177 17244
/proc/meminfo: memFree=30924988/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=98384 CPUtime=522.18 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 24461 0 0 0 52056 162 0 0 20 0 1 0 329459562 100745216 23848 33554432000 4194304 8989770 140734603743904 140734603743400 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 24596 23848 473 1171 0 23373 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 98384

[startup+582.3 s]
/proc/loadavg: 2.00 2.00 1.83 3/177 17244
/proc/meminfo: memFree=30927808/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=95312 CPUtime=582.17 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 24463 0 0 0 58039 178 0 0 20 0 1 0 329459562 97599488 23080 33554432000 4194304 8989770 140734603743904 140734603743168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 23828 23080 473 1171 0 22605 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 95312

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 2.00 1.86 3/177 17245
/proc/meminfo: memFree=30916900/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=103504 CPUtime=822.13 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 26515 0 0 0 81968 245 0 0 20 0 1 0 329459562 105988096 25128 33554432000 4194304 8989770 140734603743904 140734603741888 7675501 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 25876 25128 473 1171 0 24653 0
Current children cumulated CPU time (s) 822.13
Current children cumulated vsize (KiB) 103504

[startup+882.3 s]
/proc/loadavg: 2.05 2.01 1.87 3/178 17248
/proc/meminfo: memFree=30912180/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=106576 CPUtime=882.12 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 27283 0 0 0 87949 263 0 0 20 0 1 0 329459562 109133824 25896 33554432000 4194304 8989770 140734603743904 140734603743400 6587869 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 26644 25896 473 1171 0 25421 0
Current children cumulated CPU time (s) 882.12
Current children cumulated vsize (KiB) 106576

[startup+942.3 s]
/proc/loadavg: 2.02 2.01 1.88 3/177 17248
/proc/meminfo: memFree=30908096/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=110672 CPUtime=942.12 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 28309 0 0 0 93930 282 0 0 20 0 1 0 329459562 113328128 26920 33554432000 4194304 8989770 140734603743904 140734603743168 4204350 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 27668 26920 473 1171 0 26445 0
Current children cumulated CPU time (s) 942.12
Current children cumulated vsize (KiB) 110672

[startup+1002.3 s]
/proc/loadavg: 2.00 2.00 1.88 3/177 17248
/proc/meminfo: memFree=30907480/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=111696 CPUtime=1002.1 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 28565 0 0 0 99911 299 0 0 20 0 1 0 329459562 114376704 27176 33554432000 4194304 8989770 140734603743904 140734603743168 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 27924 27176 473 1171 0 26701 0
Current children cumulated CPU time (s) 1002.1
Current children cumulated vsize (KiB) 111696

[startup+1062.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 17248
/proc/meminfo: memFree=30907488/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=111696 CPUtime=1062.1 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 28567 0 0 0 105893 317 0 0 20 0 1 0 329459562 114376704 27176 33554432000 4194304 8989770 140734603743904 140734603743168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 27924 27176 473 1171 0 26701 0
Current children cumulated CPU time (s) 1062.1
Current children cumulated vsize (KiB) 111696

[startup+1122.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/177 17249
/proc/meminfo: memFree=30906376/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=112720 CPUtime=1122.09 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 28823 0 0 0 111875 334 0 0 20 0 1 0 329459562 115425280 27432 33554432000 4194304 8989770 140734603743904 140734603743168 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 28180 27432 473 1171 0 26957 0
Current children cumulated CPU time (s) 1122.09
Current children cumulated vsize (KiB) 112720

[startup+1182.3 s]
/proc/loadavg: 2.04 2.01 1.91 3/177 17249
/proc/meminfo: memFree=30880336/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=135248 CPUtime=1182.07 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 34455 0 0 0 117856 351 0 0 20 0 1 0 329459562 138493952 33064 33554432000 4194304 8989770 140734603743904 140734603743168 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 33812 33064 473 1171 0 32589 0
Current children cumulated CPU time (s) 1182.07
Current children cumulated vsize (KiB) 135248

[startup+1242.3 s]
/proc/loadavg: 2.01 2.01 1.91 3/177 17249
/proc/meminfo: memFree=30886644/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=135248 CPUtime=1242.06 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 34455 0 0 0 123838 368 0 0 20 0 1 0 329459562 138493952 33064 33554432000 4194304 8989770 140734603743904 140734603743400 4209410 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 33812 33064 473 1171 0 32589 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 135248

[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/177 17249
/proc/meminfo: memFree=30884504/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=135248 CPUtime=1302.06 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 34455 0 0 0 129820 386 0 0 20 0 1 0 329459562 138493952 33064 33554432000 4194304 8989770 140734603743904 140734603743168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 33812 33064 473 1171 0 32589 0
Current children cumulated CPU time (s) 1302.06
Current children cumulated vsize (KiB) 135248

[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 1.91 3/177 17249
/proc/meminfo: memFree=30889440/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=132176 CPUtime=1362.05 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 34455 0 0 0 135803 402 0 0 20 0 1 0 329459562 135348224 32296 33554432000 4194304 8989770 140734603743904 140734603743168 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 33044 32296 473 1171 0 31821 0
Current children cumulated CPU time (s) 1362.05
Current children cumulated vsize (KiB) 132176

[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 1.91 3/177 17250
/proc/meminfo: memFree=30895268/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=123984 CPUtime=1422.04 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 34455 0 0 0 141784 420 0 0 20 0 1 0 329459562 126959616 30248 33554432000 4194304 8989770 140734603743904 140734603743168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 30996 30248 473 1171 0 29773 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 123984

[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 17253
/proc/meminfo: memFree=30893132/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=123984 CPUtime=1482.03 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 34455 0 0 0 147765 438 0 0 20 0 1 0 329459562 126959616 30248 33554432000 4194304 8989770 140734603743904 140734603743168 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 30996 30248 473 1171 0 29773 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 123984

[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 17276
/proc/meminfo: memFree=30888136/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=125008 CPUtime=1542.02 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 34711 0 0 0 153745 457 0 0 20 0 1 0 329459562 128008192 30504 33554432000 4194304 8989770 140734603743904 140734603743400 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 31252 30504 473 1171 0 30029 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 125008

[startup+1602.3 s]
/proc/loadavg: 2.07 2.02 1.92 3/177 17276
/proc/meminfo: memFree=30885020/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=128080 CPUtime=1602.01 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 35479 0 0 0 159726 475 0 0 20 0 1 0 329459562 131153920 31272 33554432000 4194304 8989770 140734603743904 140734603743400 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 32020 31272 473 1171 0 30797 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 128080

[startup+1662.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/177 17276
/proc/meminfo: memFree=30883904/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=128080 CPUtime=1662.01 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 35479 0 0 0 165709 492 0 0 20 0 1 0 329459562 131153920 31272 33554432000 4194304 8989770 140734603743904 140734603741824 4209382 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 32020 31272 473 1171 0 30797 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 128080

[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 1.92 3/177 17277
/proc/meminfo: memFree=30879436/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=128080 CPUtime=1721.99 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 35480 0 0 0 171693 506 0 0 20 0 1 0 329459562 131153920 31272 33554432000 4194304 8989770 140734603743904 140734603743400 7696030 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 32020 31272 473 1171 0 30797 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 128080

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.92 3/177 17277
/proc/meminfo: memFree=30870012/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=128080 CPUtime=1781.99 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 35480 0 0 0 177673 526 0 0 20 0 1 0 329459562 131153920 31272 33554432000 4194304 8989770 140734603743904 140734603743400 7857787 0 2 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 32020 31272 473 1171 0 30797 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 128080



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 1.92 1.98 1.91 2/175 17278
/proc/meminfo: memFree=30914444/32873648 swapFree=7628/7628
[pid=17238] ppid=17236 vsize=135248 CPUtime=1800.09 cores=1,3,5,7
/proc/17238/stat : 17238 (toysat) R 17236 17238 16985 0 -1 4202496 37272 0 0 0 179478 531 0 0 20 0 1 0 329459562 138493952 33064 33554432000 4194304 8989770 140734603743904 140734603743400 7953280 0 0 0 34082818 0 0 0 17 5 0 0 0 0 0
/proc/17238/statm: 33812 33064 473 1171 0 32589 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 135248

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

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

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1794.78
CPU system time (s): 5.31819
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 135248

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.78
system time used= 5.31819
maximum resident set size= 132256
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37272
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= 40
involuntary context switches= 1851

runsolver used 3.2915 second user time and 9.45456 second system time

The end

Launcher Data 

Begin job on node122 at 2012-06-02 12:35:36
IDJOB=3725018
IDBENCH=2055
IDSOLVER=2308
FILE ID=node122/3725018-1338633336
RUNJOBID= node122-1338631508-17002
PBS_JOBID= 14636458
Free space on /tmp= 71308 MiB

SOLVER NAME= toysat 2012-06-01
BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-rot.b.opb
COMMAND LINE= HOME/toysat +RTS -K1G -RTS --pb BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3725018-1338633336/watcher-3725018-1338633336 -o /tmp/evaluation-result-3725018-1338633336/solver-3725018-1338633336 -C 1800 -W 1900 -M 15500  HOME/toysat +RTS -K1G -RTS --pb HOME/instance-3725018-1338633336.opb

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

MD5SUM BENCH= 82ceb454755e01aa6cecb68eb859eaa6
RANDOM SEED=1252347267

node122.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.533
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.06
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.533
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.533
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	: 5332.04
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.533
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.533
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.533
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5438.54
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.533
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.533
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:       32873648 kB
MemFree:        31040224 kB
Buffers:          117132 kB
Cached:           939968 kB
SwapCached:         1816 kB
Active:           183960 kB
Inactive:         887536 kB
Active(anon):      14612 kB
Inactive(anon):     1928 kB
Active(file):     169348 kB
Inactive(file):   885608 kB
Unevictable:        7628 kB
Mlocked:            7628 kB
SwapTotal:      67108856 kB
SwapFree:       67100092 kB
Dirty:             15388 kB
Writeback:             0 kB
AnonPages:         19996 kB
Mapped:            10688 kB
Shmem:                 0 kB
Slab:             624384 kB
SReclaimable:      68416 kB
SUnreclaim:       555968 kB
KernelStack:        1464 kB
PageTables:         3696 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545680 kB
Committed_AS:     135440 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346400 kB
VmallocChunk:   34341988052 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7680 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71300 MiB
End job on node122 at 2012-06-02 13:05:38