Trace number 4079111

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 NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (TO) 1800.39 1800.66

General information on the benchmark

Name/OPT-BIGINT-LIN/aries-da_nrp/
normalized-aries-da_network_1000_5__369_766__128.opb
MD5SUM75a469ee59540cfd3c650d18a0804c5e
Bench CategoryOPT-BIGINT-LIN (optimisation, big integers, linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark425329
Best CPU time to get the best result obtained on this benchmark1800.34
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables640998
Total number of constraints6000
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)5002
Number of constraints which are nor clauses,nor cardinality constraints998
Minimum length of a constraint128
Maximum length of a constraint5249
Number of terms in the objective function 640000
Biggest coefficient in the objective function 122979
Number of bits for the biggest coefficient in the objective function 17
Sum of the numbers in the objective function 21981416064
Number of bits of the sum of numbers in the objective function 35
Biggest number in a constraint 122979
Number of bits of the biggest number in a constraint 17
Biggest sum of numbers in a constraint 21981416064
Number of bits of the biggest sum of numbers35
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-07T04:53:19+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-4079111-1465267998.opb"]
0.00/0.01	c use --random-gen="924483673 872561344 2267219620 3615615483 4249304418 1823358539 70777175 4126296473 1085851023 1130270110 4232108634 676095459 3402907013 1613382984 2221324865 2103777956 2831623521 3290042318 2453950809 418958716 3019940115 2174923984 3124957293 1287753301 3517774101 1506477499 2755082167 3971519929 2963133084 3781218812 2673655841 1950041019 4262320523 2507953873 3796475501 53287186 931846830 170717562 2602614820 2591288840 1769300783 2590923695 4137475878 221086517 2185046171 1538962476 3947570085 918529038 2795004677 996114284 2225701732 744773658 1954440246 3484606192 1198380448 143219423 1229916079 3490155076 456627146 2978297103 746149099 540411254 1156284494 3208832196 3964357081 2410902341 3146196557 4076768240 1727211072 3780937598 3697609092 1464408687 4031259003 3501907403 2031431978 194439874 1658486871 3537676035 3178322641 2747620138 1893177194 2170708642 2875188633 155491314 830558302 1546539695 2427648102 2868146691 3002053570 2799918879 1575606691 538078098 2942347477 3724774526 3499406501 990779203 3992462200 3887472618 330466114 152320900 2085770814 3557916829 2951212307 2965085296 696997659 1493331373 3298292004 2733552728 3470686769 408336550 2662082551 3238023505 974104787 3329238836 482540108 1786797896 1280293866 4088666932 876881692 1768208540 1343970904 2022782162 2856574414 810539617 3305473536 558800532 2328462899 4103096592 2859674134 2947715317 1576397716 2922749714 216700604 3423633876 4095587791 4243304755 748494284 2289348784 1187321044 3185555036 2831130293 2140396433 3405079049 3193532274 2761613751 3721792333 1559821784 547281591 1567915762 784971922 3615616791 3033492060 3833974109 1219356859 2772905101 1400011570 2580330549 646952082 3142772138 408399595 3032419927 2428980445 2210826082 1276984205 3929100355 745580460 3666444057 2429602397 4055409136 428292034 4079495806 1469968182 2226768805 2122339601 932111857 975869620 646864253 1959358319 3563459572 718729410 3517203366 1521332810 3242405588 2682989956 1095717155 3840834645 2546954291 16805696 3406502296 3765366681 1252447773 2059227727 1797588967 3515513477 3090973761 2957491088 659434124 3081307975 3979628575 113605447 1706439819 3222808672 3984909632 3724494162 3045843165 332004523 897809237 641643879 1782437972 700079730 3596107877 3107325929 3453997152 643036663 1314265379 2774372702 3504315904 137338505 2296096222 4206622189 3695116543 3108918938 2090087954 395726872 3297213750 1029262696 3454023382 4124149452 2733401537 2936114522 1815600553 3873741292 2486319639 2242124106 2114458753 1066301000 4233749826 1188595888 193341782 3649671563 57643631 631958573 635704643 3538380358 913120904 4207137974 2339517512 1241079181 3709277231 3711729310 1309315441 4011816263 1938052822 1609197734 3190141054 2692918772 255 362436" option to reproduce the execution
4.19/4.24	c #vars 640998
4.19/4.24	c #constraints 6000
15.29/15.37	c BCD2: Hardening is enabled.
15.29/15.37	c BCD2: BiasedSearch is enabled.
15.29/15.37	c Solving starts ...
15.29/15.37	c ============================[ Search Statistics ]============================
15.29/15.37	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
15.29/15.37	c       |         |          |          |    Limit     GC | Var      | Constra 
15.29/15.37	c =============================================================================
15.29/15.37	c  0.0s |       0 |        0 |        0 |   215999      0 |        0 |        0
16.98/17.02	c  1.6s |       1 |     1785 |      100 |   215999      0 |        0 |        0
19.99/20.02	c  4.7s |       2 |    12019 |      250 |   237599      0 |        0 |        0
23.09/23.16	c  7.8s |       2 |    58824 |      350 |   261359      0 |        0 |        0
25.08/25.17	c  9.8s |       3 |    73177 |      475 |   261359      0 |        0 |        0
29.28/29.35	c 14.0s |       3 |   167994 |      575 |   287495      0 |        0 |        0
31.99/32.01	c 16.6s |       3 |   177390 |      675 |   287495      0 |        0 |        0
34.88/34.92	c 19.6s |       4 |   181640 |      813 |   287495      0 |        0 |        0
37.98/38.08	c 22.7s |       4 |   267728 |      913 |   316245      0 |        0 |        0
40.88/40.92	c 25.5s |       4 |   298154 |     1013 |   316245      0 |        0 |        0
48.58/48.60	c 33.2s |       4 |   311795 |     1113 |   316245      0 |        0 |        0
73.37/73.41	c 58.0s |       4 |   320001 |     1213 |   316245      0 |        0 |        0
156.17/156.27	c  140s |       4 |   323202 |     1313 |   316245      0 |        0 |        0
165.27/165.40	c  150s |       5 |   323238 |     1320 |   316245      0 |        0 |        0
169.16/169.26	c  153s |       5 |   419596 |     1420 |   347870      0 |        0 |        0
171.17/171.27	c  155s |       5 |   428013 |     1520 |   347870      0 |        0 |        0
180.37/180.44	c  165s |       5 |   434591 |     1620 |   347870      0 |        0 |        0
196.06/196.12	c  180s |       5 |   436252 |     1720 |   347870      0 |        0 |        0
199.06/199.11	c  183s |       5 |   436344 |     1820 |   347870      0 |        0 |        0
202.76/202.84	c  187s |       5 |   436621 |     1920 |   347870      0 |        0 |        0
208.26/208.34	c  192s |       5 |   436949 |     2020 |   347870      0 |        0 |        0
211.26/211.32	c  195s |       6 |   437008 |     2081 |   382658      0 |        0 |        0
217.35/217.41	c  202s |       6 |   568894 |     2281 |   382658      0 |        0 |        0
225.36/225.45	c  210s |       6 |   569566 |     2381 |   382658      0 |        0 |        0
227.56/227.70	c  212s |       6 |   574978 |     2481 |   382658      0 |        0 |        0
229.76/229.90	c  214s |       6 |   621609 |     2681 |   382658      0 |        0 |        0
232.76/232.81	c  217s |       6 |   648210 |     2881 |   382658      0 |        0 |        0
234.85/234.91	c  219s |       6 |   648560 |     2981 |   382658      0 |        0 |        0
238.15/238.23	c  222s |       6 |   648784 |     3081 |   382658      0 |        0 |        0
240.35/240.49	c  225s |       6 |   648896 |     3181 |   382658      0 |        0 |        0
241.96/242.02	c  226s |       7 |   648940 |     3223 |   420924      0 |        0 |        0
245.45/245.59	c  230s |       7 |   804501 |     3323 |   420924      0 |        0 |        0
250.05/250.12	c  234s |       7 |   821856 |     3523 |   420924      0 |        0 |        0
257.55/257.67	c  242s |       7 |   833587 |     3623 |   420924      0 |        0 |        0
300.74/300.84	c  285s |       7 |   837793 |     3723 |   420924      0 |        0 |        0
316.34/316.46	c  301s |       7 |   852893 |     3823 |   420924      0 |        0 |        0
328.95/329.02	c  313s |       7 |   863615 |     3923 |   420924      0 |        0 |        0
331.64/331.74	c  316s |       7 |   908574 |     4123 |   420924      0 |        0 |        0
335.45/335.56	c  320s |       7 |   912231 |     4223 |   420924      0 |        0 |        0
338.54/338.61	c  323s |       7 |   912685 |     4323 |   420924      0 |        0 |        0
340.84/340.92	c  325s |       7 |   916977 |     4423 |   420924      0 |        0 |        0
342.83/342.97	c  327s |       7 |   922380 |     4523 |   420924      0 |        0 |        0
345.45/345.53	c  330s |       7 |   931334 |     4623 |   420924      0 |        0 |        0
349.44/349.55	c  334s |       7 |   937238 |     4823 |   420924      0 |        0 |        0
351.63/351.73	c  336s |       7 |   939008 |     4923 |   463017      0 |        0 |        0
352.63/352.79	c  337s |       8 |   939017 |     4936 |   463017      0 |        0 |        0
357.93/358.09	c  342s |       8 |  1125111 |     5036 |   463017      0 |        0 |        0
360.44/360.52	c  345s |       8 |  1157737 |     5236 |   463017      0 |        0 |        0
362.43/362.52	c  347s |       8 |  1160041 |     5336 |   463017      0 |        0 |        0
367.34/367.47	c  352s |       8 |  1176659 |     5536 |   463017      0 |        0 |        0
369.93/370.01	c  354s |       8 |  1179849 |     5636 |   463017      0 |        0 |        0
374.13/374.26	c  358s |       8 |  1181629 |     5736 |   463017      0 |        0 |        0
376.93/377.07	c  361s |       8 |  1182366 |     5836 |   463017      0 |        0 |        0
380.03/380.12	c  364s |       8 |  1186734 |     5936 |   463017      0 |        0 |        0
384.43/384.57	c  369s |       8 |  1196382 |     6036 |   463017      0 |        0 |        0
388.43/388.58	c  373s |       8 |  1199095 |     6136 |   463017      0 |        0 |        0
392.03/392.16	c  376s |       8 |  1202229 |     6236 |   463017      0 |        0 |        0
395.73/395.88	c  380s |       8 |  1204089 |     6336 |   463017      0 |        0 |        0
399.93/400.04	c  384s |       8 |  1204434 |     6436 |   463017      0 |        0 |        0
403.13/403.26	c  387s |       8 |  1205687 |     6536 |   463017      0 |        0 |        0
408.63/408.73	c  393s |       8 |  1206019 |     6636 |   463017      0 |        0 |        0
413.93/414.04	c  398s |       8 |  1206316 |     6736 |   463017      0 |        0 |        0
418.62/418.76	c  403s |       8 |  1206889 |     6836 |   463017      0 |        0 |        0
423.72/423.86	c  408s |       8 |  1207752 |     6936 |   463017      0 |        0 |        0
430.32/430.44	c  415s |       8 |  1208848 |     7036 |   463017      0 |        0 |        0
436.73/436.85	c  421s |       8 |  1210500 |     7136 |   463017      0 |        0 |        0
444.22/444.39	c  429s |       8 |  1211101 |     7236 |   463017      0 |        0 |        0
449.22/449.38	c  434s |       8 |  1211675 |     7336 |   463017      0 |        0 |        0
451.52/451.67	c  436s |       8 |  1217675 |     7436 |   463017      0 |        0 |        0
452.92/453.08	c  437s |       9 |  1218034 |     7506 |   509319      0 |        0 |        0
457.42/457.50	c  442s |       9 |  1432731 |     7606 |   509319      0 |        0 |        0
462.03/462.15	c  446s |       9 |  1446731 |     7806 |   509319      0 |        0 |        0
466.12/466.29	c  450s |       9 |  1447349 |     8006 |   509319      0 |        0 |        0
469.72/469.86	c  454s |       9 |  1447700 |     8106 |   509319      0 |        0 |        0
471.92/472.01	c  456s |       9 |  1448065 |     8206 |   509319      0 |        0 |        0
474.22/474.30	c  458s |       9 |  1448517 |     8306 |   509319      0 |        0 |        0
476.71/476.86	c  461s |       9 |  1448789 |     8406 |   509319      0 |        0 |        0
479.52/479.67	c  464s |       9 |  1449128 |     8506 |   509319      0 |        0 |        0
483.31/483.42	c  468s |       9 |  1450681 |     8706 |   509319      0 |        0 |        0
485.42/485.53	c  470s |       9 |  1451045 |     8806 |   509319      0 |        0 |        0
488.21/488.40	c  473s |       9 |  1451375 |     8906 |   509319      0 |        0 |        0
490.82/490.98	c  475s |       9 |  1451915 |     9006 |   509319      0 |        0 |        0
494.62/494.79	c  479s |       9 |  1452172 |     9106 |   509319      0 |        0 |        0
497.01/497.20	c  481s |       9 |  1452412 |     9206 |   509319      0 |        0 |        0
499.91/500.06	c  484s |       9 |  1452668 |     9306 |   509319      0 |        0 |        0
502.91/503.04	c  487s |       9 |  1452938 |     9406 |   509319      0 |        0 |        0
506.51/506.63	c  491s |       9 |  1453152 |     9506 |   509319      0 |        0 |        0
511.32/511.45	c  496s |       9 |  1453264 |     9606 |   509319      0 |        0 |        0
515.61/515.75	c  500s |       9 |  1453530 |     9706 |   509319      0 |        0 |        0
518.51/518.68	c  503s |       9 |  1453759 |     9806 |   509319      0 |        0 |        0
521.91/522.08	c  506s |       9 |  1453906 |     9906 |   509319      0 |        0 |        0
525.91/526.06	c  510s |       9 |  1454066 |    10006 |   509319      0 |        0 |        0
529.71/529.81	c  514s |       9 |  1454195 |    10106 |   509319      0 |        0 |        0
531.71/531.87	c  516s |       9 |  1454935 |    10206 |   509319      0 |        0 |        0
535.81/535.97	c  520s |       9 |  1456229 |    10406 |   509319      0 |        0 |        0
540.51/540.62	c  525s |       9 |  1456451 |    10506 |   509319      0 |        0 |        0
543.21/543.35	c  527s |       9 |  1456656 |    10606 |   509319      0 |        0 |        0
546.11/546.27	c  530s |       9 |  1456835 |    10706 |   509319      0 |        0 |        0
548.81/548.91	c  533s |       9 |  1457219 |    10806 |   509319      0 |        0 |        0
551.91/552.03	c  536s |       9 |  1458399 |    10906 |   509319      0 |        0 |        0
556.41/556.54	c  541s |       9 |  1459329 |    11006 |   509319      0 |        0 |        0
560.51/560.69	c  545s |       9 |  1459641 |    11106 |   509319      0 |        0 |        0
566.20/566.37	c  550s |       9 |  1460267 |    11206 |   509319      0 |        0 |        0
570.71/570.84	c  555s |       9 |  1460879 |    11306 |   560251      0 |        0 |        0
573.91/574.06	c  558s |      10 |  1461244 |    11361 |   560251      0 |        0 |        0
576.61/576.73	c  561s |      10 |  1479514 |    11461 |   560251      0 |        0 |        0
580.41/580.54	c  565s |      10 |  1728489 |    11561 |   560251      0 |        0 |        0
583.70/583.81	c  568s |      10 |  1730058 |    11661 |   560251      0 |        0 |        0
586.41/586.55	c  571s |      10 |  1739099 |    11861 |   560251      0 |        0 |        0
589.20/589.36	c  573s |      10 |  1739722 |    12061 |   560251      0 |        0 |        0
592.30/592.49	c  577s |      10 |  1740100 |    12261 |   560251      0 |        0 |        0
596.80/596.91	c  581s |      10 |  1740856 |    12461 |   560251      0 |        0 |        0
600.30/600.46	c  585s |      10 |  1741649 |    12661 |   560251      0 |        0 |        0
604.30/604.43	c  589s |      10 |  1742101 |    12861 |   560251      0 |        0 |        0
607.91/608.01	c  592s |      10 |  1743496 |    13061 |   560251      0 |        0 |        0
611.90/612.07	c  596s |      10 |  1744349 |    13261 |   560251      0 |        0 |        0
617.01/617.15	c  601s |      10 |  1744895 |    13461 |   560251      0 |        0 |        0
620.10/620.25	c  604s |      10 |  1745553 |    13661 |   560251      0 |        0 |        0
622.90/623.06	c  607s |      10 |  1746008 |    13861 |   560251      0 |        0 |        0
626.80/626.97	c  611s |      10 |  1746418 |    14061 |   560251      0 |        0 |        0
628.80/628.98	c  613s |      10 |  1748399 |    14161 |   560251      0 |        0 |        0
629.70/629.84	c  614s |      10 |  1749922 |    14163 |   560251      0 |        0 |        0
629.70/629.84	c #cpu_time = 613.777s
629.70/629.84	c #wall_clock_time = 613.749s
629.70/629.84	c #decision = 1749922
629.70/629.84	c #random_decision = 5583
629.70/629.84	c #conflict = 14163
629.70/629.84	c #restart = 10
629.70/629.86	o 34200173
632.30/632.48	c BCD2: updating upper bound: 21981416064 -> 34200172
635.71/635.86	c BCD2: 0 <= obj <= 34200172
635.81/635.92	c BCD2: #cores=0, #unrelaxed=640000, #relaxed=0, #hardened=0
635.81/635.92	c BCD2: #sat=1 #unsat=1 bias=1/2
635.81/635.96	c Solving starts ...
635.81/635.96	c ============================[ Search Statistics ]============================
635.81/635.96	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
635.81/635.96	c       |         |          |          |    Limit     GC | Var      | Constra 
635.81/635.96	c =============================================================================
635.81/635.96	c  0.0s |       0 |        0 |        0 |   560251      0 |        0 |        0
638.49/638.61	c  2.6s |       0 |   152726 |        0 |   560251      0 |        0 |        0
638.49/638.61	c #cpu_time = 2.546s
638.49/638.61	c #wall_clock_time = 2.546s
638.49/638.61	c #decision = 152726
638.49/638.61	c #random_decision = 0
638.49/638.61	c #conflict = 0
638.49/638.61	c #restart = 0
638.49/638.61	c BCD2: found a new core of size 768: cost of the new core is >=6052
638.49/638.61	c lower bound updated to 6052
640.60/640.71	c BCD2: 6052 <= obj <= 34200172
640.60/640.71	c BCD2: #cores=1, #unrelaxed=639232, #relaxed=768, #hardened=0
640.60/640.71	c BCD2: #sat=1 #unsat=2 bias=2/3

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

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

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


[startup+0 s]
/proc/loadavg: 2.22 2.16 2.15 4/178 8330
/proc/meminfo: memFree=30028304/32872528 swapFree=16252/1391864
[pid=8330] ppid=8327 vsize=677308 CPUtime=0 cores=0,2,4,6
/proc/8330/stat : 8330 (toysat) R 8327 8330 5783 0 -1 4202496 2517 0 0 0 0 0 0 0 20 0 4 0 108733027 693563392 3389 33554432000 4194304 16246674 140736634793904 140736634793328 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8330/statm: 170095 3400 441 2943 0 166989 0
[pid=8330/tid=8331] ppid=8327 vsize=695740 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8331/stat : 8331 (toysat) S 8327 8330 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108733027 712437760 3461 33554432000 4194304 16246674 140736634793904 140554241289456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8330/tid=8332] ppid=8327 vsize=699836 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8332/stat : 8332 (toysat) S 8327 8330 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108733027 716632064 3477 33554432000 4194304 16246674 140736634793904 140554230799600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8330/tid=8333] ppid=8327 vsize=704956 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8333/stat : 8333 (toysat) S 8327 8330 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733027 721874944 3493 33554432000 4194304 16246674 140736634793904 140554146933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100128 s]
/proc/loadavg: 2.22 2.16 2.15 4/178 8330
/proc/meminfo: memFree=30028304/32872528 swapFree=16252/1391864
[pid=8330] ppid=8327 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/8330/stat : 8330 (toysat) R 8327 8330 5783 0 -1 4202496 29799 0 0 0 6 3 0 0 20 0 4 0 108733027 1333334016 30609 33554432000 4194304 16246674 140736634793904 140736634793216 8056990 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8330/statm: 325521 30623 800 2943 0 322415 0
[pid=8330/tid=8331] ppid=8327 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8331/stat : 8331 (toysat) S 8327 8330 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108733027 1333334016 30634 33554432000 4194304 16246674 140736634793904 140554241289456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8330/tid=8332] ppid=8327 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8332/stat : 8332 (toysat) S 8327 8330 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108733027 1333334016 30645 33554432000 4194304 16246674 140736634793904 140554230799600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8330/tid=8333] ppid=8327 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8333/stat : 8333 (toysat) S 8327 8330 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733027 1333334016 30657 33554432000 4194304 16246674 140736634793904 140554146933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200584 s]
/proc/loadavg: 2.22 2.16 2.15 4/178 8330
/proc/meminfo: memFree=30028304/32872528 swapFree=16252/1391864
[pid=8330] ppid=8327 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/8330/stat : 8330 (toysat) R 8327 8330 5783 0 -1 4202496 46156 0 0 0 13 6 0 0 20 0 4 0 108733027 1343819776 47477 33554432000 4194304 16246674 140736634793904 140736634793216 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8330/statm: 328081 47477 801 2943 0 324975 0
[pid=8330/tid=8331] ppid=8327 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8331/stat : 8331 (toysat) S 8327 8330 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108733027 1343819776 47477 33554432000 4194304 16246674 140736634793904 140554241289456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8330/tid=8332] ppid=8327 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8332/stat : 8332 (toysat) S 8327 8330 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108733027 1343819776 47477 33554432000 4194304 16246674 140736634793904 140554230799600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8330/tid=8333] ppid=8327 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8333/stat : 8333 (toysat) S 8327 8330 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733027 1343819776 47477 33554432000 4194304 16246674 140736634793904 140554146933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300453 s]
/proc/loadavg: 2.22 2.16 2.15 4/178 8330
/proc/meminfo: memFree=30028304/32872528 swapFree=16252/1391864
[pid=8330] ppid=8327 vsize=1312324 CPUtime=0.29 cores=0,2,4,6
/proc/8330/stat : 8330 (toysat) R 8327 8330 5783 0 -1 4202496 46743 0 0 0 23 6 0 0 20 0 4 0 108733027 1343819776 48064 33554432000 4194304 16246674 140736634793904 140736634793216 4220912 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8330/statm: 328081 48064 801 2943 0 324975 0
[pid=8330/tid=8331] ppid=8327 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8331/stat : 8331 (toysat) S 8327 8330 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108733027 1343819776 48064 33554432000 4194304 16246674 140736634793904 140554241289456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8330/tid=8332] ppid=8327 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8332/stat : 8332 (toysat) S 8327 8330 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108733027 1343819776 48064 33554432000 4194304 16246674 140736634793904 140554230799600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8330/tid=8333] ppid=8327 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8333/stat : 8333 (toysat) S 8327 8330 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733027 1343819776 48064 33554432000 4194304 16246674 140736634793904 140554146933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1312324

[startup+0.700397 s]
/proc/loadavg: 2.22 2.16 2.15 4/178 8330
/proc/meminfo: memFree=30028304/32872528 swapFree=16252/1391864
[pid=8330] ppid=8327 vsize=1312324 CPUtime=0.69 cores=0,2,4,6
/proc/8330/stat : 8330 (toysat) R 8327 8330 5783 0 -1 4202496 56523 0 0 0 62 7 0 0 20 0 4 0 108733027 1343819776 57844 33554432000 4194304 16246674 140736634793904 140736634791744 8058492 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8330/statm: 328081 57844 802 2943 0 324975 0
[pid=8330/tid=8331] ppid=8327 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8331/stat : 8331 (toysat) S 8327 8330 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108733027 1343819776 57844 33554432000 4194304 16246674 140736634793904 140554241289456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8330/tid=8332] ppid=8327 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8332/stat : 8332 (toysat) S 8327 8330 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108733027 1343819776 57844 33554432000 4194304 16246674 140736634793904 140554230799600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8330/tid=8333] ppid=8327 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8333/stat : 8333 (toysat) S 8327 8330 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733027 1343819776 57844 33554432000 4194304 16246674 140736634793904 140554146933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1312324

[startup+1.50038 s]
/proc/loadavg: 2.22 2.16 2.15 3/183 8335
/proc/meminfo: memFree=29752652/32872528 swapFree=16252/1391864
[pid=8330] ppid=8327 vsize=1315396 CPUtime=1.49 cores=0,2,4,6
/proc/8330/stat : 8330 (toysat) R 8327 8330 5783 0 -1 4202496 99177 0 0 0 136 13 0 0 20 0 4 0 108733027 1346965504 100498 33554432000 4194304 16246674 140736634793904 140736634776896 7364033 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8330/statm: 328849 100514 803 2943 0 325743 0
[pid=8330/tid=8331] ppid=8327 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8331/stat : 8331 (toysat) S 8327 8330 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108733027 1346965504 100525 33554432000 4194304 16246674 140736634793904 140554241289456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8330/tid=8332] ppid=8327 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8332/stat : 8332 (toysat) S 8327 8330 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108733027 1346965504 100536 33554432000 4194304 16246674 140736634793904 140554230799600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8330/tid=8333] ppid=8327 vsize=1315396 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8333/stat : 8333 (toysat) S 8327 8330 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733027 1346965504 100551 33554432000 4194304 16246674 140736634793904 140554146933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1315396

[startup+3.1004 s]
/proc/loadavg: 2.20 2.16 2.15 3/183 8335
/proc/meminfo: memFree=29538984/32872528 swapFree=16252/1391864
[pid=8330] ppid=8327 vsize=1339972 CPUtime=3.09 cores=0,2,4,6
/proc/8330/stat : 8330 (toysat) R 8327 8330 5783 0 -1 4202496 135752 0 0 0 290 19 0 0 20 0 4 0 108733027 1372131328 142694 33554432000 4194304 16246674 140736634793904 140736634793000 8058627 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8330/statm: 334993 142694 804 2943 0 331887 0
[pid=8330/tid=8331] ppid=8327 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8331/stat : 8331 (toysat) S 8327 8330 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108733027 1372131328 142694 33554432000 4194304 16246674 140736634793904 140554241289456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8330/tid=8332] ppid=8327 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8332/stat : 8332 (toysat) S 8327 8330 5783 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 108733027 1372131328 142694 33554432000 4194304 16246674 140736634793904 140554230799600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8330/tid=8333] ppid=8327 vsize=1339972 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8333/stat : 8333 (toysat) S 8327 8330 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733027 1372131328 142694 33554432000 4194304 16246674 140736634793904 140554146933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1339972

[startup+6.30039 s]
/proc/loadavg: 2.20 2.16 2.15 3/183 8335
/proc/meminfo: memFree=28971016/32872528 swapFree=16252/1391864
[pid=8330] ppid=8327 vsize=1605188 CPUtime=6.29 cores=0,2,4,6
/proc/8330/stat : 8330 (toysat) R 8327 8330 5783 0 -1 4202496 271144 0 0 0 590 39 0 0 20 0 4 0 108733027 1643712512 290862 33554432000 4194304 16246674 140736634793904 140736634791760 4222282 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8330/statm: 401297 290866 836 2943 0 398191 0
[pid=8330/tid=8331] ppid=8327 vsize=1605188 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8331/stat : 8331 (toysat) S 8327 8330 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108733027 1643712512 290869 33554432000 4194304 16246674 140736634793904 140554241289456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8330/tid=8332] ppid=8327 vsize=1605188 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8332/stat : 8332 (toysat) S 8327 8330 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108733027 1643712512 290873 33554432000 4194304 16246674 140736634793904 140554230799376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8330/tid=8333] ppid=8327 vsize=1605188 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8333/stat : 8333 (toysat) S 8327 8330 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733027 1643712512 290877 33554432000 4194304 16246674 140736634793904 140554146933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1605188

[startup+12.7004 s]
/proc/loadavg: 2.27 2.18 2.15 3/183 8335
/proc/meminfo: memFree=28529992/32872528 swapFree=16252/1391864
[pid=8330] ppid=8327 vsize=2095684 CPUtime=12.69 cores=0,2,4,6
/proc/8330/stat : 8330 (toysat) R 8327 8330 5783 0 -1 4202496 446135 0 0 0 1206 63 0 0 20 0 4 0 108733027 2145980416 465852 33554432000 4194304 16246674 140736634793904 140736634792520 4224759 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8330/statm: 523921 465857 841 2943 0 520815 0
[pid=8330/tid=8331] ppid=8327 vsize=2095684 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8331/stat : 8331 (toysat) S 8327 8330 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108733027 2145980416 465860 33554432000 4194304 16246674 140736634793904 140554241289456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8330/tid=8332] ppid=8327 vsize=2095684 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8332/stat : 8332 (toysat) S 8327 8330 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108733027 2145980416 465865 33554432000 4194304 16246674 140736634793904 140554230799376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8330/tid=8333] ppid=8327 vsize=2096708 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8333/stat : 8333 (toysat) S 8327 8330 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733027 2147028992 465872 33554432000 4194304 16246674 140736634793904 140554146933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 2095684

[startup+25.5005 s]
/proc/loadavg: 2.21 2.17 2.15 3/183 8335
/proc/meminfo: memFree=27714392/32872528 swapFree=16252/1391864
[pid=8330] ppid=8327 vsize=2546244 CPUtime=25.48 cores=0,2,4,6
/proc/8330/stat : 8330 (toysat) R 8327 8330 5783 0 -1 4202496 558840 0 0 0 2468 80 0 0 20 0 4 0 108733027 2607353856 578557 33554432000 4194304 16246674 140736634793904 140736634793080 5587389 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8330/statm: 636561 578557 891 2943 0 633455 0
[pid=8330/tid=8331] ppid=8327 vsize=2546244 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8331/stat : 8331 (toysat) S 8327 8330 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108733027 2607353856 578557 33554432000 4194304 16246674 140736634793904 140554241289456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8330/tid=8332] ppid=8327 vsize=2546244 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8332/stat : 8332 (toysat) S 8327 8330 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108733027 2607353856 578557 33554432000 4194304 16246674 140736634793904 140554230799600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8330/tid=8333] ppid=8327 vsize=2546244 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8333/stat : 8333 (toysat) S 8327 8330 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733027 2607353856 578557 33554432000 4194304 16246674 140736634793904 140554146933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 2546244

[startup+51.1004 s]
/proc/loadavg: 2.27 2.18 2.16 3/183 8335
/proc/meminfo: memFree=27714400/32872528 swapFree=16252/1391864
[pid=8330] ppid=8327 vsize=2546244 CPUtime=51.08 cores=0,2,4,6
/proc/8330/stat : 8330 (toysat) R 8327 8330 5783 0 -1 4202496 558840 0 0 0 5023 85 0 0 20 0 4 0 108733027 2607353856 578557 33554432000 4194304 16246674 140736634793904 140736634793080 13781188 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8330/statm: 636561 578557 891 2943 0 633455 0
[pid=8330/tid=8331] ppid=8327 vsize=2546244 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8331/stat : 8331 (toysat) S 8327 8330 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108733027 2607353856 578557 33554432000 4194304 16246674 140736634793904 140554241289456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8330/tid=8332] ppid=8327 vsize=2546244 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8332/stat : 8332 (toysat) S 8327 8330 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108733027 2607353856 578557 33554432000 4194304 16246674 140736634793904 140554230799600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8330/tid=8333] ppid=8327 vsize=2546244 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8333/stat : 8333 (toysat) S 8327 8330 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733027 2607353856 578557 33554432000 4194304 16246674 140736634793904 140554146933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 2546244

[startup+102.3 s]
/proc/loadavg: 2.26 2.20 2.16 3/183 8336
/proc/meminfo: memFree=26430180/32872528 swapFree=16252/1391864
[pid=8330] ppid=8327 vsize=3599940 CPUtime=102.28 cores=0,2,4,6
/proc/8330/stat : 8330 (toysat) R 8327 8330 5783 0 -1 4202496 822270 0 0 0 10087 141 0 0 20 0 4 0 108733027 3686338560 841987 33554432000 4194304 16246674 140736634793904 140736634793080 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8330/statm: 899985 841987 896 2943 0 896879 0
[pid=8330/tid=8331] ppid=8327 vsize=3599940 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8331/stat : 8331 (toysat) S 8327 8330 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108733027 3686338560 841987 33554432000 4194304 16246674 140736634793904 140554241289456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8330/tid=8332] ppid=8327 vsize=3599940 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8332/stat : 8332 (toysat) S 8327 8330 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108733027 3686338560 841987 33554432000 4194304 16246674 140736634793904 140554230799600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=8330/tid=8333] ppid=8327 vsize=3599940 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8333/stat : 8333 (toysat) S 8327 8330 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733027 3686338560 841987 33554432000 4194304 16246674 140736634793904 140554146933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 3599940


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

[pid=8330] ppid=8327 vsize=8394308 CPUtime=1542.16 cores=0,2,4,6
/proc/8330/stat : 8330 (toysat) R 8327 8330 5783 0 -1 4202496 2020892 0 0 0 153664 552 0 0 20 0 4 0 108733027 8595771392 2040609 33554432000 4194304 16246674 140736634793904 140736634793216 4207010 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8330/statm: 2098577 2040609 924 2943 0 2095471 0
[pid=8330/tid=8331] ppid=8327 vsize=8394308 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8331/stat : 8331 (toysat) S 8327 8330 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108733027 8595771392 2040609 33554432000 4194304 16246674 140736634793904 140554241289456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8330/tid=8332] ppid=8327 vsize=8394308 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8332/stat : 8332 (toysat) S 8327 8330 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108733027 8595771392 2040609 33554432000 4194304 16246674 140736634793904 140554230799600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=8330/tid=8333] ppid=8327 vsize=8394308 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8333/stat : 8333 (toysat) S 8327 8330 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733027 8595771392 2040609 33554432000 4194304 16246674 140736634793904 140554146933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1542.16
Current children cumulated vsize (KiB) 8394308

[startup+1602.3 s]
/proc/loadavg: 2.27 2.22 2.19 3/183 8395
/proc/meminfo: memFree=15868896/32872528 swapFree=16252/1391864
[pid=8330] ppid=8327 vsize=8493636 CPUtime=1602.14 cores=0,2,4,6
/proc/8330/stat : 8330 (toysat) R 8327 8330 5783 0 -1 4202496 2045724 0 0 0 159653 561 0 0 20 0 4 0 108733027 8697483264 2065441 33554432000 4194304 16246674 140736634793904 140736634793216 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8330/statm: 2123409 2065441 924 2943 0 2120303 0
[pid=8330/tid=8331] ppid=8327 vsize=8493636 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8331/stat : 8331 (toysat) S 8327 8330 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108733027 8697483264 2065441 33554432000 4194304 16246674 140736634793904 140554241289456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8330/tid=8332] ppid=8327 vsize=8493636 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8332/stat : 8332 (toysat) S 8327 8330 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108733027 8697483264 2065441 33554432000 4194304 16246674 140736634793904 140554230799600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=8330/tid=8333] ppid=8327 vsize=8493636 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8333/stat : 8333 (toysat) S 8327 8330 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733027 8697483264 2065441 33554432000 4194304 16246674 140736634793904 140554146933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1602.14
Current children cumulated vsize (KiB) 8493636

[startup+1662.3 s]
/proc/loadavg: 2.22 2.22 2.18 3/184 8399
/proc/meminfo: memFree=15637960/32872528 swapFree=16252/1391864
[pid=8330] ppid=8327 vsize=8619588 CPUtime=1662.14 cores=0,2,4,6
/proc/8330/stat : 8330 (toysat) R 8327 8330 5783 0 -1 4202496 2077161 0 0 0 165642 572 0 0 20 0 4 0 108733027 8826458112 2096878 33554432000 4194304 16246674 140736634793904 140736634791744 13882935 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8330/statm: 2154897 2096878 924 2943 0 2151791 0
[pid=8330/tid=8331] ppid=8327 vsize=8619588 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8331/stat : 8331 (toysat) S 8327 8330 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108733027 8826458112 2096878 33554432000 4194304 16246674 140736634793904 140554241289456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8330/tid=8332] ppid=8327 vsize=8619588 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8332/stat : 8332 (toysat) S 8327 8330 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108733027 8826458112 2096878 33554432000 4194304 16246674 140736634793904 140554230799376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8330/tid=8333] ppid=8327 vsize=8619588 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8333/stat : 8333 (toysat) S 8327 8330 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733027 8826458112 2096878 33554432000 4194304 16246674 140736634793904 140554146933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1662.14
Current children cumulated vsize (KiB) 8619588

[startup+1722.3 s]
/proc/loadavg: 2.16 2.21 2.18 3/183 8400
/proc/meminfo: memFree=15351756/32872528 swapFree=16252/1391864
[pid=8330] ppid=8327 vsize=8669764 CPUtime=1722.14 cores=0,2,4,6
/proc/8330/stat : 8330 (toysat) R 8327 8330 5783 0 -1 4202496 2089756 0 0 0 171634 580 0 0 20 0 4 0 108733027 8877838336 2109473 33554432000 4194304 16246674 140736634793904 140736634791744 4220871 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8330/statm: 2167441 2109473 924 2943 0 2164335 0
[pid=8330/tid=8331] ppid=8327 vsize=8669764 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8331/stat : 8331 (toysat) S 8327 8330 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108733027 8877838336 2109473 33554432000 4194304 16246674 140736634793904 140554241289456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8330/tid=8332] ppid=8327 vsize=8669764 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8332/stat : 8332 (toysat) S 8327 8330 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108733027 8877838336 2109473 33554432000 4194304 16246674 140736634793904 140554230799376 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8330/tid=8333] ppid=8327 vsize=8669764 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8333/stat : 8333 (toysat) S 8327 8330 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733027 8877838336 2109473 33554432000 4194304 16246674 140736634793904 140554146933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1722.14
Current children cumulated vsize (KiB) 8669764

[startup+1782.3 s]
/proc/loadavg: 2.22 2.21 2.18 3/183 8548
/proc/meminfo: memFree=20735000/32872528 swapFree=16252/1391864
[pid=8330] ppid=8327 vsize=8779332 CPUtime=1782.13 cores=0,2,4,6
/proc/8330/stat : 8330 (toysat) R 8327 8330 5783 0 -1 4202496 2117148 0 0 0 177620 593 0 0 20 0 4 0 108733027 8990035968 2136865 33554432000 4194304 16246674 140736634793904 140736634793000 4206613 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8330/statm: 2194833 2136865 924 2943 0 2191727 0
[pid=8330/tid=8331] ppid=8327 vsize=8779332 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8331/stat : 8331 (toysat) S 8327 8330 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108733027 8990035968 2136865 33554432000 4194304 16246674 140736634793904 140554241289456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8330/tid=8332] ppid=8327 vsize=8779332 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8332/stat : 8332 (toysat) S 8327 8330 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108733027 8990035968 2136865 33554432000 4194304 16246674 140736634793904 140554230799600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=8330/tid=8333] ppid=8327 vsize=8779332 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8333/stat : 8333 (toysat) S 8327 8330 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733027 8990035968 2136865 33554432000 4194304 16246674 140736634793904 140554146933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1782.13
Current children cumulated vsize (KiB) 8779332



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.2 s]
/proc/loadavg: 2.22 2.22 2.18 4/183 8548
/proc/meminfo: memFree=20727716/32872528 swapFree=16252/1391864
[pid=8330] ppid=8327 vsize=8787524 CPUtime=1800.03 cores=0,2,4,6
/proc/8330/stat : 8330 (toysat) R 8327 8330 5783 0 -1 4202496 2119197 0 0 0 179408 595 0 0 20 0 4 0 108733027 8998424576 2138916 33554432000 4194304 16246674 140736634793904 140736634793000 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8330/statm: 2196881 2138916 924 2943 0 2193775 0
[pid=8330/tid=8331] ppid=8327 vsize=8787524 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8331/stat : 8331 (toysat) S 8327 8330 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108733027 8998424576 2138916 33554432000 4194304 16246674 140736634793904 140554241289456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8330/tid=8332] ppid=8327 vsize=8787524 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8332/stat : 8332 (toysat) S 8327 8330 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108733027 8998424576 2138916 33554432000 4194304 16246674 140736634793904 140554230799600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=8330/tid=8333] ppid=8327 vsize=8787524 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8333/stat : 8333 (toysat) S 8327 8330 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733027 8998424576 2138916 33554432000 4194304 16246674 140736634793904 140554146933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 8787524

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

############
# WARNING:
# current cumulated CPU time (1800.01 s) is less than in the last sample (1800.03 s)
# The time of a child was probably not reported to its father.
# (see the two samples below)
# Adding the difference (0.0198975 s) to the 'lost time'.

[startup+1800.2 s]
/proc/loadavg: 2.22 2.22 2.18 4/183 8548
/proc/meminfo: memFree=20727716/32872528 swapFree=16252/1391864
[pid=8330] ppid=8327 vsize=8787524 CPUtime=1800.03 cores=0,2,4,6
/proc/8330/stat : 8330 (toysat) R 8327 8330 5783 0 -1 4202496 2119197 0 0 0 179408 595 0 0 20 0 4 0 108733027 8998424576 2138916 33554432000 4194304 16246674 140736634793904 140736634793000 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8330/statm: 2196881 2138916 924 2943 0 2193775 0
[pid=8330/tid=8331] ppid=8327 vsize=8787524 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8331/stat : 8331 (toysat) S 8327 8330 5783 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 108733027 8998424576 2138916 33554432000 4194304 16246674 140736634793904 140554241289456 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=8330/tid=8332] ppid=8327 vsize=8787524 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8332/stat : 8332 (toysat) S 8327 8330 5783 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 108733027 8998424576 2138916 33554432000 4194304 16246674 140736634793904 140554230799600 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 6 0 0 0 0 0
[pid=8330/tid=8333] ppid=8327 vsize=8787524 CPUtime=0 cores=0,2,4,6
/proc/8330/task/8333/stat : 8333 (toysat) S 8327 8330 5783 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 108733027 8998424576 2138916 33554432000 4194304 16246674 140736634793904 140554146933936 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 8787524

[startup+1800.3 s]
/proc/loadavg: 2.22 2.22 2.18 4/183 8548
/proc/meminfo: memFree=20727716/32872528 swapFree=16252/1391864
[pid=8330] ppid=8327 vsize=0 CPUtime=1800.01 cores=0,2,4,6
/proc/8330/stat : 8330 (toysat) Z 8327 8330 5783 0 -1 4203532 2119197 0 0 0 179404 597 0 0 20 0 2 0 108733027 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8330/statm: 0 0 0 0 0 0 0
[pid=8330/tid=8331] ppid=8327 vsize=0 CPUtime=0.08 cores=0,2,4,6
/proc/8330/task/8331/stat : 8331 (toysat) R 8327 8330 5783 0 -1 4203588 9 0 0 0 0 8 0 0 20 0 2 0 108733027 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 0
#
############


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

[startup+1800.4 s]
/proc/loadavg: 2.22 2.22 2.18 4/183 8548
/proc/meminfo: memFree=20727716/32872528 swapFree=16252/1391864
[pid=8330] ppid=8327 vsize=0 CPUtime=1800.1 cores=0,2,4,6
/proc/8330/stat : 8330 (toysat) Z 8327 8330 5783 0 -1 4203532 2119197 0 0 0 179404 606 0 0 20 0 2 0 108733027 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8330/statm: 0 0 0 0 0 0 0
[pid=8330/tid=8331] ppid=8327 vsize=0 CPUtime=0.18 cores=0,2,4,6
/proc/8330/task/8331/stat : 8331 (toysat) R 8327 8330 5783 0 -1 4203588 9 0 0 0 0 18 0 0 20 0 2 0 108733027 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.1
Current children cumulated vsize (KiB) 0

[startup+1800.6 s]
/proc/loadavg: 2.22 2.22 2.18 4/183 8548
/proc/meminfo: memFree=20727716/32872528 swapFree=16252/1391864
[pid=8330] ppid=8327 vsize=0 CPUtime=1800.3 cores=0,2,4,6
/proc/8330/stat : 8330 (toysat) Z 8327 8330 5783 0 -1 4203532 2119197 0 0 0 179404 626 0 0 20 0 2 0 108733027 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/8330/statm: 0 0 0 0 0 0 0
[pid=8330/tid=8331] ppid=8327 vsize=0 CPUtime=0.38 cores=0,2,4,6
/proc/8330/task/8331/stat : 8331 (toysat) R 8327 8330 5783 0 -1 4203588 9 0 0 0 0 38 0 0 20 0 2 0 108733027 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.3
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# The CPU time of some children was not reported to their father
# (probably because of a missing or aborted wait()).
# This 'lost CPU time' is added to the watched process CPU time.
#  lost CPU time (s): 0.0198975
#  lost CPU user time (s): 0.039917
#  lost CPU system time (s): -0.02

Real time (s): 1800.66
CPU time (s): 1800.39
CPU user time (s): 1794.09
CPU system time (s): 6.30404
CPU usage (%): 99.9851
Max. virtual memory (cumulated for all children) (KiB): 8787524

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.05
system time used= 6.32404
maximum resident set size= 8555664
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2119197
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= 557
involuntary context switches= 1871

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1253 second user time and 15.2667 second system time

The end

Launcher Data 

Begin job on node119 at 2016-06-07 04:53:19
IDJOB=4079111
IDBENCH=71900
IDSOLVER=2542
FILE ID=node119/4079111-1465267998
RUNJOBID= node119-1465252213-5799
PBS_JOBID= 19843259
Free space on /tmp= 71692 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB09/normalized-PB09/OPT-BIGINT-LIN/aries-da_nrp/normalized-aries-da_network_1000_5__369_766__128.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4079111-1465267998/watcher-4079111-1465267998 -o /tmp/evaluation-result-4079111-1465267998/solver-4079111-1465267998 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1465252213-5799 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4079111-1465267998.opb

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

MD5SUM BENCH= 75a469ee59540cfd3c650d18a0804c5e
RANDOM SEED=636515110

node119.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.410
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	: 5332.82
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.410
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.410
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.410
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.410
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.410
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.410
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.410
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:        30028832 kB
Buffers:          119760 kB
Cached:           197764 kB
SwapCached:          888 kB
Active:           553912 kB
Inactive:         160672 kB
Active(anon):     397960 kB
Inactive(anon):     1712 kB
Active(file):     155952 kB
Inactive(file):   158960 kB
Unevictable:     1391864 kB
Mlocked:           16252 kB
SwapTotal:      67108856 kB
SwapFree:       67100176 kB
Dirty:             64212 kB
Writeback:            24 kB
AnonPages:       1790652 kB
Mapped:            10712 kB
Shmem:                 0 kB
Slab:             601572 kB
SReclaimable:      45276 kB
SUnreclaim:       556296 kB
KernelStack:        1464 kB
PageTables:         9016 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2627536 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1384448 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 node119 at 2016-06-07 05:23:20