0.00/0.00 c The following solver is parallelized by UG version 1.0.0 [GitHash: e6e2b6ff-dirty]
0.00/0.00 c SCIP version 10.0.0 [precision: 8 byte] [memory: block] [mode: optimized] [LP solver: Soplex 7.1.1] [GitHash: 020d91813d]
0.00/0.00 c Copyright (c) 2002-2024 Zuse Institute Berlin (ZIB)
0.00/0.00 c External libraries:
0.00/0.00 c Soplex 7.1.1 Linear Programming Solver developed at Zuse Institute Berlin (soplex.zib.de) [GitHash: b4905e82]
0.00/0.00 c CppAD 20180000.0 Algorithmic Differentiation of C++ algorithms developed by B. Bell (github.com/coin-or/CppAD)
0.00/0.00 c AMPL/MP 690e9e7 AMPL .nl file reader library (github.com/ampl/mp)
0.00/0.00 c PaPILO 2.4.0 parallel presolve for integer and linear optimization (github.com/scipopt/papilo)
0.00/0.00 c Nauty 2.8.8 Computing Graph Automorphism Groups by Brendan D. McKay (users.cecs.anu.edu.au/~bdm/nauty)
0.00/0.00 c sassy 1.1 Symmetry preprocessor by Markus Anders (github.com/markusa4/sassy)
0.00/0.04 c Default LC presolving (default).
0.00/0.04 c ** Before presolving: virtualMemUsedAtLc = 52449280, getVmSize() = 52449280, SCIPgetMemUsed() = 25629058, SCIPgetMemTotal() = 30021874, SCIPgetMemExternEstim() = 13925896
0.00/0.04 c ** set memory limit for presolving in LC to 8.79608e+12 for SCIP **
6.57/6.60 c ** Estimated virtualMemUsedAtSolver = 92715244, getVmSize() = 150396928, SCIPgetMemUsed() = 89734299, SCIPgetMemTotal() = 125146971, SCIPgetMemExternEstim() = 13925896
6.57/6.60 c ** set memory limit for solvers to 4.39804e+12 for each SCIP **
6.57/6.60 c Original Problem :
6.57/6.60 c Problem name : instance-4464473-1722385794
6.57/6.60 c Variables : 7140 (7140 binary, 0 integer, 0 implicit integer, 0 continuous)
6.57/6.60 c Constraints : 7352
6.57/6.60 c Objective sense : minimize
6.57/6.60 c Presolved Problem :
6.57/6.60 c Variables : 6387 (6387 binary, 0 integer, 0 implicit integer, 0 continuous)
6.57/6.60 c Constraints : 6558
6.57/6.60 c Constraints : Number
6.57/6.60 c knapsack : 1
6.57/6.60 c setppc : 1394
6.57/6.60 c orbitope : 3
6.57/6.60 c logicor : 5160
6.57/6.60 c ** Instance transfer method used: 0
6.57/6.61 c ** ParaScipInstance copy increased the number of variables. **
6.57/6.63 c LC is working with racing ramp-up and with rebuilding tree after racing.
6.57/6.63 c Nodes Active
6.57/6.63 c Time Nodes Left Solvers Best Integer Best Node Gap Best Node(S) Gap(S)
114.81/115.16 c 115 2 1 1 - 0.0000 -
121.18/121.50 c 122 8 7 1 - 0.0000 -
129.27/129.63 c 130 13 12 1 - 0.0000 -
135.05/135.45 c 135 15 14 1 - 0.0000 -
140.93/141.37 c 141 20 15 1 - 0.0000 -
147.72/148.16 c 148 29 18 1 - 0.0000 -
153.60/154.09 c 154 37 16 1 - 0.0000 -
162.69/163.18 c 163 42 15 1 - 0.0000 -
194.90/195.43 c 195 44 17 1 - 0.0000 -
201.38/201.94 c 202 50 19 1 - 0.0000 -
210.47/211.06 c 211 53 20 1 - 0.0000 -
219.04/219.66 c 220 55 22 1 - 0.0000 -
229.61/230.26 c 230 58 25 1 - 0.0000 -
236.30/236.92 c 237 60 27 1 - 0.0000 -
267.13/267.81 c 268 62 29 1 - 0.0000 -
272.42/273.10 c 273 64 31 1 - 0.0000 -
413.74/414.83 c 415 65 32 1 - 0.0000 -
421.82/422.92 c 423 67 34 1 - 0.0000 -
437.98/439.14 c 439 68 35 1 - 0.0000 -
445.25/446.44 c 446 70 35 1 - 0.0000 -
450.33/451.59 c 452 71 36 1 - 0.0000 -
463.09/464.38 c 464 72 36 1 - 0.0000 -
469.48/470.79 c 471 74 38 1 - 0.0000 -
476.55/477.84 c 478 75 39 1 - 0.0000 -
481.74/483.02 c 483 76 40 1 - 0.0000 -
495.00/496.37 c 496 82 44 1 - 0.0000 -
510.56/511.96 c 512 85 47 1 - 0.0000 -
538.47/539.95 c 540 88 50 1 - 0.0000 -
544.36/545.86 c 546 90 52 1 - 0.0000 -
555.64/557.15 c 557 92 54 1 - 0.0000 -
574.48/576.02 c 576 95 57 1 - 0.0000 -
582.85/584.43 c 584 99 59 1 - 0.0000 -
588.54/590.12 c 590 103 61 1 - 0.0000 -
594.92/596.56 c 597 107 63 1 - 0.0000 -
608.49/610.15 c 610 114 66 1 - 0.0000 -
625.03/626.72 c 627 117 69 1 - 0.0000 -
632.80/634.51 c 635 120 72 1 - 0.0000 -
638.09/639.88 c 640 124 74 1 - 0.0000 -
645.47/647.21 c 647 126 76 1 - 0.0000 -
650.85/652.67 c 653 131 75 1 - 0.0000 -
656.35/658.15 c 658 134 76 1 - 0.0000 -
680.18/682.07 c 682 135 77 1 - 0.0000 -
688.26/690.19 c 690 138 80 1 - 0.0000 -
693.53/695.48 c 695 144 86 1 - 0.0000 -
699.71/701.67 c 702 145 87 1 - 0.0000 -
965.25/967.94 c 968 148 90 1 - 0.0000 -
978.21/980.98 c 981 157 95 1 - 0.0000 -
985.60/988.37 c 988 158 96 1 - 0.0000 -
993.99/996.78 c 997 164 98 1 - 0.0000 -
1000.07/1002.84 c 1003 165 99 1 - 0.0000 -
1005.36/1008.17 c 1008 172 98 1 - 0.0000 -
1011.35/1014.11 c 1014 176 98 1 - 0.0000 -
1017.43/1020.29 c 1020 180 98 1 - 0.0000 -
1023.81/1026.62 c 1027 183 97 1 - 0.0000 -
1035.08/1037.91 c 1038 188 98 1 - 0.0000 -
1040.07/1042.93 c 1043 196 100 1 - 0.0000 -
1062.61/1065.50 c 1066 204 102 1 - 0.0000 -
1069.90/1072.86 c 1073 210 102 1 - 0.0000 -
1078.08/1081.02 c 1081 212 104 1 - 0.0000 -
1083.27/1086.22 c 1086 216 106 1 - 0.0000 -
1092.84/1095.86 c 1096 218 108 1 - 0.0000 -
1098.03/1101.04 c 1101 224 108 1 - 0.0000 -
1111.30/1114.33 c 1114 226 110 1 - 0.0000 -
1141.94/1145.08 c 1145 232 112 1 - 0.0000 -
1163.18/1166.38 c 1166 235 115 1 - 0.0000 -
1177.54/1180.76 c 1181 242 118 1 - 0.0000 -
1183.53/1186.73 c 1187 256 118 1 - 0.0000 -
1188.62/1191.88 c 1192 266 120 1 - 0.0000 -
1194.10/1197.36 c 1197 271 121 1 - 0.0000 -
1199.29/1202.50 c 1203 278 122 1 - 0.0000 -
1206.07/1209.34 c 1209 280 124 1 - 0.0000 -
1214.55/1217.84 c 1218 282 126 1 - 0.0000 -
1225.23/1228.55 c 1229 284 128 1 - 0.0000 -
1238.90/1242.22 c 1242 288 132 1 - 0.0000 -
1243.99/1247.35 c 1247 291 133 1 - 0.0000 -
1258.25/1261.61 c 1262 293 134 1 - 0.0000 -
1263.94/1267.31 c 1267 299 132 1 - 0.0000 -
1270.63/1274.09 c 1274 301 134 1 - 0.0000 -
1277.51/1280.97 c 1281 306 133 1 - 0.0000 -
1282.90/1286.38 c 1286 311 132 1 - 0.0000 -
1290.08/1293.53 c 1294 314 135 1 - 0.0000 -
1295.37/1298.80 c 1299 319 136 1 - 0.0000 -
1300.46/1303.92 c 1304 327 136 1 - 0.0000 -
1317.92/1321.42 c 1321 334 139 1 - 0.0000 -
1322.91/1326.44 c 1326 347 138 1 - 0.0000 -
1330.19/1333.71 c 1334 354 135 1 - 0.0000 -
1336.48/1340.10 c 1340 359 136 1 - 0.0000 -
1342.77/1346.38 c 1346 370 135 1 - 0.0000 -
1348.65/1352.26 c 1352 378 135 1 - 0.0000 -
1353.75/1357.38 c 1357 386 137 1 - 0.0000 -
1359.13/1362.71 c 1363 397 136 1 - 0.0000 -
1364.43/1368.09 c 1368 413 136 1 - 0.0000 -
1371.01/1374.68 c 1375 422 137 1 - 0.0000 -
1385.48/1389.14 c 1389 425 138 1 - 0.0000 -
1390.86/1394.50 c 1394 441 138 1 - 0.0000 -
1406.43/1410.11 c 1410 455 140 1 - 0.0000 -
2459.31/2465.94 c 2466 456 141 1 - 0.0000 -
2954.86/2962.64 c 2963 458 141 1 - 0.0000 -
3588.81/3598.00 c 3598 459 140 0 - 0.0000 -
3588.81/3598.05 c SCIP Status : c solving was interrupted [hard time limit reached]
3588.81/3598.05 c Total Time : 3598.0500
3588.81/3598.05 c solving : 3598.0500
3588.81/3598.05 c presolving : 6.5575 (included in solving)
3588.81/3598.05 c B&B Tree :
3588.81/3598.05 c nodes (total) : 1
3588.81/3598.05 c Solution :
3588.81/3598.05 c Solutions found : 0
3588.81/3598.05 c Primal Bound : -
3588.81/3598.05 c Dual Bound : +0.00000000000000e+00
3588.81/3598.05 c Gap : -
3588.81/3598.07 s UNKNOWN
runsolver version 3.4.2 (svn: 4680) 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: 63931 MiB (56614 MiB free)
memory of node 1: 64510 MiB (62288 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464473-1722385794/watcher-4464473-1722385794 -o /tmp/evaluation-result-4464473-1722385794/solver-4464473-1722385794 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722378594-30698 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464473-1722385794.opb -qsol -t 3600 -sth 1
running on 2 cores: 1,3
CPU governors:
performance: 1 3
Enforcing FSIZE limit: 104857600 KiB
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 3630 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3700 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 4.18.0-301.1.el8.x86_64
Starting watchdog thread
solver pid=35608, runsolver pid=35605
Current StackSize limit: 8192 KiB
[startup+0.100083 s]*
/proc/loadavg: 4.09 4.11 4.09 4/259 35609
/proc/meminfo: memFree=122202488/131524600 swapFree=131071996/131071996
[pid=35608] ppid=35605 vsize=64308 memory=53124 CPUtime=0.09 cores=1,3
/proc/35608/stat : 35608 (fscip) R 35605 35608 30686 0 -1 4194304 11896 0 0 0 8 1 0 0 20 0 1 0 5176764 65851392 13281 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
/proc/35608/statm: 16077 13281 2662 3035 0 12473 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 64308 KiB
Current children cumulated memory: 53124 KiB
[startup+0.205842 s]*
/proc/loadavg: 4.09 4.11 4.09 4/258 35623
/proc/meminfo: memFree=122199120/131524600 swapFree=131071996/131071996
[pid=35608] ppid=35605 vsize=69000 memory=57980 CPUtime=0.2 cores=1,3
/proc/35608/stat : 35608 (fscip) R 35605 35608 30686 0 -1 4194304 13717 0 0 0 19 1 0 0 20 0 1 0 5176764 70656000 14495 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
/proc/35608/statm: 17250 14495 2758 3035 0 13646 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 69000 KiB
Current children cumulated memory: 57980 KiB
[startup+0.305722 s]*
/proc/loadavg: 4.09 4.11 4.09 5/256 35633
/proc/meminfo: memFree=122185924/131524600 swapFree=131071996/131071996
[pid=35608] ppid=35605 vsize=85264 memory=71672 CPUtime=0.3 cores=1,3
/proc/35608/stat : 35608 (fscip) R 35605 35608 30686 0 -1 4194304 17215 0 0 0 28 2 0 0 20 0 1 0 5176764 87310336 17918 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
/proc/35608/statm: 21316 17918 2758 3035 0 17712 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 85264 KiB
Current children cumulated memory: 71672 KiB
[startup+0.700232 s]
/proc/loadavg: 4.09 4.11 4.09 5/261 35655
/proc/meminfo: memFree=122158936/131524600 swapFree=131071996/131071996
[pid=35608] ppid=35605 vsize=92480 memory=78800 CPUtime=0.69 cores=1,3
/proc/35608/stat : 35608 (fscip) R 35605 35608 30686 0 -1 4194304 19027 0 0 0 67 2 0 0 20 0 1 0 5176764 94699520 19700 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
/proc/35608/statm: 23120 19700 2774 3035 0 19516 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 92480 KiB
Current children cumulated memory: 78800 KiB
[startup+1.50024 s]
/proc/loadavg: 4.09 4.11 4.09 5/261 35655
/proc/meminfo: memFree=122141948/131524600 swapFree=131071996/131071996
[pid=35608] ppid=35605 vsize=92480 memory=78800 CPUtime=1.49 cores=1,3
/proc/35608/stat : 35608 (fscip) R 35605 35608 30686 0 -1 4194304 19027 0 0 0 147 2 0 0 20 0 1 0 5176764 94699520 19700 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
/proc/35608/statm: 23120 19700 2774 3035 0 19516 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 92480 KiB
Current children cumulated memory: 78800 KiB
[startup+3.10585 s]
/proc/loadavg: 4.16 4.13 4.09 5/261 35655
/proc/meminfo: memFree=122138344/131524600 swapFree=131071996/131071996
[pid=35608] ppid=35605 vsize=93504 memory=80384 CPUtime=3.09 cores=1,3
/proc/35608/stat : 35608 (fscip) R 35605 35608 30686 0 -1 4194304 19410 0 0 0 307 2 0 0 20 0 1 0 5176764 95748096 20096 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
/proc/35608/statm: 23376 20096 2774 3035 0 19772 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 93504 KiB
Current children cumulated memory: 80384 KiB
[startup+6.30021 s]
/proc/loadavg: 4.16 4.13 4.09 5/263 35658
/proc/meminfo: memFree=122069640/131524600 swapFree=131071996/131071996
[pid=35608] ppid=35605 vsize=93504 memory=80384 CPUtime=6.27 cores=1,3
/proc/35608/stat : 35608 (fscip) R 35605 35608 30686 0 -1 4194304 19417 0 0 0 625 2 0 0 20 0 1 0 5176764 95748096 20096 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
/proc/35608/statm: 23376 20096 2774 3035 0 19772 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 93504 KiB
Current children cumulated memory: 80384 KiB
[startup+12.7002 s]
/proc/loadavg: 4.15 4.13 4.09 5/267 35718
/proc/meminfo: memFree=121899212/131524600 swapFree=131071996/131071996
[pid=35608] ppid=35605 vsize=308112 memory=200400 CPUtime=12.65 cores=1,3
/proc/35608/stat : 35608 (fscip) S 35605 35608 30686 0 -1 1077936128 68241 0 0 0 1258 7 0 0 20 0 3 0 5176764 315506688 50100 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
/proc/35608/statm: 77028 50100 2966 3035 0 59700 0
[pid=35608/tid=35659] ppid=35605 vsize=308112 memory=198380 CPUtime=6.05 cores=1,3
/proc/35608/task/35659/stat : 35659 (fscip) R 35605 35608 30686 0 -1 4194368 37179 0 0 0 602 3 0 0 20 0 3 0 5177424 315506688 50100 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
[pid=35608/tid=35660] ppid=35605 vsize=308112 memory=197840 CPUtime=0 cores=1,3
/proc/35608/task/35660/stat : 35660 (fscip) S 35605 35608 30686 0 -1 1077936192 17 0 0 0 0 0 0 0 20 0 3 0 5177427 315506688 50100 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 308112 KiB
Current children cumulated memory: 200400 KiB
[startup+25.5002 s]
/proc/loadavg: 4.12 4.12 4.09 5/267 35720
/proc/meminfo: memFree=121895864/131524600 swapFree=131071996/131071996
[pid=35608] ppid=35605 vsize=308112 memory=202004 CPUtime=25.42 cores=1,3
/proc/35608/stat : 35608 (fscip) S 35605 35608 30686 0 -1 1077936128 77480 0 0 0 2534 8 0 0 20 0 3 0 5176764 315506688 50501 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
/proc/35608/statm: 77028 50501 2966 3035 0 60213 0
[pid=35608/tid=35659] ppid=35605 vsize=308112 memory=201936 CPUtime=18.82 cores=1,3
/proc/35608/task/35659/stat : 35659 (fscip) R 35605 35608 30686 0 -1 4194368 46404 0 0 0 1878 4 0 0 20 0 3 0 5177424 315506688 50501 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
[pid=35608/tid=35660] ppid=35605 vsize=308112 memory=-5155630214967421829 CPUtime=0 cores=1,3
/proc/35608/task/35660/stat : 35660 (fscip) S 35605 35608 30686 0 -1 1077936192 31 0 0 0 0 0 0 0 20 0 3 0 5177427 315506688 50501 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
Current children cumulated CPU time: 25.42 s
Current children cumulated vsize: 308112 KiB
Current children cumulated memory: 202004 KiB
[startup+51.1057 s]
/proc/loadavg: 4.16 4.13 4.09 5/266 35725
/proc/meminfo: memFree=121797012/131524600 swapFree=131071996/131071996
[pid=35608] ppid=35605 vsize=379920 memory=298376 CPUtime=50.96 cores=1,3
/proc/35608/stat : 35608 (fscip) S 35605 35608 30686 0 -1 1077936128 116285 0 0 0 5083 13 0 0 20 0 3 0 5176764 389038080 74594 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
/proc/35608/statm: 94980 74594 2982 3035 0 84766 0
[pid=35608/tid=35659] ppid=35605 vsize=379920 memory=298240 CPUtime=44.36 cores=1,3
/proc/35608/task/35659/stat : 35659 (fscip) R 35605 35608 30686 0 -1 4194368 85188 0 0 0 4428 8 0 0 20 0 3 0 5177424 389038080 74594 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
[pid=35608/tid=35660] ppid=35605 vsize=379920 memory=202108 CPUtime=0 cores=1,3
/proc/35608/task/35660/stat : 35660 (fscip) S 35605 35608 30686 0 -1 1077936192 52 0 0 0 0 0 0 0 20 0 3 0 5177427 389038080 74594 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
Current children cumulated CPU time: 50.96 s
Current children cumulated vsize: 379920 KiB
Current children cumulated memory: 298376 KiB
[startup+102.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/266 35735
/proc/meminfo: memFree=121534732/131524600 swapFree=131071996/131071996
[pid=35608] ppid=35605 vsize=379920 memory=300924 CPUtime=102.03 cores=1,3
/proc/35608/stat : 35608 (fscip) S 35605 35608 30686 0 -1 1077936128 153865 0 0 0 10188 15 0 0 20 0 3 0 5176764 389038080 75231 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 17 1 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
/proc/35608/statm: 94980 75231 2982 3035 0 84766 0
[pid=35608/tid=35659] ppid=35605 vsize=379920 memory=11360 CPUtime=95.43 cores=1,3
/proc/35608/task/35659/stat : 35659 (fscip) R 35605 35608 30686 0 -1 4194368 122762 0 0 0 9532 11 0 0 20 0 3 0 5177424 389038080 75231 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
[pid=35608/tid=35660] ppid=35605 vsize=379920 memory=298956 CPUtime=0 cores=1,3
/proc/35608/task/35660/stat : 35660 (fscip) S 35605 35608 30686 0 -1 1077936192 58 0 0 0 0 0 0 0 20 0 3 0 5177427 389038080 75231 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
Current children cumulated CPU time: 102.03 s
Current children cumulated vsize: 379920 KiB
Current children cumulated memory: 300924 KiB
[startup+162.3 s]
/proc/loadavg: 4.11 4.11 4.09 5/266 35746
/proc/meminfo: memFree=121523536/131524600 swapFree=131071996/131071996
[pid=35608] ppid=35605 vsize=379920 memory=301820 CPUtime=161.88 cores=1,3
/proc/35608/stat : 35608 (fscip) S 35605 35608 30686 0 -1 1077936128 193921 0 0 0 16170 18 0 0 20 0 3 0 5176764 389038080 75455 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
/proc/35608/statm: 94980 75455 3030 3035 0 84766 0
[pid=35608/tid=35659] ppid=35605 vsize=379920 memory=301700 CPUtime=155.28 cores=1,3
/proc/35608/task/35659/stat : 35659 (fscip) R 35605 35608 30686 0 -1 4194368 162755 0 0 0 15515 13 0 0 20 0 3 0 5177424 389038080 75455 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
[pid=35608/tid=35660] ppid=35605 vsize=379920 memory=13044 CPUtime=0 cores=1,3
/proc/35608/task/35660/stat : 35660 (fscip) S 35605 35608 30686 0 -1 1077936192 70 0 0 0 0 0 0 0 20 0 3 0 5177427 389038080 75455 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
Current children cumulated CPU time: 161.88 s
Current children cumulated vsize: 379920 KiB
Current children cumulated memory: 301820 KiB
[startup+222.3 s]
/proc/loadavg: 4.12 4.12 4.09 5/266 35758
/proc/meminfo: memFree=121517808/131524600 swapFree=131071996/131071996
[pid=35608] ppid=35605 vsize=379920 memory=301824 CPUtime=221.73 cores=1,3
/proc/35608/stat : 35608 (fscip) S 35605 35608 30686 0 -1 1077936128 210530 0 0 0 22154 19 0 0 20 0 3 0 5176764 389038080 75456 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
/proc/35608/statm: 94980 75456 3030 3035 0 84766 0
[pid=35608/tid=35659] ppid=35605 vsize=379920 memory=11360 CPUtime=215.13 cores=1,3
/proc/35608/task/35659/stat : 35659 (fscip) R 35605 35608 30686 0 -1 4194368 179339 0 0 0 21498 15 0 0 20 0 3 0 5177424 389038080 75456 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
[pid=35608/tid=35660] ppid=35605 vsize=379920 memory=301820 CPUtime=0 cores=1,3
/proc/35608/task/35660/stat : 35660 (fscip) S 35605 35608 30686 0 -1 1077936192 77 0 0 0 0 0 0 0 20 0 3 0 5177427 389038080 75456 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
Current children cumulated CPU time: 221.73 s
Current children cumulated vsize: 379920 KiB
Current children cumulated memory: 301824 KiB
[startup+282.3 s]
/proc/loadavg: 4.10 4.11 4.09 5/266 35770
/proc/meminfo: memFree=121507364/131524600 swapFree=131071996/131071996
[pid=35608] ppid=35605 vsize=379920 memory=301824 CPUtime=281.59 cores=1,3
/proc/35608/stat : 35608 (fscip) S 35605 35608 30686 0 -1 1077936128 225129 0 0 0 28139 20 0 0 20 0 3 0 5176764 389038080 75456 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
/proc/35608/statm: 94980 75456 3030 3035 0 84766 0
[pid=35608/tid=35659] ppid=35605 vsize=379920 memory=13044 CPUtime=274.98 cores=1,3
/proc/35608/task/35659/stat : 35659 (fscip) R 35605 35608 30686 0 -1 4194368 193912 0 0 0 27483 15 0 0 20 0 3 0 5177424 389038080 75456 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
[pid=35608/tid=35660] ppid=35605 vsize=379920 memory=13044 CPUtime=0 cores=1,3
/proc/35608/task/35660/stat : 35660 (fscip) S 35605 35608 30686 0 -1 1077936192 83 0 0 0 0 0 0 0 20 0 3 0 5177427 389038080 75456 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
Current children cumulated CPU time: 281.59 s
Current children cumulated vsize: 379920 KiB
################
# More data... #
################
/proc/35608/statm: 111364 89047 3334 3035 0 92650 0
[pid=35608/tid=35659] ppid=35605 vsize=445456 memory=11360 CPUtime=3386.91 cores=1,3
/proc/35608/task/35659/stat : 35659 (fscip) R 35605 35608 30686 0 -1 4194368 398764 0 0 0 338661 30 0 0 20 0 3 0 5177424 456146944 89047 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
[pid=35608/tid=35660] ppid=35605 vsize=445456 memory=356188 CPUtime=0.03 cores=1,3
/proc/35608/task/35660/stat : 35660 (fscip) S 35605 35608 30686 0 -1 1077936192 385 0 0 0 2 1 0 0 20 0 3 0 5177427 456146944 89047 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
Current children cumulated CPU time: 3393.56 s
Current children cumulated vsize: 445456 KiB
Current children cumulated memory: 356188 KiB
[startup+3462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/265 39067
/proc/meminfo: memFree=127371428/131524600 swapFree=131071996/131071996
[pid=35608] ppid=35605 vsize=445456 memory=356188 CPUtime=3453.42 cores=1,3
/proc/35608/stat : 35608 (fscip) S 35605 35608 30686 0 -1 1077936128 430713 0 0 0 345306 36 0 0 20 0 3 0 5176764 456146944 89047 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
/proc/35608/statm: 111364 89047 3334 3035 0 92650 0
[pid=35608/tid=35659] ppid=35605 vsize=445456 memory=11360 CPUtime=3446.77 cores=1,3
/proc/35608/task/35659/stat : 35659 (fscip) R 35605 35608 30686 0 -1 4194368 398930 0 0 0 344647 30 0 0 20 0 3 0 5177424 456146944 89047 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
[pid=35608/tid=35660] ppid=35605 vsize=445456 memory=356188 CPUtime=0.03 cores=1,3
/proc/35608/task/35660/stat : 35660 (fscip) S 35605 35608 30686 0 -1 1077936192 391 0 0 0 2 1 0 0 20 0 3 0 5177427 456146944 89047 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
Current children cumulated CPU time: 3453.42 s
Current children cumulated vsize: 445456 KiB
Current children cumulated memory: 356188 KiB
[startup+3522.3 s]
/proc/loadavg: 4.05 4.10 4.09 5/267 39248
/proc/meminfo: memFree=127368456/131524600 swapFree=131071996/131071996
[pid=35608] ppid=35605 vsize=445456 memory=356188 CPUtime=3513.28 cores=1,3
/proc/35608/stat : 35608 (fscip) S 35605 35608 30686 0 -1 1077936128 430896 0 0 0 351292 36 0 0 20 0 3 0 5176764 456146944 89047 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
/proc/35608/statm: 111364 89047 3334 3035 0 92650 0
[pid=35608/tid=35659] ppid=35605 vsize=445456 memory=356188 CPUtime=3506.63 cores=1,3
/proc/35608/task/35659/stat : 35659 (fscip) R 35605 35608 30686 0 -1 4194368 399107 0 0 0 350633 30 0 0 20 0 3 0 5177424 456146944 89047 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
[pid=35608/tid=35660] ppid=35605 vsize=445456 memory=356188 CPUtime=0.03 cores=1,3
/proc/35608/task/35660/stat : 35660 (fscip) S 35605 35608 30686 0 -1 1077936192 397 0 0 0 2 1 0 0 20 0 3 0 5177427 456146944 89047 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
Current children cumulated CPU time: 3513.28 s
Current children cumulated vsize: 445456 KiB
Current children cumulated memory: 356188 KiB
[startup+3582.3 s]
/proc/loadavg: 4.14 4.11 4.09 5/267 39258
/proc/meminfo: memFree=127368116/131524600 swapFree=131071996/131071996
[pid=35608] ppid=35605 vsize=445456 memory=356188 CPUtime=3573.14 cores=1,3
/proc/35608/stat : 35608 (fscip) S 35605 35608 30686 0 -1 1077936128 431072 0 0 0 357278 36 0 0 20 0 3 0 5176764 456146944 89047 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
/proc/35608/statm: 111364 89047 3334 3035 0 92650 0
[pid=35608/tid=35659] ppid=35605 vsize=445456 memory=11360 CPUtime=3566.49 cores=1,3
/proc/35608/task/35659/stat : 35659 (fscip) R 35605 35608 30686 0 -1 4194368 399277 0 0 0 356619 30 0 0 20 0 3 0 5177424 456146944 89047 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
[pid=35608/tid=35660] ppid=35605 vsize=445456 memory=20728 CPUtime=0.03 cores=1,3
/proc/35608/task/35660/stat : 35660 (fscip) S 35605 35608 30686 0 -1 1077936192 403 0 0 0 2 1 0 0 20 0 3 0 5177427 456146944 89047 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
Current children cumulated CPU time: 3573.14 s
Current children cumulated vsize: 445456 KiB
Current children cumulated memory: 356188 KiB
[startup+3598.07 s]
# the end of solver process 35608 was just reported to runsolver
# Child status: 0
# cumulated CPU time of all completed processes: user=3588.52 s, system=0.372984 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+3584 s]*
/proc/loadavg: 4.12 4.11 4.09 5/267 39258
/proc/meminfo: memFree=127368144/131524600 swapFree=131071996/131071996
[pid=35608] ppid=35605 vsize=445456 memory=356188 CPUtime=3574.84 cores=1,3
/proc/35608/stat : 35608 (fscip) S 35605 35608 30686 0 -1 1077936128 431072 0 0 0 357448 36 0 0 20 0 3 0 5176764 456146944 89047 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
/proc/35608/statm: 111364 89047 3334 3035 0 92650 0
[pid=35608/tid=35659] ppid=35605 vsize=445456 memory=-7378140306124922999 CPUtime=3568.2 cores=1,3
/proc/35608/task/35659/stat : 35659 (fscip) R 35605 35608 30686 0 -1 4194368 399277 0 0 0 356790 30 0 0 20 0 3 0 5177424 456146944 89047 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
[pid=35608/tid=35660] ppid=35605 vsize=445456 memory=11636 CPUtime=0.03 cores=1,3
/proc/35608/task/35660/stat : 35660 (fscip) S 35605 35608 30686 0 -1 1077936192 403 0 0 0 2 1 0 0 20 0 3 0 5177427 456146944 89047 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
Current children cumulated CPU time: 3574.84 s
Current children cumulated vsize: 445456 KiB
Current children cumulated memory: 356188 KiB
[startup+3590.4 s]
/proc/loadavg: 4.11 4.11 4.09 5/267 39259
/proc/meminfo: memFree=127368032/131524600 swapFree=131071996/131071996
[pid=35608] ppid=35605 vsize=445456 memory=356188 CPUtime=3581.22 cores=1,3
/proc/35608/stat : 35608 (fscip) S 35605 35608 30686 0 -1 1077936128 431072 0 0 0 358086 36 0 0 20 0 3 0 5176764 456146944 89047 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
/proc/35608/statm: 111364 89047 3334 3035 0 92650 0
[pid=35608/tid=35659] ppid=35605 vsize=445456 memory=-7234869542979199360 CPUtime=3574.58 cores=1,3
/proc/35608/task/35659/stat : 35659 (fscip) R 35605 35608 30686 0 -1 4194368 399277 0 0 0 357428 30 0 0 20 0 3 0 5177424 456146944 89047 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
[pid=35608/tid=35660] ppid=35605 vsize=445456 memory=5000 CPUtime=0.03 cores=1,3
/proc/35608/task/35660/stat : 35660 (fscip) S 35605 35608 30686 0 -1 1077936192 403 0 0 0 2 1 0 0 20 0 3 0 5177427 456146944 89047 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
Current children cumulated CPU time: 3581.22 s
Current children cumulated vsize: 445456 KiB
Current children cumulated memory: 356188 KiB
[startup+3593.6 s]
/proc/loadavg: 4.11 4.11 4.09 5/267 39259
/proc/meminfo: memFree=127368032/131524600 swapFree=131071996/131071996
[pid=35608] ppid=35605 vsize=445456 memory=356188 CPUtime=3584.42 cores=1,3
/proc/35608/stat : 35608 (fscip) S 35605 35608 30686 0 -1 1077936128 431072 0 0 0 358406 36 0 0 20 0 3 0 5176764 456146944 89047 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
/proc/35608/statm: 111364 89047 3334 3035 0 92650 0
[pid=35608/tid=35659] ppid=35605 vsize=445456 memory=356188 CPUtime=3577.77 cores=1,3
/proc/35608/task/35659/stat : 35659 (fscip) R 35605 35608 30686 0 -1 4194368 399277 0 0 0 357747 30 0 0 20 0 3 0 5177424 456146944 89047 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
[pid=35608/tid=35660] ppid=35605 vsize=445456 memory=356188 CPUtime=0.03 cores=1,3
/proc/35608/task/35660/stat : 35660 (fscip) S 35605 35608 30686 0 -1 1077936192 403 0 0 0 2 1 0 0 20 0 3 0 5177427 456146944 89047 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
Current children cumulated CPU time: 3584.42 s
Current children cumulated vsize: 445456 KiB
Current children cumulated memory: 356188 KiB
[startup+3595.2 s]
/proc/loadavg: 4.10 4.10 4.09 5/267 39259
/proc/meminfo: memFree=127368032/131524600 swapFree=131071996/131071996
[pid=35608] ppid=35605 vsize=445456 memory=356188 CPUtime=3586.01 cores=1,3
/proc/35608/stat : 35608 (fscip) S 35605 35608 30686 0 -1 1077936128 431072 0 0 0 358565 36 0 0 20 0 3 0 5176764 456146944 89047 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
/proc/35608/statm: 111364 89047 3334 3035 0 92650 0
[pid=35608/tid=35659] ppid=35605 vsize=445456 memory=12760 CPUtime=3579.36 cores=1,3
/proc/35608/task/35659/stat : 35659 (fscip) R 35605 35608 30686 0 -1 4194368 399277 0 0 0 357906 30 0 0 20 0 3 0 5177424 456146944 89047 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
[pid=35608/tid=35660] ppid=35605 vsize=445456 memory=13044 CPUtime=0.03 cores=1,3
/proc/35608/task/35660/stat : 35660 (fscip) S 35605 35608 30686 0 -1 1077936192 403 0 0 0 2 1 0 0 20 0 3 0 5177427 456146944 89047 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
Current children cumulated CPU time: 3586.01 s
Current children cumulated vsize: 445456 KiB
Current children cumulated memory: 356188 KiB
[startup+3596.8 s]
/proc/loadavg: 4.10 4.10 4.09 5/267 39261
/proc/meminfo: memFree=127368012/131524600 swapFree=131071996/131071996
[pid=35608] ppid=35605 vsize=445456 memory=356188 CPUtime=3587.61 cores=1,3
/proc/35608/stat : 35608 (fscip) S 35605 35608 30686 0 -1 1077936128 431072 0 0 0 358725 36 0 0 20 0 3 0 5176764 456146944 89047 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
/proc/35608/statm: 111364 89047 3334 3035 0 92650 0
[pid=35608/tid=35659] ppid=35605 vsize=445456 memory=281414578768912 CPUtime=3580.96 cores=1,3
/proc/35608/task/35659/stat : 35659 (fscip) R 35605 35608 30686 0 -1 4194368 399277 0 0 0 358066 30 0 0 20 0 3 0 5177424 456146944 89047 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
[pid=35608/tid=35660] ppid=35605 vsize=445456 memory=356188 CPUtime=0.03 cores=1,3
/proc/35608/task/35660/stat : 35660 (fscip) S 35605 35608 30686 0 -1 1077936192 403 0 0 0 2 1 0 0 20 0 3 0 5177427 456146944 89047 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
Current children cumulated CPU time: 3587.61 s
Current children cumulated vsize: 445456 KiB
Current children cumulated memory: 356188 KiB
[startup+3597.6 s]
/proc/loadavg: 4.10 4.10 4.09 5/267 39261
/proc/meminfo: memFree=127367948/131524600 swapFree=131071996/131071996
[pid=35608] ppid=35605 vsize=445456 memory=356188 CPUtime=3588.41 cores=1,3
/proc/35608/stat : 35608 (fscip) S 35605 35608 30686 0 -1 1077936128 431072 0 0 0 358805 36 0 0 20 0 3 0 5176764 456146944 89047 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
/proc/35608/statm: 111364 89047 3334 3035 0 92650 0
[pid=35608/tid=35659] ppid=35605 vsize=445456 memory=12760 CPUtime=3581.76 cores=1,3
/proc/35608/task/35659/stat : 35659 (fscip) R 35605 35608 30686 0 -1 4194368 399277 0 0 0 358146 30 0 0 20 0 3 0 5177424 456146944 89047 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
[pid=35608/tid=35660] ppid=35605 vsize=445456 memory=13044 CPUtime=0.03 cores=1,3
/proc/35608/task/35660/stat : 35660 (fscip) S 35605 35608 30686 0 -1 1077936192 403 0 0 0 2 1 0 0 20 0 3 0 5177427 456146944 89047 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
Current children cumulated CPU time: 3588.41 s
Current children cumulated vsize: 445456 KiB
Current children cumulated memory: 356188 KiB
[startup+3598 s]*
/proc/loadavg: 4.10 4.10 4.09 5/267 39261
/proc/meminfo: memFree=127367940/131524600 swapFree=131071996/131071996
[pid=35608] ppid=35605 vsize=445456 memory=356188 CPUtime=3588.81 cores=1,3
/proc/35608/stat : 35608 (fscip) R 35605 35608 30686 0 -1 1077936128 431148 0 0 0 358845 36 0 0 20 0 3 0 5176764 456146944 89047 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 17 3 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
/proc/35608/statm: 111364 89047 3334 3035 0 92650 0
[pid=35608/tid=35659] ppid=35605 vsize=445456 memory=-7378140306124922999 CPUtime=3582.16 cores=1,3
/proc/35608/task/35659/stat : 35659 (fscip) R 35605 35608 30686 0 -1 4194368 399355 0 0 0 358186 30 0 0 20 0 3 0 5177424 456146944 89047 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 0 0 0 -1 1 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
[pid=35608/tid=35660] ppid=35605 vsize=445456 memory=-4050210904893801108 CPUtime=0.03 cores=1,3
/proc/35608/task/35660/stat : 35660 (fscip) S 35605 35608 30686 0 -1 1077936192 403 0 0 0 2 1 0 0 20 0 3 0 5177427 456146944 89047 134679101440 4194304 16623229 140726761639504 0 0 0 0 0 2 1 0 0 -1 3 0 0 0 0 0 18838560 18947056 45682688 140726761645078 140726761645194 140726761645194 140726761652208 0
Current children cumulated CPU time: 3588.81 s
Current children cumulated vsize: 445456 KiB
Current children cumulated memory: 356188 KiB
Child status: 0
Real time (s): 3598.07
CPU time (s): 3588.9
CPU user time (s): 3588.52
CPU system time (s): 0.372984
CPU usage (%): 99.7449
Max. virtual memory (cumulated for all children) (KiB): 445456
Max. memory (cumulated for all children) (KiB): 356188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3588.52
system time used= 0.372984
maximum resident set size= 356188
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 431851
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= 4131
involuntary context switches= 1155
# summary of solver processes directly reported to runsolver:
# pid: 35608
# total CPU time (s): 3588.9
# total CPU user time (s): 3588.52
# total CPU system time (s): 0.372984
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.44244 second user time and 15.4837 second system time
The end
Begin job on nodeC018 at 2024-07-31 02:29:54
IDJOB=4464473
IDBENCH=158365
IDSOLVER=3092
FILE ID=nodeC018/4464473-1722385794
RUNJOBID= nodeC018-1722378594-30698
SLURM_JOB_ID= 8249831
Free space on /tmp= 889932 MiB
SOLVER NAME= FiberSCIP 2024-07-30
BENCH NAME= PB24/normalized-PB12/DEC-LIN/sroussel/ShortestPathTate/normalized-TateBritain_K105.opb
COMMAND LINE= ./fscip settings/racing.prm BENCHNAME -qsol -t TIMEOUT -sth 1
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp --file-size-limit 102400 -w /tmp/evaluation-result-4464473-1722385794/watcher-4464473-1722385794 -o /tmp/evaluation-result-4464473-1722385794/solver-4464473-1722385794 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC018-1722378594-30698 --watchdog 3760 ./fscip settings/racing.prm HOME/instance-4464473-1722385794.opb -qsol -t 3600 -sth 1
TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2
MD5SUM BENCH= 7361f1d7a542e71300a3f7026fcde645
RANDOM SEED=99795441
nodeC018.alineos.net Linux 4.18.0-301.1.el8.x86_64 #1 SMP Tue Apr 13 16:24:22 UTC 2021
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3669.905
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3651.783
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.242
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3674.204
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3669.955
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3670.042
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3600.002
cache size : 15360 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 6999.92
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 79
model name : Intel(R) Xeon(R) CPU E5-2637 v4 @ 3.50GHz
stepping : 1
microcode : 0xb00002a
cpu MHz : 3599.980
cache size : 15360 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 20
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 pdpe1gb rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc cpuid aperfmperf pni pclmulqdq dtes64 monitor ds_cpl vmx smx est tm2 ssse3 sdbg fma cx16 xtpr pdcm pcid dca sse4_1 sse4_2 x2apic movbe popcnt tsc_deadline_timer aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 invpcid_single pti ibrs ibpb stibp tpr_shadow vnmi flexpriority ept vpid ept_ad fsgsbase tsc_adjust bmi1 hle avx2 smep bmi2 erms invpcid rtm cqm rdt_a rdseed adx smap intel_pt xsaveopt cqm_llc cqm_occup_llc cqm_mbm_total cqm_mbm_local dtherm ida arat pln pts
bugs : cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit
bogomips : 7007.08
clflush size : 64
cache_alignment : 64
address sizes : 46 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 131524600 kB
MemFree: 121756904 kB
MemAvailable: 123393788 kB
Buffers: 108136 kB
Cached: 2347120 kB
SwapCached: 0 kB
Active: 319112 kB
Inactive: 8926024 kB
Active(anon): 1540 kB
Inactive(anon): 6809692 kB
Active(file): 317572 kB
Inactive(file): 2116332 kB
Unevictable: 0 kB
Mlocked: 0 kB
SwapTotal: 131071996 kB
SwapFree: 131071996 kB
Dirty: 28564 kB
Writeback: 0 kB
AnonPages: 6789932 kB
Mapped: 125448 kB
Shmem: 21336 kB
KReclaimable: 85252 kB
Slab: 170548 kB
SReclaimable: 85252 kB
SUnreclaim: 85296 kB
KernelStack: 4268 kB
PageTables: 22744 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 196834296 kB
Committed_AS: 4262488 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 0 kB
VmallocChunk: 0 kB
Percpu: 8704 kB
HardwareCorrupted: 0 kB
AnonHugePages: 4790272 kB
ShmemHugePages: 0 kB
ShmemPmdMapped: 0 kB
FileHugePages: 0 kB
FilePmdMapped: 0 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
Hugetlb: 0 kB
DirectMap4k: 148180 kB
DirectMap2M: 10110976 kB
DirectMap1G: 125829120 kB
Free space on /tmp at the end= 889944 MiB
End job on nodeC018 at 2024-07-31 03:29:52