Trace number 4097233

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 22.0187 22.0224

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/
SyncCodes/d_n_k/normalized-5_6_18.opb
MD5SUM17d12fced13d7162b8d2a408dfd23af6
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.35379
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables552
Total number of constraints2558
Number of constraints which are clauses2553
Number of constraints which are cardinality constraints (but not clauses)5
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint23
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 41
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:42:00+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4097233-1466116920.opb"]
0.00/0.01	c use --random-gen="3384534973 777989498 2577285479 3974741077 1905862832 3028712156 588227131 2982910253 3098890454 3842948000 1232675669 2661553304 93751909 1927983072 1970189794 2679971891 3625029027 3873517975 642137063 1871163216 616655243 1851567900 2080833027 3760247055 851023733 80260598 3771718888 3489308852 3833196398 3262432536 3912837094 925066019 4002181876 3163112539 1649542733 299910149 2012584856 2149560004 2051009698 3760907036 191114372 2587744398 1179508367 2066585065 408349652 1897206768 772061694 3003932769 1520274750 1326908036 456773425 3018718585 2534730455 2146274962 1584741798 1791909883 1747032184 954110185 3295915452 33689061 1294589385 598958049 1590827695 1835458662 2797357191 1461009293 614603931 1279094979 3487365919 1069403551 1470000919 4243523933 856472884 2559713950 4036284813 3028411355 3998402913 1788022746 3270007262 3149841831 3422692754 1051321493 2119157418 4240922263 885907979 1322622024 1964538591 3261684289 2801766586 4097183185 235167579 3501065210 2946376249 86909935 1872180020 2383318015 3169479512 2523790205 2434255150 3944116625 3861773466 298839875 4113888271 951924225 2717663677 441369928 2824908694 3019301598 3312854976 3844680937 449723381 2465447464 715916068 1995028574 137919788 1489237474 3004452895 3532627598 2630733363 1338803579 394564853 458112899 2554632382 1366565567 2807900501 2842089327 1700422001 2130381123 627206260 2474352843 851930341 2520352433 3820602578 3102032184 1499823563 4208454612 2529873092 1086364 2866965697 3419719196 778936680 4157668649 3831285721 3479133947 1713906924 2958375554 1815977161 1877770685 2043042751 1202536332 2274699872 4007055389 315278063 1329262547 1361697901 645933025 3781282674 1279634964 170564668 1621514199 26743716 553508077 3824461646 313012666 1007336757 3044801925 3007137594 2161135725 315158935 3144792819 3662917873 1370245509 114302541 1177839010 613381194 815914011 534829363 1957595875 2363632285 3424444677 2641766549 2661413385 4014346171 3795314171 1279634547 1404538516 312362071 1238703950 1034682480 3430148176 3368922560 430183205 1145636358 4012971860 3340501282 1594558320 1025859050 2142098741 298914949 1579745614 1605680819 2666275595 289438448 1023554952 1879802170 3526735948 155534741 3894960917 1044943021 2352310904 1882609143 2598696090 476864961 3361654694 1871612099 2228521723 3340214564 381454872 2636048428 1305476670 2885657588 2303582108 1719010624 1961581366 30595390 503517521 1588741586 3504749775 969379560 2632469037 3366002863 2732589566 1218975988 1245156612 412061245 881926618 4164305175 3025284009 2908579200 883823451 3043557186 1282985115 1558176498 2276069735 2014008189 383985243 1269232399 2158102763 1034480928 1417835222 1751241931 3963349340 3127033562 3004981345 201165862 1295684894 255 362436" option to reproduce the execution
0.00/0.03	c #vars 552
0.00/0.03	c #constraints 2558
0.00/0.07	c Solving starts ...
0.00/0.07	c ============================[ Search Statistics ]============================
0.00/0.07	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.07	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.07	c =============================================================================
0.00/0.07	c  0.0s |       0 |        0 |        0 |     1035      0 |        5 |        0
0.09/0.10	c  0.0s |       1 |      135 |      100 |     1035      0 |        5 |      182
0.09/0.14	c  0.1s |       2 |      335 |      250 |     1139      0 |        5 |      182
0.19/0.21	c  0.1s |       3 |      605 |      475 |     1253      0 |        5 |      182
0.29/0.32	c  0.3s |       4 |     1026 |      813 |     1379      0 |        5 |      182
0.38/0.50	c  0.4s |       5 |     1615 |     1320 |     1517      0 |        5 |      182
0.69/0.77	c  0.7s |       6 |     2466 |     2081 |     1836      1 |        5 |      182
1.09/1.19	c  1.1s |       7 |     3736 |     3223 |     2020      2 |        5 |      182
1.59/1.64	c  1.6s |       8 |     5610 |     4936 |     2222      3 |        5 |      182
2.30/2.35	c  2.3s |       9 |     8418 |     7506 |     2445      6 |        5 |      182
3.30/3.39	c  3.3s |      10 |    12634 |    11361 |     2690      8 |        5 |      182
5.09/5.12	c  5.0s |      11 |    18814 |    17144 |     2960     12 |        5 |      182
7.09/7.14	c  7.1s |      11 |    25816 |    23644 |     2960     16 |        5 |      182
7.79/7.82	c  7.7s |      12 |    28133 |    25819 |     3257     18 |        5 |      182
9.79/9.83	c  9.8s |      12 |    34606 |    31919 |     3257     21 |        8 |      229
11.79/11.86	c 11.8s |      12 |    41471 |    38319 |     3257     24 |        8 |      229
11.99/12.02	c 11.9s |      13 |    41996 |    38832 |     3583     24 |        8 |      229
13.99/14.03	c 14.0s |      13 |    48645 |    45032 |     3583     27 |        8 |      229
15.99/16.07	c 16.0s |      13 |    54502 |    50632 |     3583     30 |       13 |      280
17.99/18.08	c 18.0s |      13 |    60322 |    56232 |     3583     32 |       13 |      280
18.80/18.86	c 18.8s |      14 |    62529 |    58352 |     3942     33 |       13 |      280
20.79/20.86	c 20.8s |      14 |    68735 |    64252 |     3942     35 |       20 |      335
21.89/21.95	c 21.9s |      14 |    71893 |    67290 |     3942     35 |      342 |     1365
21.89/21.95	c #cpu_time = 21.825s
21.89/21.95	c #wall_clock_time = 21.883s
21.89/21.95	c #decision = 71893
21.89/21.95	c #random_decision = 254
21.89/21.95	c #conflict = 67290
21.89/21.95	c #restart = 14
21.89/21.95	s UNSATISFIABLE
21.89/21.95	c total CPU time = 21.900s
21.89/21.95	c total wall clock time = 21.957s

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

pid=2349
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.19 2.22 2.18 2/179 2352
/proc/meminfo: memFree=29091204/32872528 swapFree=1541688/1694988
[pid=2352] ppid=2349 vsize=712124 CPUtime=0 cores=0,2,4,6
/proc/2352/stat : 2352 (toysat) R 2349 2352 31715 0 -1 4202496 2656 0 0 0 0 0 0 0 20 0 4 0 13738658 729214976 2507 33554432000 4194304 16246674 140733296559264 140733296558688 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2352/statm: 178799 2516 441 2943 0 175693 0
[pid=2352/tid=2353] ppid=2349 vsize=743868 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2353/stat : 2353 (toysat) S 2349 2352 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13738658 761720832 2632 33554432000 4194304 16246674 140733296559264 140459033734384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2352/tid=2354] ppid=2349 vsize=748988 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2354/stat : 2354 (toysat) S 2349 2352 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13738658 766963712 2651 33554432000 4194304 16246674 140733296559264 140459023244528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2352/tid=2355] ppid=2349 vsize=753084 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2355/stat : 2355 (toysat) S 2349 2352 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13738658 771158016 2667 33554432000 4194304 16246674 140733296559264 140459012770992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100171 s]
/proc/loadavg: 2.19 2.22 2.18 2/179 2352
/proc/meminfo: memFree=29091204/32872528 swapFree=1541688/1694988
[pid=2352] ppid=2349 vsize=1218116 CPUtime=0.09 cores=0,2,4,6
/proc/2352/stat : 2352 (toysat) R 2349 2352 31715 0 -1 4202496 26328 0 0 0 6 3 0 0 20 0 4 0 13738658 1247350784 26167 33554432000 4194304 16246674 140733296559264 140733296558688 6021174 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2352/statm: 304529 26175 718 2943 0 301423 0
[pid=2352/tid=2353] ppid=2349 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2353/stat : 2353 (toysat) S 2349 2352 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13738658 1247350784 26186 33554432000 4194304 16246674 140733296559264 140459033734384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2352/tid=2354] ppid=2349 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2354/stat : 2354 (toysat) S 2349 2352 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13738658 1247350784 26192 33554432000 4194304 16246674 140733296559264 140459023244528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2352/tid=2355] ppid=2349 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2355/stat : 2355 (toysat) S 2349 2352 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13738658 1247350784 26200 33554432000 4194304 16246674 140733296559264 140459012770992 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) 1218116

[startup+0.200508 s]
/proc/loadavg: 2.19 2.22 2.18 2/179 2352
/proc/meminfo: memFree=29091204/32872528 swapFree=1541688/1694988
[pid=2352] ppid=2349 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/2352/stat : 2352 (toysat) R 2349 2352 31715 0 -1 4202496 47949 0 0 0 14 5 0 0 20 0 4 0 13738658 1247350784 47788 33554432000 4194304 16246674 140733296559264 140733296541184 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2352/statm: 304529 47795 718 2943 0 301423 0
[pid=2352/tid=2353] ppid=2349 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2353/stat : 2353 (toysat) S 2349 2352 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13738658 1247350784 47800 33554432000 4194304 16246674 140733296559264 140459033734384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2352/tid=2354] ppid=2349 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2354/stat : 2354 (toysat) S 2349 2352 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13738658 1247350784 47813 33554432000 4194304 16246674 140733296559264 140459023244528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2352/tid=2355] ppid=2349 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2355/stat : 2355 (toysat) S 2349 2352 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13738658 1247350784 47819 33554432000 4194304 16246674 140733296559264 140459012770992 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) 1218116

[startup+0.300473 s]
/proc/loadavg: 2.19 2.22 2.18 2/179 2352
/proc/meminfo: memFree=29091204/32872528 swapFree=1541688/1694988
[pid=2352] ppid=2349 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/2352/stat : 2352 (toysat) R 2349 2352 31715 0 -1 4202496 69044 0 0 0 20 9 0 0 20 0 4 0 13738658 1247350784 68884 33554432000 4194304 16246674 140733296559264 140733296541184 13191557 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2352/statm: 304529 68890 718 2943 0 301423 0
[pid=2352/tid=2353] ppid=2349 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2353/stat : 2353 (toysat) S 2349 2352 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13738658 1247350784 68895 33554432000 4194304 16246674 140733296559264 140459033734384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2352/tid=2354] ppid=2349 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2354/stat : 2354 (toysat) S 2349 2352 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13738658 1247350784 68901 33554432000 4194304 16246674 140733296559264 140459023244528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2352/tid=2355] ppid=2349 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2355/stat : 2355 (toysat) S 2349 2352 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13738658 1247350784 68906 33554432000 4194304 16246674 140733296559264 140459012770992 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) 1218116

[startup+0.700396 s]
/proc/loadavg: 2.19 2.22 2.18 2/179 2352
/proc/meminfo: memFree=29091204/32872528 swapFree=1541688/1694988
[pid=2352] ppid=2349 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/2352/stat : 2352 (toysat) R 2349 2352 31715 0 -1 4202496 150900 0 0 0 48 21 0 0 20 0 4 0 13738658 1247350784 150739 33554432000 4194304 16246674 140733296559264 140733296541184 5661217 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2352/statm: 304529 150749 718 2943 0 301423 0
[pid=2352/tid=2353] ppid=2349 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2353/stat : 2353 (toysat) S 2349 2352 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13738658 1247350784 150756 33554432000 4194304 16246674 140733296559264 140459033734384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2352/tid=2354] ppid=2349 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2354/stat : 2354 (toysat) S 2349 2352 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13738658 1247350784 150763 33554432000 4194304 16246674 140733296559264 140459023244528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2352/tid=2355] ppid=2349 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2355/stat : 2355 (toysat) S 2349 2352 31715 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13738658 1247350784 150769 33554432000 4194304 16246674 140733296559264 140459012770992 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) 1218116

[startup+1.5004 s]
/proc/loadavg: 2.25 2.23 2.18 3/183 2356
/proc/meminfo: memFree=28175960/32872528 swapFree=1541688/1694988
[pid=2352] ppid=2349 vsize=1221188 CPUtime=1.49 cores=0,2,4,6
/proc/2352/stat : 2352 (toysat) R 2349 2352 31715 0 -1 4202496 246118 0 0 0 115 34 0 0 20 0 4 0 13738658 1250496512 245937 33554432000 4194304 16246674 140733296559264 140733296558576 5677584 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2352/statm: 305297 245937 792 2943 0 302191 0
[pid=2352/tid=2353] ppid=2349 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2353/stat : 2353 (toysat) S 2349 2352 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13738658 1250496512 245937 33554432000 4194304 16246674 140733296559264 140459033734384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2352/tid=2354] ppid=2349 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2354/stat : 2354 (toysat) S 2349 2352 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13738658 1250496512 245937 33554432000 4194304 16246674 140733296559264 140459023244528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2352/tid=2355] ppid=2349 vsize=1221188 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2355/stat : 2355 (toysat) S 2349 2352 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13738658 1250496512 245937 33554432000 4194304 16246674 140733296559264 140459012770992 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) 1221188

[startup+3.1004 s]
/proc/loadavg: 2.25 2.23 2.18 3/183 2356
/proc/meminfo: memFree=28025788/32872528 swapFree=1541688/1694988
[pid=2352] ppid=2349 vsize=1304132 CPUtime=3.09 cores=0,2,4,6
/proc/2352/stat : 2352 (toysat) R 2349 2352 31715 0 -1 4202496 266962 0 0 0 272 37 0 0 20 0 4 0 13738658 1335431168 266781 33554432000 4194304 16246674 140733296559264 140733296541184 4225154 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2352/statm: 326033 266787 793 2943 0 322927 0
[pid=2352/tid=2353] ppid=2349 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2353/stat : 2353 (toysat) S 2349 2352 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13738658 1335431168 266791 33554432000 4194304 16246674 140733296559264 140459033734384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2352/tid=2354] ppid=2349 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2354/stat : 2354 (toysat) S 2349 2352 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13738658 1335431168 266795 33554432000 4194304 16246674 140733296559264 140459023244528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2352/tid=2355] ppid=2349 vsize=1304132 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2355/stat : 2355 (toysat) S 2349 2352 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13738658 1335431168 266798 33554432000 4194304 16246674 140733296559264 140459012770992 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) 1304132

[startup+6.3004 s]
/proc/loadavg: 2.25 2.23 2.18 4/183 2356
/proc/meminfo: memFree=28018012/32872528 swapFree=1541688/1694988
[pid=2352] ppid=2349 vsize=1310276 CPUtime=6.29 cores=0,2,4,6
/proc/2352/stat : 2352 (toysat) R 2349 2352 31715 0 -1 4202496 268600 0 0 0 592 37 0 0 20 0 4 0 13738658 1341722624 268419 33554432000 4194304 16246674 140733296559264 140733296541120 5827966 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2352/statm: 327569 268419 793 2943 0 324463 0
[pid=2352/tid=2353] ppid=2349 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2353/stat : 2353 (toysat) S 2349 2352 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13738658 1341722624 268419 33554432000 4194304 16246674 140733296559264 140459033734384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2352/tid=2354] ppid=2349 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2354/stat : 2354 (toysat) S 2349 2352 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13738658 1341722624 268419 33554432000 4194304 16246674 140733296559264 140459023244528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2352/tid=2355] ppid=2349 vsize=1310276 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2355/stat : 2355 (toysat) S 2349 2352 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13738658 1341722624 268419 33554432000 4194304 16246674 140733296559264 140459012770992 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) 1310276

[startup+12.7004 s]
/proc/loadavg: 2.21 2.22 2.18 3/183 2356
/proc/meminfo: memFree=28014920/32872528 swapFree=1541688/1694988
[pid=2352] ppid=2349 vsize=1313348 CPUtime=12.69 cores=0,2,4,6
/proc/2352/stat : 2352 (toysat) R 2349 2352 31715 0 -1 4202496 269369 0 0 0 1231 38 0 0 20 0 4 0 13738658 1344868352 269188 33554432000 4194304 16246674 140733296559264 140733296541184 5754568 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2352/statm: 328337 269188 794 2943 0 325231 0
[pid=2352/tid=2353] ppid=2349 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2353/stat : 2353 (toysat) S 2349 2352 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13738658 1344868352 269188 33554432000 4194304 16246674 140733296559264 140459033734384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2352/tid=2354] ppid=2349 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2354/stat : 2354 (toysat) S 2349 2352 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13738658 1344868352 269188 33554432000 4194304 16246674 140733296559264 140459023244528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2352/tid=2355] ppid=2349 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2355/stat : 2355 (toysat) S 2349 2352 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13738658 1344868352 269188 33554432000 4194304 16246674 140733296559264 140459012770992 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) 1313348

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

[startup+12.8005 s]
/proc/loadavg: 2.21 2.22 2.18 3/183 2356
/proc/meminfo: memFree=28014920/32872528 swapFree=1541688/1694988
[pid=2352] ppid=2349 vsize=1313348 CPUtime=12.79 cores=0,2,4,6
/proc/2352/stat : 2352 (toysat) R 2349 2352 31715 0 -1 4202496 269369 0 0 0 1241 38 0 0 20 0 4 0 13738658 1344868352 269188 33554432000 4194304 16246674 140733296559264 140733296541184 6022432 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2352/statm: 328337 269188 794 2943 0 325231 0
[pid=2352/tid=2353] ppid=2349 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2353/stat : 2353 (toysat) S 2349 2352 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13738658 1344868352 269188 33554432000 4194304 16246674 140733296559264 140459033734384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2352/tid=2354] ppid=2349 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2354/stat : 2354 (toysat) S 2349 2352 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13738658 1344868352 269188 33554432000 4194304 16246674 140733296559264 140459023244528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2352/tid=2355] ppid=2349 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2355/stat : 2355 (toysat) S 2349 2352 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13738658 1344868352 269188 33554432000 4194304 16246674 140733296559264 140459012770992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 1313348

[startup+16.0004 s]
/proc/loadavg: 2.21 2.22 2.18 4/183 2356
/proc/meminfo: memFree=28015044/32872528 swapFree=1541688/1694988
[pid=2352] ppid=2349 vsize=1313348 CPUtime=15.99 cores=0,2,4,6
/proc/2352/stat : 2352 (toysat) R 2349 2352 31715 0 -1 4202496 269369 0 0 0 1561 38 0 0 20 0 4 0 13738658 1344868352 269188 33554432000 4194304 16246674 140733296559264 140733296541184 5677884 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2352/statm: 328337 269188 794 2943 0 325231 0
[pid=2352/tid=2353] ppid=2349 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2353/stat : 2353 (toysat) S 2349 2352 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13738658 1344868352 269188 33554432000 4194304 16246674 140733296559264 140459033734384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2352/tid=2354] ppid=2349 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2354/stat : 2354 (toysat) S 2349 2352 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13738658 1344868352 269188 33554432000 4194304 16246674 140733296559264 140459023244528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2352/tid=2355] ppid=2349 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2355/stat : 2355 (toysat) S 2349 2352 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13738658 1344868352 269188 33554432000 4194304 16246674 140733296559264 140459012770992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 15.99
Current children cumulated vsize (KiB) 1313348

[startup+19.2004 s]
/proc/loadavg: 2.28 2.23 2.19 4/183 2356
/proc/meminfo: memFree=28015152/32872528 swapFree=1541688/1694988
[pid=2352] ppid=2349 vsize=1313348 CPUtime=19.19 cores=0,2,4,6
/proc/2352/stat : 2352 (toysat) R 2349 2352 31715 0 -1 4202496 269369 0 0 0 1881 38 0 0 20 0 4 0 13738658 1344868352 269188 33554432000 4194304 16246674 140733296559264 140733296541184 5522977 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2352/statm: 328337 269188 794 2943 0 325231 0
[pid=2352/tid=2353] ppid=2349 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2353/stat : 2353 (toysat) S 2349 2352 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13738658 1344868352 269188 33554432000 4194304 16246674 140733296559264 140459033734384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2352/tid=2354] ppid=2349 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2354/stat : 2354 (toysat) S 2349 2352 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13738658 1344868352 269188 33554432000 4194304 16246674 140733296559264 140459023244528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2352/tid=2355] ppid=2349 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2355/stat : 2355 (toysat) S 2349 2352 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13738658 1344868352 269188 33554432000 4194304 16246674 140733296559264 140459012770992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 19.19
Current children cumulated vsize (KiB) 1313348

[startup+20.8004 s]
/proc/loadavg: 2.28 2.23 2.19 3/183 2356
/proc/meminfo: memFree=28015152/32872528 swapFree=1541688/1694988
[pid=2352] ppid=2349 vsize=1313348 CPUtime=20.79 cores=0,2,4,6
/proc/2352/stat : 2352 (toysat) R 2349 2352 31715 0 -1 4202496 269371 0 0 0 2041 38 0 0 20 0 4 0 13738658 1344868352 269190 33554432000 4194304 16246674 140733296559264 140733296541184 5677888 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2352/statm: 328337 269190 796 2943 0 325231 0
[pid=2352/tid=2353] ppid=2349 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2353/stat : 2353 (toysat) S 2349 2352 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13738658 1344868352 269190 33554432000 4194304 16246674 140733296559264 140459033734384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2352/tid=2354] ppid=2349 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2354/stat : 2354 (toysat) S 2349 2352 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13738658 1344868352 269190 33554432000 4194304 16246674 140733296559264 140459023244528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2352/tid=2355] ppid=2349 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2355/stat : 2355 (toysat) S 2349 2352 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13738658 1344868352 269190 33554432000 4194304 16246674 140733296559264 140459012770992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 20.79
Current children cumulated vsize (KiB) 1313348

[startup+21.6004 s]
/proc/loadavg: 2.25 2.23 2.18 3/183 2356
/proc/meminfo: memFree=28015152/32872528 swapFree=1541688/1694988
[pid=2352] ppid=2349 vsize=1313348 CPUtime=21.59 cores=0,2,4,6
/proc/2352/stat : 2352 (toysat) R 2349 2352 31715 0 -1 4202496 269371 0 0 0 2121 38 0 0 20 0 4 0 13738658 1344868352 269190 33554432000 4194304 16246674 140733296559264 140733296541184 5665815 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2352/statm: 328337 269190 796 2943 0 325231 0
[pid=2352/tid=2353] ppid=2349 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2353/stat : 2353 (toysat) S 2349 2352 31715 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13738658 1344868352 269190 33554432000 4194304 16246674 140733296559264 140459033734384 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=2352/tid=2354] ppid=2349 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2354/stat : 2354 (toysat) S 2349 2352 31715 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13738658 1344868352 269190 33554432000 4194304 16246674 140733296559264 140459023244528 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=2352/tid=2355] ppid=2349 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/2352/task/2355/stat : 2355 (toysat) S 2349 2352 31715 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13738658 1344868352 269190 33554432000 4194304 16246674 140733296559264 140459012770992 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 21.59
Current children cumulated vsize (KiB) 1313348

[startup+22.0003 s]
/proc/loadavg: 2.25 2.23 2.18 3/180 2356
/proc/meminfo: memFree=28725672/32872528 swapFree=1541688/1694988
[pid=2352] ppid=2349 vsize=0 CPUtime=21.99 cores=0,2,4,6
/proc/2352/stat : 2352 (toysat) R 2349 2352 31715 0 -1 4202500 269376 0 0 0 2157 42 0 0 20 0 1 0 13738658 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/2352/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 21.99
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 22.0224
CPU time (s): 22.0187
CPU user time (s): 21.5747
CPU system time (s): 0.443932
CPU usage (%): 99.9831
Max. virtual memory (cumulated for all children) (KiB): 1313348

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 21.5747
system time used= 0.443932
maximum resident set size= 1076776
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269376
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= 18
involuntary context switches= 23

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.047992 second user time and 0.100984 second system time

The end

Launcher Data 

Begin job on node125 at 2016-06-17 00:42:00
IDJOB=4097233
IDBENCH=107728
IDSOLVER=2542
FILE ID=node125/4097233-1466116920
RUNJOBID= node125-1466112694-1100
PBS_JOBID= 19904034
Free space on /tmp= 71728 MiB

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

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

MD5SUM BENCH= 17d12fced13d7162b8d2a408dfd23af6
RANDOM SEED=1432036203

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

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.683
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:        29091732 kB
Buffers:           66108 kB
Cached:           161920 kB
SwapCached:         2680 kB
Active:          1265504 kB
Inactive:         112136 kB
Active(anon):    1149532 kB
Inactive(anon):     2308 kB
Active(file):     115972 kB
Inactive(file):   109828 kB
Unevictable:     1694988 kB
Mlocked:         1541688 kB
SwapTotal:      67108856 kB
SwapFree:       67097016 kB
Dirty:             16316 kB
Writeback:             0 kB
AnonPages:       2842668 kB
Mapped:            10724 kB
Shmem:                 0 kB
Slab:             571500 kB
SReclaimable:      15360 kB
SUnreclaim:       556140 kB
KernelStack:        1520 kB
PageTables:         9260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2984028 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    636928 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= 71712 MiB
End job on node125 at 2016-06-17 00:42:22