Trace number 4099655

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.4548 14.4564

General information on the benchmark

Namenormalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/
normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb
MD5SUMf83049a5e6f779c8a894a05e03ae7f50
Bench CategoryDEC-SMALLINT (no optimisation, small integers)
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.834872
Has Objective FunctionNO
SatisfiableNO
(Un)Satisfiability was provedYES
Best value of the objective function
Optimality of the best value was proved
Number of variables23837
Total number of constraints67568
Number of constraints which are clauses64398
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints3170
Minimum length of a constraint1
Maximum length of a constraint13
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 66
Number of bits of the biggest number in a constraint 7
Biggest sum of numbers in a constraint 256
Number of bits of the biggest sum of numbers9
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-18T01:29:10+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-4099655-1466206150.opb"]
0.00/0.01	c use --random-gen="2819475482 3780658623 3044426660 2111169011 1866436226 1967942069 2575026686 2356347559 6881215 3879604858 2367536551 1089816013 316449901 4293887639 1981965303 715300983 2789255328 2081786649 1502330789 278718021 2586001105 3490477110 2160393491 1584994713 3351741691 2276736194 2923460996 611316825 626014735 2604420373 952510949 1295264665 2151225892 3962652378 3457866543 2999130349 1754125917 4035326067 1632195627 1186794052 1492631911 1784526446 772857446 235380561 3796269464 1699284103 1090487742 4052834719 366996156 2684970048 2672124454 2354395811 276732912 4022270283 626625647 4091282973 3826272861 656285530 2231879166 2074026558 265517470 3618145225 3922955386 3390366214 2567353806 4281824675 2047239444 190007456 2529164027 4003706016 3093853721 1952374461 1928737887 2428440253 1068037335 2836283289 873179039 1276580491 3618610860 100467710 2144137817 569351692 1006498335 1224748068 399789103 834127033 4002248500 2824396422 1064891865 3598803205 3141129385 4187636327 1929716714 370092028 2352899332 2799786953 2515682423 383113392 164572571 2997280636 154614143 2108707971 2002610144 2016197753 3889407200 3751420122 1715566440 249015508 3401704524 3825452580 4166860222 1487028591 2949165695 2221388485 2320770656 2265919687 2552371902 2173268442 2653726559 2196155398 2837997121 1163638345 1954493299 4004915484 1154161416 2473285406 3328020132 305269108 1914750395 3431372624 1367971143 1796160293 2316764518 1516194770 3018195159 4001476250 2562010082 1933977425 1565620714 531397308 3732060818 2528248928 3468958948 494589145 539425546 3964631899 3353374521 2690055072 706224933 3988890934 2611343318 1320730105 4098583217 250781572 4268044241 1133330669 3933776714 1362352105 3057005389 3457305751 704509841 718395002 1132496759 2585193042 849726985 1355509490 4086254756 2505668473 357180800 483788356 663781480 1789441376 2020055453 1869445597 1623082032 4167154842 1773217974 818971401 278732645 1414692468 225868435 4033124436 802742537 79469591 2430258289 3735869522 731921549 357360252 4157980246 1829370914 4014441514 2651146703 2106102787 3506215738 1064604286 3482336154 3629435067 1875533067 1489659272 2380993191 129445154 1515336382 57308960 2800180621 4136736020 237874926 2526905147 1874478151 3493652402 2353944149 2329678462 2300693970 825529076 3467741830 719311710 3829557980 3172757787 3271869455 3822690303 1773344325 2461041135 4199701071 4190194409 3327148068 1484885359 1831540069 120577869 2555760419 777408374 1361265848 2893771720 3338842618 63998007 1412657685 2021460771 3968124269 3576892980 671753565 2980091030 3747776765 2088950887 3683058623 1104567372 160057601 3401767246 3418405866 3063437363 796239927 3853443066 2096502478 723886029 54042354 4197646980 3606184104 3305748857 3666438123 255 362436" option to reproduce the execution
0.39/0.45	c #vars 23837
0.39/0.45	c #constraints 67568
1.29/1.37	c Solving starts ...
1.29/1.37	c ============================[ Search Statistics ]============================
1.29/1.37	c  Time | Restart | Decision | Conflict |      LEARNT     | Fixed    | Removed 
1.29/1.37	c       |         |          |          |    Limit     GC | Var      | Constra 
1.29/1.37	c =============================================================================
1.29/1.37	c  0.0s |       0 |        0 |        0 |    30468      0 |     1222 |        0
1.99/2.09	c  0.7s |       1 |      938 |      100 |    30468      0 |     1222 |     3113
2.79/2.89	c  1.5s |       2 |     1296 |      250 |    33515      0 |     1225 |     3122
3.29/3.35	c  2.0s |       3 |     1613 |      475 |    36867      0 |     1225 |     3122
4.39/4.41	c  3.0s |       4 |     2255 |      813 |    40554      0 |     1233 |     3143
6.19/6.24	c  4.9s |       5 |     3274 |     1320 |    44610      0 |     1335 |     3421
8.28/8.36	c  7.0s |       5 |     4499 |     1920 |    49072      0 |     1335 |     3421
8.89/8.95	c  7.6s |       6 |     4797 |     2081 |    53980      0 |     1343 |     3451
10.99/11.01	c  9.6s |       6 |     5453 |     2581 |    53980      0 |     1343 |     3451
13.19/13.26	c 11.9s |       6 |     5961 |     2981 |    53980      0 |     1343 |     3451
14.29/14.39	c 13.0s |       6 |     6140 |     3117 |    53980      0 |     3840 |     7972
14.29/14.39	c #cpu_time = 12.985s
14.29/14.39	c #wall_clock_time = 13.018s
14.29/14.39	c #decision = 6140
14.29/14.39	c #random_decision = 22
14.29/14.39	c #conflict = 3117
14.29/14.39	c #restart = 6
14.29/14.39	s UNSATISFIABLE
14.29/14.39	c total CPU time = 14.352s
14.29/14.39	c total wall clock time = 14.389s

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

pid=11615
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: 0.85 0.22 0.07 3/179 11618
/proc/meminfo: memFree=30707632/32872528 swapFree=249320/249320
[pid=11618] ppid=11615 vsize=676284 CPUtime=0 cores=0,2,4,6
/proc/11618/stat : 11618 (toysat) R 11615 11618 11324 0 -1 4202496 2513 0 0 0 0 0 0 0 20 0 4 0 22665456 692514816 3385 33554432000 4194304 16246674 140737333531088 140737333530512 13880264 0 2 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11618/statm: 169839 3395 441 2943 0 166733 0
[pid=11618/tid=11619] ppid=11615 vsize=694716 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11619/stat : 11619 (toysat) S 11615 11618 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22665456 711389184 3456 33554432000 4194304 16246674 140737333531088 139913116757232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11618/tid=11620] ppid=11615 vsize=698812 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11620/stat : 11620 (toysat) S 11615 11618 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22665456 715583488 3473 33554432000 4194304 16246674 140737333531088 139913106267376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11618/tid=11621] ppid=11615 vsize=702908 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11621/stat : 11621 (toysat) S 11615 11618 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22665456 719777792 3488 33554432000 4194304 16246674 140737333531088 139912988847280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0

[startup+0.100178 s]
/proc/loadavg: 0.85 0.22 0.07 3/179 11618
/proc/meminfo: memFree=30707632/32872528 swapFree=249320/249320
[pid=11618] ppid=11615 vsize=1302084 CPUtime=0.09 cores=0,2,4,6
/proc/11618/stat : 11618 (toysat) R 11615 11618 11324 0 -1 4202496 26183 0 0 0 5 4 0 0 20 0 4 0 22665456 1333334016 26994 33554432000 4194304 16246674 140737333531088 140737333530400 12752373 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11618/statm: 325521 27008 800 2943 0 322415 0
[pid=11618/tid=11619] ppid=11615 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11619/stat : 11619 (toysat) S 11615 11618 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22665456 1333334016 27018 33554432000 4194304 16246674 140737333531088 139913116757232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11618/tid=11620] ppid=11615 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11620/stat : 11620 (toysat) S 11615 11618 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22665456 1333334016 27029 33554432000 4194304 16246674 140737333531088 139913106267376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11618/tid=11621] ppid=11615 vsize=1302084 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11621/stat : 11621 (toysat) S 11615 11618 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22665456 1333334016 27039 33554432000 4194304 16246674 140737333531088 139912988847280 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.200517 s]
/proc/loadavg: 0.85 0.22 0.07 3/179 11618
/proc/meminfo: memFree=30707632/32872528 swapFree=249320/249320
[pid=11618] ppid=11615 vsize=1313348 CPUtime=0.19 cores=0,2,4,6
/proc/11618/stat : 11618 (toysat) R 11615 11618 11324 0 -1 4202496 44937 0 0 0 13 6 0 0 20 0 4 0 22665456 1344868352 46258 33554432000 4194304 16246674 140737333531088 140737333514080 13923665 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11618/statm: 328337 46258 801 2943 0 325231 0
[pid=11618/tid=11619] ppid=11615 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11619/stat : 11619 (toysat) S 11615 11618 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22665456 1344868352 46258 33554432000 4194304 16246674 140737333531088 139913116757232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11618/tid=11620] ppid=11615 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11620/stat : 11620 (toysat) S 11615 11618 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22665456 1344868352 46258 33554432000 4194304 16246674 140737333531088 139913106267376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11618/tid=11621] ppid=11615 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11621/stat : 11621 (toysat) S 11615 11618 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22665456 1344868352 46258 33554432000 4194304 16246674 140737333531088 139912988847280 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) 1313348

[startup+0.300478 s]
/proc/loadavg: 0.85 0.22 0.07 3/179 11618
/proc/meminfo: memFree=30707632/32872528 swapFree=249320/249320
[pid=11618] ppid=11615 vsize=1313348 CPUtime=0.29 cores=0,2,4,6
/proc/11618/stat : 11618 (toysat) R 11615 11618 11324 0 -1 4202496 56560 0 0 0 20 9 0 0 20 0 4 0 22665456 1344868352 57881 33554432000 4194304 16246674 140737333531088 140737333514080 7852920 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11618/statm: 328337 57881 801 2943 0 325231 0
[pid=11618/tid=11619] ppid=11615 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11619/stat : 11619 (toysat) S 11615 11618 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22665456 1344868352 57881 33554432000 4194304 16246674 140737333531088 139913116757232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11618/tid=11620] ppid=11615 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11620/stat : 11620 (toysat) S 11615 11618 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22665456 1344868352 57881 33554432000 4194304 16246674 140737333531088 139913106267376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11618/tid=11621] ppid=11615 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11621/stat : 11621 (toysat) S 11615 11618 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22665456 1344868352 57881 33554432000 4194304 16246674 140737333531088 139912988847280 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) 1313348

[startup+0.700369 s]
/proc/loadavg: 0.85 0.22 0.07 3/179 11618
/proc/meminfo: memFree=30707632/32872528 swapFree=249320/249320
[pid=11618] ppid=11615 vsize=1313348 CPUtime=0.69 cores=0,2,4,6
/proc/11618/stat : 11618 (toysat) R 11615 11618 11324 0 -1 4202496 78282 0 0 0 57 12 0 0 20 0 4 0 22665456 1344868352 79603 33554432000 4194304 16246674 140737333531088 140737333514080 5516804 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11618/statm: 328337 79611 835 2943 0 325231 0
[pid=11618/tid=11619] ppid=11615 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11619/stat : 11619 (toysat) S 11615 11618 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22665456 1344868352 79617 33554432000 4194304 16246674 140737333531088 139913116757232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11618/tid=11620] ppid=11615 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11620/stat : 11620 (toysat) S 11615 11618 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22665456 1344868352 79622 33554432000 4194304 16246674 140737333531088 139913106267376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11618/tid=11621] ppid=11615 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11621/stat : 11621 (toysat) S 11615 11618 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22665456 1344868352 79627 33554432000 4194304 16246674 140737333531088 139912988847280 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) 1313348

[startup+1.50034 s]
/proc/loadavg: 0.94 0.25 0.08 3/183 11622
/proc/meminfo: memFree=30101280/32872528 swapFree=249320/249320
[pid=11618] ppid=11615 vsize=1313348 CPUtime=1.49 cores=0,2,4,6
/proc/11618/stat : 11618 (toysat) R 11615 11618 11324 0 -1 4202496 219936 0 0 0 115 34 0 0 20 0 4 0 22665456 1344868352 221257 33554432000 4194304 16246674 140737333531088 140737333512960 5661217 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11618/statm: 328337 221263 884 2943 0 325231 0
[pid=11618/tid=11619] ppid=11615 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11619/stat : 11619 (toysat) S 11615 11618 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22665456 1344868352 221267 33554432000 4194304 16246674 140737333531088 139913116757232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11618/tid=11620] ppid=11615 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11620/stat : 11620 (toysat) S 11615 11618 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22665456 1344868352 221270 33554432000 4194304 16246674 140737333531088 139913106267376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11618/tid=11621] ppid=11615 vsize=1313348 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11621/stat : 11621 (toysat) S 11615 11618 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22665456 1344868352 221274 33554432000 4194304 16246674 140737333531088 139912988847280 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) 1313348

[startup+3.1004 s]
/proc/loadavg: 0.94 0.25 0.08 4/183 11622
/proc/meminfo: memFree=29647092/32872528 swapFree=249320/249320
[pid=11618] ppid=11615 vsize=1348164 CPUtime=3.09 cores=0,2,4,6
/proc/11618/stat : 11618 (toysat) R 11615 11618 11324 0 -1 4202496 277470 0 0 0 268 41 0 0 20 0 4 0 22665456 1380519936 278791 33554432000 4194304 16246674 140737333531088 140737333512960 5717112 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11618/statm: 337041 278791 887 2943 0 333935 0
[pid=11618/tid=11619] ppid=11615 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11619/stat : 11619 (toysat) S 11615 11618 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22665456 1380519936 278791 33554432000 4194304 16246674 140737333531088 139913116757232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11618/tid=11620] ppid=11615 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11620/stat : 11620 (toysat) S 11615 11618 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22665456 1380519936 278791 33554432000 4194304 16246674 140737333531088 139913106267376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11618/tid=11621] ppid=11615 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11621/stat : 11621 (toysat) S 11615 11618 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22665456 1380519936 278791 33554432000 4194304 16246674 140737333531088 139912988847280 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) 1348164

[startup+6.30036 s]
/proc/loadavg: 0.94 0.25 0.08 3/183 11622
/proc/meminfo: memFree=29587696/32872528 swapFree=249320/249320
[pid=11618] ppid=11615 vsize=1348164 CPUtime=6.29 cores=0,2,4,6
/proc/11618/stat : 11618 (toysat) R 11615 11618 11324 0 -1 4202496 277711 0 0 0 588 41 0 0 20 0 4 0 22665456 1380519936 279032 33554432000 4194304 16246674 140737333531088 140737333512960 12415740 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11618/statm: 337041 279032 891 2943 0 333935 0
[pid=11618/tid=11619] ppid=11615 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11619/stat : 11619 (toysat) S 11615 11618 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22665456 1380519936 279032 33554432000 4194304 16246674 140737333531088 139913116757232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11618/tid=11620] ppid=11615 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11620/stat : 11620 (toysat) S 11615 11618 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22665456 1380519936 279032 33554432000 4194304 16246674 140737333531088 139913106267376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11618/tid=11621] ppid=11615 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11621/stat : 11621 (toysat) S 11615 11618 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22665456 1380519936 279032 33554432000 4194304 16246674 140737333531088 139912988847280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1348164

[startup+12.7004 s]
/proc/loadavg: 1.10 0.30 0.10 4/183 11671
/proc/meminfo: memFree=29574164/32872528 swapFree=249320/249320
[pid=11618] ppid=11615 vsize=1348164 CPUtime=12.68 cores=0,2,4,6
/proc/11618/stat : 11618 (toysat) R 11615 11618 11324 0 -1 4202496 277711 0 0 0 1227 41 0 0 20 0 4 0 22665456 1380519936 279032 33554432000 4194304 16246674 140737333531088 140737333512960 13820980 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11618/statm: 337041 279032 891 2943 0 333935 0
[pid=11618/tid=11619] ppid=11615 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11619/stat : 11619 (toysat) S 11615 11618 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22665456 1380519936 279032 33554432000 4194304 16246674 140737333531088 139913116757232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11618/tid=11620] ppid=11615 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11620/stat : 11620 (toysat) S 11615 11618 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22665456 1380519936 279032 33554432000 4194304 16246674 140737333531088 139913106267376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11618/tid=11621] ppid=11615 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11621/stat : 11621 (toysat) S 11615 11618 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22665456 1380519936 279032 33554432000 4194304 16246674 140737333531088 139912988847280 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) 1348164

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

[startup+12.8004 s]
/proc/loadavg: 1.10 0.30 0.10 4/183 11671
/proc/meminfo: memFree=29574164/32872528 swapFree=249320/249320
[pid=11618] ppid=11615 vsize=1348164 CPUtime=12.78 cores=0,2,4,6
/proc/11618/stat : 11618 (toysat) R 11615 11618 11324 0 -1 4202496 277711 0 0 0 1237 41 0 0 20 0 4 0 22665456 1380519936 279032 33554432000 4194304 16246674 140737333531088 140737333512960 5523460 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11618/statm: 337041 279032 891 2943 0 333935 0
[pid=11618/tid=11619] ppid=11615 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11619/stat : 11619 (toysat) S 11615 11618 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22665456 1380519936 279032 33554432000 4194304 16246674 140737333531088 139913116757232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11618/tid=11620] ppid=11615 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11620/stat : 11620 (toysat) S 11615 11618 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22665456 1380519936 279032 33554432000 4194304 16246674 140737333531088 139913106267376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11618/tid=11621] ppid=11615 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11621/stat : 11621 (toysat) S 11615 11618 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22665456 1380519936 279032 33554432000 4194304 16246674 140737333531088 139912988847280 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) 1348164

[startup+13.6004 s]
/proc/loadavg: 1.10 0.30 0.10 3/183 11720
/proc/meminfo: memFree=30584116/32872528 swapFree=249320/249320
[pid=11618] ppid=11615 vsize=1348164 CPUtime=13.58 cores=0,2,4,6
/proc/11618/stat : 11618 (toysat) R 11615 11618 11324 0 -1 4202496 277711 0 0 0 1317 41 0 0 20 0 4 0 22665456 1380519936 279032 33554432000 4194304 16246674 140737333531088 140737333512960 5822428 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11618/statm: 337041 279032 891 2943 0 333935 0
[pid=11618/tid=11619] ppid=11615 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11619/stat : 11619 (toysat) S 11615 11618 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22665456 1380519936 279032 33554432000 4194304 16246674 140737333531088 139913116757232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11618/tid=11620] ppid=11615 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11620/stat : 11620 (toysat) S 11615 11618 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22665456 1380519936 279032 33554432000 4194304 16246674 140737333531088 139913106267376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11618/tid=11621] ppid=11615 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11621/stat : 11621 (toysat) S 11615 11618 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22665456 1380519936 279032 33554432000 4194304 16246674 140737333531088 139912988847280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 13.58
Current children cumulated vsize (KiB) 1348164

[startup+14.0004 s]
/proc/loadavg: 1.10 0.30 0.10 3/183 11720
/proc/meminfo: memFree=30584116/32872528 swapFree=249320/249320
[pid=11618] ppid=11615 vsize=1348164 CPUtime=13.98 cores=0,2,4,6
/proc/11618/stat : 11618 (toysat) R 11615 11618 11324 0 -1 4202496 277711 0 0 0 1357 41 0 0 20 0 4 0 22665456 1380519936 279032 33554432000 4194304 16246674 140737333531088 140737333512960 5828829 0 0 0 34082818 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11618/statm: 337041 279032 891 2943 0 333935 0
[pid=11618/tid=11619] ppid=11615 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11619/stat : 11619 (toysat) S 11615 11618 11324 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 4 0 22665456 1380519936 279032 33554432000 4194304 16246674 140737333531088 139913116757232 15012391 0 0 0 34082818 18446744071580610281 0 0 -1 4 0 0 0 0 0
[pid=11618/tid=11620] ppid=11615 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11620/stat : 11620 (toysat) S 11615 11618 11324 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 4 0 22665456 1380519936 279032 33554432000 4194304 16246674 140737333531088 139913106267376 14998865 0 0 0 34082818 18446744071580425449 0 0 -1 0 0 0 0 0 0
[pid=11618/tid=11621] ppid=11615 vsize=1348164 CPUtime=0 cores=0,2,4,6
/proc/11618/task/11621/stat : 11621 (toysat) S 11615 11618 11324 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 4 0 22665456 1380519936 279032 33554432000 4194304 16246674 140737333531088 139912988847280 14069300 0 0 0 34082818 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 13.98
Current children cumulated vsize (KiB) 1348164

[startup+14.4073 s]
/proc/loadavg: 1.10 0.30 0.10 3/183 11720
/proc/meminfo: memFree=30356388/32872528 swapFree=249320/249320
[pid=11618] ppid=11615 vsize=0 CPUtime=14.4 cores=0,2,4,6
/proc/11618/stat : 11618 (toysat) R 11615 11618 11324 0 -1 4202500 277715 0 0 0 1397 43 0 0 20 0 1 0 22665456 0 0 33554432000 0 0 0 0 0 0 0 33554432 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/11618/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 14.4
Current children cumulated vsize (KiB) 0

Child status: 0
Real time (s): 14.4564
CPU time (s): 14.4548
CPU user time (s): 13.9719
CPU system time (s): 0.482926
CPU usage (%): 99.9888
Max. virtual memory (cumulated for all children) (KiB): 1348164

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.9719
system time used= 0.482926
maximum resident set size= 1116140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 277715
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= 18

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.041993 second user time and 0.05999 second system time

The end

Launcher Data 

Begin job on node103 at 2016-06-18 01:29:10
IDJOB=4099655
IDBENCH=1466
IDSOLVER=2542
FILE ID=node103/4099655-1466206150
RUNJOBID= node103-1466206104-11340
PBS_JOBID= 19918169
Free space on /tmp= 71716 MiB

SOLVER NAME= toysat 2016-05-02
BENCH NAME= PB06//final/normalized-PB06/SATUNSAT-SMALLINT/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Icl2arity.ucl.opb
COMMAND LINE= toysat +RTS -H1G -MMEMLIMITm -K1G -RTS --pb --search=bcd2 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4099655-1466206150/watcher-4099655-1466206150 -o /tmp/evaluation-result-4099655-1466206150/solver-4099655-1466206150 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node103-1466206104-11340 --watchdog 1960  toysat +RTS -H1G -M15500m -K1G -RTS --pb --search=bcd2 HOME/instance-4099655-1466206150.opb

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

MD5SUM BENCH= f83049a5e6f779c8a894a05e03ae7f50
RANDOM SEED=1264121342

node103.alineos.net Linux 2.6.32-71.29.1.el6.x86_64 #1 SMP Mon Jun 27 19:49:27 BST 2011

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

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

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

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

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2667.278
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		: 2667.278
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		: 2667.278
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:        30707896 kB
Buffers:           35664 kB
Cached:           100892 kB
SwapCached:         2456 kB
Active:          1155544 kB
Inactive:          55992 kB
Active(anon):    1075044 kB
Inactive(anon):     2272 kB
Active(file):      80500 kB
Inactive(file):    53720 kB
Unevictable:      249320 kB
Mlocked:          249320 kB
SwapTotal:      67108856 kB
SwapFree:       67099368 kB
Dirty:             35480 kB
Writeback:             0 kB
AnonPages:       1323132 kB
Mapped:            10308 kB
Shmem:                 0 kB
Slab:             570740 kB
SReclaimable:      14352 kB
SUnreclaim:       556388 kB
KernelStack:        1496 kB
PageTables:         6816 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83545120 kB
Committed_AS:    1466660 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      346412 kB
VmallocChunk:   34341988032 kB
HardwareCorrupted:     0 kB
AnonHugePages:      2048 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= 71688 MiB
End job on node103 at 2016-06-18 01:29:25