Trace number 4104029

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) 186.484 186.521

General information on the benchmark

Namenormalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/
miplib3/normalized-mps-v2-20-10-gesa3_o.opb
MD5SUM65c2bbddd90efb87154e28c84e06f5c3
Bench CategoryOPT-BIGINT (optimisation, big integers)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Has Objective FunctionYES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables15504
Total number of constraints1416
Number of constraints which are clauses168
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints1248
Minimum length of a constraint2
Maximum length of a constraint311
Number of terms in the objective function 8784
Biggest coefficient in the objective function 418848431931392
Number of bits for the biggest coefficient in the objective function 49
Sum of the numbers in the objective function 144203531006459664
Number of bits of the sum of numbers in the objective function 58
Biggest number in a constraint 536870912000000
Number of bits of the biggest number in a constraint 49
Biggest sum of numbers in a constraint 144203531006459664
Number of bits of the biggest sum of numbers58
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-18T11:31:00+0200
0.00/0.00	c version = 0.5.0
0.00/0.00	c githash = 1a49202
0.00/0.00	c compilationtime = 2016-05-02 00:19:28.990761 UTC
0.00/0.00	c arch = x86_64
0.00/0.00	c os = linux
0.00/0.00	c compiler = ghc 7.10
0.00/0.00	c packages:
0.00/0.00	c   OptDir-0.0.3
0.00/0.00	c   array-0.5.1.0
0.00/0.00	c   base-4.8.2.0
0.00/0.00	c   bytestring-0.10.6.0
0.00/0.00	c   bytestring-builder-0.10.6.0.0
0.00/0.00	c   clock-0.7.2
0.00/0.00	c   containers-0.5.6.2
0.00/0.00	c   data-default-0.5.3
0.00/0.00	c   data-default-class-0.0.1
0.00/0.00	c   data-interval-1.2.0
0.00/0.00	c   deepseq-1.4.1.1
0.00/0.00	c   directory-1.2.2.0
0.00/0.00	c   exceptions-0.8.2.1
0.00/0.00	c   extended-reals-0.2.1.0
0.00/0.00	c   filepath-1.4.0.0
0.00/0.00	c   finite-field-0.8.0
0.00/0.00	c   hashable-1.2.4.0
0.00/0.00	c   heaps-0.3.3
0.00/0.00	c   intern-0.9.1.4
0.00/0.00	c   loop-0.3.0
0.00/0.00	c   mtl-2.2.1
0.00/0.00	c   multiset-0.3.2
0.00/0.00	c   mwc-random-0.13.3.2
0.00/0.00	c   parse_dimacs-1.3
0.00/0.00	c   parsec-3.1.9
0.00/0.00	c   prettyclass-1.0.0.0
0.00/0.00	c   primes-0.2.1.0
0.00/0.00	c   primitive-0.6.1.0
0.00/0.00	c   process-1.2.3.0
0.00/0.00	c   pseudo-boolean-0.1.3.0
0.00/0.01	c   queue-0.1.2
0.00/0.01	c   semigroups-0.18.1
0.00/0.01	c   sign-0.4.3
0.00/0.01	c   stm-2.4.4.1
0.00/0.01	c   template-haskell-2.10.0.0
0.00/0.01	c   temporary-1.2.0.4
0.00/0.01	c   time-1.5.0.1
0.00/0.01	c   transformers-0.4.2.0
0.00/0.01	c   transformers-compat-0.5.1.4
0.00/0.01	c   type-level-numbers-0.1.1.1
0.00/0.01	c   unbounded-delays-0.1.0.9
0.00/0.01	c   unordered-containers-0.2.6.0
0.00/0.01	c   vector-0.11.0.0
0.00/0.01	c   vector-space-0.10.3
0.00/0.01	c command line = ["+RTS","-H1G","-M15500m","-K1G","-RTS","--pb","--search=bcd2","HOME/instance-4104029-1466242260.opb"]
0.00/0.01	c use --random-gen="1204383579 916266417 1240450730 4198066051 1154771034 4162690095 2794176366 1975618212 2259392048 1308063471 1090069479 3129557583 469472923 3695801236 2260258981 3520737829 721416168 1964640198 473497535 3912573122 1900529040 1506097916 2853977037 4035154775 4153483591 2364110448 820064022 4251977547 3356568757 3681062368 1659194768 886689339 3692000767 205795052 133733271 597821952 1936119036 4101626659 1522248459 1583690804 585564642 503248745 3003173415 1459954280 1157844176 2205653967 982428919 2922967062 254922344 722890982 1275760929 859563668 3264562386 4090935605 1266158362 1891302663 3660713399 1450000846 358272820 2461085997 277554024 3661069375 2567444236 1279859927 2965864362 1065575507 3560794638 2310231664 820885983 1966616832 56922129 3835995977 114515887 4129503054 605237782 2231544695 4229690287 3517165070 1611617373 1846803999 3799623994 2855961521 711887864 485244958 2915160859 1878454489 776335701 2697617835 3345767639 649709069 2059242033 2896263878 207157465 1728975761 917393386 3294104441 3102542070 4290159349 3624139279 2880898297 497705627 1932145450 4269340847 813519854 3790538922 553831534 4167842795 530606999 785682522 2684498078 2899311379 291278266 1573522038 1733526917 3914680349 3396537459 1591476332 1958363047 604842956 4266964573 221353594 4124942658 509033621 909818577 1522200337 1212478961 106526336 1357702402 796452526 3903557745 1433118262 3709122763 780199736 2234847528 3781135997 4280656275 3012743582 4264755623 2283622088 2232608619 4283235061 396777733 30303868 2611021242 3993532895 386967897 990980360 2805683426 935819392 366731718 90323812 846662603 1763815532 1661995447 470631918 3603649495 4092928238 3490052282 4267574011 3276000448 1005313916 2588060030 3468288284 1636430572 1273191645 1880837141 3145992683 3547004243 2040243553 1072617214 421994249 4064998789 1606671854 4203898841 167703144 3767072312 3328556765 949024948 2787711508 1732691641 3652078580 2241410207 4262094477 1664483052 2236680619 3341094134 4220754423 2349698763 1574486362 903355369 1316057463 2381066765 630135047 4045958854 1365697674 157774623 3903614274 3902205923 2210279916 85857338 3304741706 2622694349 4278955444 935931801 2313365905 1722691689 2417912068 81141586 835552941 1275022156 457743390 253651193 1615937853 1626627782 2682263970 4181186991 1220522536 4016372302 1151023942 1695016117 2725475616 1253117814 3846987656 2995963353 2163077797 4218106054 3024499117 158581843 1412814422 192164634 1484859962 1932444605 1697553870 146266223 2079815812 1012396092 3002334728 1967806826 78402872 3510146192 1964738286 2979880889 3049914940 4141330644 1785094796 1624728921 2721759282 2171745939 1314312066 440346637 235409780 103598991 2770704404 587478815 960626424 3841404640 255 362436" option to reproduce the execution
0.09/0.14	c #vars 15504
0.09/0.14	c #constraints 1416

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

pid=22386
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.03 2.02 2.00 3/180 22389
/proc/meminfo: memFree=29137592/32872528 swapFree=163656/177964
[pid=22389] ppid=22386 vsize=689596 CPUtime=0 cores=1,3,5,7
/proc/22389/stat : 22389 (toysat) R 22386 22389 20760 0 -1 4202496 2568 0 0 0 0 0 0 0 20 0 4 0 26275967 706146304 2928 33554432000 4194304 16246674 140733673349104 140733673348528 13880264 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22389/statm: 173167 2936 441 2943 0 170061 0
[pid=22389/tid=22390] ppid=22386 vsize=708028 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22390/stat : 22390 (toysat) S 22386 22389 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26275967 725020672 2999 33554432000 4194304 16246674 140733673349104 139904270970096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22389/tid=22391] ppid=22386 vsize=712124 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22391/stat : 22391 (toysat) S 22386 22389 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26275967 729214976 3016 33554432000 4194304 16246674 140733673349104 139904260480240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22389/tid=22392] ppid=22386 vsize=716220 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22392/stat : 22392 (toysat) S 22386 22389 20760 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 26275967 733409280 3032 33554432000 4194304 16246674 140733673349104 139904250006704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100128 s]
/proc/loadavg: 2.03 2.02 2.00 3/180 22389
/proc/meminfo: memFree=29137592/32872528 swapFree=163656/177964
[pid=22389] ppid=22386 vsize=1305156 CPUtime=0.09 cores=1,3,5,7
/proc/22389/stat : 22389 (toysat) R 22386 22389 20760 0 -1 4202496 31557 0 0 0 5 4 0 0 20 0 4 0 26275967 1336479744 31855 33554432000 4194304 16246674 140733673349104 140733673348416 8058197 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22389/statm: 326289 31871 800 2943 0 323183 0
[pid=22389/tid=22390] ppid=22386 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22390/stat : 22390 (toysat) S 22386 22389 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26275967 1336479744 31882 33554432000 4194304 16246674 140733673349104 139904270970096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22389/tid=22391] ppid=22386 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22391/stat : 22391 (toysat) S 22386 22389 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26275967 1336479744 31894 33554432000 4194304 16246674 140733673349104 139904260480240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22389/tid=22392] ppid=22386 vsize=1305156 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22392/stat : 22392 (toysat) S 22386 22389 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26275967 1336479744 31904 33554432000 4194304 16246674 140733673349104 139904250006704 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) 1305156

[startup+0.200557 s]
/proc/loadavg: 2.03 2.02 2.00 3/180 22389
/proc/meminfo: memFree=29137592/32872528 swapFree=163656/177964
[pid=22389] ppid=22386 vsize=1315396 CPUtime=0.19 cores=1,3,5,7
/proc/22389/stat : 22389 (toysat) R 22386 22389 20760 0 -1 4202496 40273 0 0 0 14 5 0 0 20 0 4 0 26275967 1346965504 41082 33554432000 4194304 16246674 140733673349104 140733673348416 12429241 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22389/statm: 328849 41082 841 2943 0 325743 0
[pid=22389/tid=22390] ppid=22386 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22390/stat : 22390 (toysat) S 22386 22389 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26275967 1346965504 41082 33554432000 4194304 16246674 140733673349104 139904270970096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22389/tid=22391] ppid=22386 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22391/stat : 22391 (toysat) S 22386 22389 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26275967 1346965504 41082 33554432000 4194304 16246674 140733673349104 139904260480240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22389/tid=22392] ppid=22386 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22392/stat : 22392 (toysat) S 22386 22389 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26275967 1346965504 41082 33554432000 4194304 16246674 140733673349104 139904250006704 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) 1315396

[startup+0.300505 s]
/proc/loadavg: 2.03 2.02 2.00 3/180 22389
/proc/meminfo: memFree=29137592/32872528 swapFree=163656/177964
[pid=22389] ppid=22386 vsize=1315396 CPUtime=0.29 cores=1,3,5,7
/proc/22389/stat : 22389 (toysat) R 22386 22389 20760 0 -1 4202496 49732 0 0 0 23 6 0 0 20 0 4 0 26275967 1346965504 50542 33554432000 4194304 16246674 140733673349104 140733673348416 6958849 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22389/statm: 328849 50555 841 2943 0 325743 0
[pid=22389/tid=22390] ppid=22386 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22390/stat : 22390 (toysat) S 22386 22389 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26275967 1346965504 50561 33554432000 4194304 16246674 140733673349104 139904270970096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22389/tid=22391] ppid=22386 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22391/stat : 22391 (toysat) S 22386 22389 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26275967 1346965504 50569 33554432000 4194304 16246674 140733673349104 139904260480240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22389/tid=22392] ppid=22386 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22392/stat : 22392 (toysat) S 22386 22389 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26275967 1346965504 50576 33554432000 4194304 16246674 140733673349104 139904250006704 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) 1315396

[startup+0.700415 s]
/proc/loadavg: 2.03 2.02 2.00 3/180 22389
/proc/meminfo: memFree=29137592/32872528 swapFree=163656/177964
[pid=22389] ppid=22386 vsize=1315396 CPUtime=0.69 cores=1,3,5,7
/proc/22389/stat : 22389 (toysat) R 22386 22389 20760 0 -1 4202496 140784 0 0 0 52 17 0 0 20 0 4 0 26275967 1346965504 141594 33554432000 4194304 16246674 140733673349104 140733673348416 12429797 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22389/statm: 328849 141600 841 2943 0 325743 0
[pid=22389/tid=22390] ppid=22386 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22390/stat : 22390 (toysat) S 22386 22389 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26275967 1346965504 141604 33554432000 4194304 16246674 140733673349104 139904270970096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22389/tid=22391] ppid=22386 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22391/stat : 22391 (toysat) S 22386 22389 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26275967 1346965504 141607 33554432000 4194304 16246674 140733673349104 139904260480240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22389/tid=22392] ppid=22386 vsize=1315396 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22392/stat : 22392 (toysat) S 22386 22389 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26275967 1346965504 141611 33554432000 4194304 16246674 140733673349104 139904250006704 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) 1315396

[startup+1.50041 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 22393
/proc/meminfo: memFree=28161908/32872528 swapFree=163656/177964
[pid=22389] ppid=22386 vsize=1416772 CPUtime=1.49 cores=1,3,5,7
/proc/22389/stat : 22389 (toysat) R 22386 22389 20760 0 -1 4202496 294628 0 0 0 112 37 0 0 20 0 4 0 26275967 1450774528 295437 33554432000 4194304 16246674 140733673349104 140733673331008 4225154 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22389/statm: 354193 295445 842 2943 0 351087 0
[pid=22389/tid=22390] ppid=22386 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22390/stat : 22390 (toysat) S 22386 22389 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26275967 1450774528 295448 33554432000 4194304 16246674 140733673349104 139904270970096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22389/tid=22391] ppid=22386 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22391/stat : 22391 (toysat) S 22386 22389 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26275967 1450774528 295451 33554432000 4194304 16246674 140733673349104 139904260480240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22389/tid=22392] ppid=22386 vsize=1416772 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22392/stat : 22392 (toysat) S 22386 22389 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26275967 1450774528 295456 33554432000 4194304 16246674 140733673349104 139904250006704 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) 1416772

[startup+3.10041 s]
/proc/loadavg: 2.03 2.02 2.00 3/183 22393
/proc/meminfo: memFree=27882536/32872528 swapFree=163656/177964
[pid=22389] ppid=22386 vsize=1489476 CPUtime=3.09 cores=1,3,5,7
/proc/22389/stat : 22389 (toysat) R 22386 22389 20760 0 -1 4202496 312994 0 0 0 270 39 0 0 20 0 4 0 26275967 1525223424 313803 33554432000 4194304 16246674 140733673349104 140733673331008 4206964 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22389/statm: 372369 313803 842 2943 0 369263 0
[pid=22389/tid=22390] ppid=22386 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22390/stat : 22390 (toysat) S 22386 22389 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26275967 1525223424 313803 33554432000 4194304 16246674 140733673349104 139904270970096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22389/tid=22391] ppid=22386 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22391/stat : 22391 (toysat) S 22386 22389 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26275967 1525223424 313803 33554432000 4194304 16246674 140733673349104 139904260480240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22389/tid=22392] ppid=22386 vsize=1489476 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22392/stat : 22392 (toysat) S 22386 22389 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26275967 1525223424 313803 33554432000 4194304 16246674 140733673349104 139904250006704 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) 1489476

[startup+6.30041 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 22393
/proc/meminfo: memFree=27761148/32872528 swapFree=163656/177964
[pid=22389] ppid=22386 vsize=1956420 CPUtime=6.29 cores=1,3,5,7
/proc/22389/stat : 22389 (toysat) R 22386 22389 20760 0 -1 4202496 429692 0 0 0 574 55 0 0 20 0 4 0 26275967 2003374080 430501 33554432000 4194304 16246674 140733673349104 140733673347768 4221016 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22389/statm: 489105 430510 842 2943 0 485999 0
[pid=22389/tid=22390] ppid=22386 vsize=1956420 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22390/stat : 22390 (toysat) S 22386 22389 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26275967 2003374080 430515 33554432000 4194304 16246674 140733673349104 139904270970096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22389/tid=22391] ppid=22386 vsize=1956420 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22391/stat : 22391 (toysat) S 22386 22389 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26275967 2003374080 430520 33554432000 4194304 16246674 140733673349104 139904260480016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22389/tid=22392] ppid=22386 vsize=1956420 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22392/stat : 22392 (toysat) S 22386 22389 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26275967 2003374080 430525 33554432000 4194304 16246674 140733673349104 139904250006704 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) 1956420

[startup+12.7004 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 22393
/proc/meminfo: memFree=26242164/32872528 swapFree=163656/177964
[pid=22389] ppid=22386 vsize=2857540 CPUtime=12.69 cores=1,3,5,7
/proc/22389/stat : 22389 (toysat) R 22386 22389 20760 0 -1 4202496 655010 0 0 0 1184 85 0 0 20 0 4 0 26275967 2926120960 655819 33554432000 4194304 16246674 140733673349104 140733673348200 4225073 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22389/statm: 714385 655819 842 2943 0 711279 0
[pid=22389/tid=22390] ppid=22386 vsize=2857540 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22390/stat : 22390 (toysat) S 22386 22389 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26275967 2926120960 655819 33554432000 4194304 16246674 140733673349104 139904270970096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22389/tid=22391] ppid=22386 vsize=2857540 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22391/stat : 22391 (toysat) S 22386 22389 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26275967 2926120960 655819 33554432000 4194304 16246674 140733673349104 139904260480240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22389/tid=22392] ppid=22386 vsize=2857540 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22392/stat : 22392 (toysat) S 22386 22389 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26275967 2926120960 655819 33554432000 4194304 16246674 140733673349104 139904250006704 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) 2857540

[startup+25.5005 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 22393
/proc/meminfo: memFree=22713888/32872528 swapFree=163656/177964
[pid=22389] ppid=22386 vsize=5773892 CPUtime=25.49 cores=1,3,5,7
/proc/22389/stat : 22389 (toysat) R 22386 22389 20760 0 -1 4202496 1384100 0 0 0 2371 178 0 0 20 0 4 0 26275967 5912465408 1384909 33554432000 4194304 16246674 140733673349104 140733673348416 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22389/statm: 1443473 1384909 843 2943 0 1440367 0
[pid=22389/tid=22390] ppid=22386 vsize=5773892 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22390/stat : 22390 (toysat) S 22386 22389 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26275967 5912465408 1384909 33554432000 4194304 16246674 140733673349104 139904270970096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22389/tid=22391] ppid=22386 vsize=5773892 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22391/stat : 22391 (toysat) S 22386 22389 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26275967 5912465408 1384909 33554432000 4194304 16246674 140733673349104 139904260480240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22389/tid=22392] ppid=22386 vsize=5773892 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22392/stat : 22392 (toysat) S 22386 22389 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26275967 5912465408 1384909 33554432000 4194304 16246674 140733673349104 139904250006704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 5773892

[startup+51.1005 s]
/proc/loadavg: 2.01 2.02 2.00 3/183 22393
/proc/meminfo: memFree=19856168/32872528 swapFree=163656/177964
[pid=22389] ppid=22386 vsize=9080388 CPUtime=51.08 cores=1,3,5,7
/proc/22389/stat : 22389 (toysat) R 22386 22389 20760 0 -1 4202496 2210726 0 0 0 4816 292 0 0 20 0 4 0 26275967 9298317312 2211535 33554432000 4194304 16246674 140733673349104 140733673346944 4206591 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22389/statm: 2270097 2211535 843 2943 0 2266991 0
[pid=22389/tid=22390] ppid=22386 vsize=9080388 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22390/stat : 22390 (toysat) S 22386 22389 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26275967 9298317312 2211535 33554432000 4194304 16246674 140733673349104 139904270970096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22389/tid=22391] ppid=22386 vsize=9080388 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22391/stat : 22391 (toysat) S 22386 22389 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26275967 9298317312 2211535 33554432000 4194304 16246674 140733673349104 139904260480016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22389/tid=22392] ppid=22386 vsize=9080388 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22392/stat : 22392 (toysat) S 22386 22389 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26275967 9298317312 2211535 33554432000 4194304 16246674 140733673349104 139904250006704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 9080388

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 22395
/proc/meminfo: memFree=15212188/32872528 swapFree=163656/177964
[pid=22389] ppid=22386 vsize=12259908 CPUtime=102.29 cores=1,3,5,7
/proc/22389/stat : 22389 (toysat) R 22386 22389 20760 0 -1 4202496 2916697 0 0 0 9833 396 0 0 20 0 4 0 26275967 12554145792 3006420 33554432000 4194304 16246674 140733673349104 140733673347008 4220536 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22389/statm: 3064977 3006420 848 2943 0 3061871 0
[pid=22389/tid=22390] ppid=22386 vsize=12259908 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22390/stat : 22390 (toysat) S 22386 22389 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26275967 12554145792 3006420 33554432000 4194304 16246674 140733673349104 139904270970096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22389/tid=22391] ppid=22386 vsize=12259908 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22391/stat : 22391 (toysat) S 22386 22389 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26275967 12554145792 3006420 33554432000 4194304 16246674 140733673349104 139904260480016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22389/tid=22392] ppid=22386 vsize=12259908 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22392/stat : 22392 (toysat) S 22386 22389 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26275967 12554145792 3006420 33554432000 4194304 16246674 140733673349104 139904250006704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 12259908

[startup+162.3 s]
/proc/loadavg: 2.07 2.02 2.00 4/183 22396
/proc/meminfo: memFree=14921228/32872528 swapFree=163656/177964
[pid=22389] ppid=22386 vsize=14241348 CPUtime=162.26 cores=1,3,5,7
/proc/22389/stat : 22389 (toysat) R 22386 22389 20760 0 -1 4202496 3358707 0 0 0 15767 459 0 0 20 0 4 0 26275967 14583140352 3501574 33554432000 4194304 16246674 140733673349104 140733673346944 14013908 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22389/statm: 3560337 3501574 848 2943 0 3557231 0
[pid=22389/tid=22390] ppid=22386 vsize=14241348 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22390/stat : 22390 (toysat) S 22386 22389 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26275967 14583140352 3501574 33554432000 4194304 16246674 140733673349104 139904270970096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22389/tid=22391] ppid=22386 vsize=14241348 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22391/stat : 22391 (toysat) S 22386 22389 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26275967 14583140352 3501574 33554432000 4194304 16246674 140733673349104 139904260480016 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=22389/tid=22392] ppid=22386 vsize=14241348 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22392/stat : 22392 (toysat) S 22386 22389 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26275967 14583140352 3501574 33554432000 4194304 16246674 140733673349104 139904250006704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 14241348



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+185.7 s]
/proc/loadavg: 1.98 2.00 2.00 3/183 22397
/proc/meminfo: memFree=13701756/32872528 swapFree=163656/177964
[pid=22389] ppid=22386 vsize=15891012 CPUtime=185.66 cores=1,3,5,7
/proc/22389/stat : 22389 (toysat) R 22386 22389 20760 0 -1 4202496 3771093 0 0 0 18050 516 0 0 20 0 4 0 26275967 16272396288 3913960 33554432000 4194304 16246674 140733673349104 140733673348200 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22389/statm: 3972753 3913960 848 2943 0 3969647 0
[pid=22389/tid=22390] ppid=22386 vsize=15891012 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22390/stat : 22390 (toysat) S 22386 22389 20760 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 26275967 16272396288 3913960 33554432000 4194304 16246674 140733673349104 139904270970096 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=22389/tid=22391] ppid=22386 vsize=15891012 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22391/stat : 22391 (toysat) S 22386 22389 20760 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 26275967 16272396288 3913960 33554432000 4194304 16246674 140733673349104 139904260480240 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=22389/tid=22392] ppid=22386 vsize=15891012 CPUtime=0 cores=1,3,5,7
/proc/22389/task/22392/stat : 22392 (toysat) S 22386 22389 20760 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 26275967 16272396288 3913960 33554432000 4194304 16246674 140733673349104 139904250006704 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 185.66
Current children cumulated vsize (KiB) 15891012

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 22389 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+186.007 s]
/proc/loadavg: 1.98 2.00 2.00 3/181 22397
/proc/meminfo: memFree=16908400/32872528 swapFree=163656/177964
[pid=22389] ppid=22386 vsize=0 CPUtime=185.97 cores=1,3,5,7
/proc/22389/stat : 22389 (toysat) Z 22386 22389 20760 0 -1 4203532 3771582 0 0 0 18050 547 0 0 20 0 2 0 26275967 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22389/statm: 0 0 0 0 0 0 0
[pid=22389/tid=22391] ppid=22386 vsize=0 CPUtime=0.29 cores=1,3,5,7
/proc/22389/task/22391/stat : 22391 (toysat) R 22386 22389 20760 0 -1 4203588 8 0 0 0 0 29 0 0 20 0 2 0 26275967 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 185.97
Current children cumulated vsize (KiB) 0

[startup+186.4 s]
/proc/loadavg: 1.98 2.00 2.00 3/181 22397
/proc/meminfo: memFree=16908400/32872528 swapFree=163656/177964
[pid=22389] ppid=22386 vsize=0 CPUtime=186.36 cores=1,3,5,7
/proc/22389/stat : 22389 (toysat) Z 22386 22389 20760 0 -1 4203532 3771582 0 0 0 18050 586 0 0 20 0 2 0 26275967 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22389/statm: 0 0 0 0 0 0 0
[pid=22389/tid=22391] ppid=22386 vsize=0 CPUtime=0.68 cores=1,3,5,7
/proc/22389/task/22391/stat : 22391 (toysat) R 22386 22389 20760 0 -1 4203588 8 0 0 0 0 68 0 0 20 0 2 0 26275967 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 186.36
Current children cumulated vsize (KiB) 0

[startup+186.5 s]
/proc/loadavg: 1.98 2.00 2.00 3/181 22397
/proc/meminfo: memFree=16908400/32872528 swapFree=163656/177964
[pid=22389] ppid=22386 vsize=0 CPUtime=186.46 cores=1,3,5,7
/proc/22389/stat : 22389 (toysat) Z 22386 22389 20760 0 -1 4203532 3771582 0 0 0 18050 596 0 0 20 0 2 0 26275967 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/22389/statm: 0 0 0 0 0 0 0
[pid=22389/tid=22391] ppid=22386 vsize=0 CPUtime=0.78 cores=1,3,5,7
/proc/22389/task/22391/stat : 22391 (toysat) R 22386 22389 20760 0 -1 4203588 8 0 0 0 0 78 0 0 20 0 2 0 26275967 0 0 33554432000 0 0 0 0 0 0 0 0 34082818 18446744073709551615 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 186.46
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 186.521
CPU time (s): 186.484
CPU user time (s): 180.507
CPU system time (s): 5.97709
CPU usage (%): 99.9802
Max. virtual memory (cumulated for all children) (KiB): 15891012

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 180.507
system time used= 5.97709
maximum resident set size= 15657796
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3771582
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= 61
involuntary context switches= 191

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.472928 second user time and 0.71989 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-18 11:31:00
IDJOB=4104029
IDBENCH=2545
IDSOLVER=2542
FILE ID=node105/4104029-1466242260
RUNJOBID= node105-1466229502-20777
PBS_JOBID= 19918174
Free space on /tmp= 71724 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/OPT-BIGINT/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-gesa3_o.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4104029-1466242260/watcher-4104029-1466242260 -o /tmp/evaluation-result-4104029-1466242260/solver-4104029-1466242260 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466229502-20777 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4104029-1466242260.opb

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

MD5SUM BENCH= 65c2bbddd90efb87154e28c84e06f5c3
RANDOM SEED=1512019484

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.561
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.561
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.54
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.561
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.561
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.561
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.58
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32872528 kB
MemFree:        29137856 kB
Buffers:           95836 kB
Cached:           200664 kB
SwapCached:         1664 kB
Active:          2615624 kB
Inactive:         200600 kB
Active(anon):    2517664 kB
Inactive(anon):     4408 kB
Active(file):      97960 kB
Inactive(file):   196192 kB
Unevictable:      177964 kB
Mlocked:          163656 kB
SwapTotal:      67108856 kB
SwapFree:       67097160 kB
Dirty:             17088 kB
Writeback:             0 kB
AnonPages:       2697060 kB
Mapped:            10540 kB
Shmem:                 0 kB
Slab:             603512 kB
SReclaimable:      47196 kB
SUnreclaim:       556316 kB
KernelStack:        1512 kB
PageTables:         9232 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    2839580 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:    200704 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:        7552 kB
DirectMap2M:    33538048 kB

Free space on /tmp at the end= 71708 MiB
End job on node105 at 2016-06-18 11:34:07