Trace number 4097429

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 10.6834 10.686

General information on the benchmark

Namenormalized-PB16/DEC-SMALLINT-LIN/quimper/
SyncCodes/d_n_k/normalized-4_5_22.opb
MD5SUM571c01ae7814124c7ade4a6b03fcfaa2
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.474927
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables702
Total number of constraints3281
Number of constraints which are clauses3276
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 constraint26
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 22
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 48
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:56:04+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-4097429-1466117763.opb"]
0.00/0.01	c use --random-gen="125892005 3701025453 2821375450 2322517827 594250846 3832191607 3624535007 3660721858 2970318989 741597522 373533941 3628205304 2515705199 1186093316 16614882 4236298286 1272549937 2409387382 2318827982 1091706973 646655386 2378751000 45486409 2153228424 3751090593 3939214472 1220887941 1156389333 2649403672 2880545492 984940863 444486035 869965101 2495482121 2446889375 2548126355 542899422 2332351345 1945612272 757608931 2321840358 1107884763 3289372166 3403926751 384221114 628032449 3328476013 1625353011 557611842 798338934 777575325 424470154 4109608027 135557050 1609922955 657971068 1502528716 2455118328 2787049006 2927778960 1598114465 953960240 2986540772 1955925417 1042445480 3463062967 2958742675 3669749164 1944929542 2508771425 107305921 2749151684 1190208282 3445162209 1867302202 1556434456 2639004420 834686653 801469067 3711334017 3808770138 2942989750 2416599245 3522321521 3494917511 1782333001 3179217215 2845887684 3765503042 2050774084 423581287 3647018940 3753796364 3969678346 4090510269 3520249070 1427668437 1435181484 4076044849 1211701109 2500031131 3181680678 1190864835 2308339367 1825151073 3456562095 1093654348 2021771769 898950059 364670153 688537774 844164543 25755007 1718023032 478288865 1678952562 2587780557 1176376333 3479060428 2264315310 2041803505 2417368095 3334027156 1691691263 404319425 1076898399 676448284 2778721436 4153571660 2016960964 1590027155 626865023 3216835677 1047806320 659750460 3319224784 1481818009 287120340 1010979042 2827817505 529419039 3635614753 1295940785 2773683425 3272716145 2755842840 3386953933 2825404163 727715645 2684022375 4131260596 1509460050 1767893462 795249038 4221994867 506847450 991575606 3406003873 955255752 788058982 585142847 2082410819 849140626 2299460878 1336361998 664382395 1441656170 3858884897 1390316605 578954012 1982603593 107793913 2353469526 3293580341 1164648602 1942977228 3256424019 968255175 2512983818 3416475349 2100202807 428201645 2728964234 2628866748 2917495957 3628059406 3907942408 948933154 104489350 288958454 3405770596 4094483330 4047902613 2319297836 2944447520 2460176087 3341393328 554836186 1067703400 1840521506 1129060740 1837591463 2258173311 2122054166 1746872062 3885431555 2732726740 2993729217 2896305029 1530042617 3093246381 1588578997 3892954799 1745909403 4224603073 239193246 2689939154 4099093134 3079932915 4216069363 3978721788 320415949 2274373246 1510891924 775748527 3079855324 2264684612 1178424677 920801595 168273720 1612065384 225215491 2335819517 3395814430 2187105601 2032807633 2978457516 1263166073 471018179 3034592857 3786496199 2778412007 723014895 966054110 2946931757 1507788134 1669343001 627340350 4140748388 90930652 4272715159 3107752992 2550219235 1392177570 2579465848 134723148 255 362436" option to reproduce the execution
0.00/0.04	c #vars 702
0.00/0.04	c #constraints 3281
0.00/0.08	c Solving starts ...
0.00/0.08	c ============================[ Search Statistics ]============================
0.00/0.08	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.08	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.08	c =============================================================================
0.00/0.09	c  0.0s |       0 |        0 |        0 |     1326      0 |        5 |        0
0.08/0.11	c  0.0s |       1 |      137 |      100 |     1326      0 |        5 |      205
0.08/0.16	c  0.1s |       2 |      418 |      250 |     1459      0 |        5 |      205
0.19/0.24	c  0.2s |       3 |      680 |      475 |     1605      0 |        5 |      205
0.29/0.35	c  0.3s |       4 |     1052 |      813 |     1766      0 |        5 |      205
0.49/0.55	c  0.5s |       5 |     1604 |     1320 |     1943      0 |        5 |      205
0.79/0.88	c  0.8s |       6 |     2428 |     2081 |     2352      0 |        5 |      205
1.29/1.31	c  1.2s |       7 |     3647 |     3223 |     2588      1 |        5 |      205
1.79/1.84	c  1.8s |       8 |     5482 |     4936 |     2847      2 |        5 |      205
2.69/2.73	c  2.6s |       9 |     8216 |     7506 |     3132      4 |        5 |      205
3.89/3.99	c  3.9s |      10 |    12299 |    11361 |     3446      6 |        5 |      205
5.99/6.01	c  5.9s |      11 |    18415 |    17144 |     3791      9 |        5 |      205
7.99/8.03	c  7.9s |      11 |    24000 |    22444 |     3791     10 |        8 |      258
9.09/9.18	c  9.1s |      12 |    27537 |    25819 |     4171     11 |       13 |      315
10.58/10.62	c 10.5s |      12 |    31182 |    29275 |     4171     11 |      247 |     1874
10.58/10.62	c #cpu_time = 10.509s
10.58/10.62	c #wall_clock_time = 10.537s
10.58/10.62	c #decision = 31182
10.58/10.62	c #random_decision = 135
10.58/10.62	c #conflict = 29275
10.58/10.62	c #restart = 12
10.58/10.62	s UNSATISFIABLE
10.58/10.62	c total CPU time = 10.598s
10.58/10.62	c total wall clock time = 10.625s

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

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

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


[startup+0 s]
/proc/loadavg: 2.01 2.04 2.24 3/179 20609
/proc/meminfo: memFree=30687836/32872528 swapFree=188940/188940
[pid=20609] ppid=20606 vsize=777660 CPUtime=0 cores=1,3,5,7
/proc/20609/stat : 20609 (toysat) R 20606 20609 17164 0 -1 4202496 2914 0 0 0 0 0 0 0 20 0 4 0 13826871 796323840 2764 33554432000 4194304 16246674 140734404067920 140734404067344 15002730 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20609/statm: 195183 2774 441 2943 0 192077 0
[pid=20609/tid=20610] ppid=20606 vsize=796092 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20610/stat : 20610 (toysat) S 20606 20609 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13826871 815198208 2836 33554432000 4194304 16246674 140734404067920 139960265977072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20609/tid=20611] ppid=20606 vsize=800188 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20611/stat : 20611 (toysat) S 20606 20609 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13826871 819392512 2852 33554432000 4194304 16246674 140734404067920 139960255487216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20609/tid=20612] ppid=20606 vsize=805308 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20612/stat : 20612 (toysat) S 20606 20609 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13826871 824635392 2869 33554432000 4194304 16246674 140734404067920 139960245013680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0

[startup+0.100173 s]
/proc/loadavg: 2.01 2.04 2.24 3/179 20609
/proc/meminfo: memFree=30687836/32872528 swapFree=188940/188940
[pid=20609] ppid=20606 vsize=1218116 CPUtime=0.08 cores=1,3,5,7
/proc/20609/stat : 20609 (toysat) R 20606 20609 17164 0 -1 4202496 26856 0 0 0 5 3 0 0 20 0 4 0 13826871 1247350784 26695 33554432000 4194304 16246674 140734404067920 140734404067344 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20609/statm: 304529 26702 718 2943 0 301423 0
[pid=20609/tid=20610] ppid=20606 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20610/stat : 20610 (toysat) S 20606 20609 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13826871 1247350784 26707 33554432000 4194304 16246674 140734404067920 139960265977072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20609/tid=20611] ppid=20606 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20611/stat : 20611 (toysat) S 20606 20609 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13826871 1247350784 26712 33554432000 4194304 16246674 140734404067920 139960255487216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20609/tid=20612] ppid=20606 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20612/stat : 20612 (toysat) S 20606 20609 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13826871 1247350784 26717 33554432000 4194304 16246674 140734404067920 139960245013680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200532 s]
/proc/loadavg: 2.01 2.04 2.24 3/179 20609
/proc/meminfo: memFree=30687836/32872528 swapFree=188940/188940
[pid=20609] ppid=20606 vsize=1218116 CPUtime=0.19 cores=1,3,5,7
/proc/20609/stat : 20609 (toysat) R 20606 20609 17164 0 -1 4202496 48564 0 0 0 13 6 0 0 20 0 4 0 13826871 1247350784 48403 33554432000 4194304 16246674 140734404067920 140734404067344 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20609/statm: 304529 48415 718 2943 0 301423 0
[pid=20609/tid=20610] ppid=20606 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20610/stat : 20610 (toysat) S 20606 20609 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13826871 1247350784 48421 33554432000 4194304 16246674 140734404067920 139960265977072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20609/tid=20611] ppid=20606 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20611/stat : 20611 (toysat) S 20606 20609 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13826871 1247350784 48428 33554432000 4194304 16246674 140734404067920 139960255487216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20609/tid=20612] ppid=20606 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20612/stat : 20612 (toysat) S 20606 20609 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13826871 1247350784 48433 33554432000 4194304 16246674 140734404067920 139960245013680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1218116

[startup+0.300486 s]
/proc/loadavg: 2.01 2.04 2.24 3/179 20609
/proc/meminfo: memFree=30687836/32872528 swapFree=188940/188940
[pid=20609] ppid=20606 vsize=1218116 CPUtime=0.29 cores=1,3,5,7
/proc/20609/stat : 20609 (toysat) R 20606 20609 17164 0 -1 4202496 69483 0 0 0 21 8 0 0 20 0 4 0 13826871 1247350784 69322 33554432000 4194304 16246674 140734404067920 140734404067344 5677277 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20609/statm: 304529 69331 718 2943 0 301423 0
[pid=20609/tid=20610] ppid=20606 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20610/stat : 20610 (toysat) S 20606 20609 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13826871 1247350784 69337 33554432000 4194304 16246674 140734404067920 139960265977072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20609/tid=20611] ppid=20606 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20611/stat : 20611 (toysat) S 20606 20609 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13826871 1247350784 69342 33554432000 4194304 16246674 140734404067920 139960255487216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20609/tid=20612] ppid=20606 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20612/stat : 20612 (toysat) S 20606 20609 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13826871 1247350784 69347 33554432000 4194304 16246674 140734404067920 139960245013680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1218116

[startup+0.700407 s]
/proc/loadavg: 2.01 2.04 2.24 3/179 20609
/proc/meminfo: memFree=30687836/32872528 swapFree=188940/188940
[pid=20609] ppid=20606 vsize=1218116 CPUtime=0.69 cores=1,3,5,7
/proc/20609/stat : 20609 (toysat) R 20606 20609 17164 0 -1 4202496 149316 0 0 0 50 19 0 0 20 0 4 0 13826871 1247350784 149155 33554432000 4194304 16246674 140734404067920 140734404067344 5675357 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20609/statm: 304529 149161 718 2943 0 301423 0
[pid=20609/tid=20610] ppid=20606 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20610/stat : 20610 (toysat) S 20606 20609 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13826871 1247350784 149167 33554432000 4194304 16246674 140734404067920 139960265977072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20609/tid=20611] ppid=20606 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20611/stat : 20611 (toysat) S 20606 20609 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13826871 1247350784 149171 33554432000 4194304 16246674 140734404067920 139960255487216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20609/tid=20612] ppid=20606 vsize=1218116 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20612/stat : 20612 (toysat) S 20606 20609 17164 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13826871 1247350784 149176 33554432000 4194304 16246674 140734404067920 139960245013680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1218116

[startup+1.50042 s]
/proc/loadavg: 2.01 2.04 2.24 3/183 20613
/proc/meminfo: memFree=29780736/32872528 swapFree=188940/188940
[pid=20609] ppid=20606 vsize=1221188 CPUtime=1.49 cores=1,3,5,7
/proc/20609/stat : 20609 (toysat) R 20606 20609 17164 0 -1 4202496 246182 0 0 0 118 31 0 0 20 0 4 0 13826871 1250496512 246001 33554432000 4194304 16246674 140734404067920 140734404067232 5661363 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20609/statm: 305297 246001 792 2943 0 302191 0
[pid=20609/tid=20610] ppid=20606 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20610/stat : 20610 (toysat) S 20606 20609 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13826871 1250496512 246001 33554432000 4194304 16246674 140734404067920 139960265977072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20609/tid=20611] ppid=20606 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20611/stat : 20611 (toysat) S 20606 20609 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13826871 1250496512 246001 33554432000 4194304 16246674 140734404067920 139960255487216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20609/tid=20612] ppid=20606 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20612/stat : 20612 (toysat) S 20606 20609 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13826871 1250496512 246001 33554432000 4194304 16246674 140734404067920 139960245013680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1221188

[startup+3.10041 s]
/proc/loadavg: 2.01 2.04 2.24 3/183 20613
/proc/meminfo: memFree=29621396/32872528 swapFree=188940/188940
[pid=20609] ppid=20606 vsize=1303108 CPUtime=3.09 cores=1,3,5,7
/proc/20609/stat : 20609 (toysat) R 20606 20609 17164 0 -1 4202496 266665 0 0 0 275 34 0 0 20 0 4 0 13826871 1334382592 266484 33554432000 4194304 16246674 140734404067920 140734404049792 5829344 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20609/statm: 325777 266484 792 2943 0 322671 0
[pid=20609/tid=20610] ppid=20606 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20610/stat : 20610 (toysat) S 20606 20609 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13826871 1334382592 266484 33554432000 4194304 16246674 140734404067920 139960265977072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20609/tid=20611] ppid=20606 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20611/stat : 20611 (toysat) S 20606 20609 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13826871 1334382592 266484 33554432000 4194304 16246674 140734404067920 139960255487216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20609/tid=20612] ppid=20606 vsize=1303108 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20612/stat : 20612 (toysat) S 20606 20609 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13826871 1334382592 266484 33554432000 4194304 16246674 140734404067920 139960245013680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1303108

[startup+6.30041 s]
/proc/loadavg: 2.01 2.04 2.23 3/183 20613
/proc/meminfo: memFree=29615096/32872528 swapFree=188940/188940
[pid=20609] ppid=20606 vsize=1306180 CPUtime=6.29 cores=1,3,5,7
/proc/20609/stat : 20609 (toysat) R 20606 20609 17164 0 -1 4202496 267576 0 0 0 595 34 0 0 20 0 4 0 13826871 1337528320 267395 33554432000 4194304 16246674 140734404067920 140734404049792 6009831 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20609/statm: 326545 267395 792 2943 0 323439 0
[pid=20609/tid=20610] ppid=20606 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20610/stat : 20610 (toysat) S 20606 20609 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13826871 1337528320 267395 33554432000 4194304 16246674 140734404067920 139960265977072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20609/tid=20611] ppid=20606 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20611/stat : 20611 (toysat) S 20606 20609 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13826871 1337528320 267395 33554432000 4194304 16246674 140734404067920 139960255487216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20609/tid=20612] ppid=20606 vsize=1306180 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20612/stat : 20612 (toysat) S 20606 20609 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13826871 1337528320 267395 33554432000 4194304 16246674 140734404067920 139960245013680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1306180

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

[startup+6.50041 s]
/proc/loadavg: 2.01 2.04 2.23 3/183 20613
/proc/meminfo: memFree=29615096/32872528 swapFree=188940/188940
[pid=20609] ppid=20606 vsize=1311300 CPUtime=6.49 cores=1,3,5,7
/proc/20609/stat : 20609 (toysat) R 20606 20609 17164 0 -1 4202496 268857 0 0 0 615 34 0 0 20 0 4 0 13826871 1342771200 268676 33554432000 4194304 16246674 140734404067920 140734404049792 5523480 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20609/statm: 327825 268676 793 2943 0 324719 0
[pid=20609/tid=20610] ppid=20606 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20610/stat : 20610 (toysat) S 20606 20609 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13826871 1342771200 268676 33554432000 4194304 16246674 140734404067920 139960265977072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20609/tid=20611] ppid=20606 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20611/stat : 20611 (toysat) S 20606 20609 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13826871 1342771200 268676 33554432000 4194304 16246674 140734404067920 139960255487216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20609/tid=20612] ppid=20606 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20612/stat : 20612 (toysat) S 20606 20609 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13826871 1342771200 268676 33554432000 4194304 16246674 140734404067920 139960245013680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 6.49
Current children cumulated vsize (KiB) 1311300

[startup+8.10043 s]
/proc/loadavg: 2.01 2.04 2.23 3/183 20613
/proc/meminfo: memFree=29609296/32872528 swapFree=188940/188940
[pid=20609] ppid=20606 vsize=1311300 CPUtime=8.09 cores=1,3,5,7
/proc/20609/stat : 20609 (toysat) R 20606 20609 17164 0 -1 4202496 268859 0 0 0 775 34 0 0 20 0 4 0 13826871 1342771200 268678 33554432000 4194304 16246674 140734404067920 140734404049792 12995176 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20609/statm: 327825 268678 795 2943 0 324719 0
[pid=20609/tid=20610] ppid=20606 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20610/stat : 20610 (toysat) S 20606 20609 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13826871 1342771200 268678 33554432000 4194304 16246674 140734404067920 139960265977072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20609/tid=20611] ppid=20606 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20611/stat : 20611 (toysat) S 20606 20609 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13826871 1342771200 268678 33554432000 4194304 16246674 140734404067920 139960255487216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20609/tid=20612] ppid=20606 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20612/stat : 20612 (toysat) S 20606 20609 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13826871 1342771200 268678 33554432000 4194304 16246674 140734404067920 139960245013680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 8.09
Current children cumulated vsize (KiB) 1311300

[startup+9.70042 s]
/proc/loadavg: 2.01 2.04 2.23 3/183 20613
/proc/meminfo: memFree=29609296/32872528 swapFree=188940/188940
[pid=20609] ppid=20606 vsize=1311300 CPUtime=9.69 cores=1,3,5,7
/proc/20609/stat : 20609 (toysat) R 20606 20609 17164 0 -1 4202496 268860 0 0 0 935 34 0 0 20 0 4 0 13826871 1342771200 268679 33554432000 4194304 16246674 140734404067920 140734404049792 4220897 0 2 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20609/statm: 327825 268679 796 2943 0 324719 0
[pid=20609/tid=20610] ppid=20606 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20610/stat : 20610 (toysat) S 20606 20609 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13826871 1342771200 268679 33554432000 4194304 16246674 140734404067920 139960265977072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20609/tid=20611] ppid=20606 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20611/stat : 20611 (toysat) S 20606 20609 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13826871 1342771200 268679 33554432000 4194304 16246674 140734404067920 139960255487216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20609/tid=20612] ppid=20606 vsize=1311300 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20612/stat : 20612 (toysat) S 20606 20609 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13826871 1342771200 268679 33554432000 4194304 16246674 140734404067920 139960245013680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 9.69
Current children cumulated vsize (KiB) 1311300

[startup+10.1077 s]
/proc/loadavg: 2.01 2.04 2.23 3/183 20613
/proc/meminfo: memFree=29608460/32872528 swapFree=188940/188940
[pid=20609] ppid=20606 vsize=1312324 CPUtime=10.09 cores=1,3,5,7
/proc/20609/stat : 20609 (toysat) R 20606 20609 17164 0 -1 4202496 268949 0 0 0 975 34 0 0 20 0 4 0 13826871 1343819776 268768 33554432000 4194304 16246674 140734404067920 140734404049792 12483218 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20609/statm: 328081 268768 796 2943 0 324975 0
[pid=20609/tid=20610] ppid=20606 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20610/stat : 20610 (toysat) S 20606 20609 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13826871 1343819776 268768 33554432000 4194304 16246674 140734404067920 139960265977072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20609/tid=20611] ppid=20606 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20611/stat : 20611 (toysat) S 20606 20609 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13826871 1343819776 268768 33554432000 4194304 16246674 140734404067920 139960255487216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20609/tid=20612] ppid=20606 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20612/stat : 20612 (toysat) S 20606 20609 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13826871 1343819776 268768 33554432000 4194304 16246674 140734404067920 139960245013680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 10.09
Current children cumulated vsize (KiB) 1312324

[startup+10.5004 s]
/proc/loadavg: 2.01 2.04 2.23 3/183 20613
/proc/meminfo: memFree=29608460/32872528 swapFree=188940/188940
[pid=20609] ppid=20606 vsize=1312324 CPUtime=10.48 cores=1,3,5,7
/proc/20609/stat : 20609 (toysat) R 20606 20609 17164 0 -1 4202496 268949 0 0 0 1014 34 0 0 20 0 4 0 13826871 1343819776 268768 33554432000 4194304 16246674 140734404067920 140734404049792 5822252 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20609/statm: 328081 268768 796 2943 0 324975 0
[pid=20609/tid=20610] ppid=20606 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20610/stat : 20610 (toysat) S 20606 20609 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13826871 1343819776 268768 33554432000 4194304 16246674 140734404067920 139960265977072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20609/tid=20611] ppid=20606 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20611/stat : 20611 (toysat) S 20606 20609 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13826871 1343819776 268768 33554432000 4194304 16246674 140734404067920 139960255487216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20609/tid=20612] ppid=20606 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20612/stat : 20612 (toysat) S 20606 20609 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13826871 1343819776 268768 33554432000 4194304 16246674 140734404067920 139960245013680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 10.48
Current children cumulated vsize (KiB) 1312324

[startup+10.6004 s]
/proc/loadavg: 2.01 2.04 2.23 3/183 20613
/proc/meminfo: memFree=29608460/32872528 swapFree=188940/188940
[pid=20609] ppid=20606 vsize=1312324 CPUtime=10.58 cores=1,3,5,7
/proc/20609/stat : 20609 (toysat) R 20606 20609 17164 0 -1 4202496 268949 0 0 0 1024 34 0 0 20 0 4 0 13826871 1343819776 268768 33554432000 4194304 16246674 140734404067920 140734404049792 15015658 0 0 0 34082818 18446744073709551615 0 0 17 5 0 0 0 0 0
/proc/20609/statm: 328081 268768 796 2943 0 324975 0
[pid=20609/tid=20610] ppid=20606 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20610/stat : 20610 (toysat) S 20606 20609 17164 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13826871 1343819776 268768 33554432000 4194304 16246674 140734404067920 139960265977072 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 1 0 0 0 0 0
[pid=20609/tid=20611] ppid=20606 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20611/stat : 20611 (toysat) S 20606 20609 17164 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13826871 1343819776 268768 33554432000 4194304 16246674 140734404067920 139960255487216 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 3 0 0 0 0 0
[pid=20609/tid=20612] ppid=20606 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/20609/task/20612/stat : 20612 (toysat) S 20606 20609 17164 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13826871 1343819776 268768 33554432000 4194304 16246674 140734404067920 139960245013680 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 10.58
Current children cumulated vsize (KiB) 1312324

Child status: 0
Real time (s): 10.686
CPU time (s): 10.6834
CPU user time (s): 10.2764
CPU system time (s): 0.406938
CPU usage (%): 99.9752
Max. virtual memory (cumulated for all children) (KiB): 1312324

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.2764
system time used= 0.406938
maximum resident set size= 1075088
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268954
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 19
involuntary context switches= 12

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.030995 second user time and 0.043993 second system time

The end

Launcher Data 

Begin job on node102 at 2016-06-17 00:56:03
IDJOB=4097429
IDBENCH=107756
IDSOLVER=2542
FILE ID=node102/4097429-1466117763
RUNJOBID= node102-1466115959-20140
PBS_JOBID= 19904127
Free space on /tmp= 71712 MiB

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

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

MD5SUM BENCH= 571c01ae7814124c7ade4a6b03fcfaa2
RANDOM SEED=1646894369

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


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        30688372 kB
Buffers:           49216 kB
Cached:           167448 kB
SwapCached:         1412 kB
Active:          1199176 kB
Inactive:          92388 kB
Active(anon):    1076068 kB
Inactive(anon):     1076 kB
Active(file):     123108 kB
Inactive(file):    91312 kB
Unevictable:      188940 kB
Mlocked:          188940 kB
SwapTotal:      67108856 kB
SwapFree:       67099224 kB
Dirty:             33088 kB
Writeback:             4 kB
AnonPages:       1258776 kB
Mapped:            10644 kB
Shmem:                 0 kB
Slab:             570616 kB
SReclaimable:      14232 kB
SUnreclaim:       556384 kB
KernelStack:        1472 kB
PageTables:         6884 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1406908 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 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= 71696 MiB
End job on node102 at 2016-06-17 00:56:14