Trace number 4122250

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
toysat 2016-05-02UNSAT 14.6608 14.6645

General information on the benchmark

NamePB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/
ProofComplexity/normalized-tseitin-regular-n70-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
MD5SUM3095af0a3e9f1876db1b2c6177cb8400
Bench CategoryDEC-SMALLINT-LIN (no optimisation, small integers, linear constraints)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark0.480926
Has Objective FunctionNO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of variables105
Total number of constraints280
Number of constraints which are clauses280
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint3
Maximum length of a constraint3
Number of terms in the objective function 0
Biggest coefficient in the objective function 0
Number of bits for the biggest coefficient in the objective function 0
Sum of the numbers in the objective function 0
Number of bits of the sum of numbers in the objective function 0
Biggest number in a constraint 2
Number of bits of the biggest number in a constraint 2
Biggest sum of numbers in a constraint 5
Number of bits of the biggest sum of numbers3
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-30T21:53: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-4122250-1467316380.opb"]
0.00/0.01	c use --random-gen="197474582 1792691479 1457911303 1063110792 3079342037 1487834799 1130485487 865829132 3396022836 355889494 4008732839 1086153726 2780989063 1660955492 2638353709 2437995702 3341647666 622820187 2641967976 3964052440 4212244858 1800658421 48226342 503790046 775558863 3179921350 3955649464 1980697964 810013719 3288204291 464903476 2969438214 1705093797 3910973072 1079252246 3753221844 957492745 2787429411 1437465917 3357249678 2587474672 333900743 2724728962 1196527679 384316943 218512223 3256131909 282654471 1911850674 2425206556 1529831033 169754806 3273033579 3624343593 4172454377 3728402682 1275676161 2155386427 706106800 907746560 2154014032 961172787 950239797 3083930168 3796596628 1364871924 2814438808 1119421797 2983951131 890719052 2712483875 80958312 4287292991 1113442004 4076500786 1970632131 2479120795 3087764929 4188468385 2275866503 3778073041 3306657750 1263230909 2835270093 516133045 1188763834 2117190652 2082381251 1403021783 277015895 1954880183 390096523 1936216274 902176869 3388355135 3642616420 1775719600 3291841852 1921890633 741897496 1936056254 1277225325 2530644011 2091507470 3311164510 2462978142 150729921 3483917436 2100163963 700873619 478780369 3224287679 3390702 1269411740 227102838 4114107439 2843587925 3877405526 3615616825 1400660483 1653006833 2224389079 1102673136 70206691 950955053 4105391042 77653749 241690679 1033534765 622947231 490300663 3862080456 3657052399 4022596120 238573238 84620591 3776760366 997827357 392839169 3201386616 372804260 1308322242 3892567830 1868259613 752021338 2942770078 2591953188 4044544985 3413249168 2899169820 3242305743 1819398954 2318679193 1603057537 2988001747 2199960500 88112137 3650575419 233828327 468608871 4258161495 3056290880 1823790440 1330111250 2611273140 3098412374 1384124217 749410680 1512312116 351918875 3234722031 1526037267 2386122336 4035710041 3698439588 3358641431 2854127634 4238584590 1258558284 3919898923 3657200183 2868088643 4242180904 122482396 892922161 421712497 1741078323 2416677867 2472334589 2975286541 1242575352 2969920958 3804165276 1211596586 986222420 1855002131 3919139108 288860730 577039426 2864305093 3436352004 3886621418 3602929546 1179291123 1193783211 3535075976 3762970260 4148458963 1113661306 3257505818 3608701894 3106945061 2818805557 281873031 4090348498 889561650 3443543511 4068483553 1371592039 279038122 2768798871 2533994929 2858192416 1212511063 4263283267 3929324558 1982251810 1173550289 1740952012 2187514133 3043239046 1578258586 339984337 2968410741 788425823 140901294 1545024903 104747234 2468411208 1614961292 3936038929 1091075106 3402825703 1925094620 2684669655 3459000449 4013542795 2290812753 565435555 208974929 756679872 327468533 2048026934 2709464575 2276910560 4045381660 255 362436" option to reproduce the execution
0.00/0.01	c #vars 105
0.00/0.01	c #constraints 280
0.00/0.01	c Solving starts ...
0.00/0.01	c ============================[ Search Statistics ]============================
0.00/0.01	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
0.00/0.01	c       |         |          |          |    Limit     GC | Var      | Constra 
0.00/0.01	c =============================================================================
0.00/0.01	c  0.0s |       0 |        0 |        0 |      128      0 |        0 |        0
0.00/0.02	c  0.0s |       1 |      180 |      100 |      128      0 |        0 |        0
0.00/0.03	c  0.0s |       2 |      401 |      250 |      141      1 |        0 |        0
0.00/0.05	c  0.0s |       3 |      707 |      475 |      156      3 |        0 |        0
0.00/0.08	c  0.1s |       4 |     1270 |      813 |      172      7 |        0 |        0
0.08/0.13	c  0.1s |       5 |     2097 |     1320 |      190     12 |        0 |        0
0.08/0.19	c  0.2s |       6 |     3464 |     2081 |      232     18 |        0 |        0
0.19/0.28	c  0.3s |       7 |     5158 |     3223 |      256     27 |        0 |        0
0.39/0.42	c  0.4s |       8 |     7641 |     4936 |      282     40 |        0 |        0
0.58/0.62	c  0.6s |       9 |    11738 |     7506 |      311     57 |        0 |        0
0.89/0.93	c  0.9s |      10 |    17234 |    11361 |      343     80 |        0 |        0
1.20/1.26	c  1.2s |      11 |    26017 |    17144 |      378    113 |        0 |        0
1.69/1.73	c  1.7s |      12 |    37964 |    25819 |      416    158 |        0 |        0
2.39/2.46	c  2.4s |      13 |    55495 |    38832 |      458    218 |        0 |        0
3.49/3.57	c  3.6s |      14 |    81723 |    58352 |      504    302 |        0 |        0
5.19/5.21	c  5.2s |      15 |   121858 |    87632 |      555    416 |        0 |        0
7.18/7.22	c  7.2s |      15 |   174714 |   124832 |      555    549 |        0 |        0
7.48/7.56	c  7.5s |      16 |   183544 |   131552 |      611    572 |        0 |        0
9.48/9.57	c  9.6s |      16 |   233592 |   168252 |      611    689 |        1 |        4
11.09/11.18	c 11.2s |      17 |   273803 |   197432 |      673    783 |        1 |        4
13.09/13.19	c 13.2s |      17 |   321791 |   230932 |      673    882 |        1 |        4
14.59/14.60	c 14.6s |      17 |   354383 |   255687 |      673    950 |       26 |       66
14.59/14.60	c #cpu_time = 14.588s
14.59/14.60	c #wall_clock_time = 14.588s
14.59/14.60	c #decision = 354383
14.59/14.60	c #random_decision = 1731
14.59/14.60	c #conflict = 255687
14.59/14.60	c #restart = 17
14.59/14.60	s UNSATISFIABLE
14.59/14.60	c total CPU time = 14.606s
14.59/14.60	c total wall clock time = 14.605s

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

pid=5578
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.78 1.44 1.67 3/179 5581
/proc/meminfo: memFree=29336104/32872528 swapFree=670956/736364
[pid=5581] ppid=5578 vsize=819644 CPUtime=0 cores=0,2,4,6
/proc/5581/stat : 5581 (toysat) R 5578 5581 2752 0 -1 4202496 3075 0 0 0 0 0 0 0 20 0 4 0 2318599 839315456 3435 33554432000 4194304 16246674 140735764549648 140735764549072 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5581/statm: 205679 3444 441 2943 0 202573 0
[pid=5581/tid=5582] ppid=5578 vsize=839100 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5582/stat : 5582 (toysat) S 5578 5581 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2318599 859238400 3507 33554432000 4194304 16246674 140735764549648 140108726512880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5581/tid=5583] ppid=5578 vsize=843196 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5583/stat : 5583 (toysat) S 5578 5581 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2318599 863432704 3525 33554432000 4194304 16246674 140735764549648 140108716023024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5581/tid=5584] ppid=5578 vsize=847292 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5584/stat : 5584 (toysat) S 5578 5581 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2318599 867627008 3542 33554432000 4194304 16246674 140735764549648 140108705549488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100167 s]
/proc/loadavg: 1.78 1.44 1.67 3/179 5581
/proc/meminfo: memFree=29336104/32872528 swapFree=670956/736364
[pid=5581] ppid=5578 vsize=1218116 CPUtime=0.08 cores=0,2,4,6
/proc/5581/stat : 5581 (toysat) R 5578 5581 2752 0 -1 4202496 25971 0 0 0 5 3 0 0 20 0 4 0 2318599 1247350784 26320 33554432000 4194304 16246674 140735764549648 140735764549072 12479207 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5581/statm: 304529 26330 707 2943 0 301423 0
[pid=5581/tid=5582] ppid=5578 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5582/stat : 5582 (toysat) S 5578 5581 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2318599 1247350784 26336 33554432000 4194304 16246674 140735764549648 140108726512880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5581/tid=5583] ppid=5578 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5583/stat : 5583 (toysat) S 5578 5581 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2318599 1247350784 26342 33554432000 4194304 16246674 140735764549648 140108716023024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5581/tid=5584] ppid=5578 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5584/stat : 5584 (toysat) S 5578 5581 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2318599 1247350784 26347 33554432000 4194304 16246674 140735764549648 140108705549488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 1218116

[startup+0.200445 s]
/proc/loadavg: 1.78 1.44 1.67 3/179 5581
/proc/meminfo: memFree=29336104/32872528 swapFree=670956/736364
[pid=5581] ppid=5578 vsize=1218116 CPUtime=0.19 cores=0,2,4,6
/proc/5581/stat : 5581 (toysat) R 5578 5581 2752 0 -1 4202496 48876 0 0 0 12 7 0 0 20 0 4 0 2318599 1247350784 49226 33554432000 4194304 16246674 140735764549648 140735764532648 5675357 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5581/statm: 304529 49236 707 2943 0 301423 0
[pid=5581/tid=5582] ppid=5578 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5582/stat : 5582 (toysat) S 5578 5581 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2318599 1247350784 49242 33554432000 4194304 16246674 140735764549648 140108726512880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5581/tid=5583] ppid=5578 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5583/stat : 5583 (toysat) S 5578 5581 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2318599 1247350784 49251 33554432000 4194304 16246674 140735764549648 140108716023024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5581/tid=5584] ppid=5578 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5584/stat : 5584 (toysat) S 5578 5581 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2318599 1247350784 49257 33554432000 4194304 16246674 140735764549648 140108705549488 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) 1218116

[startup+0.300454 s]
/proc/loadavg: 1.78 1.44 1.67 3/179 5581
/proc/meminfo: memFree=29336104/32872528 swapFree=670956/736364
[pid=5581] ppid=5578 vsize=1218116 CPUtime=0.29 cores=0,2,4,6
/proc/5581/stat : 5581 (toysat) R 5578 5581 2752 0 -1 4202496 71958 0 0 0 18 11 0 0 20 0 4 0 2318599 1247350784 72307 33554432000 4194304 16246674 140735764549648 140735764532648 5831697 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5581/statm: 304529 72315 708 2943 0 301423 0
[pid=5581/tid=5582] ppid=5578 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5582/stat : 5582 (toysat) S 5578 5581 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2318599 1247350784 72321 33554432000 4194304 16246674 140735764549648 140108726512880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5581/tid=5583] ppid=5578 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5583/stat : 5583 (toysat) S 5578 5581 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2318599 1247350784 72324 33554432000 4194304 16246674 140735764549648 140108716023024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5581/tid=5584] ppid=5578 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5584/stat : 5584 (toysat) S 5578 5581 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2318599 1247350784 72332 33554432000 4194304 16246674 140735764549648 140108705549488 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) 1218116

[startup+0.700376 s]
/proc/loadavg: 1.78 1.44 1.67 3/179 5581
/proc/meminfo: memFree=29336104/32872528 swapFree=670956/736364
[pid=5581] ppid=5578 vsize=1218116 CPUtime=0.69 cores=0,2,4,6
/proc/5581/stat : 5581 (toysat) R 5578 5581 2752 0 -1 4202496 164712 0 0 0 45 24 0 0 20 0 4 0 2318599 1247350784 165061 33554432000 4194304 16246674 140735764549648 140735764532648 5676613 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5581/statm: 304529 165070 708 2943 0 301423 0
[pid=5581/tid=5582] ppid=5578 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5582/stat : 5582 (toysat) S 5578 5581 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2318599 1247350784 165077 33554432000 4194304 16246674 140735764549648 140108726512880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5581/tid=5583] ppid=5578 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5583/stat : 5583 (toysat) S 5578 5581 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2318599 1247350784 165084 33554432000 4194304 16246674 140735764549648 140108716023024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5581/tid=5584] ppid=5578 vsize=1218116 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5584/stat : 5584 (toysat) S 5578 5581 2752 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 2318599 1247350784 165092 33554432000 4194304 16246674 140735764549648 140108705549488 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) 1218116

[startup+1.50038 s]
/proc/loadavg: 1.78 1.44 1.67 3/183 5585
/proc/meminfo: memFree=28353456/32872528 swapFree=670956/736364
[pid=5581] ppid=5578 vsize=1219140 CPUtime=1.49 cores=0,2,4,6
/proc/5581/stat : 5581 (toysat) R 5578 5581 2752 0 -1 4202496 245535 0 0 0 113 36 0 0 20 0 4 0 2318599 1248399360 245864 33554432000 4194304 16246674 140735764549648 140735764548960 5722428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5581/statm: 304785 245864 785 2943 0 301679 0
[pid=5581/tid=5582] ppid=5578 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5582/stat : 5582 (toysat) S 5578 5581 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2318599 1248399360 245864 33554432000 4194304 16246674 140735764549648 140108726512880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5581/tid=5583] ppid=5578 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5583/stat : 5583 (toysat) S 5578 5581 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2318599 1248399360 245864 33554432000 4194304 16246674 140735764549648 140108716023024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5581/tid=5584] ppid=5578 vsize=1219140 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5584/stat : 5584 (toysat) S 5578 5581 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2318599 1248399360 245864 33554432000 4194304 16246674 140735764549648 140108705549488 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) 1219140

[startup+3.10033 s]
/proc/loadavg: 1.78 1.44 1.67 3/183 5585
/proc/meminfo: memFree=28265160/32872528 swapFree=670956/736364
[pid=5581] ppid=5578 vsize=1306180 CPUtime=3.09 cores=0,2,4,6
/proc/5581/stat : 5581 (toysat) R 5578 5581 2752 0 -1 4202496 267404 0 0 0 271 38 0 0 20 0 4 0 2318599 1337528320 267733 33554432000 4194304 16246674 140735764549648 140735764532648 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5581/statm: 326545 267733 785 2943 0 323439 0
[pid=5581/tid=5582] ppid=5578 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5582/stat : 5582 (toysat) S 5578 5581 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2318599 1337528320 267733 33554432000 4194304 16246674 140735764549648 140108726512880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5581/tid=5583] ppid=5578 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5583/stat : 5583 (toysat) S 5578 5581 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2318599 1337528320 267733 33554432000 4194304 16246674 140735764549648 140108716023024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5581/tid=5584] ppid=5578 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5584/stat : 5584 (toysat) S 5578 5581 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2318599 1337528320 267733 33554432000 4194304 16246674 140735764549648 140108705549488 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) 1306180

[startup+6.30036 s]
/proc/loadavg: 1.79 1.45 1.67 3/183 5585
/proc/meminfo: memFree=28265040/32872528 swapFree=670956/736364
[pid=5581] ppid=5578 vsize=1306180 CPUtime=6.28 cores=0,2,4,6
/proc/5581/stat : 5581 (toysat) R 5578 5581 2752 0 -1 4202496 267445 0 0 0 590 38 0 0 20 0 4 0 2318599 1337528320 267774 33554432000 4194304 16246674 140735764549648 140735764532648 5754820 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5581/statm: 326545 267774 785 2943 0 323439 0
[pid=5581/tid=5582] ppid=5578 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5582/stat : 5582 (toysat) S 5578 5581 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2318599 1337528320 267774 33554432000 4194304 16246674 140735764549648 140108726512880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5581/tid=5583] ppid=5578 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5583/stat : 5583 (toysat) S 5578 5581 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2318599 1337528320 267774 33554432000 4194304 16246674 140735764549648 140108716023024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5581/tid=5584] ppid=5578 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5584/stat : 5584 (toysat) S 5578 5581 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2318599 1337528320 267774 33554432000 4194304 16246674 140735764549648 140108705549488 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) 1306180

[startup+12.7003 s]
/proc/loadavg: 1.81 1.46 1.67 4/183 5585
/proc/meminfo: memFree=28267116/32872528 swapFree=670956/736364
[pid=5581] ppid=5578 vsize=1306180 CPUtime=12.68 cores=0,2,4,6
/proc/5581/stat : 5581 (toysat) R 5578 5581 2752 0 -1 4202496 267447 0 0 0 1230 38 0 0 20 0 4 0 2318599 1337528320 267776 33554432000 4194304 16246674 140735764549648 140735764532648 13963975 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5581/statm: 326545 267776 785 2943 0 323439 0
[pid=5581/tid=5582] ppid=5578 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5582/stat : 5582 (toysat) S 5578 5581 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2318599 1337528320 267776 33554432000 4194304 16246674 140735764549648 140108726512880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5581/tid=5583] ppid=5578 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5583/stat : 5583 (toysat) S 5578 5581 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2318599 1337528320 267776 33554432000 4194304 16246674 140735764549648 140108716023024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5581/tid=5584] ppid=5578 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5584/stat : 5584 (toysat) S 5578 5581 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2318599 1337528320 267776 33554432000 4194304 16246674 140735764549648 140108705549488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1306180

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

[startup+12.8005 s]
/proc/loadavg: 1.81 1.46 1.67 4/183 5585
/proc/meminfo: memFree=28267116/32872528 swapFree=670956/736364
[pid=5581] ppid=5578 vsize=1306180 CPUtime=12.78 cores=0,2,4,6
/proc/5581/stat : 5581 (toysat) R 5578 5581 2752 0 -1 4202496 267447 0 0 0 1240 38 0 0 20 0 4 0 2318599 1337528320 267776 33554432000 4194304 16246674 140735764549648 140735764532648 5822740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5581/statm: 326545 267776 785 2943 0 323439 0
[pid=5581/tid=5582] ppid=5578 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5582/stat : 5582 (toysat) S 5578 5581 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2318599 1337528320 267776 33554432000 4194304 16246674 140735764549648 140108726512880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5581/tid=5583] ppid=5578 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5583/stat : 5583 (toysat) S 5578 5581 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2318599 1337528320 267776 33554432000 4194304 16246674 140735764549648 140108716023024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5581/tid=5584] ppid=5578 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5584/stat : 5584 (toysat) S 5578 5581 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2318599 1337528320 267776 33554432000 4194304 16246674 140735764549648 140108705549488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 12.78
Current children cumulated vsize (KiB) 1306180

[startup+13.6004 s]
/proc/loadavg: 1.81 1.46 1.67 3/183 5585
/proc/meminfo: memFree=28267240/32872528 swapFree=670956/736364
[pid=5581] ppid=5578 vsize=1306180 CPUtime=13.59 cores=0,2,4,6
/proc/5581/stat : 5581 (toysat) R 5578 5581 2752 0 -1 4202496 267447 0 0 0 1320 39 0 0 20 0 4 0 2318599 1337528320 267776 33554432000 4194304 16246674 140735764549648 140735764532648 6011730 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5581/statm: 326545 267776 785 2943 0 323439 0
[pid=5581/tid=5582] ppid=5578 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5582/stat : 5582 (toysat) S 5578 5581 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2318599 1337528320 267776 33554432000 4194304 16246674 140735764549648 140108726512880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5581/tid=5583] ppid=5578 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5583/stat : 5583 (toysat) S 5578 5581 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2318599 1337528320 267776 33554432000 4194304 16246674 140735764549648 140108716023024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5581/tid=5584] ppid=5578 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5584/stat : 5584 (toysat) S 5578 5581 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2318599 1337528320 267776 33554432000 4194304 16246674 140735764549648 140108705549488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 13.59
Current children cumulated vsize (KiB) 1306180

[startup+14.4073 s]
/proc/loadavg: 1.82 1.47 1.67 3/183 5585
/proc/meminfo: memFree=28267248/32872528 swapFree=670956/736364
[pid=5581] ppid=5578 vsize=1306180 CPUtime=14.4 cores=0,2,4,6
/proc/5581/stat : 5581 (toysat) R 5578 5581 2752 0 -1 4202496 267447 0 0 0 1401 39 0 0 20 0 4 0 2318599 1337528320 267776 33554432000 4194304 16246674 140735764549648 140735764532648 6011784 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5581/statm: 326545 267776 785 2943 0 323439 0
[pid=5581/tid=5582] ppid=5578 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5582/stat : 5582 (toysat) S 5578 5581 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2318599 1337528320 267776 33554432000 4194304 16246674 140735764549648 140108726512880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5581/tid=5583] ppid=5578 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5583/stat : 5583 (toysat) S 5578 5581 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2318599 1337528320 267776 33554432000 4194304 16246674 140735764549648 140108716023024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5581/tid=5584] ppid=5578 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5584/stat : 5584 (toysat) S 5578 5581 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2318599 1337528320 267776 33554432000 4194304 16246674 140735764549648 140108705549488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 14.4
Current children cumulated vsize (KiB) 1306180

[startup+14.6004 s]
/proc/loadavg: 1.82 1.47 1.67 3/183 5585
/proc/meminfo: memFree=28267248/32872528 swapFree=670956/736364
[pid=5581] ppid=5578 vsize=1306180 CPUtime=14.59 cores=0,2,4,6
/proc/5581/stat : 5581 (toysat) R 5578 5581 2752 0 -1 4202496 267447 0 0 0 1420 39 0 0 20 0 4 0 2318599 1337528320 267776 33554432000 4194304 16246674 140735764549648 140735764532648 15015658 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/5581/statm: 326545 267776 785 2943 0 323439 0
[pid=5581/tid=5582] ppid=5578 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5582/stat : 5582 (toysat) S 5578 5581 2752 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 2318599 1337528320 267776 33554432000 4194304 16246674 140735764549648 140108726512880 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=5581/tid=5583] ppid=5578 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5583/stat : 5583 (toysat) S 5578 5581 2752 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 2318599 1337528320 267776 33554432000 4194304 16246674 140735764549648 140108716023024 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=5581/tid=5584] ppid=5578 vsize=1306180 CPUtime=0 cores=0,2,4,6
/proc/5581/task/5584/stat : 5584 (toysat) S 5578 5581 2752 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 4 0 2318599 1337528320 267776 33554432000 4194304 16246674 140735764549648 140108705549488 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 14.59
Current children cumulated vsize (KiB) 1306180

Child status: 0
Real time (s): 14.6645
CPU time (s): 14.6608
CPU user time (s): 14.2128
CPU system time (s): 0.447931
CPU usage (%): 99.9749
Max. virtual memory (cumulated for all children) (KiB): 1306180

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.2128
system time used= 0.447931
maximum resident set size= 1071116
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 267452
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= 22
involuntary context switches= 16

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.035994 second user time and 0.06399 second system time

The end

Launcher Data 

Begin job on node112 at 2016-06-30 21:53:00
IDJOB=4122250
IDBENCH=111001
IDSOLVER=2542
FILE ID=node112/4122250-1467316380
RUNJOBID= node112-1467316318-5401
PBS_JOBID= 20005278
Free space on /tmp= 71708 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB15eval/normalized-PB15eval/DEC-SMALLINT-LIN/ProofComplexity-Extracted-Cardinality-Constraints/ProofComplexity/normalized-tseitin-regular-n70-d3-i1-r2.cnf.gz-plain.pb.metafix.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4122250-1467316380/watcher-4122250-1467316380 -o /tmp/evaluation-result-4122250-1467316380/solver-4122250-1467316380 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node112-1467316318-5401 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4122250-1467316380.opb

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

MD5SUM BENCH= 3095af0a3e9f1876db1b2c6177cb8400
RANDOM SEED=804477090

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.411
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.411
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.411
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:        29336656 kB
Buffers:           74196 kB
Cached:           894708 kB
SwapCached:            0 kB
Active:          1304448 kB
Inactive:         757016 kB
Active(anon):    1095400 kB
Inactive(anon):        0 kB
Active(file):     209048 kB
Inactive(file):   757016 kB
Unevictable:      736364 kB
Mlocked:          670956 kB
SwapTotal:      67108856 kB
SwapFree:       67108856 kB
Dirty:             16340 kB
Writeback:             0 kB
AnonPages:       1828624 kB
Mapped:            17036 kB
Shmem:               204 kB
Slab:             603124 kB
SReclaimable:      47228 kB
SUnreclaim:       555896 kB
KernelStack:        1504 kB
PageTables:         7812 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1965456 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:     79872 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= 71692 MiB
End job on node112 at 2016-06-30 21:53:14