Trace number 4390084

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerCPU timeWall clock time
cosoco 2? (TO) 2400.1 2399.8

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.93	c root propagations     : 362         
0.89/0.93	c restarts enabled, print stats at every restarts
0.89/0.93	c
0.89/0.93	c
0.89/0.93	c
0.89/0.93	c This is cosoco 2.00 --  
0.89/0.93	c
0.89/0.93	c command line: cosoco -lc -model -restarts -stick HOME/instance-4390084-1568350035.xml 
0.89/0.93	c ========================================[ Problem Statistics ]===========================================
0.89/0.93	c |                                                                                                       
0.89/0.93	c |  Parse time        :         0.71 s 
0.89/0.93	c |
0.89/0.93	c |               Variables: 7412
0.89/0.93	c |            Domain Sizes: 2..2
0.89/0.93	c |
0.89/0.93	c |             Constraints: 7632
0.89/0.93	c |                   Arity: 1..109  -- Unary: 2  -- Binary: 1404  -- Ternary: 2916
0.89/0.93	c | 
0.89/0.93	c |                   Types: 
0.89/0.93	c |                          Sum: 7632
0.89/0.93	c |                          
0.89/0.93	c =========================================================================================================
0.89/0.93	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
2.80/2.80	c 101            5764           602963         202284         362            0              1638   2179   1787
3.79/3.90	c 211            11435          1001195        323837         362            0              5127   5377   5227
4.49/4.59	c 332            19542          1200598        396274         362            0              117   5289   4000
5.39/5.45	c 465            28123          1405343        479200         362            0              789   1535   1019
6.39/6.45	c 611            36351          1710258        596179         362            0              887   1165   1019
7.49/7.56	c 771            44693          2085893        754291         362            0              992   1527   1104
8.50/8.54	c 947            53893          2360936        850528         362            0              1269   1574   1441
11.00/11.05	c 1140           63774          3415892        1229301        362            0              1146   1443   1254
14.00/14.06	c 1352           69730          4744519        1676045        362            0              805   927   867
15.59/15.63	c 1585           87270          5093719        1828109        362            0              537   1782   1283
18.59/18.60	c 1841           102761         6160624        2188306        362            0              886   1150   1036
21.01/21.06	c 2122           120387         6988465        2527266        362            0              886   1218   1063
22.40/22.45	c 2431           127249         7532689        2750868        362            0              776   939   848
25.79/25.85	c 2770           138434         8991724        3272710        362            0              800   945   881
27.49/27.54	c 3142           150032         9591921        3532489        362            0              779   964   861
30.49/30.53	c 3551           170901         10623408       3931915        362            0              744   1332   1129
33.39/33.42	c 4000           188844         11685148       4324764        362            0              1005   1411   1142
36.49/36.57	c 4493           206070         12910774       4794456        362            0              1036   1278   1139
40.19/40.22	c 5035           230699         14226674       5303610        362            0              1157   1396   1289
44.20/44.24	c 5631           253651         15817534       5966974        362            0              1042   1322   1178
46.60/46.65	c 6286           271063         16613768       6262493        362            0              837   1524   1146
49.90/49.98	c 7006           291896         17799690       6743448        362            0              975   1439   1103
56.00/56.07	c 7798           312108         20539739       7909878        362            0              849   1034   956
61.60/61.62	c 8669           335602         22641154       8724583        362            0              713   818   771
66.60/66.60	c 9627           362240         24393304       9449902        362            0              572   685   639
80.80/80.81	c 10680          403101         30402674       11555892       362            0              592   1271   1051
94.81/94.83	c 11838          436894         36839493       14033986       362            0              715   985   805
113.21/113.27	c 13111          499666         44370293       16445072       362            0              608   1296   975
139.71/139.70	c 14511          564808         55472150       20008129       362            0              790   1145   974
160.31/160.37	c 16051          603238         64695781       23052926       362            0              759   972   858
179.13/179.17	c 17745          643167         73816347       26353873       362            0              333   1067   951
187.02/187.05	c 19608          671388         77794075       27862979       362            0              583   675   640
198.41/198.43	c 21657          799214         81103259       29201388       362            0              604   1815   1277
206.72/206.79	c 23910          862065         84459285       30510843       362            0              968   1173   1099
219.31/219.39	c 26388          956063         89422729       32564841       362            0              845   1557   1123
232.12/232.17	c 29113          1049710        94425092       34695918       362            0              1158   1491   1321
247.12/247.14	c 32110          1186450        99745816       36769035       362            0              1099   2017   1619
272.31/272.39	c 35406          1346944        109948756      40805813       362            0              1316   1709   1507
331.20/331.30	c 39031          1472244        139717510      50809981       362            0              1027   1308   1237
361.12/361.18	c 43018          1652636        152266299      55609134       362            0              934   1464   1125
383.12/383.11	c 47403          1839678        160610932      59061685       362            0              1018   1699   1375
410.02/410.08	c 52226          2120583        169419816      62998877       362            0              1092   2168   1494
447.51/447.53	c 57531          2439553        184203658      68522208       362            0              1328   2419   1612
464.52/464.51	c 63366          2577743        191452028      71249295       362            0              1353   1642   1558
488.32/488.34	c 69784          2848107        199198113      74430088       362            0              1460   2241   1638
541.72/541.71	c 76843          3359928        218309422      81972793       362            0              1394   2164   1672
585.43/585.44	c 84607          3734480        235634549      88607563       362            0              1538   2314   1726
629.34/629.36	c 93147          4076502        253652985      95597792       362            0              1593   2176   1887
685.24/685.29	c 102541         4578817        271985374      102597443      362            0              1413   1810   1659
767.56/767.54	c 112874         5265833        299740350      113421420      362            0              955   2202   1484
846.47/846.45	c 124240         6043961        327776155      124468246      362            0              1561   2197   1932
954.48/954.47	c 136742         6576587        373308808      140519407      362            0              1031   1822   1278
1058.10/1058.04	c 150494         7818236        398420135      150321424      362            0              670   2030   1399
1130.81/1130.74	c 165621         8524483        421735542      158814622      362            0              878   1234   1115
1327.63/1327.53	c 182260         10168014       490086918      182999700      362            0              939   1674   1313
1561.27/1561.11	c 200562         12455970       565178395      209693566      362            0              912   2268   1540
1718.20/1718.05	c 220694         13293807       632286713      232171514      362            0              911   1429   1205
1873.32/1873.16	c 242839         14210207       697518652      258318788      362            0              856   1205   1119
2098.04/2097.86	c 267198         15042951       795174408      290937693      362            0              687   1037   904
2334.29/2334.06	c 293992         16280097       890921912      324744292      362            0              625   1859   982
2400.09/2399.80	
2400.09/2399.80	c *** INTERRUPTED ***
2400.09/2399.80	c restarts              : 60          
2400.09/2399.80	c conflicts             : 303944       (127 /sec)
2400.09/2399.80	c decisions             : 17141176     (7143 /sec)
2400.09/2399.80	c propagations          : 330111233   (137559 /sec)
2400.09/2399.80	c root propagations     : 362         
2400.09/2399.80	c filter calls          : 906272022      (377648 /sec)
2400.09/2399.80	c useless filter calls  : 797031190      (87 %)
2400.09/2399.80	c Memory used           : 396.63 MB
2400.09/2399.80	c CPU time              : 2399.78 s
2400.09/2399.80	c real time             : 2399.8 s
2400.09/2399.80	
2400.09/2399.80	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 (15331 MiB free)
  memory of node 1: 16384 MiB (15546 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390084-1568350035/watcher-4390084-1568350035 -o /tmp/evaluation-result-4390084-1568350035/solver-4390084-1568350035 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568347592-21996 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390084-1568350035.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=22369, runsolver pid=22362
Current StackSize limit: 8192 KiB


[startup+0.100116 s]*
/proc/loadavg: 2.00 1.99 1.95 4/199 22370
/proc/meminfo: memFree=31597776/32770624 swapFree=66917896/67108860
[pid=22369] ppid=22362 vsize=38248 memory=14740 CPUtime=0.1 cores=1,3,5,7
/proc/22369/stat : 22369 (cosoco) R 22362 22369 21964 0 -1 4202496 3849 0 0 0 10 0 0 0 20 0 1 0 410941391 39165952 3685 33554432000 4194304 6210612 140735308153344 140735308149880 139730587206784 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 31928320 140735308162059 140735308162161 140735308162161 140735308165070 0
/proc/22369/statm: 9562 3685 834 493 0 2867 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 38248 KiB
Current children cumulated memory: 14740 KiB

[startup+0.209465 s]*
/proc/loadavg: 2.00 1.99 1.95 4/199 22370
/proc/meminfo: memFree=31533668/32770624 swapFree=66917896/67108860
[pid=22369] ppid=22362 vsize=74116 memory=50340 CPUtime=0.21 cores=1,3,5,7
/proc/22369/stat : 22369 (cosoco) R 22362 22369 21964 0 -1 4202496 12808 0 0 0 19 2 0 0 20 0 1 0 410941391 75894784 12585 33554432000 4194304 6210612 140735308153344 140735308149880 139730571192224 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 31928320 140735308162059 140735308162161 140735308162161 140735308165070 0
/proc/22369/statm: 18529 12585 834 493 0 11834 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 74116 KiB
Current children cumulated memory: 50340 KiB

[startup+0.309435 s]*
/proc/loadavg: 2.00 1.99 1.95 4/199 22370
/proc/meminfo: memFree=31469808/32770624 swapFree=66917896/67108860
[pid=22369] ppid=22362 vsize=107540 memory=83868 CPUtime=0.31 cores=1,3,5,7
/proc/22369/stat : 22369 (cosoco) R 22362 22369 21964 0 -1 4202496 21145 0 0 0 28 3 0 0 20 0 1 0 410941391 110120960 20967 33554432000 4194304 6210612 140735308153344 140735308149880 139730571144165 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 31928320 140735308162059 140735308162161 140735308162161 140735308165070 0
/proc/22369/statm: 26885 20967 834 493 0 20190 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 107540 KiB
Current children cumulated memory: 83868 KiB

[startup+0.700297 s]
/proc/loadavg: 2.00 1.99 1.95 4/199 22370
/proc/meminfo: memFree=31354736/32770624 swapFree=66917896/67108860
[pid=22369] ppid=22362 vsize=235108 memory=211380 CPUtime=0.69 cores=1,3,5,7
/proc/22369/stat : 22369 (cosoco) R 22362 22369 21964 0 -1 4202496 53064 0 0 0 61 8 0 0 20 0 1 0 410941391 240750592 52845 33554432000 4194304 6210612 140735308153344 140735308149880 139730571144165 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 31928320 140735308162059 140735308162161 140735308162161 140735308165070 0
/proc/22369/statm: 58813 52845 834 493 0 52118 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 235108 KiB
Current children cumulated memory: 211380 KiB

[startup+1.50028 s]
/proc/loadavg: 2.00 1.99 1.95 4/200 22372
/proc/meminfo: memFree=31181488/32770624 swapFree=66917896/67108860
[pid=22369] ppid=22362 vsize=314388 memory=290716 CPUtime=1.5 cores=1,3,5,7
/proc/22369/stat : 22369 (cosoco) R 22362 22369 21964 0 -1 4202496 72895 0 0 0 139 11 0 0 20 0 1 0 410941391 321933312 72679 33554432000 4194304 6210612 140735308153344 140735308151240 5249674 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 31928320 140735308162059 140735308162161 140735308162161 140735308165070 0
/proc/22369/statm: 78597 72679 870 493 0 71902 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 314388 KiB
Current children cumulated memory: 290716 KiB

[startup+3.10974 s]
/proc/loadavg: 2.00 1.99 1.95 4/200 22372
/proc/meminfo: memFree=31048540/32770624 swapFree=66917896/67108860
[pid=22369] ppid=22362 vsize=340960 memory=316348 CPUtime=3.1 cores=1,3,5,7
/proc/22369/stat : 22369 (cosoco) R 22362 22369 21964 0 -1 4202496 99609 0 0 0 297 13 0 0 20 0 1 0 410941391 349143040 79087 33554432000 4194304 6210612 140735308153344 140735308150776 5008572 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 31928320 140735308162059 140735308162161 140735308162161 140735308165070 0
/proc/22369/statm: 85240 79087 872 493 0 78545 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 340960 KiB
Current children cumulated memory: 316348 KiB

[startup+6.30026 s]
/proc/loadavg: 2.00 1.99 1.95 4/200 22372
/proc/meminfo: memFree=30961644/32770624 swapFree=66917896/67108860
[pid=22369] ppid=22362 vsize=406148 memory=377620 CPUtime=6.29 cores=1,3,5,7
/proc/22369/stat : 22369 (cosoco) R 22362 22369 21964 0 -1 4202496 140470 0 0 0 612 17 0 0 20 0 1 0 410941391 415895552 94405 33554432000 4194304 6210612 140735308153344 140735308151304 5409293 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 31928320 140735308162059 140735308162161 140735308162161 140735308165070 0
/proc/22369/statm: 101537 94405 872 493 0 94842 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 377620 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 1.99 1.95 4/199 22372
/proc/meminfo: memFree=30960748/32770624 swapFree=66917896/67108860
[pid=22369] ppid=22362 vsize=406148 memory=377620 CPUtime=12.69 cores=1,3,5,7
/proc/22369/stat : 22369 (cosoco) R 22362 22369 21964 0 -1 4202496 167297 0 0 0 1251 18 0 0 20 0 1 0 410941391 415895552 94405 33554432000 4194304 6210612 140735308153344 140735308151304 5154977 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 31928320 140735308162059 140735308162161 140735308162161 140735308165070 0
/proc/22369/statm: 101537 94405 872 493 0 94842 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 377620 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 1.99 1.95 4/199 22372
/proc/meminfo: memFree=30960204/32770624 swapFree=66917896/67108860
[pid=22369] ppid=22362 vsize=406148 memory=377620 CPUtime=25.49 cores=1,3,5,7
/proc/22369/stat : 22369 (cosoco) R 22362 22369 21964 0 -1 4202496 195088 0 0 0 2529 20 0 0 20 0 1 0 410941391 415895552 94405 33554432000 4194304 6210612 140735308153344 140735308151304 5249738 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 31928320 140735308162059 140735308162161 140735308162161 140735308165070 0
/proc/22369/statm: 101537 94405 872 493 0 94842 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 377620 KiB

[startup+51.1098 s]
/proc/loadavg: 2.00 1.99 1.95 4/199 22375
/proc/meminfo: memFree=30956748/32770624 swapFree=66917896/67108860
[pid=22369] ppid=22362 vsize=406148 memory=377620 CPUtime=51.11 cores=1,3,5,7
/proc/22369/stat : 22369 (cosoco) R 22362 22369 21964 0 -1 4202496 223640 0 0 0 5089 22 0 0 20 0 1 0 410941391 415895552 94405 33554432000 4194304 6210612 140735308153344 140735308151304 5249691 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 31928320 140735308162059 140735308162161 140735308162161 140735308165070 0
/proc/22369/statm: 101537 94405 872 493 0 94842 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 377620 KiB

[startup+102.3 s]
/proc/loadavg: 2.12 2.02 1.97 4/199 22379
/proc/meminfo: memFree=30952288/32770624 swapFree=66917896/67108860
[pid=22369] ppid=22362 vsize=406148 memory=377620 CPUtime=102.31 cores=1,3,5,7
/proc/22369/stat : 22369 (cosoco) R 22362 22369 21964 0 -1 4202496 258555 0 0 0 10207 24 0 0 20 0 1 0 410941391 415895552 94405 33554432000 4194304 6210612 140735308153344 140735308151304 5155888 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 31928320 140735308162059 140735308162161 140735308162161 140735308165070 0
/proc/22369/statm: 101537 94405 872 493 0 94842 0
Current children cumulated CPU time: 102.31 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 377620 KiB

[startup+162.3 s]
/proc/loadavg: 2.12 2.04 1.98 4/199 22383
/proc/meminfo: memFree=30951768/32770624 swapFree=66917896/67108860
[pid=22369] ppid=22362 vsize=406148 memory=377620 CPUtime=162.32 cores=1,3,5,7
/proc/22369/stat : 22369 (cosoco) R 22362 22369 21964 0 -1 4202496 279594 0 0 0 16206 26 0 0 20 0 1 0 410941391 415895552 94405 33554432000 4194304 6210612 140735308153344 140735308151304 5155149 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 31928320 140735308162059 140735308162161 140735308162161 140735308165070 0
/proc/22369/statm: 101537 94405 872 493 0 94842 0
Current children cumulated CPU time: 162.32 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 377620 KiB

[startup+222.3 s]
/proc/loadavg: 2.05 2.04 1.98 4/200 22395
/proc/meminfo: memFree=30951096/32770624 swapFree=66917896/67108860
[pid=22369] ppid=22362 vsize=406148 memory=377640 CPUtime=222.31 cores=1,3,5,7
/proc/22369/stat : 22369 (cosoco) R 22362 22369 21964 0 -1 4202496 301744 0 0 0 22204 27 0 0 20 0 1 0 410941391 415895552 94410 33554432000 4194304 6210612 140735308153344 140735308151304 5409293 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 31928320 140735308162059 140735308162161 140735308162161 140735308165070 0
/proc/22369/statm: 101537 94410 872 493 0 94842 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 377640 KiB

[startup+282.3 s]
/proc/loadavg: 2.02 2.03 1.98 4/200 22401
/proc/meminfo: memFree=30951176/32770624 swapFree=66917896/67108860
[pid=22369] ppid=22362 vsize=406148 memory=377640 CPUtime=282.31 cores=1,3,5,7
/proc/22369/stat : 22369 (cosoco) R 22362 22369 21964 0 -1 4202496 319583 0 0 0 28202 29 0 0 20 0 1 0 410941391 415895552 94410 33554432000 4194304 6210612 140735308153344 140735308151304 5155119 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 31928320 140735308162059 140735308162161 140735308162161 140735308165070 0
/proc/22369/statm: 101537 94410 872 493 0 94842 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 377640 KiB

[startup+342.3 s]
/proc/loadavg: 2.08 2.04 1.98 4/200 22405
/proc/meminfo: memFree=30951052/32770624 swapFree=66917896/67108860
[pid=22369] ppid=22362 vsize=406148 memory=377660 CPUtime=342.3 cores=1,3,5,7
/proc/22369/stat : 22369 (cosoco) R 22362 22369 21964 0 -1 4202496 328665 0 0 0 34201 29 0 0 20 0 1 0 410941391 415895552 94415 33554432000 4194304 6210612 140735308153344 140735308151304 5409305 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 31928320 140735308162059 140735308162161 140735308162161 140735308165070 0
/proc/22369/statm: 101537 94415 872 493 0 94842 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 377660 KiB

[startup+402.3 s]
/proc/loadavg: 2.03 2.04 1.98 4/200 22409
/proc/meminfo: memFree=30947960/32770624 swapFree=66917896/67108860
[pid=22369] ppid=22362 vsize=406148 memory=381076 CPUtime=402.31 cores=1,3,5,7
/proc/22369/stat : 22369 (cosoco) R 22362 22369 21964 0 -1 4202496 334061 0 0 0 40201 30 0 0 20 0 1 0 410941391 415895552 95269 33554432000 4194304 6210612 140735308153344 140735308151304 5155776 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 31928320 140735308162059 140735308162161 140735308162161 140735308165070 0
/proc/22369/statm: 101537 95269 872 493 0 94842 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 381076 KiB

[startup+462.3 s]
/proc/loadavg: 2.01 2.03 1.98 4/200 22415
/proc/meminfo: memFree=30945516/32770624 swapFree=66917896/67108860
[pid=22369] ppid=22362 vsize=406148 memory=382644 CPUtime=462.31 cores=1,3,5,7
/proc/22369/stat : 22369 (cosoco) R 22362 22369 21964 0 -1 4202496 334409 0 0 0 46201 30 0 0 20 0 1 0 410941391 415895552 95661 33554432000 4194304 6210612 140735308153344 140735308151304 5409293 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 31928320 140735308162059 140735308162161 140735308162161 140735308165070 0
/proc/22369/statm: 101537 95661 872 493 0 94842 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382644 KiB


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

/proc/22369/statm: 101537 95661 872 493 0 94842 0
Current children cumulated CPU time: 1602.47 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382644 KiB

[startup+1662.3 s]
/proc/loadavg: 2.00 2.04 2.05 4/199 22548
/proc/meminfo: memFree=30944560/32770624 swapFree=66917956/67108860
[pid=22369] ppid=22362 vsize=406148 memory=382644 CPUtime=1662.48 cores=1,3,5,7
/proc/22369/stat : 22369 (cosoco) R 22362 22369 21964 0 -1 4202496 339797 0 0 0 166217 31 0 0 20 0 1 0 410941391 415895552 95661 33554432000 4194304 6210612 140735308153344 140735308151304 5397075 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 31928320 140735308162059 140735308162161 140735308162161 140735308165070 0
/proc/22369/statm: 101537 95661 872 493 0 94842 0
Current children cumulated CPU time: 1662.48 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382644 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.03 2.05 4/199 22554
/proc/meminfo: memFree=30944164/32770624 swapFree=66917956/67108860
[pid=22369] ppid=22362 vsize=406148 memory=382644 CPUtime=1722.49 cores=1,3,5,7
/proc/22369/stat : 22369 (cosoco) R 22362 22369 21964 0 -1 4202496 340210 0 0 0 172218 31 0 0 20 0 1 0 410941391 415895552 95661 33554432000 4194304 6210612 140735308153344 140735308151304 5157395 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 31928320 140735308162059 140735308162161 140735308162161 140735308165070 0
/proc/22369/statm: 101537 95661 872 493 0 94842 0
Current children cumulated CPU time: 1722.49 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382644 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 4/199 22558
/proc/meminfo: memFree=30944624/32770624 swapFree=66917956/67108860
[pid=22369] ppid=22362 vsize=406148 memory=382644 CPUtime=1782.5 cores=1,3,5,7
/proc/22369/stat : 22369 (cosoco) R 22362 22369 21964 0 -1 4202496 340333 0 0 0 178219 31 0 0 20 0 1 0 410941391 415895552 95661 33554432000 4194304 6210612 140735308153344 140735308151304 5409279 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 31928320 140735308162059 140735308162161 140735308162161 140735308165070 0
/proc/22369/statm: 101537 95661 872 493 0 94842 0
Current children cumulated CPU time: 1782.5 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382644 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/199 22562
/proc/meminfo: memFree=30944460/32770624 swapFree=66917956/67108860
[pid=22369] ppid=22362 vsize=406148 memory=382644 CPUtime=1842.51 cores=1,3,5,7
/proc/22369/stat : 22369 (cosoco) R 22362 22369 21964 0 -1 4202496 340584 0 0 0 184220 31 0 0 20 0 1 0 410941391 415895552 95661 33554432000 4194304 6210612 140735308153344 140735308151304 5409264 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 31928320 140735308162059 140735308162161 140735308162161 140735308165070 0
/proc/22369/statm: 101537 95661 872 493 0 94842 0
Current children cumulated CPU time: 1842.51 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382644 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/199 22568
/proc/meminfo: memFree=30944084/32770624 swapFree=66917956/67108860
[pid=22369] ppid=22362 vsize=406148 memory=382644 CPUtime=1902.52 cores=1,3,5,7
/proc/22369/stat : 22369 (cosoco) R 22362 22369 21964 0 -1 4202496 340893 0 0 0 190221 31 0 0 20 0 1 0 410941391 415895552 95661 33554432000 4194304 6210612 140735308153344 140735308151304 5155888 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 31928320 140735308162059 140735308162161 140735308162161 140735308165070 0
/proc/22369/statm: 101537 95661 872 493 0 94842 0
Current children cumulated CPU time: 1902.52 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382644 KiB

[startup+1962.3 s]
/proc/loadavg: 2.06 2.03 2.05 4/199 22572
/proc/meminfo: memFree=30944060/32770624 swapFree=66917956/67108860
[pid=22369] ppid=22362 vsize=406148 memory=382644 CPUtime=1962.52 cores=1,3,5,7
/proc/22369/stat : 22369 (cosoco) R 22362 22369 21964 0 -1 4202496 341130 0 0 0 196221 31 0 0 20 0 1 0 410941391 415895552 95661 33554432000 4194304 6210612 140735308153344 140735308151304 5154969 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 31928320 140735308162059 140735308162161 140735308162161 140735308165070 0
/proc/22369/statm: 101537 95661 872 493 0 94842 0
Current children cumulated CPU time: 1962.52 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382644 KiB

[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 2.05 4/199 22583
/proc/meminfo: memFree=30943436/32770624 swapFree=66917964/67108860
[pid=22369] ppid=22362 vsize=406148 memory=382644 CPUtime=2022.53 cores=1,3,5,7
/proc/22369/stat : 22369 (cosoco) R 22362 22369 21964 0 -1 4202496 341296 0 0 0 202222 31 0 0 20 0 1 0 410941391 415895552 95661 33554432000 4194304 6210612 140735308153344 140735308151304 5409293 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 31928320 140735308162059 140735308162161 140735308162161 140735308165070 0
/proc/22369/statm: 101537 95661 872 493 0 94842 0
Current children cumulated CPU time: 2022.53 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382644 KiB

[startup+2082.3 s]
/proc/loadavg: 2.01 2.02 2.05 4/200 22590
/proc/meminfo: memFree=30943780/32770624 swapFree=66917964/67108860
[pid=22369] ppid=22362 vsize=406148 memory=382644 CPUtime=2082.54 cores=1,3,5,7
/proc/22369/stat : 22369 (cosoco) R 22362 22369 21964 0 -1 4202496 341547 0 0 0 208223 31 0 0 20 0 1 0 410941391 415895552 95661 33554432000 4194304 6210612 140735308153344 140735308151304 5249893 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 31928320 140735308162059 140735308162161 140735308162161 140735308165070 0
/proc/22369/statm: 101537 95661 872 493 0 94842 0
Current children cumulated CPU time: 2082.54 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382644 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/200 22594
/proc/meminfo: memFree=30944032/32770624 swapFree=66917964/67108860
[pid=22369] ppid=22362 vsize=406148 memory=382644 CPUtime=2142.55 cores=1,3,5,7
/proc/22369/stat : 22369 (cosoco) R 22362 22369 21964 0 -1 4202496 341811 0 0 0 214224 31 0 0 20 0 1 0 410941391 415895552 95661 33554432000 4194304 6210612 140735308153344 140735308151304 5409293 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 31928320 140735308162059 140735308162161 140735308162161 140735308165070 0
/proc/22369/statm: 101537 95661 872 493 0 94842 0
Current children cumulated CPU time: 2142.55 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382644 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/200 22598
/proc/meminfo: memFree=30944396/32770624 swapFree=66917964/67108860
[pid=22369] ppid=22362 vsize=406148 memory=382644 CPUtime=2202.56 cores=1,3,5,7
/proc/22369/stat : 22369 (cosoco) R 22362 22369 21964 0 -1 4202496 342056 0 0 0 220225 31 0 0 20 0 1 0 410941391 415895552 95661 33554432000 4194304 6210612 140735308153344 140735308151304 5157179 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 31928320 140735308162059 140735308162161 140735308162161 140735308165070 0
/proc/22369/statm: 101537 95661 872 493 0 94842 0
Current children cumulated CPU time: 2202.56 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382644 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/200 22604
/proc/meminfo: memFree=30944104/32770624 swapFree=66917964/67108860
[pid=22369] ppid=22362 vsize=406148 memory=382644 CPUtime=2262.57 cores=1,3,5,7
/proc/22369/stat : 22369 (cosoco) R 22362 22369 21964 0 -1 4202496 342241 0 0 0 226226 31 0 0 20 0 1 0 410941391 415895552 95661 33554432000 4194304 6210612 140735308153344 140735308151304 5154977 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 31928320 140735308162059 140735308162161 140735308162161 140735308165070 0
/proc/22369/statm: 101537 95661 872 493 0 94842 0
Current children cumulated CPU time: 2262.57 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382644 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/200 22609
/proc/meminfo: memFree=30944572/32770624 swapFree=66917972/67108860
[pid=22369] ppid=22362 vsize=406148 memory=382644 CPUtime=2322.58 cores=1,3,5,7
/proc/22369/stat : 22369 (cosoco) R 22362 22369 21964 0 -1 4202496 342549 0 0 0 232227 31 0 0 20 0 1 0 410941391 415895552 95661 33554432000 4194304 6210612 140735308153344 140735308151304 5409293 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 31928320 140735308162059 140735308162161 140735308162161 140735308165070 0
/proc/22369/statm: 101537 95661 872 493 0 94842 0
Current children cumulated CPU time: 2322.58 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382644 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 4/199 22613
/proc/meminfo: memFree=30944328/32770624 swapFree=66917972/67108860
[pid=22369] ppid=22362 vsize=406148 memory=382644 CPUtime=2382.58 cores=1,3,5,7
/proc/22369/stat : 22369 (cosoco) R 22362 22369 21964 0 -1 4202496 342781 0 0 0 238227 31 0 0 20 0 1 0 410941391 415895552 95661 33554432000 4194304 6210612 140735308153344 140735308151304 5249712 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 31928320 140735308162059 140735308162161 140735308162161 140735308165070 0
/proc/22369/statm: 101537 95661 872 493 0 94842 0
Current children cumulated CPU time: 2382.58 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382644 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2399.8 s]
/proc/loadavg: 2.00 2.01 2.05 4/199 22615
/proc/meminfo: memFree=30943976/32770624 swapFree=66917972/67108860
[pid=22369] ppid=22362 vsize=406148 memory=382644 CPUtime=2400.09 cores=1,3,5,7
/proc/22369/stat : 22369 (cosoco) R 22362 22369 21964 0 -1 4202496 343017 0 0 0 239978 31 0 0 20 0 1 0 410941391 415895552 95661 33554432000 4194304 6210612 140735308153344 140735308151304 5409293 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8308220 8313664 31928320 140735308162059 140735308162161 140735308162161 140735308165070 0
/proc/22369/statm: 101537 95661 872 493 0 94842 0
Current children cumulated CPU time: 2400.09 s
Current children cumulated vsize: 406148 KiB
Current children cumulated memory: 382644 KiB

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

[startup+2399.8 s]
# the end of solver process 22369 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2399.78 s, system=0.317044 s

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

Child status: 1
Real time (s): 2399.8
CPU time (s): 2400.1
CPU user time (s): 2399.78
CPU system time (s): 0.317044
CPU usage (%): 100.012
Max. virtual memory (cumulated for all children) (KiB): 406148
Max. memory (cumulated for all children) (KiB): 382644

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.78
system time used= 0.317044
maximum resident set size= 382712
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 343066
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= 618


# summary of solver processes directly reported to runsolver:
#   pid: 22369
#   total CPU time (s): 2400.1
#   total CPU user time (s): 2399.78
#   total CPU system time (s): 0.317044

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.00804 second user time and 16.26 second system time

The end

Launcher Data 

Begin job on node141 at 2019-09-13 06:46:33
IDJOB=4390084
IDBENCH=135031
IDSOLVER=2830
FILE ID=node141/4390084-1568350035
RUNJOBID= node141-1568347592-21996
PBS_JOBID= 21701171
Free space on /tmp= 56112 MiB

SOLVER NAME= cosoco 2
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-4390084-1568350035/watcher-4390084-1568350035 -o /tmp/evaluation-result-4390084-1568350035/solver-4390084-1568350035 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node141-1568347592-21996 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4390084-1568350035.xml

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

MD5SUM BENCH= d51c756c633143c4b9edb9b6f06ce71e
RANDOM SEED=1341431656

node141.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	: 5332.93
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	: 5332.93
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	: 5332.93
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	: 5332.93
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:        31619872 kB
MemAvailable:   31845616 kB
Buffers:          136356 kB
Cached:           377000 kB
SwapCached:        81532 kB
Active:           231800 kB
Inactive:         366460 kB
Active(anon):       9008 kB
Inactive(anon):   106208 kB
Active(file):     222792 kB
Inactive(file):   260252 kB
Unevictable:      109200 kB
Mlocked:          109200 kB
SwapTotal:      67108860 kB
SwapFree:       66917896 kB
Dirty:              6068 kB
Writeback:             0 kB
AnonPages:        112852 kB
Mapped:            33872 kB
Shmem:             21944 kB
Slab:             146340 kB
SReclaimable:     117068 kB
SUnreclaim:        29272 kB
KernelStack:        3488 kB
PageTables:         5424 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     503476 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:     67584 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 56104 MiB
End job on node141 at 2019-09-13 07:26:33