Trace number 4397428

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.12 2400.42

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-spng/
Pb-NG-K152.xml
MD5SUM148cc1c525306be86034ad988a5e8607
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables18088
Number of constraints18394
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":18088}]
Minimum variable degree3
Maximum variable degree12
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":280},{"degree":5,"count":1855},{"degree":6,"count":8133},{"degree":7,"count":4963},{"degree":8,"count":1953},{"degree":9,"count":602},{"degree":10,"count":150},{"degree":11,"count":1},{"degree":12,"count":150}]
Minimum constraint arity1
Maximum constraint arity152
Distribution of constraint arities[{"arity":1,"count":2},{"arity":2,"count":1963},{"arity":3,"count":8154},{"arity":4,"count":4983},{"arity":5,"count":2114},{"arity":6,"count":453},{"arity":7,"count":151},{"arity":9,"count":151},{"arity":119,"count":304},{"arity":152,"count":119}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":18394}]
Optimization problemNO
Type of objective

Solver Data 

3.00/3.03	c root propagations     : 742         
3.00/3.03	c restarts enabled, print stats at every restarts
3.00/3.03	c
3.00/3.03	c
3.00/3.03	c
3.00/3.03	c This is cosoco 2.00 --  
3.00/3.03	c
3.00/3.03	c command line: cosoco -lc -model -restarts -stick HOME/instance-4397428-1568583561.xml 
3.00/3.03	c ========================================[ Problem Statistics ]===========================================
3.00/3.03	c |                                                                                                       
3.00/3.03	c |  Parse time        :         1.87 s 
3.00/3.03	c |
3.00/3.03	c |               Variables: 18088
3.00/3.03	c |            Domain Sizes: 2..2
3.00/3.03	c |
3.00/3.03	c |             Constraints: 18394
3.00/3.03	c |                   Arity: 1..152  -- Unary: 2  -- Binary: 1963  -- Ternary: 8154
3.00/3.03	c | 
3.00/3.03	c |                   Types: 
3.00/3.03	c |                          Sum: 18394
3.00/3.03	c |                          
3.00/3.03	c =========================================================================================================
3.00/3.03	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
8.48/8.53	c 101            13082          931707         274561         742            0              3191   12644   11758
14.48/14.55	c 211            29430          1880144        589286         742            0              845   14980   1115
19.39/19.41	c 332            45622          2735916        848231         742            0              13429   13917   13471
22.99/23.10	c 465            63530          3306090        1076457        742            0              1818   16200   15478
26.59/26.60	c 611            82042          3772802        1264140        742            0              1643   17161   15174
31.58/31.63	c 771            98300          4536627        1536460        742            0              995   5012   3736
36.49/36.55	c 947            110341         5366061        1915034        742            0              2867   3180   2972
40.68/40.72	c 1140           116424         6132404        2228675        742            0              1714   1864   1750
45.49/45.53	c 1352           128285         6950713        2553564        742            0              1393   2035   1850
51.18/51.20	c 1585           143049         7889708        2911360        742            0              911   2024   1673
58.88/58.99	c 1841           168013         9039255        3353910        742            0              685   2076   1836
64.48/64.56	c 2122           177660         10117434       3924811        742            0              1362   1519   1427
70.09/70.13	c 2431           189128         11264586       4392693        742            0              1120   1593   1528
73.58/73.60	c 2770           196647         12000484       4685947        742            0              1405   1535   1485
77.58/77.60	c 3142           210685         12658928       4959665        742            0              1148   1526   1275
82.87/82.98	c 3551           218578         13894139       5522383        742            0              1172   1636   1347
89.27/89.39	c 4000           230864         15411177       6156392        742            0              865   1918   1829
98.47/98.54	c 4493           246811         17455541       6982956        742            0              1309   1448   1391
105.28/105.34	c 5035           260455         18940868       7668752        742            0              1354   1474   1417
124.26/124.33	c 5631           274408         23878648       9430711        742            0              1077   1315   1206
131.87/131.91	c 6286           288730         25671927       10066868       742            0              1001   1129   1062
153.76/153.81	c 7006           339017         30015571       11753923       742            0              693   1982   1347
168.26/168.31	c 7798           391964         32264136       12761975       742            0              1192   2532   1881
188.66/188.72	c 8669           430921         36902623       14508172       742            0              1100   2552   1971
230.66/230.76	c 9627           499579         46047795       17981669       742            0              1301   1844   1637
270.55/270.61	c 10680          536852         55601985       21289938       742            0              1413   1711   1594
304.95/305.03	c 11838          603542         63171010       24248882       742            0              1021   2045   1889
321.05/321.15	c 13111          645853         66397547       25612114       742            0              1405   1602   1494
355.34/355.42	c 14511          696786         73813550       28661684       742            0              1378   1593   1488
379.63/379.79	c 16051          726429         79302791       30998883       742            0              1346   1576   1526
423.93/424.08	c 17745          781466         89240539       34574701       742            0              1299   1583   1461
474.03/474.19	c 19608          823421         100929363      38947073       742            0              968   1171   1087
501.03/501.15	c 21657          871476         106972260      41400407       742            0              1092   1758   1330
550.80/550.90	c 23910          905553         118828151      45854938       742            0              1088   1283   1168
596.60/596.77	c 26388          959596         130344606      49944120       742            0              565   1198   1135
634.60/634.74	c 29113          1023632        139533964      53517978       742            0              887   1121   1028
751.18/751.36	c 32110          1088967        168539144      63206480       742            0              726   910   850
782.57/782.74	c 35406          1135406        176081521      66390518       742            0              824   912   878
849.17/849.32	c 39031          1198466        191702421      72810079       742            0              836   968   930
889.36/889.56	c 43018          1284320        200281583      76695844       742            0              890   1166   1061
919.46/919.64	c 47403          1355569        206814235      80087204       742            0              1038   1238   1120
984.45/984.63	c 52226          1447865        221086380      86470762       742            0              1027   1183   1108
1047.95/1048.17	c 57531          1578311        234181964      92662433       742            0              1013   1284   1127
1210.43/1210.66	c 63366          1689007        276138845      106866679      742            0              942   1100   1042
1307.02/1307.23	c 69784          1794536        300021439      115082510      742            0              814   929   863
1412.92/1413.11	c 76843          1922234        324881516      124081060      742            0              756   943   863
1502.39/1502.65	c 84607          2148033        343063073      131386043      742            0              463   1818   1479
1567.18/1567.48	c 93147          2264133        358721004      138118283      742            0              1123   1313   1185
1669.27/1669.53	c 102541         2596916        379093384      146975122      742            0              543   2481   1589
1850.05/1850.37	c 112874         2814920        424486450      163775752      742            0              1134   1522   1417
1992.63/1992.97	c 124240         3145552        454368548      179053509      742            0              1238   1911   1493
2350.90/2351.29	c 136742         3428445        546415519      209850874      742            0              1174   1331   1269
2400.09/2400.40	
2400.09/2400.40	c *** INTERRUPTED ***
2400.09/2400.40	c restarts              : 52          
2400.09/2400.40	c conflicts             : 138894       (58 /sec)
2400.09/2400.40	c decisions             : 3597529      (1500 /sec)
2400.09/2400.40	c propagations          : 213655949   (89071 /sec)
2400.09/2400.40	c root propagations     : 742         
2400.09/2400.40	c filter calls          : 554651226      (231230 /sec)
2400.09/2400.40	c useless filter calls  : 494209863      (89 %)
2400.09/2400.40	c Memory used           : 2430.43 MB
2400.09/2400.40	c CPU time              : 2398.7 s
2400.09/2400.40	c real time             : 2400.4 s
2400.09/2400.40	
2400.09/2400.40	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 (14380 MiB free)
  memory of node 1: 16384 MiB (15543 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4397428-1568583561/watcher-4397428-1568583561 -o /tmp/evaluation-result-4397428-1568583561/solver-4397428-1568583561 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568572742-17792 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4397428-1568583561.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
solver pid=20242, runsolver pid=20239
Current StackSize limit: 8192 KiB


[startup+0.100163 s]*
/proc/loadavg: 2.00 2.03 2.05 3/200 20243
/proc/meminfo: memFree=30628676/32770624 swapFree=66967296/67108860
[pid=20242] ppid=20239 vsize=40504 memory=16688 CPUtime=0.1 cores=1,3,5,7
/proc/20242/stat : 20242 (cosoco) R 20239 20242 17760 0 -1 4202496 4359 0 0 0 10 0 0 0 20 0 1 0 434622887 41476096 4172 33554432000 4194304 6211092 140727609457728 140727609454264 5817892 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25710592 140727609459723 140727609459825 140727609459825 140727609462734 0
/proc/20242/statm: 10126 4172 809 493 0 3431 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 40504 KiB
Current children cumulated memory: 16688 KiB

[startup+0.2097 s]*
/proc/loadavg: 2.00 2.03 2.05 3/200 20243
/proc/meminfo: memFree=30615284/32770624 swapFree=66967296/67108860
[pid=20242] ppid=20239 vsize=56100 memory=32264 CPUtime=0.21 cores=1,3,5,7
/proc/20242/stat : 20242 (cosoco) R 20239 20242 17760 0 -1 4202496 8277 0 0 0 20 1 0 0 20 0 1 0 434622887 57446400 8066 33554432000 4194304 6211092 140727609457728 140727609454264 140527933594597 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25710592 140727609459723 140727609459825 140727609459825 140727609462734 0
/proc/20242/statm: 14025 8066 837 493 0 7330 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 56100 KiB
Current children cumulated memory: 32264 KiB

[startup+0.30967 s]*
/proc/loadavg: 2.00 2.03 2.05 3/200 20243
/proc/meminfo: memFree=30589624/32770624 swapFree=66967296/67108860
[pid=20242] ppid=20239 vsize=85772 memory=62096 CPUtime=0.31 cores=1,3,5,7
/proc/20242/stat : 20242 (cosoco) R 20239 20242 17760 0 -1 4202496 15713 0 0 0 30 1 0 0 20 0 1 0 434622887 87830528 15524 33554432000 4194304 6211092 140727609457728 140727609454264 140527933594597 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25710592 140727609459723 140727609459825 140727609459825 140727609462734 0
/proc/20242/statm: 21443 15524 837 493 0 14748 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 85772 KiB
Current children cumulated memory: 62096 KiB

[startup+0.700299 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 20243
/proc/meminfo: memFree=30446404/32770624 swapFree=66967296/67108860
[pid=20242] ppid=20239 vsize=278740 memory=255080 CPUtime=0.69 cores=1,3,5,7
/proc/20242/stat : 20242 (cosoco) R 20239 20242 17760 0 -1 4202496 63930 0 0 0 62 7 0 0 20 0 1 0 434622887 285429760 63770 33554432000 4194304 6211092 140727609457728 140727609454264 140527933642656 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25710592 140727609459723 140727609459825 140727609459825 140727609462734 0
/proc/20242/statm: 69685 63770 837 493 0 62990 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 278740 KiB
Current children cumulated memory: 255080 KiB

[startup+1.50036 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 20243
/proc/meminfo: memFree=30143932/32770624 swapFree=66967296/67108860
[pid=20242] ppid=20239 vsize=848236 memory=824360 CPUtime=1.49 cores=1,3,5,7
/proc/20242/stat : 20242 (cosoco) R 20239 20242 17760 0 -1 4202496 206332 0 0 0 125 24 0 0 20 0 1 0 434622887 868593664 206090 33554432000 4194304 6211092 140727609457728 140727609451864 140527933642656 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25710592 140727609459723 140727609459825 140727609459825 140727609462734 0
/proc/20242/statm: 212059 206090 837 493 0 205364 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 848236 KiB
Current children cumulated memory: 824360 KiB

[startup+3.10947 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 20243
/proc/meminfo: memFree=29314016/32770624 swapFree=66967296/67108860
[pid=20242] ppid=20239 vsize=1351692 memory=1328256 CPUtime=3.1 cores=1,3,5,7
/proc/20242/stat : 20242 (cosoco) R 20239 20242 17760 0 -1 4202496 343256 0 0 0 268 42 0 0 20 0 1 0 434622887 1384132608 332064 33554432000 4194304 6211092 140727609457728 140727609455992 5409431 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25710592 140727609459723 140727609459825 140727609459825 140727609462734 0
/proc/20242/statm: 337923 332064 873 493 0 331228 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 1351692 KiB
Current children cumulated memory: 1328256 KiB

[startup+6.30037 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 20244
/proc/meminfo: memFree=28738960/32770624 swapFree=66967296/67108860
[pid=20242] ppid=20239 vsize=2040848 memory=1980720 CPUtime=6.29 cores=1,3,5,7
/proc/20242/stat : 20242 (cosoco) R 20239 20242 17760 0 -1 4202496 539090 0 0 0 562 67 0 0 20 0 1 0 434622887 2089828352 495180 33554432000 4194304 6211092 140727609457728 140727609455160 5397368 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25710592 140727609459723 140727609459825 140727609459825 140727609462734 0
/proc/20242/statm: 510212 495180 873 493 0 503517 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2040848 KiB
Current children cumulated memory: 1980720 KiB

[startup+12.7004 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 20244
/proc/meminfo: memFree=28623176/32770624 swapFree=66967296/67108860
[pid=20242] ppid=20239 vsize=2077456 memory=2017336 CPUtime=12.68 cores=1,3,5,7
/proc/20242/stat : 20242 (cosoco) R 20239 20242 17760 0 -1 4202496 590483 0 0 0 1198 70 0 0 20 0 1 0 434622887 2127314944 504334 33554432000 4194304 6211092 140727609457728 140727609455688 5186224 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25710592 140727609459723 140727609459825 140727609459825 140727609462734 0
/proc/20242/statm: 519364 504334 874 493 0 512669 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2077456 KiB
Current children cumulated memory: 2017336 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 20244
/proc/meminfo: memFree=28319472/32770624 swapFree=66967296/67108860
[pid=20242] ppid=20239 vsize=2420636 memory=2320740 CPUtime=25.49 cores=1,3,5,7
/proc/20242/stat : 20242 (cosoco) R 20239 20242 17760 0 -1 4202496 857824 0 0 0 2456 93 0 0 20 0 1 0 434622887 2478731264 580185 33554432000 4194304 6211092 140727609457728 140727609455688 5155348 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25710592 140727609459723 140727609459825 140727609459825 140727609462734 0
/proc/20242/statm: 605159 580185 874 493 0 598464 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2420636 KiB
Current children cumulated memory: 2320740 KiB

[startup+51.1097 s]
/proc/loadavg: 2.00 2.03 2.05 3/199 20246
/proc/meminfo: memFree=28255876/32770624 swapFree=66967296/67108860
[pid=20242] ppid=20239 vsize=2488756 memory=2383248 CPUtime=51.09 cores=1,3,5,7
/proc/20242/stat : 20242 (cosoco) R 20239 20242 17760 0 -1 4202496 963007 0 0 0 5010 99 0 0 20 0 1 0 434622887 2548486144 595812 33554432000 4194304 6211092 140727609457728 140727609455688 5250272 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25710592 140727609459723 140727609459825 140727609459825 140727609462734 0
/proc/20242/statm: 622189 595812 874 493 0 615494 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383248 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 20258
/proc/meminfo: memFree=28255288/32770624 swapFree=66967296/67108860
[pid=20242] ppid=20239 vsize=2488756 memory=2383248 CPUtime=102.27 cores=1,3,5,7
/proc/20242/stat : 20242 (cosoco) R 20239 20242 17760 0 -1 4202496 1034026 0 0 0 10123 104 0 0 20 0 1 0 434622887 2548486144 595812 33554432000 4194304 6211092 140727609457728 140727609455688 5250272 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25710592 140727609459723 140727609459825 140727609459825 140727609462734 0
/proc/20242/statm: 622189 595812 874 493 0 615494 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383248 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 20262
/proc/meminfo: memFree=28254828/32770624 swapFree=66967296/67108860
[pid=20242] ppid=20239 vsize=2488756 memory=2383252 CPUtime=162.26 cores=1,3,5,7
/proc/20242/stat : 20242 (cosoco) R 20239 20242 17760 0 -1 4202496 1085178 0 0 0 16118 108 0 0 20 0 1 0 434622887 2548486144 595813 33554432000 4194304 6211092 140727609457728 140727609455688 5409439 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25710592 140727609459723 140727609459825 140727609459825 140727609462734 0
/proc/20242/statm: 622189 595813 874 493 0 615494 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383252 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 20268
/proc/meminfo: memFree=28254988/32770624 swapFree=66967296/67108860
[pid=20242] ppid=20239 vsize=2488756 memory=2383252 CPUtime=222.26 cores=1,3,5,7
/proc/20242/stat : 20242 (cosoco) R 20239 20242 17760 0 -1 4202496 1119563 0 0 0 22115 111 0 0 20 0 1 0 434622887 2548486144 595813 33554432000 4194304 6211092 140727609457728 140727609455688 5250293 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25710592 140727609459723 140727609459825 140727609459825 140727609462734 0
/proc/20242/statm: 622189 595813 874 493 0 615494 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383252 KiB

[startup+282.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/200 20272
/proc/meminfo: memFree=28255032/32770624 swapFree=66967296/67108860
[pid=20242] ppid=20239 vsize=2488756 memory=2383252 CPUtime=282.25 cores=1,3,5,7
/proc/20242/stat : 20242 (cosoco) R 20239 20242 17760 0 -1 4202496 1173657 0 0 0 28111 114 0 0 20 0 1 0 434622887 2548486144 595813 33554432000 4194304 6211092 140727609457728 140727609455688 5409461 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25710592 140727609459723 140727609459825 140727609459825 140727609462734 0
/proc/20242/statm: 622189 595813 874 493 0 615494 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383252 KiB

[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/200 20276
/proc/meminfo: memFree=28254312/32770624 swapFree=66967296/67108860
[pid=20242] ppid=20239 vsize=2488756 memory=2383252 CPUtime=342.24 cores=1,3,5,7
/proc/20242/stat : 20242 (cosoco) R 20239 20242 17760 0 -1 4202496 1211995 0 0 0 34107 117 0 0 20 0 1 0 434622887 2548486144 595813 33554432000 4194304 6211092 140727609457728 140727609455688 5156256 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25710592 140727609459723 140727609459825 140727609459825 140727609462734 0
/proc/20242/statm: 622189 595813 874 493 0 615494 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383252 KiB

[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 20282
/proc/meminfo: memFree=28254368/32770624 swapFree=66967296/67108860
[pid=20242] ppid=20239 vsize=2488756 memory=2383252 CPUtime=402.23 cores=1,3,5,7
/proc/20242/stat : 20242 (cosoco) R 20239 20242 17760 0 -1 4202496 1247329 0 0 0 40104 119 0 0 20 0 1 0 434622887 2548486144 595813 33554432000 4194304 6211092 140727609457728 140727609455688 5155487 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25710592 140727609459723 140727609459825 140727609459825 140727609462734 0
/proc/20242/statm: 622189 595813 874 493 0 615494 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383252 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20286
/proc/meminfo: memFree=28255116/32770624 swapFree=66967296/67108860
[pid=20242] ppid=20239 vsize=2488756 memory=2383252 CPUtime=462.22 cores=1,3,5,7
/proc/20242/stat : 20242 (cosoco) R 20239 20242 17760 0 -1 4202496 1272134 0 0 0 46102 120 0 0 20 0 1 0 434622887 2548486144 595813 33554432000 4194304 6211092 140727609457728 140727609455688 5250241 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25710592 140727609459723 140727609459825 140727609459825 140727609462734 0
/proc/20242/statm: 622189 595813 874 493 0 615494 0
Current children cumulated CPU time: 462.22 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2383252 KiB


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

/proc/20242/statm: 622189 612598 874 493 0 615494 0
Current children cumulated CPU time: 1602.08 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2450392 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/201 20499
/proc/meminfo: memFree=27820932/32770624 swapFree=66967296/67108860
[pid=20242] ppid=20239 vsize=2488756 memory=2450392 CPUtime=1662.07 cores=1,3,5,7
/proc/20242/stat : 20242 (cosoco) R 20239 20242 17760 0 -1 4202496 1546048 0 0 0 166070 137 0 0 20 0 1 0 434622887 2548486144 612598 33554432000 4194304 6211092 140727609457728 140727609455688 5409453 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25710592 140727609459723 140727609459825 140727609459825 140727609462734 0
/proc/20242/statm: 622189 612598 874 493 0 615494 0
Current children cumulated CPU time: 1662.07 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2450392 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 20503
/proc/meminfo: memFree=27820724/32770624 swapFree=66967296/67108860
[pid=20242] ppid=20239 vsize=2488756 memory=2450392 CPUtime=1722.06 cores=1,3,5,7
/proc/20242/stat : 20242 (cosoco) R 20239 20242 17760 0 -1 4202496 1549978 0 0 0 172069 137 0 0 20 0 1 0 434622887 2548486144 612598 33554432000 4194304 6211092 140727609457728 140727609455688 5156224 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25710592 140727609459723 140727609459825 140727609459825 140727609462734 0
/proc/20242/statm: 622189 612598 874 493 0 615494 0
Current children cumulated CPU time: 1722.06 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2450392 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 20508
/proc/meminfo: memFree=27817232/32770624 swapFree=66967296/67108860
[pid=20242] ppid=20239 vsize=2488756 memory=2450392 CPUtime=1782.06 cores=1,3,5,7
/proc/20242/stat : 20242 (cosoco) R 20239 20242 17760 0 -1 4202496 1551165 0 0 0 178068 138 0 0 20 0 1 0 434622887 2548486144 612598 33554432000 4194304 6211092 140727609457728 140727609455688 5156908 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25710592 140727609459723 140727609459825 140727609459825 140727609462734 0
/proc/20242/statm: 622189 612598 874 493 0 615494 0
Current children cumulated CPU time: 1782.06 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2450392 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 20514
/proc/meminfo: memFree=27815316/32770624 swapFree=66967296/67108860
[pid=20242] ppid=20239 vsize=2488756 memory=2450392 CPUtime=1842.05 cores=1,3,5,7
/proc/20242/stat : 20242 (cosoco) R 20239 20242 17760 0 -1 4202496 1552298 0 0 0 184067 138 0 0 20 0 1 0 434622887 2548486144 612598 33554432000 4194304 6211092 140727609457728 140727609455688 5409453 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25710592 140727609459723 140727609459825 140727609459825 140727609462734 0
/proc/20242/statm: 622189 612598 874 493 0 615494 0
Current children cumulated CPU time: 1842.05 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2450392 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20526
/proc/meminfo: memFree=27815244/32770624 swapFree=66967296/67108860
[pid=20242] ppid=20239 vsize=2488756 memory=2450392 CPUtime=1902.05 cores=1,3,5,7
/proc/20242/stat : 20242 (cosoco) R 20239 20242 17760 0 -1 4202496 1556397 0 0 0 190067 138 0 0 20 0 1 0 434622887 2548486144 612598 33554432000 4194304 6211092 140727609457728 140727609455688 5397223 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25710592 140727609459723 140727609459825 140727609459825 140727609462734 0
/proc/20242/statm: 622189 612598 874 493 0 615494 0
Current children cumulated CPU time: 1902.05 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2450392 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20530
/proc/meminfo: memFree=27814940/32770624 swapFree=66967296/67108860
[pid=20242] ppid=20239 vsize=2488756 memory=2450392 CPUtime=1962.04 cores=1,3,5,7
/proc/20242/stat : 20242 (cosoco) R 20239 20242 17760 0 -1 4202496 1557656 0 0 0 196066 138 0 0 20 0 1 0 434622887 2548486144 612598 33554432000 4194304 6211092 140727609457728 140727609455688 5155345 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25710592 140727609459723 140727609459825 140727609459825 140727609462734 0
/proc/20242/statm: 622189 612598 874 493 0 615494 0
Current children cumulated CPU time: 1962.04 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2450392 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20536
/proc/meminfo: memFree=27814780/32770624 swapFree=66967296/67108860
[pid=20242] ppid=20239 vsize=2488756 memory=2450392 CPUtime=2022.04 cores=1,3,5,7
/proc/20242/stat : 20242 (cosoco) R 20239 20242 17760 0 -1 4202496 1561639 0 0 0 202065 139 0 0 20 0 1 0 434622887 2548486144 612598 33554432000 4194304 6211092 140727609457728 140727609455688 5397375 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25710592 140727609459723 140727609459825 140727609459825 140727609462734 0
/proc/20242/statm: 622189 612598 874 493 0 615494 0
Current children cumulated CPU time: 2022.04 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2450392 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20540
/proc/meminfo: memFree=27815504/32770624 swapFree=66967296/67108860
[pid=20242] ppid=20239 vsize=2488756 memory=2450392 CPUtime=2082.03 cores=1,3,5,7
/proc/20242/stat : 20242 (cosoco) R 20239 20242 17760 0 -1 4202496 1562827 0 0 0 208064 139 0 0 20 0 1 0 434622887 2548486144 612598 33554432000 4194304 6211092 140727609457728 140727609455688 5155345 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25710592 140727609459723 140727609459825 140727609459825 140727609462734 0
/proc/20242/statm: 622189 612598 874 493 0 615494 0
Current children cumulated CPU time: 2082.03 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2450392 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20544
/proc/meminfo: memFree=27815428/32770624 swapFree=66967296/67108860
[pid=20242] ppid=20239 vsize=2488756 memory=2450392 CPUtime=2142.02 cores=1,3,5,7
/proc/20242/stat : 20242 (cosoco) R 20239 20242 17760 0 -1 4202496 1563959 0 0 0 214063 139 0 0 20 0 1 0 434622887 2548486144 612598 33554432000 4194304 6211092 140727609457728 140727609455688 5156256 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25710592 140727609459723 140727609459825 140727609459825 140727609462734 0
/proc/20242/statm: 622189 612598 874 493 0 615494 0
Current children cumulated CPU time: 2142.02 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2450392 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20550
/proc/meminfo: memFree=27815344/32770624 swapFree=66967296/67108860
[pid=20242] ppid=20239 vsize=2488756 memory=2450392 CPUtime=2202.01 cores=1,3,5,7
/proc/20242/stat : 20242 (cosoco) R 20239 20242 17760 0 -1 4202496 1565040 0 0 0 220062 139 0 0 20 0 1 0 434622887 2548486144 612598 33554432000 4194304 6211092 140727609457728 140727609455688 5156256 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25710592 140727609459723 140727609459825 140727609459825 140727609462734 0
/proc/20242/statm: 622189 612598 874 493 0 615494 0
Current children cumulated CPU time: 2202.01 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2450392 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20554
/proc/meminfo: memFree=27815652/32770624 swapFree=66967296/67108860
[pid=20242] ppid=20239 vsize=2488756 memory=2450392 CPUtime=2262.01 cores=1,3,5,7
/proc/20242/stat : 20242 (cosoco) R 20239 20242 17760 0 -1 4202496 1566091 0 0 0 226062 139 0 0 20 0 1 0 434622887 2548486144 612598 33554432000 4194304 6211092 140727609457728 140727609455688 5250272 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25710592 140727609459723 140727609459825 140727609459825 140727609462734 0
/proc/20242/statm: 622189 612598 874 493 0 615494 0
Current children cumulated CPU time: 2262.01 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2450392 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20558
/proc/meminfo: memFree=27815568/32770624 swapFree=66967296/67108860
[pid=20242] ppid=20239 vsize=2488756 memory=2450392 CPUtime=2322 cores=1,3,5,7
/proc/20242/stat : 20242 (cosoco) R 20239 20242 17760 0 -1 4202496 1567042 0 0 0 232061 139 0 0 20 0 1 0 434622887 2548486144 612598 33554432000 4194304 6211092 140727609457728 140727609455688 5250467 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25710592 140727609459723 140727609459825 140727609459825 140727609462734 0
/proc/20242/statm: 622189 612598 874 493 0 615494 0
Current children cumulated CPU time: 2322 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2450392 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20564
/proc/meminfo: memFree=27815096/32770624 swapFree=66967296/67108860
[pid=20242] ppid=20239 vsize=2488756 memory=2450392 CPUtime=2381.99 cores=1,3,5,7
/proc/20242/stat : 20242 (cosoco) R 20239 20242 17760 0 -1 4202496 1571634 0 0 0 238060 139 0 0 20 0 1 0 434622887 2548486144 612598 33554432000 4194304 6211092 140727609457728 140727609455688 5409453 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25710592 140727609459723 140727609459825 140727609459825 140727609462734 0
/proc/20242/statm: 622189 612598 874 493 0 615494 0
Current children cumulated CPU time: 2381.99 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2450392 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20565
/proc/meminfo: memFree=27815764/32770624 swapFree=66967296/67108860
[pid=20242] ppid=20239 vsize=2488756 memory=2450392 CPUtime=2400.09 cores=1,3,5,7
/proc/20242/stat : 20242 (cosoco) R 20239 20242 17760 0 -1 4202496 1571918 0 0 0 239870 139 0 0 20 0 1 0 434622887 2548486144 612598 33554432000 4194304 6211092 140727609457728 140727609455688 5409461 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 25710592 140727609459723 140727609459825 140727609459825 140727609462734 0
/proc/20242/statm: 622189 612598 874 493 0 615494 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 2488756 KiB
Current children cumulated memory: 2450392 KiB

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

[startup+2400.42 s]
# the end of solver process 20242 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.7 s, system=1.41486 s

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

Child status: 1
Real time (s): 2400.42
CPU time (s): 2400.12
CPU user time (s): 2398.7
CPU system time (s): 1.41486
CPU usage (%): 99.9876
Max. virtual memory (cumulated for all children) (KiB): 2488756
Max. memory (cumulated for all children) (KiB): 2450392

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.7
system time used= 1.41486
maximum resident set size= 2450460
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1571970
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= 166
involuntary context switches= 1826


# summary of solver processes directly reported to runsolver:
#   pid: 20242
#   total CPU time (s): 2400.12
#   total CPU user time (s): 2398.7
#   total CPU system time (s): 1.41486

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.73178 second user time and 17.6257 second system time

The end

Launcher Data 

Begin job on node125 at 2019-09-15 23:38:38
IDJOB=4397428
IDBENCH=134790
IDSOLVER=2849
FILE ID=node125/4397428-1568583561
RUNJOBID= node125-1568572742-17792
PBS_JOBID= 21703325
Free space on /tmp= 59752 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-spng/Pb-NG-K152.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397428-1568583561/watcher-4397428-1568583561 -o /tmp/evaluation-result-4397428-1568583561/solver-4397428-1568583561 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568572742-17792 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4397428-1568583561.xml

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

MD5SUM BENCH= 148cc1c525306be86034ad988a5e8607
RANDOM SEED=19483692

node125.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.29
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.29
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.29
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.29
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:        30641328 kB
MemAvailable:   31857732 kB
Buffers:          171168 kB
Cached:          1344552 kB
SwapCached:        38384 kB
Active:           689200 kB
Inactive:         877824 kB
Active(anon):      30248 kB
Inactive(anon):    69504 kB
Active(file):     658952 kB
Inactive(file):   808320 kB
Unevictable:      107780 kB
Mlocked:          107780 kB
SwapTotal:      67108860 kB
SwapFree:       66967296 kB
Dirty:              3928 kB
Writeback:             0 kB
AnonPages:        122256 kB
Mapped:            48520 kB
Shmem:             39708 kB
Slab:             158804 kB
SReclaimable:     129936 kB
SUnreclaim:        28868 kB
KernelStack:        3520 kB
PageTables:         5668 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     544656 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     75776 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 59752 MiB
End job on node125 at 2019-09-16 00:18:39