Trace number 4119678

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 2016-05-02? (TO) 1800.1 1800.43

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-BIGINT-LIN/pbfvmc-formulae/
pbfvmc-formulae/hw256/normalized-hw256-vm99p-dec.opb.negationfix.opb
MD5SUMd25bd82840be3a50f1ffd25ce2294d81
Bench CategoryDEC-BIGINT-LIN (no optimisation, big integers, linear constraints)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables685824
Total number of constraints5870
Number of constraints which are clauses2678
Number of constraints which are cardinality constraints (but not clauses)2678
Number of constraints which are nor clauses,nor cardinality constraints514
Minimum length of a constraint256
Maximum length of a constraint2679
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 962884
Number of bits of the biggest number in a constraint 20
Biggest sum of numbers in a constraint 2177919
Number of bits of the biggest sum of numbers22
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-30T10:36:50+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4119678-1467275808.opb"]
0.00/0.01	c use --random-gen="1005280179 1182255325 1279934809 3606746034 1601719001 2033596665 3588211373 3792143689 3968197135 3238774960 2933376006 893776659 207087216 1423951626 2171720405 376400900 3052727838 2748067748 609854376 1391503836 1721205898 4198363457 3540014633 3292023654 2926920907 3831976558 3813718127 3188788772 1259343955 2561820692 4076216463 2007517659 1895167052 907003975 4022630975 3760051045 2815303685 3995389557 2300794136 250732084 2305436683 411442299 657093207 1684451862 111689780 119287167 3380753240 3001037780 778336432 1144344144 1287538170 2175188729 1810559789 1886020950 2913466799 3745270953 1330778931 4155848483 3884093089 2985232229 2582841615 2119294415 2323741171 1646914069 2555561967 2316513299 614418908 2215657811 829821365 3984612672 3280983217 821765398 2003747689 3812719260 705612044 2645559790 3401416562 3115826273 1606130102 421174754 3143087071 3546255577 2608636474 1248575555 2180549888 1530670139 4036294709 968785324 355036276 23582351 3487359573 3945188725 3287131277 4224755396 2781072705 236290042 4098279916 2245412882 1084023750 4105278309 2379323674 3987903784 766773968 1727428371 1503703786 2439649225 3221184827 3219817918 3839878911 3004097628 509307493 1432368731 1393144092 3632791608 2000651443 2872778200 3211020996 346589302 1668114770 620537081 1638079061 1055733182 888411037 827612535 2693329857 3253097594 3428185702 2911554043 2748531285 1243526547 179266456 816106158 1387864456 2575415508 3533658739 295234197 2511589853 1878490916 2010728387 4160367892 2518500979 2132331822 476246189 1481779958 3467774455 1395052289 364165412 2338448885 321409932 1479247245 1263549085 3595785763 1683891842 4122230188 33459348 701554283 869528279 2599874472 3690351891 837425385 4119139748 1112289181 2682069976 2037845068 3253277661 2345891432 1167884808 2328608173 2828707609 4103896653 2396686477 2174495849 1875127666 2169148200 1224195643 3743305744 3170266105 1073090890 3158889051 2439001184 34350735 2737906381 1419053073 871287868 1439126079 2143891253 3716177764 4106051464 4078039712 3764478363 2393023817 3001869996 649427222 2613438333 3587511495 3834357730 3765519793 4035663311 1362949431 4179895759 1836622068 2088046954 1076350649 1853561783 142931466 668426536 474430764 755468578 3040254191 2918907779 1847618833 4067147664 2836534495 2391788126 2444481839 4074482304 3428968451 4189241972 2508077352 928334385 2778989418 328889883 3764360398 1330035916 1428089193 3818061209 2661075773 574202396 3422822060 580707341 52466396 613225664 4115799859 4185912080 2028380834 873260989 1569169099 3073304988 3309066637 2672511048 3548210819 3470403120 1432034518 3179506053 2831514563 1479675691 15436885 2201314385 1864204499 3490718737 285906451 3740285284 4294502785 3015270271 233873433 2624897573 255 362436" option to reproduce the execution
4.79/4.85	c #vars 685824
4.79/4.85	c #constraints 5870
15.08/15.15	c Solving starts ...
15.08/15.15	c ============================[ Search Statistics ]============================
15.08/15.15	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
15.08/15.15	c       |         |          |          |    Limit     GC | Var      | Constra 
15.08/15.15	c =============================================================================
15.08/15.15	c  0.0s |       0 |        0 |        0 |   230564      0 |     1474 |        0
22.19/22.20	c  7.0s |       0 |     2575 |      100 |   230564      0 |     1474 |        0
22.59/22.62	c  7.5s |       1 |     2575 |      100 |   230564      0 |     1474 |        0
35.08/35.15	c 20.0s |       1 |    23223 |      200 |   253621      0 |     1474 |        0
40.29/40.30	c 25.2s |       2 |    23286 |      250 |   253621      0 |     1474 |        0
52.78/52.88	c 37.7s |       2 |    86976 |      350 |   278984      0 |     1474 |        0
65.78/65.80	c 50.7s |       2 |    87091 |      450 |   278984      0 |     1474 |        0
68.68/68.75	c 53.6s |       3 |    87110 |      475 |   278984      0 |     1474 |        0
79.27/79.33	c 64.2s |       3 |   176681 |      575 |   306883      0 |     1474 |        0
89.57/89.62	c 74.5s |       3 |   176816 |      675 |   306883      0 |     1474 |        0
98.77/98.86	c 83.7s |       3 |   176949 |      775 |   306883      0 |     1474 |        0
103.37/103.44	c 88.3s |       4 |   176995 |      813 |   306883      0 |     1474 |        0
114.07/114.15	c 99.0s |       4 |   306352 |      913 |   337572      0 |     1474 |        0
125.67/125.72	c  110s |       4 |   306473 |     1013 |   337572      0 |     1474 |        0
136.56/136.69	c  121s |       4 |   306583 |     1113 |   337572      0 |     1474 |        0
148.87/148.90	c  133s |       4 |   306720 |     1213 |   337572      0 |     1474 |        0
160.17/160.21	c  145s |       4 |   306824 |     1313 |   337572      0 |     1474 |        0
161.36/161.44	c  146s |       5 |   306835 |     1320 |   337572      0 |     1474 |        0
166.77/166.82	c  151s |       5 |   455668 |     1420 |   371330      0 |     1474 |        0
170.26/170.39	c  155s |       5 |   455780 |     1520 |   371330      0 |     1474 |        0
174.26/174.31	c  159s |       5 |   455878 |     1620 |   371330      0 |     1474 |        0
178.66/178.70	c  163s |       5 |   455990 |     1720 |   371330      0 |     1474 |        0
182.56/182.63	c  167s |       5 |   456098 |     1820 |   371330      0 |     1474 |        0
186.66/186.78	c  171s |       5 |   456201 |     1920 |   371330      0 |     1474 |        0
190.46/190.58	c  175s |       5 |   456304 |     2020 |   371330      0 |     1474 |        0
193.35/193.43	c  178s |       6 |   456374 |     2081 |   408464      0 |     1474 |        0
205.05/205.10	c  189s |       6 |   635053 |     2181 |   408464      0 |     1474 |        0
214.25/214.33	c  199s |       6 |   635161 |     2281 |   408464      0 |     1474 |        0
226.26/226.36	c  211s |       6 |   635274 |     2381 |   408464      0 |     1474 |        0
239.55/239.65	c  224s |       6 |   635384 |     2481 |   408464      0 |     1474 |        0
252.65/252.70	c  237s |       6 |   635497 |     2581 |   408464      0 |     1474 |        0
265.84/265.98	c  250s |       6 |   635604 |     2681 |   408464      0 |     1474 |        0
279.14/279.25	c  264s |       6 |   635713 |     2781 |   408464      0 |     1474 |        0
293.34/293.49	c  278s |       6 |   635813 |     2881 |   408464      0 |     1474 |        0
306.03/306.11	c  290s |       6 |   635935 |     2981 |   408464      0 |     1474 |        0
322.44/322.55	c  307s |       6 |   636052 |     3081 |   408464      0 |     1474 |        0
339.03/339.13	c  323s |       6 |   636150 |     3181 |   408464      0 |     1474 |        0
345.53/345.69	c  330s |       7 |   636190 |     3223 |   449311      0 |     1474 |        0
358.92/359.00	c  343s |       7 |   825761 |     3323 |   449311      0 |     1474 |        0
372.43/372.53	c  357s |       7 |   825871 |     3423 |   449311      0 |     1474 |        0
384.53/384.63	c  369s |       7 |   825998 |     3523 |   449311      0 |     1474 |        0
393.72/393.82	c  378s |       7 |   826108 |     3623 |   449311      0 |     1474 |        0
403.72/403.80	c  388s |       7 |   826227 |     3723 |   449311      0 |     1474 |        0
414.42/414.58	c  399s |       7 |   826338 |     3823 |   449311      0 |     1474 |        0
426.01/426.10	c  410s |       7 |   826442 |     3923 |   449311      0 |     1474 |        0
439.31/439.43	c  424s |       7 |   826570 |     4023 |   449311      0 |     1474 |        0
452.30/452.41	c  437s |       7 |   826679 |     4123 |   449311      0 |     1474 |        0
461.90/462.00	c  446s |       7 |   826777 |     4223 |   449311      0 |     1474 |        0
473.62/473.72	c  458s |       7 |   826885 |     4323 |   449311      0 |     1474 |        0
484.30/484.41	c  469s |       7 |   827000 |     4423 |   449311      0 |     1474 |        0
496.30/496.40	c  481s |       7 |   827105 |     4523 |   449311      0 |     1474 |        0
506.61/506.74	c  491s |       7 |   827213 |     4623 |   449311      0 |     1474 |        0
521.80/521.95	c  506s |       7 |   827326 |     4723 |   449311      0 |     1474 |        0
543.19/543.39	c  528s |       7 |   827438 |     4823 |   449311      0 |     1474 |        0
563.79/563.92	c  548s |       7 |   827553 |     4923 |   494243      0 |     1474 |        0
566.49/566.65	c  551s |       8 |   827565 |     4936 |   494243      0 |     1474 |        0
578.89/579.07	c  563s |       8 |  1026855 |     5036 |   494243      0 |     1474 |        0
591.69/591.89	c  576s |       8 |  1026972 |     5136 |   494243      0 |     1474 |        0
604.09/604.29	c  589s |       8 |  1027081 |     5236 |   494243      0 |     1474 |        0
617.88/618.03	c  602s |       8 |  1027196 |     5336 |   494243      0 |     1474 |        0
630.08/630.20	c  615s |       8 |  1027320 |     5436 |   494243      0 |     1474 |        0
642.08/642.28	c  627s |       8 |  1027439 |     5536 |   494243      0 |     1474 |        0
655.17/655.36	c  640s |       8 |  1027551 |     5636 |   494243      0 |     1474 |        0
668.18/668.31	c  653s |       8 |  1027684 |     5736 |   494243      0 |     1474 |        0
683.27/683.44	c  668s |       8 |  1027797 |     5836 |   494243      0 |     1474 |        0
695.77/695.97	c  680s |       8 |  1027900 |     5936 |   494243      0 |     1474 |        0
709.66/709.88	c  694s |       8 |  1028006 |     6036 |   494243      0 |     1474 |        0
724.16/724.35	c  709s |       8 |  1028145 |     6136 |   494243      0 |     1474 |        0
736.56/736.76	c  721s |       8 |  1028345 |     6236 |   494243      0 |     1474 |        0
748.56/748.78	c  733s |       8 |  1028615 |     6336 |   494243      0 |     1474 |        0
767.45/767.63	c  752s |       8 |  1028755 |     6436 |   494243      0 |     1474 |        0
788.25/788.47	c  773s |       8 |  1028904 |     6536 |   494243      0 |     1474 |        0
807.35/807.50	c  792s |       8 |  1029100 |     6636 |   494243      0 |     1474 |        0
830.55/830.72	c  815s |       8 |  1029240 |     6736 |   494243      0 |     1474 |        0
851.74/852.00	c  836s |       8 |  1029351 |     6836 |   494243      0 |     1474 |        0
868.14/868.36	c  853s |       8 |  1029494 |     6936 |   494243      0 |     1474 |        0
890.13/890.31	c  875s |       8 |  1029604 |     7036 |   494243      0 |     1474 |        0
914.73/914.94	c  899s |       8 |  1029749 |     7136 |   494243      0 |     1474 |        0
937.73/937.90	c  922s |       8 |  1029853 |     7236 |   494243      0 |     1474 |        0
967.42/967.61	c  952s |       8 |  1029971 |     7336 |   494243      0 |     1474 |        0
991.91/992.14	c  976s |       8 |  1030129 |     7436 |   494243      0 |     1474 |        0
1014.31/1014.54	c  999s |       9 |  1030220 |     7506 |   543668      0 |     1474 |        0
1033.41/1033.62	c 1018s |       9 |  1206022 |     7606 |   543668      0 |     1474 |        0
1054.89/1055.11	c 1039s |       9 |  1206179 |     7706 |   543668      0 |     1474 |        0
1066.79/1067.06	c 1051s |       9 |  1206401 |     7806 |   543668      0 |     1474 |        0
1080.29/1080.50	c 1065s |       9 |  1206586 |     7906 |   543668      0 |     1474 |        0
1096.29/1096.52	c 1081s |       9 |  1206697 |     8006 |   543668      0 |     1474 |        0
1116.59/1116.82	c 1101s |       9 |  1206833 |     8106 |   543668      0 |     1474 |        0
1135.89/1136.17	c 1121s |       9 |  1206945 |     8206 |   543668      0 |     1474 |        0
1153.98/1154.27	c 1139s |       9 |  1207053 |     8306 |   543668      0 |     1474 |        0
1171.67/1171.92	c 1156s |       9 |  1207171 |     8406 |   543668      0 |     1474 |        0
1189.87/1190.14	c 1174s |       9 |  1207264 |     8506 |   543668      0 |     1474 |        0
1206.27/1206.56	c 1191s |       9 |  1207407 |     8606 |   543668      0 |     1474 |        0
1225.07/1225.34	c 1210s |       9 |  1207518 |     8706 |   543668      0 |     1474 |        0
1246.46/1246.75	c 1231s |       9 |  1207620 |     8806 |   543668      0 |     1474 |        0
1266.16/1266.44	c 1251s |       9 |  1207733 |     8906 |   543668      0 |     1474 |        0
1286.16/1286.40	c 1271s |       9 |  1207844 |     9006 |   543668      0 |     1474 |        0
1305.06/1305.38	c 1290s |       9 |  1207963 |     9106 |   543668      0 |     1474 |        0
1326.55/1326.82	c 1311s |       9 |  1208065 |     9206 |   543668      0 |     1474 |        0
1347.54/1347.84	c 1332s |       9 |  1208174 |     9306 |   543668      0 |     1474 |        0
1368.64/1368.96	c 1353s |       9 |  1208293 |     9406 |   543668      0 |     1474 |        0
1389.04/1389.31	c 1374s |       9 |  1208403 |     9506 |   543668      0 |     1474 |        0
1411.04/1411.39	c 1396s |       9 |  1208507 |     9606 |   543668      0 |     1474 |        0
1433.03/1433.36	c 1418s |       9 |  1208616 |     9706 |   543668      0 |     1474 |        0
1454.73/1455.08	c 1439s |       9 |  1208715 |     9806 |   543668      0 |     1474 |        0
1479.83/1480.19	c 1465s |       9 |  1208825 |     9906 |   543668      0 |     1474 |        0
1506.02/1506.34	c 1491s |       9 |  1208927 |    10006 |   543668      0 |     1474 |        0
1531.92/1532.27	c 1517s |       9 |  1209028 |    10106 |   543668      0 |     1474 |        0
1557.82/1558.14	c 1542s |       9 |  1209139 |    10206 |   543668      0 |     1474 |        0
1583.21/1583.52	c 1568s |       9 |  1209242 |    10306 |   543668      0 |     1474 |        0
1608.00/1608.38	c 1593s |       9 |  1209349 |    10406 |   543668      0 |     1474 |        0
1630.61/1630.94	c 1615s |       9 |  1209454 |    10506 |   543668      0 |     1474 |        0
1653.10/1653.42	c 1638s |       9 |  1209577 |    10606 |   543668      0 |     1474 |        0
1677.59/1677.96	c 1662s |       9 |  1209673 |    10706 |   543668      0 |     1474 |        0
1702.28/1702.66	c 1687s |       9 |  1209779 |    10806 |   543668      0 |     1474 |        0
1726.19/1726.50	c 1711s |       9 |  1209880 |    10906 |   543668      0 |     1474 |        0
1752.68/1753.04	c 1737s |       9 |  1209986 |    11006 |   543668      0 |     1474 |        0
1775.88/1776.22	c 1761s |       9 |  1210100 |    11106 |   543668      0 |     1474 |        0
1797.37/1797.71	c 1782s |       9 |  1210210 |    11206 |   543668      0 |     1474 |        0

Verifier Data 

ERROR: no interpretation found !

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

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-4119678-1467275808/watcher-4119678-1467275808 -o /tmp/evaluation-result-4119678-1467275808/solver-4119678-1467275808 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467274001-17324 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119678-1467275808.opb 

pid=17490
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 2.28 2.23 2.46 5/176 17496
/proc/meminfo: memFree=29966292/32872528 swapFree=1484408/1662236
[pid=17494] ppid=17490 vsize=775612 CPUtime=0 cores=0,2,4,6
/proc/17494/stat : 17494 (toysat) R 17490 17494 15921 0 -1 4202496 2904 0 0 0 0 0 0 0 20 0 4 0 8533521 794226688 3265 33554432000 4194304 16246674 140734338373424 140734338372848 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17494/statm: 194671 3273 441 2943 0 191565 0
[pid=17494/tid=17498] ppid=17490 vsize=806332 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17498/stat : 17498 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 825683968 3385 33554432000 4194304 16246674 140734338373424 139738484813040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17494/tid=17500] ppid=17490 vsize=810428 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17500/stat : 17500 (toysat) S 17490 17494 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8533521 829878272 3401 33554432000 4194304 16246674 140734338373424 139738474323184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17494/tid=17501] ppid=17490 vsize=815548 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17501/stat : 17501 (toysat) S 17490 17494 15921 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 8533521 835121152 3419 33554432000 4194304 16246674 140734338373424 139738463849648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100168 s]
/proc/loadavg: 2.28 2.23 2.46 5/176 17496
/proc/meminfo: memFree=29966292/32872528 swapFree=1484408/1662236
[pid=17494] ppid=17490 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/17494/stat : 17494 (toysat) R 17490 17494 15921 0 -1 4202496 29474 0 0 0 5 4 0 0 20 0 4 0 8533521 1332285440 29772 33554432000 4194304 16246674 140734338373424 140734338372736 7369730 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17494/statm: 325265 29787 801 2943 0 322159 0
[pid=17494/tid=17498] ppid=17490 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17498/stat : 17498 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 1332285440 29794 33554432000 4194304 16246674 140734338373424 139738484813040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17494/tid=17500] ppid=17490 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17500/stat : 17500 (toysat) S 17490 17494 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8533521 1332285440 29803 33554432000 4194304 16246674 140734338373424 139738474323184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17494/tid=17501] ppid=17490 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17501/stat : 17501 (toysat) S 17490 17494 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8533521 1332285440 29814 33554432000 4194304 16246674 140734338373424 139738463849648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200474 s]
/proc/loadavg: 2.28 2.23 2.46 5/176 17496
/proc/meminfo: memFree=29966292/32872528 swapFree=1484408/1662236
[pid=17494] ppid=17490 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/17494/stat : 17494 (toysat) R 17490 17494 15921 0 -1 4202496 43902 0 0 0 12 7 0 0 20 0 4 0 8533521 1344868352 44711 33554432000 4194304 16246674 140734338373424 140734338372736 7440024 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17494/statm: 328337 44711 801 2943 0 325231 0
[pid=17494/tid=17498] ppid=17490 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17498/stat : 17498 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 1344868352 44711 33554432000 4194304 16246674 140734338373424 139738484813040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17494/tid=17500] ppid=17490 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17500/stat : 17500 (toysat) S 17490 17494 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8533521 1344868352 44711 33554432000 4194304 16246674 140734338373424 139738474323184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17494/tid=17501] ppid=17490 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17501/stat : 17501 (toysat) S 17490 17494 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8533521 1344868352 44711 33554432000 4194304 16246674 140734338373424 139738463849648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300512 s]
/proc/loadavg: 2.28 2.23 2.46 5/176 17496
/proc/meminfo: memFree=29966292/32872528 swapFree=1484408/1662236
[pid=17494] ppid=17490 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/17494/stat : 17494 (toysat) R 17490 17494 15921 0 -1 4202496 47508 0 0 0 22 7 0 0 20 0 4 0 8533521 1344868352 48317 33554432000 4194304 16246674 140734338373424 140734338372736 7364568 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17494/statm: 328337 48317 801 2943 0 325231 0
[pid=17494/tid=17498] ppid=17490 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17498/stat : 17498 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 1344868352 48317 33554432000 4194304 16246674 140734338373424 139738484813040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17494/tid=17500] ppid=17490 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17500/stat : 17500 (toysat) S 17490 17494 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8533521 1344868352 48317 33554432000 4194304 16246674 140734338373424 139738474323184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17494/tid=17501] ppid=17490 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17501/stat : 17501 (toysat) S 17490 17494 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8533521 1344868352 48317 33554432000 4194304 16246674 140734338373424 139738463849648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700424 s]
/proc/loadavg: 2.28 2.23 2.46 5/176 17496
/proc/meminfo: memFree=29966292/32872528 swapFree=1484408/1662236
[pid=17494] ppid=17490 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/17494/stat : 17494 (toysat) R 17490 17494 15921 0 -1 4202496 63066 0 0 0 59 10 0 0 20 0 4 0 8533521 1344868352 63875 33554432000 4194304 16246674 140734338373424 140734338371264 4206604 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17494/statm: 328337 63875 802 2943 0 325231 0
[pid=17494/tid=17498] ppid=17490 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17498/stat : 17498 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 1344868352 63875 33554432000 4194304 16246674 140734338373424 139738484813040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17494/tid=17500] ppid=17490 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17500/stat : 17500 (toysat) S 17490 17494 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8533521 1344868352 63875 33554432000 4194304 16246674 140734338373424 139738474323184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17494/tid=17501] ppid=17490 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17501/stat : 17501 (toysat) S 17490 17494 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8533521 1344868352 63875 33554432000 4194304 16246674 140734338373424 139738463849648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1313348

[startup+1.50043 s]
/proc/loadavg: 2.28 2.23 2.46 4/185 17505
/proc/meminfo: memFree=29416368/32872528 swapFree=1484408/1662236
[pid=17494] ppid=17490 vsize=1313348 CPUtime=1.48 cores=0,2,4,6
/proc/17494/stat : 17494 (toysat) R 17490 17494 15921 0 -1 4202496 80924 0 0 0 136 12 0 0 20 0 4 0 8533521 1344868352 81733 33554432000 4194304 16246674 140734338373424 140734338371264 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17494/statm: 328337 81733 802 2943 0 325231 0
[pid=17494/tid=17498] ppid=17490 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17498/stat : 17498 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 1344868352 81733 33554432000 4194304 16246674 140734338373424 139738484813040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17494/tid=17500] ppid=17490 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17500/stat : 17500 (toysat) S 17490 17494 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8533521 1344868352 81733 33554432000 4194304 16246674 140734338373424 139738474323184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17494/tid=17501] ppid=17490 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17501/stat : 17501 (toysat) S 17490 17494 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8533521 1344868352 81733 33554432000 4194304 16246674 140734338373424 139738463849648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1313348

[startup+3.1004 s]
/proc/loadavg: 2.26 2.23 2.46 3/185 17505
/proc/meminfo: memFree=29017536/32872528 swapFree=1484408/1662236
[pid=17494] ppid=17490 vsize=1337924 CPUtime=3.09 cores=0,2,4,6
/proc/17494/stat : 17494 (toysat) R 17490 17494 15921 0 -1 4202496 157364 0 0 0 284 25 0 0 20 0 4 0 8533521 1370034176 163795 33554432000 4194304 16246674 140734338373424 140734338372600 12752373 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17494/statm: 334481 163812 802 2943 0 331375 0
[pid=17494/tid=17498] ppid=17490 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17498/stat : 17498 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 1370034176 163823 33554432000 4194304 16246674 140734338373424 139738484813040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17494/tid=17500] ppid=17490 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17500/stat : 17500 (toysat) S 17490 17494 15921 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 8533521 1370034176 163835 33554432000 4194304 16246674 140734338373424 139738474323184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17494/tid=17501] ppid=17490 vsize=1337924 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17501/stat : 17501 (toysat) S 17490 17494 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8533521 1370034176 163849 33554432000 4194304 16246674 140734338373424 139738463849648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1337924

[startup+6.30049 s]
/proc/loadavg: 2.26 2.23 2.46 3/185 17505
/proc/meminfo: memFree=27583320/32872528 swapFree=1484408/1662236
[pid=17494] ppid=17490 vsize=1633860 CPUtime=6.28 cores=0,2,4,6
/proc/17494/stat : 17494 (toysat) R 17490 17494 15921 0 -1 4202496 288376 0 0 0 586 42 0 0 20 0 4 0 8533521 1673072640 303493 33554432000 4194304 16246674 140734338373424 140734338372736 4208636 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17494/statm: 408465 303493 833 2943 0 405359 0
[pid=17494/tid=17498] ppid=17490 vsize=1633860 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17498/stat : 17498 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 1673072640 303493 33554432000 4194304 16246674 140734338373424 139738484813040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17494/tid=17500] ppid=17490 vsize=1633860 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17500/stat : 17500 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 1673072640 303493 33554432000 4194304 16246674 140734338373424 139738474323184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17494/tid=17501] ppid=17490 vsize=1633860 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17501/stat : 17501 (toysat) S 17490 17494 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8533521 1673072640 303493 33554432000 4194304 16246674 140734338373424 139738463849648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1633860

[startup+12.7004 s]
/proc/loadavg: 2.30 2.24 2.46 3/185 17505
/proc/meminfo: memFree=27171360/32872528 swapFree=1484408/1662236
[pid=17494] ppid=17490 vsize=1652292 CPUtime=12.69 cores=0,2,4,6
/proc/17494/stat : 17494 (toysat) R 17490 17494 15921 0 -1 4202496 335312 0 0 0 1221 48 0 0 20 0 4 0 8533521 1691947008 354517 33554432000 4194304 16246674 140734338373424 140734338372520 6757853 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17494/statm: 413073 354517 847 2943 0 409967 0
[pid=17494/tid=17498] ppid=17490 vsize=1652292 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17498/stat : 17498 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 1691947008 354517 33554432000 4194304 16246674 140734338373424 139738484813040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17494/tid=17500] ppid=17490 vsize=1652292 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17500/stat : 17500 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 1691947008 354517 33554432000 4194304 16246674 140734338373424 139738474323184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17494/tid=17501] ppid=17490 vsize=1652292 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17501/stat : 17501 (toysat) S 17490 17494 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8533521 1691947008 354517 33554432000 4194304 16246674 140734338373424 139738463849648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1652292

[startup+25.5004 s]
/proc/loadavg: 2.25 2.23 2.45 3/185 17505
/proc/meminfo: memFree=27172388/32872528 swapFree=1484408/1662236
[pid=17494] ppid=17490 vsize=1652292 CPUtime=25.49 cores=0,2,4,6
/proc/17494/stat : 17494 (toysat) R 17490 17494 15921 0 -1 4202496 335351 0 0 0 2499 50 0 0 20 0 4 0 8533521 1691947008 354556 33554432000 4194304 16246674 140734338373424 140734338355328 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17494/statm: 413073 354556 886 2943 0 409967 0
[pid=17494/tid=17498] ppid=17490 vsize=1652292 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17498/stat : 17498 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 1691947008 354556 33554432000 4194304 16246674 140734338373424 139738484813040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17494/tid=17500] ppid=17490 vsize=1652292 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17500/stat : 17500 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 1691947008 354556 33554432000 4194304 16246674 140734338373424 139738474323184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17494/tid=17501] ppid=17490 vsize=1652292 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17501/stat : 17501 (toysat) S 17490 17494 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8533521 1691947008 354556 33554432000 4194304 16246674 140734338373424 139738463849648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1652292

[startup+51.1004 s]
/proc/loadavg: 2.23 2.23 2.44 3/178 17540
/proc/meminfo: memFree=27908884/32872528 swapFree=1484408/1662236
[pid=17494] ppid=17490 vsize=2325060 CPUtime=51.08 cores=0,2,4,6
/proc/17494/stat : 17494 (toysat) R 17490 17494 15921 0 -1 4202496 503548 0 0 0 5036 72 0 0 20 0 4 0 8533521 2380861440 522753 33554432000 4194304 16246674 140734338373424 140734338355328 5712604 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17494/statm: 581265 522753 890 2943 0 578159 0
[pid=17494/tid=17498] ppid=17490 vsize=2325060 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17498/stat : 17498 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 2380861440 522753 33554432000 4194304 16246674 140734338373424 139738484813040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17494/tid=17500] ppid=17490 vsize=2325060 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17500/stat : 17500 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 2380861440 522753 33554432000 4194304 16246674 140734338373424 139738474323184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17494/tid=17501] ppid=17490 vsize=2325060 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17501/stat : 17501 (toysat) S 17490 17494 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8533521 2380861440 522753 33554432000 4194304 16246674 140734338373424 139738463849648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2325060

[startup+102.3 s]
/proc/loadavg: 2.21 2.22 2.43 4/178 17687
/proc/meminfo: memFree=27878992/32872528 swapFree=1484408/1662236
[pid=17494] ppid=17490 vsize=2325060 CPUtime=102.27 cores=0,2,4,6
/proc/17494/stat : 17494 (toysat) R 17490 17494 15921 0 -1 4202496 503548 0 0 0 10155 72 0 0 20 0 4 0 8533521 2380861440 522753 33554432000 4194304 16246674 140734338373424 140734338355328 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17494/statm: 581265 522753 890 2943 0 578159 0
[pid=17494/tid=17498] ppid=17490 vsize=2325060 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17498/stat : 17498 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 2380861440 522753 33554432000 4194304 16246674 140734338373424 139738484813040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17494/tid=17500] ppid=17490 vsize=2325060 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17500/stat : 17500 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 2380861440 522753 33554432000 4194304 16246674 140734338373424 139738474323184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17494/tid=17501] ppid=17490 vsize=2325060 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17501/stat : 17501 (toysat) S 17490 17494 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8533521 2380861440 522753 33554432000 4194304 16246674 140734338373424 139738463849648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 2325060


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

/proc/17494/task/17501/stat : 17501 (toysat) S 17490 17494 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8533521 3143176192 708795 33554432000 4194304 16246674 140734338373424 139738463849648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 3069508

[startup+1302.3 s]
/proc/loadavg: 2.27 2.29 2.30 4/185 17730
/proc/meminfo: memFree=24371680/32872528 swapFree=1484408/1662236
[pid=17494] ppid=17490 vsize=3089988 CPUtime=1302.05 cores=0,2,4,6
/proc/17494/stat : 17494 (toysat) R 17490 17494 15921 0 -1 4202496 694831 0 0 0 130049 156 0 0 20 0 4 0 8533521 3164147712 713989 33554432000 4194304 16246674 140734338373424 140734338355328 13943600 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17494/statm: 772497 713989 893 2943 0 769391 0
[pid=17494/tid=17498] ppid=17490 vsize=3089988 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17498/stat : 17498 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 3164147712 713989 33554432000 4194304 16246674 140734338373424 139738484813040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17494/tid=17500] ppid=17490 vsize=3089988 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17500/stat : 17500 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 3164147712 713989 33554432000 4194304 16246674 140734338373424 139738474323184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17494/tid=17501] ppid=17490 vsize=3089988 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17501/stat : 17501 (toysat) S 17490 17494 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8533521 3164147712 713989 33554432000 4194304 16246674 140734338373424 139738463849648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 3089988

[startup+1362.3 s]
/proc/loadavg: 2.36 2.31 2.30 3/185 17731
/proc/meminfo: memFree=24313536/32872528 swapFree=1484408/1662236
[pid=17494] ppid=17490 vsize=3120708 CPUtime=1362.04 cores=0,2,4,6
/proc/17494/stat : 17494 (toysat) R 17490 17494 15921 0 -1 4202496 702315 0 0 0 136040 164 0 0 20 0 4 0 8533521 3195604992 721472 33554432000 4194304 16246674 140734338373424 140734338372600 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17494/statm: 780177 721472 893 2943 0 777071 0
[pid=17494/tid=17498] ppid=17490 vsize=3120708 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17498/stat : 17498 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 3195604992 721472 33554432000 4194304 16246674 140734338373424 139738484813040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17494/tid=17500] ppid=17490 vsize=3120708 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17500/stat : 17500 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 3195604992 721472 33554432000 4194304 16246674 140734338373424 139738474323184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17494/tid=17501] ppid=17490 vsize=3120708 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17501/stat : 17501 (toysat) S 17490 17494 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8533521 3195604992 721472 33554432000 4194304 16246674 140734338373424 139738463849648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 3120708

[startup+1422.3 s]
/proc/loadavg: 2.18 2.26 2.28 4/186 17735
/proc/meminfo: memFree=24276368/32872528 swapFree=1484408/1662236
[pid=17494] ppid=17490 vsize=3141188 CPUtime=1422.04 cores=0,2,4,6
/proc/17494/stat : 17494 (toysat) R 17490 17494 15921 0 -1 4202496 707632 0 0 0 142034 170 0 0 20 0 4 0 8533521 3216576512 726789 33554432000 4194304 16246674 140734338373424 140734338371264 4225120 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17494/statm: 785297 726789 893 2943 0 782191 0
[pid=17494/tid=17498] ppid=17490 vsize=3141188 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17498/stat : 17498 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 3216576512 726789 33554432000 4194304 16246674 140734338373424 139738484813040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17494/tid=17500] ppid=17490 vsize=3141188 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17500/stat : 17500 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 3216576512 726789 33554432000 4194304 16246674 140734338373424 139738474322960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17494/tid=17501] ppid=17490 vsize=3141188 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17501/stat : 17501 (toysat) S 17490 17494 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8533521 3216576512 726789 33554432000 4194304 16246674 140734338373424 139738463849648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 3141188

[startup+1482.3 s]
/proc/loadavg: 2.29 2.27 2.28 4/186 17760
/proc/meminfo: memFree=24234004/32872528 swapFree=1484408/1662236
[pid=17494] ppid=17490 vsize=3166788 CPUtime=1482.03 cores=0,2,4,6
/proc/17494/stat : 17494 (toysat) R 17490 17494 15921 0 -1 4202496 714033 0 0 0 148026 177 0 0 20 0 4 0 8533521 3242790912 733189 33554432000 4194304 16246674 140734338373424 140734338372600 5711980 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17494/statm: 791697 733189 893 2943 0 788591 0
[pid=17494/tid=17498] ppid=17490 vsize=3166788 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17498/stat : 17498 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 3242790912 733189 33554432000 4194304 16246674 140734338373424 139738484813040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17494/tid=17500] ppid=17490 vsize=3166788 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17500/stat : 17500 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 3242790912 733189 33554432000 4194304 16246674 140734338373424 139738474323184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17494/tid=17501] ppid=17490 vsize=3166788 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17501/stat : 17501 (toysat) S 17490 17494 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8533521 3242790912 733189 33554432000 4194304 16246674 140734338373424 139738463849648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482.03
Current children cumulated vsize (KiB) 3166788

[startup+1542.3 s]
/proc/loadavg: 2.36 2.30 2.28 3/185 17761
/proc/meminfo: memFree=24179192/32872528 swapFree=1484408/1662236
[pid=17494] ppid=17490 vsize=3193412 CPUtime=1542.02 cores=0,2,4,6
/proc/17494/stat : 17494 (toysat) R 17490 17494 15921 0 -1 4202496 720689 0 0 0 154019 183 0 0 20 0 4 0 8533521 3270053888 739845 33554432000 4194304 16246674 140734338373424 140734338371200 4220507 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17494/statm: 798353 739845 893 2943 0 795247 0
[pid=17494/tid=17498] ppid=17490 vsize=3193412 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17498/stat : 17498 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 3270053888 739845 33554432000 4194304 16246674 140734338373424 139738484813040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17494/tid=17500] ppid=17490 vsize=3193412 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17500/stat : 17500 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 3270053888 739845 33554432000 4194304 16246674 140734338373424 139738474322960 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=17494/tid=17501] ppid=17490 vsize=3193412 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17501/stat : 17501 (toysat) S 17490 17494 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8533521 3270053888 739845 33554432000 4194304 16246674 140734338373424 139738463849648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.02
Current children cumulated vsize (KiB) 3193412

[startup+1602.31 s]
/proc/loadavg: 2.21 2.27 2.27 3/185 17762
/proc/meminfo: memFree=24127828/32872528 swapFree=1484408/1662236
[pid=17494] ppid=17490 vsize=3217988 CPUtime=1602.01 cores=0,2,4,6
/proc/17494/stat : 17494 (toysat) R 17490 17494 15921 0 -1 4202496 726654 0 0 0 160012 189 0 0 20 0 4 0 8533521 3295219712 745810 33554432000 4194304 16246674 140734338373424 140734338372600 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17494/statm: 804497 745810 893 2943 0 801391 0
[pid=17494/tid=17498] ppid=17490 vsize=3217988 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17498/stat : 17498 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 3295219712 745810 33554432000 4194304 16246674 140734338373424 139738484813040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17494/tid=17500] ppid=17490 vsize=3217988 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17500/stat : 17500 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 3295219712 745810 33554432000 4194304 16246674 140734338373424 139738474323184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17494/tid=17501] ppid=17490 vsize=3217988 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17501/stat : 17501 (toysat) S 17490 17494 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8533521 3295219712 745810 33554432000 4194304 16246674 140734338373424 139738463849648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 3217988

[startup+1662.3 s]
/proc/loadavg: 2.24 2.26 2.27 4/185 17763
/proc/meminfo: memFree=24076644/32872528 swapFree=1484408/1662236
[pid=17494] ppid=17490 vsize=3244612 CPUtime=1662 cores=0,2,4,6
/proc/17494/stat : 17494 (toysat) R 17490 17494 15921 0 -1 4202496 733491 0 0 0 166004 196 0 0 20 0 4 0 8533521 3322482688 752645 33554432000 4194304 16246674 140734338373424 140734338355328 5712608 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17494/statm: 811153 752645 893 2943 0 808047 0
[pid=17494/tid=17498] ppid=17490 vsize=3244612 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17498/stat : 17498 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 3322482688 752645 33554432000 4194304 16246674 140734338373424 139738484813040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17494/tid=17500] ppid=17490 vsize=3244612 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17500/stat : 17500 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 3322482688 752645 33554432000 4194304 16246674 140734338373424 139738474323184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17494/tid=17501] ppid=17490 vsize=3244612 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17501/stat : 17501 (toysat) S 17490 17494 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8533521 3322482688 752645 33554432000 4194304 16246674 140734338373424 139738463849648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 3244612

[startup+1722.3 s]
/proc/loadavg: 2.35 2.29 2.28 3/185 17764
/proc/meminfo: memFree=24024840/32872528 swapFree=1484408/1662236
[pid=17494] ppid=17490 vsize=3273284 CPUtime=1721.99 cores=0,2,4,6
/proc/17494/stat : 17494 (toysat) R 17490 17494 15921 0 -1 4202496 740590 0 0 0 171997 202 0 0 20 0 4 0 8533521 3351842816 759742 33554432000 4194304 16246674 140734338373424 140734338372600 4220871 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17494/statm: 818321 759742 893 2943 0 815215 0
[pid=17494/tid=17498] ppid=17490 vsize=3273284 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17498/stat : 17498 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 3351842816 759742 33554432000 4194304 16246674 140734338373424 139738484813040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17494/tid=17500] ppid=17490 vsize=3273284 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17500/stat : 17500 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 3351842816 759742 33554432000 4194304 16246674 140734338373424 139738474323184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17494/tid=17501] ppid=17490 vsize=3273284 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17501/stat : 17501 (toysat) S 17490 17494 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8533521 3351842816 759742 33554432000 4194304 16246674 140734338373424 139738463849648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 3273284

[startup+1782.3 s]
/proc/loadavg: 2.18 2.25 2.26 3/185 17766
/proc/meminfo: memFree=23979484/32872528 swapFree=1484408/1662236
[pid=17494] ppid=17490 vsize=3293764 CPUtime=1781.97 cores=0,2,4,6
/proc/17494/stat : 17494 (toysat) R 17490 17494 15921 0 -1 4202496 745783 0 0 0 177989 208 0 0 20 0 4 0 8533521 3372814336 764933 33554432000 4194304 16246674 140734338373424 140734338355328 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17494/statm: 823441 764933 893 2943 0 820335 0
[pid=17494/tid=17498] ppid=17490 vsize=3293764 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17498/stat : 17498 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 3372814336 764933 33554432000 4194304 16246674 140734338373424 139738484813040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17494/tid=17500] ppid=17490 vsize=3293764 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17500/stat : 17500 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 3372814336 764933 33554432000 4194304 16246674 140734338373424 139738474323184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17494/tid=17501] ppid=17490 vsize=3293764 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17501/stat : 17501 (toysat) S 17490 17494 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8533521 3372814336 764933 33554432000 4194304 16246674 140734338373424 139738463849648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 3293764



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.21 2.25 2.26 3/185 17767
/proc/meminfo: memFree=23960352/32872528 swapFree=1484408/1662236
[pid=17494] ppid=17490 vsize=3301956 CPUtime=1800.07 cores=0,2,4,6
/proc/17494/stat : 17494 (toysat) R 17490 17494 15921 0 -1 4202496 747734 0 0 0 179797 210 0 0 20 0 4 0 8533521 3381202944 766884 33554432000 4194304 16246674 140734338373424 140734338372600 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/17494/statm: 825489 766884 893 2943 0 822383 0
[pid=17494/tid=17498] ppid=17490 vsize=3301956 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17498/stat : 17498 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 3381202944 766884 33554432000 4194304 16246674 140734338373424 139738484813040 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=17494/tid=17500] ppid=17490 vsize=3301956 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17500/stat : 17500 (toysat) S 17490 17494 15921 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 8533521 3381202944 766884 33554432000 4194304 16246674 140734338373424 139738474323184 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=17494/tid=17501] ppid=17490 vsize=3301956 CPUtime=0 cores=0,2,4,6
/proc/17494/task/17501/stat : 17501 (toysat) S 17490 17494 15921 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 8533521 3381202944 766884 33554432000 4194304 16246674 140734338373424 139738463849648 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 3301956

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

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 17494 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.43
CPU time (s): 1800.1
CPU user time (s): 1797.98
CPU system time (s): 2.12468
CPU usage (%): 99.982
Max. virtual memory (cumulated for all children) (KiB): 3301956

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.98
system time used= 2.12468
maximum resident set size= 3067536
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 747734
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= 263
involuntary context switches= 2004

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0765 second user time and 16.9384 second system time

The end

Launcher Data 

Begin job on node134 at 2016-06-30 10:36:50
IDJOB=4119678
IDBENCH=111787
IDSOLVER=2542
FILE ID=node134/4119678-1467275808
RUNJOBID= node134-1467274001-17324
PBS_JOBID= 20004500
Free space on /tmp= 71648 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-BIGINT-LIN/pbfvmc-formulae/pbfvmc-formulae/hw256/normalized-hw256-vm99p-dec.opb.negationfix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4119678-1467275808/watcher-4119678-1467275808 -o /tmp/evaluation-result-4119678-1467275808/solver-4119678-1467275808 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node134-1467274001-17324 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4119678-1467275808.opb

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

MD5SUM BENCH= d25bd82840be3a50f1ffd25ce2294d81
RANDOM SEED=388772096

node134.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.738
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.47
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.738
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	: 7358.89
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.738
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.55
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.738
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	: 5332.55
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.738
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	: 5332.54
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.738
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	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.738
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	: 5332.55
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.738
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	: 5332.57
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29967308 kB
Buffers:          145992 kB
Cached:           334904 kB
SwapCached:            0 kB
Active:           216820 kB
Inactive:         279444 kB
Active(anon):      11504 kB
Inactive(anon):     6428 kB
Active(file):     205316 kB
Inactive(file):   273016 kB
Unevictable:     1662236 kB
Mlocked:         1484408 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             93172 kB
Writeback:             0 kB
AnonPages:       1681768 kB
Mapped:            13268 kB
Shmem:               216 kB
Slab:             612548 kB
SReclaimable:      55964 kB
SUnreclaim:       556584 kB
KernelStack:        1424 kB
PageTables:         7248 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1762592 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:    184320 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71616 MiB
End job on node134 at 2016-06-30 11:06:50