Trace number 4093211

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-02? (MO) 219 219.042

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/pedigree/
normalized-sheep4r_wcsp.wbo
MD5SUM6de6e540477f7e35d5e4504631857538
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2
Best CPU time to get the best result obtained on this benchmark344.145
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables89200
Total number of constraints5870368
Number of soft constraints5861448
Number of constraints which are clauses5861448
Number of constraints which are cardinality constraints (but not clauses)8920
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint10
Top cost 2447
Min constraint cost 1
Max constraint cost 2447
Sum of constraints costs 14289117012
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 11
Number of bits of the biggest sum of numbers4
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-16T23:00:27+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","--wbo","--search=bcd2","HOME/instance-4093211-1466110822.wbo"]
0.00/0.01	c use --random-gen="4233568261 3299930460 2852532831 1320937546 2932135489 1184796908 889686315 1666793096 58641254 2174176218 4153469941 1648885498 2115032804 3734230337 1880847576 2603725299 3371206425 7649109 2474934671 1783777411 2138633298 2926479304 3457809464 2290813370 3244703423 1825084233 284479435 566870390 3070737371 367255811 128594309 17464367 1552991741 2448793897 2326739214 3756921288 201387488 435767483 728324853 3303219749 2580617394 3680181284 863126871 2970962750 916627062 1733763355 3654974539 92140576 1068984415 592821173 4167466724 2266204621 2348713249 2992714085 732376647 3334588568 4056730113 1749639293 565076410 3994819976 1127939043 4267588404 2095231214 1101192345 2049338401 171290683 3361605101 4034965718 2919910952 4099453017 2371011806 3204109129 3253358953 3592516907 1710931137 1577989881 643858595 1405760369 4079360181 2071784982 4283474981 352005315 1124038076 3994056903 1851544965 3749176956 3921719195 2824252380 854232257 1110850566 308271928 3093831513 2076322598 1255490809 3689082068 2324312941 3346526462 645325990 96195968 1914960806 3104166845 2746313014 792579486 437456229 1463818080 679198623 1475140432 2626005860 258293207 1132977852 1114469204 2145882917 3979778350 3283501108 2372259559 2475759216 1252680307 1688856631 3457428081 1391682572 1004999296 2977662312 3240418263 4191846949 1464312802 4038263301 1628655319 71803028 2968821328 4244391629 46041925 2281471033 556884541 97367787 848880524 2719403462 407050677 3710719592 2361454175 884421916 1358683552 1254075853 3818559778 284731759 2035844325 2119389397 512717816 3261053222 4090697044 750974640 4074186770 397915279 2666587154 2425561668 1556797359 609893489 3948764054 4101279417 1722932687 3022211235 3873163084 3091423369 1293409897 80899727 3203230062 709391398 270759519 1474617336 4181530861 2722421369 1830411004 363121685 188433645 156908271 964057427 2204074575 1884288578 191578624 1344753278 2691099144 3645641907 2224825428 2412685677 810704482 3310648493 3327350214 2800335350 3797794823 1025451573 1682750354 2232607549 224811106 840508560 3103421907 3549307885 117655597 1424244242 1166705620 1181260973 1496326727 2684520012 3430567858 2030170906 776704226 739358790 2933708024 1037999057 3399955383 1426402216 3053684648 2480582100 679789636 774439529 2691356580 3537064914 868967757 203582290 2515981536 3107989673 2931470907 3587763810 1905586578 1372839126 906682600 4051386310 429907052 475180692 2411152951 1173668697 1179751984 3770884089 2058298318 3608563004 2256533478 4024573536 476308492 3698237732 988720165 3279543415 5372335 1258736681 3396512718 1862455724 2869696816 3278491213 2225545407 2461243716 3034105778 4057587768 3229708892 2642055893 3214857377 2072984373 2555920274 2054739911 2569494913 255 362436" option to reproduce the execution

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-4093211-1466110822/watcher-4093211-1466110822 -o /tmp/evaluation-result-4093211-1466110822/solver-4093211-1466110822 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466109021-26198 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093211-1466110822.wbo 

pid=26368
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: 1.95 2.01 2.25 3/180 26371
/proc/meminfo: memFree=30971612/32872528 swapFree=162364/176672
[pid=26371] ppid=26368 vsize=820668 CPUtime=0 cores=1,3,5,7
/proc/26371/stat : 26371 (toysat) R 26368 26371 23926 0 -1 4202496 3075 0 0 0 0 0 0 0 20 0 4 0 13132668 840364032 3946 33554432000 4194304 16246674 140736514540736 140736514540160 15002730 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26371/statm: 205679 3957 441 2943 0 202573 0
[pid=26371/tid=26372] ppid=26368 vsize=839100 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26372/stat : 26372 (toysat) S 26368 26371 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13132668 859238400 4019 33554432000 4194304 16246674 140736514540736 140580539575536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26371/tid=26373] ppid=26368 vsize=843196 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26373/stat : 26373 (toysat) S 26368 26371 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13132668 863432704 4037 33554432000 4194304 16246674 140736514540736 140580453592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26371/tid=26374] ppid=26368 vsize=847292 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26374/stat : 26374 (toysat) S 26368 26371 23926 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13132668 867627008 4054 33554432000 4194304 16246674 140736514540736 140580443118768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0

[startup+0.100162 s]
/proc/loadavg: 1.95 2.01 2.25 3/180 26371
/proc/meminfo: memFree=30971612/32872528 swapFree=162364/176672
[pid=26371] ppid=26368 vsize=1302084 CPUtime=0.09 cores=1,3,5,7
/proc/26371/stat : 26371 (toysat) R 26368 26371 23926 0 -1 4202496 29521 0 0 0 6 3 0 0 20 0 4 0 13132668 1333334016 30333 33554432000 4194304 16246674 140736514540736 140736514540048 12752373 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26371/statm: 325521 30347 801 2943 0 322415 0
[pid=26371/tid=26372] ppid=26368 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26372/stat : 26372 (toysat) S 26368 26371 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13132668 1333334016 30359 33554432000 4194304 16246674 140736514540736 140580539575536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26371/tid=26373] ppid=26368 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26373/stat : 26373 (toysat) S 26368 26371 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13132668 1333334016 30370 33554432000 4194304 16246674 140736514540736 140580453592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26371/tid=26374] ppid=26368 vsize=1302084 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26374/stat : 26374 (toysat) S 26368 26371 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13132668 1333334016 30384 33554432000 4194304 16246674 140736514540736 140580443118768 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) 1302084

[startup+0.200538 s]
/proc/loadavg: 1.95 2.01 2.25 3/180 26371
/proc/meminfo: memFree=30971612/32872528 swapFree=162364/176672
[pid=26371] ppid=26368 vsize=1312324 CPUtime=0.19 cores=1,3,5,7
/proc/26371/stat : 26371 (toysat) R 26368 26371 23926 0 -1 4202496 46058 0 0 0 14 5 0 0 20 0 4 0 13132668 1343819776 47380 33554432000 4194304 16246674 140736514540736 140736514540048 7387463 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26371/statm: 328081 47380 802 2943 0 324975 0
[pid=26371/tid=26372] ppid=26368 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26372/stat : 26372 (toysat) S 26368 26371 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13132668 1343819776 47380 33554432000 4194304 16246674 140736514540736 140580539575536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26371/tid=26373] ppid=26368 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26373/stat : 26373 (toysat) S 26368 26371 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13132668 1343819776 47380 33554432000 4194304 16246674 140736514540736 140580453592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26371/tid=26374] ppid=26368 vsize=1312324 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26374/stat : 26374 (toysat) S 26368 26371 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13132668 1343819776 47380 33554432000 4194304 16246674 140736514540736 140580443118768 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) 1312324

[startup+0.300545 s]
/proc/loadavg: 1.95 2.01 2.25 3/180 26371
/proc/meminfo: memFree=30971612/32872528 swapFree=162364/176672
[pid=26371] ppid=26368 vsize=1314372 CPUtime=0.28 cores=1,3,5,7
/proc/26371/stat : 26371 (toysat) R 26368 26371 23926 0 -1 4202496 61864 0 0 0 21 7 0 0 20 0 4 0 13132668 1345916928 63186 33554432000 4194304 16246674 140736514540736 140736514540048 7364368 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26371/statm: 328593 63186 802 2943 0 325487 0
[pid=26371/tid=26372] ppid=26368 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26372/stat : 26372 (toysat) S 26368 26371 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13132668 1345916928 63186 33554432000 4194304 16246674 140736514540736 140580539575536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26371/tid=26373] ppid=26368 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26373/stat : 26373 (toysat) S 26368 26371 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13132668 1345916928 63186 33554432000 4194304 16246674 140736514540736 140580453592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26371/tid=26374] ppid=26368 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26374/stat : 26374 (toysat) S 26368 26371 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13132668 1345916928 63186 33554432000 4194304 16246674 140736514540736 140580443118768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 1314372

[startup+0.700376 s]
/proc/loadavg: 1.95 2.01 2.25 3/180 26371
/proc/meminfo: memFree=30971612/32872528 swapFree=162364/176672
[pid=26371] ppid=26368 vsize=1314372 CPUtime=0.69 cores=1,3,5,7
/proc/26371/stat : 26371 (toysat) R 26368 26371 23926 0 -1 4202496 74954 0 0 0 60 9 0 0 20 0 4 0 13132668 1345916928 76276 33554432000 4194304 16246674 140736514540736 140736514540048 4220897 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26371/statm: 328593 76276 803 2943 0 325487 0
[pid=26371/tid=26372] ppid=26368 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26372/stat : 26372 (toysat) S 26368 26371 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13132668 1345916928 76276 33554432000 4194304 16246674 140736514540736 140580539575536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26371/tid=26373] ppid=26368 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26373/stat : 26373 (toysat) S 26368 26371 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13132668 1345916928 76276 33554432000 4194304 16246674 140736514540736 140580453592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26371/tid=26374] ppid=26368 vsize=1314372 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26374/stat : 26374 (toysat) S 26368 26371 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13132668 1345916928 76276 33554432000 4194304 16246674 140736514540736 140580443118768 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) 1314372

[startup+1.50045 s]
/proc/loadavg: 1.95 2.01 2.25 3/184 26375
/proc/meminfo: memFree=30461240/32872528 swapFree=162364/176672
[pid=26371] ppid=26368 vsize=1326660 CPUtime=1.49 cores=1,3,5,7
/proc/26371/stat : 26371 (toysat) R 26368 26371 23926 0 -1 4202496 94942 0 0 0 137 12 0 0 20 0 4 0 13132668 1358499840 98308 33554432000 4194304 16246674 140736514540736 140736514523728 14810534 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26371/statm: 331665 98308 803 2943 0 328559 0
[pid=26371/tid=26372] ppid=26368 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26372/stat : 26372 (toysat) S 26368 26371 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13132668 1358499840 98308 33554432000 4194304 16246674 140736514540736 140580539575536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26371/tid=26373] ppid=26368 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26373/stat : 26373 (toysat) S 26368 26371 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13132668 1358499840 98308 33554432000 4194304 16246674 140736514540736 140580453592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26371/tid=26374] ppid=26368 vsize=1326660 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26374/stat : 26374 (toysat) S 26368 26371 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13132668 1358499840 98308 33554432000 4194304 16246674 140736514540736 140580443118768 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) 1326660

[startup+3.10043 s]
/proc/loadavg: 1.95 2.01 2.25 3/184 26375
/proc/meminfo: memFree=30202548/32872528 swapFree=162364/176672
[pid=26371] ppid=26368 vsize=1351236 CPUtime=3.09 cores=1,3,5,7
/proc/26371/stat : 26371 (toysat) R 26368 26371 23926 0 -1 4202496 148055 0 0 0 290 19 0 0 20 0 4 0 13132668 1383665664 156021 33554432000 4194304 16246674 140736514540736 140736514539832 7364033 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26371/statm: 337809 156038 803 2943 0 334703 0
[pid=26371/tid=26372] ppid=26368 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26372/stat : 26372 (toysat) S 26368 26371 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13132668 1383665664 156049 33554432000 4194304 16246674 140736514540736 140580539575536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26371/tid=26373] ppid=26368 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26373/stat : 26373 (toysat) S 26368 26371 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13132668 1383665664 156059 33554432000 4194304 16246674 140736514540736 140580453592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26371/tid=26374] ppid=26368 vsize=1351236 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26374/stat : 26374 (toysat) S 26368 26371 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13132668 1383665664 156070 33554432000 4194304 16246674 140736514540736 140580443118768 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) 1351236

[startup+6.3003 s]
/proc/loadavg: 2.03 2.03 2.26 3/184 26375
/proc/meminfo: memFree=29318424/32872528 swapFree=162364/176672
[pid=26371] ppid=26368 vsize=1400388 CPUtime=6.29 cores=1,3,5,7
/proc/26371/stat : 26371 (toysat) R 26368 26371 23926 0 -1 4202496 247704 0 0 0 596 33 0 0 20 0 4 0 13132668 1433997312 264867 33554432000 4194304 16246674 140736514540736 140736514540048 7440106 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26371/statm: 350097 264867 803 2943 0 346991 0
[pid=26371/tid=26372] ppid=26368 vsize=1400388 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26372/stat : 26372 (toysat) S 26368 26371 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13132668 1433997312 264867 33554432000 4194304 16246674 140736514540736 140580539575536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26371/tid=26373] ppid=26368 vsize=1400388 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26373/stat : 26373 (toysat) S 26368 26371 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13132668 1433997312 264867 33554432000 4194304 16246674 140736514540736 140580453592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26371/tid=26374] ppid=26368 vsize=1400388 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26374/stat : 26374 (toysat) S 26368 26371 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13132668 1433997312 264867 33554432000 4194304 16246674 140736514540736 140580443118768 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) 1400388

[startup+12.7005 s]
/proc/loadavg: 2.11 2.04 2.26 3/184 26375
/proc/meminfo: memFree=28116488/32872528 swapFree=162364/176672
[pid=26371] ppid=26368 vsize=1832516 CPUtime=12.69 cores=1,3,5,7
/proc/26371/stat : 26371 (toysat) R 26368 26371 23926 0 -1 4202496 354218 0 0 0 1219 50 0 0 20 0 4 0 13132668 1876496384 392843 33554432000 4194304 16246674 140736514540736 140736514539832 7388800 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26371/statm: 458129 392843 803 2943 0 455023 0
[pid=26371/tid=26372] ppid=26368 vsize=1832516 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26372/stat : 26372 (toysat) S 26368 26371 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13132668 1876496384 392843 33554432000 4194304 16246674 140736514540736 140580539575536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26371/tid=26373] ppid=26368 vsize=1832516 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26373/stat : 26373 (toysat) S 26368 26371 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13132668 1876496384 392843 33554432000 4194304 16246674 140736514540736 140580453592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26371/tid=26374] ppid=26368 vsize=1832516 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26374/stat : 26374 (toysat) S 26368 26371 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13132668 1876496384 392843 33554432000 4194304 16246674 140736514540736 140580443118768 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) 1832516

[startup+25.5005 s]
/proc/loadavg: 2.09 2.04 2.26 3/184 26376
/proc/meminfo: memFree=25333088/32872528 swapFree=162364/176672
[pid=26371] ppid=26368 vsize=3238468 CPUtime=25.49 cores=1,3,5,7
/proc/26371/stat : 26371 (toysat) R 26368 26371 23926 0 -1 4202496 656658 0 0 0 2444 105 0 0 20 0 4 0 13132668 3316191232 739740 33554432000 4194304 16246674 140736514540736 140736514539832 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26371/statm: 809617 739740 804 2943 0 806511 0
[pid=26371/tid=26372] ppid=26368 vsize=3238468 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26372/stat : 26372 (toysat) S 26368 26371 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13132668 3316191232 739740 33554432000 4194304 16246674 140736514540736 140580539575536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26371/tid=26373] ppid=26368 vsize=3238468 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26373/stat : 26373 (toysat) S 26368 26371 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13132668 3316191232 739740 33554432000 4194304 16246674 140736514540736 140580453592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26371/tid=26374] ppid=26368 vsize=3238468 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26374/stat : 26374 (toysat) S 26368 26371 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13132668 3316191232 739740 33554432000 4194304 16246674 140736514540736 140580443118768 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) 3238468

[startup+51.1005 s]
/proc/loadavg: 2.06 2.03 2.25 3/184 26399
/proc/meminfo: memFree=20213656/32872528 swapFree=162364/176672
[pid=26371] ppid=26368 vsize=5745220 CPUtime=51.08 cores=1,3,5,7
/proc/26371/stat : 26371 (toysat) R 26368 26371 23926 0 -1 4202496 1283408 0 0 0 4896 212 0 0 20 0 4 0 13132668 5883105280 1378243 33554432000 4194304 16246674 140736514540736 140736514539832 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26371/statm: 1436305 1378243 836 2943 0 1433199 0
[pid=26371/tid=26372] ppid=26368 vsize=5745220 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26372/stat : 26372 (toysat) S 26368 26371 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13132668 5883105280 1378243 33554432000 4194304 16246674 140736514540736 140580539575536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26371/tid=26373] ppid=26368 vsize=5745220 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26373/stat : 26373 (toysat) S 26368 26371 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13132668 5883105280 1378243 33554432000 4194304 16246674 140736514540736 140580453592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26371/tid=26374] ppid=26368 vsize=5745220 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26374/stat : 26374 (toysat) S 26368 26371 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13132668 5883105280 1378243 33554432000 4194304 16246674 140736514540736 140580443118768 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) 5745220

[startup+102.301 s]
/proc/loadavg: 2.10 2.04 2.24 3/183 26400
/proc/meminfo: memFree=7326700/32872528 swapFree=162364/176672
[pid=26371] ppid=26368 vsize=12061252 CPUtime=102.29 cores=1,3,5,7
/proc/26371/stat : 26371 (toysat) R 26368 26371 23926 0 -1 4202496 2862319 0 0 0 9790 439 0 0 20 0 4 0 13132668 12350722048 2957155 33554432000 4194304 16246674 140736514540736 140736514539400 4221105 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26371/statm: 3015313 2957157 839 2943 0 3012207 0
[pid=26371/tid=26372] ppid=26368 vsize=12061252 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26372/stat : 26372 (toysat) S 26368 26371 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13132668 12350722048 2957179 33554432000 4194304 16246674 140736514540736 140580539575536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26371/tid=26373] ppid=26368 vsize=12061252 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26373/stat : 26373 (toysat) S 26368 26371 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13132668 12350722048 2957184 33554432000 4194304 16246674 140736514540736 140580453592080 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=26371/tid=26374] ppid=26368 vsize=12061252 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26374/stat : 26374 (toysat) S 26368 26371 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13132668 12350722048 2957188 33554432000 4194304 16246674 140736514540736 140580443118768 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) 12061252

[startup+162.3 s]
/proc/loadavg: 2.03 2.03 2.22 3/183 26401
/proc/meminfo: memFree=5942624/32872528 swapFree=162364/176672
[pid=26371] ppid=26368 vsize=12866116 CPUtime=162.27 cores=1,3,5,7
/proc/26371/stat : 26371 (toysat) R 26368 26371 23926 0 -1 4202496 3063643 0 0 0 15729 498 0 0 20 0 4 0 13132668 13174902784 3158478 33554432000 4194304 16246674 140736514540736 140736514539912 14628944 0 0 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26371/statm: 3216529 3158478 840 2943 0 3213423 0
[pid=26371/tid=26372] ppid=26368 vsize=12866116 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26372/stat : 26372 (toysat) S 26368 26371 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13132668 13174902784 3158478 33554432000 4194304 16246674 140736514540736 140580539575536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26371/tid=26373] ppid=26368 vsize=12866116 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26373/stat : 26373 (toysat) S 26368 26371 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13132668 13174902784 3158478 33554432000 4194304 16246674 140736514540736 140580453592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26371/tid=26374] ppid=26368 vsize=12866116 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26374/stat : 26374 (toysat) S 26368 26371 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13132668 13174902784 3158478 33554432000 4194304 16246674 140736514540736 140580443118768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 162.27
Current children cumulated vsize (KiB) 12866116



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+218.2 s]
/proc/loadavg: 2.01 2.02 2.21 3/181 26402
/proc/meminfo: memFree=3919332/32872528 swapFree=162364/176672
[pid=26371] ppid=26368 vsize=15888964 CPUtime=218.15 cores=1,3,5,7
/proc/26371/stat : 26371 (toysat) R 26368 26371 23926 0 -1 4202496 3763482 0 0 0 21193 622 0 0 20 0 4 0 13132668 16270299136 3912994 33554432000 4194304 16246674 140736514540736 140736514539832 15015658 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26371/statm: 3972241 3912994 844 2943 0 3969135 0
[pid=26371/tid=26372] ppid=26368 vsize=15888964 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26372/stat : 26372 (toysat) S 26368 26371 23926 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13132668 16270299136 3912994 33554432000 4194304 16246674 140736514540736 140580539575536 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 5 0 0 0 0 0
[pid=26371/tid=26373] ppid=26368 vsize=15888964 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26373/stat : 26373 (toysat) S 26368 26371 23926 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 4 0 13132668 16270299136 3912994 33554432000 4194304 16246674 140736514540736 140580453592304 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 1 0 0 0 0 0
[pid=26371/tid=26374] ppid=26368 vsize=15888964 CPUtime=0 cores=1,3,5,7
/proc/26371/task/26374/stat : 26374 (toysat) S 26368 26371 23926 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13132668 16270299136 3912994 33554432000 4194304 16246674 140736514540736 140580443118768 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 5 0 0 0 0 0
Current children cumulated CPU time (s) 218.15
Current children cumulated vsize (KiB) 15888964

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

[startup+218.4 s]
/proc/loadavg: 2.01 2.02 2.21 3/181 26402
/proc/meminfo: memFree=3919332/32872528 swapFree=162364/176672
[pid=26371] ppid=26368 vsize=0 CPUtime=218.35 cores=1,3,5,7
/proc/26371/stat : 26371 (toysat) Z 26368 26371 23926 0 -1 4203532 3763873 0 0 0 21193 642 0 0 20 0 2 0 13132668 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26371/statm: 0 0 0 0 0 0 0
[pid=26371/tid=26373] ppid=26368 vsize=0 CPUtime=0.18 cores=1,3,5,7
/proc/26371/task/26373/stat : 26373 (toysat) R 26368 26371 23926 0 -1 4203588 7 0 0 0 0 18 0 0 20 0 2 0 13132668 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) 218.35
Current children cumulated vsize (KiB) 0

[startup+218.8 s]
/proc/loadavg: 2.01 2.02 2.21 3/181 26402
/proc/meminfo: memFree=3919332/32872528 swapFree=162364/176672
[pid=26371] ppid=26368 vsize=0 CPUtime=218.75 cores=1,3,5,7
/proc/26371/stat : 26371 (toysat) Z 26368 26371 23926 0 -1 4203532 3763873 0 0 0 21193 682 0 0 20 0 2 0 13132668 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26371/statm: 0 0 0 0 0 0 0
[pid=26371/tid=26373] ppid=26368 vsize=0 CPUtime=0.58 cores=1,3,5,7
/proc/26371/task/26373/stat : 26373 (toysat) R 26368 26371 23926 0 -1 4203588 7 0 0 0 0 58 0 0 20 0 2 0 13132668 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) 218.75
Current children cumulated vsize (KiB) 0

[startup+219.007 s]
/proc/loadavg: 2.01 2.02 2.21 2/175 26406
/proc/meminfo: memFree=29041948/32872528 swapFree=162364/176672
[pid=26371] ppid=26368 vsize=0 CPUtime=218.96 cores=1,3,5,7
/proc/26371/stat : 26371 (toysat) Z 26368 26371 23926 0 -1 4203532 3763873 0 0 0 21193 703 0 0 20 0 2 0 13132668 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 3 0 0 0 0 0
/proc/26371/statm: 0 0 0 0 0 0 0
[pid=26371/tid=26373] ppid=26368 vsize=0 CPUtime=0.79 cores=1,3,5,7
/proc/26371/task/26373/stat : 26373 (toysat) R 26368 26371 23926 0 -1 4203588 7 0 0 0 0 79 0 0 20 0 2 0 13132668 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) 218.96
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 219.042
CPU time (s): 219
CPU user time (s): 211.94
CPU system time (s): 7.05993
CPU usage (%): 99.9806
Max. virtual memory (cumulated for all children) (KiB): 15888964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 211.94
system time used= 7.05993
maximum resident set size= 15653540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3763873
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= 40
involuntary context switches= 238

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.677896 second user time and 1.05984 second system time

The end

Launcher Data 

Begin job on node105 at 2016-06-16 23:00:27
IDJOB=4093211
IDBENCH=79629
IDSOLVER=2553
FILE ID=node105/4093211-1466110822
RUNJOBID= node105-1466109021-26198
PBS_JOBID= 19904031
Free space on /tmp= 71248 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB10/normalized-PB10/PARTIAL-BIGINT-LIN/wcsp/pedigree/normalized-sheep4r_wcsp.wbo
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --wbo --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4093211-1466110822/watcher-4093211-1466110822 -o /tmp/evaluation-result-4093211-1466110822/solver-4093211-1466110822 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node105-1466109021-26198 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093211-1466110822.wbo

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

MD5SUM BENCH= 6de6e540477f7e35d5e4504631857538
RANDOM SEED=1546287900

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:        30975976 kB
Buffers:           59324 kB
Cached:           662804 kB
SwapCached:         1480 kB
Active:           887708 kB
Inactive:          94656 kB
Active(anon):     261024 kB
Inactive(anon):     1660 kB
Active(file):     626684 kB
Inactive(file):    92996 kB
Unevictable:      176672 kB
Mlocked:          162364 kB
SwapTotal:      67108856 kB
SwapFree:       67097232 kB
Dirty:            544784 kB
Writeback:             0 kB
AnonPages:        431920 kB
Mapped:            10120 kB
Shmem:                 0 kB
Slab:             604672 kB
SReclaimable:      43800 kB
SUnreclaim:       560872 kB
KernelStack:        1384 kB
PageTables:         6464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1401052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     14336 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= 71216 MiB
End job on node105 at 2016-06-16 23:04:07