Trace number 4097730

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 13.325 13.3313

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/
SyncCodes/d_n_k/normalized-4_5_23.opb
MD5SUM0fd797813ff1eae612496cb15664ffe9
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 benchmark0.508921
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables756
Total number of constraints3542
Number of constraints which are clauses3537
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 constraint27
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 23
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 50
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-17T01:07:55+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-4097730-1466118475.opb"]
0.00/0.01	c use --random-gen="312740970 4136417195 3331043701 3045076196 2871712609 3357301370 1275305099 1274252367 334454250 1678996730 3891992387 2695054603 2684112167 69024250 2865883251 1011945865 225748763 1263277779 2992541194 557474511 3161957995 3582470676 2076612195 4212831823 4107696569 3841715963 1008754224 2468198345 2011091978 1691608827 2942775969 3142530103 3605865286 3573861189 3191807348 3794108316 1146647048 2167660939 2540601147 1361342887 2820370784 2624497317 905147956 3099217434 1519554660 2630241519 3804896805 3195016119 1311170307 2909273370 3590907408 2183417962 2763439305 251656556 3943161417 1687209131 1586221169 934036576 2064707461 2356043202 2831166720 3593806963 1617079843 3195722007 1158306799 2344762247 3856543550 4286750820 34789826 308236510 3846932794 3750226364 3286165730 4195019888 1498204293 3466084776 2491961060 1292984682 3567006856 671328836 3243811733 2285679070 1843768439 501159685 708138636 3977909800 1746203252 2987791842 188280900 2365181319 561635863 4192552390 1021725419 2892598156 1600575169 3246732689 1213504912 3124549595 3535925960 4058552897 379355238 2281619903 165133040 1365245572 1216492169 250996027 2557211586 1466936695 1345463178 2321059553 2382588090 2808116372 1488366989 1986986669 3466168719 3328717900 679827046 2097170421 1434982870 1969799490 2473424400 2288161325 2403948422 492036571 2975827516 624298715 345165133 1241625035 814581851 864384387 3654054249 1981441562 541304657 2536587615 3049888492 2256698437 1098833043 3869927623 1110605629 2370760068 1394367018 985946699 1183714028 1626202680 3455421939 3535655030 175683123 3594272724 2423751022 2076559143 929789360 192423718 3044748154 2669236261 3678065298 115842714 198807303 3920760203 1038346263 4101376052 2335051539 1711217783 263316060 1207666827 3597134688 3691022344 1547774852 1370176214 3722161450 3946784290 1185058242 1028071470 266984497 1662359672 2138050453 3951457228 2964320702 3258381068 1402559662 1286868573 2015830739 594037133 3528030848 4021222984 100704249 1978266636 1457483554 2156489936 3287630922 1390248895 4292595247 973652725 1766864592 1289693899 1373664116 1515337559 1926130626 2095548622 1769836396 3410789262 2830348434 1997620174 2368683123 2851821968 3057508236 1824154846 1933020206 3336764991 1807654851 603810408 2295761470 3296408442 3611420350 3408371617 2841447502 2411494033 2819055540 1460685101 2078983669 1891608861 1916871537 1566918330 1411202179 2227812830 832627353 2086819432 2386891176 3407353658 3294158253 1522935648 3958244940 4067908243 2953405809 161729921 3812387761 313046728 675510770 1080538813 3124258321 1820968066 707529598 3332986006 1174222911 1421725561 1985139932 3826936646 646349170 4126747765 3263300686 904822038 2240313580 3078102379 1686287840 4277989687 4166609392 654752949 255 362436" option to reproduce the execution
0.00/0.04	c #vars 756
0.00/0.04	c #constraints 3542
0.00/0.09	c Solving starts ...
0.00/0.09	c ============================[ Search Statistics ]============================
0.00/0.09	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.09	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.09	c =============================================================================
0.00/0.10	c  0.0s |       0 |        0 |        0 |     1431      0 |        5 |        0
0.09/0.13	c  0.0s |       1 |      151 |      100 |     1431      0 |        5 |      213
0.09/0.18	c  0.1s |       2 |      398 |      250 |     1575      0 |        5 |      213
0.19/0.26	c  0.2s |       3 |      650 |      475 |     1733      0 |        5 |      213
0.28/0.38	c  0.3s |       4 |     1032 |      813 |     1907      0 |        5 |      213
0.49/0.57	c  0.5s |       5 |     1581 |     1320 |     2098      0 |        5 |      213
0.78/0.88	c  0.8s |       6 |     2419 |     2081 |     2539      0 |        5 |      213
1.28/1.35	c  1.3s |       7 |     3652 |     3223 |     2793      1 |        5 |      213
1.88/1.90	c  1.8s |       8 |     5489 |     4936 |     3073      2 |        5 |      213
2.68/2.76	c  2.7s |       9 |     8244 |     7506 |     3381      3 |        5 |      213
3.98/4.04	c  3.9s |      10 |    12372 |    11361 |     3720      6 |        5 |      213
5.89/5.98	c  5.9s |      11 |    18555 |    17144 |     4093      8 |        5 |      213
7.89/7.99	c  7.9s |      11 |    24356 |    22644 |     4093     11 |        8 |      268
9.09/9.13	c  9.0s |      12 |    27697 |    25819 |     4503     12 |        8 |      268
11.10/11.17	c 11.1s |      12 |    33327 |    31119 |     4503     14 |        8 |      268
13.09/13.20	c 13.1s |      12 |    39191 |    36619 |     4503     14 |       47 |      772
13.20/13.27	c 13.2s |      12 |    39400 |    36824 |     4503     14 |      396 |     1290
13.20/13.27	c #cpu_time = 13.136s
13.20/13.27	c #wall_clock_time = 13.171s
13.20/13.27	c #decision = 39400
13.20/13.27	c #random_decision = 156
13.20/13.27	c #conflict = 36824
13.20/13.27	c #restart = 12
13.20/13.27	s UNSATISFIABLE
13.20/13.27	c total CPU time = 13.231s
13.20/13.27	c total wall clock time = 13.266s

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

pid=32396
running on 4 cores: 1,3,5,7

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


[startup+0 s]
/proc/loadavg: 2.25 2.24 2.19 3/179 32399
/proc/meminfo: memFree=29442848/32872528 swapFree=1190796/1305260
[pid=32399] ppid=32396 vsize=338364 CPUtime=0 cores=1,3,5,7
/proc/32399/stat : 32399 (toysat) R 32396 32399 29204 0 -1 4202496 1194 0 0 0 0 0 0 0 20 0 4 0 13894101 346484736 1554 33554432000 4194304 16246674 140734982578624 140734982578048 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32399/statm: 85103 1563 441 2943 0 81997 0
[pid=32399/tid=32400] ppid=32396 vsize=353724 CPUtime=0 cores=1,3,5,7
/proc/32399/task/32400/stat : 32400 (toysat) S 32396 32399 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13894102 362213376 1615 33554432000 4194304 16246674 140734982578624 139715858640112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32399/tid=32401] ppid=32396 vsize=358844 CPUtime=0 cores=1,3,5,7
/proc/32399/task/32401/stat : 32401 (toysat) S 32396 32399 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13894102 367456256 1632 33554432000 4194304 16246674 140734982578624 139715848150256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32399/tid=32402] ppid=32396 vsize=362940 CPUtime=0 cores=1,3,5,7
/proc/32399/task/32402/stat : 32402 (toysat) S 32396 32399 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13894102 371650560 1648 33554432000 4194304 16246674 140734982578624 139715837676720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.10016 s]
/proc/loadavg: 2.25 2.24 2.19 3/179 32399
/proc/meminfo: memFree=29442848/32872528 swapFree=1190796/1305260
[pid=32399] ppid=32396 vsize=1218116 CPUtime=0.09 cores=1,3,5,7
/proc/32399/stat : 32399 (toysat) R 32396 32399 29204 0 -1 4202496 26269 0 0 0 5 4 0 0 20 0 4 0 13894101 1247350784 26618 33554432000 4194304 16246674 140734982578624 140734982578048 5532301 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32399/statm: 304529 26629 693 2943 0 301423 0
[pid=32399/tid=32400] ppid=32396 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32399/task/32400/stat : 32400 (toysat) S 32396 32399 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13894102 1247350784 26637 33554432000 4194304 16246674 140734982578624 139715858640112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32399/tid=32401] ppid=32396 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32399/task/32401/stat : 32401 (toysat) S 32396 32399 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13894102 1247350784 26644 33554432000 4194304 16246674 140734982578624 139715848150256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32399/tid=32402] ppid=32396 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32399/task/32402/stat : 32402 (toysat) S 32396 32399 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13894102 1247350784 26650 33554432000 4194304 16246674 140734982578624 139715837676720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1218116

[startup+0.200516 s]
/proc/loadavg: 2.25 2.24 2.19 3/179 32399
/proc/meminfo: memFree=29442848/32872528 swapFree=1190796/1305260
[pid=32399] ppid=32396 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/32399/stat : 32399 (toysat) R 32396 32399 29204 0 -1 4202496 47628 0 0 0 12 7 0 0 20 0 4 0 13894101 1247350784 47977 33554432000 4194304 16246674 140734982578624 140734982578048 5828874 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32399/statm: 304529 47987 718 2943 0 301423 0
[pid=32399/tid=32400] ppid=32396 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32399/task/32400/stat : 32400 (toysat) S 32396 32399 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13894102 1247350784 47993 33554432000 4194304 16246674 140734982578624 139715858640112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32399/tid=32401] ppid=32396 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32399/task/32401/stat : 32401 (toysat) S 32396 32399 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13894102 1247350784 47999 33554432000 4194304 16246674 140734982578624 139715848150256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32399/tid=32402] ppid=32396 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32399/task/32402/stat : 32402 (toysat) S 32396 32399 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13894102 1247350784 48003 33554432000 4194304 16246674 140734982578624 139715837676720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300501 s]
/proc/loadavg: 2.25 2.24 2.19 3/179 32399
/proc/meminfo: memFree=29442848/32872528 swapFree=1190796/1305260
[pid=32399] ppid=32396 vsize=1218116 CPUtime=0.28 cores=1,3,5,7
/proc/32399/stat : 32399 (toysat) R 32396 32399 29204 0 -1 4202496 68493 0 0 0 19 9 0 0 20 0 4 0 13894101 1247350784 68842 33554432000 4194304 16246674 140734982578624 140734982578048 5661217 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32399/statm: 304529 68850 718 2943 0 301423 0
[pid=32399/tid=32400] ppid=32396 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32399/task/32400/stat : 32400 (toysat) S 32396 32399 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13894102 1247350784 68860 33554432000 4194304 16246674 140734982578624 139715858640112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32399/tid=32401] ppid=32396 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32399/task/32401/stat : 32401 (toysat) S 32396 32399 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13894102 1247350784 68868 33554432000 4194304 16246674 140734982578624 139715848150256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32399/tid=32402] ppid=32396 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32399/task/32402/stat : 32402 (toysat) S 32396 32399 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13894102 1247350784 68875 33554432000 4194304 16246674 140734982578624 139715837676720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1218116

[startup+0.700375 s]
/proc/loadavg: 2.25 2.24 2.19 3/179 32399
/proc/meminfo: memFree=29442848/32872528 swapFree=1190796/1305260
[pid=32399] ppid=32396 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/32399/stat : 32399 (toysat) R 32396 32399 29204 0 -1 4202496 148390 0 0 0 49 20 0 0 20 0 4 0 13894101 1247350784 148739 33554432000 4194304 16246674 140734982578624 140734982560512 5523709 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32399/statm: 304529 148744 718 2943 0 301423 0
[pid=32399/tid=32400] ppid=32396 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32399/task/32400/stat : 32400 (toysat) S 32396 32399 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13894102 1247350784 148747 33554432000 4194304 16246674 140734982578624 139715858640112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32399/tid=32401] ppid=32396 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32399/task/32401/stat : 32401 (toysat) S 32396 32399 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13894102 1247350784 148752 33554432000 4194304 16246674 140734982578624 139715848150256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32399/tid=32402] ppid=32396 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/32399/task/32402/stat : 32402 (toysat) S 32396 32399 29204 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13894102 1247350784 148757 33554432000 4194304 16246674 140734982578624 139715837676720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50039 s]
/proc/loadavg: 2.25 2.24 2.19 3/183 32403
/proc/meminfo: memFree=28546488/32872528 swapFree=1190796/1305260
[pid=32399] ppid=32396 vsize=1221188 CPUtime=1.48 cores=1,3,5,7
/proc/32399/stat : 32399 (toysat) R 32396 32399 29204 0 -1 4202496 246232 0 0 0 114 34 0 0 20 0 4 0 13894101 1250496512 246561 33554432000 4194304 16246674 140734982578624 140734982577936 5823266 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32399/statm: 305297 246561 793 2943 0 302191 0
[pid=32399/tid=32400] ppid=32396 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/32399/task/32400/stat : 32400 (toysat) S 32396 32399 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13894102 1250496512 246561 33554432000 4194304 16246674 140734982578624 139715858640112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32399/tid=32401] ppid=32396 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/32399/task/32401/stat : 32401 (toysat) S 32396 32399 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13894102 1250496512 246561 33554432000 4194304 16246674 140734982578624 139715848150256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32399/tid=32402] ppid=32396 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/32399/task/32402/stat : 32402 (toysat) S 32396 32399 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13894102 1250496512 246561 33554432000 4194304 16246674 140734982578624 139715837676720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1221188

[startup+3.10042 s]
/proc/loadavg: 2.23 2.24 2.19 3/183 32403
/proc/meminfo: memFree=28401664/32872528 swapFree=1190796/1305260
[pid=32399] ppid=32396 vsize=1303108 CPUtime=3.08 cores=1,3,5,7
/proc/32399/stat : 32399 (toysat) R 32396 32399 29204 0 -1 4202496 266560 0 0 0 272 36 0 0 20 0 4 0 13894101 1334382592 266889 33554432000 4194304 16246674 140734982578624 140734982560512 5822255 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32399/statm: 325777 266889 793 2943 0 322671 0
[pid=32399/tid=32400] ppid=32396 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/32399/task/32400/stat : 32400 (toysat) S 32396 32399 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13894102 1334382592 266889 33554432000 4194304 16246674 140734982578624 139715858640112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32399/tid=32401] ppid=32396 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/32399/task/32401/stat : 32401 (toysat) S 32396 32399 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13894102 1334382592 266889 33554432000 4194304 16246674 140734982578624 139715848150256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32399/tid=32402] ppid=32396 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/32399/task/32402/stat : 32402 (toysat) S 32396 32399 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13894102 1334382592 266889 33554432000 4194304 16246674 140734982578624 139715837676720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 1303108

[startup+6.30041 s]
/proc/loadavg: 2.23 2.24 2.19 3/183 32403
/proc/meminfo: memFree=28363308/32872528 swapFree=1190796/1305260
[pid=32399] ppid=32396 vsize=1314372 CPUtime=6.29 cores=1,3,5,7
/proc/32399/stat : 32399 (toysat) R 32396 32399 29204 0 -1 4202496 269437 0 0 0 592 37 0 0 20 0 4 0 13894101 1345916928 269766 33554432000 4194304 16246674 140734982578624 140734982560512 5672184 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32399/statm: 328593 269766 795 2943 0 325487 0
[pid=32399/tid=32400] ppid=32396 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/32399/task/32400/stat : 32400 (toysat) S 32396 32399 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13894102 1345916928 269766 33554432000 4194304 16246674 140734982578624 139715858640112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32399/tid=32401] ppid=32396 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/32399/task/32401/stat : 32401 (toysat) S 32396 32399 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13894102 1345916928 269766 33554432000 4194304 16246674 140734982578624 139715848150256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32399/tid=32402] ppid=32396 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/32399/task/32402/stat : 32402 (toysat) S 32396 32399 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13894102 1345916928 269766 33554432000 4194304 16246674 140734982578624 139715837676720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1314372

[startup+12.7004 s]
/proc/loadavg: 2.19 2.23 2.19 3/183 32403
/proc/meminfo: memFree=28362208/32872528 swapFree=1190796/1305260
[pid=32399] ppid=32396 vsize=1314372 CPUtime=12.69 cores=1,3,5,7
/proc/32399/stat : 32399 (toysat) R 32396 32399 29204 0 -1 4202496 269625 0 0 0 1232 37 0 0 20 0 4 0 13894101 1345916928 269954 33554432000 4194304 16246674 140734982578624 140734982560512 5822428 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32399/statm: 328593 269954 795 2943 0 325487 0
[pid=32399/tid=32400] ppid=32396 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/32399/task/32400/stat : 32400 (toysat) S 32396 32399 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13894102 1345916928 269954 33554432000 4194304 16246674 140734982578624 139715858640112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32399/tid=32401] ppid=32396 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/32399/task/32401/stat : 32401 (toysat) S 32396 32399 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13894102 1345916928 269954 33554432000 4194304 16246674 140734982578624 139715848150256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32399/tid=32402] ppid=32396 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/32399/task/32402/stat : 32402 (toysat) S 32396 32399 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13894102 1345916928 269954 33554432000 4194304 16246674 140734982578624 139715837676720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 1314372

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

[startup+12.8005 s]
/proc/loadavg: 2.19 2.23 2.19 3/183 32403
/proc/meminfo: memFree=28362208/32872528 swapFree=1190796/1305260
[pid=32399] ppid=32396 vsize=1314372 CPUtime=12.79 cores=1,3,5,7
/proc/32399/stat : 32399 (toysat) R 32396 32399 29204 0 -1 4202496 269625 0 0 0 1242 37 0 0 20 0 4 0 13894101 1345916928 269954 33554432000 4194304 16246674 140734982578624 140734982560512 5723580 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32399/statm: 328593 269954 795 2943 0 325487 0
[pid=32399/tid=32400] ppid=32396 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/32399/task/32400/stat : 32400 (toysat) S 32396 32399 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13894102 1345916928 269954 33554432000 4194304 16246674 140734982578624 139715858640112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32399/tid=32401] ppid=32396 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/32399/task/32401/stat : 32401 (toysat) S 32396 32399 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13894102 1345916928 269954 33554432000 4194304 16246674 140734982578624 139715848150256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32399/tid=32402] ppid=32396 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/32399/task/32402/stat : 32402 (toysat) S 32396 32399 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13894102 1345916928 269954 33554432000 4194304 16246674 140734982578624 139715837676720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 12.79
Current children cumulated vsize (KiB) 1314372

[startup+13.2004 s]
/proc/loadavg: 2.19 2.23 2.19 3/183 32403
/proc/meminfo: memFree=28362332/32872528 swapFree=1190796/1305260
[pid=32399] ppid=32396 vsize=1314372 CPUtime=13.2 cores=1,3,5,7
/proc/32399/stat : 32399 (toysat) R 32396 32399 29204 0 -1 4202496 269625 0 0 0 1283 37 0 0 20 0 4 0 13894101 1345916928 269954 33554432000 4194304 16246674 140734982578624 140734982560512 13943604 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32399/statm: 328593 269954 795 2943 0 325487 0
[pid=32399/tid=32400] ppid=32396 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/32399/task/32400/stat : 32400 (toysat) S 32396 32399 29204 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 13894102 1345916928 269954 33554432000 4194304 16246674 140734982578624 139715858640112 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=32399/tid=32401] ppid=32396 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/32399/task/32401/stat : 32401 (toysat) S 32396 32399 29204 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13894102 1345916928 269954 33554432000 4194304 16246674 140734982578624 139715848150256 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=32399/tid=32402] ppid=32396 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/32399/task/32402/stat : 32402 (toysat) S 32396 32399 29204 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13894102 1345916928 269954 33554432000 4194304 16246674 140734982578624 139715837676720 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 13.2
Current children cumulated vsize (KiB) 1314372

[startup+13.3074 s]
/proc/loadavg: 2.19 2.23 2.19 3/183 32403
/proc/meminfo: memFree=28362332/32872528 swapFree=1190796/1305260
[pid=32399] ppid=32396 vsize=0 CPUtime=13.29 cores=1,3,5,7
/proc/32399/stat : 32399 (toysat) R 32396 32399 29204 0 -1 4202500 269631 0 0 0 1289 40 0 0 20 0 1 0 13894101 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/32399/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 13.29
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 13.3313
CPU time (s): 13.325
CPU user time (s): 12.895
CPU system time (s): 0.429934
CPU usage (%): 99.9523
Max. virtual memory (cumulated for all children) (KiB): 1314372

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 12.895
system time used= 0.429934
maximum resident set size= 1079832
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 269631
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= 20
involuntary context switches= 18

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.025996 second user time and 0.069989 second system time

The end

Launcher Data 

Begin job on node127 at 2016-06-17 01:07:55
IDJOB=4097730
IDBENCH=107799
IDSOLVER=2542
FILE ID=node127/4097730-1466118475
RUNJOBID= node127-1466112960-31002
PBS_JOBID= 19904036
Free space on /tmp= 71724 MiB

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

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

MD5SUM BENCH= 0fd797813ff1eae612496cb15664ffe9
RANDOM SEED=92238772

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

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.769
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.56
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.769
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.769
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.769
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.769
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:        29443204 kB
Buffers:           65868 kB
Cached:           170860 kB
SwapCached:        34656 kB
Active:          1262444 kB
Inactive:         154112 kB
Active(anon):    1146980 kB
Inactive(anon):    35592 kB
Active(file):     115464 kB
Inactive(file):   118520 kB
Unevictable:     1305260 kB
Mlocked:         1190796 kB
SwapTotal:      67108856 kB
SwapFree:       67066092 kB
Dirty:             16356 kB
Writeback:             0 kB
AnonPages:       2454008 kB
Mapped:            10628 kB
Shmem:                 0 kB
Slab:             571108 kB
SReclaimable:      15464 kB
SUnreclaim:       555644 kB
KernelStack:        1488 kB
PageTables:         8324 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2595780 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    782336 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= 71708 MiB
End job on node127 at 2016-06-17 01:08:08