Trace number 4093073

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

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/
normalized-cache.inv14.ucl--soft-66-100-0.wbo
MD5SUM49b917538dc517f3b04d67f1cc33a27a
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmark
Best cost obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables62704
Total number of constraints187107
Number of soft constraints63512
Number of constraints which are clauses186603
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints504
Minimum length of a constraint1
Maximum length of a constraint11
Top cost 3204757
Min constraint cost 1
Max constraint cost 100
Sum of constraints costs 3204756
Biggest number in a constraint 33
Number of bits of the biggest number in a constraint 6
Biggest sum of numbers in a constraint 126
Number of bits of the biggest sum of numbers7
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-16T13:12:39+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","--wbo","--search=bcd2","HOME/instance-4093073-1466075558.wbo"]
0.00/0.01	c use --random-gen="4066839817 3000351315 2792674171 2272433007 1593365171 363577810 1708319100 1015896985 1812766020 38528598 2530421575 2244646626 593472981 343358933 1524999706 3820273329 1313966513 1040064154 765626900 2741251059 3109910452 1122594812 2246263938 1155639632 2001094583 1813585927 2341705039 294332299 1315274473 440754884 375109489 679627983 2690703840 2617007754 384887910 391024343 3374919885 115491319 486443206 1511134243 360237086 387617164 129339921 2254821936 1830264725 2976070317 2453820479 1098338248 2522229811 1070980462 3259335453 2063794258 1453262633 387142366 3220559038 3705888764 4186713541 3679391129 1021835825 1610699796 3867633568 678515625 2954505519 670199081 4081965678 798964129 752464992 1058026162 3744727751 2011933786 3665071102 1801745584 2473741186 4199929654 15623520 648181200 830009234 592332594 3252903932 1388571899 612018680 1161445898 2566155726 261187980 2349573368 3642069360 2998101566 4016793620 4186909364 198959653 579540258 3750612925 3398476347 2312151027 2064301168 837886364 817331667 4049693778 1966175577 1285552495 2582143275 2733237097 3530615162 2735334814 3549780626 2741267371 3297077989 640313110 4213784687 1181876730 6195461 448924114 3608750468 3306307854 409991032 1314805554 2053260366 1622337865 3914133398 3606606787 3636327665 4140629177 4270706161 2827393523 4174981814 2516310348 1722542384 3443648416 1216650990 1354320208 3195783461 2069244045 1493326880 341918744 2367607724 2310445588 108670689 2831680412 4208130432 1687317132 2458811420 4123735343 1727329029 1704535415 2673159750 1201914305 3436339246 2344760813 937760252 1522332578 327392976 3634956463 1500303706 3889926604 3740679794 2233950881 2004660127 1207347143 3475656949 4006433207 235878299 2310489768 2099794508 506106626 2148798876 3122562926 1086288084 2840710036 3802878098 193566452 640483608 1624497293 4066317913 3129949282 1993763832 2693450815 3519259965 1028098714 885389548 1898129414 72826542 3542608192 3471263222 855198878 3584072056 3093764548 2458615601 2985480969 1913828220 3023037020 1113794422 942420479 4059052703 1892803950 3807395233 3014789067 1784945979 2973760278 1732828007 1640910665 1079490971 3261763993 2219298863 1988818755 986653627 1590481741 284121897 991306654 2028065643 1393219788 2377825144 4167579635 3036744059 2364491486 1728521979 483850692 953389486 1080403344 1054454084 3119446710 258073189 2225919695 164502304 1090421105 3724546419 2298367839 994042695 4172179597 3012677148 3131288433 2994780468 3408180788 1152334915 1386346001 3603619808 1666963749 248226560 3205218974 3296360930 44311188 1953898694 3878941490 1097262826 4153032222 1986518237 2222419382 478345710 2514300862 3731100241 1204012694 1055353893 4273986606 3104872795 260277961 2768907088 3592545715 255 362436" option to reproduce the execution
3.59/3.66	c #vars 62704
3.59/3.66	c #constraints 187107
6.99/7.04	c BCD2: Hardening is enabled.
6.99/7.04	c BCD2: BiasedSearch is enabled.
6.99/7.04	c Solving starts ...
6.99/7.04	c ============================[ Search Statistics ]============================
6.99/7.04	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
6.99/7.04	c       |         |          |          |    Limit     GC | Var      | Constra 
6.99/7.04	c =============================================================================
6.99/7.05	c  0.0s |       0 |        0 |        0 |   104440      0 |        1 |        0
7.59/7.68	c  0.6s |       1 |   104712 |      100 |   104440      0 |        1 |        0
8.19/8.21	c  1.2s |       1 |   217941 |      109 |   114885      0 |        1 |        0
8.19/8.21	c #cpu_time = 1.075s
8.19/8.21	c #wall_clock_time = 1.078s
8.19/8.21	c #decision = 217941
8.19/8.21	c #random_decision = 635
8.19/8.21	c #conflict = 109
8.19/8.21	c #restart = 1
8.19/8.23	o 9571
8.39/8.46	c BCD2: updating upper bound: 3204798 -> 9612
8.79/8.82	c BCD2: 0 <= obj <= 9612
8.79/8.83	c BCD2: #cores=0, #unrelaxed=63513, #relaxed=0, #hardened=0
8.79/8.83	c BCD2: #sat=1 #unsat=1 bias=1/2
8.79/8.84	c Solving starts ...
8.79/8.84	c ============================[ Search Statistics ]============================
8.79/8.84	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
8.79/8.84	c       |         |          |          |    Limit     GC | Var      | Constra 
8.79/8.84	c =============================================================================
8.79/8.84	c  0.0s |       0 |        0 |        0 |   114885      0 |        1 |        0
8.90/8.96	c  0.1s |       0 |        0 |        0 |   114885      0 |        1 |        0
8.90/8.96	c #cpu_time = 0.116s
8.90/8.96	c #wall_clock_time = 0.116s
8.90/8.96	c #decision = 0
8.90/8.96	c #random_decision = 0
8.90/8.96	c #conflict = 0
8.90/8.96	c #restart = 0
8.90/8.96	c BCD2: found a new core of size 1: cost of the new core is >=42
8.90/8.96	c lower bound updated to 0
8.90/8.98	c BCD2: 42 <= obj <= 9612
8.90/8.98	c BCD2: #cores=1, #unrelaxed=63512, #relaxed=1, #hardened=0
8.90/8.98	c BCD2: #sat=1 #unsat=2 bias=2/3
8.90/8.99	c Solving starts ...
8.90/8.99	c ============================[ Search Statistics ]============================
8.90/8.99	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
8.90/8.99	c       |         |          |          |    Limit     GC | Var      | Constra 
8.90/8.99	c =============================================================================
8.90/8.99	c  0.0s |       0 |        0 |        0 |   114885      0 |        1 |        0
10.29/10.37	c  1.4s |       1 |    63805 |      100 |   114885      0 |        1 |        0
12.79/12.86	c  3.9s |       2 |   127931 |      250 |   126374      0 |        1 |        0
15.29/15.38	c  6.4s |       2 |   313564 |      350 |   126374      0 |        1 |        0
17.49/17.54	c  8.6s |       2 |   313755 |      450 |   139012      0 |        1 |        0
18.19/18.29	c  9.3s |       3 |   313783 |      475 |   139012      0 |        1 |        0
20.79/20.85	c 11.9s |       3 |   377538 |      575 |   139012      0 |        1 |        0
23.19/23.27	c 14.3s |       3 |   377730 |      675 |   139012      0 |        1 |        0
25.29/25.39	c 16.4s |       3 |   377899 |      775 |   152914      0 |        1 |        0
25.49/25.56	c 16.6s |       4 |   378001 |      813 |   152914      0 |        1 |        0
28.18/28.27	c 19.3s |       4 |   502899 |      913 |   152914      0 |        1 |        0
30.58/30.60	c 21.6s |       4 |   503038 |     1013 |   152914      0 |        1 |        0
33.28/33.36	c 24.4s |       4 |   503366 |     1213 |   168206      0 |        1 |        0
35.88/35.91	c 26.9s |       4 |   503518 |     1313 |   168206      0 |        1 |        0
36.08/36.16	c 27.2s |       5 |   503559 |     1320 |   168206      0 |        1 |        0
39.98/40.02	c 31.0s |       5 |   567463 |     1420 |   168206      0 |        1 |        0
44.59/44.61	c 35.6s |       5 |   567833 |     1620 |   168206      0 |        1 |        0
47.78/47.89	c 38.9s |       5 |   568042 |     1720 |   168206      0 |        1 |        0
51.08/51.16	c 42.2s |       5 |   568252 |     1820 |   168206      0 |        1 |        0
55.09/55.12	c 46.1s |       5 |   568421 |     1920 |   168206      0 |        1 |        0
59.18/59.26	c 50.3s |       5 |   568664 |     2020 |   185027      0 |        1 |        0
60.38/60.47	c 51.5s |       6 |   568794 |     2081 |   185027      0 |        1 |        0
62.58/62.60	c 53.6s |       6 |   632574 |     2181 |   185027      0 |        1 |        0
66.78/66.82	c 57.8s |       6 |   633065 |     2381 |   185027      0 |        1 |        0
69.28/69.33	c 60.3s |       6 |   633266 |     2481 |   185027      0 |        1 |        0
72.98/73.01	c 64.0s |       6 |   633428 |     2581 |   185027      0 |        1 |        0
75.87/75.90	c 66.9s |       6 |   633582 |     2681 |   185027      0 |        1 |        0
79.88/79.97	c 71.0s |       6 |   633729 |     2781 |   185027      0 |        1 |        0
82.88/82.90	c 73.9s |       6 |   633882 |     2881 |   185027      0 |        1 |        0
86.48/86.57	c 77.6s |       6 |   634046 |     2981 |   185027      0 |        1 |        0
90.29/90.40	c 81.4s |       6 |   634231 |     3081 |   185027      0 |        1 |        0
92.67/92.79	c 83.8s |       6 |   634373 |     3181 |   203530      0 |        1 |        0
94.47/94.55	c 85.6s |       7 |   634424 |     3223 |   203530      0 |        1 |        0
97.57/97.60	c 88.6s |       7 |   698142 |     3323 |   203530      0 |        1 |        0
100.47/100.54	c 91.6s |       7 |   698323 |     3423 |   203530      0 |        1 |        0
104.17/104.28	c 95.3s |       7 |   698481 |     3523 |   203530      0 |        1 |        0
107.98/108.03	c 99.0s |       7 |   698625 |     3623 |   203530      0 |        1 |        0
112.47/112.51	c  103s |       7 |   762166 |     3723 |   203530      0 |        1 |        0
115.58/115.67	c  106s |       7 |   762296 |     3823 |   203530      0 |        1 |        0
118.88/118.91	c  109s |       7 |   762438 |     3923 |   203530      0 |        1 |        0
122.18/122.25	c  113s |       7 |   881439 |     4023 |   203530      0 |        1 |        0
126.57/126.66	c  117s |       7 |   881568 |     4123 |   203530      0 |        1 |        0
129.67/129.73	c  120s |       7 |   881705 |     4223 |   203530      0 |        1 |        0
133.27/133.35	c  124s |       7 |   881889 |     4323 |   203530      0 |        1 |        0
137.67/137.74	c  128s |       7 |   882001 |     4423 |   203530      0 |        1 |        0
141.27/141.39	c  132s |       7 |   882156 |     4523 |   203530      0 |        1 |        0
144.18/144.21	c  135s |       7 |   882293 |     4623 |   203530      0 |        1 |        0
149.27/149.30	c  140s |       7 |   882435 |     4723 |   203530      0 |        1 |        0
152.97/153.00	c  144s |       7 |   882598 |     4823 |   223884      0 |        1 |        0
156.66/156.72	c  147s |       7 |   882746 |     4923 |   223884      0 |        1 |        0
157.47/157.54	c  148s |       8 |   882754 |     4936 |   223884      0 |        1 |        0
164.26/164.32	c  155s |       8 |   946498 |     5036 |   223884      0 |        1 |        0
170.36/170.43	c  161s |       8 |   946626 |     5136 |   223884      0 |        1 |        0
176.76/176.86	c  167s |       8 |   957749 |     5236 |   223884      0 |        1 |        0
181.76/181.89	c  172s |       8 |   957871 |     5336 |   223884      0 |        1 |        0
186.46/186.58	c  177s |       8 |   958044 |     5436 |   223884      0 |        1 |        0
190.47/190.52	c  181s |       8 |   958171 |     5536 |   223884      0 |        1 |        0
195.36/195.44	c  186s |       8 |   958307 |     5636 |   223884      0 |        1 |        0
200.37/200.44	c  191s |       8 |   958460 |     5736 |   223884      0 |        1 |        0
206.05/206.14	c  197s |       8 |   958583 |     5836 |   223884      0 |        1 |        0
209.17/209.25	c  200s |       8 |   958732 |     5936 |   223884      0 |        1 |        0
213.16/213.28	c  204s |       8 |   958865 |     6036 |   223884      0 |        1 |        0
219.36/219.41	c  210s |       8 |   959001 |     6136 |   223884      0 |        1 |        0
225.05/225.12	c  216s |       8 |   959141 |     6236 |   223884      0 |        1 |        0
229.75/229.82	c  220s |       8 |   959314 |     6336 |   223884      0 |        1 |        0
238.65/238.72	c  229s |       8 |   959444 |     6436 |   223884      0 |        1 |        0
245.65/245.71	c  236s |       8 |   959599 |     6536 |   223884      0 |        1 |        0
249.95/250.01	c  241s |       8 |   959782 |     6636 |   223884      0 |        1 |        0
256.64/256.75	c  247s |       8 |   959918 |     6736 |   223884      0 |        1 |        0
264.55/264.69	c  255s |       8 |   960029 |     6836 |   223884      0 |        1 |        0
268.65/268.70	c  259s |       8 |   960185 |     6936 |   223884      0 |        1 |        0
272.85/272.98	c  263s |       8 |   960315 |     7036 |   223884      0 |        1 |        0
276.25/276.34	c  267s |       8 |   960446 |     7136 |   223884      0 |        1 |        0
279.55/279.69	c  270s |       8 |   960576 |     7236 |   223884      0 |        1 |        0
283.14/283.22	c  274s |       8 |   960757 |     7336 |   223884      0 |        1 |        0
287.64/287.79	c  278s |       8 |   960902 |     7436 |   246273      0 |        1 |        0
290.74/290.85	c  281s |       9 |   960990 |     7506 |   246273      0 |        1 |        0
295.84/295.94	c  286s |       9 |  1024738 |     7606 |   246273      0 |        1 |        0
300.64/300.78	c  291s |       9 |  1024921 |     7706 |   246273      0 |        1 |        0
305.34/305.47	c  296s |       9 |  1025065 |     7806 |   246273      0 |        1 |        0
311.64/311.73	c  302s |       9 |  1025196 |     7906 |   246273      0 |        1 |        0
316.44/316.50	c  307s |       9 |  1025355 |     8006 |   246273      0 |        1 |        0
319.34/319.40	c  310s |       9 |  1086614 |     8106 |   246273      0 |        1 |        0
323.55/323.68	c  314s |       9 |  1086781 |     8206 |   246273      0 |        1 |        0
327.24/327.32	c  318s |       9 |  1086940 |     8306 |   246273      0 |        1 |        0
331.84/331.97	c  322s |       9 |  1087043 |     8406 |   246273      0 |        1 |        0
336.43/336.55	c  327s |       9 |  1087250 |     8506 |   246273      0 |        1 |        0
338.73/338.83	c  329s |       9 |  1087380 |     8606 |   246273      0 |        1 |        0
341.63/341.79	c  332s |       9 |  1087530 |     8706 |   246273      0 |        1 |        0
344.44/344.51	c  335s |       9 |  1087681 |     8806 |   246273      0 |        1 |        0
349.33/349.42	c  340s |       9 |  1087835 |     8906 |   246273      0 |        1 |        0
353.53/353.60	c  344s |       9 |  1087969 |     9006 |   246273      0 |        1 |        0
361.53/361.61	c  352s |       9 |  1088118 |     9106 |   246273      0 |        1 |        0
367.03/367.11	c  358s |       9 |  1088266 |     9206 |   246273      0 |        1 |        0
372.13/372.28	c  363s |       9 |  1088406 |     9306 |   246273      0 |        1 |        0
376.42/376.56	c  367s |       9 |  1088555 |     9406 |   246273      0 |        1 |        0
380.63/380.80	c  371s |       9 |  1088706 |     9506 |   246273      0 |        1 |        0
383.53/383.62	c  374s |       9 |  1088846 |     9606 |   246273      0 |        1 |        0
386.14/386.27	c  377s |       9 |  1128835 |     9706 |   246273      0 |        1 |        0
388.93/389.08	c  380s |       9 |  1128984 |     9806 |   246273      0 |        1 |        0
392.23/392.37	c  383s |       9 |  1129129 |     9906 |   246273      0 |        1 |        0
396.03/396.12	c  387s |       9 |  1129277 |    10006 |   246273      0 |        1 |        0
400.12/400.27	c  391s |       9 |  1129431 |    10106 |   246273      0 |        1 |        0
402.42/402.52	c  393s |       9 |  1129573 |    10206 |   246273      0 |        1 |        0
405.32/405.45	c  396s |       9 |  1129694 |    10306 |   246273      0 |        1 |        0
409.53/409.67	c  400s |       9 |  1129835 |    10406 |   246273      0 |        1 |        0
412.63/412.71	c  403s |       9 |  1130003 |    10506 |   246273      0 |        1 |        0
415.93/416.03	c  407s |       9 |  1185796 |    10606 |   246273      0 |        1 |        0
418.13/418.27	c  409s |       9 |  1185934 |    10706 |   246273      0 |        1 |        0
421.43/421.54	c  412s |       9 |  1186080 |    10806 |   246273      0 |        1 |        0
425.62/425.70	c  416s |       9 |  1186226 |    10906 |   246273      0 |        1 |        0
429.32/429.41	c  420s |       9 |  1186375 |    11006 |   246273      0 |        1 |        0
432.02/432.15	c  423s |       9 |  1186543 |    11106 |   246273      0 |        1 |        0
436.12/436.21	c  427s |       9 |  1186700 |    11206 |   270901      0 |        1 |        0
440.31/440.48	c  431s |       9 |  1186842 |    11306 |   270901      0 |        1 |        0
442.33/442.43	c  433s |      10 |  1186939 |    11361 |   270901      0 |        1 |        0
447.73/447.85	c  438s |      10 |  1250607 |    11461 |   270901      0 |        1 |        0
450.62/450.72	c  441s |      10 |  1250778 |    11561 |   270901      0 |        1 |        0
454.51/454.60	c  445s |      10 |  1250976 |    11661 |   270901      0 |        1 |        0
457.62/457.72	c  448s |      10 |  1251135 |    11761 |   270901      0 |        1 |        0
460.81/460.99	c  452s |      10 |  1251279 |    11861 |   270901      0 |        1 |        0
464.41/464.54	c  455s |      10 |  1251433 |    11961 |   270901      0 |        1 |        0
469.02/469.16	c  460s |      10 |  1251583 |    12061 |   270901      0 |        1 |        0
474.02/474.16	c  465s |      10 |  1251716 |    12161 |   270901      0 |        1 |        0
478.41/478.56	c  469s |      10 |  1251876 |    12261 |   270901      0 |        1 |        0
482.21/482.30	c  473s |      10 |  1252033 |    12361 |   270901      0 |        1 |        0
487.42/487.58	c  478s |      10 |  1252166 |    12461 |   270901      0 |        1 |        0
492.21/492.30	c  483s |      10 |  1252314 |    12561 |   270901      0 |        1 |        0
496.91/497.02	c  488s |      10 |  1252473 |    12661 |   270901      0 |        1 |        0
501.91/502.04	c  493s |      10 |  1252611 |    12761 |   270901      0 |        1 |        0
507.80/507.93	c  498s |      10 |  1252750 |    12861 |   270901      0 |        1 |        0
510.70/510.87	c  501s |      10 |  1312861 |    12961 |   270901      0 |        1 |        0
512.90/513.04	c  504s |      10 |  1313001 |    13061 |   270901      0 |        1 |        0
515.70/515.87	c  506s |      10 |  1313125 |    13161 |   270901      0 |        1 |        0
519.00/519.18	c  510s |      10 |  1313237 |    13261 |   270901      0 |        1 |        0
522.11/522.21	c  513s |      10 |  1313413 |    13361 |   270901      0 |        1 |        0
525.61/525.72	c  516s |      10 |  1313620 |    13461 |   270901      0 |        1 |        0
528.31/528.40	c  519s |      10 |  1313793 |    13561 |   270901      0 |        1 |        0
531.21/531.32	c  522s |      10 |  1313935 |    13661 |   270901      0 |        1 |        0
534.50/534.62	c  525s |      10 |  1314111 |    13761 |   270901      0 |        1 |        0
539.90/540.02	c  531s |      10 |  1314265 |    13861 |   270901      0 |        1 |        0
544.51/544.64	c  535s |      10 |  1314387 |    13961 |   270901      0 |        1 |        0
548.80/548.90	c  539s |      10 |  1314566 |    14061 |   270901      0 |        1 |        0
553.50/553.65	c  544s |      10 |  1314690 |    14161 |   270901      0 |        1 |        0
557.30/557.48	c  548s |      10 |  1314894 |    14261 |   270901      0 |        1 |        0
563.21/563.37	c  554s |      10 |  1315031 |    14361 |   270901      0 |        1 |        0
568.00/568.16	c  559s |      10 |  1315180 |    14461 |   270901      0 |        1 |        0
572.11/572.24	c  563s |      10 |  1315319 |    14561 |   270901      0 |        1 |        0
576.70/576.83	c  567s |      10 |  1315467 |    14661 |   270901      0 |        1 |        0
582.30/582.48	c  573s |      10 |  1315605 |    14761 |   270901      0 |        1 |        0
587.51/587.62	c  578s |      10 |  1315751 |    14861 |   270901      0 |        1 |        0
592.40/592.57	c  583s |      10 |  1315908 |    14961 |   270901      0 |        1 |        0
597.30/597.45	c  588s |      10 |  1316040 |    15061 |   270901      0 |        1 |        0
603.09/603.26	c  594s |      10 |  1316161 |    15161 |   270901      0 |        1 |        0
608.49/608.67	c  599s |      10 |  1316328 |    15261 |   270901      0 |        1 |        0
612.39/612.56	c  603s |      10 |  1316476 |    15361 |   270901      0 |        1 |        0
616.79/616.97	c  607s |      10 |  1316619 |    15461 |   270901      0 |        1 |        0
622.29/622.48	c  613s |      10 |  1316750 |    15561 |   270901      0 |        1 |        0
628.59/628.71	c  619s |      10 |  1316893 |    15661 |   270901      0 |        1 |        0
633.39/633.52	c  624s |      10 |  1317010 |    15761 |   270901      0 |        1 |        0
639.49/639.60	c  630s |      10 |  1317131 |    15861 |   270901      0 |        1 |        0
644.48/644.66	c  635s |      10 |  1317256 |    15961 |   270901      0 |        1 |        0
650.99/651.13	c  642s |      10 |  1317368 |    16061 |   270901      0 |        1 |        0
656.89/657.02	c  648s |      10 |  1317500 |    16161 |   270901      0 |        1 |        0
661.09/661.27	c  652s |      10 |  1317659 |    16261 |   270901      0 |        1 |        0
667.18/667.32	c  658s |      10 |  1317772 |    16361 |   270901      0 |        1 |        0
674.98/675.17	c  666s |      10 |  1317900 |    16461 |   270901      0 |        1 |        0
679.68/679.89	c  670s |      10 |  1318020 |    16561 |   270901      0 |        1 |        0
686.88/687.05	c  678s |      10 |  1318131 |    16661 |   270901      0 |        1 |        0
694.48/694.65	c  685s |      10 |  1318242 |    16761 |   270901      0 |        1 |        0
702.18/702.38	c  693s |      10 |  1318364 |    16861 |   270901      0 |        1 |        0
710.88/711.04	c  702s |      10 |  1318478 |    16961 |   297992      0 |        1 |        0
718.88/719.03	c  710s |      10 |  1318622 |    17061 |   297992      0 |        1 |        0
725.58/725.75	c  716s |      11 |  1318736 |    17144 |   297992      0 |        1 |        0
734.78/734.98	c  725s |      11 |  1382397 |    17244 |   297992      0 |        1 |        0
743.38/743.51	c  734s |      11 |  1382519 |    17344 |   297992      0 |        1 |        0
752.38/752.59	c  743s |      11 |  1382629 |    17444 |   297992      0 |        1 |        0
758.47/758.62	c  749s |      11 |  1382765 |    17544 |   297992      0 |        1 |        0
763.87/764.07	c  755s |      11 |  1382882 |    17644 |   297992      0 |        1 |        0
770.76/770.94	c  761s |      11 |  1383096 |    17744 |   297992      0 |        1 |        0
783.77/783.95	c  774s |      11 |  1383222 |    17844 |   297992      0 |        1 |        0
794.35/794.53	c  785s |      11 |  1383340 |    17944 |   297992      0 |        1 |        0
802.46/802.61	c  793s |      11 |  1383485 |    18044 |   297992      0 |        1 |        0
806.36/806.52	c  797s |      11 |  1383625 |    18144 |   297992      0 |        1 |        0
811.56/811.70	c  802s |      11 |  1383734 |    18244 |   297992      0 |        1 |        0
816.55/816.76	c  807s |      11 |  1383855 |    18344 |   297992      0 |        1 |        0
821.45/821.68	c  812s |      11 |  1383998 |    18444 |   297992      0 |        1 |        0
825.95/826.13	c  817s |      11 |  1384184 |    18544 |   297992      0 |        1 |        0
831.25/831.48	c  822s |      11 |  1384305 |    18644 |   297992      0 |        1 |        0
837.55/837.78	c  828s |      11 |  1384465 |    18744 |   297992      0 |        1 |        0
842.45/842.70	c  833s |      11 |  1384592 |    18844 |   297992      0 |        1 |        0
846.54/846.76	c  837s |      11 |  1384731 |    18944 |   297992      0 |        1 |        0
850.25/850.44	c  841s |      11 |  1384862 |    19044 |   297992      0 |        1 |        0
854.44/854.60	c  845s |      11 |  1384964 |    19144 |   297992      0 |        1 |        0
856.95/857.17	c  848s |      11 |  1385090 |    19244 |   297992      0 |        1 |        0
861.65/861.86	c  852s |      11 |  1385239 |    19344 |   297992      0 |        1 |        0
866.94/867.15	c  858s |      11 |  1385356 |    19444 |   297992      0 |        1 |        0
871.35/871.53	c  862s |      11 |  1385500 |    19544 |   297992      0 |        1 |        0
875.65/875.84	c  866s |      11 |  1385608 |    19644 |   297992      0 |        1 |        0
880.34/880.52	c  871s |      11 |  1385764 |    19744 |   297992      0 |        1 |        0
884.55/884.73	c  875s |      11 |  1385873 |    19844 |   297992      0 |        1 |        0
887.65/887.83	c  878s |      11 |  1445113 |    19944 |   297992      0 |        1 |        0
898.03/898.23	c  889s |      11 |  1445244 |    20044 |   297992      0 |        1 |        0
903.53/903.71	c  894s |      11 |  1445390 |    20144 |   297992      0 |        1 |        0
911.84/912.09	c  903s |      11 |  1445512 |    20244 |   297992      0 |        1 |        0
919.12/919.33	c  910s |      11 |  1445624 |    20344 |   297992      0 |        1 |        0
926.23/926.46	c  917s |      11 |  1445776 |    20444 |   297992      0 |        1 |        0
934.03/934.29	c  925s |      11 |  1445909 |    20544 |   297992      0 |        1 |        0
945.12/945.31	c  936s |      11 |  1446026 |    20644 |   297992      0 |        1 |        0
951.92/952.17	c  943s |      11 |  1446148 |    20744 |   297992      0 |        1 |        0
956.93/957.19	c  948s |      11 |  1508764 |    20844 |   297992      0 |        1 |        0
962.62/962.83	c  953s |      11 |  1508882 |    20944 |   297992      0 |        1 |        0
969.41/969.62	c  960s |      11 |  1509025 |    21044 |   297992      0 |        1 |        0
975.31/975.51	c  966s |      11 |  1509152 |    21144 |   297992      0 |        1 |        0
983.42/983.61	c  974s |      11 |  1509296 |    21244 |   297992      0 |        1 |        0
991.31/991.55	c  982s |      11 |  1509407 |    21344 |   297992      0 |        1 |        0
996.40/996.61	c  987s |      11 |  1509538 |    21444 |   297992      0 |        1 |        0
1004.41/1004.62	c  995s |      11 |  1509639 |    21544 |   297992      0 |        1 |        0
1016.11/1016.34	c 1007s |      11 |  1509800 |    21644 |   297992      0 |        1 |        0
1027.60/1027.82	c 1018s |      11 |  1509920 |    21744 |   297992      0 |        1 |        0
1033.90/1034.12	c 1025s |      11 |  1510107 |    21844 |   297992      0 |        1 |        0
1045.40/1045.60	c 1036s |      11 |  1510230 |    21944 |   297992      0 |        1 |        0
1057.30/1057.52	c 1048s |      11 |  1510352 |    22044 |   297992      0 |        1 |        0
1068.39/1068.60	c 1059s |      11 |  1573829 |    22144 |   297992      0 |        1 |        0
1075.59/1075.87	c 1066s |      11 |  1632942 |    22244 |   297992      0 |        1 |        0
1085.38/1085.62	c 1076s |      11 |  1633065 |    22344 |   297992      0 |        1 |        0
1093.29/1093.55	c 1084s |      11 |  1633203 |    22444 |   297992      0 |        1 |        0
1099.99/1100.26	c 1091s |      11 |  1633344 |    22544 |   297992      0 |        1 |        0
1103.99/1104.22	c 1095s |      11 |  1633489 |    22644 |   297992      0 |        1 |        0
1107.79/1108.04	c 1099s |      11 |  1633627 |    22744 |   297992      0 |        1 |        0
1111.28/1111.56	c 1102s |      11 |  1633756 |    22844 |   297992      0 |        1 |        0
1117.89/1118.12	c 1109s |      11 |  1696910 |    22944 |   297992      0 |        1 |        0
1126.68/1126.91	c 1117s |      11 |  1760202 |    23044 |   297992      0 |        1 |        0
1132.88/1133.17	c 1124s |      11 |  1760323 |    23144 |   297992      0 |        1 |        0
1138.68/1138.92	c 1129s |      11 |  1760453 |    23244 |   297992      0 |        1 |        0
1141.88/1142.10	c 1133s |      11 |  1760582 |    23344 |   297992      0 |        1 |        0
1148.88/1149.13	c 1140s |      11 |  1823774 |    23444 |   297992      0 |        1 |        0
1153.97/1154.26	c 1145s |      11 |  1823920 |    23544 |   297992      0 |        1 |        0
1159.88/1160.10	c 1151s |      11 |  1824050 |    23644 |   297992      0 |        1 |        0
1166.47/1166.70	c 1157s |      11 |  1824183 |    23744 |   297992      0 |        1 |        0
1173.97/1174.21	c 1165s |      11 |  1824294 |    23844 |   297992      0 |        1 |        0
1178.57/1178.88	c 1169s |      11 |  1824417 |    23944 |   297992      0 |        1 |        0
1184.27/1184.53	c 1175s |      11 |  1824548 |    24044 |   297992      0 |        1 |        0
1190.98/1191.28	c 1182s |      11 |  1824669 |    24144 |   297992      0 |        1 |        0
1198.07/1198.35	c 1189s |      11 |  1824781 |    24244 |   297992      0 |        1 |        0
1201.17/1201.41	c 1192s |      11 |  1824908 |    24344 |   297992      0 |        1 |        0
1204.97/1205.25	c 1196s |      11 |  1825041 |    24444 |   297992      0 |        1 |        0
1211.17/1211.43	c 1202s |      11 |  1825158 |    24544 |   297992      0 |        1 |        0
1217.46/1217.79	c 1208s |      11 |  1825291 |    24644 |   297992      0 |        1 |        0
1223.96/1224.26	c 1215s |      11 |  1825423 |    24744 |   297992      0 |        1 |        0
1231.87/1232.19	c 1223s |      11 |  1825561 |    24844 |   297992      0 |        1 |        0
1238.47/1238.74	c 1229s |      11 |  1825689 |    24944 |   297992      0 |        1 |        0
1245.06/1245.34	c 1236s |      11 |  1825797 |    25044 |   297992      0 |        1 |        0
1251.67/1251.96	c 1242s |      11 |  1825943 |    25144 |   297992      0 |        1 |        0
1259.85/1260.16	c 1251s |      11 |  1826057 |    25244 |   297992      0 |        1 |        0
1267.65/1267.93	c 1258s |      11 |  1826205 |    25344 |   297992      0 |        1 |        0
1276.65/1276.94	c 1267s |      11 |  1826317 |    25444 |   297992      0 |        1 |        0
1285.45/1285.77	c 1276s |      11 |  1826430 |    25544 |   297992      0 |        1 |        0
1292.24/1292.51	c 1283s |      11 |  1826566 |    25644 |   327792      0 |        1 |        0
1298.24/1298.52	c 1289s |      11 |  1826678 |    25744 |   327792      0 |        1 |        0
1300.54/1300.80	c 1291s |      12 |  1826766 |    25819 |   327792      0 |        1 |        0
1312.64/1312.96	c 1303s |      12 |  1890446 |    25919 |   327792      0 |        1 |        0
1320.24/1320.54	c 1311s |      12 |  1890558 |    26019 |   327792      0 |        1 |        0
1330.43/1330.77	c 1321s |      12 |  1890676 |    26119 |   327792      0 |        1 |        0
1345.24/1345.52	c 1336s |      12 |  1890794 |    26219 |   327792      0 |        1 |        0
1354.33/1354.68	c 1345s |      12 |  1890918 |    26319 |   327792      0 |        1 |        0
1363.84/1364.17	c 1355s |      12 |  1891081 |    26419 |   327792      0 |        1 |        0
1370.44/1370.79	c 1361s |      12 |  1891191 |    26519 |   327792      0 |        1 |        0
1378.33/1378.69	c 1369s |      12 |  1891306 |    26619 |   327792      0 |        1 |        0
1384.63/1384.95	c 1375s |      12 |  1891429 |    26719 |   327792      0 |        1 |        0
1394.23/1394.53	c 1385s |      12 |  1891574 |    26819 |   327792      0 |        1 |        0
1402.52/1402.86	c 1393s |      12 |  1891696 |    26919 |   327792      0 |        1 |        0
1410.32/1410.60	c 1401s |      12 |  1891818 |    27019 |   327792      0 |        1 |        0
1419.22/1419.59	c 1410s |      12 |  1891954 |    27119 |   327792      0 |        1 |        0
1427.92/1428.28	c 1419s |      12 |  1892066 |    27219 |   327792      0 |        1 |        0
1438.92/1439.26	c 1430s |      12 |  1892196 |    27319 |   327792      0 |        1 |        0
1451.61/1451.97	c 1442s |      12 |  1892324 |    27419 |   327792      0 |        1 |        0
1462.71/1463.01	c 1454s |      12 |  1892440 |    27519 |   327792      0 |        1 |        0
1474.71/1475.07	c 1466s |      12 |  1892575 |    27619 |   327792      0 |        1 |        0
1485.50/1485.90	c 1476s |      12 |  1892711 |    27719 |   327792      0 |        1 |        0
1495.81/1496.12	c 1487s |      12 |  1892842 |    27819 |   327792      0 |        1 |        0
1507.70/1508.08	c 1499s |      12 |  1892998 |    27919 |   327792      0 |        1 |        0
1517.10/1517.49	c 1508s |      12 |  1893136 |    28019 |   327792      0 |        1 |        0
1531.20/1531.56	c 1522s |      12 |  1893285 |    28119 |   327792      0 |        1 |        0
1539.20/1539.50	c 1530s |      12 |  1893441 |    28219 |   327792      0 |        1 |        0
1548.09/1548.42	c 1539s |      12 |  1893577 |    28319 |   327792      0 |        1 |        0
1561.59/1561.96	c 1552s |      12 |  1893694 |    28419 |   327792      0 |        1 |        0
1570.19/1570.52	c 1561s |      12 |  1893831 |    28519 |   327792      0 |        1 |        0
1580.19/1580.57	c 1571s |      12 |  1893968 |    28619 |   327792      0 |        1 |        0
1587.48/1587.82	c 1578s |      12 |  1894115 |    28719 |   327792      0 |        1 |        0
1599.98/1600.34	c 1591s |      12 |  1894246 |    28819 |   327792      0 |        1 |        0
1613.49/1613.85	c 1604s |      12 |  1957606 |    28919 |   327792      0 |        1 |        0
1627.58/1627.95	c 1618s |      12 |  1957733 |    29019 |   327792      0 |        1 |        0
1638.27/1638.63	c 1629s |      12 |  1957855 |    29119 |   327792      0 |        1 |        0
1647.18/1647.58	c 1638s |      12 |  1957974 |    29219 |   327792      0 |        1 |        0
1660.27/1660.67	c 1651s |      12 |  1958109 |    29319 |   327792      0 |        1 |        0
1669.17/1669.55	c 1660s |      12 |  1958237 |    29419 |   327792      0 |        1 |        0
1678.67/1679.08	c 1670s |      12 |  1958347 |    29519 |   327792      0 |        1 |        0
1686.67/1687.08	c 1678s |      12 |  1958466 |    29619 |   327792      0 |        1 |        0
1695.07/1695.45	c 1686s |      12 |  1958595 |    29719 |   327792      0 |        1 |        0
1705.97/1706.37	c 1697s |      12 |  1958703 |    29819 |   327792      0 |        1 |        0
1717.87/1718.24	c 1709s |      12 |  2014452 |    29919 |   327792      0 |        1 |        0
1731.86/1732.21	c 1723s |      12 |  2014572 |    30019 |   327792      0 |        1 |        0
1746.15/1746.55	c 1737s |      12 |  2075981 |    30119 |   327792      0 |        1 |        0
1760.66/1761.02	c 1752s |      12 |  2076092 |    30219 |   327792      0 |        1 |        0
1777.95/1778.40	c 1769s |      12 |  2076213 |    30319 |   327792      0 |        1 |        0
1785.16/1785.57	c 1776s |      12 |  2076367 |    30419 |   327792      0 |        1 |        0
1791.15/1791.59	c 1782s |      12 |  2076493 |    30519 |   327792      0 |        1 |        0
1797.35/1797.76	c 1788s |      12 |  2076606 |    30619 |   327792      0 |        1 |        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-4093073-1466075558/watcher-4093073-1466075558 -o /tmp/evaluation-result-4093073-1466075558/solver-4093073-1466075558 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466075558-12321 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093073-1466075558.wbo 

pid=12345
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: 1.15 1.68 1.88 4/176 12351
/proc/meminfo: memFree=32042128/32872528 swapFree=7268/7268
[pid=12351] ppid=12345 vsize=592316 CPUtime=0 cores=0,2,4,6
/proc/12351/stat : 12351 (toysat) R 12345 12351 9721 0 -1 4202496 2187 0 0 0 0 0 0 0 20 0 4 0 9601787 606531584 2548 33554432000 4194304 16246674 140737071895472 140737071894896 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12351/statm: 148591 2557 441 2943 0 145485 0
[pid=12351/tid=12355] ppid=12345 vsize=608700 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12355/stat : 12355 (toysat) S 12345 12351 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9601787 623308800 2613 33554432000 4194304 16246674 140737071895472 140427581697264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12351/tid=12356] ppid=12345 vsize=613820 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12356/stat : 12356 (toysat) S 12345 12351 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9601787 628551680 2632 33554432000 4194304 16246674 140737071895472 140427571207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12351/tid=12357] ppid=12345 vsize=617916 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12357/stat : 12357 (toysat) S 12345 12351 9721 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 9601787 632745984 2649 33554432000 4194304 16246674 140737071895472 140427560733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100123 s]
/proc/loadavg: 1.15 1.68 1.88 4/176 12351
/proc/meminfo: memFree=32042128/32872528 swapFree=7268/7268
[pid=12351] ppid=12345 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/12351/stat : 12351 (toysat) R 12345 12351 9721 0 -1 4202496 24821 0 0 0 6 3 0 0 20 0 4 0 9601787 1332285440 25123 33554432000 4194304 16246674 140737071895472 140737071894784 7369730 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12351/statm: 325265 25136 801 2943 0 322159 0
[pid=12351/tid=12355] ppid=12345 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12355/stat : 12355 (toysat) S 12345 12351 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9601787 1332285440 25146 33554432000 4194304 16246674 140737071895472 140427581697264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12351/tid=12356] ppid=12345 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12356/stat : 12356 (toysat) S 12345 12351 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9601787 1332285440 25155 33554432000 4194304 16246674 140737071895472 140427571207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12351/tid=12357] ppid=12345 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12357/stat : 12357 (toysat) S 12345 12351 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9601787 1332285440 25166 33554432000 4194304 16246674 140737071895472 140427560733872 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.20049 s]
/proc/loadavg: 1.15 1.68 1.88 4/176 12351
/proc/meminfo: memFree=32042128/32872528 swapFree=7268/7268
[pid=12351] ppid=12345 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/12351/stat : 12351 (toysat) R 12345 12351 9721 0 -1 4202496 46001 0 0 0 13 6 0 0 20 0 4 0 9601787 1344868352 46813 33554432000 4194304 16246674 140737071895472 140737071894784 7364372 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12351/statm: 328337 46813 802 2943 0 325231 0
[pid=12351/tid=12355] ppid=12345 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12355/stat : 12355 (toysat) S 12345 12351 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9601787 1344868352 46813 33554432000 4194304 16246674 140737071895472 140427581697264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12351/tid=12356] ppid=12345 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12356/stat : 12356 (toysat) S 12345 12351 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9601787 1344868352 46813 33554432000 4194304 16246674 140737071895472 140427571207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12351/tid=12357] ppid=12345 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12357/stat : 12357 (toysat) S 12345 12351 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9601787 1344868352 46813 33554432000 4194304 16246674 140737071895472 140427560733872 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.300451 s]
/proc/loadavg: 1.15 1.68 1.88 4/176 12351
/proc/meminfo: memFree=32042128/32872528 swapFree=7268/7268
[pid=12351] ppid=12345 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/12351/stat : 12351 (toysat) R 12345 12351 9721 0 -1 4202496 58549 0 0 0 21 8 0 0 20 0 4 0 9601787 1344868352 59361 33554432000 4194304 16246674 140737071895472 140737071894784 7409407 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12351/statm: 328337 59361 802 2943 0 325231 0
[pid=12351/tid=12355] ppid=12345 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12355/stat : 12355 (toysat) S 12345 12351 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9601787 1344868352 59361 33554432000 4194304 16246674 140737071895472 140427581697264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12351/tid=12356] ppid=12345 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12356/stat : 12356 (toysat) S 12345 12351 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9601787 1344868352 59361 33554432000 4194304 16246674 140737071895472 140427571207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12351/tid=12357] ppid=12345 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12357/stat : 12357 (toysat) S 12345 12351 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9601787 1344868352 59361 33554432000 4194304 16246674 140737071895472 140427560733872 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.700338 s]
/proc/loadavg: 1.15 1.68 1.88 4/176 12351
/proc/meminfo: memFree=32042128/32872528 swapFree=7268/7268
[pid=12351] ppid=12345 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/12351/stat : 12351 (toysat) R 12345 12351 9721 0 -1 4202496 65424 0 0 0 60 9 0 0 20 0 4 0 9601787 1344868352 66236 33554432000 4194304 16246674 140737071895472 140737071894784 7440268 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12351/statm: 328337 66236 802 2943 0 325231 0
[pid=12351/tid=12355] ppid=12345 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12355/stat : 12355 (toysat) S 12345 12351 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9601787 1344868352 66236 33554432000 4194304 16246674 140737071895472 140427581697264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12351/tid=12356] ppid=12345 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12356/stat : 12356 (toysat) S 12345 12351 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9601787 1344868352 66236 33554432000 4194304 16246674 140737071895472 140427571207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12351/tid=12357] ppid=12345 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12357/stat : 12357 (toysat) S 12345 12351 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9601787 1344868352 66236 33554432000 4194304 16246674 140737071895472 140427560733872 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.50041 s]
/proc/loadavg: 1.15 1.68 1.88 3/184 12359
/proc/meminfo: memFree=31425676/32872528 swapFree=7268/7268
[pid=12351] ppid=12345 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/12351/stat : 12351 (toysat) R 12345 12351 9721 0 -1 4202496 79262 0 0 0 137 12 0 0 20 0 4 0 9601787 1344868352 80074 33554432000 4194304 16246674 140737071895472 140737071894784 13898695 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12351/statm: 328337 80074 827 2943 0 325231 0
[pid=12351/tid=12355] ppid=12345 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12355/stat : 12355 (toysat) S 12345 12351 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9601787 1344868352 80074 33554432000 4194304 16246674 140737071895472 140427581697264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12351/tid=12356] ppid=12345 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12356/stat : 12356 (toysat) S 12345 12351 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9601787 1344868352 80074 33554432000 4194304 16246674 140737071895472 140427571207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12351/tid=12357] ppid=12345 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12357/stat : 12357 (toysat) S 12345 12351 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9601787 1344868352 80074 33554432000 4194304 16246674 140737071895472 140427560733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1313348

[startup+3.10033 s]
/proc/loadavg: 1.22 1.68 1.88 3/184 12359
/proc/meminfo: memFree=31390940/32872528 swapFree=7268/7268
[pid=12351] ppid=12345 vsize=1320516 CPUtime=3.08 cores=0,2,4,6
/proc/12351/stat : 12351 (toysat) R 12345 12351 9721 0 -1 4202496 228456 0 0 0 277 31 0 0 20 0 4 0 9601787 1352208384 229268 33554432000 4194304 16246674 140737071895472 140737071877376 12481124 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12351/statm: 330129 229278 838 2943 0 327023 0
[pid=12351/tid=12355] ppid=12345 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12355/stat : 12355 (toysat) S 12345 12351 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9601787 1352208384 229284 33554432000 4194304 16246674 140737071895472 140427581697264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12351/tid=12356] ppid=12345 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12356/stat : 12356 (toysat) S 12345 12351 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9601787 1352208384 229291 33554432000 4194304 16246674 140737071895472 140427571207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12351/tid=12357] ppid=12345 vsize=1320516 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12357/stat : 12357 (toysat) S 12345 12351 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9601787 1352208384 229298 33554432000 4194304 16246674 140737071895472 140427560733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1320516

[startup+6.30037 s]
/proc/loadavg: 1.22 1.68 1.88 3/184 12359
/proc/meminfo: memFree=29749812/32872528 swapFree=7268/7268
[pid=12351] ppid=12345 vsize=1381956 CPUtime=6.29 cores=0,2,4,6
/proc/12351/stat : 12351 (toysat) R 12345 12351 9721 0 -1 4202496 286134 0 0 0 589 40 0 0 20 0 4 0 9601787 1415122944 286946 33554432000 4194304 16246674 140737071895472 140737071877376 6954478 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12351/statm: 345489 286946 860 2943 0 342383 0
[pid=12351/tid=12355] ppid=12345 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12355/stat : 12355 (toysat) S 12345 12351 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9601787 1415122944 286946 33554432000 4194304 16246674 140737071895472 140427581697264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12351/tid=12356] ppid=12345 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12356/stat : 12356 (toysat) S 12345 12351 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9601787 1415122944 286946 33554432000 4194304 16246674 140737071895472 140427571207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12351/tid=12357] ppid=12345 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12357/stat : 12357 (toysat) S 12345 12351 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9601787 1415122944 286946 33554432000 4194304 16246674 140737071895472 140427560733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1381956

[startup+12.7004 s]
/proc/loadavg: 1.34 1.69 1.88 3/184 12359
/proc/meminfo: memFree=29749996/32872528 swapFree=7268/7268
[pid=12351] ppid=12345 vsize=1381956 CPUtime=12.69 cores=0,2,4,6
/proc/12351/stat : 12351 (toysat) R 12345 12351 9721 0 -1 4202496 286204 0 0 0 1229 40 0 0 20 0 4 0 9601787 1415122944 287016 33554432000 4194304 16246674 140737071895472 140737071877376 13950230 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12351/statm: 345489 287016 930 2943 0 342383 0
[pid=12351/tid=12355] ppid=12345 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12355/stat : 12355 (toysat) S 12345 12351 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9601787 1415122944 287016 33554432000 4194304 16246674 140737071895472 140427581697264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12351/tid=12356] ppid=12345 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12356/stat : 12356 (toysat) S 12345 12351 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9601787 1415122944 287016 33554432000 4194304 16246674 140737071895472 140427571207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12351/tid=12357] ppid=12345 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12357/stat : 12357 (toysat) S 12345 12351 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9601787 1415122944 287016 33554432000 4194304 16246674 140737071895472 140427560733872 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) 1381956

[startup+25.5074 s]
/proc/loadavg: 1.44 1.70 1.88 3/184 12359
/proc/meminfo: memFree=29751604/32872528 swapFree=7268/7268
[pid=12351] ppid=12345 vsize=1381956 CPUtime=25.49 cores=0,2,4,6
/proc/12351/stat : 12351 (toysat) R 12345 12351 9721 0 -1 4202496 286208 0 0 0 2509 40 0 0 20 0 4 0 9601787 1415122944 287020 33554432000 4194304 16246674 140737071895472 140737071894648 13898695 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12351/statm: 345489 287020 934 2943 0 342383 0
[pid=12351/tid=12355] ppid=12345 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12355/stat : 12355 (toysat) S 12345 12351 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9601787 1415122944 287020 33554432000 4194304 16246674 140737071895472 140427581697264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12351/tid=12356] ppid=12345 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12356/stat : 12356 (toysat) S 12345 12351 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9601787 1415122944 287020 33554432000 4194304 16246674 140737071895472 140427571207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12351/tid=12357] ppid=12345 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12357/stat : 12357 (toysat) S 12345 12351 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9601787 1415122944 287020 33554432000 4194304 16246674 140737071895472 140427560733872 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) 1381956

[startup+51.1004 s]
/proc/loadavg: 1.63 1.73 1.88 3/185 12360
/proc/meminfo: memFree=29750536/32872528 swapFree=7268/7268
[pid=12351] ppid=12345 vsize=1381956 CPUtime=51.08 cores=0,2,4,6
/proc/12351/stat : 12351 (toysat) R 12345 12351 9721 0 -1 4202496 286208 0 0 0 5067 41 0 0 20 0 4 0 9601787 1415122944 287020 33554432000 4194304 16246674 140737071895472 140737071877376 13906983 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12351/statm: 345489 287020 934 2943 0 342383 0
[pid=12351/tid=12355] ppid=12345 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12355/stat : 12355 (toysat) S 12345 12351 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9601787 1415122944 287020 33554432000 4194304 16246674 140737071895472 140427581697264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12351/tid=12356] ppid=12345 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12356/stat : 12356 (toysat) S 12345 12351 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9601787 1415122944 287020 33554432000 4194304 16246674 140737071895472 140427571207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12351/tid=12357] ppid=12345 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12357/stat : 12357 (toysat) S 12345 12351 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9601787 1415122944 287020 33554432000 4194304 16246674 140737071895472 140427560733872 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) 1381956

[startup+102.3 s]
/proc/loadavg: 1.84 1.77 1.89 3/185 12361
/proc/meminfo: memFree=29750040/32872528 swapFree=7268/7268
[pid=12351] ppid=12345 vsize=1381956 CPUtime=102.27 cores=0,2,4,6
/proc/12351/stat : 12351 (toysat) R 12345 12351 9721 0 -1 4202496 286208 0 0 0 10185 42 0 0 20 0 4 0 9601787 1415122944 287020 33554432000 4194304 16246674 140737071895472 140737071877376 5553760 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12351/statm: 345489 287020 934 2943 0 342383 0
[pid=12351/tid=12355] ppid=12345 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12355/stat : 12355 (toysat) S 12345 12351 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9601787 1415122944 287020 33554432000 4194304 16246674 140737071895472 140427581697264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12351/tid=12356] ppid=12345 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12356/stat : 12356 (toysat) S 12345 12351 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9601787 1415122944 287020 33554432000 4194304 16246674 140737071895472 140427571207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12351/tid=12357] ppid=12345 vsize=1381956 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12357/stat : 12357 (toysat) S 12345 12351 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9601787 1415122944 287020 33554432000 4194304 16246674 140737071895472 140427560733872 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) 1381956


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

/proc/12351/task/12357/stat : 12357 (toysat) S 12345 12351 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9601787 2010714112 432188 33554432000 4194304 16246674 140737071895472 140427560733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 1963588

[startup+1362.3 s]
/proc/loadavg: 2.11 2.00 1.92 3/185 12393
/proc/meminfo: memFree=28709924/32872528 swapFree=7268/7268
[pid=12351] ppid=12345 vsize=2014788 CPUtime=1362.03 cores=0,2,4,6
/proc/12351/stat : 12351 (toysat) R 12345 12351 9721 0 -1 4202496 444389 0 0 0 136059 144 0 0 20 0 4 0 9601787 2063142912 445108 33554432000 4194304 16246674 140737071895472 140737071894648 13897776 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12351/statm: 503697 445108 935 2943 0 500591 0
[pid=12351/tid=12355] ppid=12345 vsize=2014788 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12355/stat : 12355 (toysat) S 12345 12351 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9601787 2063142912 445108 33554432000 4194304 16246674 140737071895472 140427581697264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12351/tid=12356] ppid=12345 vsize=2014788 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12356/stat : 12356 (toysat) S 12345 12351 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9601787 2063142912 445108 33554432000 4194304 16246674 140737071895472 140427571207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12351/tid=12357] ppid=12345 vsize=2014788 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12357/stat : 12357 (toysat) S 12345 12351 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9601787 2063142912 445108 33554432000 4194304 16246674 140737071895472 140427560733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 2014788

[startup+1422.3 s]
/proc/loadavg: 2.04 2.00 1.92 3/185 12394
/proc/meminfo: memFree=28621488/32872528 swapFree=7268/7268
[pid=12351] ppid=12345 vsize=2056772 CPUtime=1422.02 cores=0,2,4,6
/proc/12351/stat : 12351 (toysat) R 12345 12351 9721 0 -1 4202496 454970 0 0 0 142049 153 0 0 20 0 4 0 9601787 2106134528 455684 33554432000 4194304 16246674 140737071895472 140737071877376 5545832 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12351/statm: 514193 455684 935 2943 0 511087 0
[pid=12351/tid=12355] ppid=12345 vsize=2056772 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12355/stat : 12355 (toysat) S 12345 12351 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9601787 2106134528 455684 33554432000 4194304 16246674 140737071895472 140427581697264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12351/tid=12356] ppid=12345 vsize=2056772 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12356/stat : 12356 (toysat) S 12345 12351 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9601787 2106134528 455684 33554432000 4194304 16246674 140737071895472 140427571207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12351/tid=12357] ppid=12345 vsize=2056772 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12357/stat : 12357 (toysat) S 12345 12351 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9601787 2106134528 455684 33554432000 4194304 16246674 140737071895472 140427560733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 2056772

[startup+1482.3 s]
/proc/loadavg: 2.07 2.01 1.93 3/185 12395
/proc/meminfo: memFree=28542900/32872528 swapFree=7268/7268
[pid=12351] ppid=12345 vsize=2102852 CPUtime=1482 cores=0,2,4,6
/proc/12351/stat : 12351 (toysat) R 12345 12351 9721 0 -1 4202496 466543 0 0 0 148039 161 0 0 20 0 4 0 9601787 2153320448 467248 33554432000 4194304 16246674 140737071895472 140737071877376 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12351/statm: 525713 467248 935 2943 0 522607 0
[pid=12351/tid=12355] ppid=12345 vsize=2102852 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12355/stat : 12355 (toysat) S 12345 12351 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9601787 2153320448 467248 33554432000 4194304 16246674 140737071895472 140427581697264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12351/tid=12356] ppid=12345 vsize=2102852 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12356/stat : 12356 (toysat) S 12345 12351 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9601787 2153320448 467248 33554432000 4194304 16246674 140737071895472 140427571207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12351/tid=12357] ppid=12345 vsize=2102852 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12357/stat : 12357 (toysat) S 12345 12351 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9601787 2153320448 467248 33554432000 4194304 16246674 140737071895472 140427560733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 2102852

[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 1.93 4/185 12397
/proc/meminfo: memFree=28422640/32872528 swapFree=7268/7268
[pid=12351] ppid=12345 vsize=2147908 CPUtime=1542 cores=0,2,4,6
/proc/12351/stat : 12351 (toysat) R 12345 12351 9721 0 -1 4202496 477713 0 0 0 154027 173 0 0 20 0 4 0 9601787 2199457792 478411 33554432000 4194304 16246674 140737071895472 140737071894648 13898695 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12351/statm: 536977 478411 935 2943 0 533871 0
[pid=12351/tid=12355] ppid=12345 vsize=2147908 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12355/stat : 12355 (toysat) S 12345 12351 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9601787 2199457792 478411 33554432000 4194304 16246674 140737071895472 140427581697264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12351/tid=12356] ppid=12345 vsize=2147908 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12356/stat : 12356 (toysat) S 12345 12351 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9601787 2199457792 478411 33554432000 4194304 16246674 140737071895472 140427571207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12351/tid=12357] ppid=12345 vsize=2147908 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12357/stat : 12357 (toysat) S 12345 12351 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9601787 2199457792 478411 33554432000 4194304 16246674 140737071895472 140427560733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 2147908

[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 1.93 3/185 12398
/proc/meminfo: memFree=28308096/32872528 swapFree=7268/7268
[pid=12351] ppid=12345 vsize=2205252 CPUtime=1601.98 cores=0,2,4,6
/proc/12351/stat : 12351 (toysat) R 12345 12351 9721 0 -1 4202496 492155 0 0 0 160013 185 0 0 20 0 4 0 9601787 2258178048 492848 33554432000 4194304 16246674 140737071895472 140737071894648 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12351/statm: 551313 492848 935 2943 0 548207 0
[pid=12351/tid=12355] ppid=12345 vsize=2205252 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12355/stat : 12355 (toysat) S 12345 12351 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9601787 2258178048 492848 33554432000 4194304 16246674 140737071895472 140427581697264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12351/tid=12356] ppid=12345 vsize=2205252 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12356/stat : 12356 (toysat) S 12345 12351 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9601787 2258178048 492848 33554432000 4194304 16246674 140737071895472 140427571207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12351/tid=12357] ppid=12345 vsize=2205252 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12357/stat : 12357 (toysat) S 12345 12351 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9601787 2258178048 492848 33554432000 4194304 16246674 140737071895472 140427560733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 2205252

[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 1.93 3/186 12402
/proc/meminfo: memFree=28175512/32872528 swapFree=7268/7268
[pid=12351] ppid=12345 vsize=2268740 CPUtime=1661.98 cores=0,2,4,6
/proc/12351/stat : 12351 (toysat) R 12345 12351 9721 0 -1 4202496 507860 0 0 0 166000 198 0 0 20 0 4 0 9601787 2323189760 508545 33554432000 4194304 16246674 140737071895472 140737071894648 13963936 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12351/statm: 567185 508545 935 2943 0 564079 0
[pid=12351/tid=12355] ppid=12345 vsize=2268740 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12355/stat : 12355 (toysat) S 12345 12351 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9601787 2323189760 508545 33554432000 4194304 16246674 140737071895472 140427581697264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12351/tid=12356] ppid=12345 vsize=2268740 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12356/stat : 12356 (toysat) S 12345 12351 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9601787 2323189760 508545 33554432000 4194304 16246674 140737071895472 140427571207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12351/tid=12357] ppid=12345 vsize=2268740 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12357/stat : 12357 (toysat) S 12345 12351 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9601787 2323189760 508545 33554432000 4194304 16246674 140737071895472 140427560733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 2268740

[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/185 12403
/proc/meminfo: memFree=28099536/32872528 swapFree=7268/7268
[pid=12351] ppid=12345 vsize=2301508 CPUtime=1721.96 cores=0,2,4,6
/proc/12351/stat : 12351 (toysat) R 12345 12351 9721 0 -1 4202496 516150 0 0 0 171987 209 0 0 20 0 4 0 9601787 2356744192 516832 33554432000 4194304 16246674 140737071895472 140737071894648 5523241 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12351/statm: 575377 516832 935 2943 0 572271 0
[pid=12351/tid=12355] ppid=12345 vsize=2301508 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12355/stat : 12355 (toysat) S 12345 12351 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9601787 2356744192 516832 33554432000 4194304 16246674 140737071895472 140427581697264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12351/tid=12356] ppid=12345 vsize=2301508 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12356/stat : 12356 (toysat) S 12345 12351 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9601787 2356744192 516832 33554432000 4194304 16246674 140737071895472 140427571207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12351/tid=12357] ppid=12345 vsize=2301508 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12357/stat : 12357 (toysat) S 12345 12351 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9601787 2356744192 516832 33554432000 4194304 16246674 140737071895472 140427560733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 2301508

[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/185 12404
/proc/meminfo: memFree=27979656/32872528 swapFree=7268/7268
[pid=12351] ppid=12345 vsize=2356804 CPUtime=1781.95 cores=0,2,4,6
/proc/12351/stat : 12351 (toysat) R 12345 12351 9721 0 -1 4202496 529912 0 0 0 177970 225 0 0 20 0 4 0 9601787 2413367296 530589 33554432000 4194304 16246674 140737071895472 140737071877376 5546214 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12351/statm: 589201 530589 936 2943 0 586095 0
[pid=12351/tid=12355] ppid=12345 vsize=2356804 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12355/stat : 12355 (toysat) S 12345 12351 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9601787 2413367296 530589 33554432000 4194304 16246674 140737071895472 140427581697264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12351/tid=12356] ppid=12345 vsize=2356804 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12356/stat : 12356 (toysat) S 12345 12351 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9601787 2413367296 530589 33554432000 4194304 16246674 140737071895472 140427571207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12351/tid=12357] ppid=12345 vsize=2356804 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12357/stat : 12357 (toysat) S 12345 12351 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9601787 2413367296 530589 33554432000 4194304 16246674 140737071895472 140427560733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 2356804



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.93 3/185 12404
/proc/meminfo: memFree=27954328/32872528 swapFree=7268/7268
[pid=12351] ppid=12345 vsize=2361924 CPUtime=1800.05 cores=0,2,4,6
/proc/12351/stat : 12351 (toysat) R 12345 12351 9721 0 -1 4202496 531340 0 0 0 179777 228 0 0 20 0 4 0 9601787 2418610176 532017 33554432000 4194304 16246674 140737071895472 140737071894648 4206864 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12351/statm: 590481 532017 936 2943 0 587375 0
[pid=12351/tid=12355] ppid=12345 vsize=2361924 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12355/stat : 12355 (toysat) S 12345 12351 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9601787 2418610176 532017 33554432000 4194304 16246674 140737071895472 140427581697264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12351/tid=12356] ppid=12345 vsize=2361924 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12356/stat : 12356 (toysat) S 12345 12351 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9601787 2418610176 532017 33554432000 4194304 16246674 140737071895472 140427571207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12351/tid=12357] ppid=12345 vsize=2361924 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12357/stat : 12357 (toysat) S 12345 12351 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9601787 2418610176 532017 33554432000 4194304 16246674 140737071895472 140427560733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2361924

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

[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.93 3/185 12404
/proc/meminfo: memFree=27954328/32872528 swapFree=7268/7268
[pid=12351] ppid=12345 vsize=2361924 CPUtime=1800.05 cores=0,2,4,6
/proc/12351/stat : 12351 (toysat) R 12345 12351 9721 0 -1 4202496 531340 0 0 0 179777 228 0 0 20 0 4 0 9601787 2418610176 532017 33554432000 4194304 16246674 140737071895472 140737071894648 4206864 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/12351/statm: 590481 532017 936 2943 0 587375 0
[pid=12351/tid=12355] ppid=12345 vsize=2361924 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12355/stat : 12355 (toysat) S 12345 12351 9721 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 9601787 2418610176 532017 33554432000 4194304 16246674 140737071895472 140427581697264 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=12351/tid=12356] ppid=12345 vsize=2361924 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12356/stat : 12356 (toysat) S 12345 12351 9721 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 9601787 2418610176 532017 33554432000 4194304 16246674 140737071895472 140427571207408 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=12351/tid=12357] ppid=12345 vsize=2361924 CPUtime=0 cores=0,2,4,6
/proc/12351/task/12357/stat : 12357 (toysat) S 12345 12351 9721 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 9601787 2418610176 532017 33554432000 4194304 16246674 140737071895472 140427560733872 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 2361924

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1800.43
CPU time (s): 1800.08
CPU user time (s): 1797.78
CPU system time (s): 2.29965
CPU usage (%): 99.9801
Max. virtual memory (cumulated for all children) (KiB): 2361924

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.78
system time used= 2.29965
maximum resident set size= 2128068
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 531340
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= 566
involuntary context switches= 1821

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.14706 second user time and 11.3683 second system time

The end

Launcher Data 

Begin job on node133 at 2016-06-16 13:12:39
IDJOB=4093073
IDBENCH=78623
IDSOLVER=2553
FILE ID=node133/4093073-1466075558
RUNJOBID= node133-1466075558-12321
PBS_JOBID= 19904006
Free space on /tmp= 71736 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/PB06/web/uclid_pb_benchmarks/normalized-cache.inv14.ucl--soft-66-100-0.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093073-1466075558/watcher-4093073-1466075558 -o /tmp/evaluation-result-4093073-1466075558/solver-4093073-1466075558 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node133-1466075558-12321 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093073-1466075558.wbo

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

MD5SUM BENCH= 49b917538dc517f3b04d67f1cc33a27a
RANDOM SEED=186288895

node133.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.256
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.51
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.256
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.256
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.56
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.256
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.256
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.256
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		: 2667.256
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		: 2667.256
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:        32043028 kB
Buffers:           16860 kB
Cached:           105708 kB
SwapCached:         1884 kB
Active:            88132 kB
Inactive:          36152 kB
Active(anon):       3348 kB
Inactive(anon):     1228 kB
Active(file):      84784 kB
Inactive(file):    34924 kB
Unevictable:        7268 kB
Mlocked:            7268 kB
SwapTotal:      67108856 kB
SwapFree:       67098880 kB
Dirty:             44144 kB
Writeback:             0 kB
AnonPages:          9096 kB
Mapped:             6408 kB
Shmem:                 0 kB
Slab:             567696 kB
SReclaimable:      11020 kB
SUnreclaim:       556676 kB
KernelStack:        1392 kB
PageTables:         4156 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:     103560 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341987908 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71704 MiB
End job on node133 at 2016-06-16 13:42:39