Trace number 4093206

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) 220.781 234.629

General information on the benchmark

Name/PARTIAL-BIGINT-LIN/wcsp/pedigree/
normalized-sheep4nr_wcsp.wbo
MD5SUM838792388aba1cb33fb875c1c7fc5e90
Bench CategoryPARTIAL-BIGINT-LIN (both soft and hard constraints, big integers, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark23
Best CPU time to get the best result obtained on this benchmark409.444
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables89900
Total number of constraints5924003
Number of soft constraints5915013
Number of constraints which are clauses5915013
Number of constraints which are cardinality constraints (but not clauses)8990
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint10
Top cost 2482
Min constraint cost 1
Max constraint cost 2482
Sum of constraints costs 14625664017
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-16T22:50:05+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-4093206-1466110201.wbo"]
0.00/0.01	c use --random-gen="3026790451 2216979863 858049290 2054303202 2115705324 1093347808 2308389116 862798323 1404630382 333246813 2272068461 2009647652 1708835435 2525678079 872409707 1036139792 1001043931 1862621956 3708273892 689620790 1324737045 3812843100 2793389032 1072963947 753951138 3952098428 1015007130 4162205588 1497848757 2314022421 4069766508 1241343061 2795755423 396363663 16010292 662720865 2049960396 2252399350 4245576745 28313783 1317328086 2015277589 971238487 2819336224 3943732194 2436000549 97624334 3523355394 2275379937 3995592496 3798364681 1874497854 2771173147 4081357611 2637298469 4097691038 4102289561 3803757703 1784616436 1161917826 3995701330 3071873700 4167004449 155942558 1374397321 2273467638 1570089391 2157454573 3038953421 3928510759 178801646 3242512077 3965822755 524821959 2967463679 1853725005 2362701987 1434586538 336138495 416346069 300039467 3691747206 2098376029 1775877080 1353010112 3568044205 3782093880 2033776113 3717046667 268441078 685916266 2863766081 240534215 3629956311 1959936787 993984416 1616003884 82578937 3327286418 2168265809 2435528605 2942020977 2508143104 3151715266 1734811664 3534311019 3294971074 3497911171 3301821359 4011222738 3199099142 3624920699 1756899821 1255670664 2162437223 855537195 922961921 4209433019 3755421704 3903844978 973678451 1036490593 1922968311 1501448918 4072698026 1903306618 1141919974 3775818003 3010895054 164759834 2785581491 465994213 2512936320 1452120544 1125928291 4140722088 4202754059 1631656737 614876728 2684783631 436351504 3158733105 202871544 879100243 2503279526 3481247016 3002701306 2371357435 645567283 2080003282 296177669 1550026050 369064746 2880212362 3448786163 1048244734 1756655924 2123038047 3507184831 3347689328 4072016780 2414603304 3817650082 3054816939 2879876662 2594384165 2166527544 979168750 757054144 2557140613 2508309470 3391478462 655284513 1432239868 3675200742 1794015522 2586771881 1782888649 2869292842 3748196547 3094300454 1576363596 60635678 878996392 1150529705 2306438133 2365856068 656058807 3477545223 1631989196 2824483990 3772650224 3851256647 4042780179 2495863088 130758943 1054976191 2727341075 366556322 940252876 657440775 3473889114 2058606311 3527967624 2680290585 2374608384 4272223311 853651968 2115948781 370452649 3372933875 1188062890 1369108656 3670097114 934226860 1695216106 1204825285 711807053 2788944537 1378576833 1285409540 4110839081 3613807503 2797728543 2108208026 2444209422 2820072062 56880868 1473539743 2585579338 2666555443 2454192061 991128111 3026192937 3004875034 1443248969 3705637212 382858683 3161399337 2580660219 3607849737 1883058884 3295982980 1476301758 3948745454 4140597935 906608820 875112791 948544862 1639467997 2916380836 2746662161 3431556454 887142 2028216952 3181278050 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-4093206-1466110201/watcher-4093206-1466110201 -o /tmp/evaluation-result-4093206-1466110201/solver-4093206-1466110201 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node123-1466110176-17966 --watchdog 1960 toysat +RTS -H1G -M15500m -K1G -RTS --wbo --search=bcd2 HOME/instance-4093206-1466110201.wbo 

pid=18097
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: 1.61 1.34 1.38 3/180 18100
/proc/meminfo: memFree=29356712/32872528 swapFree=17100/1797424
[pid=18100] ppid=18097 vsize=769468 CPUtime=0 cores=0,2,4,6
/proc/18100/stat : 18100 (toysat) R 18097 18100 15996 0 -1 4202496 2879 0 0 0 0 0 0 0 20 0 4 0 13067663 787935232 2730 33554432000 4194304 16246674 140734810217664 140734810217088 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18100/statm: 192879 2738 441 2943 0 189773 0
[pid=18100/tid=18101] ppid=18097 vsize=786876 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18101/stat : 18101 (toysat) S 18097 18100 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13067663 805761024 2798 33554432000 4194304 16246674 140734810217664 140398665116912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18100/tid=18102] ppid=18097 vsize=791996 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18102/stat : 18102 (toysat) S 18097 18100 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13067663 811003904 2819 33554432000 4194304 16246674 140734810217664 140398654627056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18100/tid=18103] ppid=18097 vsize=796092 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18103/stat : 18103 (toysat) S 18097 18100 15996 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 13067663 815198208 2835 33554432000 4194304 16246674 140734810217664 140398644153520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100182 s]
/proc/loadavg: 1.61 1.34 1.38 3/180 18100
/proc/meminfo: memFree=29356712/32872528 swapFree=17100/1797424
[pid=18100] ppid=18097 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/18100/stat : 18100 (toysat) R 18097 18100 15996 0 -1 4202496 29740 0 0 0 6 3 0 0 20 0 4 0 13067663 1333334016 29530 33554432000 4194304 16246674 140734810217664 140734810200656 14073329 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18100/statm: 325521 29543 801 2943 0 322415 0
[pid=18100/tid=18101] ppid=18097 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18101/stat : 18101 (toysat) S 18097 18100 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13067663 1333334016 29555 33554432000 4194304 16246674 140734810217664 140398665116912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18100/tid=18102] ppid=18097 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18102/stat : 18102 (toysat) S 18097 18100 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13067663 1333334016 29567 33554432000 4194304 16246674 140734810217664 140398654627056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18100/tid=18103] ppid=18097 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18103/stat : 18103 (toysat) S 18097 18100 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13067663 1333334016 29578 33554432000 4194304 16246674 140734810217664 140398644153520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 1302084

[startup+0.200509 s]
/proc/loadavg: 1.61 1.34 1.38 3/180 18100
/proc/meminfo: memFree=29356712/32872528 swapFree=17100/1797424
[pid=18100] ppid=18097 vsize=1312324 CPUtime=0.19 cores=0,2,4,6
/proc/18100/stat : 18100 (toysat) R 18097 18100 15996 0 -1 4202496 46056 0 0 0 13 6 0 0 20 0 4 0 13067663 1343819776 46357 33554432000 4194304 16246674 140734810217664 140734810200656 7918810 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18100/statm: 328081 46357 802 2943 0 324975 0
[pid=18100/tid=18101] ppid=18097 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18101/stat : 18101 (toysat) S 18097 18100 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13067663 1343819776 46357 33554432000 4194304 16246674 140734810217664 140398665116912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18100/tid=18102] ppid=18097 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18102/stat : 18102 (toysat) S 18097 18100 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13067663 1343819776 46361 33554432000 4194304 16246674 140734810217664 140398654627056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18100/tid=18103] ppid=18097 vsize=1312324 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18103/stat : 18103 (toysat) S 18097 18100 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13067663 1343819776 46361 33554432000 4194304 16246674 140734810217664 140398644153520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 1312324

[startup+0.300492 s]
/proc/loadavg: 1.61 1.34 1.38 3/180 18100
/proc/meminfo: memFree=29356712/32872528 swapFree=17100/1797424
[pid=18100] ppid=18097 vsize=1314372 CPUtime=0.29 cores=0,2,4,6
/proc/18100/stat : 18100 (toysat) R 18097 18100 15996 0 -1 4202496 61793 0 0 0 21 8 0 0 20 0 4 0 13067663 1345916928 62094 33554432000 4194304 16246674 140734810217664 140734810200656 8058708 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18100/statm: 328593 62094 802 2943 0 325487 0
[pid=18100/tid=18101] ppid=18097 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18101/stat : 18101 (toysat) S 18097 18100 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13067663 1345916928 62094 33554432000 4194304 16246674 140734810217664 140398665116912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18100/tid=18102] ppid=18097 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18102/stat : 18102 (toysat) S 18097 18100 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13067663 1345916928 62094 33554432000 4194304 16246674 140734810217664 140398654627056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18100/tid=18103] ppid=18097 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18103/stat : 18103 (toysat) S 18097 18100 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13067663 1345916928 62094 33554432000 4194304 16246674 140734810217664 140398644153520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 1314372

[startup+0.700402 s]
/proc/loadavg: 1.61 1.34 1.38 3/180 18100
/proc/meminfo: memFree=29356712/32872528 swapFree=17100/1797424
[pid=18100] ppid=18097 vsize=1314372 CPUtime=0.69 cores=0,2,4,6
/proc/18100/stat : 18100 (toysat) R 18097 18100 15996 0 -1 4202496 74943 0 0 0 58 11 0 0 20 0 4 0 13067663 1345916928 75244 33554432000 4194304 16246674 140734810217664 140734810200656 4220897 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18100/statm: 328593 75244 803 2943 0 325487 0
[pid=18100/tid=18101] ppid=18097 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18101/stat : 18101 (toysat) S 18097 18100 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13067663 1345916928 75244 33554432000 4194304 16246674 140734810217664 140398665116912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18100/tid=18102] ppid=18097 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18102/stat : 18102 (toysat) S 18097 18100 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13067663 1345916928 75244 33554432000 4194304 16246674 140734810217664 140398654627056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18100/tid=18103] ppid=18097 vsize=1314372 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18103/stat : 18103 (toysat) S 18097 18100 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13067663 1345916928 75244 33554432000 4194304 16246674 140734810217664 140398644153520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 1314372

[startup+1.50037 s]
/proc/loadavg: 1.61 1.34 1.38 3/184 18104
/proc/meminfo: memFree=28807768/32872528 swapFree=17100/1797424
[pid=18100] ppid=18097 vsize=1326660 CPUtime=1.49 cores=0,2,4,6
/proc/18100/stat : 18100 (toysat) R 18097 18100 15996 0 -1 4202496 97657 0 0 0 135 14 0 0 20 0 4 0 13067663 1358499840 100002 33554432000 4194304 16246674 140734810217664 140734810215488 7372349 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18100/statm: 331665 100002 803 2943 0 328559 0
[pid=18100/tid=18101] ppid=18097 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18101/stat : 18101 (toysat) S 18097 18100 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13067663 1358499840 100002 33554432000 4194304 16246674 140734810217664 140398665116912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18100/tid=18102] ppid=18097 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18102/stat : 18102 (toysat) S 18097 18100 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13067663 1358499840 100002 33554432000 4194304 16246674 140734810217664 140398654627056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18100/tid=18103] ppid=18097 vsize=1326660 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18103/stat : 18103 (toysat) S 18097 18100 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13067663 1358499840 100002 33554432000 4194304 16246674 140734810217664 140398644153520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 1326660

[startup+3.10042 s]
/proc/loadavg: 1.61 1.34 1.38 3/184 18104
/proc/meminfo: memFree=28548508/32872528 swapFree=17100/1797424
[pid=18100] ppid=18097 vsize=1351236 CPUtime=3.09 cores=0,2,4,6
/proc/18100/stat : 18100 (toysat) R 18097 18100 15996 0 -1 4202496 150969 0 0 0 288 21 0 0 20 0 4 0 13067663 1383665664 158936 33554432000 4194304 16246674 140734810217664 140734810199552 7372986 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18100/statm: 337809 158952 803 2943 0 334703 0
[pid=18100/tid=18101] ppid=18097 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18101/stat : 18101 (toysat) S 18097 18100 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13067663 1383665664 158963 33554432000 4194304 16246674 140734810217664 140398665116912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18100/tid=18102] ppid=18097 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18102/stat : 18102 (toysat) S 18097 18100 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13067663 1383665664 158974 33554432000 4194304 16246674 140734810217664 140398654627056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18100/tid=18103] ppid=18097 vsize=1351236 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18103/stat : 18103 (toysat) S 18097 18100 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13067663 1383665664 158984 33554432000 4194304 16246674 140734810217664 140398644153520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1351236

[startup+6.30042 s]
/proc/loadavg: 1.72 1.37 1.39 4/184 18104
/proc/meminfo: memFree=27708812/32872528 swapFree=17100/1797424
[pid=18100] ppid=18097 vsize=1400388 CPUtime=6.28 cores=0,2,4,6
/proc/18100/stat : 18100 (toysat) R 18097 18100 15996 0 -1 4202496 269112 0 0 0 592 36 0 0 20 0 4 0 13067663 1433997312 286787 33554432000 4194304 16246674 140734810217664 140734810200656 4220871 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18100/statm: 350097 286787 803 2943 0 346991 0
[pid=18100/tid=18101] ppid=18097 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18101/stat : 18101 (toysat) S 18097 18100 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13067663 1433997312 286787 33554432000 4194304 16246674 140734810217664 140398665116912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18100/tid=18102] ppid=18097 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18102/stat : 18102 (toysat) S 18097 18100 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13067663 1433997312 286787 33554432000 4194304 16246674 140734810217664 140398654627056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18100/tid=18103] ppid=18097 vsize=1400388 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18103/stat : 18103 (toysat) S 18097 18100 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13067663 1433997312 286787 33554432000 4194304 16246674 140734810217664 140398644153520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 1400388

[startup+12.7004 s]
/proc/loadavg: 1.82 1.39 1.40 3/184 18104
/proc/meminfo: memFree=26491280/32872528 swapFree=17100/1797424
[pid=18100] ppid=18097 vsize=1832516 CPUtime=12.69 cores=0,2,4,6
/proc/18100/stat : 18100 (toysat) R 18097 18100 15996 0 -1 4202496 352703 0 0 0 1219 50 0 0 20 0 4 0 13067663 1876496384 391329 33554432000 4194304 16246674 140734810217664 140734810200656 4220850 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18100/statm: 458129 391329 803 2943 0 455023 0
[pid=18100/tid=18101] ppid=18097 vsize=1832516 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18101/stat : 18101 (toysat) S 18097 18100 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13067663 1876496384 391329 33554432000 4194304 16246674 140734810217664 140398665116912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18100/tid=18102] ppid=18097 vsize=1832516 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18102/stat : 18102 (toysat) S 18097 18100 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13067663 1876496384 391329 33554432000 4194304 16246674 140734810217664 140398654627056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18100/tid=18103] ppid=18097 vsize=1832516 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18103/stat : 18103 (toysat) S 18097 18100 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13067663 1876496384 391329 33554432000 4194304 16246674 140734810217664 140398644153520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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: 1.93 1.44 1.41 3/184 18104
/proc/meminfo: memFree=23707376/32872528 swapFree=17100/1797424
[pid=18100] ppid=18097 vsize=3238468 CPUtime=25.49 cores=0,2,4,6
/proc/18100/stat : 18100 (toysat) R 18097 18100 15996 0 -1 4202496 655125 0 0 0 2443 106 0 0 20 0 4 0 13067663 3316191232 738208 33554432000 4194304 16246674 140734810217664 140734810216840 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18100/statm: 809617 738208 803 2943 0 806511 0
[pid=18100/tid=18101] ppid=18097 vsize=3238468 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18101/stat : 18101 (toysat) S 18097 18100 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13067663 3316191232 738208 33554432000 4194304 16246674 140734810217664 140398665116912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18100/tid=18102] ppid=18097 vsize=3238468 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18102/stat : 18102 (toysat) S 18097 18100 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13067663 3316191232 738208 33554432000 4194304 16246674 140734810217664 140398654627056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18100/tid=18103] ppid=18097 vsize=3238468 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18103/stat : 18103 (toysat) S 18097 18100 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13067663 3316191232 738208 33554432000 4194304 16246674 140734810217664 140398644153520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 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.02 1.50 1.43 3/184 18104
/proc/meminfo: memFree=18584620/32872528 swapFree=17100/1797424
[pid=18100] ppid=18097 vsize=5745220 CPUtime=51.08 cores=0,2,4,6
/proc/18100/stat : 18100 (toysat) R 18097 18100 15996 0 -1 4202496 1281877 0 0 0 4904 204 0 0 20 0 4 0 13067663 5883105280 1377224 33554432000 4194304 16246674 140734810217664 140734810216840 15015658 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18100/statm: 1436305 1377224 836 2943 0 1433199 0
[pid=18100/tid=18101] ppid=18097 vsize=5745220 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18101/stat : 18101 (toysat) S 18097 18100 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13067663 5883105280 1377224 33554432000 4194304 16246674 140734810217664 140398665116912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18100/tid=18102] ppid=18097 vsize=5745220 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18102/stat : 18102 (toysat) S 18097 18100 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13067663 5883105280 1377224 33554432000 4194304 16246674 140734810217664 140398654627056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18100/tid=18103] ppid=18097 vsize=5745220 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18103/stat : 18103 (toysat) S 18097 18100 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13067663 5883105280 1377224 33554432000 4194304 16246674 140734810217664 140398644153520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 5745220

[startup+102.3 s]
/proc/loadavg: 2.05 1.59 1.46 4/183 18105
/proc/meminfo: memFree=5991812/32872528 swapFree=17100/1797424
[pid=18100] ppid=18097 vsize=12037700 CPUtime=102.28 cores=0,2,4,6
/proc/18100/stat : 18100 (toysat) R 18097 18100 15996 0 -1 4202496 2854878 0 0 0 9796 432 0 0 20 0 4 0 13067663 12326604800 2950225 33554432000 4194304 16246674 140734810217664 140734810215488 4221016 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18100/statm: 3009425 2950227 839 2943 0 3006319 0
[pid=18100/tid=18101] ppid=18097 vsize=12037700 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18101/stat : 18101 (toysat) S 18097 18100 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13067663 12326604800 2950243 33554432000 4194304 16246674 140734810217664 140398665116912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18100/tid=18102] ppid=18097 vsize=12037700 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18102/stat : 18102 (toysat) S 18097 18100 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13067663 12326604800 2950248 33554432000 4194304 16246674 140734810217664 140398654626832 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=18100/tid=18103] ppid=18097 vsize=12037700 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18103/stat : 18103 (toysat) S 18097 18100 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13067663 12326604800 2950252 33554432000 4194304 16246674 140734810217664 140398644153520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 12037700

[startup+162.3 s]
/proc/loadavg: 2.11 1.69 1.50 3/183 18106
/proc/meminfo: memFree=4218352/32872528 swapFree=17100/1797424
[pid=18100] ppid=18097 vsize=12914244 CPUtime=162.26 cores=0,2,4,6
/proc/18100/stat : 18100 (toysat) R 18097 18100 15996 0 -1 4202496 3074144 0 0 0 15737 489 0 0 20 0 4 0 13067663 13224185856 3169491 33554432000 4194304 16246674 140734810217664 140734810216840 14628944 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/18100/statm: 3228561 3169491 840 2943 0 3225455 0
[pid=18100/tid=18101] ppid=18097 vsize=12914244 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18101/stat : 18101 (toysat) S 18097 18100 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13067663 13224185856 3169491 33554432000 4194304 16246674 140734810217664 140398665116912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18100/tid=18102] ppid=18097 vsize=12914244 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18102/stat : 18102 (toysat) S 18097 18100 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13067663 13224185856 3169491 33554432000 4194304 16246674 140734810217664 140398654627056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18100/tid=18103] ppid=18097 vsize=12914244 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18103/stat : 18103 (toysat) S 18097 18100 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13067663 13224185856 3169491 33554432000 4194304 16246674 140734810217664 140398644153520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 12914244

[startup+222.3 s]
/proc/loadavg: 2.41 1.83 1.56 2/183 18107
/proc/meminfo: memFree=208060/32872528 swapFree=17100/1797424
[pid=18100] ppid=18097 vsize=15404612 CPUtime=218.09 cores=0,2,4,6
/proc/18100/stat : 18100 (toysat) D 18097 18100 15996 0 -1 4202496 3642932 0 314 0 21202 607 0 0 20 0 4 0 13067663 15774322688 3770193 33554432000 4194304 16246674 140734810217664 140734810199552 6144184 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 400 0 0
/proc/18100/statm: 3851153 3770193 844 2943 0 3848047 0
[pid=18100/tid=18101] ppid=18097 vsize=15404612 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18101/stat : 18101 (toysat) S 18097 18100 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13067663 15774322688 3770193 33554432000 4194304 16246674 140734810217664 140398665116912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18100/tid=18102] ppid=18097 vsize=15404612 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18102/stat : 18102 (toysat) S 18097 18100 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13067663 15774322688 3770193 33554432000 4194304 16246674 140734810217664 140398654627056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18100/tid=18103] ppid=18097 vsize=15404612 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18103/stat : 18103 (toysat) S 18097 18100 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13067663 15774322688 3770193 33554432000 4194304 16246674 140734810217664 140398644153520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 218.09
Current children cumulated vsize (KiB) 15404612



Maximum VSize exceeded: sending SIGTERM then SIGKILL

[startup+233.475 s]
/proc/loadavg: 2.73 1.91 1.59 1/183 18107
/proc/meminfo: memFree=172520/32872528 swapFree=17100/1797424
[pid=18100] ppid=18097 vsize=15873604 CPUtime=219.93 cores=0,2,4,6
/proc/18100/stat : 18100 (toysat) D 18097 18100 15996 0 -1 4204544 3761581 0 564 0 21344 649 0 0 20 0 4 0 13067663 16254570496 3818463 33554432000 4194304 16246674 140734810217664 140734810215488 4224759 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 1336 0 0
/proc/18100/statm: 3968401 3818463 844 2943 0 3965295 0
[pid=18100/tid=18101] ppid=18097 vsize=15873604 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18101/stat : 18101 (toysat) S 18097 18100 15996 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 4 0 13067663 16254570496 3818463 33554432000 4194304 16246674 140734810217664 140398665116912 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=18100/tid=18102] ppid=18097 vsize=15873604 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18102/stat : 18102 (toysat) S 18097 18100 15996 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 13067663 16254570496 3818463 33554432000 4194304 16246674 140734810217664 140398654627056 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=18100/tid=18103] ppid=18097 vsize=15873604 CPUtime=0 cores=0,2,4,6
/proc/18100/task/18103/stat : 18103 (toysat) S 18097 18100 15996 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 13067663 16254570496 3818463 33554432000 4194304 16246674 140734810217664 140398644153520 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 219.93
Current children cumulated vsize (KiB) 15873604

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

[startup+234.1 s]
/proc/loadavg: 2.73 1.91 1.59 1/183 18107
/proc/meminfo: memFree=172520/32872528 swapFree=17100/1797424
[pid=18100] ppid=18097 vsize=0 CPUtime=220.24 cores=0,2,4,6
/proc/18100/stat : 18100 (toysat) R 18097 18100 15996 0 -1 4203524 3761582 0 564 0 21344 680 0 0 20 0 1 0 13067663 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 1381 0 0
/proc/18100/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 220.24
Current children cumulated vsize (KiB) 0

[startup+234.5 s]
/proc/loadavg: 2.73 1.91 1.59 2/180 18107
/proc/meminfo: memFree=7825828/32872528 swapFree=17100/1797424
[pid=18100] ppid=18097 vsize=0 CPUtime=220.64 cores=0,2,4,6
/proc/18100/stat : 18100 (toysat) R 18097 18100 15996 0 -1 4203524 3761582 0 564 0 21344 720 0 0 20 0 1 0 13067663 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 1381 0 0
/proc/18100/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 220.64
Current children cumulated vsize (KiB) 0

[startup+234.6 s]
/proc/loadavg: 2.73 1.91 1.59 2/180 18107
/proc/meminfo: memFree=7825828/32872528 swapFree=17100/1797424
[pid=18100] ppid=18097 vsize=0 CPUtime=220.74 cores=0,2,4,6
/proc/18100/stat : 18100 (toysat) R 18097 18100 15996 0 -1 4203524 3761582 0 564 0 21344 730 0 0 20 0 1 0 13067663 0 0 33554432000 0 0 0 0 0 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 1381 0 0
/proc/18100/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 220.74
Current children cumulated vsize (KiB) 0

Child ended because it received signal 15 (SIGTERM)
Real time (s): 234.629
CPU time (s): 220.781
CPU user time (s): 213.449
CPU system time (s): 7.33288
CPU usage (%): 94.0983
Max. virtual memory (cumulated for all children) (KiB): 15873604

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 213.449
system time used= 7.33289
maximum resident set size= 15273856
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3761582
page faults= 564
swaps= 0
block input operations= 35224
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 882
involuntary context switches= 263

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.815875 second user time and 1.24481 second system time

The end

Launcher Data 

Begin job on node123 at 2016-06-16 22:50:05
IDJOB=4093206
IDBENCH=79616
IDSOLVER=2553
FILE ID=node123/4093206-1466110201
RUNJOBID= node123-1466110176-17966
PBS_JOBID= 19904045
Free space on /tmp= 71116 MiB

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

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

MD5SUM BENCH= 838792388aba1cb33fb875c1c7fc5e90
RANDOM SEED=695598767

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

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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.57
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.791
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.56
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.791
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		: 2666.791
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.791
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:        29384512 kB
Buffers:           52532 kB
Cached:           680956 kB
SwapCached:         2184 kB
Active:           846360 kB
Inactive:         103196 kB
Active(anon):     217164 kB
Inactive(anon):     1392 kB
Active(file):     629196 kB
Inactive(file):   101804 kB
Unevictable:     1797424 kB
Mlocked:           17100 kB
SwapTotal:      67108856 kB
SwapFree:       67099016 kB
Dirty:            549408 kB
Writeback:             0 kB
AnonPages:       2013560 kB
Mapped:            10240 kB
Shmem:                 0 kB
Slab:             604508 kB
SReclaimable:      44104 kB
SUnreclaim:       560404 kB
KernelStack:        1416 kB
PageTables:         9500 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    3019996 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:   1785856 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= 71100 MiB
End job on node123 at 2016-06-16 22:54:01