Trace number 4105809

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided into four (or five) parts:
  1. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser ! In such a case, you may want to use the "Download as text" link to get the trace as a text file.

    When the --timestamp option is passed to the runsolver program, each line output by the solver is prepended with a timestamp which indicates at what time the line was output by the solver. Times are relative to the start of the program, given in seconds. The first timestamp (if present) is estimated CPU time. The last timestamp is wall clock time.

    As some 'v lines' may be very long (sometimes several megabytes), the 'v line' output by your solver may be split on several lines to help limit the size of the trace recorded in the database. In any case, the exact output of your solver is preserved in a trace file.
  2. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
  3. CONVERSION SCRIPT DATA (Optionnal)
    When a conversion script is used, this section shows the messages that were output by the conversion script.
  4. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to X seconds (see the parameters in the trace). After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to X+30 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (see the parameters in the trace).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  5. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provides some useful information on the computer.

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
toysat 2016-05-02? (MO) 197.972 198.033

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/
normalized-factor-sizeN=500-sizeP=251-sizeQ=500-293748522.opb
MD5SUMd8a97aba75ab281714f6a9b0774a023c
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmarkOPT
Best value of the objective obtained on this benchmark1
Best CPU time to get the best result obtained on this benchmark8.05277
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 1
Optimality of the best value was proved YES
Number of variables126251
Total number of constraints376501
Number of constraints which are clauses376500
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1
Minimum length of a constraint2
Maximum length of a constraint125500
Number of terms in the objective function 251
Biggest coefficient in the objective function 1809251394333065553493296640760748560207343510400633813116524750123642650624
Number of bits for the biggest coefficient in the objective function 251
Sum of the numbers in the objective function 3618502788666131106986593281521497120414687020801267626233049500247285301247
Number of bits of the sum of numbers in the objective function 251
Biggest number in a constraint 2961193260766427870080908753323559866441509279473679754522422863056280045864824078237301652581494289303756200212728639995902214134435299666298460531313288000496778442422580538845568248046109094286466596972878396512780851085312
Number of bits of the biggest number in a constraint 750
Biggest sum of numbers in a constraint 11844773043065711480323635013294239465766037117894719018089691452225120183458939186359237855339087154914381761439684078145960801002138540726341456750663926391477739601670186323216597922945296376611154942589417036267773885199147
Number of bits of the biggest sum of numbers751
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-18T15:30:50+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-4105809-1466256649.opb"]
0.00/0.01	c use --random-gen="1189106045 1388637691 3077066629 4290713617 3193056830 2723680165 2651116207 1778525279 253767372 252506467 4017247921 3277966483 1909128531 1687764929 2513190819 3453020297 2685092721 4064187369 3315322553 3986193270 989078433 3232425576 60348796 875869345 3255863548 2259112349 3971857583 2303031916 802358994 1215801987 937714209 1139231218 351797834 3965053242 2532110101 1137955487 478510168 3383855980 1590191596 599133907 2334322696 2481778038 2327897561 3535735682 1640031184 3408777053 3602744362 2875230886 1531977883 2952105934 445868389 2665919417 2790243416 219353841 1431252389 2348640554 824862317 2381925895 2887014514 2334906249 487389283 965320352 4077075750 114370300 4066708907 874200641 3904285054 1479988011 986890412 3896290707 1225513289 1346223245 3404755546 265104130 341918238 2980924401 828697383 2825869582 2038282038 3935288175 2099688700 773285642 2630764262 3403438230 2020751311 4101694124 984297583 2505749591 3328562460 1603662718 2052351280 1698618921 2087604106 190203903 937988528 2095321024 687291442 3209407950 2353044418 3123062697 1738037887 2550426847 3657838932 1623190824 2102883604 3682777956 2969134715 1712560851 2343859999 689261322 632465134 3135638343 3744415157 346875144 2359058922 263929367 1704611326 703558299 3479697723 3137467473 250012249 3771540078 2272621249 2765309560 767811587 2324624176 2025983832 3992851923 95976201 3202673135 1424876951 3963310608 182498272 3456146176 1034044559 1035086813 2214227912 1871514437 1738872902 3272235762 2808726507 3617416777 3798727728 286466516 1687555362 756985695 2774934456 294836041 3024399797 461118092 1897494637 3256176250 298140438 992898416 1291878627 352555952 2918791928 1056657391 126918821 2349805708 2708528752 2673269045 4206001033 231349823 4028664997 2114227451 1181134892 2265012614 207148382 2754838834 1130469320 1771566179 3174730481 795830048 1982357437 2546957849 63404289 3105002769 3106602759 11861895 3270707026 2954448865 3327093623 1594939717 537940068 1828333900 3894584506 500596807 371268393 3222637065 2220075444 3733346357 2392036751 4078554790 3969841465 593242489 190523880 4084720938 3659655163 400298885 3077684759 1092806958 3289126665 2023210964 2368337967 404519412 864155942 868467063 2525119250 2136705933 3085130314 65329682 3477980424 2833776640 3030901414 2155731657 124259391 1079377805 3471171653 354925722 555068607 725638807 2946422035 575799534 358563063 2842553664 158877562 609163542 265955802 4272560709 1789453320 2990161682 2623662764 2918319923 4234984195 2936484876 3818102750 2985700742 404083043 1725193492 763511242 3638350149 3108725527 202447453 1162667405 1329664545 1141557104 1722530601 2355160209 1319500851 3046443156 1598479882 175470755 1161952826 2730314505 3580893841 255 362436" option to reproduce the execution
2.99/3.04	c #vars 126251
2.99/3.04	c #constraints 376501

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

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

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


[startup+0 s]
/proc/loadavg: 2.11 2.08 2.05 3/180 6887
/proc/meminfo: memFree=21940868/32872528 swapFree=526336/559040
[pid=6887] ppid=6884 vsize=501180 CPUtime=0 cores=0,2,4,6
/proc/6887/stat : 6887 (toysat) R 6884 6887 28898 0 -1 4202496 1828 0 0 0 0 0 0 0 20 0 4 0 27715148 513208320 2189 33554432000 4194304 16246674 140734526910464 140734526909888 13880264 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6887/statm: 125807 2199 441 2943 0 122701 0
[pid=6887/tid=6888] ppid=6884 vsize=546236 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6888/stat : 6888 (toysat) S 6884 6887 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27715148 559345664 2365 33554432000 4194304 16246674 140734526910464 139757348695280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6887/tid=6889] ppid=6884 vsize=550332 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6889/stat : 6889 (toysat) S 6884 6887 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27715148 563539968 2384 33554432000 4194304 16246674 140734526910464 139757338205424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6887/tid=6890] ppid=6884 vsize=554428 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6890/stat : 6890 (toysat) S 6884 6887 28898 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 27715148 567734272 2400 33554432000 4194304 16246674 140734526910464 139757327731888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0

[startup+0.100172 s]
/proc/loadavg: 2.11 2.08 2.05 3/180 6887
/proc/meminfo: memFree=21940868/32872528 swapFree=526336/559040
[pid=6887] ppid=6884 vsize=1301060 CPUtime=0.09 cores=0,2,4,6
/proc/6887/stat : 6887 (toysat) R 6884 6887 28898 0 -1 4202496 25624 0 0 0 6 3 0 0 20 0 4 0 27715148 1332285440 25922 33554432000 4194304 16246674 140734526910464 140734526909776 7367185 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6887/statm: 325265 25938 801 2943 0 322159 0
[pid=6887/tid=6888] ppid=6884 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6888/stat : 6888 (toysat) S 6884 6887 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27715148 1332285440 25948 33554432000 4194304 16246674 140734526910464 139757348695280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6887/tid=6889] ppid=6884 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6889/stat : 6889 (toysat) S 6884 6887 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27715148 1332285440 25960 33554432000 4194304 16246674 140734526910464 139757338205424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6887/tid=6890] ppid=6884 vsize=1301060 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6890/stat : 6890 (toysat) S 6884 6887 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27715148 1332285440 25971 33554432000 4194304 16246674 140734526910464 139757327731888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1301060

[startup+0.200555 s]
/proc/loadavg: 2.11 2.08 2.05 3/180 6887
/proc/meminfo: memFree=21940868/32872528 swapFree=526336/559040
[pid=6887] ppid=6884 vsize=1312324 CPUtime=0.18 cores=0,2,4,6
/proc/6887/stat : 6887 (toysat) R 6884 6887 28898 0 -1 4202496 49449 0 0 0 12 6 0 0 20 0 4 0 27715148 1343819776 50258 33554432000 4194304 16246674 140734526910464 140734526909776 4221105 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6887/statm: 328081 50265 801 2943 0 324975 0
[pid=6887/tid=6888] ppid=6884 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6888/stat : 6888 (toysat) S 6884 6887 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27715148 1343819776 50269 33554432000 4194304 16246674 140734526910464 139757348695280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6887/tid=6889] ppid=6884 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6889/stat : 6889 (toysat) S 6884 6887 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27715148 1343819776 50273 33554432000 4194304 16246674 140734526910464 139757338205424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6887/tid=6890] ppid=6884 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6890/stat : 6890 (toysat) S 6884 6887 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27715148 1343819776 50277 33554432000 4194304 16246674 140734526910464 139757327731888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 1312324

[startup+0.300482 s]
/proc/loadavg: 2.11 2.08 2.05 3/180 6887
/proc/meminfo: memFree=21940868/32872528 swapFree=526336/559040
[pid=6887] ppid=6884 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/6887/stat : 6887 (toysat) R 6884 6887 28898 0 -1 4202496 58450 0 0 0 21 8 0 0 20 0 4 0 27715148 1345916928 59259 33554432000 4194304 16246674 140734526910464 140734526893456 7918792 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6887/statm: 328593 59259 801 2943 0 325487 0
[pid=6887/tid=6888] ppid=6884 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6888/stat : 6888 (toysat) S 6884 6887 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27715148 1345916928 59259 33554432000 4194304 16246674 140734526910464 139757348695280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6887/tid=6889] ppid=6884 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6889/stat : 6889 (toysat) S 6884 6887 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27715148 1345916928 59259 33554432000 4194304 16246674 140734526910464 139757338205424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6887/tid=6890] ppid=6884 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6890/stat : 6890 (toysat) S 6884 6887 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27715148 1345916928 59259 33554432000 4194304 16246674 140734526910464 139757327731888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700418 s]
/proc/loadavg: 2.11 2.08 2.05 3/180 6887
/proc/meminfo: memFree=21940868/32872528 swapFree=526336/559040
[pid=6887] ppid=6884 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/6887/stat : 6887 (toysat) R 6884 6887 28898 0 -1 4202496 69828 0 0 0 60 9 0 0 20 0 4 0 27715148 1345916928 70637 33554432000 4194304 16246674 140734526910464 140734526893456 7392704 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6887/statm: 328593 70637 802 2943 0 325487 0
[pid=6887/tid=6888] ppid=6884 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6888/stat : 6888 (toysat) S 6884 6887 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27715148 1345916928 70637 33554432000 4194304 16246674 140734526910464 139757348695280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6887/tid=6889] ppid=6884 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6889/stat : 6889 (toysat) S 6884 6887 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27715148 1345916928 70637 33554432000 4194304 16246674 140734526910464 139757338205424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6887/tid=6890] ppid=6884 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6890/stat : 6890 (toysat) S 6884 6887 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27715148 1345916928 70637 33554432000 4194304 16246674 140734526910464 139757327731888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50043 s]
/proc/loadavg: 2.11 2.08 2.05 3/184 6891
/proc/meminfo: memFree=20900968/32872528 swapFree=526336/559040
[pid=6887] ppid=6884 vsize=1314372 CPUtime=1.48 cores=0,2,4,6
/proc/6887/stat : 6887 (toysat) R 6884 6887 28898 0 -1 4202496 85499 0 0 0 137 11 0 0 20 0 4 0 27715148 1345916928 86308 33554432000 4194304 16246674 140734526910464 140734526908288 7393428 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6887/statm: 328593 86308 803 2943 0 325487 0
[pid=6887/tid=6888] ppid=6884 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6888/stat : 6888 (toysat) S 6884 6887 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27715148 1345916928 86308 33554432000 4194304 16246674 140734526910464 139757348695280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6887/tid=6889] ppid=6884 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6889/stat : 6889 (toysat) S 6884 6887 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27715148 1345916928 86308 33554432000 4194304 16246674 140734526910464 139757338205424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6887/tid=6890] ppid=6884 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6890/stat : 6890 (toysat) S 6884 6887 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27715148 1345916928 86308 33554432000 4194304 16246674 140734526910464 139757327731888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 1314372

[startup+3.10042 s]
/proc/loadavg: 2.11 2.08 2.05 3/184 6891
/proc/meminfo: memFree=20071892/32872528 swapFree=526336/559040
[pid=6887] ppid=6884 vsize=1388100 CPUtime=3.09 cores=0,2,4,6
/proc/6887/stat : 6887 (toysat) R 6884 6887 28898 0 -1 4202496 102674 0 0 0 294 15 0 0 20 0 4 0 27715148 1421414400 115236 33554432000 4194304 16246674 140734526910464 140734526908288 5754961 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6887/statm: 347025 115236 811 2943 0 343919 0
[pid=6887/tid=6888] ppid=6884 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6888/stat : 6888 (toysat) S 6884 6887 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27715148 1421414400 115236 33554432000 4194304 16246674 140734526910464 139757348695280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6887/tid=6889] ppid=6884 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6889/stat : 6889 (toysat) S 6884 6887 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27715148 1421414400 115236 33554432000 4194304 16246674 140734526910464 139757338205424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6887/tid=6890] ppid=6884 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6890/stat : 6890 (toysat) S 6884 6887 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27715148 1421414400 115236 33554432000 4194304 16246674 140734526910464 139757327731888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1388100

[startup+6.30041 s]
/proc/loadavg: 2.10 2.08 2.05 3/184 6891
/proc/meminfo: memFree=18346344/32872528 swapFree=526336/559040
[pid=6887] ppid=6884 vsize=1388100 CPUtime=6.28 cores=0,2,4,6
/proc/6887/stat : 6887 (toysat) R 6884 6887 28898 0 -1 4202496 261836 0 0 0 589 39 0 0 20 0 4 0 27715148 1421414400 280019 33554432000 4194304 16246674 140734526910464 140734526892352 5658052 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6887/statm: 347025 280019 838 2943 0 343919 0
[pid=6887/tid=6888] ppid=6884 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6888/stat : 6888 (toysat) S 6884 6887 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27715148 1421414400 280019 33554432000 4194304 16246674 140734526910464 139757348695280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6887/tid=6889] ppid=6884 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6889/stat : 6889 (toysat) S 6884 6887 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27715148 1421414400 280019 33554432000 4194304 16246674 140734526910464 139757338205424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6887/tid=6890] ppid=6884 vsize=1388100 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6890/stat : 6890 (toysat) S 6884 6887 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27715148 1421414400 280019 33554432000 4194304 16246674 140734526910464 139757327731888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1388100

[startup+12.7004 s]
/proc/loadavg: 2.10 2.08 2.04 3/183 6891
/proc/meminfo: memFree=18196624/32872528 swapFree=526336/559040
[pid=6887] ppid=6884 vsize=1481284 CPUtime=12.68 cores=0,2,4,6
/proc/6887/stat : 6887 (toysat) R 6884 6887 28898 0 -1 4202496 293583 0 0 0 1225 43 0 0 20 0 4 0 27715148 1516834816 311766 33554432000 4194304 16246674 140734526910464 140734526892352 4220543 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6887/statm: 370321 311766 847 2943 0 367215 0
[pid=6887/tid=6888] ppid=6884 vsize=1481284 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6888/stat : 6888 (toysat) S 6884 6887 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27715148 1516834816 311766 33554432000 4194304 16246674 140734526910464 139757348695280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6887/tid=6889] ppid=6884 vsize=1481284 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6889/stat : 6889 (toysat) S 6884 6887 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27715148 1516834816 311766 33554432000 4194304 16246674 140734526910464 139757338205424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6887/tid=6890] ppid=6884 vsize=1481284 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6890/stat : 6890 (toysat) S 6884 6887 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27715148 1516834816 311766 33554432000 4194304 16246674 140734526910464 139757327731888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1481284

[startup+25.5005 s]
/proc/loadavg: 2.07 2.08 2.04 3/183 6891
/proc/meminfo: memFree=16230500/32872528 swapFree=526336/559040
[pid=6887] ppid=6884 vsize=3444292 CPUtime=25.48 cores=0,2,4,6
/proc/6887/stat : 6887 (toysat) R 6884 6887 28898 0 -1 4202496 784335 0 0 0 2439 109 0 0 20 0 4 0 27715148 3526955008 802518 33554432000 4194304 16246674 140734526910464 140734526909640 4225128 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6887/statm: 861073 802518 847 2943 0 857967 0
[pid=6887/tid=6888] ppid=6884 vsize=3444292 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6888/stat : 6888 (toysat) S 6884 6887 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27715148 3526955008 802518 33554432000 4194304 16246674 140734526910464 139757348695280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6887/tid=6889] ppid=6884 vsize=3444292 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6889/stat : 6889 (toysat) S 6884 6887 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27715148 3526955008 802518 33554432000 4194304 16246674 140734526910464 139757338205424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6887/tid=6890] ppid=6884 vsize=3444292 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6890/stat : 6890 (toysat) S 6884 6887 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27715148 3526955008 802518 33554432000 4194304 16246674 140734526910464 139757327731888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 3444292

[startup+51.1005 s]
/proc/loadavg: 2.11 2.09 2.05 3/183 6891
/proc/meminfo: memFree=12281308/32872528 swapFree=526336/559040
[pid=6887] ppid=6884 vsize=7385668 CPUtime=51.09 cores=0,2,4,6
/proc/6887/stat : 6887 (toysat) R 6884 6887 28898 0 -1 4202496 1769681 0 0 0 4862 247 0 0 20 0 4 0 27715148 7562924032 1787864 33554432000 4194304 16246674 140734526910464 140734526909640 12497512 0 0 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6887/statm: 1846417 1787864 847 2943 0 1843311 0
[pid=6887/tid=6888] ppid=6884 vsize=7385668 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6888/stat : 6888 (toysat) S 6884 6887 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27715148 7562924032 1787864 33554432000 4194304 16246674 140734526910464 139757348695280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6887/tid=6889] ppid=6884 vsize=7385668 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6889/stat : 6889 (toysat) S 6884 6887 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27715148 7562924032 1787864 33554432000 4194304 16246674 140734526910464 139757338205424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6887/tid=6890] ppid=6884 vsize=7385668 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6890/stat : 6890 (toysat) S 6884 6887 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27715148 7562924032 1787864 33554432000 4194304 16246674 140734526910464 139757327731888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 7385668

[startup+102.3 s]
/proc/loadavg: 2.19 2.10 2.05 3/183 6941
/proc/meminfo: memFree=17275008/32872528 swapFree=526336/559040
[pid=6887] ppid=6884 vsize=11700804 CPUtime=102.28 cores=0,2,4,6
/proc/6887/stat : 6887 (toysat) R 6884 6887 28898 0 -1 4202496 2848471 0 0 0 9838 390 0 0 20 0 4 0 27715148 11981623296 2866654 33554432000 4194304 16246674 140734526910464 140734526908416 14014083 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6887/statm: 2925201 2866654 852 2943 0 2922095 0
[pid=6887/tid=6888] ppid=6884 vsize=11700804 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6888/stat : 6888 (toysat) S 6884 6887 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27715148 11981623296 2866654 33554432000 4194304 16246674 140734526910464 139757348695280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6887/tid=6889] ppid=6884 vsize=11700804 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6889/stat : 6889 (toysat) S 6884 6887 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27715148 11981623296 2866654 33554432000 4194304 16246674 140734526910464 139757338205200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6887/tid=6890] ppid=6884 vsize=11700804 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6890/stat : 6890 (toysat) S 6884 6887 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27715148 11981623296 2866654 33554432000 4194304 16246674 140734526910464 139757327731888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 11700804

[startup+162.3 s]
/proc/loadavg: 2.18 2.11 2.06 3/183 6942
/proc/meminfo: memFree=3559096/32872528 swapFree=526336/559040
[pid=6887] ppid=6884 vsize=14990916 CPUtime=162.25 cores=0,2,4,6
/proc/6887/stat : 6887 (toysat) R 6884 6887 28898 0 -1 4202496 3615137 0 0 0 15711 514 0 0 20 0 4 0 27715148 15350697984 3689020 33554432000 4194304 16246674 140734526910464 140734526908416 14013573 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6887/statm: 3747729 3689020 852 2943 0 3744623 0
[pid=6887/tid=6888] ppid=6884 vsize=14990916 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6888/stat : 6888 (toysat) S 6884 6887 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27715148 15350697984 3689020 33554432000 4194304 16246674 140734526910464 139757348695280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6887/tid=6889] ppid=6884 vsize=14990916 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6889/stat : 6889 (toysat) S 6884 6887 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27715148 15350697984 3689020 33554432000 4194304 16246674 140734526910464 139757338205200 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=6887/tid=6890] ppid=6884 vsize=14990916 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6890/stat : 6890 (toysat) S 6884 6887 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27715148 15350697984 3689020 33554432000 4194304 16246674 140734526910464 139757327731888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 14990916



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+197.2 s]
/proc/loadavg: 2.10 2.10 2.05 3/183 6942
/proc/meminfo: memFree=2750064/32872528 swapFree=526336/559040
[pid=6887] ppid=6884 vsize=15895108 CPUtime=197.14 cores=0,2,4,6
/proc/6887/stat : 6887 (toysat) R 6884 6887 28898 0 -1 4202496 3841155 0 0 0 19164 550 0 0 20 0 4 0 27715148 16276590592 3915036 33554432000 4194304 16246674 140734526910464 140734526909560 4221016 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6887/statm: 3973777 3915043 852 2943 0 3970671 0
[pid=6887/tid=6888] ppid=6884 vsize=15895108 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6888/stat : 6888 (toysat) S 6884 6887 28898 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 27715148 16276590592 3915047 33554432000 4194304 16246674 140734526910464 139757348695280 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 0 0 0 0 0 0
[pid=6887/tid=6889] ppid=6884 vsize=15895108 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6889/stat : 6889 (toysat) S 6884 6887 28898 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 27715148 16276590592 3915052 33554432000 4194304 16246674 140734526910464 139757338205424 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 2 0 0 0 0 0
[pid=6887/tid=6890] ppid=6884 vsize=15895108 CPUtime=0 cores=0,2,4,6
/proc/6887/task/6890/stat : 6890 (toysat) S 6884 6887 28898 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 27715148 16276590592 3915058 33554432000 4194304 16246674 140734526910464 139757327731888 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 197.14
Current children cumulated vsize (KiB) 15895108

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

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

[startup+197.6 s]
/proc/loadavg: 2.10 2.10 2.05 3/183 6942
/proc/meminfo: memFree=2750064/32872528 swapFree=526336/559040
[pid=6887] ppid=6884 vsize=0 CPUtime=197.53 cores=0,2,4,6
/proc/6887/stat : 6887 (toysat) Z 6884 6887 28898 0 -1 4203532 3841480 0 0 0 19164 589 0 0 20 0 2 0 27715148 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6887/statm: 0 0 0 0 0 0 0
[pid=6887/tid=6889] ppid=6884 vsize=0 CPUtime=0.38 cores=0,2,4,6
/proc/6887/task/6889/stat : 6889 (toysat) R 6884 6887 28898 0 -1 4203588 8 0 0 0 0 38 0 0 20 0 2 0 27715148 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 197.53
Current children cumulated vsize (KiB) 0

[startup+198 s]
/proc/loadavg: 2.10 2.10 2.05 3/181 6942
/proc/meminfo: memFree=17753496/32872528 swapFree=526336/559040
[pid=6887] ppid=6884 vsize=0 CPUtime=197.94 cores=0,2,4,6
/proc/6887/stat : 6887 (toysat) Z 6884 6887 28898 0 -1 4203532 3841480 0 0 0 19164 630 0 0 20 0 2 0 27715148 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 4 0 0 0 0 0
/proc/6887/statm: 0 0 0 0 0 0 0
[pid=6887/tid=6889] ppid=6884 vsize=0 CPUtime=0.78 cores=0,2,4,6
/proc/6887/task/6889/stat : 6889 (toysat) R 6884 6887 28898 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 27715148 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 197.94
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 198.033
CPU time (s): 197.972
CPU user time (s): 191.649
CPU system time (s): 6.32304
CPU usage (%): 99.9694
Max. virtual memory (cumulated for all children) (KiB): 15895108

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 191.649
system time used= 6.32304
maximum resident set size= 15661444
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3841480
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= 69
involuntary context switches= 203

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.34279 second user time and 1.84872 second system time

The end

Launcher Data 

Begin job on node106 at 2016-06-18 15:30:50
IDJOB=4105809
IDBENCH=3021
IDSOLVER=2542
FILE ID=node106/4105809-1466256649
RUNJOBID= node106-1466241787-28914
PBS_JOBID= 19918214
Free space on /tmp= 71644 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06/final/normalized-PB06/OPT-BIGINT/submitted-PB06/roussel/factor/normalized-factor-sizeN=500-sizeP=251-sizeQ=500-293748522.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4105809-1466256649/watcher-4105809-1466256649 -o /tmp/evaluation-result-4105809-1466256649/solver-4105809-1466256649 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1466241787-28914 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4105809-1466256649.opb

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

MD5SUM BENCH= d8a97aba75ab281714f6a9b0774a023c
RANDOM SEED=2106431086

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.073
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		: 2667.073
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		: 2667.073
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.56
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		: 2667.073
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.38
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		: 2667.073
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:        21953300 kB
Buffers:           71896 kB
Cached:           246696 kB
SwapCached:         1736 kB
Active:          9412988 kB
Inactive:         182816 kB
Active(anon):    9274692 kB
Inactive(anon):     4736 kB
Active(file):     138296 kB
Inactive(file):   178080 kB
Unevictable:      559040 kB
Mlocked:          526336 kB
SwapTotal:      67108856 kB
SwapFree:       67099160 kB
Dirty:             41648 kB
Writeback:             0 kB
AnonPages:       9835716 kB
Mapped:            10556 kB
Shmem:                 0 kB
Slab:             613316 kB
SReclaimable:      56460 kB
SUnreclaim:       556856 kB
KernelStack:        1472 kB
PageTables:        23284 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    9978388 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     63488 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= 71636 MiB
End job on node106 at 2016-06-18 15:34:08