Trace number 4525780

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
Exact_no_dombreaking 2025-06-16MSAT (TO) 3600.48 3612.81

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/
celar/normalized-celar6-sub1_wcsp.wbo
MD5SUM4332859c61197d8e78afa6b8b48bb73c
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2669
Best CPU time to get the best result obtained on this benchmark28.4538
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables616
Total number of constraints241978
Number of soft constraints241964
Number of constraints which are clauses241964
Number of constraints which are cardinality constraints (but not clauses)14
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint44
Top cost 48694
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 34489736
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 45
Number of bits of the biggest sum of numbers6
Number of products (including duplicates)0
Sum of products size (including duplicates)0
Number of different products0
Sum of products size0

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

361.61/363.24	o 27360
361.91/363.55	o 17436
362.20/363.81	o 17336
362.42/364.03	o 10357
362.80/364.40	o 9379
362.90/364.54	o 9378
363.00/364.67	o 9368
363.20/364.83	o 9367
363.30/364.97	o 9357
363.41/365.11	o 9347
363.61/365.27	o 9337
363.81/365.40	o 9327
363.91/365.54	o 9317
364.00/365.68	o 9307
364.20/365.82	o 9297
364.30/365.99	o 9287
364.51/366.14	o 9187
364.60/366.27	o 9087
364.79/366.41	o 8987
364.89/366.55	o 8977
365.09/366.72	o 8967
365.20/366.86	o 8957
365.30/367.00	o 8956
365.51/367.14	o 8955
365.60/367.28	o 8954
365.80/367.42	o 8944
365.90/367.55	o 8934
366.00/367.69	o 8924
366.19/367.83	o 8923
366.29/367.96	o 8922
366.40/368.10	o 8921
366.70/368.33	o 8821
366.79/368.48	o 8721
366.99/368.62	o 8711
367.09/368.76	o 8701
367.19/368.89	o 8691
367.40/369.03	o 8681
367.50/369.17	o 8671
367.69/369.31	o 8661
367.79/369.49	o 8561
367.99/369.63	o 8461
368.09/369.77	o 8361
368.28/369.91	o 8261
368.39/370.05	o 8161
368.49/370.18	o 8160
368.69/370.32	o 8159
368.79/370.45	o 8059
368.89/370.59	o 7959
369.09/370.73	o 7859
369.19/370.87	o 7858
369.28/371.00	o 7857
369.49/371.14	o 7856
369.58/371.28	o 7846
369.78/371.41	o 7836
369.88/371.55	o 7826
369.99/371.69	o 7816
370.18/371.83	o 7806
370.28/371.96	o 7796
370.40/372.10	o 7786
370.58/372.23	o 7776
370.68/372.37	o 7766
370.88/372.50	o 7666
370.98/372.64	o 7566
371.28/372.99	o 7466
371.49/373.14	o 7456
371.57/373.28	o 7455
371.78/373.41	o 7445
371.88/373.55	o 7444
371.98/373.68	o 7443
372.17/373.82	o 7343
372.27/373.95	o 7243
372.49/374.18	o 7233
372.68/374.31	o 7223
372.78/374.45	o 7213
372.88/374.58	o 7203
373.07/374.72	o 7103
373.17/374.85	o 7003
373.27/374.99	o 7002
373.48/375.12	o 7001
373.57/375.25	o 7000
373.67/375.38	o 6999
373.87/375.51	o 6998
373.97/375.64	o 6997
374.07/375.78	o 6897
374.26/375.91	o 6896
374.38/376.04	o 6895
374.48/376.17	o 6894
374.67/376.30	o 6893
374.77/376.43	o 6793
374.87/376.56	o 6792
374.97/376.69	o 6791
375.16/376.82	o 6790
375.26/376.95	o 6789
375.38/377.07	o 6788
375.56/377.21	o 6778
375.66/377.34	o 6678
375.76/377.47	o 6578
375.96/377.61	o 6478
376.06/377.74	o 6378
376.16/377.87	o 6368
376.26/378.01	o 6358
376.48/378.14	o 6258
376.56/378.28	o 6158
376.76/378.41	o 6058
376.86/378.54	o 5958
376.96/378.68	o 5858
377.16/378.81	o 5758
377.26/378.94	o 5748
377.37/379.08	o 5738
377.56/379.21	o 5728
377.66/379.34	o 5718
377.76/379.47	o 5708
377.96/379.60	o 5698
378.06/379.73	o 5688
378.16/379.86	o 5678
378.26/379.99	o 5668
378.47/380.11	o 5667
378.55/380.24	o 5657
378.65/380.37	o 5557
378.85/380.51	o 5457
378.95/380.64	o 5357
379.05/380.77	o 5257
379.26/380.91	o 5157
379.37/381.04	o 5147
379.47/381.17	o 5137
379.65/381.30	o 5127
379.75/381.43	o 5117
380.46/382.13	o 5107
380.55/382.28	o 5097
380.75/382.42	o 5087
380.85/382.55	o 5077
380.95/382.68	o 4977
381.15/382.81	o 4976
381.25/382.93	o 4975
381.36/383.07	o 4875
381.46/383.19	o 4874
382.45/384.16	o 4833
382.54/384.28	o 4832
382.75/384.40	o 4831
383.04/384.76	o 4828
383.14/384.88	o 4827
383.24/385.01	o 4826
383.46/385.13	o 4825
383.54/385.25	o 4824
383.64/385.37	o 4823
383.74/385.49	o 4822
383.94/385.62	o 4821
386.83/388.58	o 4820
420.03/421.86	o 4819
420.24/422.05	o 4818
420.42/422.23	o 4817
420.62/422.41	o 4816
420.72/422.60	o 4815
420.92/422.78	o 4814
421.12/422.96	o 4813
421.34/423.14	o 4812
421.52/423.31	o 4811
421.72/423.50	o 4801
421.82/423.68	o 4791
422.02/423.86	o 4781
491.02/493.02	o 4780
491.20/493.20	o 4779
491.30/493.37	o 4778
491.50/493.54	o 4777
546.54/548.76	o 4776
546.85/549.04	o 4775
547.14/549.31	o 4765
549.23/551.44	o 4764
549.43/551.67	o 4763
902.45/905.74	o 4762
902.76/906.10	o 4752
937.14/940.50	o 4751
937.34/940.75	o 4750
937.53/940.99	o 4749
937.84/941.23	o 4748
938.04/941.46	o 4747
938.24/941.69	o 4746
938.53/941.93	o 4736
938.75/942.16	o 4726
949.80/953.24	o 4725
950.10/953.51	o 4724
1700.50/1706.46	o 4723
1700.80/1706.76	o 4713
1701.11/1707.05	o 4703
1701.41/1707.34	o 4693
1705.29/1711.21	o 4692
1705.59/1711.57	o 4691
1705.89/1711.89	o 4690
1706.29/1712.21	o 4689
1706.59/1712.53	o 4688
1706.89/1712.85	o 4687
1707.19/1713.17	o 4686
1707.48/1713.49	o 4685
1707.88/1713.80	o 4684
1708.19/1714.12	o 4683
1708.48/1714.43	o 4682
1708.77/1714.74	o 4681
1709.08/1715.06	o 4680
1709.37/1715.37	o 4679
1709.67/1715.68	o 4678
1709.97/1716.00	o 4677
1710.37/1716.32	o 4676
1710.67/1716.63	o 4675
1710.97/1716.94	o 4674
1711.27/1717.25	o 4673
1711.57/1717.56	o 4672
1711.87/1717.87	o 4671
1712.18/1718.18	o 4670
1712.47/1718.48	o 4669
1712.77/1718.79	o 4668
1713.08/1719.10	o 4667
1713.46/1719.40	o 4666
1713.76/1719.71	o 4665
1714.07/1720.01	o 4664
1714.36/1720.31	o 4663
1714.66/1720.62	o 4662
1714.96/1720.92	o 4661
1715.26/1721.22	o 4660
1715.56/1721.52	o 4659
1715.85/1721.82	o 4658
1716.17/1722.12	o 4657
1716.45/1722.42	o 4656
1716.75/1722.72	o 4655
1717.06/1723.02	o 4654
1717.35/1723.32	o 4653
1717.65/1723.62	o 4652
1717.95/1723.91	o 4651
1718.25/1724.21	o 4650
1718.55/1724.51	o 4649
1718.84/1724.80	o 4648
1719.06/1725.10	o 4647
1719.34/1725.39	o 4646
1719.64/1725.69	o 4645
1719.94/1725.98	o 4644
1720.24/1726.28	o 4643
1720.54/1726.57	o 4642
1720.84/1726.86	o 4641
1721.15/1727.15	o 4640
1721.44/1727.44	o 4639
1721.83/1727.82	o 4638
1722.15/1728.13	o 4637
2011.34/2018.38	o 4636
2011.74/2018.77	o 4635
2012.05/2019.11	o 4634
2012.44/2019.44	o 4633
2012.74/2019.77	o 4632
2156.88/2164.37	o 4631
2157.29/2164.80	o 4630
2157.70/2165.18	o 4629
2158.09/2165.56	o 4628
2163.68/2171.14	o 4627
2706.50/2715.76	o 4626
2706.70/2715.98	o 4625
2706.91/2716.19	o 4624
2707.10/2716.39	o 4623
2707.30/2716.59	o 4622
2707.50/2716.79	o 4621
2707.70/2717.00	o 4611
2708.00/2717.20	o 4610
2708.20/2717.41	o 4600
2709.19/2718.48	o 4599
2876.08/2886.10	o 4598
2876.47/2886.45	o 4597
2876.76/2886.76	o 4596
2877.08/2887.08	o 4595
3600.06/3612.40	c Program interrupted by user.
3600.06/3612.40	s SATISFIABLE
3600.06/3612.40	v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 -x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 -x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 -x256 -x257 -x258 -x259 x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 -x319 x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 x396 -x397 -x398 -x399 x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 -x577 -x578 -x579 -x580 -x581 -x582 -x583 -x584 -x585 -x586 -x587 -x588 -x589 -x590 -x591 -x592 -x593 -x594 -x595 -x596 -x597 -x598 -x599 -x600 -x601 -x602 -x603 -x604 -x605 -x606 -x607 -x608 -x609 -x610 -x611 -x612 -x613 -x614 -x615 x616

Verifier Data 

OK	2912

Watcher Data 

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: 63837 MiB (36556 MiB free)
  memory of node 1: 64465 MiB (47238 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4525780-1751626829/watcher-4525780-1751626829 -o /tmp/evaluation-result-4525780-1751626829/solver-4525780-1751626829 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751624136-90940 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1207461643 --ls=360 --inp-dombreaklim=0 HOME/instance-4525780-1751626829.wbo 

running on 2 cores: 1,3

CPU governors:
  performance: 1 3

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 5.14.0-503.14.1.el9_5.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB

solver pid=91209, runsolver pid=91206

[startup+0.100072 s]*
/proc/loadavg: 4.10 4.13 4.11 5/249 91210
/proc/meminfo: memFree=85805276/131382116 swapFree=33005528/33010684
[pid=91209] ppid=91206 vsize=50600 memory=26364 CPUtime=0.1 cores=1,3
/proc/91209/stat : 91209 (Exact) R 91206 91209 90928 0 -1 4194304 7128 0 0 0 8 2 0 0 20 0 1 0 78362331 51814400 6591 18446744073709551615 4198400 9112445 140722195643440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42840064 140722195650852 140722195651051 140722195651051 140722195656655 0
/proc/91209/statm: 12650 6591 1024 1200 0 11130 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 50600 KiB
Current children cumulated memory: 26364 KiB

[startup+0.213108 s]*
/proc/loadavg: 4.10 4.13 4.11 6/249 91210
/proc/meminfo: memFree=85781840/131382116 swapFree=33005528/33010684
[pid=91209] ppid=91206 vsize=94436 memory=71188 CPUtime=0.22 cores=1,3
/proc/91209/stat : 91209 (Exact) R 91206 91209 90928 0 -1 4194304 18861 0 0 0 17 5 0 0 20 0 1 0 78362331 96702464 17765 18446744073709551615 4198400 9112445 140722195643440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42840064 140722195650852 140722195651051 140722195651051 140722195656655 0
/proc/91209/statm: 23609 17797 1024 1200 0 22089 0
Current children cumulated CPU time: 0.22 s
Current children cumulated vsize: 94436 KiB
Current children cumulated memory: 71188 KiB

[startup+0.313086 s]*
/proc/loadavg: 4.10 4.13 4.11 6/249 91210
/proc/meminfo: memFree=85771508/131382116 swapFree=33005528/33010684
[pid=91209] ppid=91206 vsize=121484 memory=96452 CPUtime=0.31 cores=1,3
/proc/91209/stat : 91209 (Exact) R 91206 91209 90928 0 -1 4194304 23278 0 0 0 25 6 0 0 20 0 1 0 78362331 124399616 24113 18446744073709551615 4198400 9112445 140722195643440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42840064 140722195650852 140722195651051 140722195651051 140722195656655 0
/proc/91209/statm: 30371 24113 1024 1200 0 28851 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 121484 KiB
Current children cumulated memory: 96452 KiB

[startup+0.700352 s]
/proc/loadavg: 4.10 4.13 4.11 5/249 91210
/proc/meminfo: memFree=85740476/131382116 swapFree=33005528/33010684
[pid=91209] ppid=91206 vsize=235660 memory=209532 CPUtime=0.69 cores=1,3
/proc/91209/stat : 91209 (Exact) R 91206 91209 90928 0 -1 4194304 40919 0 0 0 57 12 0 0 20 0 1 0 78362331 241315840 52383 18446744073709551615 4198400 9112445 140722195643440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42840064 140722195650852 140722195651051 140722195651051 140722195656655 0
/proc/91209/statm: 58915 52383 1024 1200 0 57395 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 235660 KiB
Current children cumulated memory: 209532 KiB

[startup+1.50031 s]
/proc/loadavg: 4.10 4.13 4.11 5/249 91210
/proc/meminfo: memFree=85676468/131382116 swapFree=33005528/33010684
[pid=91209] ppid=91206 vsize=476516 memory=455188 CPUtime=1.49 cores=1,3
/proc/91209/stat : 91209 (Exact) R 91206 91209 90928 0 -1 4194304 70571 0 0 0 128 21 0 0 20 0 1 0 78362331 487952384 113797 18446744073709551615 4198400 9112445 140722195643440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42840064 140722195650852 140722195651051 140722195651051 140722195656655 0
/proc/91209/statm: 119129 113797 1024 1200 0 117609 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 476516 KiB
Current children cumulated memory: 455188 KiB

[startup+3.11296 s]
/proc/loadavg: 4.10 4.13 4.11 5/249 91210
/proc/meminfo: memFree=85483440/131382116 swapFree=33005528/33010684
[pid=91209] ppid=91206 vsize=607012 memory=581604 CPUtime=3.09 cores=1,3
/proc/91209/stat : 91209 (Exact) R 91206 91209 90928 0 -1 4194304 96100 0 0 0 285 24 0 0 20 0 1 0 78362331 621580288 145401 18446744073709551615 4198400 9112445 140722195643440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42840064 140722195650852 140722195651051 140722195651051 140722195656655 0
/proc/91209/statm: 151753 145401 1024 1200 0 150233 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 607012 KiB
Current children cumulated memory: 581604 KiB

[startup+6.30031 s]
/proc/loadavg: 4.09 4.12 4.11 5/249 91211
/proc/meminfo: memFree=85475336/131382116 swapFree=33005528/33010684
[pid=91209] ppid=91206 vsize=607012 memory=581604 CPUtime=6.27 cores=1,3
/proc/91209/stat : 91209 (Exact) R 91206 91209 90928 0 -1 4194304 96157 0 0 0 602 25 0 0 20 0 1 0 78362331 621580288 145401 18446744073709551615 4198400 9112445 140722195643440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42840064 140722195650852 140722195651051 140722195651051 140722195656655 0
/proc/91209/statm: 151753 145401 1024 1200 0 150233 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 607012 KiB
Current children cumulated memory: 581604 KiB

[startup+12.7003 s]
/proc/loadavg: 4.08 4.12 4.11 5/249 91211
/proc/meminfo: memFree=85498656/131382116 swapFree=33005528/33010684
[pid=91209] ppid=91206 vsize=607012 memory=581604 CPUtime=12.64 cores=1,3
/proc/91209/stat : 91209 (Exact) R 91206 91209 90928 0 -1 4194304 96231 0 0 0 1239 25 0 0 20 0 1 0 78362331 621580288 145401 18446744073709551615 4198400 9112445 140722195643440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42840064 140722195650852 140722195651051 140722195651051 140722195656655 0
/proc/91209/statm: 151753 145401 1024 1200 0 150233 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 607012 KiB
Current children cumulated memory: 581604 KiB

[startup+25.5004 s]
/proc/loadavg: 4.14 4.13 4.11 5/249 91211
/proc/meminfo: memFree=85578248/131382116 swapFree=33005528/33010684
[pid=91209] ppid=91206 vsize=607012 memory=581604 CPUtime=25.39 cores=1,3
/proc/91209/stat : 91209 (Exact) R 91206 91209 90928 0 -1 4194304 96309 0 0 0 2514 25 0 0 20 0 1 0 78362331 621580288 145401 18446744073709551615 4198400 9112445 140722195643440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42840064 140722195650852 140722195651051 140722195651051 140722195656655 0
/proc/91209/statm: 151753 145401 1024 1200 0 150233 0
Current children cumulated CPU time: 25.39 s
Current children cumulated vsize: 607012 KiB
Current children cumulated memory: 581604 KiB

[startup+51.1131 s]
/proc/loadavg: 4.09 4.12 4.11 5/249 91222
/proc/meminfo: memFree=85715604/131382116 swapFree=33005528/33010684
[pid=91209] ppid=91206 vsize=607012 memory=581604 CPUtime=50.9 cores=1,3
/proc/91209/stat : 91209 (Exact) R 91206 91209 90928 0 -1 4194304 96405 0 0 0 5065 25 0 0 20 0 1 0 78362331 621580288 145401 18446744073709551615 4198400 9112445 140722195643440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42840064 140722195650852 140722195651051 140722195651051 140722195656655 0
/proc/91209/statm: 151753 145401 1024 1200 0 150233 0
Current children cumulated CPU time: 50.9 s
Current children cumulated vsize: 607012 KiB
Current children cumulated memory: 581604 KiB

[startup+102.3 s]
/proc/loadavg: 4.16 4.13 4.11 5/251 91230
/proc/meminfo: memFree=85775964/131382116 swapFree=33005528/33010684
[pid=91209] ppid=91206 vsize=607012 memory=581604 CPUtime=101.86 cores=1,3
/proc/91209/stat : 91209 (Exact) R 91206 91209 90928 0 -1 4194304 96493 0 0 0 10161 25 0 0 20 0 1 0 78362331 621580288 145401 18446744073709551615 4198400 9112445 140722195643440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42840064 140722195650852 140722195651051 140722195651051 140722195656655 0
/proc/91209/statm: 151753 145401 1024 1200 0 150233 0
Current children cumulated CPU time: 101.86 s
Current children cumulated vsize: 607012 KiB
Current children cumulated memory: 581604 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.12 4.10 5/251 91232
/proc/meminfo: memFree=85721540/131382116 swapFree=33005528/33010684
[pid=91209] ppid=91206 vsize=607012 memory=581604 CPUtime=161.59 cores=1,3
/proc/91209/stat : 91209 (Exact) R 91206 91209 90928 0 -1 4194304 96580 0 0 0 16134 25 0 0 20 0 1 0 78362331 621580288 145401 18446744073709551615 4198400 9112445 140722195643440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42840064 140722195650852 140722195651051 140722195651051 140722195656655 0
/proc/91209/statm: 151753 145401 1024 1200 0 150233 0
Current children cumulated CPU time: 161.59 s
Current children cumulated vsize: 607012 KiB
Current children cumulated memory: 581604 KiB

[startup+222.3 s]
/proc/loadavg: 4.09 4.11 4.10 5/251 91234
/proc/meminfo: memFree=85495484/131382116 swapFree=33005528/33010684
[pid=91209] ppid=91206 vsize=607012 memory=581604 CPUtime=221.33 cores=1,3
/proc/91209/stat : 91209 (Exact) R 91206 91209 90928 0 -1 4194304 96629 0 0 0 22107 26 0 0 20 0 1 0 78362331 621580288 145401 18446744073709551615 4198400 9112445 140722195643440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42840064 140722195650852 140722195651051 140722195651051 140722195656655 0
/proc/91209/statm: 151753 145401 1024 1200 0 150233 0
Current children cumulated CPU time: 221.33 s
Current children cumulated vsize: 607012 KiB
Current children cumulated memory: 581604 KiB

[startup+282.3 s]
/proc/loadavg: 4.14 4.12 4.10 5/252 91237
/proc/meminfo: memFree=85167144/131382116 swapFree=33005528/33010684
[pid=91209] ppid=91206 vsize=607012 memory=581604 CPUtime=281.06 cores=1,3
/proc/91209/stat : 91209 (Exact) R 91206 91209 90928 0 -1 4194304 96675 0 0 0 28080 26 0 0 20 0 1 0 78362331 621580288 145401 18446744073709551615 4198400 9112445 140722195643440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42840064 140722195650852 140722195651051 140722195651051 140722195656655 0
/proc/91209/statm: 151753 145401 1024 1200 0 150233 0
Current children cumulated CPU time: 281.06 s
Current children cumulated vsize: 607012 KiB
Current children cumulated memory: 581604 KiB

[startup+342.3 s]
/proc/loadavg: 4.16 4.13 4.10 5/252 91240
/proc/meminfo: memFree=84960968/131382116 swapFree=33005528/33010684
[pid=91209] ppid=91206 vsize=607012 memory=581604 CPUtime=340.8 cores=1,3
/proc/91209/stat : 91209 (Exact) R 91206 91209 90928 0 -1 4194304 96690 0 0 0 34054 26 0 0 20 0 1 0 78362331 621580288 145401 18446744073709551615 4198400 9112445 140722195643440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42840064 140722195650852 140722195651051 140722195651051 140722195656655 0
/proc/91209/statm: 151753 145401 1024 1200 0 150233 0
Current children cumulated CPU time: 340.8 s
Current children cumulated vsize: 607012 KiB
Current children cumulated memory: 581604 KiB

[startup+402.3 s]
/proc/loadavg: 4.10 4.12 4.09 5/251 91243
/proc/meminfo: memFree=81908660/131382116 swapFree=33005528/33010684
[pid=91209] ppid=91206 vsize=3437868 memory=3203564 CPUtime=400.58 cores=1,3
/proc/91209/stat : 91209 (Exact) R 91206 91209 90928 0 -1 4194304 506644 0 0 0 39934 124 0 0 20 0 1 0 78362331 3520376832 800891 18446744073709551615 4198400 9112445 140722195643440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42840064 140722195650852 140722195651051 140722195651051 140722195656655 0
/proc/91209/statm: 859467 800891 1248 1200 0 857947 0
Current children cumulated CPU time: 400.58 s
Current children cumulated vsize: 3437868 KiB
Current children cumulated memory: 3203564 KiB

[startup+462.3 s]
/proc/loadavg: 4.14 4.12 4.09 5/252 91248
/proc/meminfo: memFree=80616140/131382116 swapFree=33005528/33010684
[pid=91209] ppid=91206 vsize=4868020 memory=4221568 CPUtime=460.4 cores=1,3
/proc/91209/stat : 91209 (Exact) R 91206 91209 90928 0 -1 4194304 675741 0 0 0 45861 179 0 0 20 0 1 0 78362331 4984852480 1055392 18446744073709551615 4198400 9112445 140722195643440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42840064 140722195650852 140722195651051 140722195651051 140722195656655 0
/proc/91209/statm: 1217005 1055392 1248 1200 0 1215485 0
Current children cumulated CPU time: 460.4 s

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

/proc/91209/statm: 3194470 2727368 1248 1200 0 3192950 0
Current children cumulated CPU time: 2912.21 s
Current children cumulated vsize: 12777880 KiB
Current children cumulated memory: 10909472 KiB

[startup+2982.3 s]
/proc/loadavg: 4.11 4.20 4.15 5/250 92036
/proc/meminfo: memFree=118009532/131382116 swapFree=33005528/33010684
[pid=91209] ppid=91206 vsize=12777880 memory=10909472 CPUtime=2971.95 cores=1,3
/proc/91209/stat : 91209 (Exact) R 91206 91209 90928 0 -1 4194304 1797913 0 0 0 296534 661 0 0 20 0 1 0 78362331 13084549120 2727368 18446744073709551615 4198400 9112445 140722195643440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42840064 140722195650852 140722195651051 140722195651051 140722195656655 0
/proc/91209/statm: 3194470 2727368 1248 1200 0 3192950 0
Current children cumulated CPU time: 2971.95 s
Current children cumulated vsize: 12777880 KiB
Current children cumulated memory: 10909472 KiB

[startup+3042.3 s]
/proc/loadavg: 4.17 4.21 4.15 5/250 92038
/proc/meminfo: memFree=118011464/131382116 swapFree=33005528/33010684
[pid=91209] ppid=91206 vsize=12777880 memory=10909472 CPUtime=3031.7 cores=1,3
/proc/91209/stat : 91209 (Exact) R 91206 91209 90928 0 -1 4194304 1800948 0 0 0 302504 666 0 0 20 0 1 0 78362331 13084549120 2727368 18446744073709551615 4198400 9112445 140722195643440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42840064 140722195650852 140722195651051 140722195651051 140722195656655 0
/proc/91209/statm: 3194470 2727368 1248 1200 0 3192950 0
Current children cumulated CPU time: 3031.7 s
Current children cumulated vsize: 12777880 KiB
Current children cumulated memory: 10909472 KiB

[startup+3102.3 s]
/proc/loadavg: 4.06 4.17 4.14 5/250 92040
/proc/meminfo: memFree=117674428/131382116 swapFree=33005528/33010684
[pid=91209] ppid=91206 vsize=12777880 memory=10909600 CPUtime=3091.45 cores=1,3
/proc/91209/stat : 91209 (Exact) R 91206 91209 90928 0 -1 4194304 1803626 0 0 0 308476 669 0 0 20 0 1 0 78362331 13084549120 2727400 18446744073709551615 4198400 9112445 140722195643440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42840064 140722195650852 140722195651051 140722195651051 140722195656655 0
/proc/91209/statm: 3194470 2727400 1248 1200 0 3192950 0
Current children cumulated CPU time: 3091.45 s
Current children cumulated vsize: 12777880 KiB
Current children cumulated memory: 10909600 KiB

[startup+3162.3 s]
/proc/loadavg: 4.16 4.18 4.15 5/250 92091
/proc/meminfo: memFree=116974888/131382116 swapFree=33005528/33010684
[pid=91209] ppid=91206 vsize=12777880 memory=10909728 CPUtime=3151.27 cores=1,3
/proc/91209/stat : 91209 (Exact) R 91206 91209 90928 0 -1 4194304 1805116 0 0 0 314453 674 0 0 20 0 1 0 78362331 13084549120 2727432 18446744073709551615 4198400 9112445 140722195643440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42840064 140722195650852 140722195651051 140722195651051 140722195656655 0
/proc/91209/statm: 3194470 2727432 1248 1200 0 3192950 0
Current children cumulated CPU time: 3151.27 s
Current children cumulated vsize: 12777880 KiB
Current children cumulated memory: 10909728 KiB

[startup+3222.3 s]
/proc/loadavg: 4.27 4.19 4.15 5/249 92093
/proc/meminfo: memFree=116018144/131382116 swapFree=33005528/33010684
[pid=91209] ppid=91206 vsize=12777880 memory=10909728 CPUtime=3211.09 cores=1,3
/proc/91209/stat : 91209 (Exact) R 91206 91209 90928 0 -1 4194304 1807176 0 0 0 320431 678 0 0 20 0 1 0 78362331 13084549120 2727432 18446744073709551615 4198400 9112445 140722195643440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42840064 140722195650852 140722195651051 140722195651051 140722195656655 0
/proc/91209/statm: 3194470 2727432 1248 1200 0 3192950 0
Current children cumulated CPU time: 3211.09 s
Current children cumulated vsize: 12777880 KiB
Current children cumulated memory: 10909728 KiB

[startup+3282.3 s]
/proc/loadavg: 4.70 4.34 4.21 5/249 92095
/proc/meminfo: memFree=115118904/131382116 swapFree=33005528/33010684
[pid=91209] ppid=91206 vsize=12777880 memory=10909856 CPUtime=3270.92 cores=1,3
/proc/91209/stat : 91209 (Exact) R 91206 91209 90928 0 -1 4194304 1809044 0 0 0 326408 684 0 0 20 0 1 0 78362331 13084549120 2727464 18446744073709551615 4198400 9112445 140722195643440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42840064 140722195650852 140722195651051 140722195651051 140722195656655 0
/proc/91209/statm: 3194470 2727464 1248 1200 0 3192950 0
Current children cumulated CPU time: 3270.92 s
Current children cumulated vsize: 12777880 KiB
Current children cumulated memory: 10909856 KiB

[startup+3342.3 s]
/proc/loadavg: 4.32 4.29 4.20 5/250 92098
/proc/meminfo: memFree=114539288/131382116 swapFree=33005528/33010684
[pid=91209] ppid=91206 vsize=12777880 memory=10909856 CPUtime=3330.74 cores=1,3
/proc/91209/stat : 91209 (Exact) R 91206 91209 90928 0 -1 4194304 1810849 0 0 0 332389 685 0 0 20 0 1 0 78362331 13084549120 2727464 18446744073709551615 4198400 9112445 140722195643440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42840064 140722195650852 140722195651051 140722195651051 140722195656655 0
/proc/91209/statm: 3194470 2727464 1248 1200 0 3192950 0
Current children cumulated CPU time: 3330.74 s
Current children cumulated vsize: 12777880 KiB
Current children cumulated memory: 10909856 KiB

[startup+3402.3 s]
/proc/loadavg: 4.16 4.25 4.19 5/250 92100
/proc/meminfo: memFree=114513776/131382116 swapFree=33005528/33010684
[pid=91209] ppid=91206 vsize=12777880 memory=10910752 CPUtime=3390.58 cores=1,3
/proc/91209/stat : 91209 (Exact) R 91206 91209 90928 0 -1 4194304 1813405 0 0 0 338368 690 0 0 20 0 1 0 78362331 13084549120 2727688 18446744073709551615 4198400 9112445 140722195643440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42840064 140722195650852 140722195651051 140722195651051 140722195656655 0
/proc/91209/statm: 3194470 2727688 1248 1200 0 3192950 0
Current children cumulated CPU time: 3390.58 s
Current children cumulated vsize: 12777880 KiB
Current children cumulated memory: 10910752 KiB

[startup+3462.3 s]
/proc/loadavg: 4.18 4.24 4.18 5/250 92102
/proc/meminfo: memFree=114502272/131382116 swapFree=33005528/33010684
[pid=91209] ppid=91206 vsize=12777880 memory=10910752 CPUtime=3450.4 cores=1,3
/proc/91209/stat : 91209 (Exact) R 91206 91209 90928 0 -1 4194304 1816241 0 0 0 344348 692 0 0 20 0 1 0 78362331 13084549120 2727688 18446744073709551615 4198400 9112445 140722195643440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42840064 140722195650852 140722195651051 140722195651051 140722195656655 0
/proc/91209/statm: 3194470 2727688 1248 1200 0 3192950 0
Current children cumulated CPU time: 3450.4 s
Current children cumulated vsize: 12777880 KiB
Current children cumulated memory: 10910752 KiB

[startup+3522.3 s]
/proc/loadavg: 4.13 4.21 4.18 5/251 92152
/proc/meminfo: memFree=114499700/131382116 swapFree=33005528/33010684
[pid=91209] ppid=91206 vsize=12777880 memory=10910752 CPUtime=3510.21 cores=1,3
/proc/91209/stat : 91209 (Exact) R 91206 91209 90928 0 -1 4194304 1818936 0 0 0 350322 699 0 0 20 0 1 0 78362331 13084549120 2727688 18446744073709551615 4198400 9112445 140722195643440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42840064 140722195650852 140722195651051 140722195651051 140722195656655 0
/proc/91209/statm: 3194470 2727688 1248 1200 0 3192950 0
Current children cumulated CPU time: 3510.21 s
Current children cumulated vsize: 12777880 KiB
Current children cumulated memory: 10910752 KiB

[startup+3582.3 s]
/proc/loadavg: 4.15 4.20 4.18 5/251 92154
/proc/meminfo: memFree=114480920/131382116 swapFree=33005528/33010684
[pid=91209] ppid=91206 vsize=12777880 memory=10911136 CPUtime=3570.04 cores=1,3
/proc/91209/stat : 91209 (Exact) R 91206 91209 90928 0 -1 4194304 1821603 0 0 0 356302 702 0 0 20 0 1 0 78362331 13084549120 2727784 18446744073709551615 4198400 9112445 140722195643440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42840064 140722195650852 140722195651051 140722195651051 140722195656655 0
/proc/91209/statm: 3194470 2727784 1248 1200 0 3192950 0
Current children cumulated CPU time: 3570.04 s
Current children cumulated vsize: 12777880 KiB
Current children cumulated memory: 10911136 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3612.4 s]
/proc/loadavg: 4.14 4.19 4.18 5/251 92154
/proc/meminfo: memFree=114470452/131382116 swapFree=33005528/33010684
[pid=91209] ppid=91206 vsize=12777880 memory=10911136 CPUtime=3600.06 cores=1,3
/proc/91209/stat : 91209 (Exact) R 91206 91209 90928 0 -1 4194304 1822956 0 0 0 359301 705 0 0 20 0 1 0 78362331 13084549120 2727784 18446744073709551615 4198400 9112445 140722195643440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42840064 140722195650852 140722195651051 140722195651051 140722195656655 0
/proc/91209/statm: 3194470 2727784 1248 1200 0 3192950 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 12777880 KiB
Current children cumulated memory: 10911136 KiB

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

[startup+3612.81 s]
# the end of solver process 91209 was just reported to runsolver
# Child status: 10

# cumulated CPU time of all completed processes:  user=3593.21 s, system=7.26903 s

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

[startup+3612.6 s]
/proc/loadavg: 4.14 4.19 4.18 5/251 92154
/proc/meminfo: memFree=114470452/131382116 swapFree=33005528/33010684
[pid=91209] ppid=91206 vsize=7874136 memory=7327812 CPUtime=3600.26 cores=1,3
/proc/91209/stat : 91209 (Exact) R 91206 91209 90928 0 -1 4194304 1823347 0 0 0 359320 706 0 0 20 0 1 0 78362331 8063115264 1831953 18446744073709551615 4198400 9112445 140722195643440 0 0 0 0 0 8404994 0 0 0 17 1 0 0 0 0 0 10316848 10407236 42840064 140722195650852 140722195651051 140722195651051 140722195656655 0
/proc/91209/statm: 1968534 1831953 1280 1200 0 1967014 0
Current children cumulated CPU time: 3600.26 s
Current children cumulated vsize: 7874136 KiB
Current children cumulated memory: 7327812 KiB

[startup+3612.7 s]*
/proc/loadavg: 4.14 4.19 4.18 5/251 92154
/proc/meminfo: memFree=122798900/131382116 swapFree=33005528/33010684
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB

Child status: 10

Real time (s): 3612.81
CPU time (s): 3600.48
CPU user time (s): 3593.21
CPU system time (s): 7.26903
CPU usage (%): 99.6585
Max. virtual memory (cumulated for all children) (KiB): 15306588
Max. memory (cumulated for all children) (KiB): 12175808

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3593.21
system time used= 7.26903
maximum resident set size= 12300736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1823359
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= 43
involuntary context switches= 20016


# summary of solver processes directly reported to runsolver:
#   pid: 91209
#   total CPU time (s): 3600.48
#   total CPU user time (s): 3593.21
#   total CPU system time (s): 7.26903

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 17.5752 second user time and 34.2171 second system time

The end

Launcher Data 

Begin job on nodeC010 at 2025-07-04 13:00:29
IDJOB=4525780
IDBENCH=143893
IDSOLVER=3376
FILE ID=nodeC010/4525780-1751626829
RUNJOBID= nodeC010-1751624136-90940
SLURM_JOB_ID= 9598946
Free space on /tmp= 429756 MiB

SOLVER NAME= Exact_no_dombreaking 2025-06-16
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/celar/normalized-celar6-sub1_wcsp.wbo
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED --ls=360 --inp-dombreaklim=0 BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4525780-1751626829/watcher-4525780-1751626829 -o /tmp/evaluation-result-4525780-1751626829/solver-4525780-1751626829 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC010-1751624136-90940 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=1207461643 --ls=360 --inp-dombreaklim=0 HOME/instance-4525780-1751626829.wbo

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 2

MD5SUM BENCH= 4332859c61197d8e78afa6b8b48bb73c
RANDOM SEED=1207461643

nodeC010 Linux 5.14.0-503.14.1.el9_5.x86_64 #1 SMP PREEMPT_DYNAMIC Fri Nov 15 12:04:32 UTC 2024

/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	: 0xb00001f
cpu MHz		: 3691.224
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
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	: 0xb00001f
cpu MHz		: 3491.792
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
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	: 0xb00001f
cpu MHz		: 1197.544
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
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	: 0xb00001f
cpu MHz		: 1197.147
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
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	: 0xb00001f
cpu MHz		: 3691.176
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
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	: 0xb00001f
cpu MHz		: 3662.939
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
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	: 0xb00001f
cpu MHz		: 1197.338
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
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	: 0xb00001f
cpu MHz		: 1198.052
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 aes xsave avx f16c rdrand lahf_lm abm 3dnowprefetch cpuid_fault epb cat_l3 cdp_l3 pti tpr_shadow 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 vnmi
vmx flags	: vnmi preemption_timer posted_intr invvpid ept_x_only ept_ad ept_1gb flexpriority apicv tsc_offset vtpr mtf vapic ept vpid unrestricted_guest vapic_reg vid ple shadow_vmcs pml ept_violation_ve
bugs		: cpu_meltdown spectre_v1 spectre_v2 spec_store_bypass l1tf mds swapgs taa itlb_multihit mmio_stale_data
bogomips	: 6983.36
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131382116 kB
MemFree:        85805276 kB
MemAvailable:   85887184 kB
Buffers:             228 kB
Cached:           877892 kB
SwapCached:         4296 kB
Active:         43385308 kB
Inactive:         639584 kB
Active(anon):   43105472 kB
Inactive(anon):    54928 kB
Active(file):     279836 kB
Inactive(file):   584656 kB
Unevictable:        3072 kB
Mlocked:               0 kB
SwapTotal:      33010684 kB
SwapFree:       33005528 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:             14192 kB
Writeback:             0 kB
AnonPages:      43145676 kB
Mapped:           115320 kB
Shmem:             13628 kB
KReclaimable:     114088 kB
Slab:             199528 kB
SReclaimable:     114088 kB
SUnreclaim:        85440 kB
KernelStack:        4000 kB
PageTables:        89440 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    98701740 kB
Committed_AS:   46290052 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      149464 kB
VmallocChunk:          0 kB
Percpu:             3776 kB
HardwareCorrupted:     0 kB
AnonHugePages:  20627456 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:              0 kB
CmaFree:               0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      205640 kB
DirectMap2M:    12279808 kB
DirectMap1G:    123731968 kB

Free space on /tmp at the end= 429800 MiB
End job on nodeC010 at 2025-07-04 14:00:42