Trace number 4396842

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
cosoco 2.0? (TO) 2519.92 2520.01

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-spba/
Pb-BeauxArts-K67.xml
MD5SUM4516aa109e121890953f360029c48088
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark91.3846
Satisfiable
(Un)Satisfiability was proved
Number of variables3685
Number of constraints3821
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":3685}]
Minimum variable degree3
Maximum variable degree9
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":127},{"degree":5,"count":550},{"degree":6,"count":1960},{"degree":7,"count":590},{"degree":8,"count":327},{"degree":9,"count":130}]
Minimum constraint arity1
Maximum constraint arity67
Distribution of constraint arities[{"arity":1,"count":2},{"arity":2,"count":660},{"arity":3,"count":1914},{"arity":4,"count":594},{"arity":5,"count":330},{"arity":6,"count":132},{"arity":55,"count":134},{"arity":67,"count":55}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":3821}]
Optimization problemNO
Type of objective

Solver Data 

0.31/0.41	c root propagations     : 455         
0.31/0.41	c restarts enabled, print stats at every restarts
0.31/0.41	c
0.31/0.41	c
0.31/0.41	c
0.31/0.41	c This is cosoco 2.00 --  
0.31/0.41	c
0.31/0.41	c command line: cosoco -lc -model -restarts -stick HOME/instance-4396842-1568588246.xml 
0.31/0.41	c ========================================[ Problem Statistics ]===========================================
0.31/0.41	c |                                                                                                       
0.31/0.41	c |  Parse time        :         0.36 s 
0.31/0.41	c |
0.31/0.41	c |               Variables: 3685
0.31/0.41	c |            Domain Sizes: 2..2
0.31/0.41	c |
0.31/0.41	c |             Constraints: 3821
0.31/0.41	c |                   Arity: 1..67  -- Unary: 2  -- Binary: 660  -- Ternary: 1914
0.31/0.41	c | 
0.31/0.41	c |                   Types: 
0.31/0.41	c |                          Sum: 3821
0.31/0.41	c |                          
0.31/0.41	c =========================================================================================================
0.31/0.41	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
1.19/1.20	c 101            7730           459395         160449         455            0              668   3349   2366
1.89/1.91	c 211            20580          769411         284069         455            0              395   1199   693
2.49/2.50	c 332            26017          1097121        423696         455            0              510   881   782
3.00/3.07	c 465            33383          1374189        516396         455            0              400   852   682
3.59/3.67	c 611            39818          1687814        642708         455            0              481   867   641
4.29/4.31	c 771            44263          2041123        773441         455            0              329   525   382
5.49/5.51	c 947            52123          2737275        1034903        455            0              140   1105   772
6.29/6.33	c 1140           57741          3243185        1231516        455            0              337   386   364
7.69/7.78	c 1352           76995          3937802        1523845        455            0              295   1022   602
9.59/9.67	c 1585           84853          5104099        1935706        455            0              332   480   409
10.69/10.79	c 1841           101081         5625451        2138160        455            0              304   710   540
12.10/12.13	c 2122           112339         6367668        2432076        455            0              330   588   457
14.69/14.70	c 2431           123706         7861315        2915531        455            0              338   437   389
15.79/15.84	c 2770           132635         8511795        3148682        455            0              311   401   365
17.10/17.19	c 3142           141554         9287186        3430288        455            0              256   386   315
18.69/18.74	c 3551           150965         10169522       3727554        455            0              263   397   310
20.00/20.07	c 4000           162849         10868887       3994277        455            0              212   401   304
21.49/21.55	c 4493           175215         11655534       4292807        455            0              228   303   262
23.89/23.99	c 5035           201006         12932199       4835028        455            0              191   621   524
27.09/27.14	c 5631           222535         14641333       5363429        455            0              329   517   461
30.28/30.38	c 6286           265638         16080803       5878559        455            0              285   523   454
31.99/32.09	c 7006           285444         16950561       6238960        455            0              238   471   359
36.58/36.67	c 7798           336978         19246786       7270957        455            0              143   817   574
39.79/39.85	c 8669           378046         20868233       7960024        455            0              380   691   544
42.39/42.45	c 9627           415250         22195187       8464150        455            0              494   809   713
45.49/45.58	c 10680          456506         23900949       9119151        455            0              551   1181   662
51.00/51.10	c 11838          501484         27390333       10372577       455            0              462   683   572
60.29/60.38	c 13111          591133         32265619       12303799       455            0              428   855   643
69.28/69.30	c 14511          665845         37188096       14250406       455            0              495   767   678
73.99/74.01	c 16051          740774         39413975       15226366       455            0              580   905   798
81.18/81.22	c 17745          867267         42416970       16625159       455            0              561   959   809
87.58/87.62	c 19608          959942         45644410       18002989       455            0              347   730   627
94.18/94.25	c 21657          1050973        49294756       19553502       455            0              462   779   617
103.78/103.82	c 23910          1182038        54270505       21410810       455            0              435   892   617
112.58/112.65	c 26388          1318083        58908123       23223909       455            0              433   1244   637
122.77/122.83	c 29113          1479268        64065137       25464129       455            0              519   1194   749
135.37/135.48	c 32110          1604771        71473277       28287817       455            0              490   705   618
148.77/148.89	c 35406          1787070        78556006       31060578       455            0              495   978   713
166.37/166.43	c 39031          1977527        88368888       34633560       455            0              450   816   680
180.08/180.19	c 43018          2129823        95687982       37483834       455            0              305   736   541
192.47/192.55	c 47403          2297033        102700620      40201184       455            0              489   743   601
204.37/204.41	c 52226          2485550        108998208      42627390       455            0              393   625   555
224.57/224.62	c 57531          2758046        120106635      46885143       455            0              429   990   628
249.87/249.91	c 63366          3034699        134676742      51971316       455            0              372   831   614
272.17/272.21	c 69784          3290309        148124919      57150081       455            0              396   706   614
299.27/299.37	c 76843          3712206        161820247      63358536       455            0              534   1102   869
324.26/324.36	c 84607          4119411        173888683      68499588       455            0              325   1128   696
372.07/372.12	c 93147          4918221        196999120      78756011       455            0              431   1233   846
442.36/442.46	c 102541         5771562        235272945      93341060       455            0              538   1319   871
511.16/511.23	c 112874         6611585        273882102      108555106      455            0              618   1277   930
572.46/572.58	c 124240         7442273        307848673      122171366      455            0              565   1230   980
627.75/627.85	c 136742         8170615        338203577      134248290      455            0              652   1203   981
714.65/714.78	c 150494         9043913        388013501      154855657      455            0              579   1248   930
788.85/788.95	c 165621         10286277       426608370      171171033      455            0              709   1916   1115
860.74/860.86	c 182260         11779990       459922684      185510668      455            0              681   1742   1112
945.85/945.96	c 200562         13176542       504711099      203349937      455            0              790   1688   1194
1040.35/1040.41	c 220694         14340528       558051809      223474973      455            0              784   1871   1062
1131.74/1131.83	c 242839         16175261       604310572      242196258      455            0              938   1711   1329
1258.05/1258.11	c 267198         17934353       673834652      272757489      455            0              842   1541   1211
1401.34/1401.46	c 293992         20183259       751001153      301446564      455            0              963   1716   1308
1581.94/1582.03	c 323465         22619123       849095051      336959165      455            0              805   1734   1223
1722.73/1722.81	c 355885         24849599       924811111      367849962      455            0              722   1539   1274
1895.42/1895.50	c 391547         27494223       1016895141     403680000      455            0              690   1662   1236
2075.12/2075.25	c 430775         29925753       1118412520     445685421      455            0              828   1518   1198
2253.51/2253.61	c 473925         32595240       1213767132     482096938      455            0              797   1436   1084
2456.71/2456.80	c 521390         35765150       1320868971     527946360      455            0              685   1238   1068
2519.92/2520.01	
2519.92/2520.01	c *** INTERRUPTED ***
2519.92/2520.01	c restarts              : 66          
2519.92/2520.01	c conflicts             : 533951       (212 /sec)
2519.92/2520.01	c decisions             : 36658137     (14548 /sec)
2519.92/2520.01	c propagations          : 540900707   (214657 /sec)
2519.92/2520.01	c root propagations     : 455         
2519.92/2520.01	c filter calls          : 1354452349     (537515 /sec)
2519.92/2520.01	c useless filter calls  : 1188589350     (87 %)
2519.92/2520.01	c Memory used           : 123.82 MB
2519.92/2520.01	c CPU time              : 2519.84 s
2519.92/2520.01	c real time             : 2520 s
2519.92/2520.01	
2519.92/2520.01	s UNKNOWN

Verifier Data


Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (14354 MiB free)
  memory of node 1: 16384 MiB (15051 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396842-1568588246/watcher-4396842-1568588246 -o /tmp/evaluation-result-4396842-1568588246/solver-4396842-1568588246 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568572743-13958 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396842-1568588246.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=17646, runsolver pid=17643
Current StackSize limit: 8192 KiB


[startup+0.10012 s]*
/proc/loadavg: 2.11 2.12 2.08 3/204 17647
/proc/meminfo: memFree=30096068/32770624 swapFree=66917004/67108860
[pid=17646] ppid=17643 vsize=41724 memory=18000 CPUtime=0.1 cores=1,3,5,7
/proc/17646/stat : 17646 (cosoco) R 17643 17646 13926 0 -1 4202496 4715 0 0 0 10 0 0 0 20 0 1 0 435075090 42725376 4500 33554432000 4194304 6211092 140734092344000 140734092340536 5484529 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26841088 140734092350475 140734092350577 140734092350577 140734092353486 0
/proc/17646/statm: 10431 4500 837 493 0 3736 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41724 KiB
Current children cumulated memory: 18000 KiB

[startup+0.2101 s]*
/proc/loadavg: 2.11 2.12 2.08 3/204 17647
/proc/meminfo: memFree=30081968/32770624 swapFree=66917004/67108860
[pid=17646] ppid=17643 vsize=56476 memory=32872 CPUtime=0.21 cores=1,3,5,7
/proc/17646/stat : 17646 (cosoco) R 17643 17646 13926 0 -1 4202496 8391 0 0 0 21 0 0 0 20 0 1 0 435075090 57831424 8218 33554432000 4194304 6211092 140734092344000 140734092340536 140032442981349 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26841088 140734092350475 140734092350577 140734092350577 140734092353486 0
/proc/17646/statm: 14119 8218 837 493 0 7424 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 56476 KiB
Current children cumulated memory: 32872 KiB

[startup+0.310053 s]*
/proc/loadavg: 2.11 2.12 2.08 3/204 17647
/proc/meminfo: memFree=30060764/32770624 swapFree=66917004/67108860
[pid=17646] ppid=17643 vsize=78668 memory=55056 CPUtime=0.31 cores=1,3,5,7
/proc/17646/stat : 17646 (cosoco) R 17643 17646 13926 0 -1 4202496 13954 0 0 0 30 1 0 0 20 0 1 0 435075090 80556032 13764 33554432000 4194304 6211092 140734092344000 140734092340536 140032442981349 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26841088 140734092350475 140734092350577 140734092350577 140734092353486 0
/proc/17646/statm: 19667 13764 837 493 0 12972 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 78668 KiB
Current children cumulated memory: 55056 KiB

[startup+0.700326 s]
/proc/loadavg: 2.11 2.12 2.08 3/204 17647
/proc/meminfo: memFree=30041900/32770624 swapFree=66917004/67108860
[pid=17646] ppid=17643 vsize=121684 memory=97796 CPUtime=0.69 cores=1,3,5,7
/proc/17646/stat : 17646 (cosoco) R 17643 17646 13926 0 -1 4202496 24657 0 0 0 67 2 0 0 20 0 1 0 435075090 124604416 24449 33554432000 4194304 6211092 140734092344000 140734092341272 5155348 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26841088 140734092350475 140734092350577 140734092350577 140734092353486 0
/proc/17646/statm: 30421 24449 874 493 0 23726 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 121684 KiB
Current children cumulated memory: 97796 KiB

[startup+1.50025 s]
/proc/loadavg: 2.11 2.12 2.08 3/204 17647
/proc/meminfo: memFree=30016232/32770624 swapFree=66917004/67108860
[pid=17646] ppid=17643 vsize=121824 memory=98060 CPUtime=1.49 cores=1,3,5,7
/proc/17646/stat : 17646 (cosoco) R 17643 17646 13926 0 -1 4202496 24698 0 0 0 147 2 0 0 20 0 1 0 435075090 124747776 24515 33554432000 4194304 6211092 140734092344000 140734092341432 5158194 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26841088 140734092350475 140734092350577 140734092350577 140734092353486 0
/proc/17646/statm: 30456 24515 874 493 0 23761 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 121824 KiB
Current children cumulated memory: 98060 KiB

[startup+3.10995 s]
/proc/loadavg: 2.11 2.12 2.08 3/204 17647
/proc/meminfo: memFree=30015748/32770624 swapFree=66917004/67108860
[pid=17646] ppid=17643 vsize=121824 memory=98144 CPUtime=3.1 cores=1,3,5,7
/proc/17646/stat : 17646 (cosoco) R 17643 17646 13926 0 -1 4202496 34479 0 0 0 307 3 0 0 20 0 1 0 435075090 124747776 24536 33554432000 4194304 6211092 140734092344000 140734092341960 5186224 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26841088 140734092350475 140734092350577 140734092350577 140734092353486 0
/proc/17646/statm: 30456 24536 875 493 0 23761 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 121824 KiB
Current children cumulated memory: 98144 KiB

[startup+6.30025 s]
/proc/loadavg: 2.10 2.12 2.08 3/204 17647
/proc/meminfo: memFree=30015792/32770624 swapFree=66917004/67108860
[pid=17646] ppid=17643 vsize=122088 memory=98340 CPUtime=6.29 cores=1,3,5,7
/proc/17646/stat : 17646 (cosoco) R 17643 17646 13926 0 -1 4202496 44980 0 0 0 626 3 0 0 20 0 1 0 435075090 125018112 24585 33554432000 4194304 6211092 140734092344000 140734092341960 5156256 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26841088 140734092350475 140734092350577 140734092350577 140734092353486 0
/proc/17646/statm: 30522 24585 875 493 0 23827 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 122088 KiB
Current children cumulated memory: 98340 KiB

[startup+12.7002 s]
/proc/loadavg: 2.10 2.11 2.08 3/204 17647
/proc/meminfo: memFree=30015708/32770624 swapFree=66917004/67108860
[pid=17646] ppid=17643 vsize=122088 memory=98344 CPUtime=12.69 cores=1,3,5,7
/proc/17646/stat : 17646 (cosoco) R 17643 17646 13926 0 -1 4202496 54883 0 0 0 1265 4 0 0 20 0 1 0 435075090 125018112 24586 33554432000 4194304 6211092 140734092344000 140734092341960 5156179 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26841088 140734092350475 140734092350577 140734092350577 140734092353486 0
/proc/17646/statm: 30522 24586 875 493 0 23827 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 122088 KiB
Current children cumulated memory: 98344 KiB

[startup+25.5003 s]
/proc/loadavg: 2.08 2.11 2.08 3/204 17649
/proc/meminfo: memFree=30015476/32770624 swapFree=66917004/67108860
[pid=17646] ppid=17643 vsize=122088 memory=98344 CPUtime=25.49 cores=1,3,5,7
/proc/17646/stat : 17646 (cosoco) R 17643 17646 13926 0 -1 4202496 72838 0 0 0 2545 4 0 0 20 0 1 0 435075090 125018112 24586 33554432000 4194304 6211092 140734092344000 140734092341960 5157395 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26841088 140734092350475 140734092350577 140734092350577 140734092353486 0
/proc/17646/statm: 30522 24586 875 493 0 23827 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 122088 KiB
Current children cumulated memory: 98344 KiB

[startup+51.1096 s]
/proc/loadavg: 2.05 2.10 2.08 3/204 17649
/proc/meminfo: memFree=30015612/32770624 swapFree=66917004/67108860
[pid=17646] ppid=17643 vsize=122220 memory=98504 CPUtime=51.1 cores=1,3,5,7
/proc/17646/stat : 17646 (cosoco) R 17643 17646 13926 0 -1 4202496 84215 0 0 0 5105 5 0 0 20 0 1 0 435075090 125153280 24626 33554432000 4194304 6211092 140734092344000 140734092341960 5391714 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26841088 140734092350475 140734092350577 140734092350577 140734092353486 0
/proc/17646/statm: 30555 24626 875 493 0 23860 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 122220 KiB
Current children cumulated memory: 98504 KiB

[startup+102.3 s]
/proc/loadavg: 2.02 2.08 2.07 3/204 17654
/proc/meminfo: memFree=30015584/32770624 swapFree=66917004/67108860
[pid=17646] ppid=17643 vsize=122220 memory=98508 CPUtime=102.28 cores=1,3,5,7
/proc/17646/stat : 17646 (cosoco) R 17643 17646 13926 0 -1 4202496 94959 0 0 0 10222 6 0 0 20 0 1 0 435075090 125153280 24627 33554432000 4194304 6211092 140734092344000 140734092341960 5409461 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26841088 140734092350475 140734092350577 140734092350577 140734092353486 0
/proc/17646/statm: 30555 24627 875 493 0 23860 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 122220 KiB
Current children cumulated memory: 98508 KiB

[startup+162.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/204 17660
/proc/meminfo: memFree=30014424/32770624 swapFree=66917004/67108860
[pid=17646] ppid=17643 vsize=122620 memory=99272 CPUtime=162.27 cores=1,3,5,7
/proc/17646/stat : 17646 (cosoco) R 17643 17646 13926 0 -1 4202496 98591 0 0 0 16221 6 0 0 20 0 1 0 435075090 125562880 24818 33554432000 4194304 6211092 140734092344000 140734092341960 5250234 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26841088 140734092350475 140734092350577 140734092350577 140734092353486 0
/proc/17646/statm: 30655 24818 875 493 0 23960 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 122620 KiB
Current children cumulated memory: 99272 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/205 17673
/proc/meminfo: memFree=30013808/32770624 swapFree=66917004/67108860
[pid=17646] ppid=17643 vsize=122620 memory=99276 CPUtime=222.27 cores=1,3,5,7
/proc/17646/stat : 17646 (cosoco) R 17643 17646 13926 0 -1 4202496 98800 0 0 0 22221 6 0 0 20 0 1 0 435075090 125562880 24819 33554432000 4194304 6211092 140734092344000 140734092341960 5155668 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26841088 140734092350475 140734092350577 140734092350577 140734092353486 0
/proc/17646/statm: 30655 24819 875 493 0 23960 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 122620 KiB
Current children cumulated memory: 99276 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/205 17703
/proc/meminfo: memFree=30013140/32770624 swapFree=66917004/67108860
[pid=17646] ppid=17643 vsize=122888 memory=99484 CPUtime=282.27 cores=1,3,5,7
/proc/17646/stat : 17646 (cosoco) R 17643 17646 13926 0 -1 4202496 99073 0 0 0 28221 6 0 0 20 0 1 0 435075090 125837312 24871 33554432000 4194304 6211092 140734092344000 140734092341432 5409453 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26841088 140734092350475 140734092350577 140734092350577 140734092353486 0
/proc/17646/statm: 30722 24871 875 493 0 24027 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 122888 KiB
Current children cumulated memory: 99484 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/205 17709
/proc/meminfo: memFree=30013176/32770624 swapFree=66917004/67108860
[pid=17646] ppid=17643 vsize=123284 memory=99916 CPUtime=342.26 cores=1,3,5,7
/proc/17646/stat : 17646 (cosoco) R 17643 17646 13926 0 -1 4202496 99469 0 0 0 34220 6 0 0 20 0 1 0 435075090 126242816 24979 33554432000 4194304 6211092 140734092344000 140734092341960 5250272 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26841088 140734092350475 140734092350577 140734092350577 140734092353486 0
/proc/17646/statm: 30821 24979 875 493 0 24126 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 123284 KiB
Current children cumulated memory: 99916 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/205 17713
/proc/meminfo: memFree=30013088/32770624 swapFree=66917004/67108860
[pid=17646] ppid=17643 vsize=123420 memory=100060 CPUtime=402.26 cores=1,3,5,7
/proc/17646/stat : 17646 (cosoco) R 17643 17646 13926 0 -1 4202496 99864 0 0 0 40220 6 0 0 20 0 1 0 435075090 126382080 25015 33554432000 4194304 6211092 140734092344000 140734092341960 5155807 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26841088 140734092350475 140734092350577 140734092350577 140734092353486 0
/proc/17646/statm: 30855 25015 875 493 0 24160 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 123420 KiB
Current children cumulated memory: 100060 KiB

[startup+462.3 s]
/proc/loadavg: 2.34 2.11 2.07 3/205 17717
/proc/meminfo: memFree=30013196/32770624 swapFree=66917004/67108860
[pid=17646] ppid=17643 vsize=123556 memory=100152 CPUtime=462.26 cores=1,3,5,7
/proc/17646/stat : 17646 (cosoco) R 17643 17646 13926 0 -1 4202496 100241 0 0 0 46220 6 0 0 20 0 1 0 435075090 126521344 25038 33554432000 4194304 6211092 140734092344000 140734092341960 5409424 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26841088 140734092350475 140734092350577 140734092350577 140734092353486 0
/proc/17646/statm: 30889 25038 875 493 0 24194 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 123556 KiB
Current children cumulated memory: 100152 KiB


################
# More data... #
################

/proc/17646/statm: 31629 25801 875 493 0 24934 0
Current children cumulated CPU time: 1722.23 s
Current children cumulated vsize: 126516 KiB
Current children cumulated memory: 103204 KiB

[startup+1782.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/203 17841
/proc/meminfo: memFree=30010032/32770624 swapFree=66917004/67108860
[pid=17646] ppid=17643 vsize=126516 memory=103204 CPUtime=1782.23 cores=1,3,5,7
/proc/17646/stat : 17646 (cosoco) R 17643 17646 13926 0 -1 4202496 106582 0 0 0 178216 7 0 0 20 0 1 0 435075090 129552384 25801 33554432000 4194304 6211092 140734092344000 140734092341960 5250272 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 26841088 140734092350475 140734092350577 140734092350577 140734092353486 0
/proc/17646/statm: 31629 25801 875 493 0 24934 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 126516 KiB
Current children cumulated memory: 103204 KiB

[startup+1842.3 s]
/proc/loadavg: 1.98 2.03 2.04 3/203 17846
/proc/meminfo: memFree=30009304/32770624 swapFree=66917004/67108860
[pid=17646] ppid=17643 vsize=126652 memory=103204 CPUtime=1842.23 cores=1,3,5,7
/proc/17646/stat : 17646 (cosoco) R 17643 17646 13926 0 -1 4202496 106697 0 0 0 184216 7 0 0 20 0 1 0 435075090 129691648 25801 33554432000 4194304 6211092 140734092344000 140734092341592 5409453 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 26841088 140734092350475 140734092350577 140734092350577 140734092353486 0
/proc/17646/statm: 31663 25801 875 493 0 24968 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 126652 KiB
Current children cumulated memory: 103204 KiB

[startup+1902.3 s]
/proc/loadavg: 1.99 2.03 2.04 3/203 17851
/proc/meminfo: memFree=30008728/32770624 swapFree=66917008/67108860
[pid=17646] ppid=17643 vsize=126652 memory=103296 CPUtime=1902.22 cores=1,3,5,7
/proc/17646/stat : 17646 (cosoco) R 17643 17646 13926 0 -1 4202496 106886 0 0 0 190215 7 0 0 20 0 1 0 435075090 129691648 25824 33554432000 4194304 6211092 140734092344000 140734092341960 5157540 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 26841088 140734092350475 140734092350577 140734092350577 140734092353486 0
/proc/17646/statm: 31663 25824 875 493 0 24968 0
Current children cumulated CPU time: 1902.22 s
Current children cumulated vsize: 126652 KiB
Current children cumulated memory: 103296 KiB

[startup+1962.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/203 17857
/proc/meminfo: memFree=30008804/32770624 swapFree=66917008/67108860
[pid=17646] ppid=17643 vsize=126784 memory=103352 CPUtime=1962.22 cores=1,3,5,7
/proc/17646/stat : 17646 (cosoco) R 17643 17646 13926 0 -1 4202496 107000 0 0 0 196215 7 0 0 20 0 1 0 435075090 129826816 25838 33554432000 4194304 6211092 140734092344000 140734092341432 5397368 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 26841088 140734092350475 140734092350577 140734092350577 140734092353486 0
/proc/17646/statm: 31696 25838 875 493 0 25001 0
Current children cumulated CPU time: 1962.22 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103352 KiB

[startup+2022.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/204 17869
/proc/meminfo: memFree=30007812/32770624 swapFree=66917008/67108860
[pid=17646] ppid=17643 vsize=126784 memory=103392 CPUtime=2022.22 cores=1,3,5,7
/proc/17646/stat : 17646 (cosoco) R 17643 17646 13926 0 -1 4202496 107098 0 0 0 202215 7 0 0 20 0 1 0 435075090 129826816 25848 33554432000 4194304 6211092 140734092344000 140734092341432 5009168 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 26841088 140734092350475 140734092350577 140734092350577 140734092353486 0
/proc/17646/statm: 31696 25848 875 493 0 25001 0
Current children cumulated CPU time: 2022.22 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103392 KiB

[startup+2082.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/204 17873
/proc/meminfo: memFree=30007608/32770624 swapFree=66917008/67108860
[pid=17646] ppid=17643 vsize=126784 memory=103392 CPUtime=2082.22 cores=1,3,5,7
/proc/17646/stat : 17646 (cosoco) R 17643 17646 13926 0 -1 4202496 107319 0 0 0 208215 7 0 0 20 0 1 0 435075090 129826816 25848 33554432000 4194304 6211092 140734092344000 140734092341960 5250224 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 26841088 140734092350475 140734092350577 140734092350577 140734092353486 0
/proc/17646/statm: 31696 25848 875 493 0 25001 0
Current children cumulated CPU time: 2082.22 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103392 KiB

[startup+2142.3 s]
/proc/loadavg: 1.93 2.00 2.04 3/204 17941
/proc/meminfo: memFree=29980460/32770624 swapFree=66917008/67108860
[pid=17646] ppid=17643 vsize=126784 memory=103408 CPUtime=2142.21 cores=1,3,5,7
/proc/17646/stat : 17646 (cosoco) R 17643 17646 13926 0 -1 4202496 107479 0 0 0 214214 7 0 0 20 0 1 0 435075090 129826816 25852 33554432000 4194304 6211092 140734092344000 140734092341960 5409461 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 26841088 140734092350475 140734092350577 140734092350577 140734092353486 0
/proc/17646/statm: 31696 25852 875 493 0 25001 0
Current children cumulated CPU time: 2142.21 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103408 KiB

[startup+2202.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/204 17945
/proc/meminfo: memFree=29980224/32770624 swapFree=66917008/67108860
[pid=17646] ppid=17643 vsize=126784 memory=103408 CPUtime=2202.21 cores=1,3,5,7
/proc/17646/stat : 17646 (cosoco) R 17643 17646 13926 0 -1 4202496 107628 0 0 0 220214 7 0 0 20 0 1 0 435075090 129826816 25852 33554432000 4194304 6211092 140734092344000 140734092341960 5250465 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 26841088 140734092350475 140734092350577 140734092350577 140734092353486 0
/proc/17646/statm: 31696 25852 875 493 0 25001 0
Current children cumulated CPU time: 2202.21 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103408 KiB

[startup+2262.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/204 17949
/proc/meminfo: memFree=29979576/32770624 swapFree=66917008/67108860
[pid=17646] ppid=17643 vsize=126784 memory=103408 CPUtime=2262.21 cores=1,3,5,7
/proc/17646/stat : 17646 (cosoco) R 17643 17646 13926 0 -1 4202496 107847 0 0 0 226214 7 0 0 20 0 1 0 435075090 129826816 25852 33554432000 4194304 6211092 140734092344000 140734092341960 5250272 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 26841088 140734092350475 140734092350577 140734092350577 140734092353486 0
/proc/17646/statm: 31696 25852 875 493 0 25001 0
Current children cumulated CPU time: 2262.21 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103408 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 17955
/proc/meminfo: memFree=29979696/32770624 swapFree=66917008/67108860
[pid=17646] ppid=17643 vsize=126784 memory=103408 CPUtime=2322.21 cores=1,3,5,7
/proc/17646/stat : 17646 (cosoco) R 17643 17646 13926 0 -1 4202496 107968 0 0 0 232213 8 0 0 20 0 1 0 435075090 129826816 25852 33554432000 4194304 6211092 140734092344000 140734092341960 5250272 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 26841088 140734092350475 140734092350577 140734092350577 140734092353486 0
/proc/17646/statm: 31696 25852 875 493 0 25001 0
Current children cumulated CPU time: 2322.21 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103408 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 17959
/proc/meminfo: memFree=29979720/32770624 swapFree=66917008/67108860
[pid=17646] ppid=17643 vsize=126784 memory=103408 CPUtime=2382.21 cores=1,3,5,7
/proc/17646/stat : 17646 (cosoco) R 17643 17646 13926 0 -1 4202496 108062 0 0 0 238213 8 0 0 20 0 1 0 435075090 129826816 25852 33554432000 4194304 6211092 140734092344000 140734092341960 5155341 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 26841088 140734092350475 140734092350577 140734092350577 140734092353486 0
/proc/17646/statm: 31696 25852 875 493 0 25001 0
Current children cumulated CPU time: 2382.21 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103408 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 17963
/proc/meminfo: memFree=29979384/32770624 swapFree=66917008/67108860
[pid=17646] ppid=17643 vsize=126784 memory=103408 CPUtime=2442.21 cores=1,3,5,7
/proc/17646/stat : 17646 (cosoco) R 17643 17646 13926 0 -1 4202496 108170 0 0 0 244213 8 0 0 20 0 1 0 435075090 129826816 25852 33554432000 4194304 6211092 140734092344000 140734092341960 5155358 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 26841088 140734092350475 140734092350577 140734092350577 140734092353486 0
/proc/17646/statm: 31696 25852 875 493 0 25001 0
Current children cumulated CPU time: 2442.21 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103408 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 17969
/proc/meminfo: memFree=29979804/32770624 swapFree=66917008/67108860
[pid=17646] ppid=17643 vsize=126784 memory=103408 CPUtime=2502.21 cores=1,3,5,7
/proc/17646/stat : 17646 (cosoco) R 17643 17646 13926 0 -1 4202496 108363 0 0 0 250213 8 0 0 20 0 1 0 435075090 129826816 25852 33554432000 4194304 6211092 140734092344000 140734092341960 5250224 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 26841088 140734092350475 140734092350577 140734092350577 140734092353486 0
/proc/17646/statm: 31696 25852 875 493 0 25001 0
Current children cumulated CPU time: 2502.21 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103408 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/202 17970
/proc/meminfo: memFree=29979680/32770624 swapFree=66917008/67108860
[pid=17646] ppid=17643 vsize=126784 memory=103408 CPUtime=2519.92 cores=1,3,5,7
/proc/17646/stat : 17646 (cosoco) R 17643 17646 13926 0 -1 4202496 108455 0 0 0 251984 8 0 0 20 0 1 0 435075090 129826816 25852 33554432000 4194304 6211092 140734092344000 140734092341960 5409453 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 26841088 140734092350475 140734092350577 140734092350577 140734092353486 0
/proc/17646/statm: 31696 25852 875 493 0 25001 0
Current children cumulated CPU time: 2519.92 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103408 KiB

Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds

[startup+2520.01 s]
# the end of solver process 17646 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.84 s, system=0.082997 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.92
CPU user time (s): 2519.84
CPU system time (s): 0.082997
CPU usage (%): 99.9966
Max. virtual memory (cumulated for all children) (KiB): 126784
Max. memory (cumulated for all children) (KiB): 103408

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.84
system time used= 0.082997
maximum resident set size= 103472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 108508
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= 53
involuntary context switches= 1350


# summary of solver processes directly reported to runsolver:
#   pid: 17646
#   total CPU time (s): 2519.92
#   total CPU user time (s): 2519.84
#   total CPU system time (s): 0.082997

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.8722 second user time and 15.1188 second system time

The end

Launcher Data 

Begin job on node134 at 2019-09-16 00:56:44
IDJOB=4396842
IDBENCH=134822
IDSOLVER=2848
FILE ID=node134/4396842-1568588246
RUNJOBID= node134-1568572743-13958
PBS_JOBID= 21703320
Free space on /tmp= 59596 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-spba/Pb-BeauxArts-K67.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4396842-1568588246/watcher-4396842-1568588246 -o /tmp/evaluation-result-4396842-1568588246/solver-4396842-1568588246 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1568572743-13958 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4396842-1568588246.xml

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

MD5SUM BENCH= 4516aa109e121890953f360029c48088
RANDOM SEED=1592817590

node134.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.76
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
microcode	: 0x19
cpu MHz		: 2668.000
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 sep 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 nopl 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 dtherm 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:       32770624 kB
MemFree:        30111064 kB
MemAvailable:   31785816 kB
Buffers:          201104 kB
Cached:          1748304 kB
SwapCached:        90420 kB
Active:           601348 kB
Inactive:        1444112 kB
Active(anon):       4632 kB
Inactive(anon):   139652 kB
Active(file):     596716 kB
Inactive(file):  1304460 kB
Unevictable:      108392 kB
Mlocked:          108392 kB
SwapTotal:      67108860 kB
SwapFree:       66917004 kB
Dirty:              2728 kB
Writeback:             0 kB
AnonPages:        156520 kB
Mapped:            47924 kB
Shmem:             39612 kB
Slab:             209020 kB
SReclaimable:     178824 kB
SUnreclaim:        30196 kB
KernelStack:        3632 kB
PageTables:         5468 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     537832 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    108544 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      118144 kB
DirectMap2M:    33427456 kB

Free space on /tmp at the end= 59596 MiB
End job on node134 at 2019-09-16 01:38:44