Trace number 4096841

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-02UNSAT 117.344 117.366

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/
SyncCodes/d_n_k/normalized-7_7_16.opb
MD5SUMfb5dc6265ab658be296cb10fe2b2d535
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark4.03339
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables552
Total number of constraints2558
Number of constraints which are clauses2553
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint23
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 16
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 39
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Solver Data 

0.00/0.00	c 2016-06-17T00:26:43+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-4096841-1466116003.opb"]
0.00/0.01	c use --random-gen="219022193 2613371921 443270742 3702481715 3625047908 3408073816 1418019100 2574997532 1917402883 3567195380 4202837662 3050019962 4055508692 4089503538 3857594261 1657936986 3198966240 1647800737 841264745 3583629631 58773894 3491690272 3388330758 3108748231 54820747 1532585167 936388062 530676655 1446884935 3165919785 3606865872 1820328815 2800509371 3934982579 1449747074 2038350292 1177380900 1483410518 672392555 1464028162 2167215907 1696119210 3220535228 1050863613 117733054 46063029 1853567991 1674279170 2807303642 2030282387 3974619074 2377029205 493360288 2038004172 208066073 2940186666 1313769374 441721022 567680507 4038987817 660745970 1850502109 3613567882 2434255635 1361517880 1102139305 1569349584 254147245 2130721316 1905375725 2781464235 1167810912 131297800 5996324 3481153493 1595480136 3015119141 353120094 669324277 1076681220 3611488786 3023472481 3525821444 997518204 64446865 1265717325 914503918 3572377547 3870241315 2053497076 3174666855 2522359001 85457794 1678694635 1735867336 679437806 1705804884 1093587559 1298338639 2485628436 1597163137 4255022513 798441320 2199820372 2427228547 734292052 2180214075 173136910 3347255371 3891551105 1148521571 903520168 3000941757 3992726632 251014943 4154172627 2908911786 1685076774 3002551520 3150592166 709617527 2029248283 528614692 1408641743 1493055561 678169108 651462863 2475717049 3809629451 3918122634 3863335317 4061274551 907006073 3923345321 1059753393 3390221908 3052683590 750985112 1225271548 4194032061 3582561543 3804557630 553044530 2775593755 3959057228 3138146924 999624657 991307934 314536253 3968446053 2855568515 1327350779 2089153521 2580380512 3024968913 214284191 2960272259 1527004781 3522469630 2126442501 2724673153 2390436800 1484528049 2541043031 502460652 2112193171 2389094907 2550071737 1570796794 917783810 2098665401 3890606180 2468116641 2853584785 3491910369 3950791642 2166298644 3289528934 3521434384 3028939225 2737341891 2308397399 3466525907 3284219858 1143946499 278840377 2866611874 3072522042 1565939634 2769190369 3104932395 3648463639 2623681971 2712399508 3144232140 1100783625 972456986 1253283941 1460102919 870061372 2945892939 2750419718 2314550248 3642411174 2131378217 695203030 444460558 3158878929 665396842 3282224715 847740423 1330295996 4223391642 4180146906 1522776270 1831957366 3517831069 2129469913 1297138946 1676376334 2143432398 434282359 3236784786 2596092458 2082474866 2258375476 3038186443 949715827 1620526149 3414806646 3083094235 3306074660 2396073376 908182130 2242652685 2385172292 3688481003 1373168682 1061498329 4218244525 3011214489 140594547 3957213944 3193068999 2422074955 854036760 245413038 1011220583 554986238 176939555 1178764539 3116636166 587236422 187014917 4231706429 1955229812 255 362436" option to reproduce the execution
0.00/0.03	c #vars 552
0.00/0.03	c #constraints 2558
0.00/0.07	c Solving starts ...
0.00/0.07	c ============================[ Search Statistics ]============================
0.00/0.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.07	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.07	c =============================================================================
0.00/0.07	c  0.0s |       0 |        0 |        0 |     1035      0 |        5 |        0
0.09/0.10	c  0.0s |       1 |      122 |      100 |     1035      0 |        5 |      183
0.09/0.15	c  0.1s |       2 |      290 |      250 |     1139      0 |        5 |      183
0.19/0.23	c  0.2s |       3 |      544 |      475 |     1253      0 |        5 |      183
0.28/0.36	c  0.3s |       4 |      938 |      813 |     1379      0 |        5 |      183
0.49/0.58	c  0.5s |       5 |     1542 |     1320 |     1517      0 |        5 |      183
0.89/0.93	c  0.9s |       6 |     2422 |     2081 |     1836      1 |        5 |      183
1.29/1.35	c  1.3s |       7 |     3833 |     3223 |     2020      2 |        5 |      183
1.89/1.92	c  1.8s |       8 |     5773 |     4936 |     2222      3 |        5 |      183
2.78/2.83	c  2.8s |       9 |     8650 |     7506 |     2445      5 |        5 |      183
4.08/4.17	c  4.1s |      10 |    12968 |    11361 |     2690      8 |        5 |      183
6.08/6.18	c  6.1s |      10 |    19175 |    16661 |     2690     12 |        5 |      183
6.28/6.35	c  6.3s |      11 |    19768 |    17144 |     2960     12 |        5 |      183
8.28/8.38	c  8.3s |      11 |    26493 |    22944 |     2960     16 |        5 |      183
9.39/9.42	c  9.3s |      12 |    29834 |    25819 |     3257     17 |        5 |      183
11.39/11.45	c 11.4s |      12 |    35815 |    31219 |     3257     20 |        5 |      183
13.39/13.45	c 13.4s |      12 |    42082 |    36819 |     3257     24 |        5 |      183
14.09/14.15	c 14.1s |      13 |    44274 |    38832 |     3583     25 |        5 |      183
16.09/16.18	c 16.1s |      13 |    50498 |    44232 |     3583     28 |        5 |      183
18.09/18.19	c 18.1s |      13 |    56757 |    49732 |     3583     31 |        5 |      183
20.19/20.23	c 20.2s |      13 |    62995 |    55232 |     3583     34 |        5 |      183
21.39/21.41	c 21.3s |      14 |    66517 |    58352 |     3942     35 |        5 |      183
23.39/23.42	c 23.3s |      14 |    71962 |    63152 |     3942     37 |        5 |      183
25.39/25.45	c 25.4s |      14 |    77364 |    67852 |     3942     40 |        5 |      183
27.39/27.46	c 27.4s |      14 |    83129 |    72952 |     3942     42 |        5 |      183
29.39/29.47	c 29.4s |      14 |    88610 |    77852 |     3942     45 |        5 |      183
31.39/31.49	c 31.4s |      14 |    94594 |    83152 |     3942     47 |        5 |      183
33.28/33.32	c 33.2s |      15 |    99810 |    87632 |     4337     49 |        5 |      183
35.29/35.33	c 35.3s |      15 |   105723 |    92732 |     4337     51 |        5 |      183
37.28/37.35	c 37.3s |      15 |   111155 |    97432 |     4337     54 |        5 |      183
39.28/39.39	c 39.3s |      15 |   117343 |   102932 |     4337     56 |        5 |      183
41.38/41.41	c 41.3s |      15 |   122750 |   107732 |     4337     58 |        5 |      183
43.38/43.41	c 43.3s |      15 |   128112 |   112532 |     4337     60 |        5 |      183
45.38/45.43	c 45.4s |      15 |   133767 |   117432 |     4337     62 |        5 |      183
47.38/47.43	c 47.4s |      15 |   139141 |   122232 |     4337     65 |        5 |      183
49.38/49.43	c 49.4s |      15 |   144409 |   126932 |     4337     67 |        5 |      183
51.38/51.40	c 51.3s |      16 |   149491 |   131552 |     4771     69 |        5 |      183
53.38/53.43	c 53.4s |      16 |   154872 |   136352 |     4771     71 |        5 |      183
55.38/55.48	c 55.4s |      16 |   160058 |   141052 |     4771     73 |        5 |      183
57.38/57.49	c 57.4s |      16 |   165589 |   146052 |     4771     75 |        5 |      183
59.39/59.50	c 59.4s |      16 |   171277 |   151052 |     4771     77 |        5 |      183
61.48/61.50	c 61.4s |      16 |   176595 |   155752 |     4771     78 |        5 |      183
63.48/63.53	c 63.5s |      16 |   181999 |   160452 |     4771     80 |        5 |      183
65.48/65.53	c 65.5s |      16 |   187531 |   165252 |     4771     82 |        5 |      183
67.48/67.54	c 67.5s |      16 |   193320 |   170252 |     4771     84 |        5 |      183
69.48/69.57	c 69.5s |      16 |   198777 |   174952 |     4771     86 |        5 |      183
71.59/71.61	c 71.5s |      16 |   204007 |   179552 |     4771     88 |        5 |      183
73.58/73.67	c 73.6s |      16 |   209438 |   184252 |     4771     90 |        5 |      183
75.68/75.70	c 75.6s |      16 |   215201 |   189152 |     4771     92 |        5 |      183
77.68/77.73	c 77.7s |      16 |   220758 |   193952 |     4771     94 |        5 |      183
79.18/79.26	c 79.2s |      17 |   224872 |   197432 |     5249     95 |        5 |      183
81.18/81.29	c 81.2s |      17 |   230076 |   202032 |     5249     97 |        5 |      183
83.28/83.31	c 83.2s |      17 |   235311 |   206532 |     5249     99 |        5 |      183
85.28/85.35	c 85.3s |      17 |   240865 |   211332 |     5249    100 |        5 |      183
87.28/87.36	c 87.3s |      17 |   246158 |   215932 |     5249    102 |        5 |      183
89.28/89.39	c 89.3s |      17 |   252189 |   221132 |     5249    103 |        8 |      230
91.38/91.41	c 91.3s |      17 |   257201 |   225532 |     5249    105 |        9 |      233
93.37/93.42	c 93.3s |      17 |   262319 |   229932 |     5249    106 |        9 |      233
95.37/95.42	c 95.3s |      17 |   267545 |   234432 |     5249    108 |        9 |      233
97.37/97.43	c 97.4s |      17 |   272353 |   238932 |     5249    110 |        9 |      233
99.37/99.47	c 99.4s |      17 |   277852 |   243732 |     5249    111 |        9 |      233
101.37/101.48	c  101s |      17 |   282948 |   248132 |     5249    113 |        9 |      233
103.38/103.49	c  103s |      17 |   288267 |   252632 |     5249    115 |        9 |      233
105.47/105.52	c  105s |      17 |   293680 |   257432 |     5249    116 |        9 |      233
107.47/107.56	c  107s |      17 |   299659 |   262632 |     5249    117 |       13 |      322
109.47/109.57	c  109s |      17 |   305302 |   267532 |     5249    119 |       14 |      367
111.47/111.57	c  111s |      17 |   310871 |   272432 |     5249    120 |       18 |      415
113.46/113.57	c  113s |      17 |   316050 |   276932 |     5249    121 |       18 |      415
115.57/115.61	c  115s |      17 |   321497 |   281732 |     5249    123 |       64 |      574
117.26/117.30	c  117s |      17 |   326165 |   285956 |     5249    123 |      360 |     1670
117.26/117.30	c #cpu_time = 116.923s
117.26/117.30	c #wall_clock_time = 117.230s
117.26/117.30	c #decision = 326165
117.26/117.30	c #random_decision = 1052
117.26/117.30	c #conflict = 285956
117.26/117.30	c #restart = 17
117.26/117.30	s UNSATISFIABLE
117.26/117.30	c total CPU time = 116.999s
117.26/117.30	c total wall clock time = 117.306s

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

pid=20547
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.01 2.03 2.00 3/179 20550
/proc/meminfo: memFree=30450000/32872528 swapFree=302776/319128
[pid=20550] ppid=20547 vsize=759228 CPUtime=0 cores=1,3,5,7
/proc/20550/stat : 20550 (toysat) R 20547 20550 16914 0 -1 4202496 2843 0 0 0 0 0 0 0 20 0 4 0 13646973 777449472 2692 33554432000 4194304 16246674 140733313598880 140733313598304 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20550/statm: 190575 2700 441 2943 0 187469 0
[pid=20550/tid=20551] ppid=20547 vsize=777660 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20551/stat : 20551 (toysat) S 20547 20550 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646973 796323840 2762 33554432000 4194304 16246674 140733313598880 140203346865392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20550/tid=20552] ppid=20547 vsize=782780 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20552/stat : 20552 (toysat) S 20547 20550 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646973 801566720 2780 33554432000 4194304 16246674 140733313598880 140203336375536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20550/tid=20553] ppid=20547 vsize=786876 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20553/stat : 20553 (toysat) S 20547 20550 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13646973 805761024 2797 33554432000 4194304 16246674 140733313598880 140203325902000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.10013 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 20550
/proc/meminfo: memFree=30450000/32872528 swapFree=302776/319128
[pid=20550] ppid=20547 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/20550/stat : 20550 (toysat) R 20547 20550 16914 0 -1 4202496 26803 0 0 0 6 3 0 0 20 0 4 0 13646973 1247350784 26641 33554432000 4194304 16246674 140733313598880 140733313598304 5677541 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20550/statm: 304529 26650 718 2943 0 301423 0
[pid=20550/tid=20551] ppid=20547 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20551/stat : 20551 (toysat) S 20547 20550 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646973 1247350784 26654 33554432000 4194304 16246674 140733313598880 140203346865392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20550/tid=20552] ppid=20547 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20552/stat : 20552 (toysat) S 20547 20550 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646973 1247350784 26660 33554432000 4194304 16246674 140733313598880 140203336375536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20550/tid=20553] ppid=20547 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20553/stat : 20553 (toysat) S 20547 20550 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13646973 1247350784 26666 33554432000 4194304 16246674 140733313598880 140203325902000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200487 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 20550
/proc/meminfo: memFree=30450000/32872528 swapFree=302776/319128
[pid=20550] ppid=20547 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/20550/stat : 20550 (toysat) R 20547 20550 16914 0 -1 4202496 48644 0 0 0 13 6 0 0 20 0 4 0 13646973 1247350784 48483 33554432000 4194304 16246674 140733313598880 140733313598304 6836566 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20550/statm: 304529 48488 718 2943 0 301423 0
[pid=20550/tid=20551] ppid=20547 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20551/stat : 20551 (toysat) S 20547 20550 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646973 1247350784 48494 33554432000 4194304 16246674 140733313598880 140203346865392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20550/tid=20552] ppid=20547 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20552/stat : 20552 (toysat) S 20547 20550 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646973 1247350784 48502 33554432000 4194304 16246674 140733313598880 140203336375536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20550/tid=20553] ppid=20547 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20553/stat : 20553 (toysat) S 20547 20550 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13646973 1247350784 48512 33554432000 4194304 16246674 140733313598880 140203325902000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300444 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 20550
/proc/meminfo: memFree=30450000/32872528 swapFree=302776/319128
[pid=20550] ppid=20547 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/20550/stat : 20550 (toysat) R 20547 20550 16914 0 -1 4202496 69961 0 0 0 19 9 0 0 20 0 4 0 13646973 1247350784 69799 33554432000 4194304 16246674 140733313598880 140733313598304 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20550/statm: 304529 69810 718 2943 0 301423 0
[pid=20550/tid=20551] ppid=20547 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20551/stat : 20551 (toysat) S 20547 20550 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646973 1247350784 69816 33554432000 4194304 16246674 140733313598880 140203346865392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20550/tid=20552] ppid=20547 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20552/stat : 20552 (toysat) S 20547 20550 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646973 1247350784 69823 33554432000 4194304 16246674 140733313598880 140203336375536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20550/tid=20553] ppid=20547 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20553/stat : 20553 (toysat) S 20547 20550 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13646973 1247350784 69829 33554432000 4194304 16246674 140733313598880 140203325902000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700362 s]
/proc/loadavg: 2.01 2.03 2.00 3/179 20550
/proc/meminfo: memFree=30450000/32872528 swapFree=302776/319128
[pid=20550] ppid=20547 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/20550/stat : 20550 (toysat) R 20547 20550 16914 0 -1 4202496 156930 0 0 0 50 19 0 0 20 0 4 0 13646973 1247350784 156768 33554432000 4194304 16246674 140733313598880 140733313598304 5662594 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20550/statm: 304529 156778 718 2943 0 301423 0
[pid=20550/tid=20551] ppid=20547 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20551/stat : 20551 (toysat) S 20547 20550 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646973 1247350784 156783 33554432000 4194304 16246674 140733313598880 140203346865392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20550/tid=20552] ppid=20547 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20552/stat : 20552 (toysat) S 20547 20550 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646973 1247350784 156788 33554432000 4194304 16246674 140733313598880 140203336375536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20550/tid=20553] ppid=20547 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20553/stat : 20553 (toysat) S 20547 20550 16914 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13646973 1247350784 156795 33554432000 4194304 16246674 140733313598880 140203325902000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50037 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 20554
/proc/meminfo: memFree=29482860/32872528 swapFree=302776/319128
[pid=20550] ppid=20547 vsize=1221188 CPUtime=1.49 cores=1,3,5,7
/proc/20550/stat : 20550 (toysat) R 20547 20550 16914 0 -1 4202496 246108 0 0 0 117 32 0 0 20 0 4 0 13646973 1250496512 245926 33554432000 4194304 16246674 140733313598880 140733313598192 12875016 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20550/statm: 305297 245926 792 2943 0 302191 0
[pid=20550/tid=20551] ppid=20547 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20551/stat : 20551 (toysat) S 20547 20550 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646973 1250496512 245926 33554432000 4194304 16246674 140733313598880 140203346865392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20550/tid=20552] ppid=20547 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20552/stat : 20552 (toysat) S 20547 20550 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646973 1250496512 245926 33554432000 4194304 16246674 140733313598880 140203336375536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20550/tid=20553] ppid=20547 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20553/stat : 20553 (toysat) S 20547 20550 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13646973 1250496512 245926 33554432000 4194304 16246674 140733313598880 140203325902000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1221188

[startup+3.10037 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 20554
/proc/meminfo: memFree=29384900/32872528 swapFree=302776/319128
[pid=20550] ppid=20547 vsize=1306180 CPUtime=3.08 cores=1,3,5,7
/proc/20550/stat : 20550 (toysat) R 20547 20550 16914 0 -1 4202496 267512 0 0 0 274 34 0 0 20 0 4 0 13646973 1337528320 267330 33554432000 4194304 16246674 140733313598880 140733313580800 5523352 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20550/statm: 326545 267330 794 2943 0 323439 0
[pid=20550/tid=20551] ppid=20547 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20551/stat : 20551 (toysat) S 20547 20550 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646973 1337528320 267330 33554432000 4194304 16246674 140733313598880 140203346865392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20550/tid=20552] ppid=20547 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20552/stat : 20552 (toysat) S 20547 20550 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646973 1337528320 267330 33554432000 4194304 16246674 140733313598880 140203336375536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20550/tid=20553] ppid=20547 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20553/stat : 20553 (toysat) S 20547 20550 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13646973 1337528320 267330 33554432000 4194304 16246674 140733313598880 140203325902000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1306180

[startup+6.30037 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 20554
/proc/meminfo: memFree=29381460/32872528 swapFree=302776/319128
[pid=20550] ppid=20547 vsize=1306180 CPUtime=6.28 cores=1,3,5,7
/proc/20550/stat : 20550 (toysat) R 20547 20550 16914 0 -1 4202496 267578 0 0 0 594 34 0 0 20 0 4 0 13646973 1337528320 267396 33554432000 4194304 16246674 140733313598880 140733313580800 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20550/statm: 326545 267396 794 2943 0 323439 0
[pid=20550/tid=20551] ppid=20547 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20551/stat : 20551 (toysat) S 20547 20550 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646973 1337528320 267396 33554432000 4194304 16246674 140733313598880 140203346865392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20550/tid=20552] ppid=20547 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20552/stat : 20552 (toysat) S 20547 20550 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646973 1337528320 267396 33554432000 4194304 16246674 140733313598880 140203336375536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20550/tid=20553] ppid=20547 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20553/stat : 20553 (toysat) S 20547 20550 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13646973 1337528320 267396 33554432000 4194304 16246674 140733313598880 140203325902000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1306180

[startup+12.7004 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 20554
/proc/meminfo: memFree=29380252/32872528 swapFree=302776/319128
[pid=20550] ppid=20547 vsize=1308228 CPUtime=12.69 cores=1,3,5,7
/proc/20550/stat : 20550 (toysat) R 20547 20550 16914 0 -1 4202496 267868 0 0 0 1234 35 0 0 20 0 4 0 13646973 1339625472 267686 33554432000 4194304 16246674 140733313598880 140733313580800 6021672 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20550/statm: 327057 267686 797 2943 0 323951 0
[pid=20550/tid=20551] ppid=20547 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20551/stat : 20551 (toysat) S 20547 20550 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646973 1339625472 267686 33554432000 4194304 16246674 140733313598880 140203346865392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20550/tid=20552] ppid=20547 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20552/stat : 20552 (toysat) S 20547 20550 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646973 1339625472 267686 33554432000 4194304 16246674 140733313598880 140203336375536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20550/tid=20553] ppid=20547 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20553/stat : 20553 (toysat) S 20547 20550 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13646973 1339625472 267686 33554432000 4194304 16246674 140733313598880 140203325902000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1308228

[startup+25.5005 s]
/proc/loadavg: 2.00 2.03 2.00 3/183 20554
/proc/meminfo: memFree=29379904/32872528 swapFree=302776/319128
[pid=20550] ppid=20547 vsize=1308228 CPUtime=25.49 cores=1,3,5,7
/proc/20550/stat : 20550 (toysat) R 20547 20550 16914 0 -1 4202496 268093 0 0 0 2514 35 0 0 20 0 4 0 13646973 1339625472 267911 33554432000 4194304 16246674 140733313598880 140733313580800 5523427 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20550/statm: 327057 267911 797 2943 0 323951 0
[pid=20550/tid=20551] ppid=20547 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20551/stat : 20551 (toysat) S 20547 20550 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646973 1339625472 267911 33554432000 4194304 16246674 140733313598880 140203346865392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20550/tid=20552] ppid=20547 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20552/stat : 20552 (toysat) S 20547 20550 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646973 1339625472 267911 33554432000 4194304 16246674 140733313598880 140203336375536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20550/tid=20553] ppid=20547 vsize=1308228 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20553/stat : 20553 (toysat) S 20547 20550 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13646973 1339625472 267911 33554432000 4194304 16246674 140733313598880 140203325902000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 1308228

[startup+51.1005 s]
/proc/loadavg: 2.08 2.04 2.00 3/183 20554
/proc/meminfo: memFree=29370560/32872528 swapFree=302776/319128
[pid=20550] ppid=20547 vsize=1317444 CPUtime=51.08 cores=1,3,5,7
/proc/20550/stat : 20550 (toysat) R 20547 20550 16914 0 -1 4202496 270397 0 0 0 5073 35 0 0 20 0 4 0 13646973 1349062656 270215 33554432000 4194304 16246674 140733313598880 140733313580800 5677888 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20550/statm: 329361 270215 797 2943 0 326255 0
[pid=20550/tid=20551] ppid=20547 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20551/stat : 20551 (toysat) S 20547 20550 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646973 1349062656 270215 33554432000 4194304 16246674 140733313598880 140203346865392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20550/tid=20552] ppid=20547 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20552/stat : 20552 (toysat) S 20547 20550 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646973 1349062656 270215 33554432000 4194304 16246674 140733313598880 140203336375536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20550/tid=20553] ppid=20547 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20553/stat : 20553 (toysat) S 20547 20550 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13646973 1349062656 270215 33554432000 4194304 16246674 140733313598880 140203325902000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 1317444

[startup+102.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 20555
/proc/meminfo: memFree=29368372/32872528 swapFree=302776/319128
[pid=20550] ppid=20547 vsize=1317444 CPUtime=102.28 cores=1,3,5,7
/proc/20550/stat : 20550 (toysat) R 20547 20550 16914 0 -1 4202496 270400 0 0 0 10192 36 0 0 20 0 4 0 13646973 1349062656 270471 33554432000 4194304 16246674 140733313598880 140733313580800 5822492 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20550/statm: 329361 270471 797 2943 0 326255 0
[pid=20550/tid=20551] ppid=20547 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20551/stat : 20551 (toysat) S 20547 20550 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646973 1349062656 270471 33554432000 4194304 16246674 140733313598880 140203346865392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20550/tid=20552] ppid=20547 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20552/stat : 20552 (toysat) S 20547 20550 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646973 1349062656 270471 33554432000 4194304 16246674 140733313598880 140203336375536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20550/tid=20553] ppid=20547 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20553/stat : 20553 (toysat) S 20547 20550 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13646973 1349062656 270471 33554432000 4194304 16246674 140733313598880 140203325902000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 1317444

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

[startup+102.407 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 20555
/proc/meminfo: memFree=29368372/32872528 swapFree=302776/319128
[pid=20550] ppid=20547 vsize=1317444 CPUtime=102.38 cores=1,3,5,7
/proc/20550/stat : 20550 (toysat) R 20547 20550 16914 0 -1 4202496 270400 0 0 0 10202 36 0 0 20 0 4 0 13646973 1349062656 270471 33554432000 4194304 16246674 140733313598880 140733313580800 5672197 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20550/statm: 329361 270471 797 2943 0 326255 0
[pid=20550/tid=20551] ppid=20547 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20551/stat : 20551 (toysat) S 20547 20550 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646973 1349062656 270471 33554432000 4194304 16246674 140733313598880 140203346865392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20550/tid=20552] ppid=20547 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20552/stat : 20552 (toysat) S 20547 20550 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646973 1349062656 270471 33554432000 4194304 16246674 140733313598880 140203336375536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20550/tid=20553] ppid=20547 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20553/stat : 20553 (toysat) S 20547 20550 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13646973 1349062656 270471 33554432000 4194304 16246674 140733313598880 140203325902000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 102.38
Current children cumulated vsize (KiB) 1317444

[startup+108.8 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 20555
/proc/meminfo: memFree=29368496/32872528 swapFree=302776/319128
[pid=20550] ppid=20547 vsize=1317444 CPUtime=108.77 cores=1,3,5,7
/proc/20550/stat : 20550 (toysat) R 20547 20550 16914 0 -1 4202496 270405 0 0 0 10841 36 0 0 20 0 4 0 13646973 1349062656 270471 33554432000 4194304 16246674 140733313598880 140733313580800 5523460 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20550/statm: 329361 270471 797 2943 0 326255 0
[pid=20550/tid=20551] ppid=20547 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20551/stat : 20551 (toysat) S 20547 20550 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646973 1349062656 270471 33554432000 4194304 16246674 140733313598880 140203346865392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20550/tid=20552] ppid=20547 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20552/stat : 20552 (toysat) S 20547 20550 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646973 1349062656 270471 33554432000 4194304 16246674 140733313598880 140203336375536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20550/tid=20553] ppid=20547 vsize=1317444 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20553/stat : 20553 (toysat) S 20547 20550 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13646973 1349062656 270471 33554432000 4194304 16246674 140733313598880 140203325902000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 108.77
Current children cumulated vsize (KiB) 1317444

[startup+112 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 20555
/proc/meminfo: memFree=29368484/32872528 swapFree=302776/319128
[pid=20550] ppid=20547 vsize=1318468 CPUtime=111.97 cores=1,3,5,7
/proc/20550/stat : 20550 (toysat) R 20547 20550 16914 0 -1 4202496 270532 0 0 0 11161 36 0 0 20 0 4 0 13646973 1350111232 270598 33554432000 4194304 16246674 140733313598880 140733313580800 5546627 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20550/statm: 329617 270598 797 2943 0 326511 0
[pid=20550/tid=20551] ppid=20547 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20551/stat : 20551 (toysat) S 20547 20550 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646973 1350111232 270598 33554432000 4194304 16246674 140733313598880 140203346865392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20550/tid=20552] ppid=20547 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20552/stat : 20552 (toysat) S 20547 20550 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646973 1350111232 270598 33554432000 4194304 16246674 140733313598880 140203336375536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20550/tid=20553] ppid=20547 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20553/stat : 20553 (toysat) S 20547 20550 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13646973 1350111232 270598 33554432000 4194304 16246674 140733313598880 140203325902000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 111.97
Current children cumulated vsize (KiB) 1318468

[startup+115.2 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 20555
/proc/meminfo: memFree=29367368/32872528 swapFree=302776/319128
[pid=20550] ppid=20547 vsize=1318468 CPUtime=115.16 cores=1,3,5,7
/proc/20550/stat : 20550 (toysat) R 20547 20550 16914 0 -1 4202496 270661 0 0 0 11480 36 0 0 20 0 4 0 13646973 1350111232 270727 33554432000 4194304 16246674 140733313598880 140733313580800 5822428 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20550/statm: 329617 270727 797 2943 0 326511 0
[pid=20550/tid=20551] ppid=20547 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20551/stat : 20551 (toysat) S 20547 20550 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646973 1350111232 270727 33554432000 4194304 16246674 140733313598880 140203346865392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20550/tid=20552] ppid=20547 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20552/stat : 20552 (toysat) S 20547 20550 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646973 1350111232 270727 33554432000 4194304 16246674 140733313598880 140203336375536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20550/tid=20553] ppid=20547 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20553/stat : 20553 (toysat) S 20547 20550 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13646973 1350111232 270727 33554432000 4194304 16246674 140733313598880 140203325902000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 115.16
Current children cumulated vsize (KiB) 1318468

[startup+116 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 20555
/proc/meminfo: memFree=29367492/32872528 swapFree=302776/319128
[pid=20550] ppid=20547 vsize=1318468 CPUtime=115.96 cores=1,3,5,7
/proc/20550/stat : 20550 (toysat) R 20547 20550 16914 0 -1 4202496 270661 0 0 0 11560 36 0 0 20 0 4 0 13646973 1350111232 270727 33554432000 4194304 16246674 140733313598880 140733313580800 12460074 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20550/statm: 329617 270727 797 2943 0 326511 0
[pid=20550/tid=20551] ppid=20547 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20551/stat : 20551 (toysat) S 20547 20550 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646973 1350111232 270727 33554432000 4194304 16246674 140733313598880 140203346865392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20550/tid=20552] ppid=20547 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20552/stat : 20552 (toysat) S 20547 20550 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646973 1350111232 270727 33554432000 4194304 16246674 140733313598880 140203336375536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20550/tid=20553] ppid=20547 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20553/stat : 20553 (toysat) S 20547 20550 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13646973 1350111232 270727 33554432000 4194304 16246674 140733313598880 140203325902000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 115.96
Current children cumulated vsize (KiB) 1318468

[startup+116.8 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 20555
/proc/meminfo: memFree=29367492/32872528 swapFree=302776/319128
[pid=20550] ppid=20547 vsize=1318468 CPUtime=116.76 cores=1,3,5,7
/proc/20550/stat : 20550 (toysat) R 20547 20550 16914 0 -1 4202496 270661 0 0 0 11640 36 0 0 20 0 4 0 13646973 1350111232 270727 33554432000 4194304 16246674 140733313598880 140733313580800 5675950 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20550/statm: 329617 270727 797 2943 0 326511 0
[pid=20550/tid=20551] ppid=20547 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20551/stat : 20551 (toysat) S 20547 20550 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646973 1350111232 270727 33554432000 4194304 16246674 140733313598880 140203346865392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20550/tid=20552] ppid=20547 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20552/stat : 20552 (toysat) S 20547 20550 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646973 1350111232 270727 33554432000 4194304 16246674 140733313598880 140203336375536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20550/tid=20553] ppid=20547 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20553/stat : 20553 (toysat) S 20547 20550 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13646973 1350111232 270727 33554432000 4194304 16246674 140733313598880 140203325902000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 116.76
Current children cumulated vsize (KiB) 1318468

[startup+117.2 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 20555
/proc/meminfo: memFree=29367492/32872528 swapFree=302776/319128
[pid=20550] ppid=20547 vsize=1318468 CPUtime=117.16 cores=1,3,5,7
/proc/20550/stat : 20550 (toysat) R 20547 20550 16914 0 -1 4202496 270661 0 0 0 11680 36 0 0 20 0 4 0 13646973 1350111232 270727 33554432000 4194304 16246674 140733313598880 140733313580800 13198424 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20550/statm: 329617 270727 797 2943 0 326511 0
[pid=20550/tid=20551] ppid=20547 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20551/stat : 20551 (toysat) S 20547 20550 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646973 1350111232 270727 33554432000 4194304 16246674 140733313598880 140203346865392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20550/tid=20552] ppid=20547 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20552/stat : 20552 (toysat) S 20547 20550 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646973 1350111232 270727 33554432000 4194304 16246674 140733313598880 140203336375536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20550/tid=20553] ppid=20547 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20553/stat : 20553 (toysat) S 20547 20550 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13646973 1350111232 270727 33554432000 4194304 16246674 140733313598880 140203325902000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 117.16
Current children cumulated vsize (KiB) 1318468

[startup+117.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 20555
/proc/meminfo: memFree=29367492/32872528 swapFree=302776/319128
[pid=20550] ppid=20547 vsize=1318468 CPUtime=117.26 cores=1,3,5,7
/proc/20550/stat : 20550 (toysat) R 20547 20550 16914 0 -1 4202496 270661 0 0 0 11690 36 0 0 20 0 4 0 13646973 1350111232 270727 33554432000 4194304 16246674 140733313598880 140733313580800 12997728 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20550/statm: 329617 270727 797 2943 0 326511 0
[pid=20550/tid=20551] ppid=20547 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20551/stat : 20551 (toysat) S 20547 20550 16914 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13646973 1350111232 270727 33554432000 4194304 16246674 140733313598880 140203346865392 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20550/tid=20552] ppid=20547 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20552/stat : 20552 (toysat) S 20547 20550 16914 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13646973 1350111232 270727 33554432000 4194304 16246674 140733313598880 140203336375536 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20550/tid=20553] ppid=20547 vsize=1318468 CPUtime=0 cores=1,3,5,7
/proc/20550/task/20553/stat : 20553 (toysat) S 20547 20550 16914 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13646973 1350111232 270727 33554432000 4194304 16246674 140733313598880 140203325902000 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 117.26
Current children cumulated vsize (KiB) 1318468

Child status: 0
Real time (s): 117.366
CPU time (s): 117.344
CPU user time (s): 116.916
CPU system time (s): 0.427934
CPU usage (%): 99.9813
Max. virtual memory (cumulated for all children) (KiB): 1318468

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 116.916
system time used= 0.427934
maximum resident set size= 1082920
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 270666
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= 29
involuntary context switches= 120

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.286956 second user time and 0.468928 second system time

The end

Launcher Data 

Begin job on node128 at 2016-06-17 00:26:43
IDJOB=4096841
IDBENCH=107672
IDSOLVER=2542
FILE ID=node128/4096841-1466116003
RUNJOBID= node128-1466113207-19340
PBS_JOBID= 19904049
Free space on /tmp= 71692 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB16/normalized-PB16/DEC-SMALLINT-LIN/quimper/SyncCodes/d_n_k/normalized-7_7_16.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4096841-1466116003/watcher-4096841-1466116003 -o /tmp/evaluation-result-4096841-1466116003/solver-4096841-1466116003 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node128-1466113207-19340 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4096841-1466116003.opb

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

MD5SUM BENCH= fb5dc6265ab658be296cb10fe2b2d535
RANDOM SEED=909024281

node128.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30450404 kB
Buffers:           71748 kB
Cached:           191912 kB
SwapCached:         2096 kB
Active:          1282964 kB
Inactive:         111160 kB
Active(anon):    1131228 kB
Inactive(anon):     1600 kB
Active(file):     151736 kB
Inactive(file):   109560 kB
Unevictable:      319128 kB
Mlocked:          302776 kB
SwapTotal:      67108856 kB
SwapFree:       67098972 kB
Dirty:             16580 kB
Writeback:            60 kB
AnonPages:       1450544 kB
Mapped:            10608 kB
Shmem:                 0 kB
Slab:             572492 kB
SReclaimable:      15712 kB
SUnreclaim:       556780 kB
KernelStack:        1480 kB
PageTables:         7104 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1593024 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1030144 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= 71676 MiB
End job on node128 at 2016-06-17 00:28:41