Trace number 4397347

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 2.0? (TO) 2400.03 2400.11

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.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-4397347-1568584320.xml 
0.31/0.41	c ========================================[ Problem Statistics ]===========================================
0.31/0.41	c |                                                                                                       
0.31/0.41	c |  Parse time        :         0.36 s 
0.31/0.41	c |
0.31/0.41	c |               Variables: 3685
0.31/0.41	c |            Domain Sizes: 2..2
0.31/0.41	c |
0.31/0.41	c |             Constraints: 3821
0.31/0.41	c |                   Arity: 1..67  -- Unary: 2  -- Binary: 660  -- Ternary: 1914
0.31/0.41	c | 
0.31/0.41	c |                   Types: 
0.31/0.41	c |                          Sum: 3821
0.31/0.41	c |                          
0.31/0.41	c =========================================================================================================
0.31/0.41	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
1.19/1.20	c 101            7730           459395         160449         455            0              668   3349   2366
1.89/1.91	c 211            20580          769411         284069         455            0              395   1199   693
2.49/2.50	c 332            26017          1097121        423696         455            0              510   881   782
3.00/3.08	c 465            33383          1374189        516396         455            0              400   852   682
3.59/3.67	c 611            39818          1687814        642708         455            0              481   867   641
4.29/4.31	c 771            44263          2041123        773441         455            0              329   525   382
5.49/5.51	c 947            52123          2737275        1034903        455            0              140   1105   772
6.29/6.34	c 1140           57741          3243185        1231516        455            0              337   386   364
7.69/7.78	c 1352           76995          3937802        1523845        455            0              295   1022   602
9.59/9.67	c 1585           84853          5104099        1935706        455            0              332   480   409
10.69/10.79	c 1841           101081         5625451        2138160        455            0              304   710   540
12.10/12.13	c 2122           112339         6367668        2432076        455            0              330   588   457
14.69/14.71	c 2431           123706         7861315        2915531        455            0              338   437   389
15.78/15.85	c 2770           132635         8511795        3148682        455            0              311   401   365
17.19/17.20	c 3142           141554         9287186        3430288        455            0              256   386   315
18.69/18.74	c 3551           150965         10169522       3727554        455            0              263   397   310
20.00/20.08	c 4000           162849         10868887       3994277        455            0              212   401   304
21.49/21.56	c 4493           175215         11655534       4292807        455            0              228   303   262
23.89/24.00	c 5035           201006         12932199       4835028        455            0              191   621   524
27.10/27.15	c 5631           222535         14641333       5363429        455            0              329   517   461
30.39/30.40	c 6286           265638         16080803       5878559        455            0              285   523   454
32.09/32.11	c 7006           285444         16950561       6238960        455            0              238   471   359
36.69/36.70	c 7798           336978         19246786       7270957        455            0              143   817   574
39.79/39.88	c 8669           378046         20868233       7960024        455            0              380   691   544
42.39/42.49	c 9627           415250         22195187       8464150        455            0              494   809   713
45.59/45.63	c 10680          456506         23900949       9119151        455            0              551   1181   662
51.09/51.16	c 11838          501484         27390333       10372577       455            0              462   683   572
60.39/60.46	c 13111          591133         32265619       12303799       455            0              428   855   643
69.28/69.38	c 14511          665845         37188096       14250406       455            0              495   767   678
74.00/74.10	c 16051          740774         39413975       15226366       455            0              580   905   798
81.29/81.34	c 17745          867267         42416970       16625159       455            0              561   959   809
88.10/88.12	c 19608          959942         45644410       18002989       455            0              347   730   627
95.10/95.15	c 21657          1050973        49294756       19553502       455            0              462   779   617
105.29/105.30	c 23910          1182038        54270505       21410810       455            0              435   892   617
114.69/114.73	c 26388          1318083        58908123       23223909       455            0              433   1244   637
125.58/125.62	c 29113          1479268        64065137       25464129       455            0              519   1194   749
138.99/139.08	c 32110          1604771        71473277       28287817       455            0              490   705   618
153.28/153.39	c 35406          1787070        78556006       31060578       455            0              495   978   713
171.99/172.04	c 39031          1977527        88368888       34633560       455            0              450   816   680
186.59/186.67	c 43018          2129823        95687982       37483834       455            0              305   736   541
199.78/199.89	c 47403          2297033        102700620      40201184       455            0              489   743   601
212.58/212.60	c 52226          2485550        108998208      42627390       455            0              393   625   555
234.09/234.18	c 57531          2758046        120106635      46885143       455            0              429   990   628
260.99/261.07	c 63366          3034699        134676742      51971316       455            0              372   831   614
284.78/284.86	c 69784          3290309        148124919      57150081       455            0              396   706   614
313.88/313.98	c 76843          3712206        161820247      63358536       455            0              534   1102   869
340.68/340.77	c 84607          4119411        173888683      68499588       455            0              325   1128   696
391.99/392.01	c 93147          4918221        196999120      78756011       455            0              431   1233   846
466.78/466.88	c 102541         5771562        235272945      93341060       455            0              538   1319   871
539.98/540.02	c 112874         6611585        273882102      108555106      455            0              618   1277   930
605.28/605.39	c 124240         7442273        307848673      122171366      455            0              565   1230   980
664.17/664.21	c 136742         8170615        338203577      134248290      455            0              652   1203   981
756.46/756.50	c 150494         9043913        388013501      154855657      455            0              579   1248   930
835.77/835.81	c 165621         10286277       426608370      171171033      455            0              709   1916   1115
912.98/913.05	c 182260         11779990       459922684      185510668      455            0              681   1742   1112
1003.97/1004.06	c 200562         13176542       504711099      203349937      455            0              790   1688   1194
1104.46/1104.50	c 220694         14340528       558051809      223474973      455            0              784   1871   1062
1202.56/1202.66	c 242839         16175261       604310572      242196258      455            0              938   1711   1329
1337.06/1337.13	c 267198         17934353       673834652      272757489      455            0              842   1541   1211
1489.75/1489.87	c 293992         20183259       751001153      301446564      455            0              963   1716   1308
1673.03/1673.14	c 323465         22619123       849095051      336959165      455            0              805   1734   1223
1815.83/1815.90	c 355885         24849599       924811111      367849962      455            0              722   1539   1274
1990.93/1991.09	c 391547         27494223       1016895141     403680000      455            0              690   1662   1236
2173.03/2173.11	c 430775         29925753       1118412520     445685421      455            0              828   1518   1198
2353.92/2354.08	c 473925         32595240       1213767132     482096938      455            0              797   1436   1084
2400.02/2400.10	
2400.02/2400.10	c *** INTERRUPTED ***
2400.02/2400.10	c restarts              : 65          
2400.02/2400.10	c conflicts             : 483419       (201 /sec)
2400.02/2400.10	c decisions             : 33217227     (13841 /sec)
2400.02/2400.10	c propagations          : 492395537   (205177 /sec)
2400.02/2400.10	c root propagations     : 455         
2400.02/2400.10	c filter calls          : 1239170336     (516352 /sec)
2400.02/2400.10	c useless filter calls  : 1086233982     (87 %)
2400.02/2400.10	c Memory used           : 123.82 MB
2400.02/2400.10	c CPU time              : 2399.85 s
2400.02/2400.10	c real time             : 2400.1 s
2400.02/2400.10	
2400.02/2400.10	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 (12264 MiB free)
  memory of node 1: 16384 MiB (15493 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397347-1568584320/watcher-4397347-1568584320 -o /tmp/evaluation-result-4397347-1568584320/solver-4397347-1568584320 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568572742-32493 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397347-1568584320.xml 

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

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

solver pid=2250, runsolver pid=2247

[startup+0.100166 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 2251
/proc/meminfo: memFree=28409808/32770624 swapFree=66984656/67108860
[pid=2250] ppid=2247 vsize=41724 memory=18004 CPUtime=0.1 cores=1,3,5,7
/proc/2250/stat : 2250 (cosoco) R 2247 2250 32461 0 -1 4202496 4716 0 0 0 10 0 0 0 20 0 1 0 434694628 42725376 4501 33554432000 4194304 6211092 140727009313376 140727009309912 5483058 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19140608 140727009317899 140727009318001 140727009318001 140727009320910 0
/proc/2250/statm: 10431 4501 837 493 0 3736 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 41724 KiB
Current children cumulated memory: 18004 KiB

[startup+0.209693 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 2251
/proc/meminfo: memFree=28396044/32770624 swapFree=66984656/67108860
[pid=2250] ppid=2247 vsize=56476 memory=32876 CPUtime=0.21 cores=1,3,5,7
/proc/2250/stat : 2250 (cosoco) R 2247 2250 32461 0 -1 4202496 8391 0 0 0 20 1 0 0 20 0 1 0 434694628 57831424 8219 33554432000 4194304 6211092 140727009313376 140727009309912 140580359662565 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19140608 140727009317899 140727009318001 140727009318001 140727009320910 0
/proc/2250/statm: 14119 8219 837 493 0 7424 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 56476 KiB
Current children cumulated memory: 32876 KiB

[startup+0.309586 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 2251
/proc/meminfo: memFree=28374468/32770624 swapFree=66984656/67108860
[pid=2250] ppid=2247 vsize=78400 memory=54796 CPUtime=0.31 cores=1,3,5,7
/proc/2250/stat : 2250 (cosoco) R 2247 2250 32461 0 -1 4202496 13893 0 0 0 30 1 0 0 20 0 1 0 434694628 80281600 13699 33554432000 4194304 6211092 140727009313376 140727009309912 140580359662565 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19140608 140727009317899 140727009318001 140727009318001 140727009320910 0
/proc/2250/statm: 19600 13699 837 493 0 12905 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 78400 KiB
Current children cumulated memory: 54796 KiB

[startup+0.700375 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 2251
/proc/meminfo: memFree=28356108/32770624 swapFree=66984656/67108860
[pid=2250] ppid=2247 vsize=121684 memory=97928 CPUtime=0.69 cores=1,3,5,7
/proc/2250/stat : 2250 (cosoco) R 2247 2250 32461 0 -1 4202496 24658 0 0 0 67 2 0 0 20 0 1 0 434694628 124604416 24482 33554432000 4194304 6211092 140727009313376 140727009311640 5155671 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19140608 140727009317899 140727009318001 140727009318001 140727009320910 0
/proc/2250/statm: 30421 24482 874 493 0 23726 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 121684 KiB
Current children cumulated memory: 97928 KiB

[startup+1.50031 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 2253
/proc/meminfo: memFree=28329412/32770624 swapFree=66984656/67108860
[pid=2250] ppid=2247 vsize=121824 memory=97928 CPUtime=1.49 cores=1,3,5,7
/proc/2250/stat : 2250 (cosoco) R 2247 2250 32461 0 -1 4202496 24699 0 0 0 147 2 0 0 20 0 1 0 434694628 124747776 24482 33554432000 4194304 6211092 140727009313376 140727009311640 5158194 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19140608 140727009317899 140727009318001 140727009318001 140727009320910 0
/proc/2250/statm: 30456 24482 874 493 0 23761 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 121824 KiB
Current children cumulated memory: 97928 KiB

[startup+3.10952 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 2253
/proc/meminfo: memFree=28329600/32770624 swapFree=66984656/67108860
[pid=2250] ppid=2247 vsize=121824 memory=98148 CPUtime=3.1 cores=1,3,5,7
/proc/2250/stat : 2250 (cosoco) R 2247 2250 32461 0 -1 4202496 34470 0 0 0 307 3 0 0 20 0 1 0 434694628 124747776 24537 33554432000 4194304 6211092 140727009313376 140727009311336 5186452 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19140608 140727009317899 140727009318001 140727009318001 140727009320910 0
/proc/2250/statm: 30456 24537 875 493 0 23761 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 121824 KiB
Current children cumulated memory: 98148 KiB

[startup+6.30028 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 2254
/proc/meminfo: memFree=28329140/32770624 swapFree=66984656/67108860
[pid=2250] ppid=2247 vsize=122088 memory=98344 CPUtime=6.29 cores=1,3,5,7
/proc/2250/stat : 2250 (cosoco) R 2247 2250 32461 0 -1 4202496 44981 0 0 0 626 3 0 0 20 0 1 0 434694628 125018112 24586 33554432000 4194304 6211092 140727009313376 140727009311336 5409439 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19140608 140727009317899 140727009318001 140727009318001 140727009320910 0
/proc/2250/statm: 30522 24586 875 493 0 23827 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 122088 KiB
Current children cumulated memory: 98344 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 2254
/proc/meminfo: memFree=28329132/32770624 swapFree=66984656/67108860
[pid=2250] ppid=2247 vsize=122088 memory=98348 CPUtime=12.69 cores=1,3,5,7
/proc/2250/stat : 2250 (cosoco) R 2247 2250 32461 0 -1 4202496 54885 0 0 0 1266 3 0 0 20 0 1 0 434694628 125018112 24587 33554432000 4194304 6211092 140727009313376 140727009311336 5193754 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19140608 140727009317899 140727009318001 140727009318001 140727009320910 0
/proc/2250/statm: 30522 24587 875 493 0 23827 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 122088 KiB
Current children cumulated memory: 98348 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 2254
/proc/meminfo: memFree=28328492/32770624 swapFree=66984656/67108860
[pid=2250] ppid=2247 vsize=122088 memory=98348 CPUtime=25.49 cores=1,3,5,7
/proc/2250/stat : 2250 (cosoco) R 2247 2250 32461 0 -1 4202496 72834 0 0 0 2545 4 0 0 20 0 1 0 434694628 125018112 24587 33554432000 4194304 6211092 140727009313376 140727009311336 5409449 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19140608 140727009317899 140727009318001 140727009318001 140727009320910 0
/proc/2250/statm: 30522 24587 875 493 0 23827 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 122088 KiB
Current children cumulated memory: 98348 KiB

[startup+51.1093 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 2256
/proc/meminfo: memFree=28328728/32770624 swapFree=66984656/67108860
[pid=2250] ppid=2247 vsize=122220 memory=98508 CPUtime=51.09 cores=1,3,5,7
/proc/2250/stat : 2250 (cosoco) R 2247 2250 32461 0 -1 4202496 84184 0 0 0 5104 5 0 0 20 0 1 0 434694628 125153280 24627 33554432000 4194304 6211092 140727009313376 140727009311336 5409424 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19140608 140727009317899 140727009318001 140727009318001 140727009320910 0
/proc/2250/statm: 30555 24627 875 493 0 23860 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 122220 KiB
Current children cumulated memory: 98508 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 2260
/proc/meminfo: memFree=28328908/32770624 swapFree=66984656/67108860
[pid=2250] ppid=2247 vsize=122220 memory=98508 CPUtime=102.29 cores=1,3,5,7
/proc/2250/stat : 2250 (cosoco) R 2247 2250 32461 0 -1 4202496 94981 0 0 0 10223 6 0 0 20 0 1 0 434694628 125153280 24627 33554432000 4194304 6211092 140727009313376 140727009311336 5380267 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19140608 140727009317899 140727009318001 140727009318001 140727009320910 0
/proc/2250/statm: 30555 24627 875 493 0 23860 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 122220 KiB
Current children cumulated memory: 98508 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 2279
/proc/meminfo: memFree=28327592/32770624 swapFree=66984668/67108860
[pid=2250] ppid=2247 vsize=122620 memory=98920 CPUtime=162.28 cores=1,3,5,7
/proc/2250/stat : 2250 (cosoco) R 2247 2250 32461 0 -1 4202496 105708 0 0 0 16222 6 0 0 20 0 1 0 434694628 125562880 24730 33554432000 4194304 6211092 140727009313376 140727009311336 5409453 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19140608 140727009317899 140727009318001 140727009318001 140727009320910 0
/proc/2250/statm: 30655 24730 875 493 0 23960 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 122620 KiB
Current children cumulated memory: 98920 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 2283
/proc/meminfo: memFree=28327568/32770624 swapFree=66984668/67108860
[pid=2250] ppid=2247 vsize=122620 memory=98920 CPUtime=222.28 cores=1,3,5,7
/proc/2250/stat : 2250 (cosoco) R 2247 2250 32461 0 -1 4202496 115559 0 0 0 22221 7 0 0 20 0 1 0 434694628 125562880 24730 33554432000 4194304 6211092 140727009313376 140727009311336 5409453 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19140608 140727009317899 140727009318001 140727009318001 140727009320910 0
/proc/2250/statm: 30655 24730 875 493 0 23960 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 122620 KiB
Current children cumulated memory: 98920 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 2290
/proc/meminfo: memFree=28327360/32770624 swapFree=66984672/67108860
[pid=2250] ppid=2247 vsize=122620 memory=98928 CPUtime=282.28 cores=1,3,5,7
/proc/2250/stat : 2250 (cosoco) R 2247 2250 32461 0 -1 4202496 124984 0 0 0 28221 7 0 0 20 0 1 0 434694628 125562880 24732 33554432000 4194304 6211092 140727009313376 140727009311336 5250241 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19140608 140727009317899 140727009318001 140727009318001 140727009320910 0
/proc/2250/statm: 30655 24732 875 493 0 23960 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 122620 KiB
Current children cumulated memory: 98928 KiB

[startup+342.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/200 2294
/proc/meminfo: memFree=28326912/32770624 swapFree=66984672/67108860
[pid=2250] ppid=2247 vsize=123284 memory=99576 CPUtime=342.28 cores=1,3,5,7
/proc/2250/stat : 2250 (cosoco) R 2247 2250 32461 0 -1 4202496 136667 0 0 0 34220 8 0 0 20 0 1 0 434694628 126242816 24894 33554432000 4194304 6211092 140727009313376 140727009311336 5155345 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19140608 140727009317899 140727009318001 140727009318001 140727009320910 0
/proc/2250/statm: 30821 24894 875 493 0 24126 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 123284 KiB
Current children cumulated memory: 99576 KiB

[startup+402.3 s]
/proc/loadavg: 2.38 2.14 2.09 3/200 2298
/proc/meminfo: memFree=28326388/32770624 swapFree=66984672/67108860
[pid=2250] ppid=2247 vsize=123420 memory=99708 CPUtime=402.28 cores=1,3,5,7
/proc/2250/stat : 2250 (cosoco) R 2247 2250 32461 0 -1 4202496 146903 0 0 0 40219 9 0 0 20 0 1 0 434694628 126382080 24927 33554432000 4194304 6211092 140727009313376 140727009311336 5156908 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19140608 140727009317899 140727009318001 140727009318001 140727009320910 0
/proc/2250/statm: 30855 24927 875 493 0 24160 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 123420 KiB
Current children cumulated memory: 99708 KiB

[startup+462.3 s]
/proc/loadavg: 2.14 2.12 2.08 3/199 2305
/proc/meminfo: memFree=28326252/32770624 swapFree=66984672/67108860
[pid=2250] ppid=2247 vsize=123556 memory=99784 CPUtime=462.28 cores=1,3,5,7
/proc/2250/stat : 2250 (cosoco) R 2247 2250 32461 0 -1 4202496 155204 0 0 0 46218 10 0 0 20 0 1 0 434694628 126521344 24946 33554432000 4194304 6211092 140727009313376 140727009310808 5157721 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19140608 140727009317899 140727009318001 140727009318001 140727009320910 0
/proc/2250/statm: 30889 24946 875 493 0 24194 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 123556 KiB
Current children cumulated memory: 99784 KiB


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

/proc/2250/statm: 31629 25802 875 493 0 24934 0
Current children cumulated CPU time: 1662.22 s
Current children cumulated vsize: 126516 KiB
Current children cumulated memory: 103208 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2459
/proc/meminfo: memFree=28227264/32770624 swapFree=66984676/67108860
[pid=2250] ppid=2247 vsize=126516 memory=103208 CPUtime=1722.22 cores=1,3,5,7
/proc/2250/stat : 2250 (cosoco) R 2247 2250 32461 0 -1 4202496 324414 0 0 0 172206 16 0 0 20 0 1 0 434694628 129552384 25802 33554432000 4194304 6211092 140727009313376 140727009311336 5156256 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19140608 140727009317899 140727009318001 140727009318001 140727009320910 0
/proc/2250/statm: 31629 25802 875 493 0 24934 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 126516 KiB
Current children cumulated memory: 103208 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2470
/proc/meminfo: memFree=28226912/32770624 swapFree=66984680/67108860
[pid=2250] ppid=2247 vsize=126516 memory=103208 CPUtime=1782.23 cores=1,3,5,7
/proc/2250/stat : 2250 (cosoco) R 2247 2250 32461 0 -1 4202496 324879 0 0 0 178206 17 0 0 20 0 1 0 434694628 129552384 25802 33554432000 4194304 6211092 140727009313376 140727009311336 5155720 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19140608 140727009317899 140727009318001 140727009318001 140727009320910 0
/proc/2250/statm: 31629 25802 875 493 0 24934 0
Current children cumulated CPU time: 1782.23 s
Current children cumulated vsize: 126516 KiB
Current children cumulated memory: 103208 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2474
/proc/meminfo: memFree=28226940/32770624 swapFree=66984680/67108860
[pid=2250] ppid=2247 vsize=126516 memory=103208 CPUtime=1842.23 cores=1,3,5,7
/proc/2250/stat : 2250 (cosoco) R 2247 2250 32461 0 -1 4202496 325461 0 0 0 184206 17 0 0 20 0 1 0 434694628 129552384 25802 33554432000 4194304 6211092 140727009313376 140727009311336 5250279 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19140608 140727009317899 140727009318001 140727009318001 140727009320910 0
/proc/2250/statm: 31629 25802 875 493 0 24934 0
Current children cumulated CPU time: 1842.23 s
Current children cumulated vsize: 126516 KiB
Current children cumulated memory: 103208 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2480
/proc/meminfo: memFree=28226780/32770624 swapFree=66984680/67108860
[pid=2250] ppid=2247 vsize=126516 memory=103208 CPUtime=1902.23 cores=1,3,5,7
/proc/2250/stat : 2250 (cosoco) R 2247 2250 32461 0 -1 4202496 325877 0 0 0 190206 17 0 0 20 0 1 0 434694628 129552384 25802 33554432000 4194304 6211092 140727009313376 140727009311336 5409453 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19140608 140727009317899 140727009318001 140727009318001 140727009320910 0
/proc/2250/statm: 31629 25802 875 493 0 24934 0
Current children cumulated CPU time: 1902.23 s
Current children cumulated vsize: 126516 KiB
Current children cumulated memory: 103208 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2544
/proc/meminfo: memFree=31185244/32770624 swapFree=66984680/67108860
[pid=2250] ppid=2247 vsize=126652 memory=103292 CPUtime=1962.23 cores=1,3,5,7
/proc/2250/stat : 2250 (cosoco) R 2247 2250 32461 0 -1 4202496 326314 0 0 0 196206 17 0 0 20 0 1 0 434694628 129691648 25823 33554432000 4194304 6211092 140727009313376 140727009310968 5409449 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19140608 140727009317899 140727009318001 140727009318001 140727009320910 0
/proc/2250/statm: 31663 25823 875 493 0 24968 0
Current children cumulated CPU time: 1962.23 s
Current children cumulated vsize: 126652 KiB
Current children cumulated memory: 103292 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2548
/proc/meminfo: memFree=31185056/32770624 swapFree=66984680/67108860
[pid=2250] ppid=2247 vsize=126784 memory=103300 CPUtime=2022.22 cores=1,3,5,7
/proc/2250/stat : 2250 (cosoco) R 2247 2250 32461 0 -1 4202496 326903 0 0 0 202205 17 0 0 20 0 1 0 434694628 129826816 25825 33554432000 4194304 6211092 140727009313376 140727009310808 5155525 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19140608 140727009317899 140727009318001 140727009318001 140727009320910 0
/proc/2250/statm: 31696 25825 875 493 0 25001 0
Current children cumulated CPU time: 2022.22 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103300 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2555
/proc/meminfo: memFree=31184304/32770624 swapFree=66984688/67108860
[pid=2250] ppid=2247 vsize=126784 memory=103376 CPUtime=2082.22 cores=1,3,5,7
/proc/2250/stat : 2250 (cosoco) R 2247 2250 32461 0 -1 4202496 327332 0 0 0 208205 17 0 0 20 0 1 0 434694628 129826816 25844 33554432000 4194304 6211092 140727009313376 140727009310808 5155960 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19140608 140727009317899 140727009318001 140727009318001 140727009320910 0
/proc/2250/statm: 31696 25844 875 493 0 25001 0
Current children cumulated CPU time: 2082.22 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103376 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2559
/proc/meminfo: memFree=31184844/32770624 swapFree=66984688/67108860
[pid=2250] ppid=2247 vsize=126784 memory=103396 CPUtime=2142.22 cores=1,3,5,7
/proc/2250/stat : 2250 (cosoco) R 2247 2250 32461 0 -1 4202496 327745 0 0 0 214205 17 0 0 20 0 1 0 434694628 129826816 25849 33554432000 4194304 6211092 140727009313376 140727009310808 5156336 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19140608 140727009317899 140727009318001 140727009318001 140727009320910 0
/proc/2250/statm: 31696 25849 875 493 0 25001 0
Current children cumulated CPU time: 2142.22 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103396 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2563
/proc/meminfo: memFree=31184300/32770624 swapFree=66984688/67108860
[pid=2250] ppid=2247 vsize=126784 memory=103396 CPUtime=2202.22 cores=1,3,5,7
/proc/2250/stat : 2250 (cosoco) R 2247 2250 32461 0 -1 4202496 328398 0 0 0 220205 17 0 0 20 0 1 0 434694628 129826816 25849 33554432000 4194304 6211092 140727009313376 140727009311336 5250284 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19140608 140727009317899 140727009318001 140727009318001 140727009320910 0
/proc/2250/statm: 31696 25849 875 493 0 25001 0
Current children cumulated CPU time: 2202.22 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103396 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2570
/proc/meminfo: memFree=31184492/32770624 swapFree=66984696/67108860
[pid=2250] ppid=2247 vsize=126784 memory=103412 CPUtime=2262.21 cores=1,3,5,7
/proc/2250/stat : 2250 (cosoco) R 2247 2250 32461 0 -1 4202496 328871 0 0 0 226204 17 0 0 20 0 1 0 434694628 129826816 25853 33554432000 4194304 6211092 140727009313376 140727009311336 5409453 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19140608 140727009317899 140727009318001 140727009318001 140727009320910 0
/proc/2250/statm: 31696 25853 875 493 0 25001 0
Current children cumulated CPU time: 2262.21 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103412 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 2574
/proc/meminfo: memFree=31184504/32770624 swapFree=66984696/67108860
[pid=2250] ppid=2247 vsize=126784 memory=103412 CPUtime=2322.21 cores=1,3,5,7
/proc/2250/stat : 2250 (cosoco) R 2247 2250 32461 0 -1 4202496 329334 0 0 0 232204 17 0 0 20 0 1 0 434694628 129826816 25853 33554432000 4194304 6211092 140727009313376 140727009311336 5250284 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19140608 140727009317899 140727009318001 140727009318001 140727009320910 0
/proc/2250/statm: 31696 25853 875 493 0 25001 0
Current children cumulated CPU time: 2322.21 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103412 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 2586
/proc/meminfo: memFree=31184176/32770624 swapFree=66984696/67108860
[pid=2250] ppid=2247 vsize=126784 memory=103412 CPUtime=2382.21 cores=1,3,5,7
/proc/2250/stat : 2250 (cosoco) R 2247 2250 32461 0 -1 4202496 329961 0 0 0 238204 17 0 0 20 0 1 0 434694628 129826816 25853 33554432000 4194304 6211092 140727009313376 140727009311336 5250279 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19140608 140727009317899 140727009318001 140727009318001 140727009320910 0
/proc/2250/statm: 31696 25853 875 493 0 25001 0
Current children cumulated CPU time: 2382.21 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103412 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 2588
/proc/meminfo: memFree=31184544/32770624 swapFree=66984696/67108860
[pid=2250] ppid=2247 vsize=126784 memory=103412 CPUtime=2400.02 cores=1,3,5,7
/proc/2250/stat : 2250 (cosoco) R 2247 2250 32461 0 -1 4202496 330394 0 0 0 239985 17 0 0 20 0 1 0 434694628 129826816 25853 33554432000 4194304 6211092 140727009313376 140727009311336 5409461 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19140608 140727009317899 140727009318001 140727009318001 140727009320910 0
/proc/2250/statm: 31696 25853 875 493 0 25001 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103412 KiB

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

[startup+2400.11 s]
# the end of solver process 2250 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.85 s, system=0.174995 s

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

[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 2588
/proc/meminfo: memFree=31184544/32770624 swapFree=66984696/67108860
[pid=2250] ppid=2247 vsize=126784 memory=103412 CPUtime=2400.02 cores=1,3,5,7
/proc/2250/stat : 2250 (cosoco) R 2247 2250 32461 0 -1 4202496 330394 0 0 0 239985 17 0 0 20 0 1 0 434694628 129826816 25853 33554432000 4194304 6211092 140727009313376 140727009311336 5409461 0 0 4096 8405026 0 0 0 17 3 0 0 0 0 0 8312316 8317760 19140608 140727009317899 140727009318001 140727009318001 140727009320910 0
/proc/2250/statm: 31696 25853 875 493 0 25001 0
Current children cumulated CPU time: 2400.02 s
Current children cumulated vsize: 126784 KiB
Current children cumulated memory: 103412 KiB

Child status: 1
Real time (s): 2400.11
CPU time (s): 2400.03
CPU user time (s): 2399.85
CPU system time (s): 0.174995
CPU usage (%): 99.9966
Max. virtual memory (cumulated for all children) (KiB): 126784
Max. memory (cumulated for all children) (KiB): 103412

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.85
system time used= 0.174995
maximum resident set size= 103476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 330447
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= 50
involuntary context switches= 629


# summary of solver processes directly reported to runsolver:
#   pid: 2250
#   total CPU time (s): 2400.03
#   total CPU user time (s): 2399.85
#   total CPU system time (s): 0.174995

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.4818 second user time and 15.8063 second system time

The end

Launcher Data 

Begin job on node121 at 2019-09-15 23:51:18
IDJOB=4397347
IDBENCH=134822
IDSOLVER=2849
FILE ID=node121/4397347-1568584320
RUNJOBID= node121-1568572742-32493
PBS_JOBID= 21703328
Free space on /tmp= 61404 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-spba/Pb-BeauxArts-K67.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397347-1568584320/watcher-4397347-1568584320 -o /tmp/evaluation-result-4397347-1568584320/solver-4397347-1568584320 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node121-1568572742-32493 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4397347-1568584320.xml

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

MD5SUM BENCH= 4516aa109e121890953f360029c48088
RANDOM SEED=2049076970

node121.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.75
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.75
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.75
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.75
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:        28424556 kB
MemAvailable:   29043584 kB
Buffers:          194400 kB
Cached:           729864 kB
SwapCached:        16428 kB
Active:          3320348 kB
Inactive:         479368 kB
Active(anon):    2862956 kB
Inactive(anon):    54700 kB
Active(file):     457392 kB
Inactive(file):   424668 kB
Unevictable:      108516 kB
Mlocked:          108516 kB
SwapTotal:      67108860 kB
SwapFree:       66984656 kB
Dirty:              2740 kB
Writeback:             0 kB
AnonPages:       2968312 kB
Mapped:            42372 kB
Shmem:             33216 kB
Slab:             134492 kB
SReclaimable:     105604 kB
SUnreclaim:        28888 kB
KernelStack:        3536 kB
PageTables:        11464 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3492624 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    583680 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= 61404 MiB
End job on node121 at 2019-09-16 00:31:18