Trace number 4078858

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.22 1800.52

General information on the benchmark

Name/DEC-SMALLINT-LIN/lopes/
normalized-167.opb
MD5SUM7cf213338254036b9868078970e2a948
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small 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 variables106196
Total number of constraints2493137
Number of constraints which are clauses2239038
Number of constraints which are cardinality constraints (but not clauses)8063
Number of constraints which are nor clauses,nor cardinality constraints246036
Minimum length of a constraint1
Maximum length of a constraint1485
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 3
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 1486
Number of bits of the biggest sum of numbers11
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-07T07:09:00+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-4078858-1465276138.opb"]
0.00/0.01	c use --random-gen="1849411753 1987507424 618979310 779252809 1385963030 3667047011 3189979671 3195857831 566063779 1297079680 861834734 2339745481 1363665509 551218349 2936143775 4078405264 2987737325 2759197714 3571650838 2274961294 3618401992 3745687736 621898106 3996537198 572558457 3180677663 2207420839 4200200697 2283353310 818860664 2826621477 2738248583 211814185 1380718116 1780139899 1031658491 1339116503 2315058496 3393413316 3284933785 3158717128 1222963020 3809237928 3469332915 40893825 1671584504 2795012560 1854253156 905590773 1662373500 2782641655 1825654160 34839603 4107500714 2386572382 2048700494 2217022536 1518221857 2921460213 2404334188 497837511 237993894 1721845506 2584708134 1029082004 57583206 3558675182 2442155219 3474546802 671896367 1590424769 789064358 3842497003 2008527188 3699952422 3497501926 2750049434 2310895938 410204006 1656892266 1181594162 1361811996 3131623786 2118668023 2094942420 1959807460 1729585318 3273027563 2816560648 1421940366 3104398060 1914325636 3771227724 4106178380 845740686 531596359 1205997792 3142698304 4115790966 3434360917 4079440043 3799401524 3326436330 3861703576 712749915 441754676 2122304185 1373190048 3801119885 3930670025 22301555 1361310994 3073211722 3944993657 2993930925 1632643735 2994884231 960325555 1155654344 3644939897 869996582 957692357 1619824502 2740506723 948705687 2810835927 1280829307 46271007 2887160508 819903154 3442446658 196141965 3316798587 25487752 2518875118 1923588191 1564310937 1403138787 456344359 2914149214 3779113246 1860246996 3634144495 222382469 3133020084 1486168146 3692949784 3067425509 206937688 1970630168 2820570814 2903522518 2596013505 1376893588 4225728243 1521631212 2062692146 4287032583 1312398707 681973433 2312372923 325630321 582072569 2973598843 513382422 1258826336 3271150087 218634941 1211222502 2802450077 2865364624 898310899 1851142860 2259023412 1933408532 634325275 2070872579 611550687 1054341821 1613755891 2497629388 4133248600 1418545232 1318253256 1545893745 4138374459 1201259231 3422167789 3400915054 3403723664 3743545545 867114016 1947832730 4026664484 1257768099 2563799556 1011084274 1109688966 365459323 2223265325 3389996233 3317466696 3725769484 940272955 53204666 4096545596 2070430681 1943565258 1746444634 3292532231 3164712918 647253478 93889399 4112873045 3966946470 2335925369 142668288 661155657 2800785413 615688038 2927512971 1400044095 3475987094 2510758317 835397703 4026824501 568901007 421027187 1789091012 962517309 4013970770 2541228702 215599191 1784679149 2646365719 3661125261 513400361 1684105212 653169449 4095236432 256543434 3618902674 1838273480 2009486740 547062733 2023534901 4255997505 2119342822 3959580501 2365193334 645025066 3485940151 1875315591 575346919 171667336 3777747182 255 362436" option to reproduce the execution
20.09/20.12	c #vars 106196
20.09/20.12	c #constraints 2493137
64.77/64.83	c Solving starts ...
64.77/64.83	c ============================[ Search Statistics ]============================
64.77/64.83	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
64.77/64.83	c       |         |          |          |    Limit     GC | Var      | Constra 
64.77/64.83	c =============================================================================
64.77/64.84	c  0.0s |       0 |        0 |        0 |   746230      0 |    22691 |        0
66.98/67.03	c  2.2s |       0 |      131 |      100 |   746230      0 |    22691 |   269412
66.98/67.03	c  2.2s |       1 |      131 |      100 |   746230      0 |    22691 |   269412
70.48/70.54	c  5.7s |       1 |     3025 |      200 |   820854      0 |    22692 |   269426
73.98/74.02	c  9.2s |       2 |     7953 |      250 |   820854      0 |    22694 |   269454
78.18/78.25	c 13.4s |       2 |    12908 |      350 |   902940      0 |    22695 |   269600
79.28/79.31	c 14.5s |       3 |    13053 |      475 |   902940      0 |    22695 |   269600
94.57/94.67	c 29.8s |       3 |    42586 |      575 |   993235      0 |    22702 |   270046
109.27/109.38	c 44.6s |       3 |    77133 |      675 |   993235      0 |    22707 |   270236
124.17/124.23	c 59.4s |       3 |   123101 |      775 |   993235      0 |    22714 |   270336
124.57/124.61	c 59.8s |       4 |   123148 |      813 |   993235      0 |    22714 |   270336
155.37/155.48	c 90.7s |       4 |   187333 |      913 |  1092559      0 |    22730 |   270713
172.67/172.71	c  107s |       4 |   244774 |     1013 |  1092559      0 |    22738 |   270825
190.66/190.74	c  125s |       4 |   306816 |     1113 |  1092559      0 |    22744 |   271018
196.26/196.34	c  131s |       4 |   321904 |     1213 |  1092559      0 |    22747 |   271060
196.86/196.99	c  132s |       5 |   322027 |     1320 |  1092559      0 |    22747 |   271060
226.15/226.22	c  161s |       5 |   412725 |     1420 |  1201815      0 |    22760 |   271240
256.95/257.05	c  192s |       5 |   504229 |     1520 |  1201815      0 |    22774 |   271439
264.25/264.34	c  199s |       5 |   528789 |     1620 |  1201815      0 |    22777 |   271481
293.54/293.70	c  228s |       5 |   646864 |     1720 |  1201815      0 |    22786 |   271873
312.14/312.25	c  247s |       5 |   718991 |     1820 |  1201815      0 |    22791 |   271943
338.44/338.56	c  273s |       5 |   833464 |     1920 |  1201815      0 |    22798 |   272046
369.93/370.06	c  305s |       5 |   973825 |     2020 |  1201815      0 |    22806 |   272533
375.64/375.77	c  310s |       6 |   996513 |     2081 |  1321997      0 |    22809 |   272575
399.23/399.34	c  334s |       6 |  1105691 |     2181 |  1321997      0 |    22817 |   272999
401.73/401.80	c  336s |       6 |  1106130 |     2581 |  1321997      0 |    22817 |   272999
404.13/404.29	c  339s |       6 |  1106682 |     3081 |  1321997      0 |    22817 |   272999
405.24/405.39	c  340s |       7 |  1106864 |     3223 |  1454197      0 |    22817 |   272999
419.22/419.39	c  354s |       7 |  1141395 |     3323 |  1454197      0 |    22824 |   273324
433.83/433.95	c  369s |       7 |  1169315 |     3423 |  1454197      0 |    22832 |   273435
452.92/453.07	c  388s |       7 |  1200841 |     3523 |  1454197      0 |    22840 |   273608
465.52/465.66	c  400s |       7 |  1237976 |     3723 |  1454197      0 |    22849 |   274478
474.12/474.20	c  409s |       7 |  1269815 |     3823 |  1454197      0 |    22854 |   274677
485.21/485.35	c  420s |       7 |  1296300 |     3923 |  1454197      0 |    22857 |   274714
495.91/496.09	c  431s |       7 |  1338087 |     4023 |  1454197      0 |    22864 |   274807
507.01/507.10	c  442s |       7 |  1377308 |     4123 |  1454197      0 |    22872 |   275144
515.91/516.02	c  451s |       7 |  1400483 |     4223 |  1454197      0 |    22879 |   275242
524.12/524.28	c  459s |       7 |  1447140 |     4323 |  1454197      0 |    22887 |   275893
531.61/531.80	c  466s |       7 |  1470033 |     4423 |  1454197      0 |    22893 |   275978
536.51/536.66	c  471s |       7 |  1507549 |     4523 |  1454197      0 |    22895 |   276006
539.30/539.47	c  474s |       7 |  1588686 |     4723 |  1454197      0 |    22896 |   276020
542.11/542.24	c  477s |       7 |  1618888 |     4823 |  1454197      0 |    22898 |   276049
543.70/543.89	c  479s |       8 |  1643234 |     4936 |  1599617      0 |    22899 |   276063
546.20/546.34	c  481s |       8 |  1653991 |     5036 |  1599617      0 |    22900 |   276319
556.71/556.86	c  492s |       8 |  1675272 |     5236 |  1599617      0 |    22910 |   276464
565.10/565.23	c  500s |       8 |  1692483 |     5336 |  1599617      0 |    22916 |   276781
567.20/567.33	c  502s |       8 |  1692744 |     5536 |  1599617      0 |    22916 |   276781
569.40/569.52	c  504s |       8 |  1693002 |     5736 |  1599617      0 |    22916 |   276781
572.41/572.53	c  507s |       8 |  1693365 |     6036 |  1599617      0 |    22916 |   276781
574.40/574.55	c  509s |       8 |  1693600 |     6236 |  1599617      0 |    22916 |   276781
577.50/577.63	c  512s |       8 |  1693975 |     6536 |  1599617      0 |    22916 |   276781
580.21/580.40	c  515s |       8 |  1694326 |     6836 |  1599617      0 |    22916 |   276781
582.60/582.71	c  517s |       8 |  1694661 |     7136 |  1599617      0 |    22916 |   276781
585.09/585.21	c  520s |       8 |  1695014 |     7436 |  1599617      0 |    22916 |   276781
585.60/585.79	c  520s |       9 |  1695095 |     7506 |  1759579      0 |    22916 |   276781
601.70/601.87	c  537s |       9 |  1726082 |     7606 |  1759579      0 |    22926 |   276924
616.51/616.63	c  551s |       9 |  1749136 |     7706 |  1759579      0 |    22937 |   277089
618.60/618.73	c  553s |       9 |  1749503 |     8006 |  1759579      0 |    22937 |   277089
620.80/620.99	c  556s |       9 |  1749849 |     8306 |  1759579      0 |    22937 |   277089
623.00/623.12	c  558s |       9 |  1750247 |     8606 |  1759579      0 |    22937 |   277089
625.20/625.36	c  560s |       9 |  1750591 |     8906 |  1759579      0 |    22937 |   277089
627.59/627.75	c  562s |       9 |  1750924 |     9206 |  1759579      0 |    22937 |   277089
637.30/637.49	c  572s |       9 |  1784260 |     9306 |  1759579      0 |    22941 |   277325
648.30/648.43	c  583s |       9 |  1816969 |     9406 |  1759579      0 |    22946 |   277395
655.79/655.90	c  591s |       9 |  1851478 |     9506 |  1759579      0 |    22951 |   277992
658.09/658.27	c  593s |       9 |  1851817 |     9806 |  1759579      0 |    22951 |   277992
670.29/670.49	c  605s |       9 |  1865217 |     9906 |  1759579      0 |    22957 |   278480
674.18/674.33	c  609s |       9 |  1931794 |    10106 |  1759579      0 |    22959 |   278508
679.68/679.83	c  615s |       9 |  1958089 |    10206 |  1759579      0 |    22963 |   278683
683.19/683.35	c  618s |       9 |  1993398 |    10306 |  1759579      0 |    22964 |   278698
689.49/689.69	c  624s |       9 |  2020075 |    10406 |  1759579      0 |    22969 |   278768
694.08/694.25	c  629s |       9 |  2055577 |    10506 |  1759579      0 |    22972 |   278800
708.18/708.30	c  643s |       9 |  2075954 |    10606 |  1759579      0 |    22982 |   278938
714.48/714.67	c  649s |       9 |  2100461 |    10706 |  1759579      0 |    22987 |   279006
716.98/717.18	c  652s |       9 |  2155521 |    10906 |  1759579      0 |    22988 |   279345
720.99/721.17	c  656s |       9 |  2213372 |    11206 |  1759579      0 |    22990 |   279375
721.58/721.77	c  656s |      10 |  2227506 |    11361 |  1935537      0 |    22990 |   279375
729.07/729.22	c  664s |      10 |  2233118 |    11461 |  1935537      0 |    22996 |   279456
737.07/737.25	c  672s |      10 |  2247922 |    11561 |  1935537      0 |    23001 |   279527
739.37/739.56	c  674s |      10 |  2248695 |    11861 |  1935537      0 |    23001 |   279527
741.78/741.90	c  677s |      10 |  2249035 |    12161 |  1935537      0 |    23001 |   279527
743.88/744.09	c  679s |      10 |  2249389 |    12461 |  1935537      0 |    23001 |   279527
746.77/746.98	c  682s |      10 |  2249749 |    12761 |  1935537      0 |    23001 |   279527
748.97/749.10	c  684s |      10 |  2249999 |    12961 |  1935537      0 |    23001 |   279527
751.57/751.76	c  686s |      10 |  2250318 |    13261 |  1935537      0 |    23001 |   279527
769.28/769.49	c  704s |      10 |  2312034 |    13461 |  1935537      0 |    23005 |   279775
786.77/786.99	c  722s |      10 |  2380523 |    13561 |  1935537      0 |    23010 |   279845
803.57/803.71	c  738s |      10 |  2425229 |    13661 |  1935537      0 |    23013 |   280069
805.96/806.16	c  741s |      10 |  2425609 |    13961 |  1935537      0 |    23013 |   280069
808.76/808.91	c  744s |      10 |  2425951 |    14261 |  1935537      0 |    23013 |   280069
811.46/811.66	c  746s |      10 |  2426293 |    14561 |  1935537      0 |    23013 |   280069
813.77/813.94	c  749s |      10 |  2426635 |    14861 |  1935537      0 |    23013 |   280069
816.06/816.22	c  751s |      10 |  2427001 |    15161 |  1935537      0 |    23013 |   280069
818.36/818.57	c  753s |      10 |  2427344 |    15461 |  1935537      0 |    23013 |   280069
820.96/821.13	c  756s |      10 |  2427706 |    15761 |  1935537      0 |    23013 |   280069
823.07/823.26	c  758s |      10 |  2428045 |    16061 |  1935537      0 |    23013 |   280069
825.37/825.59	c  760s |      10 |  2428379 |    16361 |  1935537      0 |    23013 |   280069
827.76/827.93	c  763s |      10 |  2428724 |    16661 |  1935537      0 |    23013 |   280069
830.06/830.28	c  765s |      10 |  2429041 |    16961 |  1935537      0 |    23013 |   280069
831.36/831.57	c  766s |      11 |  2429236 |    17144 |  2129091      0 |    23013 |   280069
850.35/850.54	c  785s |      11 |  2510948 |    17244 |  2129091      0 |    23015 |   280314
855.65/855.81	c  790s |      11 |  2520535 |    17344 |  2129091      0 |    23018 |   280827
875.05/875.28	c  810s |      11 |  2549243 |    17544 |  2129091      0 |    23022 |   281109
882.65/882.89	c  818s |      11 |  2572499 |    17644 |  2129091      0 |    23023 |   281124
887.15/887.37	c  822s |      11 |  2584358 |    17744 |  2129091      0 |    23026 |   281157
889.74/890.00	c  825s |      11 |  2607872 |    17844 |  2129091      0 |    23028 |   281180
893.65/893.88	c  829s |      11 |  2619208 |    17944 |  2129091      0 |    23031 |   281416
900.54/900.75	c  835s |      11 |  2628009 |    18144 |  2129091      0 |    23034 |   281462
910.65/910.80	c  845s |      11 |  2637965 |    18244 |  2129091      0 |    23042 |   281578
935.14/935.34	c  870s |      11 |  2722796 |    18344 |  2129091      0 |    23045 |   281622
951.34/951.56	c  886s |      11 |  2796476 |    18444 |  2129091      0 |    23049 |   281810
969.54/969.76	c  904s |      11 |  2852253 |    18544 |  2129091      0 |    23055 |   281897
977.83/978.02	c  913s |      11 |  2880303 |    18644 |  2129091      0 |    23061 |   281981
992.83/993.00	c  928s |      11 |  2905329 |    18744 |  2129091      0 |    23073 |   282144
1002.33/1002.57	c  937s |      11 |  2935980 |    18844 |  2129091      0 |    23078 |   282216
1014.42/1014.69	c  949s |      11 |  2961502 |    18944 |  2129091      0 |    23088 |   282535
1019.63/1019.84	c  955s |      11 |  2981935 |    19044 |  2129091      0 |    23092 |   282733
1025.42/1025.66	c  960s |      11 |  3016802 |    19344 |  2129091      0 |    23096 |   282781
1027.84/1028.02	c  963s |      11 |  3047083 |    19444 |  2129091      0 |    23096 |   282781
1031.22/1031.44	c  966s |      11 |  3104746 |    19644 |  2129091      0 |    23097 |   282795
1035.02/1035.25	c  970s |      11 |  3132815 |    19744 |  2129091      0 |    23097 |   282795
1038.52/1038.75	c  973s |      11 |  3224508 |    20044 |  2129091      0 |    23098 |   282809
1042.92/1043.13	c  978s |      11 |  3274704 |    20244 |  2129091      0 |    23101 |   282846
1046.02/1046.27	c  981s |      11 |  3314302 |    20444 |  2129091      0 |    23103 |   282874
1049.73/1049.94	c  985s |      11 |  3354264 |    20844 |  2129091      0 |    23105 |   282903
1051.72/1051.95	c  987s |      11 |  3360651 |    21044 |  2129091      0 |    23105 |   282903
1057.42/1057.63	c  992s |      11 |  3384637 |    21144 |  2129091      0 |    23107 |   282927
1075.51/1075.74	c 1010s |      11 |  3436693 |    21244 |  2129091      0 |    23112 |   283204
1079.52/1079.74	c 1014s |      11 |  3451974 |    21344 |  2129091      0 |    23113 |   283220
1101.01/1101.29	c 1036s |      11 |  3525056 |    21444 |  2129091      0 |    23116 |   283523
1109.31/1109.52	c 1044s |      11 |  3555251 |    21544 |  2129091      0 |    23120 |   283760
1115.21/1115.40	c 1050s |      11 |  3574757 |    21644 |  2129091      0 |    23121 |   283774
1135.91/1136.19	c 1071s |      11 |  3659265 |    21944 |  2129091      0 |    23123 |   283802
1182.00/1182.28	c 1117s |      11 |  3867238 |    22044 |  2129091      0 |    23132 |   284073
1215.59/1215.88	c 1151s |      11 |  4069465 |    22144 |  2129091      0 |    23134 |   284102
1226.58/1226.88	c 1162s |      11 |  4099339 |    22244 |  2129091      0 |    23137 |   284144
1241.19/1241.44	c 1176s |      11 |  4131215 |    22344 |  2129091      0 |    23140 |   284426
1246.48/1246.77	c 1181s |      11 |  4153605 |    22644 |  2129091      0 |    23142 |   284455
1280.68/1280.92	c 1216s |      11 |  4288521 |    22744 |  2129091      0 |    23148 |   284865
1329.97/1330.29	c 1265s |      11 |  4540954 |    22844 |  2129091      0 |    23155 |   284964
1380.36/1380.67	c 1315s |      11 |  4845974 |    22944 |  2129091      0 |    23160 |   285036
1396.86/1397.11	c 1332s |      11 |  4889513 |    23044 |  2129091      0 |    23161 |   285050
1402.06/1402.37	c 1337s |      11 |  4909464 |    23144 |  2129091      0 |    23161 |   285050
1404.56/1404.80	c 1339s |      11 |  4918250 |    23244 |  2129091      0 |    23162 |   285064
1407.16/1407.48	c 1342s |      11 |  4925199 |    23444 |  2129091      0 |    23162 |   285064
1413.76/1414.07	c 1349s |      11 |  4939601 |    23544 |  2129091      0 |    23164 |   285094
1465.95/1466.20	c 1401s |      11 |  5218342 |    23644 |  2129091      0 |    23172 |   285208
1485.04/1485.30	c 1420s |      11 |  5359231 |    23744 |  2129091      0 |    23176 |   285264
1492.35/1492.70	c 1427s |      11 |  5384080 |    23844 |  2129091      0 |    23177 |   285279
1494.64/1494.91	c 1430s |      11 |  5384487 |    24044 |  2129091      0 |    23177 |   285279
1497.04/1497.37	c 1432s |      11 |  5384705 |    24244 |  2129091      0 |    23177 |   285279
1499.14/1499.46	c 1434s |      11 |  5384934 |    24444 |  2129091      0 |    23177 |   285279
1501.45/1501.75	c 1436s |      11 |  5385153 |    24644 |  2129091      0 |    23177 |   285279
1503.64/1503.98	c 1439s |      11 |  5385404 |    24844 |  2129091      0 |    23177 |   285279
1506.34/1506.64	c 1441s |      11 |  5385753 |    25144 |  2129091      0 |    23177 |   285279
1508.35/1508.65	c 1443s |      11 |  5385983 |    25344 |  2129091      0 |    23177 |   285279
1511.04/1511.39	c 1446s |      11 |  5386307 |    25644 |  2129091      0 |    23177 |   285279
1512.64/1512.91	c 1448s |      12 |  5386509 |    25819 |  2342001      0 |    23177 |   285279
1528.24/1528.55	c 1463s |      12 |  5449204 |    25919 |  2342001      0 |    23187 |   286096
1535.23/1535.53	c 1470s |      12 |  5486213 |    26019 |  2342001      0 |    23190 |   286138
1537.33/1537.64	c 1472s |      12 |  5493371 |    26319 |  2342001      0 |    23190 |   286138
1539.53/1539.83	c 1474s |      12 |  5493827 |    26719 |  2342001      0 |    23190 |   286138
1541.54/1541.83	c 1477s |      12 |  5494190 |    27019 |  2342001      0 |    23190 |   286138
1543.93/1544.27	c 1479s |      12 |  5494632 |    27419 |  2342001      0 |    23190 |   286138
1548.04/1548.36	c 1483s |      12 |  5522838 |    27619 |  2342001      0 |    23191 |   286152
1556.33/1556.67	c 1491s |      12 |  5550721 |    27719 |  2342001      0 |    23195 |   286208
1566.53/1566.86	c 1502s |      12 |  5575095 |    27819 |  2342001      0 |    23199 |   286265
1576.33/1576.65	c 1511s |      12 |  5604560 |    27919 |  2342001      0 |    23205 |   286349
1583.83/1584.14	c 1519s |      12 |  5621852 |    28019 |  2342001      0 |    23210 |   286419
1607.72/1608.07	c 1543s |      12 |  5651627 |    28119 |  2342001      0 |    23225 |   286629
1615.52/1615.82	c 1550s |      12 |  5673494 |    28219 |  2342001      0 |    23230 |   286699
1622.32/1622.63	c 1557s |      12 |  5721644 |    28319 |  2342001      0 |    23236 |   287043
1626.02/1626.39	c 1561s |      12 |  5769196 |    28419 |  2342001      0 |    23239 |   287085
1639.02/1639.33	c 1574s |      12 |  5782617 |    28519 |  2342001      0 |    23248 |   287302
1644.92/1645.27	c 1580s |      12 |  5797782 |    28619 |  2342001      0 |    23253 |   287494
1647.12/1647.47	c 1582s |      12 |  5876174 |    29019 |  2342001      0 |    23254 |   287616
1657.62/1657.92	c 1593s |      12 |  5882555 |    29119 |  2342001      0 |    23263 |   287740
1660.41/1660.76	c 1595s |      12 |  5883696 |    29319 |  2342001      0 |    23264 |   287886
1662.81/1663.10	c 1598s |      12 |  5884158 |    29719 |  2342001      0 |    23264 |   287886
1665.12/1665.45	c 1600s |      12 |  5884620 |    30119 |  2342001      0 |    23264 |   287886
1667.83/1668.20	c 1603s |      12 |  5884732 |    30219 |  2342001      0 |    23264 |   287886
1670.12/1670.49	c 1605s |      12 |  5885082 |    30519 |  2342001      0 |    23264 |   287886
1672.22/1672.52	c 1607s |      12 |  5885427 |    30819 |  2342001      0 |    23264 |   287886
1674.81/1675.10	c 1610s |      12 |  5885870 |    31219 |  2342001      0 |    23264 |   287886
1676.82/1677.16	c 1612s |      12 |  5886203 |    31519 |  2342001      0 |    23264 |   287886
1679.31/1679.62	c 1614s |      12 |  5886774 |    32019 |  2342001      0 |    23264 |   287886
1681.51/1681.87	c 1617s |      12 |  5887208 |    32419 |  2342001      0 |    23264 |   287886
1683.71/1684.05	c 1619s |      12 |  5887568 |    32719 |  2342001      0 |    23264 |   287886
1685.71/1686.07	c 1621s |      12 |  5887797 |    32919 |  2342001      0 |    23264 |   287886
1688.21/1688.52	c 1623s |      12 |  5888142 |    33219 |  2342001      0 |    23264 |   287886
1691.11/1691.46	c 1626s |      12 |  5888482 |    33519 |  2342001      0 |    23264 |   287886
1694.01/1694.37	c 1629s |      12 |  5888823 |    33819 |  2342001      0 |    23264 |   287886
1696.61/1696.99	c 1632s |      12 |  5889158 |    34119 |  2342001      0 |    23264 |   287886
1699.21/1699.55	c 1634s |      12 |  5889492 |    34419 |  2342001      0 |    23264 |   287886
1704.12/1704.46	c 1639s |      12 |  5889815 |    34719 |  2342001      0 |    23264 |   287886
1706.71/1707.03	c 1642s |      12 |  5890155 |    35019 |  2342001      0 |    23264 |   287886
1709.30/1709.69	c 1644s |      12 |  5890494 |    35319 |  2342001      0 |    23264 |   287886
1711.41/1711.71	c 1646s |      12 |  5890846 |    35619 |  2342001      0 |    23264 |   287886
1713.71/1714.09	c 1649s |      12 |  5891176 |    35919 |  2342001      0 |    23264 |   287886
1716.21/1716.55	c 1651s |      12 |  5891506 |    36219 |  2342001      0 |    23264 |   287886
1718.30/1718.69	c 1653s |      12 |  5891852 |    36519 |  2342001      0 |    23264 |   287886
1720.61/1720.95	c 1656s |      12 |  5892180 |    36819 |  2342001      0 |    23264 |   287886
1723.10/1723.41	c 1658s |      12 |  5892621 |    37219 |  2342001      0 |    23264 |   287886
1725.30/1725.60	c 1660s |      12 |  5892957 |    37519 |  2342001      0 |    23264 |   287886
1727.70/1728.01	c 1663s |      12 |  5893300 |    37819 |  2342001      0 |    23264 |   287886
1730.10/1730.49	c 1665s |      12 |  5893629 |    38119 |  2342001      0 |    23264 |   287886
1732.20/1732.50	c 1667s |      12 |  5893967 |    38419 |  2342001      0 |    23264 |   287886
1734.50/1734.86	c 1670s |      12 |  5894298 |    38719 |  2576202      0 |    23264 |   287886
1735.30/1735.67	c 1670s |      13 |  5894437 |    38832 |  2576202      0 |    23264 |   287886
1738.30/1738.61	c 1673s |      13 |  5928119 |    38932 |  2576202      0 |    23264 |   287886
1743.30/1743.69	c 1678s |      13 |  5961485 |    39032 |  2576202      0 |    23266 |   288022
1746.60/1746.93	c 1682s |      13 |  5978118 |    39132 |  2576202      0 |    23268 |   288050
1749.40/1749.74	c 1684s |      13 |  6000669 |    39232 |  2576202      0 |    23270 |   288193
1774.00/1774.38	c 1709s |      13 |  6055406 |    39632 |  2576202      0 |    23289 |   288461
1781.69/1782.06	c 1717s |      13 |  6078843 |    39732 |  2576202      0 |    23289 |   288461
1786.50/1786.88	c 1722s |      13 |  6096864 |    39932 |  2576202      0 |    23291 |   288479
1795.99/1796.36	c 1731s |      13 |  6126459 |    40032 |  2576202      0 |    23297 |   288819

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

pid=14607
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.11 2.15 2.39 3/177 14610
/proc/meminfo: memFree=29043412/32872528 swapFree=17280/1464432
[pid=14610] ppid=14607 vsize=620988 CPUtime=0 cores=1,3,5,7
/proc/14610/stat : 14610 (toysat) R 14607 14610 5982 0 -1 4202496 2294 0 0 0 0 0 0 0 20 0 4 0 109547066 635891712 3166 33554432000 4194304 16246674 140733482507072 140733482506496 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14610/statm: 155759 3175 441 2943 0 152653 0
[pid=14610/tid=14611] ppid=14607 vsize=644540 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14611/stat : 14611 (toysat) S 14607 14610 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109547066 660008960 3259 33554432000 4194304 16246674 140733482507072 139948585889008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14610/tid=14612] ppid=14607 vsize=648636 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14612/stat : 14612 (toysat) S 14607 14610 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109547066 664203264 3275 33554432000 4194304 16246674 140733482507072 139948575399152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14610/tid=14613] ppid=14607 vsize=652732 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14613/stat : 14613 (toysat) S 14607 14610 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109547066 668397568 3291 33554432000 4194304 16246674 140733482507072 139948489436336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10018 s]
/proc/loadavg: 2.11 2.15 2.39 3/177 14610
/proc/meminfo: memFree=29043412/32872528 swapFree=17280/1464432
[pid=14610] ppid=14607 vsize=1221188 CPUtime=0.08 cores=1,3,5,7
/proc/14610/stat : 14610 (toysat) R 14607 14610 5982 0 -1 4202496 27060 0 0 0 5 3 0 0 20 0 4 0 109547066 1250496512 27870 33554432000 4194304 16246674 140733482507072 140733482506384 4206649 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14610/statm: 305297 27870 800 2943 0 302191 0
[pid=14610/tid=14611] ppid=14607 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14611/stat : 14611 (toysat) S 14607 14610 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109547066 1250496512 27870 33554432000 4194304 16246674 140733482507072 139948585889008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14610/tid=14612] ppid=14607 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14612/stat : 14612 (toysat) S 14607 14610 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109547066 1250496512 27870 33554432000 4194304 16246674 140733482507072 139948575399152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14610/tid=14613] ppid=14607 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14613/stat : 14613 (toysat) S 14607 14610 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109547066 1250496512 27870 33554432000 4194304 16246674 140733482507072 139948489436336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1221188

[startup+0.200564 s]
/proc/loadavg: 2.11 2.15 2.39 3/177 14610
/proc/meminfo: memFree=29043412/32872528 swapFree=17280/1464432
[pid=14610] ppid=14607 vsize=1313348 CPUtime=0.19 cores=1,3,5,7
/proc/14610/stat : 14610 (toysat) R 14607 14610 5982 0 -1 4202496 49364 0 0 0 13 6 0 0 20 0 4 0 109547066 1344868352 50685 33554432000 4194304 16246674 140733482507072 140733482506384 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14610/statm: 328337 50693 801 2943 0 325231 0
[pid=14610/tid=14611] ppid=14607 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14611/stat : 14611 (toysat) S 14607 14610 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109547066 1344868352 50696 33554432000 4194304 16246674 140733482507072 139948585889008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14610/tid=14612] ppid=14607 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14612/stat : 14612 (toysat) S 14607 14610 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109547066 1344868352 50701 33554432000 4194304 16246674 140733482507072 139948575399152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14610/tid=14613] ppid=14607 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14613/stat : 14613 (toysat) S 14607 14610 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109547066 1344868352 50705 33554432000 4194304 16246674 140733482507072 139948489436336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1313348

[startup+0.300482 s]
/proc/loadavg: 2.11 2.15 2.39 3/177 14610
/proc/meminfo: memFree=29043412/32872528 swapFree=17280/1464432
[pid=14610] ppid=14607 vsize=1313348 CPUtime=0.29 cores=1,3,5,7
/proc/14610/stat : 14610 (toysat) R 14607 14610 5982 0 -1 4202496 62115 0 0 0 21 8 0 0 20 0 4 0 109547066 1344868352 63436 33554432000 4194304 16246674 140733482507072 140733482506384 4221129 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14610/statm: 328337 63436 801 2943 0 325231 0
[pid=14610/tid=14611] ppid=14607 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14611/stat : 14611 (toysat) S 14607 14610 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109547066 1344868352 63436 33554432000 4194304 16246674 140733482507072 139948585889008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14610/tid=14612] ppid=14607 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14612/stat : 14612 (toysat) S 14607 14610 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109547066 1344868352 63436 33554432000 4194304 16246674 140733482507072 139948575399152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14610/tid=14613] ppid=14607 vsize=1313348 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14613/stat : 14613 (toysat) S 14607 14610 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109547066 1344868352 63436 33554432000 4194304 16246674 140733482507072 139948489436336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1313348

[startup+0.700403 s]
/proc/loadavg: 2.11 2.15 2.39 3/177 14610
/proc/meminfo: memFree=29043412/32872528 swapFree=17280/1464432
[pid=14610] ppid=14607 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/14610/stat : 14610 (toysat) R 14607 14610 5982 0 -1 4202496 69799 0 0 0 60 9 0 0 20 0 4 0 109547066 1345916928 71120 33554432000 4194304 16246674 140733482507072 140733482506384 14073329 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14610/statm: 328593 71120 801 2943 0 325487 0
[pid=14610/tid=14611] ppid=14607 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14611/stat : 14611 (toysat) S 14607 14610 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109547066 1345916928 71120 33554432000 4194304 16246674 140733482507072 139948585889008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14610/tid=14612] ppid=14607 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14612/stat : 14612 (toysat) S 14607 14610 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109547066 1345916928 71120 33554432000 4194304 16246674 140733482507072 139948575399152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14610/tid=14613] ppid=14607 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14613/stat : 14613 (toysat) S 14607 14610 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109547066 1345916928 71120 33554432000 4194304 16246674 140733482507072 139948489436336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50055 s]
/proc/loadavg: 2.11 2.15 2.39 3/181 14614
/proc/meminfo: memFree=28695452/32872528 swapFree=17280/1464432
[pid=14610] ppid=14607 vsize=1314372 CPUtime=1.49 cores=1,3,5,7
/proc/14610/stat : 14610 (toysat) R 14607 14610 5982 0 -1 4202496 85898 0 0 0 138 11 0 0 20 0 4 0 109547066 1345916928 87219 33554432000 4194304 16246674 140733482507072 140733482506248 7367712 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14610/statm: 328593 87219 802 2943 0 325487 0
[pid=14610/tid=14611] ppid=14607 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14611/stat : 14611 (toysat) S 14607 14610 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109547066 1345916928 87219 33554432000 4194304 16246674 140733482507072 139948585889008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14610/tid=14612] ppid=14607 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14612/stat : 14612 (toysat) S 14607 14610 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109547066 1345916928 87219 33554432000 4194304 16246674 140733482507072 139948575399152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14610/tid=14613] ppid=14607 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14613/stat : 14613 (toysat) S 14607 14610 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109547066 1345916928 87219 33554432000 4194304 16246674 140733482507072 139948489436336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1314372

[startup+3.10042 s]
/proc/loadavg: 2.11 2.15 2.39 3/181 14614
/proc/meminfo: memFree=28607168/32872528 swapFree=17280/1464432
[pid=14610] ppid=14607 vsize=1324612 CPUtime=3.09 cores=1,3,5,7
/proc/14610/stat : 14610 (toysat) R 14607 14610 5982 0 -1 4202496 119476 0 0 0 293 16 0 0 20 0 4 0 109547066 1356402688 120797 33554432000 4194304 16246674 140733482507072 140733482504896 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14610/statm: 331153 120797 802 2943 0 328047 0
[pid=14610/tid=14611] ppid=14607 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14611/stat : 14611 (toysat) S 14607 14610 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109547066 1356402688 120797 33554432000 4194304 16246674 140733482507072 139948585889008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14610/tid=14612] ppid=14607 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14612/stat : 14612 (toysat) S 14607 14610 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109547066 1356402688 120797 33554432000 4194304 16246674 140733482507072 139948575399152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14610/tid=14613] ppid=14607 vsize=1324612 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14613/stat : 14613 (toysat) S 14607 14610 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109547066 1356402688 120797 33554432000 4194304 16246674 140733482507072 139948489436336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1324612

[startup+6.30044 s]
/proc/loadavg: 2.10 2.15 2.39 3/181 14614
/proc/meminfo: memFree=28145052/32872528 swapFree=17280/1464432
[pid=14610] ppid=14607 vsize=1373764 CPUtime=6.28 cores=1,3,5,7
/proc/14610/stat : 14610 (toysat) R 14607 14610 5982 0 -1 4202496 216462 0 0 0 596 32 0 0 20 0 4 0 109547066 1406734336 225959 33554432000 4194304 16246674 140733482507072 140733482506168 7364404 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14610/statm: 343441 225959 802 2943 0 340335 0
[pid=14610/tid=14611] ppid=14607 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14611/stat : 14611 (toysat) S 14607 14610 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109547066 1406734336 225959 33554432000 4194304 16246674 140733482507072 139948585889008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14610/tid=14612] ppid=14607 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14612/stat : 14612 (toysat) S 14607 14610 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109547066 1406734336 225959 33554432000 4194304 16246674 140733482507072 139948575399152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14610/tid=14613] ppid=14607 vsize=1373764 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14613/stat : 14613 (toysat) S 14607 14610 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109547066 1406734336 225959 33554432000 4194304 16246674 140733482507072 139948489436336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1373764

[startup+12.7069 s]
/proc/loadavg: 2.09 2.15 2.39 3/181 14614
/proc/meminfo: memFree=27791132/32872528 swapFree=17280/1464432
[pid=14610] ppid=14607 vsize=1488452 CPUtime=12.69 cores=1,3,5,7
/proc/14610/stat : 14610 (toysat) R 14607 14610 5982 0 -1 4202496 300426 0 0 0 1223 46 0 0 20 0 4 0 109547066 1524174848 314011 33554432000 4194304 16246674 140733482507072 140733482506168 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14610/statm: 372113 314011 802 2943 0 369007 0
[pid=14610/tid=14611] ppid=14607 vsize=1488452 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14611/stat : 14611 (toysat) S 14607 14610 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109547066 1524174848 314011 33554432000 4194304 16246674 140733482507072 139948585889008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14610/tid=14612] ppid=14607 vsize=1488452 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14612/stat : 14612 (toysat) S 14607 14610 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109547066 1524174848 314011 33554432000 4194304 16246674 140733482507072 139948575399152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14610/tid=14613] ppid=14607 vsize=1488452 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14613/stat : 14613 (toysat) S 14607 14610 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109547066 1524174848 314011 33554432000 4194304 16246674 140733482507072 139948489436336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1488452

[startup+25.5004 s]
/proc/loadavg: 2.07 2.14 2.38 3/181 14614
/proc/meminfo: memFree=26739988/32872528 swapFree=17280/1464432
[pid=14610] ppid=14607 vsize=2538052 CPUtime=25.49 cores=1,3,5,7
/proc/14610/stat : 14610 (toysat) R 14607 14610 5982 0 -1 4202496 562876 0 0 0 2466 83 0 0 20 0 4 0 109547066 2598965248 576461 33554432000 4194304 16246674 140733482507072 140733482506248 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14610/statm: 634513 576461 848 2943 0 631407 0
[pid=14610/tid=14611] ppid=14607 vsize=2538052 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14611/stat : 14611 (toysat) S 14607 14610 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109547066 2598965248 576461 33554432000 4194304 16246674 140733482507072 139948585889008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14610/tid=14612] ppid=14607 vsize=2538052 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14612/stat : 14612 (toysat) S 14607 14610 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109547066 2598965248 576461 33554432000 4194304 16246674 140733482507072 139948575399152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14610/tid=14613] ppid=14607 vsize=2538052 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14613/stat : 14613 (toysat) S 14607 14610 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109547066 2598965248 576461 33554432000 4194304 16246674 140733482507072 139948489436336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 2538052

[startup+51.1004 s]
/proc/loadavg: 2.19 2.16 2.38 3/181 14614
/proc/meminfo: memFree=25027004/32872528 swapFree=17280/1464432
[pid=14610] ppid=14607 vsize=4252228 CPUtime=51.09 cores=1,3,5,7
/proc/14610/stat : 14610 (toysat) R 14607 14610 5982 0 -1 4202496 991248 0 0 0 4967 142 0 0 20 0 4 0 109547066 4354281472 1004833 33554432000 4194304 16246674 140733482507072 140733482505736 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14610/statm: 1063057 1004836 850 2943 0 1059951 0
[pid=14610/tid=14611] ppid=14607 vsize=4252228 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14611/stat : 14611 (toysat) S 14607 14610 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109547066 4354281472 1004850 33554432000 4194304 16246674 140733482507072 139948585889008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14610/tid=14612] ppid=14607 vsize=4252228 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14612/stat : 14612 (toysat) S 14607 14610 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109547066 4354281472 1004854 33554432000 4194304 16246674 140733482507072 139948575398928 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=14610/tid=14613] ppid=14607 vsize=4252228 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14613/stat : 14613 (toysat) S 14607 14610 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109547066 4354281472 1004858 33554432000 4194304 16246674 140733482507072 139948489436336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 4252228

[startup+102.3 s]
/proc/loadavg: 2.14 2.15 2.36 4/182 14619
/proc/meminfo: memFree=23406620/32872528 swapFree=17280/1464432
[pid=14610] ppid=14607 vsize=5864004 CPUtime=102.27 cores=1,3,5,7
/proc/14610/stat : 14610 (toysat) R 14607 14610 5982 0 -1 4202496 1488626 0 0 0 10008 219 0 0 20 0 4 0 109547066 6004740096 1408003 33554432000 4194304 16246674 140733482507072 140733482506248 5659293 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14610/statm: 1466001 1408003 896 2943 0 1462895 0
[pid=14610/tid=14611] ppid=14607 vsize=5864004 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14611/stat : 14611 (toysat) S 14607 14610 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109547066 6004740096 1408003 33554432000 4194304 16246674 140733482507072 139948585889008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14610/tid=14612] ppid=14607 vsize=5864004 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14612/stat : 14612 (toysat) S 14607 14610 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109547066 6004740096 1408003 33554432000 4194304 16246674 140733482507072 139948575399152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14610/tid=14613] ppid=14607 vsize=5864004 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14613/stat : 14613 (toysat) S 14607 14610 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109547066 6004740096 1408003 33554432000 4194304 16246674 140733482507072 139948489436336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 5864004


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

/proc/14610/task/14611/stat : 14611 (toysat) S 14607 14610 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 139948585889008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14610/tid=14612] ppid=14607 vsize=5839428 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14612/stat : 14612 (toysat) S 14607 14610 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 139948575399152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14610/tid=14613] ppid=14607 vsize=5839428 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14613/stat : 14613 (toysat) S 14607 14610 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 139948489436336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1302.08
Current children cumulated vsize (KiB) 5839428

[startup+1362.3 s]
/proc/loadavg: 2.20 2.25 2.26 3/181 14650
/proc/meminfo: memFree=23363696/32872528 swapFree=17280/1464432
[pid=14610] ppid=14607 vsize=5839428 CPUtime=1362.08 cores=1,3,5,7
/proc/14610/stat : 14610 (toysat) R 14607 14610 5982 0 -1 4202496 1488643 0 0 0 135830 378 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 140733482506248 5659568 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14610/statm: 1459857 1401859 896 2943 0 1456751 0
[pid=14610/tid=14611] ppid=14607 vsize=5839428 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14611/stat : 14611 (toysat) S 14607 14610 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 139948585889008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14610/tid=14612] ppid=14607 vsize=5839428 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14612/stat : 14612 (toysat) S 14607 14610 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 139948575399152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14610/tid=14613] ppid=14607 vsize=5839428 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14613/stat : 14613 (toysat) S 14607 14610 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 139948489436336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1362.08
Current children cumulated vsize (KiB) 5839428

[startup+1422.3 s]
/proc/loadavg: 2.21 2.25 2.26 3/181 14651
/proc/meminfo: memFree=23363720/32872528 swapFree=17280/1464432
[pid=14610] ppid=14607 vsize=5839428 CPUtime=1422.06 cores=1,3,5,7
/proc/14610/stat : 14610 (toysat) R 14607 14610 5982 0 -1 4202496 1488643 0 0 0 141824 382 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 140733482506248 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14610/statm: 1459857 1401859 896 2943 0 1456751 0
[pid=14610/tid=14611] ppid=14607 vsize=5839428 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14611/stat : 14611 (toysat) S 14607 14610 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 139948585889008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14610/tid=14612] ppid=14607 vsize=5839428 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14612/stat : 14612 (toysat) S 14607 14610 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 139948575399152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14610/tid=14613] ppid=14607 vsize=5839428 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14613/stat : 14613 (toysat) S 14607 14610 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 139948489436336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1422.06
Current children cumulated vsize (KiB) 5839428

[startup+1482.31 s]
/proc/loadavg: 2.28 2.26 2.27 4/181 14652
/proc/meminfo: memFree=23363564/32872528 swapFree=17280/1464432
[pid=14610] ppid=14607 vsize=5839428 CPUtime=1482.05 cores=1,3,5,7
/proc/14610/stat : 14610 (toysat) R 14607 14610 5982 0 -1 4202496 1488646 0 0 0 147818 387 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 140733482506248 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14610/statm: 1459857 1401859 896 2943 0 1456751 0
[pid=14610/tid=14611] ppid=14607 vsize=5839428 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14611/stat : 14611 (toysat) S 14607 14610 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 139948585889008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14610/tid=14612] ppid=14607 vsize=5839428 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14612/stat : 14612 (toysat) S 14607 14610 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 139948575399152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14610/tid=14613] ppid=14607 vsize=5839428 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14613/stat : 14613 (toysat) S 14607 14610 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 139948489436336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1482.05
Current children cumulated vsize (KiB) 5839428

[startup+1542.3 s]
/proc/loadavg: 2.16 2.23 2.25 3/181 14653
/proc/meminfo: memFree=23363584/32872528 swapFree=17280/1464432
[pid=14610] ppid=14607 vsize=5839428 CPUtime=1542.04 cores=1,3,5,7
/proc/14610/stat : 14610 (toysat) R 14607 14610 5982 0 -1 4202496 1488649 0 0 0 153809 395 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 140733482506248 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14610/statm: 1459857 1401859 896 2943 0 1456751 0
[pid=14610/tid=14611] ppid=14607 vsize=5839428 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14611/stat : 14611 (toysat) S 14607 14610 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 139948585889008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14610/tid=14612] ppid=14607 vsize=5839428 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14612/stat : 14612 (toysat) S 14607 14610 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 139948575399152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14610/tid=14613] ppid=14607 vsize=5839428 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14613/stat : 14613 (toysat) S 14607 14610 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 139948489436336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 5839428

[startup+1602.3 s]
/proc/loadavg: 2.20 2.23 2.25 3/181 14655
/proc/meminfo: memFree=23363488/32872528 swapFree=17280/1464432
[pid=14610] ppid=14607 vsize=5839428 CPUtime=1602.03 cores=1,3,5,7
/proc/14610/stat : 14610 (toysat) R 14607 14610 5982 0 -1 4202496 1488649 0 0 0 159800 403 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 140733482506248 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14610/statm: 1459857 1401859 896 2943 0 1456751 0
[pid=14610/tid=14611] ppid=14607 vsize=5839428 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14611/stat : 14611 (toysat) S 14607 14610 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 139948585889008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14610/tid=14612] ppid=14607 vsize=5839428 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14612/stat : 14612 (toysat) S 14607 14610 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 139948575399152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14610/tid=14613] ppid=14607 vsize=5839428 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14613/stat : 14613 (toysat) S 14607 14610 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 139948489436336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 5839428

[startup+1662.3 s]
/proc/loadavg: 2.23 2.23 2.25 4/181 14656
/proc/meminfo: memFree=23362888/32872528 swapFree=17280/1464432
[pid=14610] ppid=14607 vsize=5839428 CPUtime=1662.01 cores=1,3,5,7
/proc/14610/stat : 14610 (toysat) R 14607 14610 5982 0 -1 4202496 1488649 0 0 0 165787 414 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 140733482506248 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14610/statm: 1459857 1401859 896 2943 0 1456751 0
[pid=14610/tid=14611] ppid=14607 vsize=5839428 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14611/stat : 14611 (toysat) S 14607 14610 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 139948585889008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14610/tid=14612] ppid=14607 vsize=5839428 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14612/stat : 14612 (toysat) S 14607 14610 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 139948575399152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14610/tid=14613] ppid=14607 vsize=5839428 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14613/stat : 14613 (toysat) S 14607 14610 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 139948489436336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1662.01
Current children cumulated vsize (KiB) 5839428

[startup+1722.3 s]
/proc/loadavg: 2.28 2.25 2.25 3/181 14657
/proc/meminfo: memFree=23363224/32872528 swapFree=17280/1464432
[pid=14610] ppid=14607 vsize=5839428 CPUtime=1722 cores=1,3,5,7
/proc/14610/stat : 14610 (toysat) R 14607 14610 5982 0 -1 4202496 1488653 0 0 0 171780 420 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 140733482506248 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14610/statm: 1459857 1401859 896 2943 0 1456751 0
[pid=14610/tid=14611] ppid=14607 vsize=5839428 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14611/stat : 14611 (toysat) S 14607 14610 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 139948585889008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14610/tid=14612] ppid=14607 vsize=5839428 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14612/stat : 14612 (toysat) S 14607 14610 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 139948575399152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14610/tid=14613] ppid=14607 vsize=5839428 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14613/stat : 14613 (toysat) S 14607 14610 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 139948489436336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 5839428

[startup+1782.3 s]
/proc/loadavg: 2.25 2.24 2.25 3/181 14707
/proc/meminfo: memFree=24157620/32872528 swapFree=17280/1464432
[pid=14610] ppid=14607 vsize=5839428 CPUtime=1781.99 cores=1,3,5,7
/proc/14610/stat : 14610 (toysat) R 14607 14610 5982 0 -1 4202496 1488653 0 0 0 177770 429 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 140733482506248 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14610/statm: 1459857 1401859 896 2943 0 1456751 0
[pid=14610/tid=14611] ppid=14607 vsize=5839428 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14611/stat : 14611 (toysat) S 14607 14610 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 139948585889008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14610/tid=14612] ppid=14607 vsize=5839428 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14612/stat : 14612 (toysat) S 14607 14610 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 139948575399152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14610/tid=14613] ppid=14607 vsize=5839428 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14613/stat : 14613 (toysat) S 14607 14610 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 139948489436336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 5839428



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.3 s]
/proc/loadavg: 2.31 2.26 2.26 3/181 14707
/proc/meminfo: memFree=23431532/32872528 swapFree=17280/1464432
[pid=14610] ppid=14607 vsize=5839428 CPUtime=1800 cores=1,3,5,7
/proc/14610/stat : 14610 (toysat) R 14607 14610 5982 0 -1 4202496 1488653 0 0 0 179567 433 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 140733482506248 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14610/statm: 1459857 1401859 896 2943 0 1456751 0
[pid=14610/tid=14611] ppid=14607 vsize=5839428 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14611/stat : 14611 (toysat) S 14607 14610 5982 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 139948585889008 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=14610/tid=14612] ppid=14607 vsize=5839428 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14612/stat : 14612 (toysat) S 14607 14610 5982 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 139948575399152 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=14610/tid=14613] ppid=14607 vsize=5839428 CPUtime=0 cores=1,3,5,7
/proc/14610/task/14613/stat : 14613 (toysat) S 14607 14610 5982 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 109547066 5979574272 1401859 33554432000 4194304 16246674 140733482507072 139948489436336 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1800
Current children cumulated vsize (KiB) 5839428

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 14610 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+1800.5 s]
/proc/loadavg: 2.31 2.26 2.26 3/181 14707
/proc/meminfo: memFree=23431532/32872528 swapFree=17280/1464432
[pid=14610] ppid=14607 vsize=0 CPUtime=1800.19 cores=1,3,5,7
/proc/14610/stat : 14610 (toysat) Z 14607 14610 5982 0 -1 4203532 1488653 0 0 0 179567 452 0 0 20 0 2 0 109547066 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/14610/statm: 0 0 0 0 0 0 0
[pid=14610/tid=14612] ppid=14607 vsize=0 CPUtime=0.18 cores=1,3,5,7
/proc/14610/task/14612/stat : 14612 (toysat) R 14607 14610 5982 0 -1 4203588 8 0 0 0 0 18 0 0 20 0 2 0 109547066 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1800.19
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.52
CPU time (s): 1800.22
CPU user time (s): 1795.68
CPU system time (s): 4.53831
CPU usage (%): 99.9833
Max. virtual memory (cumulated for all children) (KiB): 6238788

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.68
system time used= 4.53831
maximum resident set size= 6008772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1488653
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= 218
involuntary context switches= 1844

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1293 second user time and 11.4803 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-07 07:09:00
IDJOB=4078858
IDBENCH=89731
IDSOLVER=2542
FILE ID=node121/4078858-1465276138
RUNJOBID= node121-1465274317-14315
PBS_JOBID= 19843282
Free space on /tmp= 71596 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB11/normalized-PB11/DEC-SMALLINT-LIN/lopes/normalized-167.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4078858-1465276138/watcher-4078858-1465276138 -o /tmp/evaluation-result-4078858-1465276138/solver-4078858-1465276138 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node121-1465274317-14315 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4078858-1465276138.opb

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

MD5SUM BENCH= 7cf213338254036b9868078970e2a948
RANDOM SEED=1031229488

node121.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		: 2667.050
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	: 5334.10
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		: 2667.050
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	: 5332.55
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		: 2667.050
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.57
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		: 2667.050
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		: 2667.050
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.55
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		: 2667.050
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.56
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		: 2667.050
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.54
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		: 2667.050
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.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29043940 kB
Buffers:          113564 kB
Cached:           408820 kB
SwapCached:         1720 kB
Active:          1358100 kB
Inactive:         262332 kB
Active(anon):    1097996 kB
Inactive(anon):     2180 kB
Active(file):     260104 kB
Inactive(file):   260152 kB
Unevictable:     1464432 kB
Mlocked:           17280 kB
SwapTotal:      67108856 kB
SwapFree:       67099332 kB
Dirty:            156068 kB
Writeback:             0 kB
AnonPages:       2563876 kB
Mapped:            10668 kB
Shmem:                 0 kB
Slab:             609424 kB
SReclaimable:      53304 kB
SUnreclaim:       556120 kB
KernelStack:        1448 kB
PageTables:         9088 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2694224 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1456128 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= 71592 MiB
End job on node121 at 2016-06-07 07:39:01