Trace number 4107803

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 17.9343 17.9378

General information on the benchmark

Name/DEC-SMALLINT-LIN/oliveras/j30/
normalized-j3029_8-unsat.opb
MD5SUM4beea9548a8b05c336cb9a5dcff42191
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 benchmark5.77312
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables4960
Total number of constraints16157
Number of constraints which are clauses15841
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints316
Minimum length of a constraint1
Maximum length of a constraint30
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 19
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 201
Number of bits of the biggest sum of numbers8
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-19T00:33:11+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-4107803-1466289191.opb"]
0.00/0.01	c use --random-gen="1813491186 1116054787 339148368 2335126010 1603785676 525305808 3119630881 3849038196 3917994811 133496434 2810683219 1692190184 1375555168 3328813516 2509170864 3511019016 688561997 1131292486 1703613543 1994045810 1509865214 136286269 998219090 1126421421 2316546902 570923995 1092392010 1589646087 812971419 3581490541 752276297 568850990 2156263919 2741267772 2970377269 2752639690 1704863623 3799029417 2190152135 791009041 1209132070 2270476337 1694955755 151405259 2178465329 250032324 47470575 2329126103 2139261199 882327680 2790575810 181226582 4153346062 489937991 4187474773 2567689353 2816090931 1081236748 2188899034 4248654003 3127930860 1884600842 396055979 2701991728 2855400694 4074476161 3499820258 3945765033 3833879294 2232913552 4054669278 2921297596 2363359199 2160716105 2135189258 1590711282 843613912 720598309 1899575379 2723830600 235415629 1080521837 1423682806 2767292785 3591220075 1130664694 1578545727 2069800560 1862714951 46399267 809905009 1379229769 1010318960 3201790446 1565054361 3157068816 2864898670 312136399 2677744141 1798529022 4271245423 1950322737 2776271906 1244184178 4032723762 3531807871 3240047708 3970212320 4276101182 582087460 612757156 1853066684 1580089157 1243569282 1049219740 4165178130 2065912762 2079863785 3582666869 2844602476 3822881414 4085147241 801745997 96267513 1643275203 657794810 639862505 3489665293 2555986625 2911611523 3149505923 977661298 3381737087 1596062578 3698722721 2166388412 1423635530 1371052850 3790660563 1479029868 1699075140 3913542429 4110652302 1114738127 1199051357 3953579690 3575486665 3080992 1386578900 1837340912 3194014481 966260572 4206299750 1846847583 547660550 387233754 1775646095 3568130729 2630432825 3776081046 1437670453 1136859563 2346914612 2484903269 1036469698 603121960 3631512034 1250575755 383066318 945336933 396191425 687681169 1408271782 3525871346 3267428295 2979332335 191157739 352057754 659199959 1381893110 1800299479 2542208514 2713435577 2655120663 1806003689 3832383151 2369364071 1619870954 500901790 1017059830 2810028135 2459936531 3596503967 3866178559 3073698255 4238379458 975839035 2338039801 3784289054 3602248819 1786253689 3182754467 1430547994 396623825 1830809182 4281072870 3431800839 3645751507 742106108 2649340406 1904095085 382588062 2368993254 1180208526 2527964370 3233685194 4006461584 1959040599 4060172744 850642589 3956818095 2532545647 3744663495 2905781087 62394144 1473010415 2865675698 2912686327 2524473058 3262486083 1325992583 3096281752 2215486503 49899693 1755711079 3624176673 992327979 1598714760 2046524244 1665668194 2661049068 2040150065 2264806042 633290251 3334668417 463807708 2880665349 3266376303 3734536357 4127487433 2072658789 128462079 3889132525 640316162 3863827598 3162854610 255 362436" option to reproduce the execution
0.09/0.13	c #vars 4960
0.09/0.13	c #constraints 16157
0.19/0.26	c Solving starts ...
0.19/0.26	c ============================[ Search Statistics ]============================
0.19/0.26	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.19/0.26	c       |         |          |          |    Limit     GC | Var      | Constra 
0.19/0.26	c =============================================================================
0.19/0.27	c  0.0s |       0 |        0 |        0 |     4938      0 |     2515 |        0
0.29/0.34	c  0.1s |       1 |      131 |      100 |     4938      0 |     2515 |     2899
0.49/0.50	c  0.2s |       2 |      334 |      250 |     5432      0 |     2515 |     2899
0.59/0.69	c  0.4s |       3 |      638 |      475 |     5976      0 |     2515 |     2899
0.99/1.04	c  0.8s |       4 |     1072 |      813 |     6574      0 |     2515 |     2899
1.39/1.47	c  1.2s |       5 |     1794 |     1320 |     7232      0 |     2515 |     2899
2.19/2.20	c  1.9s |       6 |     2788 |     2081 |     8752      0 |     2515 |     2899
3.19/3.27	c  3.0s |       7 |     4146 |     3223 |     9628      0 |     2515 |     2899
4.89/4.90	c  4.6s |       8 |     6232 |     4936 |    10591      0 |     2515 |     2899
6.89/6.96	c  6.7s |       8 |     8667 |     6936 |    10591      0 |     2515 |     2899
7.59/7.61	c  7.3s |       9 |     9342 |     7506 |    11651      0 |     2515 |     2899
9.59/9.63	c  9.4s |       9 |    11673 |     9406 |    11651      0 |     2515 |     2899
11.59/11.66	c 11.4s |       9 |    13639 |    11006 |    11651      0 |     2515 |     2899
11.99/12.09	c 11.8s |      10 |    14062 |    11361 |    12817      0 |     2515 |     2899
14.09/14.16	c 13.9s |      10 |    16098 |    12961 |    12817      0 |     2533 |     2969
16.09/16.16	c 15.9s |      10 |    17908 |    14461 |    12817      0 |     2705 |     3546
17.79/17.87	c 17.6s |      10 |    19752 |    15964 |    12817      0 |     3271 |     5185
17.79/17.87	c #cpu_time = 17.605s
17.79/17.87	c #wall_clock_time = 17.605s
17.79/17.87	c #decision = 19752
17.79/17.87	c #random_decision = 20
17.79/17.87	c #conflict = 15964
17.79/17.87	c #restart = 10
17.79/17.87	s UNSATISFIABLE
17.79/17.87	c total CPU time = 17.871s
17.79/17.87	c total wall clock time = 17.872s

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

pid=29293
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.10 2.22 2.22 3/179 29296
/proc/meminfo: memFree=29098140/32872528 swapFree=1499884/1696108
[pid=29296] ppid=29293 vsize=662972 CPUtime=0 cores=1,3,5,7
/proc/29296/stat : 29296 (toysat) R 29293 29296 24910 0 -1 4202496 2465 0 0 0 0 0 0 0 20 0 4 0 30964853 678883328 2314 33554432000 4194304 16246674 140734429634816 140734429634240 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29296/statm: 166255 2321 441 2943 0 163149 0
[pid=29296/tid=29297] ppid=29293 vsize=681404 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29297/stat : 29297 (toysat) S 29293 29296 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30964853 697757696 2383 33554432000 4194304 16246674 140734429634816 139906597760240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29296/tid=29298] ppid=29293 vsize=685500 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29298/stat : 29298 (toysat) S 29293 29296 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30964853 701952000 2401 33554432000 4194304 16246674 140734429634816 139906587270384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29296/tid=29299] ppid=29293 vsize=689596 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29299/stat : 29299 (toysat) S 29293 29296 24910 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 30964853 706146304 2416 33554432000 4194304 16246674 140734429634816 139906576796848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100183 s]
/proc/loadavg: 2.10 2.22 2.22 3/179 29296
/proc/meminfo: memFree=29098140/32872528 swapFree=1499884/1696108
[pid=29296] ppid=29293 vsize=1221188 CPUtime=0.09 cores=1,3,5,7
/proc/29296/stat : 29296 (toysat) R 29293 29296 24910 0 -1 4202496 25431 0 0 0 5 4 0 0 20 0 4 0 30964853 1250496512 25218 33554432000 4194304 16246674 140734429634816 140734429634128 4220888 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29296/statm: 305297 25218 800 2943 0 302191 0
[pid=29296/tid=29297] ppid=29293 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29297/stat : 29297 (toysat) S 29293 29296 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30964853 1250496512 25218 33554432000 4194304 16246674 140734429634816 139906597760240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29296/tid=29298] ppid=29293 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29298/stat : 29298 (toysat) S 29293 29296 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30964853 1250496512 25218 33554432000 4194304 16246674 140734429634816 139906587270384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29296/tid=29299] ppid=29293 vsize=1221188 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29299/stat : 29299 (toysat) S 29293 29296 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30964853 1250496512 25218 33554432000 4194304 16246674 140734429634816 139906576796848 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) 1221188

[startup+0.200548 s]
/proc/loadavg: 2.10 2.22 2.22 3/179 29296
/proc/meminfo: memFree=29098140/32872528 swapFree=1499884/1696108
[pid=29296] ppid=29293 vsize=1302084 CPUtime=0.19 cores=1,3,5,7
/proc/29296/stat : 29296 (toysat) R 29293 29296 24910 0 -1 4202496 45470 0 0 0 12 7 0 0 20 0 4 0 30964853 1333334016 45257 33554432000 4194304 16246674 140734429634816 140734429616704 6156528 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29296/statm: 325521 45257 836 2943 0 322415 0
[pid=29296/tid=29297] ppid=29293 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29297/stat : 29297 (toysat) S 29293 29296 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30964853 1333334016 45257 33554432000 4194304 16246674 140734429634816 139906597760240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29296/tid=29298] ppid=29293 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29298/stat : 29298 (toysat) S 29293 29296 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30964853 1333334016 45257 33554432000 4194304 16246674 140734429634816 139906587270384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29296/tid=29299] ppid=29293 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29299/stat : 29299 (toysat) S 29293 29296 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30964853 1333334016 45257 33554432000 4194304 16246674 140734429634816 139906576796848 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) 1302084

[startup+0.300568 s]
/proc/loadavg: 2.10 2.22 2.22 3/179 29296
/proc/meminfo: memFree=29098140/32872528 swapFree=1499884/1696108
[pid=29296] ppid=29293 vsize=1302084 CPUtime=0.29 cores=1,3,5,7
/proc/29296/stat : 29296 (toysat) R 29293 29296 24910 0 -1 4202496 54530 0 0 0 21 8 0 0 20 0 4 0 30964853 1333334016 54317 33554432000 4194304 16246674 140734429634816 140734429616704 6843278 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29296/statm: 325521 54321 881 2943 0 322415 0
[pid=29296/tid=29297] ppid=29293 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29297/stat : 29297 (toysat) S 29293 29296 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30964853 1333334016 54324 33554432000 4194304 16246674 140734429634816 139906597760240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29296/tid=29298] ppid=29293 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29298/stat : 29298 (toysat) S 29293 29296 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30964853 1333334016 54328 33554432000 4194304 16246674 140734429634816 139906587270384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29296/tid=29299] ppid=29293 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29299/stat : 29299 (toysat) S 29293 29296 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30964853 1333334016 54331 33554432000 4194304 16246674 140734429634816 139906576796848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1302084

[startup+0.700413 s]
/proc/loadavg: 2.10 2.22 2.22 3/179 29296
/proc/meminfo: memFree=29098140/32872528 swapFree=1499884/1696108
[pid=29296] ppid=29293 vsize=1302084 CPUtime=0.69 cores=1,3,5,7
/proc/29296/stat : 29296 (toysat) R 29293 29296 24910 0 -1 4202496 109849 0 0 0 53 16 0 0 20 0 4 0 30964853 1333334016 109636 33554432000 4194304 16246674 140734429634816 140734429616704 5677541 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29296/statm: 325521 109642 881 2943 0 322415 0
[pid=29296/tid=29297] ppid=29293 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29297/stat : 29297 (toysat) S 29293 29296 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30964853 1333334016 109645 33554432000 4194304 16246674 140734429634816 139906597760240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29296/tid=29298] ppid=29293 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29298/stat : 29298 (toysat) S 29293 29296 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30964853 1333334016 109649 33554432000 4194304 16246674 140734429634816 139906587270384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29296/tid=29299] ppid=29293 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29299/stat : 29299 (toysat) S 29293 29296 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30964853 1333334016 109652 33554432000 4194304 16246674 140734429634816 139906576796848 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) 1302084

[startup+1.5004 s]
/proc/loadavg: 2.10 2.22 2.22 3/183 29300
/proc/meminfo: memFree=28449812/32872528 swapFree=1499884/1696108
[pid=29296] ppid=29293 vsize=1302084 CPUtime=1.49 cores=1,3,5,7
/proc/29296/stat : 29296 (toysat) R 29293 29296 24910 0 -1 4202496 218467 0 0 0 118 31 0 0 20 0 4 0 30964853 1333334016 218255 33554432000 4194304 16246674 140734429634816 140734429616704 5677277 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29296/statm: 325521 218259 881 2943 0 322415 0
[pid=29296/tid=29297] ppid=29293 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29297/stat : 29297 (toysat) S 29293 29296 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30964853 1333334016 218262 33554432000 4194304 16246674 140734429634816 139906597760240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29296/tid=29298] ppid=29293 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29298/stat : 29298 (toysat) S 29293 29296 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30964853 1333334016 218266 33554432000 4194304 16246674 140734429634816 139906587270384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29296/tid=29299] ppid=29293 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29299/stat : 29299 (toysat) S 29293 29296 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30964853 1333334016 218268 33554432000 4194304 16246674 140734429634816 139906576796848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1302084

[startup+3.10041 s]
/proc/loadavg: 2.10 2.22 2.22 3/183 29300
/proc/meminfo: memFree=28025352/32872528 swapFree=1499884/1696108
[pid=29296] ppid=29293 vsize=1310276 CPUtime=3.09 cores=1,3,5,7
/proc/29296/stat : 29296 (toysat) R 29293 29296 24910 0 -1 4202496 268544 0 0 0 271 38 0 0 20 0 4 0 30964853 1341722624 268331 33554432000 4194304 16246674 140734429634816 140734429617816 5662186 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29296/statm: 327569 268331 887 2943 0 324463 0
[pid=29296/tid=29297] ppid=29293 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29297/stat : 29297 (toysat) S 29293 29296 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30964853 1341722624 268331 33554432000 4194304 16246674 140734429634816 139906597760240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29296/tid=29298] ppid=29293 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29298/stat : 29298 (toysat) S 29293 29296 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30964853 1341722624 268331 33554432000 4194304 16246674 140734429634816 139906587270384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29296/tid=29299] ppid=29293 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29299/stat : 29299 (toysat) S 29293 29296 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30964853 1341722624 268331 33554432000 4194304 16246674 140734429634816 139906576796848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1310276

[startup+6.30043 s]
/proc/loadavg: 2.17 2.23 2.22 3/183 29300
/proc/meminfo: memFree=28024764/32872528 swapFree=1499884/1696108
[pid=29296] ppid=29293 vsize=1310276 CPUtime=6.29 cores=1,3,5,7
/proc/29296/stat : 29296 (toysat) R 29293 29296 24910 0 -1 4202496 268755 0 0 0 591 38 0 0 20 0 4 0 30964853 1341722624 268542 33554432000 4194304 16246674 140734429634816 140734429616704 5600232 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29296/statm: 327569 268542 889 2943 0 324463 0
[pid=29296/tid=29297] ppid=29293 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29297/stat : 29297 (toysat) S 29293 29296 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30964853 1341722624 268542 33554432000 4194304 16246674 140734429634816 139906597760240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29296/tid=29298] ppid=29293 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29298/stat : 29298 (toysat) S 29293 29296 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30964853 1341722624 268542 33554432000 4194304 16246674 140734429634816 139906587270384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29296/tid=29299] ppid=29293 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29299/stat : 29299 (toysat) S 29293 29296 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30964853 1341722624 268542 33554432000 4194304 16246674 140734429634816 139906576796848 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) 1310276

[startup+12.7004 s]
/proc/loadavg: 2.16 2.23 2.22 3/183 29300
/proc/meminfo: memFree=28025316/32872528 swapFree=1499884/1696108
[pid=29296] ppid=29293 vsize=1310276 CPUtime=12.69 cores=1,3,5,7
/proc/29296/stat : 29296 (toysat) R 29293 29296 24910 0 -1 4202496 268755 0 0 0 1231 38 0 0 20 0 4 0 30964853 1341722624 268542 33554432000 4194304 16246674 140734429634816 140734429616704 5827966 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29296/statm: 327569 268542 889 2943 0 324463 0
[pid=29296/tid=29297] ppid=29293 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29297/stat : 29297 (toysat) S 29293 29296 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30964853 1341722624 268542 33554432000 4194304 16246674 140734429634816 139906597760240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29296/tid=29298] ppid=29293 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29298/stat : 29298 (toysat) S 29293 29296 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30964853 1341722624 268542 33554432000 4194304 16246674 140734429634816 139906587270384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29296/tid=29299] ppid=29293 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29299/stat : 29299 (toysat) S 29293 29296 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30964853 1341722624 268542 33554432000 4194304 16246674 140734429634816 139906576796848 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) 1310276

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

[startup+12.8005 s]
/proc/loadavg: 2.16 2.23 2.22 3/183 29300
/proc/meminfo: memFree=28025316/32872528 swapFree=1499884/1696108
[pid=29296] ppid=29293 vsize=1310276 CPUtime=12.79 cores=1,3,5,7
/proc/29296/stat : 29296 (toysat) R 29293 29296 24910 0 -1 4202496 268755 0 0 0 1241 38 0 0 20 0 4 0 30964853 1341722624 268542 33554432000 4194304 16246674 140734429634816 140734429616704 13943664 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29296/statm: 327569 268542 889 2943 0 324463 0
[pid=29296/tid=29297] ppid=29293 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29297/stat : 29297 (toysat) S 29293 29296 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30964853 1341722624 268542 33554432000 4194304 16246674 140734429634816 139906597760240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29296/tid=29298] ppid=29293 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29298/stat : 29298 (toysat) S 29293 29296 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30964853 1341722624 268542 33554432000 4194304 16246674 140734429634816 139906587270384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29296/tid=29299] ppid=29293 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29299/stat : 29299 (toysat) S 29293 29296 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30964853 1341722624 268542 33554432000 4194304 16246674 140734429634816 139906576796848 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) 1310276

[startup+16.0004 s]
/proc/loadavg: 2.15 2.23 2.22 3/183 29300
/proc/meminfo: memFree=28026108/32872528 swapFree=1499884/1696108
[pid=29296] ppid=29293 vsize=1310276 CPUtime=15.99 cores=1,3,5,7
/proc/29296/stat : 29296 (toysat) R 29293 29296 24910 0 -1 4202496 268760 0 0 0 1561 38 0 0 20 0 4 0 30964853 1341722624 268547 33554432000 4194304 16246674 140734429634816 140734429616704 12415827 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29296/statm: 327569 268547 890 2943 0 324463 0
[pid=29296/tid=29297] ppid=29293 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29297/stat : 29297 (toysat) S 29293 29296 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30964853 1341722624 268547 33554432000 4194304 16246674 140734429634816 139906597760240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29296/tid=29298] ppid=29293 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29298/stat : 29298 (toysat) S 29293 29296 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30964853 1341722624 268547 33554432000 4194304 16246674 140734429634816 139906587270384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29296/tid=29299] ppid=29293 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29299/stat : 29299 (toysat) S 29293 29296 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30964853 1341722624 268547 33554432000 4194304 16246674 140734429634816 139906576796848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 15.99
Current children cumulated vsize (KiB) 1310276

[startup+16.8004 s]
/proc/loadavg: 2.15 2.23 2.22 3/183 29300
/proc/meminfo: memFree=28026116/32872528 swapFree=1499884/1696108
[pid=29296] ppid=29293 vsize=1310276 CPUtime=16.79 cores=1,3,5,7
/proc/29296/stat : 29296 (toysat) R 29293 29296 24910 0 -1 4202496 268760 0 0 0 1641 38 0 0 20 0 4 0 30964853 1341722624 268547 33554432000 4194304 16246674 140734429634816 140734429616704 5754796 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29296/statm: 327569 268547 890 2943 0 324463 0
[pid=29296/tid=29297] ppid=29293 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29297/stat : 29297 (toysat) S 29293 29296 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30964853 1341722624 268547 33554432000 4194304 16246674 140734429634816 139906597760240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29296/tid=29298] ppid=29293 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29298/stat : 29298 (toysat) S 29293 29296 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30964853 1341722624 268547 33554432000 4194304 16246674 140734429634816 139906587270384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29296/tid=29299] ppid=29293 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29299/stat : 29299 (toysat) S 29293 29296 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30964853 1341722624 268547 33554432000 4194304 16246674 140734429634816 139906576796848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 16.79
Current children cumulated vsize (KiB) 1310276

[startup+17.6004 s]
/proc/loadavg: 2.15 2.23 2.22 3/183 29300
/proc/meminfo: memFree=28026144/32872528 swapFree=1499884/1696108
[pid=29296] ppid=29293 vsize=1310276 CPUtime=17.59 cores=1,3,5,7
/proc/29296/stat : 29296 (toysat) R 29293 29296 24910 0 -1 4202496 268760 0 0 0 1721 38 0 0 20 0 4 0 30964853 1341722624 268547 33554432000 4194304 16246674 140734429634816 140734429617816 5822548 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29296/statm: 327569 268547 890 2943 0 324463 0
[pid=29296/tid=29297] ppid=29293 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29297/stat : 29297 (toysat) S 29293 29296 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30964853 1341722624 268547 33554432000 4194304 16246674 140734429634816 139906597760240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29296/tid=29298] ppid=29293 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29298/stat : 29298 (toysat) S 29293 29296 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30964853 1341722624 268547 33554432000 4194304 16246674 140734429634816 139906587270384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29296/tid=29299] ppid=29293 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29299/stat : 29299 (toysat) S 29293 29296 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30964853 1341722624 268547 33554432000 4194304 16246674 140734429634816 139906576796848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 17.59
Current children cumulated vsize (KiB) 1310276

[startup+17.8004 s]
/proc/loadavg: 2.15 2.23 2.22 3/183 29300
/proc/meminfo: memFree=28026144/32872528 swapFree=1499884/1696108
[pid=29296] ppid=29293 vsize=1310276 CPUtime=17.79 cores=1,3,5,7
/proc/29296/stat : 29296 (toysat) R 29293 29296 24910 0 -1 4202496 268760 0 0 0 1741 38 0 0 20 0 4 0 30964853 1341722624 268547 33554432000 4194304 16246674 140734429634816 140734429617816 5672188 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29296/statm: 327569 268547 890 2943 0 324463 0
[pid=29296/tid=29297] ppid=29293 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29297/stat : 29297 (toysat) S 29293 29296 24910 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 30964853 1341722624 268547 33554432000 4194304 16246674 140734429634816 139906597760240 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=29296/tid=29298] ppid=29293 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29298/stat : 29298 (toysat) S 29293 29296 24910 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 30964853 1341722624 268547 33554432000 4194304 16246674 140734429634816 139906587270384 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=29296/tid=29299] ppid=29293 vsize=1310276 CPUtime=0 cores=1,3,5,7
/proc/29296/task/29299/stat : 29299 (toysat) S 29293 29296 24910 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 30964853 1341722624 268547 33554432000 4194304 16246674 140734429634816 139906576796848 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 17.79
Current children cumulated vsize (KiB) 1310276

[startup+17.9004 s]
/proc/loadavg: 2.15 2.23 2.22 3/183 29300
/proc/meminfo: memFree=28026144/32872528 swapFree=1499884/1696108
[pid=29296] ppid=29293 vsize=0 CPUtime=17.89 cores=1,3,5,7
/proc/29296/stat : 29296 (toysat) R 29293 29296 24910 0 -1 4202500 268764 0 0 0 1748 41 0 0 20 0 1 0 30964853 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/29296/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 17.89
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 17.9378
CPU time (s): 17.9343
CPU user time (s): 17.4853
CPU system time (s): 0.448931
CPU usage (%): 99.9804
Max. virtual memory (cumulated for all children) (KiB): 1310276

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.4853
system time used= 0.448931
maximum resident set size= 1074204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 268764
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= 21
involuntary context switches= 19

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.044993 second user time and 0.077988 second system time

The end

Launcher Data 

Begin job on node137 at 2016-06-19 00:33:11
IDJOB=4107803
IDBENCH=73438
IDSOLVER=2542
FILE ID=node137/4107803-1466289191
RUNJOBID= node137-1466264772-24927
PBS_JOBID= 19918225
Free space on /tmp= 71684 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/DEC-SMALLINT-LIN/oliveras/j30/normalized-j3029_8-unsat.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4107803-1466289191/watcher-4107803-1466289191 -o /tmp/evaluation-result-4107803-1466289191/solver-4107803-1466289191 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node137-1466264772-24927 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4107803-1466289191.opb

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

MD5SUM BENCH= 4beea9548a8b05c336cb9a5dcff42191
RANDOM SEED=539789097

node137.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.486
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.97
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.486
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.486
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.486
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.486
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.486
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.38
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.486
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.486
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:        29098852 kB
Buffers:           45012 kB
Cached:           170440 kB
SwapCached:         1216 kB
Active:          1223484 kB
Inactive:         113372 kB
Active(anon):    1120236 kB
Inactive(anon):     3248 kB
Active(file):     103248 kB
Inactive(file):   110124 kB
Unevictable:     1696108 kB
Mlocked:         1499884 kB
SwapTotal:      67108856 kB
SwapFree:       67100060 kB
Dirty:             17300 kB
Writeback:             0 kB
AnonPages:       2816644 kB
Mapped:            10900 kB
Shmem:                 0 kB
Slab:             605740 kB
SReclaimable:      48496 kB
SUnreclaim:       557244 kB
KernelStack:        1480 kB
PageTables:         9692 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2957192 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    202752 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= 71668 MiB
End job on node137 at 2016-06-19 00:33:29