Trace number 4389992

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 2UNSAT 388.116 388.078

General information on the benchmark

NameSubisomorphism/Subisomorphism-m1-LV/
Subisomorphism-g13-g27.xml
MD5SUM08191c1a00f6acedc1c5b66da9365c90
Bench CategoryCSP (decision problem)
Best result obtained on this benchmarkUNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark2.65448
Satisfiable
(Un)Satisfiability was proved
Number of variables49
Number of constraints163
Number of domains1
Minimum domain size86
Maximum domain size86
Distribution of domain sizes[{"size":86,"count":49}]
Minimum variable degree1
Maximum variable degree21
Distribution of variable degrees[{"degree":1,"count":10},{"degree":2,"count":2},{"degree":4,"count":6},{"degree":5,"count":6},{"degree":6,"count":8},{"degree":7,"count":3},{"degree":9,"count":2},{"degree":10,"count":4},{"degree":14,"count":1},{"degree":15,"count":1},{"degree":16,"count":1},{"degree":18,"count":1},{"degree":19,"count":3},{"degree":21,"count":1}]
Minimum constraint arity1
Maximum constraint arity49
Distribution of constraint arities[{"arity":1,"count":37},{"arity":2,"count":125},{"arity":49,"count":1}]
Number of extensional constraints162
Number of intensional constraints0
Distribution of constraint types[{"type":"extension","count":162},{"type":"allDifferent","count":1}]
Optimization problemNO
Type of objective

Solver Data 

0.00/0.01	c root propagations     : 1258        
0.00/0.01	c restarts enabled, print stats at every restarts
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c
0.00/0.01	c This is cosoco 2.00 --  
0.00/0.01	c
0.00/0.01	c command line: cosoco -lc -model -restarts -stick HOME/instance-4389992-1568341208.xml 
0.00/0.01	c ========================================[ Problem Statistics ]===========================================
0.00/0.01	c |                                                                                                       
0.00/0.01	c |  Parse time        :         0.01 s 
0.00/0.01	c |
0.00/0.01	c |               Variables: 49
0.00/0.01	c |            Domain Sizes: 86..86
0.00/0.01	c |
0.00/0.01	c |             Constraints: 163
0.00/0.01	c |                   Arity: 1..49  -- Unary: 37  -- Binary: 125
0.00/0.01	c | 
0.00/0.01	c |                   Types: 
0.00/0.01	c |                          All Different: 1
0.00/0.01	c |                          Extension: 125  (nb tuples: 800..800) -- (shared: 150)
0.00/0.01	c |                          Unary: 37
0.00/0.01	c |                          
0.00/0.01	c =========================================================================================================
0.00/0.01	c conflicts      decisions      filterCalls    propagations   Root Prop.     Nogoods        min/max/avg depth
0.00/0.02	c 101            288            16923          20300          37             0              7   11   9     
0.00/0.03	c 211            588            32804          37004          37             0              7   11   9     
0.00/0.04	c 332            888            47759          58768          37             0              8   11   9     
0.00/0.05	c 465            1208           66746          85201          37             0              8   10   9     
0.00/0.07	c 611            1570           86979          109329         37             0              7   11   9     
0.00/0.09	c 771            1982           112018         142336         37             0              7   11   9     
0.00/0.10	c 947            2435           137625         170036         37             0              7   10   9     
0.10/0.12	c 1140           2927           161569         196917         37             0              7   12   9     
0.10/0.15	c 1352           3527           192067         229086         37             0              8   10   9     
0.10/0.17	c 1585           4229           238549         286188         37             0              6   10   9     
0.10/0.19	c 1841           4949           270544         319231         37             0              4   13   10    
0.10/0.22	c 2122           5741           313890         372976         37             0              7   10   9     
0.26/0.26	c 2431           6746           383641         459325         37             0              7   10   9     
0.26/0.29	c 2770           7722           439640         516939         37             0              6   11   9     
0.31/0.33	c 3142           8751           492538         578204         37             0              7   16   11    
0.31/0.38	c 3551           10032          587048         746049         37             0              4   12   8     
0.41/0.44	c 4000           11568          690360         877764         37             0              4   11   9     
0.41/0.49	c 4493           13006          773226         969250         37             0              6   12   9     
0.51/0.56	c 5035           14773          882990         1093637        37             0              6   10   9     
0.60/0.64	c 5631           16737          1015075        1247772        37             0              6   13   9     
0.69/0.72	c 6286           18727          1132271        1383031        37             0              7   10   9     
0.69/0.79	c 7006           20816          1248950        1503401        37             0              7   12   9     
0.79/0.89	c 7798           23159          1406749        1683187        37             0              5   13   9     
0.89/0.99	c 8669           25851          1567872        1870049        37             0              6   11   9     
1.00/1.09	c 9627           28851          1742849        2056160        37             0              7   10   9     
1.19/1.24	c 10680          32489          1966048        2322060        37             0              5   21   10    
1.29/1.38	c 11838          35878          2164093        2545798        37             0              7   12   9     
1.49/1.52	c 13111          39700          2387005        2790431        37             0              5   11   9     
1.59/1.66	c 14511          44607          2541624        2981707        37             0              6   17   12    
1.79/1.87	c 16051          49168          2660235        3272460        37             0              10   17   16   
2.00/2.00	c 17745          52433          2689087        3482736        37             0              10   17   16   
2.19/2.23	c 19608          57932          2883219        3786119        37             0              9   17   15    
2.39/2.42	c 21657          62669          2982758        4068086        37             0              8   17   16    
2.59/2.60	c 23910          67349          3103913        4337096        37             0              8   17   15    
2.79/2.88	c 26388          74740          3497058        4814139        37             0              5   15   10    
3.10/3.17	c 29113          83162          3968731        5371516        37             0              4   17   9     
3.49/3.51	c 32110          92021          4468507        5962652        37             0              6   16   10    
3.89/3.92	c 35406          102223         5092466        6726047        37             0              5   16   9     
4.29/4.32	c 39031          112583         5549901        7350818        37             0              5   17   11    
4.69/4.76	c 43018          124455         6222550        8114577        37             0              4   13   9     
5.10/5.13	c 47403          134744         6442767        8659203        37             0              6   17   14    
5.59/5.63	c 52226          148592         7215599        9462835        37             0              5   15   9     
6.19/6.24	c 57531          164264         8065952        10472321       37             0              6   13   10    
6.89/6.91	c 63366          182535         9049838        11511393       37             0              5   15   9     
7.69/7.75	c 69784          202113         10038090       12983236       37             0              4   18   11    
8.39/8.42	c 76843          221502         10563133       14028494       37             0              6   17   15    
9.29/9.39	c 84607          245697         11846948       15721262       37             0              5   17   10    
10.29/10.38	c 93147          272553         13340122       17329026       37             0              4   16   10    
11.29/11.38	c 102541         302131         14879476       18947285       37             0              5   15   10    
12.49/12.53	c 112874         334462         16557077       20809386       37             0              4   18   10    
13.79/13.85	c 124240         370466         18503616       22952792       37             0              6   17   12    
15.10/15.14	c 136742         405509         19844431       24632395       37             0              5   18   12    
16.69/16.77	c 150494         448822         22223206       27364736       37             0              3   17   10    
18.39/18.42	c 165621         496347         24815537       30106265       37             0              3   20   10    
20.49/20.51	c 182260         545684         27814456       33837117       37             0              4   17   9     
22.59/22.69	c 200562         599042         30282879       37462130       37             0              5   19   12    
24.70/24.78	c 220694         654079         31724849       40033157       37             0              8   18   15    
27.40/27.46	c 242839         723889         36023669       45086141       37             0              3   18   9     
30.20/30.22	c 267198         799596         40354946       50092986       37             0              3   20   10    
33.00/33.06	c 293992         874915         42547762       53981980       37             0              4   23   14    
36.40/36.47	c 323465         963265         46964438       59679182       37             0              3   19   11    
40.01/40.07	c 355885         1061405        52281217       66077979       37             0              3   17   10    
44.50/44.50	c 391547         1169221        58057378       74198017       37             0              4   20   11    
49.50/49.59	c 430775         1287462        65411130       83918897       37             0              4   17   9     
54.30/54.34	c 473925         1412296        71191443       91383801       37             0              3   18   11    
60.01/60.04	c 521390         1548385        75415672       99133529       37             0              8   19   16    
66.40/66.44	c 573601         1712298        85285241       110495818      37             0              4   20   10    
72.80/72.89	c 631033         1862799        89287181       119768196      37             0              5   21   15    
80.60/80.65	c 694208         2052811        100606415      133540223      37             0              4   21   10    
88.30/88.30	c 763700         2250747        109073836      145974465      37             0              3   19   12    
97.11/97.13	c 840141         2475732        117311290      158166691      37             0              6   20   15    
106.30/106.36	c 924226         2700475        127370318      173394816      37             0              4   20   12    
117.20/117.22	c 1016719        2976175        140423994      190812209      37             0              3   20   11    
129.01/129.07	c 1118461        3292167        157676176      211016843      37             0              2   18   10    
141.01/141.09	c 1230377        3611707        174232808      231724566      37             0              2   20   11    
155.41/155.43	c 1353484        3947091        183704061      252850019      37             0              4   22   14    
171.31/171.35	c 1488901        4331380        198430437      277860885      37             0              4   22   13    
187.51/187.50	c 1637859        4751040        214435556      302837505      37             0              3   22   12    
205.31/205.31	c 1801712        5203270        232853392      331684124      37             0              3   19   12    
224.41/224.49	c 1981950        5711001        252991786      363257473      37             0              3   22   12    
246.82/246.81	c 2180211        6266177        280267814      401557295      37             0              3   23   11    
272.52/272.51	c 2398298        6904080        305835305      440528162      37             0              5   21   14    
301.32/301.33	c 2638193        7580742        337277702      489247447      37             0              3   23   11    
332.52/332.55	c 2902077        8359431        370496347      536476226      37             0              4   21   14    
367.23/367.28	c 3192349        9208036        413038619      595936120      37             0              2   23   11    
388.04/388.07	s UNSATISFIABLE
388.04/388.07	c restarts              : 85          
388.04/388.07	c conflicts             : 3358379      (8653 /sec)
388.04/388.07	c decisions             : 9678522      (24938 /sec)
388.04/388.07	c propagations          : 631239538   (1626442 /sec)
388.04/388.07	c root propagations     : 1258        
388.04/388.07	c filter calls          : 435035920      (1120907 /sec)
388.04/388.07	c useless filter calls  : 380718572      (87 %)
388.04/388.07	c Memory used           : 26.85 MB
388.04/388.07	c CPU time              : 388.111 s
388.04/388.07	c real time             : 388.074 s
388.04/388.07

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 (11962 MiB free)
  memory of node 1: 16384 MiB (12646 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4389992-1568341208/watcher-4389992-1568341208 -o /tmp/evaluation-result-4389992-1568341208/solver-4389992-1568341208 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568328795-19587 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4389992-1568341208.xml 

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

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


[startup+0.100141 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 21966
/proc/meminfo: memFree=25200132/32770624 swapFree=67004140/67108860
[pid=21965] ppid=21962 vsize=27492 memory=3956 CPUtime=0.1 cores=0,2,4,6
/proc/21965/stat : 21965 (cosoco) R 21962 21965 19556 0 -1 4202496 1183 0 0 0 10 0 0 0 20 0 1 0 410282364 28151808 989 33554432000 4194304 6210612 140725501476176 140725501474136 5075633 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19484672 140725501481995 140725501482097 140725501482097 140725501485006 0
/proc/21965/statm: 6873 989 832 493 0 178 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 3956 KiB

[startup+0.255945 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 21966
/proc/meminfo: memFree=25198936/32770624 swapFree=67004140/67108860
[pid=21965] ppid=21962 vsize=27492 memory=3956 CPUtime=0.26 cores=0,2,4,6
/proc/21965/stat : 21965 (cosoco) R 21962 21965 19556 0 -1 4202496 1183 0 0 0 26 0 0 0 20 0 1 0 410282364 28151808 989 33554432000 4194304 6210612 140725501476176 140725501474136 5017005 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19484672 140725501481995 140725501482097 140725501482097 140725501485006 0
/proc/21965/statm: 6873 989 832 493 0 178 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 3956 KiB

[startup+0.30909 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 21966
/proc/meminfo: memFree=25198936/32770624 swapFree=67004140/67108860
[pid=21965] ppid=21962 vsize=27492 memory=3956 CPUtime=0.31 cores=0,2,4,6
/proc/21965/stat : 21965 (cosoco) R 21962 21965 19556 0 -1 4202496 1183 0 0 0 31 0 0 0 20 0 1 0 410282364 28151808 989 33554432000 4194304 6210612 140725501476176 140725501474136 5192912 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19484672 140725501481995 140725501482097 140725501482097 140725501485006 0
/proc/21965/statm: 6873 989 832 493 0 178 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 3956 KiB

[startup+0.700271 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21966
/proc/meminfo: memFree=25198936/32770624 swapFree=67004140/67108860
[pid=21965] ppid=21962 vsize=27492 memory=3956 CPUtime=0.69 cores=0,2,4,6
/proc/21965/stat : 21965 (cosoco) R 21962 21965 19556 0 -1 4202496 1183 0 0 0 69 0 0 0 20 0 1 0 410282364 28151808 989 33554432000 4194304 6210612 140725501476176 140725501474136 5078656 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19484672 140725501481995 140725501482097 140725501482097 140725501485006 0
/proc/21965/statm: 6873 989 832 493 0 178 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 3956 KiB

[startup+1.50027 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21966
/proc/meminfo: memFree=25198936/32770624 swapFree=67004140/67108860
[pid=21965] ppid=21962 vsize=27492 memory=3956 CPUtime=1.49 cores=0,2,4,6
/proc/21965/stat : 21965 (cosoco) R 21962 21965 19556 0 -1 4202496 1183 0 0 0 149 0 0 0 20 0 1 0 410282364 28151808 989 33554432000 4194304 6210612 140725501476176 140725501474136 5192912 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19484672 140725501481995 140725501482097 140725501482097 140725501485006 0
/proc/21965/statm: 6873 989 832 493 0 178 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 3956 KiB

[startup+3.10896 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21966
/proc/meminfo: memFree=25198856/32770624 swapFree=67004140/67108860
[pid=21965] ppid=21962 vsize=27492 memory=4084 CPUtime=3.1 cores=0,2,4,6
/proc/21965/stat : 21965 (cosoco) R 21962 21965 19556 0 -1 4202496 1264 0 0 0 310 0 0 0 20 0 1 0 410282364 28151808 1021 33554432000 4194304 6210612 140725501476176 140725501474136 5080954 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19484672 140725501481995 140725501482097 140725501482097 140725501485006 0
/proc/21965/statm: 6873 1021 862 493 0 178 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4084 KiB

[startup+6.30026 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21966
/proc/meminfo: memFree=25198856/32770624 swapFree=67004140/67108860
[pid=21965] ppid=21962 vsize=27492 memory=4084 CPUtime=6.29 cores=0,2,4,6
/proc/21965/stat : 21965 (cosoco) R 21962 21965 19556 0 -1 4202496 1371 0 0 0 629 0 0 0 20 0 1 0 410282364 28151808 1021 33554432000 4194304 6210612 140725501476176 140725501474136 5082127 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19484672 140725501481995 140725501482097 140725501482097 140725501485006 0
/proc/21965/statm: 6873 1021 862 493 0 178 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4084 KiB

[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21967
/proc/meminfo: memFree=25198752/32770624 swapFree=67004140/67108860
[pid=21965] ppid=21962 vsize=27492 memory=4084 CPUtime=12.69 cores=0,2,4,6
/proc/21965/stat : 21965 (cosoco) R 21962 21965 19556 0 -1 4202496 1465 0 0 0 1269 0 0 0 20 0 1 0 410282364 28151808 1021 33554432000 4194304 6210612 140725501476176 140725501474136 5192912 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19484672 140725501481995 140725501482097 140725501482097 140725501485006 0
/proc/21965/statm: 6873 1021 862 493 0 178 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4084 KiB

[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 21967
/proc/meminfo: memFree=25198752/32770624 swapFree=67004140/67108860
[pid=21965] ppid=21962 vsize=27492 memory=4084 CPUtime=25.5 cores=0,2,4,6
/proc/21965/stat : 21965 (cosoco) R 21962 21965 19556 0 -1 4202496 1653 0 0 0 2550 0 0 0 20 0 1 0 410282364 28151808 1021 33554432000 4194304 6210612 140725501476176 140725501474136 5082645 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19484672 140725501481995 140725501482097 140725501482097 140725501485006 0
/proc/21965/statm: 6873 1021 862 493 0 178 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4084 KiB

[startup+51.1091 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 21978
/proc/meminfo: memFree=25197852/32770624 swapFree=67004140/67108860
[pid=21965] ppid=21962 vsize=27492 memory=4084 CPUtime=51.11 cores=0,2,4,6
/proc/21965/stat : 21965 (cosoco) R 21962 21965 19556 0 -1 4202496 1747 0 0 0 5111 0 0 0 20 0 1 0 410282364 28151808 1021 33554432000 4194304 6210612 140725501476176 140725501474136 5081003 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19484672 140725501481995 140725501482097 140725501482097 140725501485006 0
/proc/21965/statm: 6873 1021 862 493 0 178 0
Current children cumulated CPU time: 51.11 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4084 KiB

[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 21982
/proc/meminfo: memFree=25196448/32770624 swapFree=67004140/67108860
[pid=21965] ppid=21962 vsize=27492 memory=4084 CPUtime=102.3 cores=0,2,4,6
/proc/21965/stat : 21965 (cosoco) R 21962 21965 19556 0 -1 4202496 1841 0 0 0 10230 0 0 0 20 0 1 0 410282364 28151808 1021 33554432000 4194304 6210612 140725501476176 140725501474136 5074045 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19484672 140725501481995 140725501482097 140725501482097 140725501485006 0
/proc/21965/statm: 6873 1021 862 493 0 178 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4084 KiB

[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 21986
/proc/meminfo: memFree=25197144/32770624 swapFree=67004140/67108860
[pid=21965] ppid=21962 vsize=27492 memory=4084 CPUtime=162.31 cores=0,2,4,6
/proc/21965/stat : 21965 (cosoco) R 21962 21965 19556 0 -1 4202496 1935 0 0 0 16231 0 0 0 20 0 1 0 410282364 28151808 1021 33554432000 4194304 6210612 140725501476176 140725501474136 5080933 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19484672 140725501481995 140725501482097 140725501482097 140725501485006 0
/proc/21965/statm: 6873 1021 862 493 0 178 0
Current children cumulated CPU time: 162.31 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4084 KiB

[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 21992
/proc/meminfo: memFree=25196636/32770624 swapFree=67004140/67108860
[pid=21965] ppid=21962 vsize=27492 memory=4084 CPUtime=222.31 cores=0,2,4,6
/proc/21965/stat : 21965 (cosoco) R 21962 21965 19556 0 -1 4202496 2029 0 0 0 22231 0 0 0 20 0 1 0 410282364 28151808 1021 33554432000 4194304 6210612 140725501476176 140725501474136 5192912 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19484672 140725501481995 140725501482097 140725501482097 140725501485006 0
/proc/21965/statm: 6873 1021 862 493 0 178 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4084 KiB

[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 22310
/proc/meminfo: memFree=25197432/32770624 swapFree=67004140/67108860
[pid=21965] ppid=21962 vsize=27492 memory=4084 CPUtime=282.32 cores=0,2,4,6
/proc/21965/stat : 21965 (cosoco) R 21962 21965 19556 0 -1 4202496 2029 0 0 0 28232 0 0 0 20 0 1 0 410282364 28151808 1021 33554432000 4194304 6210612 140725501476176 140725501474136 5082632 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19484672 140725501481995 140725501482097 140725501482097 140725501485006 0
/proc/21965/statm: 6873 1021 862 493 0 178 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4084 KiB

[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 22376
/proc/meminfo: memFree=25192800/32770624 swapFree=67004140/67108860
[pid=21965] ppid=21962 vsize=27492 memory=4084 CPUtime=342.33 cores=0,2,4,6
/proc/21965/stat : 21965 (cosoco) R 21962 21965 19556 0 -1 4202496 2123 0 0 0 34233 0 0 0 20 0 1 0 410282364 28151808 1021 33554432000 4194304 6210612 140725501476176 140725501474136 5078880 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19484672 140725501481995 140725501482097 140725501482097 140725501485006 0
/proc/21965/statm: 6873 1021 862 493 0 178 0
Current children cumulated CPU time: 342.33 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4084 KiB

[startup+388.078 s]
# the end of solver process 21965 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=388.111 s, system=0.005 s

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

[startup+358.4 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 22378
/proc/meminfo: memFree=25192452/32770624 swapFree=67004140/67108860
[pid=21965] ppid=21962 vsize=27492 memory=4084 CPUtime=358.43 cores=0,2,4,6
/proc/21965/stat : 21965 (cosoco) R 21962 21965 19556 0 -1 4202496 2123 0 0 0 35843 0 0 0 20 0 1 0 410282364 28151808 1021 33554432000 4194304 6210612 140725501476176 140725501474136 5078522 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19484672 140725501481995 140725501482097 140725501482097 140725501485006 0
/proc/21965/statm: 6873 1021 862 493 0 178 0
Current children cumulated CPU time: 358.43 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4084 KiB

[startup+371.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 22379
/proc/meminfo: memFree=25191804/32770624 swapFree=67004140/67108860
[pid=21965] ppid=21962 vsize=27492 memory=4084 CPUtime=371.23 cores=0,2,4,6
/proc/21965/stat : 21965 (cosoco) R 21962 21965 19556 0 -1 4202496 2123 0 0 0 37123 0 0 0 20 0 1 0 410282364 28151808 1021 33554432000 4194304 6210612 140725501476176 140725501474136 5075200 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19484672 140725501481995 140725501482097 140725501482097 140725501485006 0
/proc/21965/statm: 6873 1021 862 493 0 178 0
Current children cumulated CPU time: 371.23 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4084 KiB

[startup+377.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 22379
/proc/meminfo: memFree=25191832/32770624 swapFree=67004140/67108860
[pid=21965] ppid=21962 vsize=27492 memory=4084 CPUtime=377.63 cores=0,2,4,6
/proc/21965/stat : 21965 (cosoco) R 21962 21965 19556 0 -1 4202496 2123 0 0 0 37763 0 0 0 20 0 1 0 410282364 28151808 1021 33554432000 4194304 6210612 140725501476176 140725501474136 5074853 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19484672 140725501481995 140725501482097 140725501482097 140725501485006 0
/proc/21965/statm: 6873 1021 862 493 0 178 0
Current children cumulated CPU time: 377.63 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4084 KiB

[startup+384 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 22379
/proc/meminfo: memFree=25191792/32770624 swapFree=67004140/67108860
[pid=21965] ppid=21962 vsize=27492 memory=4084 CPUtime=384.04 cores=0,2,4,6
/proc/21965/stat : 21965 (cosoco) R 21962 21965 19556 0 -1 4202496 2123 0 0 0 38404 0 0 0 20 0 1 0 410282364 28151808 1021 33554432000 4194304 6210612 140725501476176 140725501474136 5078992 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19484672 140725501481995 140725501482097 140725501482097 140725501485006 0
/proc/21965/statm: 6873 1021 862 493 0 178 0
Current children cumulated CPU time: 384.04 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4084 KiB

[startup+385.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 22379
/proc/meminfo: memFree=25191988/32770624 swapFree=67004140/67108860
[pid=21965] ppid=21962 vsize=27492 memory=4084 CPUtime=385.63 cores=0,2,4,6
/proc/21965/stat : 21965 (cosoco) R 21962 21965 19556 0 -1 4202496 2123 0 0 0 38563 0 0 0 20 0 1 0 410282364 28151808 1021 33554432000 4194304 6210612 140725501476176 140725501474136 5078484 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19484672 140725501481995 140725501482097 140725501482097 140725501485006 0
/proc/21965/statm: 6873 1021 862 493 0 178 0
Current children cumulated CPU time: 385.63 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4084 KiB

[startup+387.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 22379
/proc/meminfo: memFree=25191988/32770624 swapFree=67004140/67108860
[pid=21965] ppid=21962 vsize=27492 memory=4084 CPUtime=387.23 cores=0,2,4,6
/proc/21965/stat : 21965 (cosoco) R 21962 21965 19556 0 -1 4202496 2123 0 0 0 38723 0 0 0 20 0 1 0 410282364 28151808 1021 33554432000 4194304 6210612 140725501476176 140725501474136 5080954 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19484672 140725501481995 140725501482097 140725501482097 140725501485006 0
/proc/21965/statm: 6873 1021 862 493 0 178 0
Current children cumulated CPU time: 387.23 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4084 KiB

[startup+387.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 22379
/proc/meminfo: memFree=25191988/32770624 swapFree=67004140/67108860
[pid=21965] ppid=21962 vsize=27492 memory=4084 CPUtime=387.63 cores=0,2,4,6
/proc/21965/stat : 21965 (cosoco) R 21962 21965 19556 0 -1 4202496 2123 0 0 0 38763 0 0 0 20 0 1 0 410282364 28151808 1021 33554432000 4194304 6210612 140725501476176 140725501474136 5074158 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19484672 140725501481995 140725501482097 140725501482097 140725501485006 0
/proc/21965/statm: 6873 1021 862 493 0 178 0
Current children cumulated CPU time: 387.63 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4084 KiB

[startup+388 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 22381
/proc/meminfo: memFree=25191336/32770624 swapFree=67004140/67108860
[pid=21965] ppid=21962 vsize=27492 memory=4084 CPUtime=388.04 cores=0,2,4,6
/proc/21965/stat : 21965 (cosoco) R 21962 21965 19556 0 -1 4202496 2123 0 0 0 38804 0 0 0 20 0 1 0 410282364 28151808 1021 33554432000 4194304 6210612 140725501476176 140725501474136 5082110 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 19484672 140725501481995 140725501482097 140725501482097 140725501485006 0
/proc/21965/statm: 6873 1021 862 493 0 178 0
Current children cumulated CPU time: 388.04 s
Current children cumulated vsize: 27492 KiB
Current children cumulated memory: 4084 KiB

Child status: 0
Real time (s): 388.078
CPU time (s): 388.116
CPU user time (s): 388.111
CPU system time (s): 0.005
CPU usage (%): 100.01
Max. virtual memory (cumulated for all children) (KiB): 27492
Max. memory (cumulated for all children) (KiB): 4084

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 388.111
system time used= 0.005
maximum resident set size= 4156
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2162
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= 6
involuntary context switches= 101


# summary of solver processes directly reported to runsolver:
#   pid: 21965
#   total CPU time (s): 388.116
#   total CPU user time (s): 388.111
#   total CPU system time (s): 0.005

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.61833 second user time and 2.32159 second system time

The end

Launcher Data 

Begin job on node148 at 2019-09-13 04:19:31
IDJOB=4389992
IDBENCH=132533
IDSOLVER=2830
FILE ID=node148/4389992-1568341208
RUNJOBID= node148-1568328795-19587
PBS_JOBID= 21701154
Free space on /tmp= 58796 MiB

SOLVER NAME= cosoco 2
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-LV/Subisomorphism-g13-g27.xml
COMMAND LINE= cosoco -lc -model -restarts -stick BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4389992-1568341208/watcher-4389992-1568341208 -o /tmp/evaluation-result-4389992-1568341208/solver-4389992-1568341208 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node148-1568328795-19587 --watchdog 2560  cosoco -lc -model -restarts -stick HOME/instance-4389992-1568341208.xml

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

MD5SUM BENCH= 08191c1a00f6acedc1c5b66da9365c90
RANDOM SEED=2058802222

node148.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.13
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.13
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.13
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.13
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:        25200152 kB
MemAvailable:   31864128 kB
Buffers:          141144 kB
Cached:          6770352 kB
SwapCached:         3904 kB
Active:          2413028 kB
Inactive:        4506344 kB
Active(anon):       5132 kB
Inactive(anon):    43524 kB
Active(file):    2407896 kB
Inactive(file):  4462820 kB
Unevictable:      109232 kB
Mlocked:          109232 kB
SwapTotal:      67108860 kB
SwapFree:       67004140 kB
Dirty:              2696 kB
Writeback:             0 kB
AnonPages:        114144 kB
Mapped:            45552 kB
Shmem:             32260 kB
Slab:             246676 kB
SReclaimable:     218188 kB
SUnreclaim:        28488 kB
KernelStack:        3552 kB
PageTables:         4996 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     527836 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:      124288 kB
DirectMap2M:    33421312 kB

Free space on /tmp at the end= 58792 MiB
End job on node148 at 2019-09-13 04:25:59