Trace number 3712306

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.08 1800.61

General information on the benchmark

Name/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/
normalized-chnl30_35_pb.cnf.cr--soft-0-100-0.wbo
MD5SUM4968680d12488161e407b87be5e33fb1
Bench CategorySOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark7
Best CPU time to get the best result obtained on this benchmark0.628904
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables2100
Total number of constraints130
Number of soft constraints130
Number of constraints which are clauses70
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint30
Maximum length of a constraint35
Top cost 6361
Min constraint cost 1
Max constraint cost 99
Sum of constraints costs 6360
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 36
Number of bits of the biggest sum of numbers6
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.00/0.03	c 2012-05-29T18:59:35+0200
0.00/0.03	c arch = x86_64
0.00/0.03	c os = linux
0.00/0.03	c compiler = ghc 7.4
0.00/0.03	c packages:
0.00/0.03	c   OptDir-0.0.1
0.00/0.03	c   array-0.4.0.0
0.00/0.03	c   base-4.5.0.0
0.00/0.03	c   bytestring-0.9.2.1
0.00/0.03	c   containers-0.4.2.1
0.00/0.03	c   deepseq-1.3.0.0
0.00/0.03	c   mtl-2.1.1
0.00/0.03	c   old_locale-1.0.0.4
0.00/0.03	c   parse_dimacs-1.2
0.00/0.03	c   parsec-3.1.2
0.00/0.03	c   queue-0.1.2
0.00/0.03	c   stm-2.3
0.00/0.03	c   time-1.4
0.00/0.03	c command line = ["--wbo","HOME/instance-3712306-1338310775.wbo"]
0.00/0.03	c #vars 2100
0.00/0.03	c #constraints 130
0.00/0.03	c Solving starts ...
0.59/0.64	c solving time = 0.608s
0.59/0.64	c #decision = 2272
0.59/0.64	c #conflict = 382
0.59/0.64	c #restart = 2
0.59/0.64	o 102
0.59/0.64	c Solving starts ...
0.89/0.94	c solving time = 0.298s
0.89/0.94	c #decision = 4485
0.89/0.94	c #conflict = 490
0.89/0.94	c #restart = 3
0.89/0.94	o 100
0.89/0.94	c Solving starts ...
1.19/1.29	c solving time = 0.348s
1.19/1.29	c #decision = 7178
1.19/1.29	c #conflict = 624
1.19/1.29	c #restart = 4
1.19/1.29	o 51
1.19/1.29	c Solving starts ...
1.19/1.29	c solving time = 0.004s
1.19/1.29	c #decision = 8249
1.19/1.29	c #conflict = 624
1.19/1.29	c #restart = 4
1.19/1.29	o 49
1.19/1.29	c Solving starts ...
1.29/1.30	c solving time = 0.004s
1.29/1.30	c #decision = 9318
1.29/1.30	c #conflict = 624
1.29/1.30	c #restart = 4
1.29/1.30	o 28
1.29/1.30	c Solving starts ...
1.49/1.51	c solving time = 0.212s
1.49/1.51	c #decision = 11564
1.49/1.51	c #conflict = 724
1.49/1.51	c #restart = 5
1.49/1.51	o 13
1.49/1.51	c Solving starts ...
1.69/1.75	c solving time = 0.235s
1.69/1.75	c #decision = 13836
1.69/1.75	c #conflict = 854
1.69/1.75	c #restart = 6
1.69/1.75	o 10
1.69/1.75	c Solving starts ...
1.89/1.94	c learnt constraints deletion: 947 -> 474
2.69/2.72	c solving time = 0.973s
2.69/2.72	c #decision = 18031
2.69/2.72	c #conflict = 1332
2.69/2.72	c #restart = 9
2.69/2.72	o 8
2.69/2.72	c Solving starts ...
2.69/2.73	c solving time = 0.004s
2.69/2.73	c #decision = 18965
2.69/2.73	c #conflict = 1332
2.69/2.73	c #restart = 9
2.69/2.73	o 7
2.69/2.73	c Solving starts ...
2.89/2.94	c learnt constraints deletion: 949 -> 475
4.29/4.35	c learnt constraints deletion: 1185 -> 593
7.08/7.19	c learnt constraints deletion: 1859 -> 930
9.48/9.58	c learnt constraints deletion: 2071 -> 1036
14.68/14.75	c learnt constraints deletion: 2748 -> 1374
22.08/22.18	c learnt constraints deletion: 3851 -> 1940
22.48/22.54	c learnt constraints deletion: 2032 -> 1016
27.68/27.75	c learnt constraints deletion: 2988 -> 1508
31.88/32.00	c learnt constraints deletion: 2988 -> 1512
36.28/36.34	c learnt constraints deletion: 3163 -> 1592
40.47/40.55	c learnt constraints deletion: 3172 -> 1598
44.67/44.77	c learnt constraints deletion: 3166 -> 1597
48.37/48.49	c learnt constraints deletion: 2982 -> 1491
53.56/53.64	c learnt constraints deletion: 3364 -> 1689
59.27/59.40	c learnt constraints deletion: 3363 -> 1691
64.56/64.69	c learnt constraints deletion: 3361 -> 1691
69.86/69.97	c learnt constraints deletion: 3376 -> 1697
76.96/77.03	c learnt constraints deletion: 3469 -> 1735
78.46/78.53	c learnt constraints deletion: 2899 -> 1451
79.96/80.09	c learnt constraints deletion: 2954 -> 1479
81.06/81.19	c learnt constraints deletion: 2888 -> 1445
82.37/82.42	c learnt constraints deletion: 2913 -> 1459
83.56/83.61	c learnt constraints deletion: 2906 -> 1455
93.96/94.08	c learnt constraints deletion: 4601 -> 2305
103.26/103.36	c learnt constraints deletion: 4591 -> 2301
105.66/105.71	c learnt constraints deletion: 2890 -> 1445
115.55/115.60	c learnt constraints deletion: 4841 -> 2434
123.75/123.87	c learnt constraints deletion: 4793 -> 2414
132.64/132.71	c learnt constraints deletion: 4818 -> 2426
142.54/142.64	c learnt constraints deletion: 4829 -> 2432
150.54/150.61	c learnt constraints deletion: 4808 -> 2422
158.93/159.04	c learnt constraints deletion: 4817 -> 2429
167.52/167.65	c learnt constraints deletion: 4828 -> 2435
174.02/174.12	c learnt constraints deletion: 4222 -> 2111
184.22/184.31	c learnt constraints deletion: 4872 -> 2439
194.41/194.51	c learnt constraints deletion: 4864 -> 2437
203.81/203.99	c learnt constraints deletion: 4884 -> 2448
213.90/214.08	c learnt constraints deletion: 4876 -> 2444
224.70/224.86	c learnt constraints deletion: 4877 -> 2445
235.60/235.72	c learnt constraints deletion: 4874 -> 2443
246.50/246.61	c learnt constraints deletion: 4862 -> 2437
257.30/257.45	c learnt constraints deletion: 4872 -> 2442
267.79/267.97	c learnt constraints deletion: 4877 -> 2447
278.69/278.81	c learnt constraints deletion: 4866 -> 2440
289.59/289.73	c learnt constraints deletion: 4870 -> 2442
299.29/299.40	c learnt constraints deletion: 4660 -> 2330
306.88/307.06	c learnt constraints deletion: 5310 -> 2666
314.88/315.07	c learnt constraints deletion: 5305 -> 2666
323.19/323.36	c learnt constraints deletion: 5269 -> 2648
331.57/331.71	c learnt constraints deletion: 5261 -> 2645
339.28/339.41	c learnt constraints deletion: 5245 -> 2637
347.38/347.59	c learnt constraints deletion: 5294 -> 2661
355.57/355.73	c learnt constraints deletion: 5286 -> 2656
363.26/363.44	c learnt constraints deletion: 5273 -> 2654
370.96/371.12	c learnt constraints deletion: 5255 -> 2641
378.96/379.10	c learnt constraints deletion: 5277 -> 2654
387.07/387.24	c learnt constraints deletion: 5261 -> 2647
395.15/395.30	c learnt constraints deletion: 5266 -> 2649
403.16/403.37	c learnt constraints deletion: 5253 -> 2641
411.45/411.61	c learnt constraints deletion: 5253 -> 2641
419.45/419.67	c learnt constraints deletion: 5270 -> 2650
428.15/428.39	c learnt constraints deletion: 5252 -> 2643
433.84/434.04	c learnt constraints deletion: 4318 -> 2159
441.95/442.19	c learnt constraints deletion: 5143 -> 2577
449.84/450.03	c learnt constraints deletion: 5130 -> 2573
458.14/458.38	c learnt constraints deletion: 5123 -> 2568
466.24/466.46	c learnt constraints deletion: 5095 -> 2555
474.43/474.63	c learnt constraints deletion: 5086 -> 2550
483.03/483.27	c learnt constraints deletion: 5082 -> 2548
491.83/492.03	c learnt constraints deletion: 5049 -> 2531
500.92/501.13	c learnt constraints deletion: 5046 -> 2530
510.92/511.14	c learnt constraints deletion: 5055 -> 2535
520.91/521.12	c learnt constraints deletion: 5023 -> 2519
531.02/531.22	c learnt constraints deletion: 5023 -> 2521
541.61/541.83	c learnt constraints deletion: 5022 -> 2519
551.21/551.48	c learnt constraints deletion: 5054 -> 2535
561.01/561.20	c learnt constraints deletion: 5047 -> 2534
570.80/571.00	c learnt constraints deletion: 5014 -> 2515
580.70/580.95	c learnt constraints deletion: 5050 -> 2532
591.51/591.77	c learnt constraints deletion: 5058 -> 2537
601.79/602.08	c learnt constraints deletion: 5030 -> 2523
612.19/612.45	c learnt constraints deletion: 5044 -> 2531
622.58/622.82	c learnt constraints deletion: 5035 -> 2527
633.09/633.37	c learnt constraints deletion: 5048 -> 2533
643.08/643.34	c learnt constraints deletion: 5039 -> 2528
652.77/653.02	c learnt constraints deletion: 5030 -> 2526
663.17/663.40	c learnt constraints deletion: 5057 -> 2541
673.28/673.54	c learnt constraints deletion: 5049 -> 2534
683.47/683.78	c learnt constraints deletion: 5028 -> 2514
693.07/693.38	c learnt constraints deletion: 5967 -> 2987
702.36/702.67	c learnt constraints deletion: 5959 -> 2984
712.26/712.56	c learnt constraints deletion: 5975 -> 2993
721.96/722.20	c learnt constraints deletion: 5975 -> 2993
731.66/731.99	c learnt constraints deletion: 5971 -> 2991
742.35/742.67	c learnt constraints deletion: 5958 -> 2983
752.25/752.51	c learnt constraints deletion: 5970 -> 2990
762.25/762.51	c learnt constraints deletion: 5945 -> 2976
771.04/771.33	c learnt constraints deletion: 5953 -> 2982
781.13/781.42	c learnt constraints deletion: 5940 -> 2975
791.74/792.07	c learnt constraints deletion: 5995 -> 3004
802.83/803.12	c learnt constraints deletion: 5907 -> 2958
811.72/812.09	c learnt constraints deletion: 5984 -> 2998
821.12/821.48	c learnt constraints deletion: 5989 -> 3000
831.02/831.38	c learnt constraints deletion: 5938 -> 2974
840.72/841.06	c learnt constraints deletion: 5926 -> 2968
851.21/851.57	c learnt constraints deletion: 5956 -> 2984
862.12/862.40	c learnt constraints deletion: 5984 -> 2998
872.41/872.72	c learnt constraints deletion: 5967 -> 2990
883.30/883.66	c learnt constraints deletion: 5991 -> 3002
893.20/893.51	c learnt constraints deletion: 5953 -> 2985
903.70/904.05	c learnt constraints deletion: 5923 -> 2969
914.80/915.18	c learnt constraints deletion: 5984 -> 3000
925.09/925.48	c learnt constraints deletion: 5922 -> 2967
936.90/937.28	c learnt constraints deletion: 5977 -> 2996
946.49/946.88	c learnt constraints deletion: 5965 -> 2990
956.79/957.15	c learnt constraints deletion: 6011 -> 3016
967.59/968.00	c learnt constraints deletion: 5989 -> 3003
978.68/979.06	c learnt constraints deletion: 5949 -> 2983
989.88/990.25	c learnt constraints deletion: 5961 -> 2988
1002.17/1002.57	c learnt constraints deletion: 5984 -> 2997
1012.97/1013.30	c learnt constraints deletion: 6023 -> 3018
1023.07/1023.45	c learnt constraints deletion: 6084 -> 3042
1031.96/1032.35	c learnt constraints deletion: 6484 -> 3247
1042.06/1042.40	c learnt constraints deletion: 6488 -> 3252
1052.46/1052.81	c learnt constraints deletion: 6489 -> 3254
1062.45/1062.81	c learnt constraints deletion: 6457 -> 3237
1072.85/1073.20	c learnt constraints deletion: 6505 -> 3260
1083.26/1083.63	c learnt constraints deletion: 6491 -> 3253
1093.65/1094.05	c learnt constraints deletion: 6501 -> 3259
1103.95/1104.34	c learnt constraints deletion: 6525 -> 3270
1114.24/1114.62	c learnt constraints deletion: 6470 -> 3243
1125.54/1125.98	c learnt constraints deletion: 6462 -> 3242
1138.24/1138.68	c learnt constraints deletion: 6469 -> 3244
1150.63/1151.01	c learnt constraints deletion: 6476 -> 3246
1161.23/1161.69	c learnt constraints deletion: 6526 -> 3271
1172.23/1172.68	c learnt constraints deletion: 6504 -> 3260
1183.02/1183.49	c learnt constraints deletion: 6507 -> 3263
1194.33/1194.73	c learnt constraints deletion: 6488 -> 3252
1206.12/1206.57	c learnt constraints deletion: 6460 -> 3239
1217.11/1217.55	c learnt constraints deletion: 6476 -> 3247
1228.61/1229.05	c learnt constraints deletion: 6506 -> 3261
1239.11/1239.52	c learnt constraints deletion: 6508 -> 3263
1249.81/1250.20	c learnt constraints deletion: 6478 -> 3250
1261.70/1262.13	c learnt constraints deletion: 6508 -> 3264
1272.79/1273.22	c learnt constraints deletion: 6503 -> 3262
1285.00/1285.50	c learnt constraints deletion: 6477 -> 3249
1297.39/1297.80	c learnt constraints deletion: 6487 -> 3253
1311.09/1311.58	c learnt constraints deletion: 6491 -> 3254
1327.08/1327.51	c learnt constraints deletion: 6478 -> 3249
1341.78/1342.27	c learnt constraints deletion: 6471 -> 3245
1360.07/1360.55	c learnt constraints deletion: 6449 -> 3234
1378.77/1379.29	c learnt constraints deletion: 6469 -> 3245
1395.07/1395.59	c learnt constraints deletion: 6450 -> 3234
1411.66/1412.10	c learnt constraints deletion: 6492 -> 3256
1427.26/1427.73	c learnt constraints deletion: 6478 -> 3249
1446.06/1446.54	c learnt constraints deletion: 6504 -> 3261
1463.95/1464.42	c learnt constraints deletion: 6490 -> 3255
1485.55/1486.07	c learnt constraints deletion: 6449 -> 3236
1504.53/1505.00	c learnt constraints deletion: 6503 -> 3262
1528.83/1529.33	c learnt constraints deletion: 6447 -> 3234
1554.12/1554.66	c learnt constraints deletion: 6453 -> 3238
1573.52/1574.10	c learnt constraints deletion: 6502 -> 3261
1590.71/1591.29	c learnt constraints deletion: 6507 -> 3262
1605.30/1605.88	c learnt constraints deletion: 6449 -> 3233
1621.50/1622.03	c learnt constraints deletion: 6497 -> 3257
1633.60/1634.14	c learnt constraints deletion: 6468 -> 3242
1646.40/1646.97	c learnt constraints deletion: 6927 -> 3473
1653.59/1654.17	c learnt constraints deletion: 5573 -> 2787
1667.69/1668.21	c learnt constraints deletion: 6416 -> 3216
1682.40/1682.90	c learnt constraints deletion: 6423 -> 3222
1697.98/1698.55	c learnt constraints deletion: 6407 -> 3213
1710.68/1711.21	c learnt constraints deletion: 6409 -> 3215
1722.47/1723.00	c learnt constraints deletion: 6405 -> 3213
1732.98/1733.55	c learnt constraints deletion: 6401 -> 3211
1744.17/1744.76	c learnt constraints deletion: 6953 -> 3490
1756.37/1756.98	c learnt constraints deletion: 6956 -> 3496
1769.27/1769.88	c learnt constraints deletion: 6903 -> 3469
1782.16/1782.73	c learnt constraints deletion: 6946 -> 3490
1795.15/1795.78	c learnt constraints deletion: 6923 -> 3479

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-3712306-1338310775/watcher-3712306-1338310775 -o /tmp/evaluation-result-3712306-1338310775/solver-3712306-1338310775 -C 1800 -W 1900 -M 15500 HOME/toysat --wbo HOME/instance-3712306-1338310775.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: 0.00 0.00 0.88 1/171 12128
/proc/meminfo: memFree=30492652/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=6208 CPUtime=0 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 798 0 0 0 0 0 0 0 20 0 1 0 297203206 6356992 719 33554432000 4194304 8973514 140736934064352 140736118086376 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 1552 719 422 1167 0 333 0

[startup+0.033785 s]
/proc/loadavg: 0.00 0.00 0.88 1/171 12128
/proc/meminfo: memFree=30492652/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=8256 CPUtime=0.03 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 1372 0 0 0 3 0 0 0 20 0 1 0 297203206 8454144 1293 33554432000 4194304 8973514 140736934064352 140736118086376 7732815 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 2064 1293 452 1167 0 845 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 8256

[startup+0.100216 s]
/proc/loadavg: 0.00 0.00 0.88 1/171 12128
/proc/meminfo: memFree=30492652/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=9280 CPUtime=0.09 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 1482 0 0 0 9 0 0 0 20 0 1 0 297203206 9502720 1403 33554432000 4194304 8973514 140736934064352 140736118086376 7688592 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 2320 1403 452 1167 0 1101 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9280

[startup+0.300179 s]
/proc/loadavg: 0.00 0.00 0.88 1/171 12128
/proc/meminfo: memFree=30492652/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=10304 CPUtime=0.29 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 1657 0 0 0 29 0 0 0 20 0 1 0 297203206 10551296 1578 33554432000 4194304 8973514 140736934064352 140736934063848 7717887 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 2576 1578 452 1167 0 1357 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 10304

[startup+0.70018 s]
/proc/loadavg: 0.00 0.00 0.88 1/171 12128
/proc/meminfo: memFree=30492652/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=11328 CPUtime=0.68 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 2150 0 0 0 68 0 0 0 20 0 1 0 297203206 11599872 2071 33554432000 4194304 8973514 140736934064352 140736934047448 6817212 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 2832 2071 462 1167 0 1613 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 11328

[startup+1.50019 s]
/proc/loadavg: 0.00 0.00 0.88 3/177 12143
/proc/meminfo: memFree=30467980/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=12352 CPUtime=1.49 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 2407 0 0 0 148 1 0 0 20 0 1 0 297203206 12648448 2328 33554432000 4194304 8973514 140736934064352 140736934063848 7732856 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 3088 2328 463 1167 0 1869 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 12352

[startup+3.10018 s]
/proc/loadavg: 0.00 0.00 0.88 3/177 12143
/proc/meminfo: memFree=30461656/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=14400 CPUtime=3.09 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 2920 0 0 0 307 2 0 0 20 0 1 0 297203206 14745600 2841 33554432000 4194304 8973514 140736934064352 140736934063848 7732532 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 3600 2841 464 1167 0 2381 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 14400

[startup+6.30018 s]
/proc/loadavg: 0.16 0.03 0.89 3/177 12143
/proc/meminfo: memFree=30454836/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=17472 CPUtime=6.29 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 3688 0 0 0 625 4 0 0 20 0 1 0 297203206 17891328 3609 33554432000 4194304 8973514 140736934064352 140736934063848 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 4368 3609 464 1167 0 3149 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 17472

[startup+12.7002 s]
/proc/loadavg: 0.31 0.07 0.89 3/177 12143
/proc/meminfo: memFree=30433772/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=26688 CPUtime=12.68 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 5992 0 0 0 1261 7 0 0 20 0 1 0 297203206 27328512 5913 33554432000 4194304 8973514 140736934064352 140736934063848 7732422 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 6672 5913 464 1167 0 5453 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 26688

[startup+25.5002 s]
/proc/loadavg: 0.68 0.16 0.91 3/177 12143
/proc/meminfo: memFree=30404764/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=40000 CPUtime=25.48 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 9320 0 0 0 2533 15 0 0 20 0 1 0 297203206 40960000 9241 33554432000 4194304 8973514 140736934064352 140736934063848 6576209 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 10000 9241 464 1167 0 8781 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 40000

[startup+51.1002 s]
/proc/loadavg: 1.13 0.31 0.94 3/178 12147
/proc/meminfo: memFree=30393240/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=43072 CPUtime=51.07 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 10096 0 0 0 5080 27 0 0 20 0 1 0 297203206 44105728 10009 33554432000 4194304 8973514 140736934064352 140736934063616 4545576 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 10768 10009 464 1167 0 9549 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 43072

[startup+102.306 s]
/proc/loadavg: 1.62 0.56 0.99 3/178 12170
/proc/meminfo: memFree=30331924/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=66624 CPUtime=102.25 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 16584 0 0 0 10172 53 0 0 20 0 1 0 297203206 68222976 15729 33554432000 4194304 8973514 140736934064352 140736934063848 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 16656 15729 464 1167 0 15437 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 66624

[startup+162.3 s]
/proc/loadavg: 1.86 0.82 1.05 3/177 12170
/proc/meminfo: memFree=30279644/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=73792 CPUtime=162.22 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 23930 0 0 0 16139 83 0 0 20 0 1 0 297203206 75563008 17689 33554432000 4194304 8973514 140736934064352 140736934063848 7732355 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 18448 17689 464 1167 0 17229 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 73792

[startup+222.3 s]
/proc/loadavg: 1.95 1.04 1.11 3/177 12170
/proc/meminfo: memFree=30262336/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=66624 CPUtime=222.2 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 25469 0 0 0 22108 112 0 0 20 0 1 0 297203206 68222976 15897 33554432000 4194304 8973514 140736934064352 140736934063848 7716764 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 16656 15897 464 1167 0 15437 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 66624

[startup+282.3 s]
/proc/loadavg: 1.98 1.21 1.16 3/177 12170
/proc/meminfo: memFree=30234712/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=66624 CPUtime=282.19 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 25725 0 0 0 28077 142 0 0 20 0 1 0 297203206 68222976 15897 33554432000 4194304 8973514 140736934064352 140736934063848 4462785 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 16656 15897 464 1167 0 15437 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 66624

[startup+342.3 s]
/proc/loadavg: 1.99 1.35 1.21 3/177 12171
/proc/meminfo: memFree=30218164/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=70720 CPUtime=342.18 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 27517 0 0 0 34045 173 0 0 20 0 1 0 297203206 72417280 16921 33554432000 4194304 8973514 140736934064352 140736934063848 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 17680 16921 464 1167 0 16461 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 70720

[startup+402.3 s]
/proc/loadavg: 1.99 1.47 1.26 3/177 12171
/proc/meminfo: memFree=30212136/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=71744 CPUtime=402.16 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 27777 0 0 0 40013 203 0 0 20 0 1 0 297203206 73465856 17177 33554432000 4194304 8973514 140736934064352 140736934063848 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 17936 17177 464 1167 0 16717 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 71744

[startup+462.3 s]
/proc/loadavg: 2.05 1.58 1.31 3/177 12171
/proc/meminfo: memFree=30209036/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=74816 CPUtime=462.13 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 28801 0 0 0 45980 233 0 0 20 0 1 0 297203206 76611584 17945 33554432000 4194304 8973514 140736934064352 140736934063848 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 18704 17945 464 1167 0 17485 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 74816

[startup+522.3 s]
/proc/loadavg: 2.02 1.65 1.35 3/177 12171
/proc/meminfo: memFree=30205052/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=78912 CPUtime=522.11 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 29825 0 0 0 51948 263 0 0 20 0 1 0 297203206 80805888 18969 33554432000 4194304 8973514 140736934064352 140736934063848 7720541 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 19728 18969 464 1167 0 18509 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 78912

[startup+582.3 s]
/proc/loadavg: 2.00 1.71 1.39 3/177 12171
/proc/meminfo: memFree=30188552/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=80960 CPUtime=582.1 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 30337 0 0 0 57916 294 0 0 20 0 1 0 297203206 82903040 19481 33554432000 4194304 8973514 140736934064352 140736934063616 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 20240 19481 464 1167 0 19021 0
Current children cumulated CPU time (s) 582.1
Current children cumulated vsize (KiB) 80960

[startup+642.3 s]

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

[startup+822.3 s]
/proc/loadavg: 2.00 1.86 1.51 3/177 12175
/proc/meminfo: memFree=30155532/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=106560 CPUtime=822.03 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 37257 0 0 0 81796 407 0 0 20 0 1 0 297203206 109117440 25881 33554432000 4194304 8973514 140736934064352 140736934063848 7841851 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 26640 25881 464 1167 0 25421 0
Current children cumulated CPU time (s) 822.03
Current children cumulated vsize (KiB) 106560

[startup+882.3 s]
/proc/loadavg: 2.05 1.90 1.55 3/177 12175
/proc/meminfo: memFree=30155532/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=106560 CPUtime=882 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 37257 0 0 0 87767 433 0 0 20 0 1 0 297203206 109117440 25881 33554432000 4194304 8973514 140736934064352 140736934062336 7732815 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 26640 25881 464 1167 0 25421 0
Current children cumulated CPU time (s) 882
Current children cumulated vsize (KiB) 106560

[startup+942.3 s]
/proc/loadavg: 2.07 1.93 1.58 3/177 12175
/proc/meminfo: memFree=30155772/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=106560 CPUtime=941.99 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 37257 0 0 0 93737 462 0 0 20 0 1 0 297203206 109117440 25881 33554432000 4194304 8973514 140736934064352 140736934063848 7716760 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 26640 25881 464 1167 0 25421 0
Current children cumulated CPU time (s) 941.99
Current children cumulated vsize (KiB) 106560

[startup+1002.3 s]
/proc/loadavg: 2.03 1.94 1.60 3/177 12176
/proc/meminfo: memFree=30147828/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=106560 CPUtime=1001.97 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 37257 0 0 0 99709 488 0 0 20 0 1 0 297203206 109117440 25881 33554432000 4194304 8973514 140736934064352 140736934063848 4209198 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 26640 25881 464 1167 0 25421 0
Current children cumulated CPU time (s) 1001.97
Current children cumulated vsize (KiB) 106560

[startup+1062.3 s]
/proc/loadavg: 2.01 1.95 1.62 3/177 12176
/proc/meminfo: memFree=30128732/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=108608 CPUtime=1061.96 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 37769 0 0 0 105679 517 0 0 20 0 1 0 297203206 111214592 26393 33554432000 4194304 8973514 140736934064352 140736934063848 4439792 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 27152 26393 464 1167 0 25933 0
Current children cumulated CPU time (s) 1061.96
Current children cumulated vsize (KiB) 108608

[startup+1122.3 s]
/proc/loadavg: 2.00 1.95 1.64 3/177 12176
/proc/meminfo: memFree=30111000/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=108608 CPUtime=1121.94 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 37769 0 0 0 111647 547 0 0 20 0 1 0 297203206 111214592 26393 33554432000 4194304 8973514 140736934064352 140736934063848 4209272 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 27152 26393 464 1167 0 25933 0
Current children cumulated CPU time (s) 1121.94
Current children cumulated vsize (KiB) 108608

[startup+1182.3 s]
/proc/loadavg: 2.00 1.96 1.66 3/177 12176
/proc/meminfo: memFree=30110276/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=108608 CPUtime=1181.92 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 37769 0 0 0 117615 577 0 0 20 0 1 0 297203206 111214592 26393 33554432000 4194304 8973514 140736934064352 140736934063848 4415701 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 27152 26393 464 1167 0 25933 0
Current children cumulated CPU time (s) 1181.92
Current children cumulated vsize (KiB) 108608

[startup+1242.3 s]
/proc/loadavg: 2.00 1.97 1.68 3/178 12179
/proc/meminfo: memFree=30109028/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=109632 CPUtime=1241.91 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 38025 0 0 0 123586 605 0 0 20 0 1 0 297203206 112263168 26649 33554432000 4194304 8973514 140736934064352 140736934063848 4415016 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 27408 26649 464 1167 0 26189 0
Current children cumulated CPU time (s) 1241.91
Current children cumulated vsize (KiB) 109632

[startup+1302.3 s]
/proc/loadavg: 2.00 1.97 1.70 3/177 12180
/proc/meminfo: memFree=30109096/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=109632 CPUtime=1301.89 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 38026 0 0 0 129552 637 0 0 20 0 1 0 297203206 112263168 26649 33554432000 4194304 8973514 140736934064352 140736934063848 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 27408 26649 464 1167 0 26189 0
Current children cumulated CPU time (s) 1301.89
Current children cumulated vsize (KiB) 109632

[startup+1362.3 s]
/proc/loadavg: 2.06 1.99 1.72 3/177 12180
/proc/meminfo: memFree=30109096/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=109632 CPUtime=1361.88 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 38026 0 0 0 135523 665 0 0 20 0 1 0 297203206 112263168 26649 33554432000 4194304 8973514 140736934064352 140736934063848 4209142 0 2 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 27408 26649 464 1167 0 26189 0
Current children cumulated CPU time (s) 1361.88
Current children cumulated vsize (KiB) 109632

[startup+1422.31 s]
/proc/loadavg: 2.02 1.99 1.73 3/177 12180
/proc/meminfo: memFree=30109096/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=109632 CPUtime=1421.86 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 38026 0 0 0 141493 693 0 0 20 0 1 0 297203206 112263168 26649 33554432000 4194304 8973514 140736934064352 140736934063848 6661586 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 27408 26649 464 1167 0 26189 0
Current children cumulated CPU time (s) 1421.86
Current children cumulated vsize (KiB) 109632

[startup+1482.3 s]
/proc/loadavg: 2.00 1.99 1.75 3/177 12180
/proc/meminfo: memFree=30105004/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=113728 CPUtime=1481.84 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 39050 0 0 0 147465 719 0 0 20 0 1 0 297203206 116457472 27673 33554432000 4194304 8973514 140736934064352 140736934063616 4415759 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 28432 27673 464 1167 0 27213 0
Current children cumulated CPU time (s) 1481.84
Current children cumulated vsize (KiB) 113728

[startup+1542.3 s]
/proc/loadavg: 2.00 1.99 1.76 3/177 12180
/proc/meminfo: memFree=30103200/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=115776 CPUtime=1541.83 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 39565 0 0 0 153441 742 0 0 20 0 1 0 297203206 118554624 28185 33554432000 4194304 8973514 140736934064352 140736934063848 7731297 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 28944 28185 464 1167 0 27725 0
Current children cumulated CPU time (s) 1541.83
Current children cumulated vsize (KiB) 115776

[startup+1602.3 s]
/proc/loadavg: 2.00 1.99 1.77 3/177 12181
/proc/meminfo: memFree=30103200/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=116800 CPUtime=1601.81 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 39767 0 0 0 159408 773 0 0 20 0 1 0 297203206 119603200 28387 33554432000 4194304 8973514 140736934064352 140736934063848 7720752 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 29200 28387 464 1167 0 27981 0
Current children cumulated CPU time (s) 1601.81
Current children cumulated vsize (KiB) 116800

[startup+1662.3 s]
/proc/loadavg: 2.00 1.99 1.78 3/178 12182
/proc/meminfo: memFree=30107040/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=111680 CPUtime=1661.79 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 40077 0 0 0 165378 801 0 0 20 0 1 0 297203206 114360320 27161 33554432000 4194304 8973514 140736934064352 140736934063848 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 27920 27161 464 1167 0 26701 0
Current children cumulated CPU time (s) 1661.79
Current children cumulated vsize (KiB) 111680

[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.79 3/177 12182
/proc/meminfo: memFree=30111140/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=107584 CPUtime=1721.78 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 40077 0 0 0 171345 833 0 0 20 0 1 0 297203206 110166016 26137 33554432000 4194304 8973514 140736934064352 140736934063848 4415744 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 26896 26137 464 1167 0 25677 0
Current children cumulated CPU time (s) 1721.78
Current children cumulated vsize (KiB) 107584

[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.81 3/177 12182
/proc/meminfo: memFree=30103876/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=114752 CPUtime=1781.76 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 41870 0 0 0 177311 865 0 0 20 0 1 0 297203206 117506048 27929 33554432000 4194304 8973514 140736934064352 140736934063848 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 28688 27929 464 1167 0 27469 0
Current children cumulated CPU time (s) 1781.76
Current children cumulated vsize (KiB) 114752



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.6 s]
/proc/loadavg: 2.00 1.99 1.81 2/176 12183
/proc/meminfo: memFree=30371728/32873844 swapFree=7112/7112
[pid=12128] ppid=12126 vsize=114752 CPUtime=1800.06 cores=0,2,4,6
/proc/12128/stat : 12128 (toysat) R 12126 12128 12098 0 -1 4202496 41870 0 0 0 179133 873 0 0 20 0 1 0 297203206 117506048 27929 33554432000 4194304 8973514 140736934064352 140736934063848 7937344 0 0 0 34082818 0 0 0 17 0 0 0 0 0 0
/proc/12128/statm: 28688 27929 464 1167 0 27469 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 114752

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.61
CPU time (s): 1800.08
CPU user time (s): 1791.34
CPU system time (s): 8.73667
CPU usage (%): 99.9702
Max. virtual memory (cumulated for all children) (KiB): 117824

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1791.34
system time used= 8.73667
maximum resident set size= 114788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41870
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= 41
involuntary context switches= 2670

runsolver used 3.20151 second user time and 8.33373 second system time

The end

Launcher Data 

Begin job on node119 at 2012-05-29 18:59:35
IDJOB=3712306
IDBENCH=79161
IDSOLVER=2291
FILE ID=node119/3712306-1338310775
RUNJOBID= node119-1338310775-12114
PBS_JOBID= 14632127
Free space on /tmp= 71312 MiB

SOLVER NAME= toysat 2012-05-17
BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB05/aloul/FPGA_SAT05/normalized-chnl30_35_pb.cnf.cr--soft-0-100-0.wbo
COMMAND LINE= HOME/toysat --wbo BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3712306-1338310775/watcher-3712306-1338310775 -o /tmp/evaluation-result-3712306-1338310775/solver-3712306-1338310775 -C 1800 -W 1900 -M 15500  HOME/toysat --wbo HOME/instance-3712306-1338310775.wbo

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

MD5SUM BENCH= 4968680d12488161e407b87be5e33fb1
RANDOM SEED=1090792981

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.943
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5331.91
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32873844 kB
MemFree:        30492652 kB
Buffers:          353772 kB
Cached:          1219120 kB
SwapCached:         1920 kB
Active:           869912 kB
Inactive:         709360 kB
Active(anon):       6584 kB
Inactive(anon):     2164 kB
Active(file):     863328 kB
Inactive(file):   707196 kB
Unevictable:        7112 kB
Mlocked:            7112 kB
SwapTotal:      67108856 kB
SwapFree:       67100216 kB
Dirty:              7504 kB
Writeback:             0 kB
AnonPages:         11960 kB
Mapped:            10988 kB
Shmem:                 8 kB
Slab:             662116 kB
SReclaimable:     104460 kB
SUnreclaim:       557656 kB
KernelStack:        1392 kB
PageTables:         3776 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545776 kB
Committed_AS:     104100 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346368 kB
VmallocChunk:   34341987984 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71296 MiB
End job on node119 at 2012-05-29 19:29:38