Trace number 4390067

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) 2400.07 2399.9

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 benchmark165.471
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.40	c root propagations     : 455         
0.31/0.40	c restarts enabled, print stats at every restarts
0.31/0.40	c
0.31/0.40	c
0.31/0.40	c
0.31/0.40	c This is cosoco 2.00 --  
0.31/0.40	c
0.31/0.40	c command line: cosoco -lc -model -restarts -stick HOME/instance-4390067-1568347669.xml 
0.31/0.40	c ========================================[ Problem Statistics ]===========================================
0.31/0.40	c |                                                                                                       
0.31/0.40	c |  Parse time        :         0.35 s 
0.31/0.40	c |
0.31/0.40	c |               Variables: 3685
0.31/0.40	c |            Domain Sizes: 2..2
0.31/0.40	c |
0.31/0.40	c |             Constraints: 3821
0.31/0.40	c |                   Arity: 1..67  -- Unary: 2  -- Binary: 660  -- Ternary: 1914
0.31/0.40	c | 
0.31/0.40	c |                   Types: 
0.31/0.40	c |                          Sum: 3821
0.31/0.40	c |                          
0.31/0.40	c =========================================================================================================
0.31/0.40	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
2.99/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.32	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.59/9.69	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.10/12.17	c 2122           112339         6367668        2432076        455            0              330   588   457
14.69/14.75	c 2431           123706         7861315        2915531        455            0              338   437   389
15.89/15.90	c 2770           132635         8511795        3148682        455            0              311   401   365
17.19/17.25	c 3142           141554         9287186        3430288        455            0              256   386   315
18.79/18.80	c 3551           150965         10169522       3727554        455            0              263   397   310
20.10/20.14	c 4000           162849         10868887       3994277        455            0              212   401   304
21.59/21.62	c 4493           175215         11655534       4292807        455            0              228   303   262
24.00/24.07	c 5035           201006         12932199       4835028        455            0              191   621   524
27.19/27.23	c 5631           222535         14641333       5363429        455            0              329   517   461
30.39/30.48	c 6286           265638         16080803       5878559        455            0              285   523   454
32.10/32.19	c 7006           285444         16950561       6238960        455            0              238   471   359
36.69/36.79	c 7798           336978         19246786       7270957        455            0              143   817   574
39.89/39.98	c 8669           378046         20868233       7960024        455            0              380   691   544
42.59/42.60	c 9627           415250         22195187       8464150        455            0              494   809   713
45.70/45.74	c 10680          456506         23900949       9119151        455            0              551   1181   662
51.20/51.27	c 11838          501484         27390333       10372577       455            0              462   683   572
60.50/60.59	c 13111          591133         32265619       12303799       455            0              428   855   643
69.50/69.54	c 14511          665845         37188096       14250406       455            0              495   767   678
74.19/74.26	c 16051          740774         39413975       15226366       455            0              580   905   798
81.49/81.51	c 17745          867267         42416970       16625159       455            0              561   959   809
88.29/88.30	c 19608          959942         45644410       18002989       455            0              347   730   627
95.10/95.13	c 21657          1050973        49294756       19553502       455            0              462   779   617
104.69/104.75	c 23910          1182038        54270505       21410810       455            0              435   892   617
113.58/113.62	c 26388          1318083        58908123       23223909       455            0              433   1244   637
123.79/123.83	c 29113          1479268        64065137       25464129       455            0              519   1194   749
136.48/136.54	c 32110          1604771        71473277       28287817       455            0              490   705   618
149.88/149.99	c 35406          1787070        78556006       31060578       455            0              495   978   713
167.48/167.57	c 39031          1977527        88368888       34633560       455            0              450   816   680
181.29/181.36	c 43018          2129823        95687982       37483834       455            0              305   736   541
193.69/193.75	c 47403          2297033        102700620      40201184       455            0              489   743   601
205.59/205.62	c 52226          2485550        108998208      42627390       455            0              393   625   555
225.79/225.85	c 57531          2758046        120106635      46885143       455            0              429   990   628
251.10/251.16	c 63366          3034699        134676742      51971316       455            0              372   831   614
273.49/273.50	c 69784          3290309        148124919      57150081       455            0              396   706   614
300.69/300.71	c 76843          3712206        161820247      63358536       455            0              534   1102   869
325.70/325.76	c 84607          4119411        173888683      68499588       455            0              325   1128   696
373.60/373.62	c 93147          4918221        196999120      78756011       455            0              431   1233   846
444.11/444.16	c 102541         5771562        235272945      93341060       455            0              538   1319   871
513.02/513.10	c 112874         6611585        273882102      108555106      455            0              618   1277   930
574.51/574.59	c 124240         7442273        307848673      122171366      455            0              565   1230   980
629.92/629.96	c 136742         8170615        338203577      134248290      455            0              652   1203   981
717.03/717.05	c 150494         9043913        388013501      154855657      455            0              579   1248   930
791.33/791.39	c 165621         10286277       426608370      171171033      455            0              709   1916   1115
863.44/863.42	c 182260         11779990       459922684      185510668      455            0              681   1742   1112
948.64/948.68	c 200562         13176542       504711099      203349937      455            0              790   1688   1194
1043.45/1043.44	c 220694         14340528       558051809      223474973      455            0              784   1871   1062
1135.16/1135.17	c 242839         16175261       604310572      242196258      455            0              938   1711   1329
1261.96/1261.90	c 267198         17934353       673834652      272757489      455            0              842   1541   1211
1405.68/1405.69	c 293992         20183259       751001153      301446564      455            0              963   1716   1308
1586.89/1586.80	c 323465         22619123       849095051      336959165      455            0              805   1734   1223
1728.01/1727.95	c 355885         24849599       924811111      367849962      455            0              722   1539   1274
1901.23/1901.13	c 391547         27494223       1016895141     403680000      455            0              690   1662   1236
2081.34/2081.24	c 430775         29925753       1118412520     445685421      455            0              828   1518   1198
2260.16/2260.02	c 473925         32595240       1213767132     482096938      455            0              797   1436   1084
2400.06/2399.90	
2400.06/2399.90	c *** INTERRUPTED ***
2400.06/2399.90	c restarts              : 65          
2400.06/2399.90	c conflicts             : 508006       (212 /sec)
2400.06/2399.90	c decisions             : 34879076     (14533 /sec)
2400.06/2399.90	c propagations          : 513091744   (213790 /sec)
2400.06/2399.90	c root propagations     : 455         
2400.06/2399.90	c filter calls          : 1286530044     (536059 /sec)
2400.06/2399.90	c useless filter calls  : 1128547685     (87 %)
2400.06/2399.90	c Memory used           : 123.82 MB
2400.06/2399.90	c CPU time              : 2399.98 s
2400.06/2399.90	c real time             : 2399.9 s
2400.06/2399.90	
2400.06/2399.90	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 (15313 MiB free)
  memory of node 1: 16384 MiB (15623 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390067-1568347669/watcher-4390067-1568347669 -o /tmp/evaluation-result-4390067-1568347669/solver-4390067-1568347669 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568334353-31997 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390067-1568347669.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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=2130, runsolver pid=2127
Current StackSize limit: 8192 KiB


[startup+0.100206 s]*
/proc/loadavg: 2.00 2.06 2.08 3/203 2131
/proc/meminfo: memFree=31664052/32770624 swapFree=67003448/67108860
[pid=2130] ppid=2127 vsize=41724 memory=17988 CPUtime=0.1 cores=0,2,4,6
/proc/2130/stat : 2130 (cosoco) R 2127 2130 31966 0 -1 4202496 4712 0 0 0 9 1 0 0 20 0 1 0 411006567 42725376 4497 33554432000 4194304 6210612 140727766474112 140727766468432 140059292722304 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30515200 140727766475787 140727766475889 140727766475889 140727766478798 0
/proc/2130/statm: 10431 4497 834 493 0 3736 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41724 KiB
Current children cumulated memory: 17988 KiB

[startup+0.210065 s]*
/proc/loadavg: 2.00 2.06 2.08 3/203 2131
/proc/meminfo: memFree=31650716/32770624 swapFree=67003448/67108860
[pid=2130] ppid=2127 vsize=56880 memory=33124 CPUtime=0.21 cores=0,2,4,6
/proc/2130/stat : 2130 (cosoco) R 2127 2130 31966 0 -1 4202496 8483 0 0 0 20 1 0 0 20 0 1 0 411006567 58245120 8281 33554432000 4194304 6210612 140727766474112 140727766468432 140059276659685 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30515200 140727766475787 140727766475889 140727766475889 140727766478798 0
/proc/2130/statm: 14220 8281 834 493 0 7525 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 56880 KiB
Current children cumulated memory: 33124 KiB

[startup+0.309876 s]*
/proc/loadavg: 2.00 2.06 2.08 3/203 2131
/proc/meminfo: memFree=31629016/32770624 swapFree=67003448/67108860
[pid=2130] ppid=2127 vsize=79068 memory=55308 CPUtime=0.31 cores=0,2,4,6
/proc/2130/stat : 2130 (cosoco) R 2127 2130 31966 0 -1 4202496 14030 0 0 0 29 2 0 0 20 0 1 0 411006567 80965632 13827 33554432000 4194304 6210612 140727766474112 140727766468432 140059276659685 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30515200 140727766475787 140727766475889 140727766475889 140727766478798 0
/proc/2130/statm: 19767 13827 834 493 0 13072 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 79068 KiB
Current children cumulated memory: 55308 KiB

[startup+0.700412 s]
/proc/loadavg: 2.00 2.06 2.08 3/203 2131
/proc/meminfo: memFree=31610044/32770624 swapFree=67003448/67108860
[pid=2130] ppid=2127 vsize=121684 memory=97912 CPUtime=0.69 cores=0,2,4,6
/proc/2130/stat : 2130 (cosoco) R 2127 2130 31966 0 -1 4202496 24653 0 0 0 66 3 0 0 20 0 1 0 411006567 124604416 24478 33554432000 4194304 6210612 140727766474112 140727766468432 5397294 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30515200 140727766475787 140727766475889 140727766475889 140727766478798 0
/proc/2130/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.50037 s]
/proc/loadavg: 2.00 2.06 2.08 3/203 2131
/proc/meminfo: memFree=31584996/32770624 swapFree=67003448/67108860
[pid=2130] ppid=2127 vsize=121824 memory=97912 CPUtime=1.49 cores=0,2,4,6
/proc/2130/stat : 2130 (cosoco) R 2127 2130 31966 0 -1 4202496 24695 0 0 0 146 3 0 0 20 0 1 0 411006567 124747776 24478 33554432000 4194304 6210612 140727766474112 140727766468432 5249898 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30515200 140727766475787 140727766475889 140727766475889 140727766478798 0
/proc/2130/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.1097 s]
/proc/loadavg: 2.00 2.06 2.08 3/203 2131
/proc/meminfo: memFree=31584284/32770624 swapFree=67003448/67108860
[pid=2130] ppid=2127 vsize=121824 memory=98132 CPUtime=3.1 cores=0,2,4,6
/proc/2130/stat : 2130 (cosoco) R 2127 2130 31966 0 -1 4202496 34462 0 0 0 306 4 0 0 20 0 1 0 411006567 124747776 24533 33554432000 4194304 6210612 140727766474112 140727766472072 5185856 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30515200 140727766475787 140727766475889 140727766475889 140727766478798 0
/proc/2130/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.30035 s]
/proc/loadavg: 2.00 2.06 2.08 3/203 2131
/proc/meminfo: memFree=31584564/32770624 swapFree=67003448/67108860
[pid=2130] ppid=2127 vsize=122088 memory=98328 CPUtime=6.29 cores=0,2,4,6
/proc/2130/stat : 2130 (cosoco) R 2127 2130 31966 0 -1 4202496 44979 0 0 0 625 4 0 0 20 0 1 0 411006567 125018112 24582 33554432000 4194304 6210612 140727766474112 140727766472072 5155119 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30515200 140727766475787 140727766475889 140727766475889 140727766478798 0
/proc/2130/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: 2.00 2.05 2.08 3/203 2131
/proc/meminfo: memFree=31584812/32770624 swapFree=67003448/67108860
[pid=2130] ppid=2127 vsize=122088 memory=98332 CPUtime=12.69 cores=0,2,4,6
/proc/2130/stat : 2130 (cosoco) R 2127 2130 31966 0 -1 4202496 54884 0 0 0 1264 5 0 0 20 0 1 0 411006567 125018112 24583 33554432000 4194304 6210612 140727766474112 140727766472072 5155149 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30515200 140727766475787 140727766475889 140727766475889 140727766478798 0
/proc/2130/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: 2.00 2.05 2.08 3/203 2131
/proc/meminfo: memFree=31584664/32770624 swapFree=67003448/67108860
[pid=2130] ppid=2127 vsize=122088 memory=98332 CPUtime=25.49 cores=0,2,4,6
/proc/2130/stat : 2130 (cosoco) R 2127 2130 31966 0 -1 4202496 72842 0 0 0 2543 6 0 0 20 0 1 0 411006567 125018112 24583 33554432000 4194304 6210612 140727766474112 140727766472072 5249691 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30515200 140727766475787 140727766475889 140727766475889 140727766478798 0
/proc/2130/statm: 30522 24583 872 493 0 23827 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 122088 KiB
Current children cumulated memory: 98332 KiB

[startup+51.1095 s]
/proc/loadavg: 2.00 2.05 2.08 3/203 2134
/proc/meminfo: memFree=31584640/32770624 swapFree=67003448/67108860
[pid=2130] ppid=2127 vsize=122220 memory=98492 CPUtime=51.11 cores=0,2,4,6
/proc/2130/stat : 2130 (cosoco) R 2127 2130 31966 0 -1 4202496 84200 0 0 0 5104 7 0 0 20 0 1 0 411006567 125153280 24623 33554432000 4194304 6210612 140727766474112 140727766472072 5396249 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30515200 140727766475787 140727766475889 140727766475889 140727766478798 0
/proc/2130/statm: 30555 24623 872 493 0 23860 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 122220 KiB
Current children cumulated memory: 98492 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.04 2.07 3/202 2138
/proc/meminfo: memFree=31583908/32770624 swapFree=67003448/67108860
[pid=2130] ppid=2127 vsize=122220 memory=98496 CPUtime=102.29 cores=0,2,4,6
/proc/2130/stat : 2130 (cosoco) R 2127 2130 31966 0 -1 4202496 94991 0 0 0 10222 7 0 0 20 0 1 0 411006567 125153280 24624 33554432000 4194304 6210612 140727766474112 140727766472072 5409293 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30515200 140727766475787 140727766475889 140727766475889 140727766478798 0
/proc/2130/statm: 30555 24624 872 493 0 23860 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 122220 KiB
Current children cumulated memory: 98496 KiB

[startup+162.3 s]
/proc/loadavg: 2.05 2.05 2.07 3/203 2143
/proc/meminfo: memFree=31583800/32770624 swapFree=67003448/67108860
[pid=2130] ppid=2127 vsize=122620 memory=99260 CPUtime=162.28 cores=0,2,4,6
/proc/2130/stat : 2130 (cosoco) R 2127 2130 31966 0 -1 4202496 100099 0 0 0 16220 8 0 0 20 0 1 0 411006567 125562880 24815 33554432000 4194304 6210612 140727766474112 140727766472072 5156097 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30515200 140727766475787 140727766475889 140727766475889 140727766478798 0
/proc/2130/statm: 30655 24815 872 493 0 23960 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 122620 KiB
Current children cumulated memory: 99260 KiB

[startup+222.3 s]
/proc/loadavg: 2.02 2.04 2.07 3/205 2157
/proc/meminfo: memFree=31583184/32770624 swapFree=67003448/67108860
[pid=2130] ppid=2127 vsize=122620 memory=99260 CPUtime=222.29 cores=0,2,4,6
/proc/2130/stat : 2130 (cosoco) R 2127 2130 31966 0 -1 4202496 100317 0 0 0 22221 8 0 0 20 0 1 0 411006567 125562880 24815 33554432000 4194304 6210612 140727766474112 140727766472072 5409279 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30515200 140727766475787 140727766475889 140727766475889 140727766478798 0
/proc/2130/statm: 30655 24815 872 493 0 23960 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 122620 KiB
Current children cumulated memory: 99260 KiB

[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.06 3/204 2161
/proc/meminfo: memFree=31582608/32770624 swapFree=67003448/67108860
[pid=2130] ppid=2127 vsize=122888 memory=99308 CPUtime=282.29 cores=0,2,4,6
/proc/2130/stat : 2130 (cosoco) R 2127 2130 31966 0 -1 4202496 100396 0 0 0 28221 8 0 0 20 0 1 0 411006567 125837312 24827 33554432000 4194304 6210612 140727766474112 140727766471544 5155366 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30515200 140727766475787 140727766475889 140727766475889 140727766478798 0
/proc/2130/statm: 30722 24827 872 493 0 24027 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 122888 KiB
Current children cumulated memory: 99308 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.06 3/204 2165
/proc/meminfo: memFree=31582472/32770624 swapFree=67003448/67108860
[pid=2130] ppid=2127 vsize=123284 memory=99916 CPUtime=342.3 cores=0,2,4,6
/proc/2130/stat : 2130 (cosoco) R 2127 2130 31966 0 -1 4202496 100807 0 0 0 34222 8 0 0 20 0 1 0 411006567 126242816 24979 33554432000 4194304 6210612 140727766474112 140727766472072 5249674 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30515200 140727766475787 140727766475889 140727766475889 140727766478798 0
/proc/2130/statm: 30821 24979 872 493 0 24126 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 123284 KiB
Current children cumulated memory: 99916 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/205 2171
/proc/meminfo: memFree=31582120/32770624 swapFree=67003448/67108860
[pid=2130] ppid=2127 vsize=123420 memory=99916 CPUtime=402.3 cores=0,2,4,6
/proc/2130/stat : 2130 (cosoco) R 2127 2130 31966 0 -1 4202496 100853 0 0 0 40222 8 0 0 20 0 1 0 411006567 126382080 24979 33554432000 4194304 6210612 140727766474112 140727766472072 5249890 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30515200 140727766475787 140727766475889 140727766475889 140727766478798 0
/proc/2130/statm: 30855 24979 872 493 0 24160 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 123420 KiB
Current children cumulated memory: 99916 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/204 2175
/proc/meminfo: memFree=31582528/32770624 swapFree=67003448/67108860
[pid=2130] ppid=2127 vsize=123556 memory=100140 CPUtime=462.31 cores=0,2,4,6
/proc/2130/stat : 2130 (cosoco) R 2127 2130 31966 0 -1 4202496 101246 0 0 0 46223 8 0 0 20 0 1 0 411006567 126521344 25035 33554432000 4194304 6210612 140727766474112 140727766472072 5249733 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30515200 140727766475787 140727766475889 140727766475889 140727766478798 0
/proc/2130/statm: 30889 25035 872 493 0 24194 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 123556 KiB
Current children cumulated memory: 100140 KiB


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

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

[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/204 2358
/proc/meminfo: memFree=31516128/32770624 swapFree=67003452/67108860
[pid=2130] ppid=2127 vsize=126516 memory=103192 CPUtime=1722.41 cores=0,2,4,6
/proc/2130/stat : 2130 (cosoco) R 2127 2130 31966 0 -1 4202496 105184 0 0 0 172232 9 0 0 20 0 1 0 411006567 129552384 25798 33554432000 4194304 6210612 140727766474112 140727766472072 5155439 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30515200 140727766475787 140727766475889 140727766475889 140727766478798 0
/proc/2130/statm: 31629 25798 872 493 0 24934 0
Current children cumulated CPU time: 1722.41 s
Current children cumulated vsize: 126516 KiB
Current children cumulated memory: 103192 KiB

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/203 2362
/proc/meminfo: memFree=31516668/32770624 swapFree=67003452/67108860
[pid=2130] ppid=2127 vsize=126516 memory=103192 CPUtime=1782.42 cores=0,2,4,6
/proc/2130/stat : 2130 (cosoco) R 2127 2130 31966 0 -1 4202496 105356 0 0 0 178233 9 0 0 20 0 1 0 411006567 129552384 25798 33554432000 4194304 6210612 140727766474112 140727766472072 5249712 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30515200 140727766475787 140727766475889 140727766475889 140727766478798 0
/proc/2130/statm: 31629 25798 872 493 0 24934 0
Current children cumulated CPU time: 1782.42 s
Current children cumulated vsize: 126516 KiB
Current children cumulated memory: 103192 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 2368
/proc/meminfo: memFree=31515420/32770624 swapFree=67003452/67108860
[pid=2130] ppid=2127 vsize=126652 memory=103192 CPUtime=1842.42 cores=0,2,4,6
/proc/2130/stat : 2130 (cosoco) R 2127 2130 31966 0 -1 4202496 105383 0 0 0 184233 9 0 0 20 0 1 0 411006567 129691648 25798 33554432000 4194304 6210612 140727766474112 140727766471704 5154985 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30515200 140727766475787 140727766475889 140727766475889 140727766478798 0
/proc/2130/statm: 31663 25798 872 493 0 24968 0
Current children cumulated CPU time: 1842.42 s
Current children cumulated vsize: 126652 KiB
Current children cumulated memory: 103192 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 2372
/proc/meminfo: memFree=31516360/32770624 swapFree=67003452/67108860
[pid=2130] ppid=2127 vsize=126652 memory=103284 CPUtime=1902.43 cores=0,2,4,6
/proc/2130/stat : 2130 (cosoco) R 2127 2130 31966 0 -1 4202496 105576 0 0 0 190234 9 0 0 20 0 1 0 411006567 129691648 25821 33554432000 4194304 6210612 140727766474112 140727766472072 5409305 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30515200 140727766475787 140727766475889 140727766475889 140727766478798 0
/proc/2130/statm: 31663 25821 872 493 0 24968 0
Current children cumulated CPU time: 1902.43 s
Current children cumulated vsize: 126652 KiB
Current children cumulated memory: 103284 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/203 2376
/proc/meminfo: memFree=31516324/32770624 swapFree=67003452/67108860
[pid=2130] ppid=2127 vsize=126784 memory=103284 CPUtime=1962.43 cores=0,2,4,6
/proc/2130/stat : 2130 (cosoco) R 2127 2130 31966 0 -1 4202496 105594 0 0 0 196234 9 0 0 20 0 1 0 411006567 129826816 25821 33554432000 4194304 6210612 140727766474112 140727766471544 5409293 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30515200 140727766475787 140727766475889 140727766475889 140727766478798 0
/proc/2130/statm: 31696 25821 872 493 0 25001 0
Current children cumulated CPU time: 1962.43 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103284 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/205 2390
/proc/meminfo: memFree=31515392/32770624 swapFree=67003452/67108860
[pid=2130] ppid=2127 vsize=126784 memory=103380 CPUtime=2022.43 cores=0,2,4,6
/proc/2130/stat : 2130 (cosoco) R 2127 2130 31966 0 -1 4202496 105749 0 0 0 202234 9 0 0 20 0 1 0 411006567 129826816 25845 33554432000 4194304 6210612 140727766474112 140727766471544 5155157 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30515200 140727766475787 140727766475889 140727766475889 140727766478798 0
/proc/2130/statm: 31696 25845 872 493 0 25001 0
Current children cumulated CPU time: 2022.43 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103380 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 2394
/proc/meminfo: memFree=31515916/32770624 swapFree=67003452/67108860
[pid=2130] ppid=2127 vsize=126784 memory=103380 CPUtime=2082.44 cores=0,2,4,6
/proc/2130/stat : 2130 (cosoco) R 2127 2130 31966 0 -1 4202496 105819 0 0 0 208235 9 0 0 20 0 1 0 411006567 129826816 25845 33554432000 4194304 6210612 140727766474112 140727766471544 5249712 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30515200 140727766475787 140727766475889 140727766475889 140727766478798 0
/proc/2130/statm: 31696 25845 872 493 0 25001 0
Current children cumulated CPU time: 2082.44 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103380 KiB

[startup+2142.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/204 2398
/proc/meminfo: memFree=31515672/32770624 swapFree=67003452/67108860
[pid=2130] ppid=2127 vsize=126784 memory=103396 CPUtime=2142.45 cores=0,2,4,6
/proc/2130/stat : 2130 (cosoco) R 2127 2130 31966 0 -1 4202496 105974 0 0 0 214236 9 0 0 20 0 1 0 411006567 129826816 25849 33554432000 4194304 6210612 140727766474112 140727766472072 5409293 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30515200 140727766475787 140727766475889 140727766475889 140727766478798 0
/proc/2130/statm: 31696 25849 872 493 0 25001 0
Current children cumulated CPU time: 2142.45 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103396 KiB

[startup+2202.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/205 2404
/proc/meminfo: memFree=31515100/32770624 swapFree=67003452/67108860
[pid=2130] ppid=2127 vsize=126784 memory=103396 CPUtime=2202.45 cores=0,2,4,6
/proc/2130/stat : 2130 (cosoco) R 2127 2130 31966 0 -1 4202496 105976 0 0 0 220236 9 0 0 20 0 1 0 411006567 129826816 25849 33554432000 4194304 6210612 140727766474112 140727766472072 5154977 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30515200 140727766475787 140727766475889 140727766475889 140727766478798 0
/proc/2130/statm: 31696 25849 872 493 0 25001 0
Current children cumulated CPU time: 2202.45 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103396 KiB

[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/204 2409
/proc/meminfo: memFree=31515624/32770624 swapFree=67003452/67108860
[pid=2130] ppid=2127 vsize=126784 memory=103396 CPUtime=2262.45 cores=0,2,4,6
/proc/2130/stat : 2130 (cosoco) R 2127 2130 31966 0 -1 4202496 106179 0 0 0 226236 9 0 0 20 0 1 0 411006567 129826816 25849 33554432000 4194304 6210612 140727766474112 140727766472072 5249719 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30515200 140727766475787 140727766475889 140727766475889 140727766478798 0
/proc/2130/statm: 31696 25849 872 493 0 25001 0
Current children cumulated CPU time: 2262.45 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/204 2424
/proc/meminfo: memFree=31515544/32770624 swapFree=67003452/67108860
[pid=2130] ppid=2127 vsize=126784 memory=103396 CPUtime=2322.46 cores=0,2,4,6
/proc/2130/stat : 2130 (cosoco) R 2127 2130 31966 0 -1 4202496 106191 0 0 0 232237 9 0 0 20 0 1 0 411006567 129826816 25849 33554432000 4194304 6210612 140727766474112 140727766472072 5155888 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30515200 140727766475787 140727766475889 140727766475889 140727766478798 0
/proc/2130/statm: 31696 25849 872 493 0 25001 0
Current children cumulated CPU time: 2322.46 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/205 2431
/proc/meminfo: memFree=31515204/32770624 swapFree=67003452/67108860
[pid=2130] ppid=2127 vsize=126784 memory=103396 CPUtime=2382.46 cores=0,2,4,6
/proc/2130/stat : 2130 (cosoco) R 2127 2130 31966 0 -1 4202496 106344 0 0 0 238237 9 0 0 20 0 1 0 411006567 129826816 25849 33554432000 4194304 6210612 140727766474112 140727766472072 5249712 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30515200 140727766475787 140727766475889 140727766475889 140727766478798 0
/proc/2130/statm: 31696 25849 872 493 0 25001 0
Current children cumulated CPU time: 2382.46 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103396 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 2432
/proc/meminfo: memFree=31515828/32770624 swapFree=67003452/67108860
[pid=2130] ppid=2127 vsize=126784 memory=103396 CPUtime=2400.06 cores=0,2,4,6
/proc/2130/stat : 2130 (cosoco) R 2127 2130 31966 0 -1 4202496 106344 0 0 0 239997 9 0 0 20 0 1 0 411006567 129826816 25849 33554432000 4194304 6210612 140727766474112 140727766472072 5157669 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30515200 140727766475787 140727766475889 140727766475889 140727766478798 0
/proc/2130/statm: 31696 25849 872 493 0 25001 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103396 KiB

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

[startup+2399.9 s]
# the end of solver process 2130 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.98 s, system=0.095007 s

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

[startup+2399.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/204 2432
/proc/meminfo: memFree=31515828/32770624 swapFree=67003452/67108860
[pid=2130] ppid=2127 vsize=126784 memory=103396 CPUtime=2400.06 cores=0,2,4,6
/proc/2130/stat : 2130 (cosoco) R 2127 2130 31966 0 -1 4202496 106344 0 0 0 239997 9 0 0 20 0 1 0 411006567 129826816 25849 33554432000 4194304 6210612 140727766474112 140727766472072 5157669 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 30515200 140727766475787 140727766475889 140727766475889 140727766478798 0
/proc/2130/statm: 31696 25849 872 493 0 25001 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103396 KiB

Child status: 1
Real time (s): 2399.9
CPU time (s): 2400.07
CPU user time (s): 2399.98
CPU system time (s): 0.095007
CPU usage (%): 100.007
Max. virtual memory (cumulated for all children) (KiB): 126784
Max. memory (cumulated for all children) (KiB): 103396

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.98
system time used= 0.095007
maximum resident set size= 103464
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 106393
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= 58
involuntary context switches= 772


# summary of solver processes directly reported to runsolver:
#   pid: 2130
#   total CPU time (s): 2400.07
#   total CPU user time (s): 2399.98
#   total CPU system time (s): 0.095007

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.97526 second user time and 15.6827 second system time

The end

Launcher Data 

Begin job on node133 at 2019-09-13 06:07:10
IDJOB=4390067
IDBENCH=134822
IDSOLVER=2830
FILE ID=node133/4390067-1568347669
RUNJOBID= node133-1568334353-31997
PBS_JOBID= 21701160
Free space on /tmp= 55112 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-4390067-1568347669/watcher-4390067-1568347669 -o /tmp/evaluation-result-4390067-1568347669/solver-4390067-1568347669 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1568334353-31997 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4390067-1568347669.xml

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

MD5SUM BENCH= 4516aa109e121890953f360029c48088
RANDOM SEED=1305442003

node133.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.18
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.18
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.18
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.18
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:        31679360 kB
MemAvailable:   31901636 kB
Buffers:          141304 kB
Cached:           364956 kB
SwapCached:         3500 kB
Active:           264132 kB
Inactive:         246640 kB
Active(anon):      28616 kB
Inactive(anon):    15724 kB
Active(file):     235516 kB
Inactive(file):   230916 kB
Unevictable:      111240 kB
Mlocked:          111240 kB
SwapTotal:      67108860 kB
SwapFree:       67003448 kB
Dirty:              2564 kB
Writeback:             0 kB
AnonPages:        113340 kB
Mapped:            44540 kB
Shmem:             31308 kB
Slab:             172176 kB
SReclaimable:     143356 kB
SUnreclaim:        28820 kB
KernelStack:        3632 kB
PageTables:         5688 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     527984 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     69632 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      122240 kB
DirectMap2M:    33423360 kB

Free space on /tmp at the end= 55108 MiB
End job on node133 at 2019-09-13 06:47:10