Trace number 4389562

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? (TO) 2520.03 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-4389562-1568349980.xml 
0.31/0.41	c ========================================[ Problem Statistics ]===========================================
0.31/0.41	c |                                                                                                       
0.31/0.41	c |  Parse time        :         0.35 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.08	c 465            33383          1374189        516396         455            0              400   852   682
3.59/3.68	c 611            39818          1687814        642708         455            0              481   867   641
4.29/4.33	c 771            44263          2041123        773441         455            0              329   525   382
5.49/5.53	c 947            52123          2737275        1034903        455            0              140   1105   772
6.29/6.35	c 1140           57741          3243185        1231516        455            0              337   386   364
7.79/7.80	c 1352           76995          3937802        1523845        455            0              295   1022   602
9.69/9.70	c 1585           84853          5104099        1935706        455            0              332   480   409
10.79/10.82	c 1841           101081         5625451        2138160        455            0              304   710   540
12.09/12.17	c 2122           112339         6367668        2432076        455            0              330   588   457
14.69/14.76	c 2431           123706         7861315        2915531        455            0              338   437   389
15.89/15.91	c 2770           132635         8511795        3148682        455            0              311   401   365
17.19/17.26	c 3142           141554         9287186        3430288        455            0              256   386   315
18.79/18.81	c 3551           150965         10169522       3727554        455            0              263   397   310
20.10/20.15	c 4000           162849         10868887       3994277        455            0              212   401   304
21.59/21.63	c 4493           175215         11655534       4292807        455            0              228   303   262
24.00/24.08	c 5035           201006         12932199       4835028        455            0              191   621   524
27.09/27.13	c 5631           222535         14641333       5363429        455            0              329   517   461
30.19/30.22	c 6286           265638         16080803       5878559        455            0              285   523   454
31.79/31.85	c 7006           285444         16950561       6238960        455            0              238   471   359
36.18/36.22	c 7798           336978         19246786       7270957        455            0              143   817   574
39.18/39.24	c 8669           378046         20868233       7960024        455            0              380   691   544
41.68/41.70	c 9627           415250         22195187       8464150        455            0              494   809   713
44.58/44.68	c 10680          456506         23900949       9119151        455            0              551   1181   662
49.87/49.93	c 11838          501484         27390333       10372577       455            0              462   683   572
58.66/58.73	c 13111          591133         32265619       12303799       455            0              428   855   643
67.07/67.17	c 14511          665845         37188096       14250406       455            0              495   767   678
71.47/71.58	c 16051          740774         39413975       15226366       455            0              580   905   798
78.26/78.34	c 17745          867267         42416970       16625159       455            0              561   959   809
84.66/84.70	c 19608          959942         45644410       18002989       455            0              347   730   627
91.16/91.29	c 21657          1050973        49294756       19553502       455            0              462   779   617
100.76/100.83	c 23910          1182038        54270505       21410810       455            0              435   892   617
109.57/109.66	c 26388          1318083        58908123       23223909       455            0              433   1244   637
119.77/119.84	c 29113          1479268        64065137       25464129       455            0              519   1194   749
132.47/132.56	c 32110          1604771        71473277       28287817       455            0              490   705   618
145.97/146.01	c 35406          1787070        78556006       31060578       455            0              495   978   713
163.57/163.62	c 39031          1977527        88368888       34633560       455            0              450   816   680
177.37/177.44	c 43018          2129823        95687982       37483834       455            0              305   736   541
189.77/189.85	c 47403          2297033        102700620      40201184       455            0              489   743   601
201.67/201.74	c 52226          2485550        108998208      42627390       455            0              393   625   555
221.87/222.00	c 57531          2758046        120106635      46885143       455            0              429   990   628
247.27/247.36	c 63366          3034699        134676742      51971316       455            0              372   831   614
269.67/269.74	c 69784          3290309        148124919      57150081       455            0              396   706   614
296.87/296.98	c 76843          3712206        161820247      63358536       455            0              534   1102   869
321.98/322.06	c 84607          4119411        173888683      68499588       455            0              325   1128   696
369.87/369.97	c 93147          4918221        196999120      78756011       455            0              431   1233   846
440.47/440.56	c 102541         5771562        235272945      93341060       455            0              538   1319   871
509.47/509.59	c 112874         6611585        273882102      108555106      455            0              618   1277   930
571.08/571.15	c 124240         7442273        307848673      122171366      455            0              565   1230   980
626.48/626.59	c 136742         8170615        338203577      134248290      455            0              652   1203   981
713.68/713.78	c 150494         9043913        388013501      154855657      455            0              579   1248   930
788.09/788.17	c 165621         10286277       426608370      171171033      455            0              709   1916   1115
860.18/860.28	c 182260         11779990       459922684      185510668      455            0              681   1742   1112
945.58/945.62	c 200562         13176542       504711099      203349937      455            0              790   1688   1194
1040.28/1040.39	c 220694         14340528       558051809      223474973      455            0              784   1871   1062
1132.09/1132.14	c 242839         16175261       604310572      242196258      455            0              938   1711   1329
1258.89/1258.90	c 267198         17934353       673834652      272757489      455            0              842   1541   1211
1402.69/1402.77	c 293992         20183259       751001153      301446564      455            0              963   1716   1308
1583.89/1583.97	c 323465         22619123       849095051      336959165      455            0              805   1734   1223
1725.19/1725.29	c 355885         24849599       924811111      367849962      455            0              722   1539   1274
1898.70/1898.72	c 391547         27494223       1016895141     403680000      455            0              690   1662   1236
2079.11/2079.15	c 430775         29925753       1118412520     445685421      455            0              828   1518   1198
2258.11/2258.19	c 473925         32595240       1213767132     482096938      455            0              797   1436   1084
2462.21/2462.21	c 521390         35765150       1320868971     527946360      455            0              685   1238   1068
2520.02/2520.00	
2520.02/2520.00	c *** INTERRUPTED ***
2520.02/2520.00	c restarts              : 66          
2520.02/2520.00	c conflicts             : 532920       (211 /sec)
2520.02/2520.00	c decisions             : 36585664     (14518 /sec)
2520.02/2520.00	c propagations          : 539684890   (214165 /sec)
2520.02/2520.00	c root propagations     : 455         
2520.02/2520.00	c filter calls          : 1351400710     (536281 /sec)
2520.02/2520.00	c useless filter calls  : 1185906244     (87 %)
2520.02/2520.00	c Memory used           : 123.82 MB
2520.02/2520.00	c CPU time              : 2519.95 s
2520.02/2520.00	c real time             : 2520.01 s
2520.02/2520.00	
2520.02/2520.00	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 (13996 MiB free)
  memory of node 1: 16384 MiB (13677 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389562-1568349980/watcher-4389562-1568349980 -o /tmp/evaluation-result-4389562-1568349980/solver-4389562-1568349980 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568329019-3495 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4389562-1568349980.xml 

running on 4 cores: 0,2,4,6

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
Current StackSize limit: 8192 KiB

solver pid=8305, runsolver pid=8302

[startup+0.100178 s]*
/proc/loadavg: 2.00 2.03 2.05 3/199 8306
/proc/meminfo: memFree=28323420/32770624 swapFree=66998520/67108860
[pid=8305] ppid=8302 vsize=41724 memory=17988 CPUtime=0.09 cores=0,2,4,6
/proc/8305/stat : 8305 (cosoco) R 8302 8305 3464 0 -1 4202496 4712 0 0 0 9 0 0 0 20 0 1 0 411266858 42725376 4497 33554432000 4194304 6210612 140722663299904 140722663296440 5542759 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26615808 140722663306251 140722663306353 140722663306353 140722663309262 0
/proc/8305/statm: 10431 4497 834 493 0 3736 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 41724 KiB
Current children cumulated memory: 17988 KiB

[startup+0.210038 s]*
/proc/loadavg: 2.00 2.03 2.05 3/199 8306
/proc/meminfo: memFree=28309684/32770624 swapFree=66998520/67108860
[pid=8305] ppid=8302 vsize=56744 memory=33124 CPUtime=0.2 cores=0,2,4,6
/proc/8305/stat : 8305 (cosoco) R 8302 8305 3464 0 -1 4202496 8473 0 0 0 19 1 0 0 20 0 1 0 411266858 58105856 8281 33554432000 4194304 6210612 140722663299904 140722663294056 140552447122405 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26615808 140722663306251 140722663306353 140722663306353 140722663309262 0
/proc/8305/statm: 14186 8281 834 493 0 7491 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 56744 KiB
Current children cumulated memory: 33124 KiB

[startup+0.30971 s]*
/proc/loadavg: 2.00 2.03 2.05 3/199 8306
/proc/meminfo: memFree=28288232/32770624 swapFree=66998520/67108860
[pid=8305] ppid=8302 vsize=78936 memory=55308 CPUtime=0.31 cores=0,2,4,6
/proc/8305/stat : 8305 (cosoco) R 8302 8305 3464 0 -1 4202496 14000 0 0 0 29 2 0 0 20 0 1 0 411266858 80830464 13827 33554432000 4194304 6210612 140722663299904 140722663294056 140552447122405 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26615808 140722663306251 140722663306353 140722663306353 140722663309262 0
/proc/8305/statm: 19734 13827 834 493 0 13039 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 78936 KiB
Current children cumulated memory: 55308 KiB

[startup+0.700419 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 8306
/proc/meminfo: memFree=28269260/32770624 swapFree=66998520/67108860
[pid=8305] ppid=8302 vsize=121684 memory=97912 CPUtime=0.69 cores=0,2,4,6
/proc/8305/stat : 8305 (cosoco) R 8302 8305 3464 0 -1 4202496 24653 0 0 0 66 3 0 0 20 0 1 0 411266858 124604416 24478 33554432000 4194304 6210612 140722663299904 140722663294056 5154952 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26615808 140722663306251 140722663306353 140722663306353 140722663309262 0
/proc/8305/statm: 30421 24478 870 493 0 23726 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 121684 KiB
Current children cumulated memory: 97912 KiB

[startup+1.50036 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 8306
/proc/meminfo: memFree=28243840/32770624 swapFree=66998520/67108860
[pid=8305] ppid=8302 vsize=121824 memory=97912 CPUtime=1.49 cores=0,2,4,6
/proc/8305/stat : 8305 (cosoco) R 8302 8305 3464 0 -1 4202496 24695 0 0 0 146 3 0 0 20 0 1 0 411266858 124747776 24478 33554432000 4194304 6210612 140722663299904 140722663294056 5249700 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26615808 140722663306251 140722663306353 140722663306353 140722663309262 0
/proc/8305/statm: 30456 24478 870 493 0 23761 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 121824 KiB
Current children cumulated memory: 97912 KiB

[startup+3.10959 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 8306
/proc/meminfo: memFree=28243840/32770624 swapFree=66998520/67108860
[pid=8305] ppid=8302 vsize=121824 memory=98132 CPUtime=3.1 cores=0,2,4,6
/proc/8305/stat : 8305 (cosoco) R 8302 8305 3464 0 -1 4202496 34465 0 0 0 306 4 0 0 20 0 1 0 411266858 124747776 24533 33554432000 4194304 6210612 140722663299904 140722663294056 5409284 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26615808 140722663306251 140722663306353 140722663306353 140722663309262 0
/proc/8305/statm: 30456 24533 872 493 0 23761 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 121824 KiB
Current children cumulated memory: 98132 KiB

[startup+6.30034 s]
/proc/loadavg: 1.84 2.00 2.03 3/199 8306
/proc/meminfo: memFree=28243116/32770624 swapFree=66998520/67108860
[pid=8305] ppid=8302 vsize=122088 memory=98328 CPUtime=6.29 cores=0,2,4,6
/proc/8305/stat : 8305 (cosoco) R 8302 8305 3464 0 -1 4202496 44979 0 0 0 624 5 0 0 20 0 1 0 411266858 125018112 24582 33554432000 4194304 6210612 140722663299904 140722663297864 5156097 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26615808 140722663306251 140722663306353 140722663306353 140722663309262 0
/proc/8305/statm: 30522 24582 872 493 0 23827 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 122088 KiB
Current children cumulated memory: 98328 KiB

[startup+12.7003 s]
/proc/loadavg: 1.86 2.00 2.03 3/199 8306
/proc/meminfo: memFree=28242868/32770624 swapFree=66998520/67108860
[pid=8305] ppid=8302 vsize=122088 memory=98332 CPUtime=12.69 cores=0,2,4,6
/proc/8305/stat : 8305 (cosoco) R 8302 8305 3464 0 -1 4202496 54884 0 0 0 1264 5 0 0 20 0 1 0 411266858 125018112 24583 33554432000 4194304 6210612 140722663299904 140722663297864 5155888 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26615808 140722663306251 140722663306353 140722663306353 140722663309262 0
/proc/8305/statm: 30522 24583 872 493 0 23827 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 122088 KiB
Current children cumulated memory: 98332 KiB

[startup+25.5004 s]
/proc/loadavg: 1.89 2.00 2.03 3/199 8307
/proc/meminfo: memFree=28241980/32770624 swapFree=66998520/67108860
[pid=8305] ppid=8302 vsize=122088 memory=98336 CPUtime=25.49 cores=0,2,4,6
/proc/8305/stat : 8305 (cosoco) R 8302 8305 3464 0 -1 4202496 72845 0 0 0 2543 6 0 0 20 0 1 0 411266858 125018112 24584 33554432000 4194304 6210612 140722663299904 140722663297864 5249712 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26615808 140722663306251 140722663306353 140722663306353 140722663309262 0
/proc/8305/statm: 30522 24584 872 493 0 23827 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 122088 KiB
Current children cumulated memory: 98336 KiB

[startup+51.1096 s]
/proc/loadavg: 1.93 2.00 2.03 3/199 8309
/proc/meminfo: memFree=28241896/32770624 swapFree=66998520/67108860
[pid=8305] ppid=8302 vsize=122220 memory=98496 CPUtime=51.08 cores=0,2,4,6
/proc/8305/stat : 8305 (cosoco) R 8302 8305 3464 0 -1 4202496 81504 0 0 0 5102 6 0 0 20 0 1 0 411266858 125153280 24624 33554432000 4194304 6210612 140722663299904 140722663297864 5409289 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26615808 140722663306251 140722663306353 140722663306353 140722663309262 0
/proc/8305/statm: 30555 24624 872 493 0 23860 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 122220 KiB
Current children cumulated memory: 98496 KiB

[startup+102.3 s]
/proc/loadavg: 1.97 2.00 2.03 3/199 8313
/proc/meminfo: memFree=28241532/32770624 swapFree=66998520/67108860
[pid=8305] ppid=8302 vsize=122220 memory=98848 CPUtime=102.27 cores=0,2,4,6
/proc/8305/stat : 8305 (cosoco) R 8302 8305 3464 0 -1 4202496 83456 0 0 0 10220 7 0 0 20 0 1 0 411266858 125153280 24712 33554432000 4194304 6210612 140722663299904 140722663297864 5409293 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26615808 140722663306251 140722663306353 140722663306353 140722663309262 0
/proc/8305/statm: 30555 24712 872 493 0 23860 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 122220 KiB
Current children cumulated memory: 98848 KiB

[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.03 3/199 8317
/proc/meminfo: memFree=28240852/32770624 swapFree=66998520/67108860
[pid=8305] ppid=8302 vsize=122620 memory=99260 CPUtime=162.27 cores=0,2,4,6
/proc/8305/stat : 8305 (cosoco) R 8302 8305 3464 0 -1 4202496 83770 0 0 0 16220 7 0 0 20 0 1 0 411266858 125562880 24815 33554432000 4194304 6210612 140722663299904 140722663297864 5249712 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26615808 140722663306251 140722663306353 140722663306353 140722663309262 0
/proc/8305/statm: 30655 24815 872 493 0 23960 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 122620 KiB
Current children cumulated memory: 99260 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/199 8323
/proc/meminfo: memFree=28240496/32770624 swapFree=66998520/67108860
[pid=8305] ppid=8302 vsize=122620 memory=99268 CPUtime=222.27 cores=0,2,4,6
/proc/8305/stat : 8305 (cosoco) R 8302 8305 3464 0 -1 4202496 83980 0 0 0 22220 7 0 0 20 0 1 0 411266858 125562880 24817 33554432000 4194304 6210612 140722663299904 140722663297864 5154977 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26615808 140722663306251 140722663306353 140722663306353 140722663309262 0
/proc/8305/statm: 30655 24817 872 493 0 23960 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 122620 KiB
Current children cumulated memory: 99268 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/200 8335
/proc/meminfo: memFree=28240736/32770624 swapFree=66998520/67108860
[pid=8305] ppid=8302 vsize=122888 memory=99492 CPUtime=282.27 cores=0,2,4,6
/proc/8305/stat : 8305 (cosoco) R 8302 8305 3464 0 -1 4202496 84249 0 0 0 28220 7 0 0 20 0 1 0 411266858 125837312 24873 33554432000 4194304 6210612 140722663299904 140722663297336 5249712 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26615808 140722663306251 140722663306353 140722663306353 140722663309262 0
/proc/8305/statm: 30722 24873 872 493 0 24027 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 122888 KiB
Current children cumulated memory: 99492 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/200 8339
/proc/meminfo: memFree=28240160/32770624 swapFree=66998520/67108860
[pid=8305] ppid=8302 vsize=123420 memory=99916 CPUtime=342.27 cores=0,2,4,6
/proc/8305/stat : 8305 (cosoco) R 8302 8305 3464 0 -1 4202496 84656 0 0 0 34220 7 0 0 20 0 1 0 411266858 126382080 24979 33554432000 4194304 6210612 140722663299904 140722663297864 5155287 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26615808 140722663306251 140722663306353 140722663306353 140722663309262 0
/proc/8305/statm: 30855 24979 872 493 0 24160 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 123420 KiB
Current children cumulated memory: 99916 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/200 8345
/proc/meminfo: memFree=28240472/32770624 swapFree=66998520/67108860
[pid=8305] ppid=8302 vsize=123420 memory=100056 CPUtime=402.27 cores=0,2,4,6
/proc/8305/stat : 8305 (cosoco) R 8302 8305 3464 0 -1 4202496 85032 0 0 0 40220 7 0 0 20 0 1 0 411266858 126382080 25014 33554432000 4194304 6210612 140722663299904 140722663297864 5249712 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26615808 140722663306251 140722663306353 140722663306353 140722663309262 0
/proc/8305/statm: 30855 25014 872 493 0 24160 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 123420 KiB
Current children cumulated memory: 100056 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.03 3/200 8349
/proc/meminfo: memFree=28239712/32770624 swapFree=66998520/67108860
[pid=8305] ppid=8302 vsize=123556 memory=100140 CPUtime=462.27 cores=0,2,4,6
/proc/8305/stat : 8305 (cosoco) R 8302 8305 3464 0 -1 4202496 85419 0 0 0 46220 7 0 0 20 0 1 0 411266858 126521344 25035 33554432000 4194304 6210612 140722663299904 140722663297864 5155135 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26615808 140722663306251 140722663306353 140722663306353 140722663309262 0
/proc/8305/statm: 30889 25035 872 493 0 24194 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 123556 KiB
Current children cumulated memory: 100140 KiB


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

/proc/8305/statm: 31629 25798 872 493 0 24934 0
Current children cumulated CPU time: 1722.29 s
Current children cumulated vsize: 126516 KiB
Current children cumulated memory: 103192 KiB

[startup+1782.3 s]
/proc/loadavg: 2.14 2.06 2.05 3/199 8735
/proc/meminfo: memFree=28275740/32770624 swapFree=66998520/67108860
[pid=8305] ppid=8302 vsize=126516 memory=103192 CPUtime=1782.29 cores=0,2,4,6
/proc/8305/stat : 8305 (cosoco) R 8302 8305 3464 0 -1 4202496 92260 0 0 0 178222 7 0 0 20 0 1 0 411266858 129552384 25798 33554432000 4194304 6210612 140722663299904 140722663297864 5157817 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26615808 140722663306251 140722663306353 140722663306353 140722663309262 0
/proc/8305/statm: 31629 25798 872 493 0 24934 0
Current children cumulated CPU time: 1782.29 s
Current children cumulated vsize: 126516 KiB
Current children cumulated memory: 103192 KiB

[startup+1842.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/199 8741
/proc/meminfo: memFree=28274432/32770624 swapFree=66998520/67108860
[pid=8305] ppid=8302 vsize=126652 memory=103192 CPUtime=1842.3 cores=0,2,4,6
/proc/8305/stat : 8305 (cosoco) R 8302 8305 3464 0 -1 4202496 92394 0 0 0 184223 7 0 0 20 0 1 0 411266858 129691648 25798 33554432000 4194304 6210612 140722663299904 140722663297496 5249724 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26615808 140722663306251 140722663306353 140722663306353 140722663309262 0
/proc/8305/statm: 31663 25798 872 493 0 24968 0
Current children cumulated CPU time: 1842.3 s
Current children cumulated vsize: 126652 KiB
Current children cumulated memory: 103192 KiB

[startup+1902.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/199 8745
/proc/meminfo: memFree=28275244/32770624 swapFree=66998520/67108860
[pid=8305] ppid=8302 vsize=126652 memory=103284 CPUtime=1902.3 cores=0,2,4,6
/proc/8305/stat : 8305 (cosoco) R 8302 8305 3464 0 -1 4202496 92583 0 0 0 190223 7 0 0 20 0 1 0 411266858 129691648 25821 33554432000 4194304 6210612 140722663299904 140722663297864 5249712 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26615808 140722663306251 140722663306353 140722663306353 140722663309262 0
/proc/8305/statm: 31663 25821 872 493 0 24968 0
Current children cumulated CPU time: 1902.3 s
Current children cumulated vsize: 126652 KiB
Current children cumulated memory: 103284 KiB

[startup+1962.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/199 8749
/proc/meminfo: memFree=28274660/32770624 swapFree=66998520/67108860
[pid=8305] ppid=8302 vsize=126784 memory=103340 CPUtime=1962.3 cores=0,2,4,6
/proc/8305/stat : 8305 (cosoco) R 8302 8305 3464 0 -1 4202496 92718 0 0 0 196223 7 0 0 20 0 1 0 411266858 129826816 25835 33554432000 4194304 6210612 140722663299904 140722663297336 5409297 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26615808 140722663306251 140722663306353 140722663306353 140722663309262 0
/proc/8305/statm: 31696 25835 872 493 0 25001 0
Current children cumulated CPU time: 1962.3 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103340 KiB

[startup+2022.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/200 8755
/proc/meminfo: memFree=28275000/32770624 swapFree=66998520/67108860
[pid=8305] ppid=8302 vsize=126784 memory=103380 CPUtime=2022.3 cores=0,2,4,6
/proc/8305/stat : 8305 (cosoco) R 8302 8305 3464 0 -1 4202496 92841 0 0 0 202223 7 0 0 20 0 1 0 411266858 129826816 25845 33554432000 4194304 6210612 140722663299904 140722663297336 5249691 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26615808 140722663306251 140722663306353 140722663306353 140722663309262 0
/proc/8305/statm: 31696 25845 872 493 0 25001 0
Current children cumulated CPU time: 2022.3 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103380 KiB

[startup+2082.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/200 8767
/proc/meminfo: memFree=28274900/32770624 swapFree=66998520/67108860
[pid=8305] ppid=8302 vsize=126784 memory=103380 CPUtime=2082.3 cores=0,2,4,6
/proc/8305/stat : 8305 (cosoco) R 8302 8305 3464 0 -1 4202496 93053 0 0 0 208223 7 0 0 20 0 1 0 411266858 129826816 25845 33554432000 4194304 6210612 140722663299904 140722663297864 5409293 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26615808 140722663306251 140722663306353 140722663306353 140722663309262 0
/proc/8305/statm: 31696 25845 872 493 0 25001 0
Current children cumulated CPU time: 2082.3 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103380 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 8771
/proc/meminfo: memFree=28275304/32770624 swapFree=66998520/67108860
[pid=8305] ppid=8302 vsize=126784 memory=103396 CPUtime=2142.3 cores=0,2,4,6
/proc/8305/stat : 8305 (cosoco) R 8302 8305 3464 0 -1 4202496 93217 0 0 0 214223 7 0 0 20 0 1 0 411266858 129826816 25849 33554432000 4194304 6210612 140722663299904 140722663297864 5409289 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26615808 140722663306251 140722663306353 140722663306353 140722663309262 0
/proc/8305/statm: 31696 25849 872 493 0 25001 0
Current children cumulated CPU time: 2142.3 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103396 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/201 8777
/proc/meminfo: memFree=28275232/32770624 swapFree=66998520/67108860
[pid=8305] ppid=8302 vsize=126784 memory=103396 CPUtime=2202.3 cores=0,2,4,6
/proc/8305/stat : 8305 (cosoco) R 8302 8305 3464 0 -1 4202496 93367 0 0 0 220223 7 0 0 20 0 1 0 411266858 129826816 25849 33554432000 4194304 6210612 140722663299904 140722663297864 5155888 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26615808 140722663306251 140722663306353 140722663306353 140722663309262 0
/proc/8305/statm: 31696 25849 872 493 0 25001 0
Current children cumulated CPU time: 2202.3 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103396 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 8781
/proc/meminfo: memFree=28274852/32770624 swapFree=66998520/67108860
[pid=8305] ppid=8302 vsize=126784 memory=103396 CPUtime=2262.3 cores=0,2,4,6
/proc/8305/stat : 8305 (cosoco) R 8302 8305 3464 0 -1 4202496 93576 0 0 0 226223 7 0 0 20 0 1 0 411266858 129826816 25849 33554432000 4194304 6210612 140722663299904 140722663297864 5409293 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26615808 140722663306251 140722663306353 140722663306353 140722663309262 0
/proc/8305/statm: 31696 25849 872 493 0 25001 0
Current children cumulated CPU time: 2262.3 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103396 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 8785
/proc/meminfo: memFree=28275524/32770624 swapFree=66998520/67108860
[pid=8305] ppid=8302 vsize=126784 memory=103396 CPUtime=2322.3 cores=0,2,4,6
/proc/8305/stat : 8305 (cosoco) R 8302 8305 3464 0 -1 4202496 93727 0 0 0 232223 7 0 0 20 0 1 0 411266858 129826816 25849 33554432000 4194304 6210612 140722663299904 140722663297864 5249691 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26615808 140722663306251 140722663306353 140722663306353 140722663309262 0
/proc/8305/statm: 31696 25849 872 493 0 25001 0
Current children cumulated CPU time: 2322.3 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103396 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 8792
/proc/meminfo: memFree=28274140/32770624 swapFree=66998520/67108860
[pid=8305] ppid=8302 vsize=126784 memory=103396 CPUtime=2382.3 cores=0,2,4,6
/proc/8305/stat : 8305 (cosoco) R 8302 8305 3464 0 -1 4202496 93849 0 0 0 238223 7 0 0 20 0 1 0 411266858 129826816 25849 33554432000 4194304 6210612 140722663299904 140722663297864 5249890 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26615808 140722663306251 140722663306353 140722663306353 140722663309262 0
/proc/8305/statm: 31696 25849 872 493 0 25001 0
Current children cumulated CPU time: 2382.3 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103396 KiB

[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 8796
/proc/meminfo: memFree=28275336/32770624 swapFree=66998520/67108860
[pid=8305] ppid=8302 vsize=126784 memory=103396 CPUtime=2442.31 cores=0,2,4,6
/proc/8305/stat : 8305 (cosoco) R 8302 8305 3464 0 -1 4202496 93987 0 0 0 244223 8 0 0 20 0 1 0 411266858 129826816 25849 33554432000 4194304 6210612 140722663299904 140722663297864 5409297 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26615808 140722663306251 140722663306353 140722663306353 140722663309262 0
/proc/8305/statm: 31696 25849 872 493 0 25001 0
Current children cumulated CPU time: 2442.31 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103396 KiB

[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 8800
/proc/meminfo: memFree=28274848/32770624 swapFree=66998520/67108860
[pid=8305] ppid=8302 vsize=126784 memory=103396 CPUtime=2502.31 cores=0,2,4,6
/proc/8305/stat : 8305 (cosoco) R 8302 8305 3464 0 -1 4202496 94185 0 0 0 250223 8 0 0 20 0 1 0 411266858 129826816 25849 33554432000 4194304 6210612 140722663299904 140722663297864 5155311 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26615808 140722663306251 140722663306353 140722663306353 140722663309262 0
/proc/8305/statm: 31696 25849 872 493 0 25001 0
Current children cumulated CPU time: 2502.31 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103396 KiB



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 8803
/proc/meminfo: memFree=28275020/32770624 swapFree=66998520/67108860
[pid=8305] ppid=8302 vsize=126784 memory=103396 CPUtime=2520.02 cores=0,2,4,6
/proc/8305/stat : 8305 (cosoco) R 8302 8305 3464 0 -1 4202496 94310 0 0 0 251994 8 0 0 20 0 1 0 411266858 129826816 25849 33554432000 4194304 6210612 140722663299904 140722663297864 5154977 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 26615808 140722663306251 140722663306353 140722663306353 140722663309262 0
/proc/8305/statm: 31696 25849 872 493 0 25001 0
Current children cumulated CPU time: 2520.02 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103396 KiB

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

[startup+2520.01 s]
# the end of solver process 8305 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2519.95 s, system=0.082001 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): 2520.03
CPU user time (s): 2519.95
CPU system time (s): 0.082001
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 126784
Max. memory (cumulated for all children) (KiB): 103396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.95
system time used= 0.082001
maximum resident set size= 103464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 94364
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= 56
involuntary context switches= 749


# summary of solver processes directly reported to runsolver:
#   pid: 8305
#   total CPU time (s): 2520.03
#   total CPU user time (s): 2519.95
#   total CPU system time (s): 0.082001

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.14664 second user time and 17.2588 second system time

The end

Launcher Data 

Begin job on node127 at 2019-09-13 06:45:40
IDJOB=4389562
IDBENCH=134822
IDSOLVER=2829
FILE ID=node127/4389562-1568349980
RUNJOBID= node127-1568329019-3495
PBS_JOBID= 21701156
Free space on /tmp= 58820 MiB

SOLVER NAME= cosoco 2
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-4389562-1568349980/watcher-4389562-1568349980 -o /tmp/evaluation-result-4389562-1568349980/solver-4389562-1568349980 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1568329019-3495 --watchdog 2580  cosoco -lc -model -restarts -stick HOME/instance-4389562-1568349980.xml

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

MD5SUM BENCH= 4516aa109e121890953f360029c48088
RANDOM SEED=1500418685

node127.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.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
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.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
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.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
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.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
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:        28338760 kB
MemAvailable:   31799940 kB
Buffers:          145560 kB
Cached:          3569564 kB
SwapCached:         6780 kB
Active:          2062364 kB
Inactive:        1727544 kB
Active(anon):      67844 kB
Inactive(anon):    48636 kB
Active(file):    1994520 kB
Inactive(file):  1678908 kB
Unevictable:      109044 kB
Mlocked:          109044 kB
SwapTotal:      67108860 kB
SwapFree:       66998520 kB
Dirty:              3052 kB
Writeback:             0 kB
AnonPages:        178972 kB
Mapped:            45212 kB
Shmem:             32692 kB
Slab:             237040 kB
SReclaimable:     207172 kB
SUnreclaim:        29868 kB
KernelStack:        3568 kB
PageTables:         5416 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     591104 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    131072 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      138624 kB
DirectMap2M:    33406976 kB

Free space on /tmp at the end= 58816 MiB
End job on node127 at 2019-09-13 07:27:40