Trace number 4408698

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.06 2399.81

General information on the benchmark

NamePseudoBoolean/PseudoBoolean-dec-spng/
Pb-NG-K171.xml
MD5SUMfad44a9d187d2d79449e3ca32a08f321
Bench CategoryCSP (decision problem)
Best result obtained on this benchmark
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Satisfiable
(Un)Satisfiability was proved
Number of variables20349
Number of constraints20693
Number of domains1
Minimum domain size2
Maximum domain size2
Distribution of domain sizes[{"size":2,"count":20349}]
Minimum variable degree3
Maximum variable degree12
Distribution of variable degrees[{"degree":3,"count":1},{"degree":4,"count":299},{"degree":5,"count":2083},{"degree":6,"count":9159},{"degree":7,"count":5590},{"degree":8,"count":2200},{"degree":9,"count":678},{"degree":10,"count":169},{"degree":11,"count":1},{"degree":12,"count":169}]
Minimum constraint arity1
Maximum constraint arity171
Distribution of constraint arities[{"arity":1,"count":2},{"arity":2,"count":2210},{"arity":3,"count":9180},{"arity":4,"count":5610},{"arity":5,"count":2380},{"arity":6,"count":510},{"arity":7,"count":170},{"arity":9,"count":170},{"arity":119,"count":342},{"arity":171,"count":119}]
Number of extensional constraints0
Number of intensional constraints0
Distribution of constraint types[{"type":"sum","count":20693}]
Optimization problemNO
Type of objective

Solver Data 

3.59/3.64	c root propagations     : 742         
3.59/3.64	c restarts enabled, print stats at every restarts
3.59/3.64	c
3.59/3.64	c
3.59/3.64	c
3.59/3.64	c This is cosoco 2.00 --  
3.59/3.64	c
3.59/3.64	c command line: cosoco -lc -model -restarts -stick HOME/instance-4408698-1569801489.xml 
3.59/3.64	c ========================================[ Problem Statistics ]===========================================
3.59/3.64	c |                                                                                                       
3.59/3.64	c |  Parse time        :         2.12 s 
3.59/3.64	c |
3.59/3.64	c |               Variables: 20349
3.59/3.64	c |            Domain Sizes: 2..2
3.59/3.64	c |
3.59/3.64	c |             Constraints: 20693
3.59/3.64	c |                   Arity: 1..171  -- Unary: 2  -- Binary: 2210  -- Ternary: 9180
3.59/3.64	c | 
3.59/3.64	c |                   Types: 
3.59/3.64	c |                          Sum: 20693
3.59/3.64	c |                          
3.59/3.64	c =========================================================================================================
3.59/3.64	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
10.69/10.79	c 101            16133          1026735        275083         742            0              1193   15830   10024
16.79/16.84	c 211            39841          1980656        706863         742            0              402   18850   17568
19.79/19.80	c 332            46452          2389681        867363         742            0              1951   5144   4198
26.89/26.91	c 465            59425          3519864        1254350        742            0              1951   2508   2145
33.49/33.54	c 611            81986          4287911        1560111        742            0              1826   4077   3650
36.59/36.68	c 771            91868          4669477        1721119        742            0              877   5512   3990
42.00/42.02	c 947            103220         5423368        2052755        742            0              1670   3436   2050
45.00/45.02	c 1140           108738         5886211        2252884        742            0              1710   1826   1763
52.01/52.05	c 1352           138263         6430371        2444866        742            0              1109   3842   3102
56.10/56.14	c 1585           148268         6980298        2680523        742            0              1752   2802   2138
60.49/60.56	c 1841           156370         7683349        2953117        742            0              1988   2781   2082
64.49/64.56	c 2122           163321         8366709        3251184        742            0              1515   2153   2113
74.00/74.07	c 2431           173520         10271991       3921262        742            0              1544   1766   1707
79.09/79.11	c 2770           185015         11149385       4245826        742            0              1430   1906   1761
91.89/91.90	c 3142           193358         13675502       5179674        742            0              1361   1740   1687
99.10/99.19	c 3551           204916         14889133       5704718        742            0              1238   1404   1291
119.00/119.03	c 4000           219356         18586708       7018294        742            0              814   1016   938
125.79/125.84	c 4493           236889         19643113       7567711        742            0              870   2378   2234
132.49/132.51	c 5035           249222         20942182       8150989        742            0              1541   2427   2270
138.80/138.81	c 5631           266857         22096922       8585729        742            0              1725   1960   1839
148.39/148.49	c 6286           287671         23882770       9239677        742            0              1404   1927   1635
158.89/158.94	c 7006           301737         26262595       10149563       742            0              1556   1744   1674
170.89/170.97	c 7798           332857         28162781       10979443       742            0              409   2629   1909
178.00/178.04	c 8669           357899         29144113       11362506       742            0              1496   1915   1657
194.69/194.72	c 9627           390813         32044808       12610568       742            0              1274   1732   1503
208.50/208.54	c 10680          420783         34248728       13535150       742            0              1189   1474   1385
218.50/218.55	c 11838          447907         35846420       14206879       742            0              1167   1390   1243
236.20/236.21	c 13111          477378         38988569       15377166       742            0              933   1850   1329
253.50/253.57	c 14511          520740         41618310       16714671       742            0              1071   1946   1297
264.60/264.69	c 16051          543189         43731777       17812564       742            0              1139   1673   1301
288.31/288.31	c 17745          609529         47221050       19906258       742            0              1196   1945   1540
311.91/311.95	c 19608          694206         50952816       21190591       742            0              1290   2329   1760
351.82/351.84	c 21657          739435         58357379       24712185       742            0              1241   1482   1348
370.31/370.31	c 23910          775559         61508294       26403861       742            0              1069   1154   1127
402.52/402.51	c 26388          823509         67367710       28893529       742            0              778   1024   830
444.92/444.95	c 29113          910353         75348155       32729429       742            0              707   2184   1922
499.23/499.23	c 32110          1082818        82614871       35919997       742            0              976   1670   1312
559.54/559.59	c 35406          1305842        90230796       39440775       742            0              756   2769   1836
642.44/642.46	c 39031          1478397        105082782      45201057       742            0              1387   1770   1588
726.85/726.89	c 43018          1694369        119541152      51370682       742            0              851   2292   1980
822.95/822.90	c 47403          1819476        138937910      57865350       742            0              1428   1583   1507
930.97/930.95	c 52226          2280360        150194221      62731350       742            0              1376   2466   2018
1025.68/1025.68	c 57531          2606661        163602493      69558757       742            0              1501   2667   2010
1099.19/1099.19	c 63366          2872213        174334833      74192076       742            0              1859   2355   2101
1226.50/1226.47	c 69784          3131367        196427470      83822114       742            0              1511   1903   1739
1375.81/1375.79	c 76843          3799778        212222417      89492777       742            0              802   2531   2143
1535.92/1535.86	c 84607          4299887        235400364      99723138       742            0              1711   2518   1972
1695.54/1695.41	c 93147          4716378        261967725      111272791      742            0              1566   2148   1828
1942.28/1942.15	c 102541         5232363        304157319      127687970      742            0              1268   1870   1550
2137.50/2137.38	c 112874         5737631        335399363      143684257      742            0              1260   1610   1468
2308.92/2308.75	c 124240         6067921        366624726      157566996      742            0              1186   1501   1402
2400.04/2399.80	
2400.04/2399.80	c *** INTERRUPTED ***
2400.04/2399.80	c restarts              : 51          
2400.04/2399.80	c conflicts             : 131753       (55 /sec)
2400.04/2399.80	c decisions             : 6242483      (2603 /sec)
2400.04/2399.80	c propagations          : 166012704   (69221 /sec)
2400.04/2399.80	c root propagations     : 742         
2400.04/2399.80	c filter calls          : 384197666      (160196 /sec)
2400.04/2399.80	c useless filter calls  : 352194330      (91 %)
2400.04/2399.80	c Memory used           : 2913.20 MB
2400.04/2399.80	c CPU time              : 2398.3 s
2400.04/2399.80	c real time             : 2399.8 s
2400.04/2399.80	
2400.04/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 (15064 MiB free)
  memory of node 1: 16384 MiB (15171 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4408698-1569801489/watcher-4408698-1569801489 -o /tmp/evaluation-result-4408698-1569801489/solver-4408698-1569801489 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1569783690-24392 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4408698-1569801489.xml 

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

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

solver pid=27547, runsolver pid=27544

[startup+0.100168 s]*
/proc/loadavg: 2.00 2.01 2.05 3/198 27548
/proc/meminfo: memFree=30946856/32770624 swapFree=66957812/67108860
[pid=27547] ppid=27544 vsize=42084 memory=18148 CPUtime=0.1 cores=1,3,5,7
/proc/27547/stat : 27547 (cosoco) R 27544 27547 24360 0 -1 4202496 4765 0 0 0 10 0 0 0 20 0 1 0 556406410 43094016 4537 33554432000 4194304 6211132 140729558804288 140729558800824 5517735 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39870464 140729558811659 140729558811761 140729558811761 140729558814670 0
/proc/27547/statm: 10521 4537 796 493 0 3826 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 42084 KiB
Current children cumulated memory: 18148 KiB

[startup+0.209593 s]*
/proc/loadavg: 2.00 2.01 2.05 3/198 27548
/proc/meminfo: memFree=30939044/32770624 swapFree=66957812/67108860
[pid=27547] ppid=27544 vsize=51768 memory=28180 CPUtime=0.2 cores=1,3,5,7
/proc/27547/stat : 27547 (cosoco) R 27544 27547 24360 0 -1 4202496 7199 0 0 0 20 0 0 0 20 0 1 0 556406410 53010432 6979 33554432000 4194304 6211132 140729558804288 140729558800824 140237014379493 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39870464 140729558811659 140729558811761 140729558811761 140729558814670 0
/proc/27547/statm: 12942 7045 837 493 0 6247 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 51768 KiB
Current children cumulated memory: 28180 KiB

[startup+0.309467 s]*
/proc/loadavg: 2.00 2.01 2.05 3/198 27548
/proc/meminfo: memFree=30922304/32770624 swapFree=66957812/67108860
[pid=27547] ppid=27544 vsize=66492 memory=42700 CPUtime=0.3 cores=1,3,5,7
/proc/27547/stat : 27547 (cosoco) R 27544 27547 24360 0 -1 4202496 10898 0 0 0 29 1 0 0 20 0 1 0 556406410 68087808 10675 33554432000 4194304 6211132 140729558804288 140729558800824 5812032 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39870464 140729558811659 140729558811761 140729558811761 140729558814670 0
/proc/27547/statm: 16623 10675 837 493 0 9928 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 66492 KiB
Current children cumulated memory: 42700 KiB

[startup+0.700354 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27548
/proc/meminfo: memFree=30766436/32770624 swapFree=66957812/67108860
[pid=27547] ppid=27544 vsize=270652 memory=247036 CPUtime=0.68 cores=1,3,5,7
/proc/27547/stat : 27547 (cosoco) R 27544 27547 24360 0 -1 4202496 61923 0 0 0 61 7 0 0 20 0 1 0 556406410 277147648 61759 33554432000 4194304 6211132 140729558804288 140729558801560 140237030442112 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39870464 140729558811659 140729558811761 140729558811761 140729558814670 0
/proc/27547/statm: 67663 61759 837 493 0 60968 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 270652 KiB
Current children cumulated memory: 247036 KiB

[startup+1.50038 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27548
/proc/meminfo: memFree=30477272/32770624 swapFree=66957812/67108860
[pid=27547] ppid=27544 vsize=946388 memory=922380 CPUtime=1.49 cores=1,3,5,7
/proc/27547/stat : 27547 (cosoco) R 27544 27547 24360 0 -1 4202496 230833 0 0 0 120 29 0 0 20 0 1 0 556406410 969101312 230595 33554432000 4194304 6211132 140729558804288 140729558801560 140237014427552 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39870464 140729558811659 140729558811761 140729558811761 140729558814670 0
/proc/27547/statm: 236597 230595 837 493 0 229902 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 946388 KiB
Current children cumulated memory: 922380 KiB

[startup+3.10985 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27548
/proc/meminfo: memFree=29285664/32770624 swapFree=66957812/67108860
[pid=27547] ppid=27544 vsize=1699964 memory=1676364 CPUtime=3.1 cores=1,3,5,7
/proc/27547/stat : 27547 (cosoco) R 27544 27547 24360 0 -1 4202496 429869 0 0 0 255 55 0 0 20 0 1 0 556406410 1740763136 419091 33554432000 4194304 6211132 140729558804288 140729558798424 5397258 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39870464 140729558811659 140729558811761 140729558811761 140729558814670 0
/proc/27547/statm: 424991 419091 847 493 0 418296 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 1699964 KiB
Current children cumulated memory: 1676364 KiB

[startup+6.30039 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27548
/proc/meminfo: memFree=29013976/32770624 swapFree=66957812/67108860
[pid=27547] ppid=27544 vsize=2014372 memory=1987428 CPUtime=6.29 cores=1,3,5,7
/proc/27547/stat : 27547 (cosoco) R 27544 27547 24360 0 -1 4202496 536947 0 0 0 560 69 0 0 20 0 1 0 556406410 2062716928 496857 33554432000 4194304 6211132 140729558804288 140729558802040 5250304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39870464 140729558811659 140729558811761 140729558811761 140729558814670 0
/proc/27547/statm: 503593 496857 873 493 0 496898 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2014372 KiB
Current children cumulated memory: 1987428 KiB

[startup+12.7004 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27550
/proc/meminfo: memFree=28352836/32770624 swapFree=66957812/67108860
[pid=27547] ppid=27544 vsize=2673904 memory=2606204 CPUtime=12.69 cores=1,3,5,7
/proc/27547/stat : 27547 (cosoco) R 27544 27547 24360 0 -1 4202496 765319 0 0 0 1174 95 0 0 20 0 1 0 556406410 2738077696 651551 33554432000 4194304 6211132 140729558804288 140729558802248 5008940 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39870464 140729558811659 140729558811761 140729558811761 140729558814670 0
/proc/27547/statm: 668476 651551 874 493 0 661781 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2673904 KiB
Current children cumulated memory: 2606204 KiB

[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27550
/proc/meminfo: memFree=28100544/32770624 swapFree=66957812/67108860
[pid=27547] ppid=27544 vsize=2983112 memory=2857828 CPUtime=25.5 cores=1,3,5,7
/proc/27547/stat : 27547 (cosoco) R 27544 27547 24360 0 -1 4202496 937082 0 0 0 2439 111 0 0 20 0 1 0 556406410 3054706688 714457 33554432000 4194304 6211132 140729558804288 140729558802248 5250304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39870464 140729558811659 140729558811761 140729558811761 140729558814670 0
/proc/27547/statm: 745778 714457 874 493 0 739083 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 2983112 KiB
Current children cumulated memory: 2857828 KiB

[startup+51.1096 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27551
/proc/meminfo: memFree=28100480/32770624 swapFree=66957812/67108860
[pid=27547] ppid=27544 vsize=2983112 memory=2858052 CPUtime=51.11 cores=1,3,5,7
/proc/27547/stat : 27547 (cosoco) R 27544 27547 24360 0 -1 4202496 1045271 0 0 0 4992 119 0 0 20 0 1 0 556406410 3054706688 714513 33554432000 4194304 6211132 140729558804288 140729558802248 5409485 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39870464 140729558811659 140729558811761 140729558811761 140729558814670 0
/proc/27547/statm: 745778 714513 874 493 0 739083 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 2983112 KiB
Current children cumulated memory: 2858052 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27557
/proc/meminfo: memFree=28100016/32770624 swapFree=66957812/67108860
[pid=27547] ppid=27544 vsize=2983112 memory=2858052 CPUtime=102.29 cores=1,3,5,7
/proc/27547/stat : 27547 (cosoco) R 27544 27547 24360 0 -1 4202496 1130424 0 0 0 10104 125 0 0 20 0 1 0 556406410 3054706688 714513 33554432000 4194304 6211132 140729558804288 140729558802248 5155377 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39870464 140729558811659 140729558811761 140729558811761 140729558814670 0
/proc/27547/statm: 745778 714513 874 493 0 739083 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2983112 KiB
Current children cumulated memory: 2858052 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27562
/proc/meminfo: memFree=28099712/32770624 swapFree=66957812/67108860
[pid=27547] ppid=27544 vsize=2983112 memory=2858052 CPUtime=162.29 cores=1,3,5,7
/proc/27547/stat : 27547 (cosoco) R 27544 27547 24360 0 -1 4202496 1199291 0 0 0 16099 130 0 0 20 0 1 0 556406410 3054706688 714513 33554432000 4194304 6211132 140729558804288 140729558802248 5155385 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39870464 140729558811659 140729558811761 140729558811761 140729558814670 0
/proc/27547/statm: 745778 714513 874 493 0 739083 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2983112 KiB
Current children cumulated memory: 2858052 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27574
/proc/meminfo: memFree=28098992/32770624 swapFree=66957812/67108860
[pid=27547] ppid=27544 vsize=2983112 memory=2858052 CPUtime=222.29 cores=1,3,5,7
/proc/27547/stat : 27547 (cosoco) R 27544 27547 24360 0 -1 4202496 1246754 0 0 0 22096 133 0 0 20 0 1 0 556406410 3054706688 714513 33554432000 4194304 6211132 140729558804288 140729558802248 5155373 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39870464 140729558811659 140729558811761 140729558811761 140729558814670 0
/proc/27547/statm: 745778 714513 874 493 0 739083 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2983112 KiB
Current children cumulated memory: 2858052 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/202 27606
/proc/meminfo: memFree=28097956/32770624 swapFree=66957812/67108860
[pid=27547] ppid=27544 vsize=2983112 memory=2858052 CPUtime=282.31 cores=1,3,5,7
/proc/27547/stat : 27547 (cosoco) R 27544 27547 24360 0 -1 4202496 1281823 0 0 0 28094 137 0 0 20 0 1 0 556406410 3054706688 714513 33554432000 4194304 6211132 140729558804288 140729558802248 5155377 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39870464 140729558811659 140729558811761 140729558811761 140729558814670 0
/proc/27547/statm: 745778 714513 874 493 0 739083 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 2983112 KiB
Current children cumulated memory: 2858052 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 27610
/proc/meminfo: memFree=28098184/32770624 swapFree=66957812/67108860
[pid=27547] ppid=27544 vsize=2983112 memory=2858052 CPUtime=342.31 cores=1,3,5,7
/proc/27547/stat : 27547 (cosoco) R 27544 27547 24360 0 -1 4202496 1321528 0 0 0 34092 139 0 0 20 0 1 0 556406410 3054706688 714513 33554432000 4194304 6211132 140729558804288 140729558802248 5008918 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39870464 140729558811659 140729558811761 140729558811761 140729558814670 0
/proc/27547/statm: 745778 714513 874 493 0 739083 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 2983112 KiB
Current children cumulated memory: 2858052 KiB

[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 27614
/proc/meminfo: memFree=28099256/32770624 swapFree=66957812/67108860
[pid=27547] ppid=27544 vsize=2983112 memory=2858052 CPUtime=402.32 cores=1,3,5,7
/proc/27547/stat : 27547 (cosoco) R 27544 27547 24360 0 -1 4202496 1358686 0 0 0 40090 142 0 0 20 0 1 0 556406410 3054706688 714513 33554432000 4194304 6211132 140729558804288 140729558802248 5155373 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39870464 140729558811659 140729558811761 140729558811761 140729558814670 0
/proc/27547/statm: 745778 714513 874 493 0 739083 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 2983112 KiB
Current children cumulated memory: 2858052 KiB

[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 27620
/proc/meminfo: memFree=28099212/32770624 swapFree=66957812/67108860
[pid=27547] ppid=27544 vsize=2983112 memory=2858052 CPUtime=462.32 cores=1,3,5,7
/proc/27547/stat : 27547 (cosoco) R 27544 27547 24360 0 -1 4202496 1410032 0 0 0 46086 146 0 0 20 0 1 0 556406410 3054706688 714513 33554432000 4194304 6211132 140729558804288 140729558802248 5409485 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39870464 140729558811659 140729558811761 140729558811761 140729558814670 0
/proc/27547/statm: 745778 714513 874 493 0 739083 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 2983112 KiB
Current children cumulated memory: 2858052 KiB


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

/proc/27547/statm: 745778 722817 874 493 0 739083 0
Current children cumulated CPU time: 1602.44 s
Current children cumulated vsize: 2983112 KiB
Current children cumulated memory: 2891268 KiB

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 27789
/proc/meminfo: memFree=27813972/32770624 swapFree=66957812/67108860
[pid=27547] ppid=27544 vsize=2983112 memory=2891272 CPUtime=1662.44 cores=1,3,5,7
/proc/27547/stat : 27547 (cosoco) R 27544 27547 24360 0 -1 4202496 1762344 0 0 0 166074 170 0 0 20 0 1 0 556406410 3054706688 722818 33554432000 4194304 6211132 140729558804288 140729558802248 5409456 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39870464 140729558811659 140729558811761 140729558811761 140729558814670 0
/proc/27547/statm: 745778 722818 874 493 0 739083 0
Current children cumulated CPU time: 1662.44 s
Current children cumulated vsize: 2983112 KiB
Current children cumulated memory: 2891272 KiB

[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27796
/proc/meminfo: memFree=27802036/32770624 swapFree=66957812/67108860
[pid=27547] ppid=27544 vsize=2983112 memory=2902948 CPUtime=1722.45 cores=1,3,5,7
/proc/27547/stat : 27547 (cosoco) R 27544 27547 24360 0 -1 4202496 1768888 0 0 0 172075 170 0 0 20 0 1 0 556406410 3054706688 725737 33554432000 4194304 6211132 140729558804288 140729558802248 5397407 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39870464 140729558811659 140729558811761 140729558811761 140729558814670 0
/proc/27547/statm: 745778 725737 874 493 0 739083 0
Current children cumulated CPU time: 1722.45 s
Current children cumulated vsize: 2983112 KiB
Current children cumulated memory: 2902948 KiB

[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27800
/proc/meminfo: memFree=27776920/32770624 swapFree=66957812/67108860
[pid=27547] ppid=27544 vsize=2983112 memory=2928036 CPUtime=1782.46 cores=1,3,5,7
/proc/27547/stat : 27547 (cosoco) R 27544 27547 24360 0 -1 4202496 1770611 0 0 0 178075 171 0 0 20 0 1 0 556406410 3054706688 732009 33554432000 4194304 6211132 140729558804288 140729558802248 5155519 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39870464 140729558811659 140729558811761 140729558811761 140729558814670 0
/proc/27547/statm: 745778 732009 874 493 0 739083 0
Current children cumulated CPU time: 1782.46 s
Current children cumulated vsize: 2983112 KiB
Current children cumulated memory: 2928036 KiB

[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27804
/proc/meminfo: memFree=27758928/32770624 swapFree=66957812/67108860
[pid=27547] ppid=27544 vsize=2983112 memory=2945932 CPUtime=1842.46 cores=1,3,5,7
/proc/27547/stat : 27547 (cosoco) R 27544 27547 24360 0 -1 4202496 1771950 0 0 0 184075 171 0 0 20 0 1 0 556406410 3054706688 736483 33554432000 4194304 6211132 140729558804288 140729558802248 5250304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39870464 140729558811659 140729558811761 140729558811761 140729558814670 0
/proc/27547/statm: 745778 736483 874 493 0 739083 0
Current children cumulated CPU time: 1842.46 s
Current children cumulated vsize: 2983112 KiB
Current children cumulated memory: 2945932 KiB

[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27811
/proc/meminfo: memFree=27750380/32770624 swapFree=66957812/67108860
[pid=27547] ppid=27544 vsize=2983112 memory=2953848 CPUtime=1902.47 cores=1,3,5,7
/proc/27547/stat : 27547 (cosoco) R 27544 27547 24360 0 -1 4202496 1772886 0 0 0 190076 171 0 0 20 0 1 0 556406410 3054706688 738462 33554432000 4194304 6211132 140729558804288 140729558802248 5155377 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39870464 140729558811659 140729558811761 140729558811761 140729558814670 0
/proc/27547/statm: 745778 738462 874 493 0 739083 0
Current children cumulated CPU time: 1902.47 s
Current children cumulated vsize: 2983112 KiB
Current children cumulated memory: 2953848 KiB

[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27815
/proc/meminfo: memFree=27750732/32770624 swapFree=66957812/67108860
[pid=27547] ppid=27544 vsize=2983112 memory=2953848 CPUtime=1962.48 cores=1,3,5,7
/proc/27547/stat : 27547 (cosoco) R 27544 27547 24360 0 -1 4202496 1776313 0 0 0 196076 172 0 0 20 0 1 0 556406410 3054706688 738462 33554432000 4194304 6211132 140729558804288 140729558802248 5409476 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39870464 140729558811659 140729558811761 140729558811761 140729558814670 0
/proc/27547/statm: 745778 738462 874 493 0 739083 0
Current children cumulated CPU time: 1962.48 s
Current children cumulated vsize: 2983112 KiB
Current children cumulated memory: 2953848 KiB

[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27828
/proc/meminfo: memFree=27749764/32770624 swapFree=66957812/67108860
[pid=27547] ppid=27544 vsize=2983112 memory=2953848 CPUtime=2022.49 cores=1,3,5,7
/proc/27547/stat : 27547 (cosoco) R 27544 27547 24360 0 -1 4202496 1778060 0 0 0 202077 172 0 0 20 0 1 0 556406410 3054706688 738462 33554432000 4194304 6211132 140729558804288 140729558802248 5250304 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39870464 140729558811659 140729558811761 140729558811761 140729558814670 0
/proc/27547/statm: 745778 738462 874 493 0 739083 0
Current children cumulated CPU time: 2022.49 s
Current children cumulated vsize: 2983112 KiB
Current children cumulated memory: 2953848 KiB

[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 27834
/proc/meminfo: memFree=27745076/32770624 swapFree=66957812/67108860
[pid=27547] ppid=27544 vsize=2983112 memory=2953848 CPUtime=2082.5 cores=1,3,5,7
/proc/27547/stat : 27547 (cosoco) R 27544 27547 24360 0 -1 4202496 1779485 0 0 0 208078 172 0 0 20 0 1 0 556406410 3054706688 738462 33554432000 4194304 6211132 140729558804288 140729558802248 5409485 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39870464 140729558811659 140729558811761 140729558811761 140729558814670 0
/proc/27547/statm: 745778 738462 874 493 0 739083 0
Current children cumulated CPU time: 2082.5 s
Current children cumulated vsize: 2983112 KiB
Current children cumulated memory: 2953848 KiB

[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27838
/proc/meminfo: memFree=27746396/32770624 swapFree=66957812/67108860
[pid=27547] ppid=27544 vsize=2983112 memory=2953848 CPUtime=2142.5 cores=1,3,5,7
/proc/27547/stat : 27547 (cosoco) R 27544 27547 24360 0 -1 4202496 1782619 0 0 0 214078 172 0 0 20 0 1 0 556406410 3054706688 738462 33554432000 4194304 6211132 140729558804288 140729558802248 5409489 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39870464 140729558811659 140729558811761 140729558811761 140729558814670 0
/proc/27547/statm: 745778 738462 874 493 0 739083 0
Current children cumulated CPU time: 2142.5 s
Current children cumulated vsize: 2983112 KiB
Current children cumulated memory: 2953848 KiB

[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 27842
/proc/meminfo: memFree=27746312/32770624 swapFree=66957812/67108860
[pid=27547] ppid=27544 vsize=2983112 memory=2953848 CPUtime=2202.5 cores=1,3,5,7
/proc/27547/stat : 27547 (cosoco) R 27544 27547 24360 0 -1 4202496 1784104 0 0 0 220078 172 0 0 20 0 1 0 556406410 3054706688 738462 33554432000 4194304 6211132 140729558804288 140729558802248 5409485 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39870464 140729558811659 140729558811761 140729558811761 140729558814670 0
/proc/27547/statm: 745778 738462 874 493 0 739083 0
Current children cumulated CPU time: 2202.5 s
Current children cumulated vsize: 2983112 KiB
Current children cumulated memory: 2953848 KiB

[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 27848
/proc/meminfo: memFree=27745784/32770624 swapFree=66957812/67108860
[pid=27547] ppid=27544 vsize=2983112 memory=2953848 CPUtime=2262.52 cores=1,3,5,7
/proc/27547/stat : 27547 (cosoco) R 27544 27547 24360 0 -1 4202496 1785572 0 0 0 226079 173 0 0 20 0 1 0 556406410 3054706688 738462 33554432000 4194304 6211132 140729558804288 140729558802248 5250292 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39870464 140729558811659 140729558811761 140729558811761 140729558814670 0
/proc/27547/statm: 745778 738462 874 493 0 739083 0
Current children cumulated CPU time: 2262.52 s
Current children cumulated vsize: 2983112 KiB
Current children cumulated memory: 2953848 KiB

[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27852
/proc/meminfo: memFree=27745928/32770624 swapFree=66957812/67108860
[pid=27547] ppid=27544 vsize=2983112 memory=2953848 CPUtime=2322.52 cores=1,3,5,7
/proc/27547/stat : 27547 (cosoco) R 27544 27547 24360 0 -1 4202496 1788807 0 0 0 232079 173 0 0 20 0 1 0 556406410 3054706688 738462 33554432000 4194304 6211132 140729558804288 140729558802248 5250256 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39870464 140729558811659 140729558811761 140729558811761 140729558814670 0
/proc/27547/statm: 745778 738462 874 493 0 739083 0
Current children cumulated CPU time: 2322.52 s
Current children cumulated vsize: 2983112 KiB
Current children cumulated memory: 2953848 KiB

[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27856
/proc/meminfo: memFree=27746232/32770624 swapFree=66957812/67108860
[pid=27547] ppid=27544 vsize=2983112 memory=2953848 CPUtime=2382.53 cores=1,3,5,7
/proc/27547/stat : 27547 (cosoco) R 27544 27547 24360 0 -1 4202496 1789852 0 0 0 238080 173 0 0 20 0 1 0 556406410 3054706688 738462 33554432000 4194304 6211132 140729558804288 140729558802248 5156288 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39870464 140729558811659 140729558811761 140729558811761 140729558814670 0
/proc/27547/statm: 745778 738462 874 493 0 739083 0
Current children cumulated CPU time: 2382.53 s
Current children cumulated vsize: 2983112 KiB
Current children cumulated memory: 2953848 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2399.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27859
/proc/meminfo: memFree=27745732/32770624 swapFree=66957812/67108860
[pid=27547] ppid=27544 vsize=2983112 memory=2953848 CPUtime=2400.04 cores=1,3,5,7
/proc/27547/stat : 27547 (cosoco) R 27544 27547 24360 0 -1 4202496 1790154 0 0 0 239830 174 0 0 20 0 1 0 556406410 3054706688 738462 33554432000 4194304 6211132 140729558804288 140729558802248 5409485 0 0 4096 8405026 0 0 0 17 1 0 0 0 0 0 8312316 8317760 39870464 140729558811659 140729558811761 140729558811761 140729558814670 0
/proc/27547/statm: 745778 738462 874 493 0 739083 0
Current children cumulated CPU time: 2400.04 s
Current children cumulated vsize: 2983112 KiB
Current children cumulated memory: 2953848 KiB

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

[startup+2399.81 s]
# the end of solver process 27547 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=2398.3 s, system=1.75422 s

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

Child status: 1
Real time (s): 2399.81
CPU time (s): 2400.06
CPU user time (s): 2398.3
CPU system time (s): 1.75422
CPU usage (%): 100.01
Max. virtual memory (cumulated for all children) (KiB): 2983112
Max. memory (cumulated for all children) (KiB): 2953848

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.3
system time used= 1.75422
maximum resident set size= 2953916
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1790206
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= 123
involuntary context switches= 654


# summary of solver processes directly reported to runsolver:
#   pid: 27547
#   total CPU time (s): 2400.06
#   total CPU user time (s): 2398.3
#   total CPU system time (s): 1.75422

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.5973 second user time and 17.8601 second system time

The end

Launcher Data 

Begin job on node105 at 2019-09-30 00:56:25
IDJOB=4408698
IDBENCH=134796
IDSOLVER=2875
FILE ID=node105/4408698-1569801489
RUNJOBID= node105-1569783690-24392
PBS_JOBID= 21705838
Free space on /tmp= 62028 MiB

SOLVER NAME= cosoco 2.0
BENCH NAME= XCSP17/PseudoBoolean/PseudoBoolean-dec-spng/Pb-NG-K171.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4408698-1569801489/watcher-4408698-1569801489 -o /tmp/evaluation-result-4408698-1569801489/solver-4408698-1569801489 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node105-1569783690-24392 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4408698-1569801489.xml

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

MD5SUM BENCH= fad44a9d187d2d79449e3ca32a08f321
RANDOM SEED=366453204

node105.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.00
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.00
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.00
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.00
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:        30961436 kB
MemAvailable:   31772556 kB
Buffers:          217652 kB
Cached:           932304 kB
SwapCached:        48112 kB
Active:           568632 kB
Inactive:         694332 kB
Active(anon):      80232 kB
Inactive(anon):   111884 kB
Active(file):     488400 kB
Inactive(file):   582448 kB
Unevictable:      110516 kB
Mlocked:          110516 kB
SwapTotal:      67108860 kB
SwapFree:       66957812 kB
Dirty:              3956 kB
Writeback:             0 kB
AnonPages:        180364 kB
Mapped:            28040 kB
Shmem:             70752 kB
Slab:             141076 kB
SReclaimable:     112212 kB
SUnreclaim:        28864 kB
KernelStack:        3744 kB
PageTables:         5512 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     623272 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    131072 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      120192 kB
DirectMap2M:    33425408 kB

Free space on /tmp at the end= 62024 MiB
End job on node105 at 2019-09-30 01:36:25