Trace number 4096953

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 137.058 137.08

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/
SyncCodes/d_n_k/normalized-7_6_21.opb
MD5SUM71a723de99ccd336966d223e3c536909
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 benchmark1.49977
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables812
Total number of constraints3813
Number of constraints which are clauses3808
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 constraint28
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 21
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 49
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:30:54+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-4096953-1466116254.opb"]
0.00/0.01	c use --random-gen="1070972358 1497608964 4023985768 2105788160 3039202494 2927437383 3691265482 1588745101 1098783268 1606729670 3018103684 2578594175 547817213 993171166 2550531448 1224817580 636857370 1814023469 3524286990 2223354901 2865911604 6451423 3009788631 2380471262 189558645 2787487190 3385838371 422519293 926777918 1762167648 3463240140 2398873787 2184012772 84068783 4281995242 1182546461 558524247 2637236409 2209239582 435085784 1329024299 606708717 4240648361 260388373 1686127095 3814733201 500561991 999649818 1107753443 2316276729 832630067 744202795 473751725 496067208 3805354043 296809882 148268748 4132038027 86684317 43903800 369093670 2365196122 1841716152 685724261 2719186178 3197051990 3192306404 351432955 3086566873 1915995214 869768535 1115993600 59328908 1883372236 349883034 640586433 619034139 2987843748 332400877 643612748 1029174323 1451932621 2963776576 1766887762 1394478862 3047390978 3975434243 3664969813 2783673230 3560922567 3406144772 2898889838 2025700434 1386537350 1711333328 2785820914 897636006 3449563849 1834440599 766283311 223297904 3511695573 751104864 529644880 3098849858 3486301143 1573119027 3594123947 961519903 3366380130 1765620246 3567461111 359744290 177535214 3287056703 1005692626 2828267705 2123044879 2314011355 1887851413 1743795533 1382147165 1671019634 139070576 3668723927 3006945943 2160384786 3620232259 4194037279 2427991856 3148448991 2496577685 540372502 1674233713 332430699 1553345685 170349091 1764665652 1915768359 991240703 1419984026 3458357960 3221281497 628395812 3055816604 1805082644 1225665359 3510444286 769117361 4282634127 1596705482 49985299 1753088702 1911703214 1404517716 1582490530 3898095579 3240068895 3732902291 1980735136 4066138840 3769636280 205198923 2097524116 1716393775 2035869640 3413943912 954176442 1728642994 2604811323 203220186 3214909013 2724275243 4231737126 1311656936 3698618761 1863849046 3606105195 832583072 3544108357 2225011145 3971984148 2121628313 2763310592 3265809450 202395146 1502756961 1732584292 4193747024 1067600694 2794377724 1497044493 1045760060 1492517466 111584160 861887194 1403432458 3766027412 430015883 3935851095 987452177 2174035349 2943353777 1603906309 2295142039 2758996555 3372465966 3298244434 3160338535 950219381 2847610550 2551927406 1245749153 2176929736 2150094531 2224312039 2417685781 2290482023 2991009516 2231913906 2504833794 1199558273 3075392275 2701620965 1926889504 2813459039 3672827323 1201357857 1466798199 3072705854 3889304413 1025897683 3269853123 3702813680 2305595979 2225451453 1960728174 183396852 3255757829 395863642 2291030911 2682871934 2222937918 9978211 3086702950 3081646499 3407311981 1944172609 2493906665 893475435 3256092703 3719662903 354869029 2681603216 4229904449 2582450834 255 362436" option to reproduce the execution
0.00/0.04	c #vars 812
0.00/0.04	c #constraints 3813
0.09/0.10	c Solving starts ...
0.09/0.10	c ============================[ Search Statistics ]============================
0.09/0.10	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.09/0.10	c       |         |          |          |    Limit     GC | Var      | Constra 
0.09/0.10	c =============================================================================
0.09/0.10	c  0.0s |       0 |        0 |        0 |     1540      0 |        5 |        0
0.09/0.13	c  0.0s |       1 |      131 |      100 |     1540      0 |        5 |      222
0.09/0.18	c  0.1s |       2 |      313 |      250 |     1695      0 |        5 |      222
0.19/0.26	c  0.2s |       3 |      572 |      475 |     1865      0 |        5 |      222
0.29/0.38	c  0.3s |       4 |      972 |      813 |     2052      0 |        5 |      222
0.49/0.57	c  0.5s |       5 |     1544 |     1320 |     2258      0 |        5 |      222
0.89/0.94	c  0.8s |       6 |     2632 |     2081 |     2733      0 |        5 |      222
1.39/1.47	c  1.4s |       7 |     4137 |     3223 |     3007      1 |        5 |      222
2.09/2.11	c  2.0s |       8 |     6155 |     4936 |     3308      2 |        5 |      222
2.98/3.07	c  3.0s |       9 |     9079 |     7506 |     3639      3 |        5 |      222
4.59/4.63	c  4.5s |      10 |    13538 |    11361 |     4003      5 |        5 |      222
6.60/6.66	c  6.6s |      10 |    19582 |    16361 |     4003      7 |        5 |      222
6.99/7.04	c  6.9s |      11 |    20567 |    17144 |     4404      8 |        5 |      222
8.99/9.04	c  8.9s |      11 |    26178 |    21944 |     4404     10 |        5 |      222
10.59/10.68	c 10.6s |      12 |    30912 |    25819 |     4845     11 |        5 |      222
12.69/12.71	c 12.6s |      12 |    36345 |    30519 |     4845     13 |        5 |      222
14.69/14.72	c 14.6s |      12 |    41744 |    35119 |     4845     15 |        5 |      222
16.19/16.20	c 16.1s |      13 |    46081 |    38832 |     5330     16 |        5 |      222
18.19/18.23	c 18.1s |      13 |    50880 |    43032 |     5330     18 |        5 |      222
20.19/20.26	c 20.2s |      13 |    56372 |    48032 |     5330     20 |        5 |      222
22.19/22.26	c 22.2s |      13 |    61725 |    52932 |     5330     21 |        5 |      222
24.20/24.28	c 24.2s |      13 |    66848 |    57632 |     5330     23 |        5 |      222
24.49/24.59	c 24.5s |      14 |    67620 |    58352 |     5864     23 |        5 |      222
26.59/26.62	c 26.5s |      14 |    73164 |    63052 |     5864     25 |        5 |      222
28.59/28.62	c 28.5s |      14 |    79266 |    68452 |     5864     27 |        5 |      222
30.59/30.65	c 30.5s |      14 |    85457 |    73852 |     5864     28 |        5 |      222
32.59/32.67	c 32.6s |      14 |    91376 |    79252 |     5864     30 |        5 |      222
34.68/34.70	c 34.6s |      14 |    96789 |    84152 |     5864     32 |        5 |      222
35.98/36.02	c 35.9s |      15 |   100657 |    87632 |     6451     33 |        5 |      222
37.98/38.03	c 37.9s |      15 |   106232 |    92432 |     6451     34 |        5 |      222
39.98/40.05	c 39.9s |      15 |   111956 |    97432 |     6451     36 |        5 |      222
41.98/42.08	c 42.0s |      15 |   117813 |   102632 |     6451     37 |        5 |      222
43.99/44.08	c 44.0s |      15 |   123624 |   107732 |     6451     39 |        5 |      222
45.98/46.09	c 46.0s |      15 |   129339 |   112932 |     6451     41 |        5 |      222
48.08/48.10	c 48.0s |      15 |   134012 |   117132 |     6451     42 |        5 |      222
50.08/50.13	c 50.0s |      15 |   139547 |   122132 |     6451     43 |        5 |      222
52.08/52.13	c 52.0s |      15 |   144920 |   126932 |     6451     45 |        5 |      222
53.98/54.01	c 53.9s |      16 |   150226 |   131552 |     7097     46 |        5 |      222
55.98/56.04	c 55.9s |      16 |   155800 |   136452 |     7097     47 |        5 |      222
57.98/58.05	c 57.9s |      16 |   161409 |   141452 |     7097     49 |        5 |      222
59.98/60.05	c 59.9s |      16 |   167057 |   146552 |     7097     50 |        5 |      222
61.98/62.09	c 62.0s |      16 |   171750 |   150852 |     7097     51 |        5 |      222
64.08/64.10	c 64.0s |      16 |   176742 |   155452 |     7097     53 |        5 |      222
66.08/66.11	c 66.0s |      16 |   182005 |   160152 |     7097     54 |        5 |      222
68.07/68.14	c 68.0s |      16 |   187439 |   164952 |     7097     55 |        5 |      222
70.07/70.17	c 70.1s |      16 |   193204 |   170052 |     7097     57 |        5 |      222
72.17/72.21	c 72.1s |      16 |   199111 |   175352 |     7097     58 |        5 |      222
74.17/74.25	c 74.1s |      16 |   204691 |   180352 |     7097     60 |        5 |      222
76.17/76.26	c 76.2s |      16 |   209783 |   185052 |     7097     61 |        5 |      222
78.27/78.30	c 78.2s |      16 |   215239 |   190052 |     7097     62 |        5 |      222
80.28/80.33	c 80.2s |      16 |   219897 |   194352 |     7097     63 |        5 |      222
81.67/81.75	c 81.6s |      17 |   223379 |   197432 |     7807     64 |        5 |      222
83.69/83.77	c 83.7s |      17 |   228543 |   201932 |     7807     65 |        5 |      222
85.68/85.79	c 85.7s |      17 |   233646 |   206532 |     7807     66 |        5 |      222
87.78/87.84	c 87.7s |      17 |   238304 |   210832 |     7807     68 |        5 |      222
89.78/89.85	c 89.7s |      17 |   243627 |   215632 |     7807     69 |        5 |      222
91.78/91.88	c 91.8s |      17 |   248204 |   219732 |     7807     70 |        5 |      222
93.88/93.90	c 93.8s |      17 |   252968 |   224132 |     7807     71 |        5 |      222
95.88/95.91	c 95.8s |      17 |   257655 |   228232 |     7807     72 |        5 |      222
97.88/97.95	c 97.8s |      17 |   262261 |   232432 |     7807     73 |        5 |      222
99.88/99.98	c 99.9s |      17 |   267199 |   236932 |     7807     74 |        5 |      222
101.97/102.02	c  101s |      17 |   272175 |   241532 |     7807     75 |        5 |      222
103.97/104.06	c  103s |      17 |   277324 |   246132 |     7807     76 |        5 |      222
105.97/106.08	c  105s |      17 |   282633 |   250932 |     7807     77 |        8 |      279
107.97/108.09	c  107s |      17 |   287433 |   255232 |     7807     78 |        8 |      279
109.98/110.09	c  109s |      17 |   291778 |   259132 |     7807     79 |        8 |      279
112.07/112.13	c  112s |      17 |   296855 |   263732 |     7807     80 |        8 |      279
114.07/114.16	c  114s |      17 |   301653 |   268132 |     7807     81 |        8 |      279
116.07/116.17	c  116s |      17 |   306081 |   272232 |     7807     82 |        8 |      279
118.07/118.20	c  118s |      17 |   310649 |   276332 |     7807     83 |        8 |      279
120.17/120.23	c  120s |      17 |   315106 |   280432 |     7807     84 |        8 |      279
122.17/122.24	c  122s |      17 |   319259 |   284332 |     7807     85 |        8 |      279
124.17/124.27	c  124s |      17 |   323462 |   288232 |     7807     86 |        8 |      279
126.26/126.32	c  126s |      17 |   328023 |   292432 |     7807     86 |       12 |      388
127.96/128.07	c  127s |      18 |   332213 |   296252 |     8588     87 |       12 |      388
129.96/130.07	c  129s |      18 |   336976 |   300452 |     8588     88 |       12 |      388
131.98/132.10	c  132s |      18 |   342753 |   305752 |     8588     88 |       17 |      449
134.07/134.10	c  134s |      18 |   347462 |   310052 |     8588     89 |       24 |      514
136.07/136.11	c  136s |      18 |   353198 |   315352 |     8588     89 |       30 |      623
136.97/137.01	c  136s |      18 |   355759 |   317712 |     8588     89 |      453 |     1781
136.97/137.01	c #cpu_time = 136.560s
136.97/137.01	c #wall_clock_time = 136.912s
136.97/137.01	c #decision = 355759
136.97/137.01	c #random_decision = 1323
136.97/137.01	c #conflict = 317712
136.97/137.01	c #restart = 18
136.97/137.01	s UNSATISFIABLE
136.97/137.01	c total CPU time = 136.665s
136.97/137.01	c total wall clock time = 137.017s

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

pid=19233
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.00 2.79 3.58 1/169 19237
/proc/meminfo: memFree=30495608/32872528 swapFree=1315980/1463148
[pid=19237] ppid=19233 vsize=703932 CPUtime=0 cores=1,3,5,7
/proc/19237/stat : 19237 (toysat) R 19233 19237 14504 0 -1 4202496 2621 0 0 0 0 0 0 0 20 0 4 0 13672371 720826368 2982 33554432000 4194304 16246674 140735234177296 140735234176720 13880264 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19237/statm: 176495 2992 441 2943 0 173389 0
[pid=19237/tid=19238] ppid=19233 vsize=721340 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19238/stat : 19238 (toysat) S 19233 19237 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13672371 738652160 3051 33554432000 4194304 16246674 140735234177296 139983047339248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19237/tid=19239] ppid=19233 vsize=725436 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19239/stat : 19239 (toysat) S 19233 19237 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13672371 742846464 3069 33554432000 4194304 16246674 140735234177296 139983036849392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19237/tid=19240] ppid=19233 vsize=729532 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19240/stat : 19240 (toysat) S 19233 19237 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13672371 747040768 3085 33554432000 4194304 16246674 140735234177296 139982916283568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100127 s]
/proc/loadavg: 2.00 2.79 3.58 1/169 19237
/proc/meminfo: memFree=30495608/32872528 swapFree=1315980/1463148
[pid=19237] ppid=19233 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/19237/stat : 19237 (toysat) R 19233 19237 14504 0 -1 4202496 27779 0 0 0 5 4 0 0 20 0 4 0 13672371 1247350784 28131 33554432000 4194304 16246674 140735234177296 140735234176720 7202813 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19237/statm: 304529 28138 632 2943 0 301423 0
[pid=19237/tid=19238] ppid=19233 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19238/stat : 19238 (toysat) S 19233 19237 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13672371 1247350784 28144 33554432000 4194304 16246674 140735234177296 139983047339248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19237/tid=19239] ppid=19233 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19239/stat : 19239 (toysat) S 19233 19237 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13672371 1247350784 28150 33554432000 4194304 16246674 140735234177296 139983036849392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19237/tid=19240] ppid=19233 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19240/stat : 19240 (toysat) S 19233 19237 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13672371 1247350784 28155 33554432000 4194304 16246674 140735234177296 139982916283568 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.200535 s]
/proc/loadavg: 2.00 2.79 3.58 1/169 19237
/proc/meminfo: memFree=30495608/32872528 swapFree=1315980/1463148
[pid=19237] ppid=19233 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/19237/stat : 19237 (toysat) R 19233 19237 14504 0 -1 4202496 48797 0 0 0 12 7 0 0 20 0 4 0 13672371 1247350784 49147 33554432000 4194304 16246674 140735234177296 140735234176720 5662075 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19237/statm: 304529 49157 718 2943 0 301423 0
[pid=19237/tid=19238] ppid=19233 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19238/stat : 19238 (toysat) S 19233 19237 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13672371 1247350784 49162 33554432000 4194304 16246674 140735234177296 139983047339248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19237/tid=19239] ppid=19233 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19239/stat : 19239 (toysat) S 19233 19237 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13672371 1247350784 49172 33554432000 4194304 16246674 140735234177296 139983036849392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19237/tid=19240] ppid=19233 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19240/stat : 19240 (toysat) S 19233 19237 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13672371 1247350784 49179 33554432000 4194304 16246674 140735234177296 139982916283568 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.300492 s]
/proc/loadavg: 2.00 2.79 3.58 1/169 19237
/proc/meminfo: memFree=30495608/32872528 swapFree=1315980/1463148
[pid=19237] ppid=19233 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/19237/stat : 19237 (toysat) R 19233 19237 14504 0 -1 4202496 69799 0 0 0 19 10 0 0 20 0 4 0 13672371 1247350784 70148 33554432000 4194304 16246674 140735234177296 140735234176720 5677277 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19237/statm: 304529 70155 718 2943 0 301423 0
[pid=19237/tid=19238] ppid=19233 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19238/stat : 19238 (toysat) S 19233 19237 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13672371 1247350784 70159 33554432000 4194304 16246674 140735234177296 139983047339248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19237/tid=19239] ppid=19233 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19239/stat : 19239 (toysat) S 19233 19237 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13672371 1247350784 70164 33554432000 4194304 16246674 140735234177296 139983036849392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19237/tid=19240] ppid=19233 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19240/stat : 19240 (toysat) S 19233 19237 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13672371 1247350784 70170 33554432000 4194304 16246674 140735234177296 139982916283568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.70034 s]
/proc/loadavg: 2.00 2.79 3.58 1/169 19237
/proc/meminfo: memFree=30495608/32872528 swapFree=1315980/1463148
[pid=19237] ppid=19233 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/19237/stat : 19237 (toysat) R 19233 19237 14504 0 -1 4202496 150581 0 0 0 49 20 0 0 20 0 4 0 13672371 1247350784 150931 33554432000 4194304 16246674 140735234177296 140735234159168 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19237/statm: 304529 150941 718 2943 0 301423 0
[pid=19237/tid=19238] ppid=19233 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19238/stat : 19238 (toysat) S 19233 19237 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13672371 1247350784 150946 33554432000 4194304 16246674 140735234177296 139983047339248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19237/tid=19239] ppid=19233 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19239/stat : 19239 (toysat) S 19233 19237 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13672371 1247350784 150953 33554432000 4194304 16246674 140735234177296 139983036849392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19237/tid=19240] ppid=19233 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19240/stat : 19240 (toysat) S 19233 19237 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13672371 1247350784 150955 33554432000 4194304 16246674 140735234177296 139982916283568 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.50042 s]
/proc/loadavg: 2.00 2.79 3.58 3/182 19308
/proc/meminfo: memFree=29245812/32872528 swapFree=1315980/1463148
[pid=19237] ppid=19233 vsize=1222212 CPUtime=1.49 cores=1,3,5,7
/proc/19237/stat : 19237 (toysat) R 19233 19237 14504 0 -1 4202496 246416 0 0 0 115 34 0 0 20 0 4 0 13672371 1251545088 246745 33554432000 4194304 16246674 140735234177296 140735234176608 5674417 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19237/statm: 305553 246745 792 2943 0 302447 0
[pid=19237/tid=19238] ppid=19233 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19238/stat : 19238 (toysat) S 19233 19237 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13672371 1251545088 246745 33554432000 4194304 16246674 140735234177296 139983047339248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19237/tid=19239] ppid=19233 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19239/stat : 19239 (toysat) S 19233 19237 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13672371 1251545088 246745 33554432000 4194304 16246674 140735234177296 139983036849392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19237/tid=19240] ppid=19233 vsize=1222212 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19240/stat : 19240 (toysat) S 19233 19237 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13672371 1251545088 246745 33554432000 4194304 16246674 140735234177296 139982916283568 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) 1222212

[startup+3.10042 s]
/proc/loadavg: 2.00 2.79 3.58 2/178 19308
/proc/meminfo: memFree=29409120/32872528 swapFree=1315980/1463148
[pid=19237] ppid=19233 vsize=1306180 CPUtime=3.09 cores=1,3,5,7
/proc/19237/stat : 19237 (toysat) R 19233 19237 14504 0 -1 4202496 267533 0 0 0 271 38 0 0 20 0 4 0 13672371 1337528320 267862 33554432000 4194304 16246674 140735234177296 140735234159168 5827784 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19237/statm: 326545 267862 793 2943 0 323439 0
[pid=19237/tid=19238] ppid=19233 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19238/stat : 19238 (toysat) S 19233 19237 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13672371 1337528320 267862 33554432000 4194304 16246674 140735234177296 139983047339248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19237/tid=19239] ppid=19233 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19239/stat : 19239 (toysat) S 19233 19237 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13672371 1337528320 267862 33554432000 4194304 16246674 140735234177296 139983036849392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19237/tid=19240] ppid=19233 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19240/stat : 19240 (toysat) S 19233 19237 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13672371 1337528320 267862 33554432000 4194304 16246674 140735234177296 139982916283568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1306180

[startup+6.30036 s]
/proc/loadavg: 2.00 2.78 3.57 3/182 19357
/proc/meminfo: memFree=28337836/32872528 swapFree=1315980/1463148
[pid=19237] ppid=19233 vsize=1307204 CPUtime=6.29 cores=1,3,5,7
/proc/19237/stat : 19237 (toysat) R 19233 19237 14504 0 -1 4202496 267757 0 0 0 591 38 0 0 20 0 4 0 13672371 1338576896 268086 33554432000 4194304 16246674 140735234177296 140735234159168 5822604 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19237/statm: 326801 268086 795 2943 0 323695 0
[pid=19237/tid=19238] ppid=19233 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19238/stat : 19238 (toysat) S 19233 19237 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13672371 1338576896 268086 33554432000 4194304 16246674 140735234177296 139983047339248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19237/tid=19239] ppid=19233 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19239/stat : 19239 (toysat) S 19233 19237 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13672371 1338576896 268086 33554432000 4194304 16246674 140735234177296 139983036849392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19237/tid=19240] ppid=19233 vsize=1307204 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19240/stat : 19240 (toysat) S 19233 19237 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13672371 1338576896 268086 33554432000 4194304 16246674 140735234177296 139982916283568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1307204

[startup+12.7004 s]
/proc/loadavg: 2.00 2.77 3.56 3/181 19455
/proc/meminfo: memFree=28328452/32872528 swapFree=1315980/1463148
[pid=19237] ppid=19233 vsize=1309252 CPUtime=12.69 cores=1,3,5,7
/proc/19237/stat : 19237 (toysat) R 19233 19237 14504 0 -1 4202496 268323 0 0 0 1231 38 0 0 20 0 4 0 13672371 1340674048 268652 33554432000 4194304 16246674 140735234177296 140735234160296 13906983 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19237/statm: 327313 268652 796 2943 0 324207 0
[pid=19237/tid=19238] ppid=19233 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19238/stat : 19238 (toysat) S 19233 19237 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13672371 1340674048 268652 33554432000 4194304 16246674 140735234177296 139983047339248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19237/tid=19239] ppid=19233 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19239/stat : 19239 (toysat) S 19233 19237 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13672371 1340674048 268652 33554432000 4194304 16246674 140735234177296 139983036849392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19237/tid=19240] ppid=19233 vsize=1309252 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19240/stat : 19240 (toysat) S 19233 19237 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13672371 1340674048 268652 33554432000 4194304 16246674 140735234177296 139982916283568 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) 1309252

[startup+25.5005 s]
/proc/loadavg: 2.15 2.76 3.55 4/181 19455
/proc/meminfo: memFree=28328824/32872528 swapFree=1315980/1463148
[pid=19237] ppid=19233 vsize=1310276 CPUtime=25.49 cores=1,3,5,7
/proc/19237/stat : 19237 (toysat) R 19233 19237 14504 0 -1 4202496 268602 0 0 0 2511 38 0 0 20 0 4 0 13672371 1341722624 268931 33554432000 4194304 16246674 140735234177296 140735234159168 5822761 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19237/statm: 327569 268931 796 2943 0 324463 0
[pid=19237/tid=19238] ppid=19233 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19238/stat : 19238 (toysat) S 19233 19237 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13672371 1341722624 268931 33554432000 4194304 16246674 140735234177296 139983047339248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19237/tid=19239] ppid=19233 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19239/stat : 19239 (toysat) S 19233 19237 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13672371 1341722624 268931 33554432000 4194304 16246674 140735234177296 139983036849392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19237/tid=19240] ppid=19233 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19240/stat : 19240 (toysat) S 19233 19237 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13672371 1341722624 268931 33554432000 4194304 16246674 140735234177296 139982916283568 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) 1310276

[startup+51.1005 s]
/proc/loadavg: 2.16 2.71 3.51 3/181 19455
/proc/meminfo: memFree=28311760/32872528 swapFree=1315980/1463148
[pid=19237] ppid=19233 vsize=1321540 CPUtime=51.08 cores=1,3,5,7
/proc/19237/stat : 19237 (toysat) R 19233 19237 14504 0 -1 4202496 271418 0 0 0 5070 38 0 0 20 0 4 0 13672371 1353256960 271747 33554432000 4194304 16246674 140735234177296 140735234159168 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19237/statm: 330385 271747 796 2943 0 327279 0
[pid=19237/tid=19238] ppid=19233 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19238/stat : 19238 (toysat) S 19233 19237 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13672371 1353256960 271747 33554432000 4194304 16246674 140735234177296 139983047339248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19237/tid=19239] ppid=19233 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19239/stat : 19239 (toysat) S 19233 19237 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13672371 1353256960 271747 33554432000 4194304 16246674 140735234177296 139983036849392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19237/tid=19240] ppid=19233 vsize=1321540 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19240/stat : 19240 (toysat) S 19233 19237 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13672371 1353256960 271747 33554432000 4194304 16246674 140735234177296 139982916283568 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) 1321540

[startup+102.301 s]
/proc/loadavg: 2.12 2.62 3.43 3/180 19456
/proc/meminfo: memFree=28298492/32872528 swapFree=1315980/1463148
[pid=19237] ppid=19233 vsize=1325636 CPUtime=102.28 cores=1,3,5,7
/proc/19237/stat : 19237 (toysat) R 19233 19237 14504 0 -1 4202496 272442 0 0 0 10189 39 0 0 20 0 4 0 13672371 1357451264 272771 33554432000 4194304 16246674 140735234177296 140735234160296 14628944 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19237/statm: 331409 272771 796 2943 0 328303 0
[pid=19237/tid=19238] ppid=19233 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19238/stat : 19238 (toysat) S 19233 19237 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13672371 1357451264 272771 33554432000 4194304 16246674 140735234177296 139983047339248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19237/tid=19239] ppid=19233 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19239/stat : 19239 (toysat) S 19233 19237 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13672371 1357451264 272771 33554432000 4194304 16246674 140735234177296 139983036849392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19237/tid=19240] ppid=19233 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19240/stat : 19240 (toysat) S 19233 19237 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13672371 1357451264 272771 33554432000 4194304 16246674 140735234177296 139982916283568 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) 1325636

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

[startup+102.407 s]
/proc/loadavg: 2.12 2.62 3.43 3/180 19456
/proc/meminfo: memFree=28298492/32872528 swapFree=1315980/1463148
[pid=19237] ppid=19233 vsize=1325636 CPUtime=102.38 cores=1,3,5,7
/proc/19237/stat : 19237 (toysat) R 19233 19237 14504 0 -1 4202496 272442 0 0 0 10199 39 0 0 20 0 4 0 13672371 1357451264 272771 33554432000 4194304 16246674 140735234177296 140735234160296 13943664 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19237/statm: 331409 272771 796 2943 0 328303 0
[pid=19237/tid=19238] ppid=19233 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19238/stat : 19238 (toysat) S 19233 19237 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13672371 1357451264 272771 33554432000 4194304 16246674 140735234177296 139983047339248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19237/tid=19239] ppid=19233 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19239/stat : 19239 (toysat) S 19233 19237 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13672371 1357451264 272771 33554432000 4194304 16246674 140735234177296 139983036849392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19237/tid=19240] ppid=19233 vsize=1325636 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19240/stat : 19240 (toysat) S 19233 19237 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13672371 1357451264 272771 33554432000 4194304 16246674 140735234177296 139982916283568 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) 1325636

[startup+115.2 s]
/proc/loadavg: 2.17 2.60 3.41 4/181 19457
/proc/meminfo: memFree=28298492/32872528 swapFree=1315984/1463152
[pid=19237] ppid=19233 vsize=1329732 CPUtime=115.17 cores=1,3,5,7
/proc/19237/stat : 19237 (toysat) R 19233 19237 14504 0 -1 4202496 273230 0 0 0 11478 39 0 0 20 0 4 0 13672371 1361645568 273559 33554432000 4194304 16246674 140735234177296 140735234159168 5829635 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19237/statm: 332433 273559 796 2943 0 329327 0
[pid=19237/tid=19238] ppid=19233 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19238/stat : 19238 (toysat) S 19233 19237 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13672371 1361645568 273559 33554432000 4194304 16246674 140735234177296 139983047339248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19237/tid=19239] ppid=19233 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19239/stat : 19239 (toysat) S 19233 19237 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13672371 1361645568 273559 33554432000 4194304 16246674 140735234177296 139983036849392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19237/tid=19240] ppid=19233 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19240/stat : 19240 (toysat) S 19233 19237 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13672371 1361645568 273559 33554432000 4194304 16246674 140735234177296 139982916283568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 115.17
Current children cumulated vsize (KiB) 1329732

[startup+128 s]
/proc/loadavg: 2.22 2.60 3.40 3/181 19458
/proc/meminfo: memFree=28293908/32872528 swapFree=1315980/1463148
[pid=19237] ppid=19233 vsize=1329732 CPUtime=127.96 cores=1,3,5,7
/proc/19237/stat : 19237 (toysat) R 19233 19237 14504 0 -1 4202496 273466 0 0 0 12757 39 0 0 20 0 4 0 13672371 1361645568 273795 33554432000 4194304 16246674 140735234177296 140735234159168 13943668 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19237/statm: 332433 273795 796 2943 0 329327 0
[pid=19237/tid=19238] ppid=19233 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19238/stat : 19238 (toysat) S 19233 19237 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13672371 1361645568 273795 33554432000 4194304 16246674 140735234177296 139983047339248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19237/tid=19239] ppid=19233 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19239/stat : 19239 (toysat) S 19233 19237 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13672371 1361645568 273795 33554432000 4194304 16246674 140735234177296 139983036849392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19237/tid=19240] ppid=19233 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19240/stat : 19240 (toysat) S 19233 19237 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13672371 1361645568 273795 33554432000 4194304 16246674 140735234177296 139982916283568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 127.96
Current children cumulated vsize (KiB) 1329732

[startup+131.2 s]
/proc/loadavg: 2.21 2.59 3.40 3/181 19458
/proc/meminfo: memFree=28293028/32872528 swapFree=1315980/1463148
[pid=19237] ppid=19233 vsize=1329732 CPUtime=131.16 cores=1,3,5,7
/proc/19237/stat : 19237 (toysat) R 19233 19237 14504 0 -1 4202496 273466 0 0 0 13077 39 0 0 20 0 4 0 13672371 1361645568 273795 33554432000 4194304 16246674 140735234177296 140735234159168 12476841 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19237/statm: 332433 273795 796 2943 0 329327 0
[pid=19237/tid=19238] ppid=19233 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19238/stat : 19238 (toysat) S 19233 19237 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13672371 1361645568 273795 33554432000 4194304 16246674 140735234177296 139983047339248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19237/tid=19239] ppid=19233 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19239/stat : 19239 (toysat) S 19233 19237 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13672371 1361645568 273795 33554432000 4194304 16246674 140735234177296 139983036849392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19237/tid=19240] ppid=19233 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19240/stat : 19240 (toysat) S 19233 19237 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13672371 1361645568 273795 33554432000 4194304 16246674 140735234177296 139982916283568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 131.16
Current children cumulated vsize (KiB) 1329732

[startup+134.4 s]
/proc/loadavg: 2.19 2.58 3.39 3/181 19458
/proc/meminfo: memFree=28293032/32872528 swapFree=1315980/1463148
[pid=19237] ppid=19233 vsize=1329732 CPUtime=134.37 cores=1,3,5,7
/proc/19237/stat : 19237 (toysat) R 19233 19237 14504 0 -1 4202496 273466 0 0 0 13397 40 0 0 20 0 4 0 13672371 1361645568 273795 33554432000 4194304 16246674 140735234177296 140735234159168 5674718 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19237/statm: 332433 273795 796 2943 0 329327 0
[pid=19237/tid=19238] ppid=19233 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19238/stat : 19238 (toysat) S 19233 19237 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13672371 1361645568 273795 33554432000 4194304 16246674 140735234177296 139983047339248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19237/tid=19239] ppid=19233 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19239/stat : 19239 (toysat) S 19233 19237 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13672371 1361645568 273795 33554432000 4194304 16246674 140735234177296 139983036849392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19237/tid=19240] ppid=19233 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19240/stat : 19240 (toysat) S 19233 19237 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13672371 1361645568 273795 33554432000 4194304 16246674 140735234177296 139982916283568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 134.37
Current children cumulated vsize (KiB) 1329732

[startup+136 s]
/proc/loadavg: 2.19 2.58 3.39 3/181 19458
/proc/meminfo: memFree=28293144/32872528 swapFree=1315980/1463148
[pid=19237] ppid=19233 vsize=1329732 CPUtime=135.97 cores=1,3,5,7
/proc/19237/stat : 19237 (toysat) R 19233 19237 14504 0 -1 4202496 273466 0 0 0 13557 40 0 0 20 0 4 0 13672371 1361645568 273795 33554432000 4194304 16246674 140735234177296 140735234160296 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19237/statm: 332433 273795 796 2943 0 329327 0
[pid=19237/tid=19238] ppid=19233 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19238/stat : 19238 (toysat) S 19233 19237 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13672371 1361645568 273795 33554432000 4194304 16246674 140735234177296 139983047339248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19237/tid=19239] ppid=19233 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19239/stat : 19239 (toysat) S 19233 19237 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13672371 1361645568 273795 33554432000 4194304 16246674 140735234177296 139983036849392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19237/tid=19240] ppid=19233 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19240/stat : 19240 (toysat) S 19233 19237 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13672371 1361645568 273795 33554432000 4194304 16246674 140735234177296 139982916283568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 135.97
Current children cumulated vsize (KiB) 1329732

[startup+136.8 s]
/proc/loadavg: 2.19 2.58 3.39 3/181 19458
/proc/meminfo: memFree=28293276/32872528 swapFree=1315980/1463148
[pid=19237] ppid=19233 vsize=1329732 CPUtime=136.77 cores=1,3,5,7
/proc/19237/stat : 19237 (toysat) R 19233 19237 14504 0 -1 4202496 273466 0 0 0 13637 40 0 0 20 0 4 0 13672371 1361645568 273795 33554432000 4194304 16246674 140735234177296 140735234160296 5822484 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19237/statm: 332433 273795 796 2943 0 329327 0
[pid=19237/tid=19238] ppid=19233 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19238/stat : 19238 (toysat) S 19233 19237 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13672371 1361645568 273795 33554432000 4194304 16246674 140735234177296 139983047339248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19237/tid=19239] ppid=19233 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19239/stat : 19239 (toysat) S 19233 19237 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13672371 1361645568 273795 33554432000 4194304 16246674 140735234177296 139983036849392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19237/tid=19240] ppid=19233 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19240/stat : 19240 (toysat) S 19233 19237 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13672371 1361645568 273795 33554432000 4194304 16246674 140735234177296 139982916283568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 136.77
Current children cumulated vsize (KiB) 1329732

[startup+137 s]
/proc/loadavg: 2.19 2.58 3.39 3/181 19458
/proc/meminfo: memFree=28293276/32872528 swapFree=1315980/1463148
[pid=19237] ppid=19233 vsize=1329732 CPUtime=136.97 cores=1,3,5,7
/proc/19237/stat : 19237 (toysat) R 19233 19237 14504 0 -1 4202496 273466 0 0 0 13657 40 0 0 20 0 4 0 13672371 1361645568 273795 33554432000 4194304 16246674 140735234177296 140735234159168 5531204 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/19237/statm: 332433 273795 796 2943 0 329327 0
[pid=19237/tid=19238] ppid=19233 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19238/stat : 19238 (toysat) S 19233 19237 14504 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13672371 1361645568 273795 33554432000 4194304 16246674 140735234177296 139983047339248 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=19237/tid=19239] ppid=19233 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19239/stat : 19239 (toysat) S 19233 19237 14504 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13672371 1361645568 273795 33554432000 4194304 16246674 140735234177296 139983036849392 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=19237/tid=19240] ppid=19233 vsize=1329732 CPUtime=0 cores=1,3,5,7
/proc/19237/task/19240/stat : 19240 (toysat) S 19233 19237 14504 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13672371 1361645568 273795 33554432000 4194304 16246674 140735234177296 139982916283568 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 136.97
Current children cumulated vsize (KiB) 1329732

Child status: 0
Real time (s): 137.08
CPU time (s): 137.058
CPU user time (s): 136.594
CPU system time (s): 0.463929
CPU usage (%): 99.984
Max. virtual memory (cumulated for all children) (KiB): 1329732

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 136.594
system time used= 0.463929
maximum resident set size= 1095192
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273471
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= 19
involuntary context switches= 172

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.342947 second user time and 0.543917 second system time

The end

Launcher Data 

Begin job on node121 at 2016-06-17 00:30:54
IDJOB=4096953
IDBENCH=107688
IDSOLVER=2542
FILE ID=node121/4096953-1466116254
RUNJOBID= node121-1466116252-18782
PBS_JOBID= 19904064
Free space on /tmp= 71704 MiB

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

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

MD5SUM BENCH= 71a723de99ccd336966d223e3c536909
RANDOM SEED=2005874461

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

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

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.691
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.691
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:        30478924 kB
Buffers:           49468 kB
Cached:           170676 kB
SwapCached:         2484 kB
Active:           124780 kB
Inactive:         100048 kB
Active(anon):       4464 kB
Inactive(anon):     1896 kB
Active(file):     120316 kB
Inactive(file):    98152 kB
Unevictable:     1463148 kB
Mlocked:         1315980 kB
SwapTotal:      67108856 kB
SwapFree:       67099892 kB
Dirty:             32888 kB
Writeback:             0 kB
AnonPages:       1461920 kB
Mapped:             7312 kB
Shmem:                 0 kB
Slab:             571692 kB
SReclaimable:      14656 kB
SUnreclaim:       557036 kB
KernelStack:        1368 kB
PageTables:         6556 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1555548 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    143360 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= 71688 MiB
End job on node121 at 2016-06-17 00:33:12