Trace number 4397364

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.07 2400.11

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-sptate/
Pb-Tate-K109.xml
MD5SUMd51c756c633143c4b9edb9b6f06ce71e
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 benchmark80.1396
Satisfiable
(Un)Satisfiability was proved
Number of variables7412
Number of constraints7632
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":7412}]
Minimum variable degree3
Maximum variable degree10
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":186},{"degree":5,"count":1312},{"degree":6,"count":2906},{"degree":7,"count":1825},{"degree":8,"count":752},{"degree":9,"count":216},{"degree":10,"count":214}]
Minimum constraint arity1
Maximum constraint arity109
Distribution of constraint arities[{"arity":1,"count":2},{"arity":2,"count":1404},{"arity":3,"count":2916},{"arity":4,"count":1944},{"arity":5,"count":648},{"arity":6,"count":216},{"arity":7,"count":216},{"arity":68,"count":218},{"arity":109,"count":68}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":7632}]
Optimization problemNO
Type of objective

Solver Data 

0.89/0.94	c root propagations     : 362         
0.89/0.94	c restarts enabled, print stats at every restarts
0.89/0.94	c
0.89/0.94	c
0.89/0.94	c
0.89/0.94	c This is cosoco 2.00 --  
0.89/0.94	c
0.89/0.94	c command line: cosoco -lc -model -restarts -stick HOME/instance-4397364-1568585043.xml 
0.89/0.94	c ========================================[ Problem Statistics ]===========================================
0.89/0.94	c |                                                                                                       
0.89/0.94	c |  Parse time        :         0.74 s 
0.89/0.94	c |
0.89/0.94	c |               Variables: 7412
0.89/0.94	c |            Domain Sizes: 2..2
0.89/0.94	c |
0.89/0.94	c |             Constraints: 7632
0.89/0.94	c |                   Arity: 1..109  -- Unary: 2  -- Binary: 1404  -- Ternary: 2916
0.89/0.94	c | 
0.89/0.94	c |                   Types: 
0.89/0.94	c |                          Sum: 7632
0.89/0.94	c |                          
0.89/0.94	c =========================================================================================================
0.89/0.94	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
2.79/2.82	c 101            5764           602963         202284         362            0              1638   2179   1787
3.88/3.92	c 211            11435          1001195        323837         362            0              5127   5377   5227
4.59/4.62	c 332            19542          1200598        396274         362            0              117   5289   4000
5.39/5.48	c 465            28123          1405343        479200         362            0              789   1535   1019
6.49/6.50	c 611            36351          1710258        596179         362            0              887   1165   1019
7.59/7.62	c 771            44693          2085893        754291         362            0              992   1527   1104
8.59/8.61	c 947            53893          2360936        850528         362            0              1269   1574   1441
11.10/11.13	c 1140           63774          3415892        1229301        362            0              1146   1443   1254
14.10/14.17	c 1352           69730          4744519        1676045        362            0              805   927   867
15.69/15.75	c 1585           87270          5093719        1828109        362            0              537   1782   1283
18.69/18.74	c 1841           102761         6160624        2188306        362            0              886   1150   1036
21.19/21.22	c 2122           120387         6988465        2527266        362            0              886   1218   1063
22.59/22.62	c 2431           127249         7532689        2750868        362            0              776   939   848
25.99/26.04	c 2770           138434         8991724        3272710        362            0              800   945   881
27.69/27.76	c 3142           150032         9591921        3532489        362            0              779   964   861
30.69/30.77	c 3551           170901         10623408       3931915        362            0              744   1332   1129
33.59/33.68	c 4000           188844         11685148       4324764        362            0              1005   1411   1142
36.79/36.87	c 4493           206070         12910774       4794456        362            0              1036   1278   1139
40.49/40.54	c 5035           230699         14226674       5303610        362            0              1157   1396   1289
44.59/44.61	c 5631           253651         15817534       5966974        362            0              1042   1322   1178
47.00/47.04	c 6286           271063         16613768       6262493        362            0              837   1524   1146
50.39/50.40	c 7006           291896         17799690       6743448        362            0              975   1439   1103
56.49/56.57	c 7798           312108         20539739       7909878        362            0              849   1034   956
62.10/62.16	c 8669           335602         22641154       8724583        362            0              713   818   771
67.10/67.19	c 9627           362240         24393304       9449902        362            0              572   685   639
81.49/81.57	c 10680          403101         30402674       11555892       362            0              592   1271   1051
94.89/94.91	c 11838          436894         36839493       14033986       362            0              715   985   805
112.18/112.22	c 13111          499666         44370293       16445072       362            0              608   1296   975
137.08/137.18	c 14511          564808         55472150       20008129       362            0              790   1145   974
156.68/156.74	c 16051          603238         64695781       23052926       362            0              759   972   858
174.47/174.57	c 17745          643167         73816347       26353873       362            0              333   1067   951
182.37/182.43	c 19608          671388         77794075       27862979       362            0              583   675   640
193.76/193.83	c 21657          799214         81103259       29201388       362            0              604   1815   1277
202.16/202.21	c 23910          862065         84459285       30510843       362            0              968   1173   1099
214.77/214.83	c 26388          956063         89422729       32564841       362            0              845   1557   1123
227.56/227.63	c 29113          1049710        94425092       34695918       362            0              1158   1491   1321
242.56/242.63	c 32110          1186450        99745816       36769035       362            0              1099   2017   1619
267.85/267.92	c 35406          1346944        109948756      40805813       362            0              1316   1709   1507
326.85/326.95	c 39031          1472244        139717510      50809981       362            0              1027   1308   1237
356.85/356.98	c 43018          1652636        152266299      55609134       362            0              934   1464   1125
378.95/379.06	c 47403          1839678        160610932      59061685       362            0              1018   1699   1375
406.15/406.21	c 52226          2120583        169419816      62998877       362            0              1092   2168   1494
443.75/443.89	c 57531          2439553        184203658      68522208       362            0              1328   2419   1612
460.85/460.98	c 63366          2577743        191452028      71249295       362            0              1353   1642   1558
484.85/484.95	c 69784          2848107        199198113      74430088       362            0              1460   2241   1638
538.55/538.65	c 76843          3359928        218309422      81972793       362            0              1394   2164   1672
582.55/582.62	c 84607          3734480        235634549      88607563       362            0              1538   2314   1726
626.65/626.76	c 93147          4076502        253652985      95597792       362            0              1593   2176   1887
682.85/682.92	c 102541         4578817        271985374      102597443      362            0              1413   1810   1659
765.45/765.58	c 112874         5265833        299740350      113421420      362            0              955   2202   1484
844.75/844.87	c 124240         6043961        327776155      124468246      362            0              1561   2197   1932
953.35/953.43	c 136742         6576587        373308808      140519407      362            0              1031   1822   1278
1057.45/1057.56	c 150494         7818236        398420135      150321424      362            0              670   2030   1399
1130.55/1130.67	c 165621         8524483        421735542      158814622      362            0              878   1234   1115
1328.35/1328.48	c 182260         10168014       490086918      182999700      362            0              939   1674   1313
1563.15/1563.29	c 200562         12455970       565178395      209693566      362            0              912   2268   1540
1720.96/1721.08	c 220694         13293807       632286713      232171514      362            0              911   1429   1205
1876.96/1877.07	c 242839         14210207       697518652      258318788      362            0              856   1205   1119
2102.75/2102.89	c 267198         15042951       795174408      290937693      362            0              687   1037   904
2340.25/2340.35	c 293992         16280097       890921912      324744292      362            0              625   1859   982
2400.06/2400.11	
2400.06/2400.11	c *** INTERRUPTED ***
2400.06/2400.11	c restarts              : 60          
2400.06/2400.11	c conflicts             : 303203       (126 /sec)
2400.06/2400.11	c decisions             : 17079305     (7117 /sec)
2400.06/2400.11	c propagations          : 329463473   (137288 /sec)
2400.06/2400.11	c root propagations     : 362         
2400.06/2400.11	c filter calls          : 904365328      (376851 /sec)
2400.06/2400.11	c useless filter calls  : 795406451      (87 %)
2400.06/2400.11	c Memory used           : 396.63 MB
2400.06/2400.11	c CPU time              : 2399.8 s
2400.06/2400.11	c real time             : 2400.1 s
2400.06/2400.11	
2400.06/2400.11	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 (14388 MiB free)
  memory of node 1: 16384 MiB (13165 MiB free)
  node distances:
     10  21
     21  10

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

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20484, runsolver pid=20481
Current StackSize limit: 8192 KiB


[startup+0.10022 s]*
/proc/loadavg: 2.00 2.05 2.06 3/201 20485
/proc/meminfo: memFree=28204684/32770624 swapFree=66967296/67108860
[pid=20484] ppid=20481 vsize=38248 memory=14748 CPUtime=0.1 cores=0,2,4,6
/proc/20484/stat : 20484 (cosoco) R 20481 20484 17760 0 -1 4202496 3850 0 0 0 10 0 0 0 20 0 1 0 434771123 39165952 3687 33554432000 4194304 6211092 140730083350624 140730083347160 5814551 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35876864 140730083357707 140730083357809 140730083357809 140730083360718 0
/proc/20484/statm: 9562 3687 837 493 0 2867 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38248 KiB
Current children cumulated memory: 14748 KiB

[startup+0.209799 s]*
/proc/loadavg: 2.00 2.05 2.06 3/201 20485
/proc/meminfo: memFree=28174428/32770624 swapFree=66967296/67108860
[pid=20484] ppid=20481 vsize=72060 memory=48236 CPUtime=0.21 cores=0,2,4,6
/proc/20484/stat : 20484 (cosoco) R 20481 20484 17760 0 -1 4202496 12272 0 0 0 20 1 0 0 20 0 1 0 434771123 73789440 12059 33554432000 4194304 6211092 140730083350624 140730083347160 140230231627680 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35876864 140730083357707 140730083357809 140730083357809 140730083360718 0
/proc/20484/statm: 18015 12059 837 493 0 11320 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 72060 KiB
Current children cumulated memory: 48236 KiB

[startup+0.309763 s]*
/proc/loadavg: 2.00 2.05 2.06 3/201 20485
/proc/meminfo: memFree=28141444/32770624 swapFree=66967296/67108860
[pid=20484] ppid=20481 vsize=105040 memory=81236 CPUtime=0.31 cores=0,2,4,6
/proc/20484/stat : 20484 (cosoco) R 20481 20484 17760 0 -1 4202496 20514 0 0 0 28 3 0 0 20 0 1 0 434771123 107560960 20309 33554432000 4194304 6211092 140730083350624 140730083347160 140230231579621 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35876864 140730083357707 140730083357809 140730083357809 140730083360718 0
/proc/20484/statm: 26260 20309 837 493 0 19565 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 105040 KiB
Current children cumulated memory: 81236 KiB

[startup+0.700436 s]
/proc/loadavg: 2.00 2.05 2.06 3/201 20485
/proc/meminfo: memFree=28082424/32770624 swapFree=66967296/67108860
[pid=20484] ppid=20481 vsize=231284 memory=207692 CPUtime=0.68 cores=0,2,4,6
/proc/20484/stat : 20484 (cosoco) R 20481 20484 17760 0 -1 4202496 52094 0 0 0 62 6 0 0 20 0 1 0 434771123 236834816 51923 33554432000 4194304 6211092 140730083350624 140730083347896 140230231579621 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35876864 140730083357707 140730083357809 140730083357809 140730083360718 0
/proc/20484/statm: 57821 51923 837 493 0 51126 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 231284 KiB
Current children cumulated memory: 207692 KiB

[startup+1.50043 s]
/proc/loadavg: 2.00 2.05 2.06 3/200 20485
/proc/meminfo: memFree=27983336/32770624 swapFree=66967296/67108860
[pid=20484] ppid=20481 vsize=314388 memory=290780 CPUtime=1.49 cores=0,2,4,6
/proc/20484/stat : 20484 (cosoco) R 20481 20484 17760 0 -1 4202496 72897 0 0 0 139 10 0 0 20 0 1 0 434771123 321933312 72695 33554432000 4194304 6211092 140730083350624 140730083348056 5158023 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35876864 140730083357707 140730083357809 140730083357809 140730083360718 0
/proc/20484/statm: 78597 72695 874 493 0 71902 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 314388 KiB
Current children cumulated memory: 290780 KiB

[startup+3.10971 s]
/proc/loadavg: 2.00 2.05 2.06 3/200 20485
/proc/meminfo: memFree=27920540/32770624 swapFree=66967296/67108860
[pid=20484] ppid=20481 vsize=336280 memory=311960 CPUtime=3.09 cores=0,2,4,6
/proc/20484/stat : 20484 (cosoco) R 20481 20484 17760 0 -1 4202496 87808 0 0 0 298 11 0 0 20 0 1 0 434771123 344350720 77990 33554432000 4194304 6211092 140730083350624 140730083348056 5008967 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35876864 140730083357707 140730083357809 140730083357809 140730083360718 0
/proc/20484/statm: 84070 77990 875 493 0 77375 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 336280 KiB
Current children cumulated memory: 311960 KiB

[startup+6.30038 s]
/proc/loadavg: 2.00 2.05 2.06 3/200 20485
/proc/meminfo: memFree=27837608/32770624 swapFree=66967296/67108860
[pid=20484] ppid=20481 vsize=406148 memory=377628 CPUtime=6.29 cores=0,2,4,6
/proc/20484/stat : 20484 (cosoco) R 20481 20484 17760 0 -1 4202496 137220 0 0 0 614 15 0 0 20 0 1 0 434771123 415895552 94407 33554432000 4194304 6211092 140730083350624 140730083348584 5396407 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35876864 140730083357707 140730083357809 140730083357809 140730083360718 0
/proc/20484/statm: 101537 94407 875 493 0 94842 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 377628 KiB

[startup+12.7004 s]
/proc/loadavg: 2.00 2.05 2.05 3/200 20485
/proc/meminfo: memFree=27837756/32770624 swapFree=66967296/67108860
[pid=20484] ppid=20481 vsize=406148 memory=377628 CPUtime=12.69 cores=0,2,4,6
/proc/20484/stat : 20484 (cosoco) R 20481 20484 17760 0 -1 4202496 169795 0 0 0 1251 18 0 0 20 0 1 0 434771123 415895552 94407 33554432000 4194304 6211092 140730083350624 140730083348584 5250458 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35876864 140730083357707 140730083357809 140730083357809 140730083360718 0
/proc/20484/statm: 101537 94407 875 493 0 94842 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 377628 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.05 2.05 3/200 20485
/proc/meminfo: memFree=27830904/32770624 swapFree=66967296/67108860
[pid=20484] ppid=20481 vsize=406148 memory=377628 CPUtime=25.48 cores=0,2,4,6
/proc/20484/stat : 20484 (cosoco) R 20481 20484 17760 0 -1 4202496 195072 0 0 0 2529 19 0 0 20 0 1 0 434771123 415895552 94407 33554432000 4194304 6211092 140730083350624 140730083348584 5250241 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35876864 140730083357707 140730083357809 140730083357809 140730083360718 0
/proc/20484/statm: 101537 94407 875 493 0 94842 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 377628 KiB

[startup+51.1097 s]
/proc/loadavg: 2.00 2.04 2.05 3/200 20488
/proc/meminfo: memFree=27827280/32770624 swapFree=66967296/67108860
[pid=20484] ppid=20481 vsize=406148 memory=377628 CPUtime=51.1 cores=0,2,4,6
/proc/20484/stat : 20484 (cosoco) R 20481 20484 17760 0 -1 4202496 228296 0 0 0 5089 21 0 0 20 0 1 0 434771123 415895552 94407 33554432000 4194304 6211092 140730083350624 140730083348584 5250272 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35876864 140730083357707 140730083357809 140730083357809 140730083360718 0
/proc/20484/statm: 101537 94407 875 493 0 94842 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 377628 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/201 20493
/proc/meminfo: memFree=27820368/32770624 swapFree=66967296/67108860
[pid=20484] ppid=20481 vsize=406148 memory=377648 CPUtime=102.28 cores=0,2,4,6
/proc/20484/stat : 20484 (cosoco) R 20481 20484 17760 0 -1 4202496 260685 0 0 0 10205 23 0 0 20 0 1 0 434771123 415895552 94412 33554432000 4194304 6211092 140730083350624 140730083348584 5250272 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35876864 140730083357707 140730083357809 140730083357809 140730083360718 0
/proc/20484/statm: 101537 94412 875 493 0 94842 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 377648 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 20497
/proc/meminfo: memFree=27820676/32770624 swapFree=66967296/67108860
[pid=20484] ppid=20481 vsize=406148 memory=377648 CPUtime=162.27 cores=0,2,4,6
/proc/20484/stat : 20484 (cosoco) R 20481 20484 17760 0 -1 4202496 275983 0 0 0 16203 24 0 0 20 0 1 0 434771123 415895552 94412 33554432000 4194304 6211092 140730083350624 140730083348584 5156256 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35876864 140730083357707 140730083357809 140730083357809 140730083360718 0
/proc/20484/statm: 101537 94412 875 493 0 94842 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 377648 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/200 20501
/proc/meminfo: memFree=27820644/32770624 swapFree=66967296/67108860
[pid=20484] ppid=20481 vsize=406148 memory=377668 CPUtime=222.26 cores=0,2,4,6
/proc/20484/stat : 20484 (cosoco) R 20481 20484 17760 0 -1 4202496 291085 0 0 0 22201 25 0 0 20 0 1 0 434771123 415895552 94417 33554432000 4194304 6211092 140730083350624 140730083348584 5156460 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35876864 140730083357707 140730083357809 140730083357809 140730083360718 0
/proc/20484/statm: 101537 94417 875 493 0 94842 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 377668 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 20508
/proc/meminfo: memFree=27817984/32770624 swapFree=66967296/67108860
[pid=20484] ppid=20481 vsize=406148 memory=379712 CPUtime=282.25 cores=0,2,4,6
/proc/20484/stat : 20484 (cosoco) R 20481 20484 17760 0 -1 4202496 300894 0 0 0 28200 25 0 0 20 0 1 0 434771123 415895552 94928 33554432000 4194304 6211092 140730083350624 140730083348584 5250234 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35876864 140730083357707 140730083357809 140730083357809 140730083360718 0
/proc/20484/statm: 101537 94928 875 493 0 94842 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 379712 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 20512
/proc/meminfo: memFree=27815636/32770624 swapFree=66967296/67108860
[pid=20484] ppid=20481 vsize=406148 memory=382692 CPUtime=342.25 cores=0,2,4,6
/proc/20484/stat : 20484 (cosoco) R 20481 20484 17760 0 -1 4202496 301693 0 0 0 34200 25 0 0 20 0 1 0 434771123 415895552 95673 33554432000 4194304 6211092 140730083350624 140730083348584 5155734 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35876864 140730083357707 140730083357809 140730083357809 140730083360718 0
/proc/20484/statm: 101537 95673 875 493 0 94842 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382692 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20524
/proc/meminfo: memFree=27815316/32770624 swapFree=66967296/67108860
[pid=20484] ppid=20481 vsize=406148 memory=382692 CPUtime=402.25 cores=0,2,4,6
/proc/20484/stat : 20484 (cosoco) R 20481 20484 17760 0 -1 4202496 302291 0 0 0 40199 26 0 0 20 0 1 0 434771123 415895552 95673 33554432000 4194304 6211092 140730083350624 140730083348584 5409453 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35876864 140730083357707 140730083357809 140730083357809 140730083360718 0
/proc/20484/statm: 101537 95673 875 493 0 94842 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382692 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20530
/proc/meminfo: memFree=27815072/32770624 swapFree=66967296/67108860
[pid=20484] ppid=20481 vsize=406148 memory=382692 CPUtime=462.25 cores=0,2,4,6
/proc/20484/stat : 20484 (cosoco) R 20481 20484 17760 0 -1 4202496 302984 0 0 0 46199 26 0 0 20 0 1 0 434771123 415895552 95673 33554432000 4194304 6211092 140730083350624 140730083348584 5409453 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35876864 140730083357707 140730083357809 140730083357809 140730083360718 0
/proc/20484/statm: 101537 95673 875 493 0 94842 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382692 KiB


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

/proc/20484/statm: 101537 95673 875 493 0 94842 0
Current children cumulated CPU time: 1662.25 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382692 KiB

[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/199 20705
/proc/meminfo: memFree=29989272/32770624 swapFree=66967296/67108860
[pid=20484] ppid=20481 vsize=406148 memory=382692 CPUtime=1722.25 cores=0,2,4,6
/proc/20484/stat : 20484 (cosoco) R 20481 20484 17760 0 -1 4202496 314003 0 0 0 172199 26 0 0 20 0 1 0 434771123 415895552 95673 33554432000 4194304 6211092 140730083350624 140730083348584 5250461 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35876864 140730083357707 140730083357809 140730083357809 140730083360718 0
/proc/20484/statm: 101537 95673 875 493 0 94842 0
Current children cumulated CPU time: 1722.25 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382692 KiB

[startup+1782.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 20709
/proc/meminfo: memFree=29989788/32770624 swapFree=66967296/67108860
[pid=20484] ppid=20481 vsize=406148 memory=382692 CPUtime=1782.25 cores=0,2,4,6
/proc/20484/stat : 20484 (cosoco) R 20481 20484 17760 0 -1 4202496 314428 0 0 0 178199 26 0 0 20 0 1 0 434771123 415895552 95673 33554432000 4194304 6211092 140730083350624 140730083348584 5250450 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35876864 140730083357707 140730083357809 140730083357809 140730083360718 0
/proc/20484/statm: 101537 95673 875 493 0 94842 0
Current children cumulated CPU time: 1782.25 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382692 KiB

[startup+1842.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/199 20713
/proc/meminfo: memFree=29990148/32770624 swapFree=66967296/67108860
[pid=20484] ppid=20481 vsize=406148 memory=382692 CPUtime=1842.25 cores=0,2,4,6
/proc/20484/stat : 20484 (cosoco) R 20481 20484 17760 0 -1 4202496 314861 0 0 0 184199 26 0 0 20 0 1 0 434771123 415895552 95673 33554432000 4194304 6211092 140730083350624 140730083348584 5250272 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35876864 140730083357707 140730083357809 140730083357809 140730083360718 0
/proc/20484/statm: 101537 95673 875 493 0 94842 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382692 KiB

[startup+1902.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/199 20719
/proc/meminfo: memFree=29989712/32770624 swapFree=66967296/67108860
[pid=20484] ppid=20481 vsize=406148 memory=382692 CPUtime=1902.25 cores=0,2,4,6
/proc/20484/stat : 20484 (cosoco) R 20481 20484 17760 0 -1 4202496 315459 0 0 0 190199 26 0 0 20 0 1 0 434771123 415895552 95673 33554432000 4194304 6211092 140730083350624 140730083348584 5409453 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35876864 140730083357707 140730083357809 140730083357809 140730083360718 0
/proc/20484/statm: 101537 95673 875 493 0 94842 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382692 KiB

[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 20723
/proc/meminfo: memFree=29990108/32770624 swapFree=66967296/67108860
[pid=20484] ppid=20481 vsize=406148 memory=382692 CPUtime=1962.25 cores=0,2,4,6
/proc/20484/stat : 20484 (cosoco) R 20481 20484 17760 0 -1 4202496 315922 0 0 0 196199 26 0 0 20 0 1 0 434771123 415895552 95673 33554432000 4194304 6211092 140730083350624 140730083348584 5157544 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35876864 140730083357707 140730083357809 140730083357809 140730083360718 0
/proc/20484/statm: 101537 95673 875 493 0 94842 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382692 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20727
/proc/meminfo: memFree=29989792/32770624 swapFree=66967296/67108860
[pid=20484] ppid=20481 vsize=406148 memory=382692 CPUtime=2022.25 cores=0,2,4,6
/proc/20484/stat : 20484 (cosoco) R 20481 20484 17760 0 -1 4202496 316382 0 0 0 202199 26 0 0 20 0 1 0 434771123 415895552 95673 33554432000 4194304 6211092 140730083350624 140730083348584 5250224 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35876864 140730083357707 140730083357809 140730083357809 140730083360718 0
/proc/20484/statm: 101537 95673 875 493 0 94842 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382692 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20733
/proc/meminfo: memFree=29989424/32770624 swapFree=66967296/67108860
[pid=20484] ppid=20481 vsize=406148 memory=382692 CPUtime=2082.25 cores=0,2,4,6
/proc/20484/stat : 20484 (cosoco) R 20481 20484 17760 0 -1 4202496 316855 0 0 0 208199 26 0 0 20 0 1 0 434771123 415895552 95673 33554432000 4194304 6211092 140730083350624 140730083348584 5409453 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35876864 140730083357707 140730083357809 140730083357809 140730083360718 0
/proc/20484/statm: 101537 95673 875 493 0 94842 0
Current children cumulated CPU time: 2082.25 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382692 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20737
/proc/meminfo: memFree=29989488/32770624 swapFree=66967296/67108860
[pid=20484] ppid=20481 vsize=406148 memory=382692 CPUtime=2142.25 cores=0,2,4,6
/proc/20484/stat : 20484 (cosoco) R 20481 20484 17760 0 -1 4202496 317413 0 0 0 214199 26 0 0 20 0 1 0 434771123 415895552 95673 33554432000 4194304 6211092 140730083350624 140730083348584 5250298 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35876864 140730083357707 140730083357809 140730083357809 140730083360718 0
/proc/20484/statm: 101537 95673 875 493 0 94842 0
Current children cumulated CPU time: 2142.25 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382692 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20748
/proc/meminfo: memFree=29988884/32770624 swapFree=66967296/67108860
[pid=20484] ppid=20481 vsize=406148 memory=382692 CPUtime=2202.25 cores=0,2,4,6
/proc/20484/stat : 20484 (cosoco) R 20481 20484 17760 0 -1 4202496 317878 0 0 0 220199 26 0 0 20 0 1 0 434771123 415895552 95673 33554432000 4194304 6211092 140730083350624 140730083348584 5409465 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35876864 140730083357707 140730083357809 140730083357809 140730083360718 0
/proc/20484/statm: 101537 95673 875 493 0 94842 0
Current children cumulated CPU time: 2202.25 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382692 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20754
/proc/meminfo: memFree=29989164/32770624 swapFree=66967296/67108860
[pid=20484] ppid=20481 vsize=406148 memory=382692 CPUtime=2262.24 cores=0,2,4,6
/proc/20484/stat : 20484 (cosoco) R 20481 20484 17760 0 -1 4202496 318357 0 0 0 226198 26 0 0 20 0 1 0 434771123 415895552 95673 33554432000 4194304 6211092 140730083350624 140730083348584 5156465 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35876864 140730083357707 140730083357809 140730083357809 140730083360718 0
/proc/20484/statm: 101537 95673 875 493 0 94842 0
Current children cumulated CPU time: 2262.24 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382692 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20758
/proc/meminfo: memFree=29990016/32770624 swapFree=66967296/67108860
[pid=20484] ppid=20481 vsize=406148 memory=382692 CPUtime=2322.25 cores=0,2,4,6
/proc/20484/stat : 20484 (cosoco) R 20481 20484 17760 0 -1 4202496 318907 0 0 0 232198 27 0 0 20 0 1 0 434771123 415895552 95673 33554432000 4194304 6211092 140730083350624 140730083348584 5409453 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35876864 140730083357707 140730083357809 140730083357809 140730083360718 0
/proc/20484/statm: 101537 95673 875 493 0 94842 0
Current children cumulated CPU time: 2322.25 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382692 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20762
/proc/meminfo: memFree=29989800/32770624 swapFree=66967296/67108860
[pid=20484] ppid=20481 vsize=406148 memory=382692 CPUtime=2382.25 cores=0,2,4,6
/proc/20484/stat : 20484 (cosoco) R 20481 20484 17760 0 -1 4202496 319517 0 0 0 238198 27 0 0 20 0 1 0 434771123 415895552 95673 33554432000 4194304 6211092 140730083350624 140730083348584 5193754 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35876864 140730083357707 140730083357809 140730083357809 140730083360718 0
/proc/20484/statm: 101537 95673 875 493 0 94842 0
Current children cumulated CPU time: 2382.25 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382692 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2400.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 20764
/proc/meminfo: memFree=29989804/32770624 swapFree=66967296/67108860
[pid=20484] ppid=20481 vsize=406148 memory=382692 CPUtime=2400.06 cores=0,2,4,6
/proc/20484/stat : 20484 (cosoco) R 20481 20484 17760 0 -1 4202496 319602 0 0 0 239979 27 0 0 20 0 1 0 434771123 415895552 95673 33554432000 4194304 6211092 140730083350624 140730083348584 5391794 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35876864 140730083357707 140730083357809 140730083357809 140730083360718 0
/proc/20484/statm: 101537 95673 875 493 0 94842 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382692 KiB

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

[startup+2400.11 s]
# the end of solver process 20484 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.8 s, system=0.272 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/199 20764
/proc/meminfo: memFree=29989804/32770624 swapFree=66967296/67108860
[pid=20484] ppid=20481 vsize=406148 memory=382692 CPUtime=2400.06 cores=0,2,4,6
/proc/20484/stat : 20484 (cosoco) R 20481 20484 17760 0 -1 4202496 319602 0 0 0 239979 27 0 0 20 0 1 0 434771123 415895552 95673 33554432000 4194304 6211092 140730083350624 140730083348584 5391794 0 0 4096 8405026 0 0 0 17 2 0 0 0 0 0 8312316 8317760 35876864 140730083357707 140730083357809 140730083357809 140730083360718 0
/proc/20484/statm: 101537 95673 875 493 0 94842 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382692 KiB

Child status: 1
Real time (s): 2400.11
CPU time (s): 2400.07
CPU user time (s): 2399.8
CPU system time (s): 0.272
CPU usage (%): 99.9983
Max. virtual memory (cumulated for all children) (KiB): 406148
Max. memory (cumulated for all children) (KiB): 382692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.8
system time used= 0.272
maximum resident set size= 382756
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 319653
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= 98
involuntary context switches= 3022


# summary of solver processes directly reported to runsolver:
#   pid: 20484
#   total CPU time (s): 2400.07
#   total CPU user time (s): 2399.8
#   total CPU system time (s): 0.272

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.68319 second user time and 17.1969 second system time

The end

Launcher Data 

Begin job on node125 at 2019-09-16 00:03:21
IDJOB=4397364
IDBENCH=135031
IDSOLVER=2849
FILE ID=node125/4397364-1568585043
RUNJOBID= node125-1568572742-17791
PBS_JOBID= 21703325
Free space on /tmp= 59752 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-sptate/Pb-Tate-K109.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4397364-1568585043/watcher-4397364-1568585043 -o /tmp/evaluation-result-4397364-1568585043/solver-4397364-1568585043 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node125-1568572742-17791 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4397364-1568585043.xml

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

MD5SUM BENCH= d51c756c633143c4b9edb9b6f06ce71e
RANDOM SEED=1803023390

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:        28215752 kB
MemAvailable:   29433884 kB
Buffers:          171748 kB
Cached:          1345512 kB
SwapCached:        38384 kB
Active:          3108836 kB
Inactive:         878948 kB
Active(anon):    2449284 kB
Inactive(anon):    69504 kB
Active(file):     659552 kB
Inactive(file):   809444 kB
Unevictable:      107780 kB
Mlocked:          107780 kB
SwapTotal:      67108860 kB
SwapFree:       66967296 kB
Dirty:              2996 kB
Writeback:             0 kB
AnonPages:       2553852 kB
Mapped:            48308 kB
Shmem:             39708 kB
Slab:             158656 kB
SReclaimable:     129940 kB
SUnreclaim:        28716 kB
KernelStack:        3792 kB
PageTables:        10528 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    2997556 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2267136 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:43:21