Trace number 4425834

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 2024-07-05MSAT (TO) 3600.13 3608.46

General information on the benchmark

NamePB24/WBO/PARTIAL-LIN/wcsp/scens/
normalized-scen06-30_wcsp.wbo
MD5SUM78328f487213678b2b5d4b2f93871f54
Bench CategoryPARTIAL-LIN (WBO, both soft and hard constraints, linear constraints)
Best result obtained on this benchmarkMOPT
Best cost obtained on this benchmark2080
Best CPU time to get the best result obtained on this benchmark1252
Max-Satisfiable
Max-(Un)Satisfiability was proved
Best value of the cost
Optimality of the best cost was proved
Number of variables1018
Total number of constraints50646
Number of soft constraints50547
Number of constraints which are clauses50547
Number of constraints which are cardinality constraints (but not clauses)99
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint1
Maximum length of a constraint14
Top cost 245952
Min constraint cost 1
Max constraint cost 1000
Sum of constraints costs 7842900
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 15
Number of bits of the biggest sum of numbers4
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 

0.99/1.05	o 69149
1.09/1.12	o 9717
1.18/1.20	o 9517
1.18/1.27	o 9317
1.28/1.32	o 9316
1.38/1.40	o 9315
1.58/1.64	o 9217
1.68/1.75	o 9214
4.87/5.00	o 9211
10.07/10.18	o 9112
10.25/10.30	o 9110
10.35/10.41	o 9109
38.20/38.31	o 9099
64.86/65.06	o 9079
64.96/65.12	o 9078
64.96/65.19	o 9077
65.14/65.37	o 9067
65.34/65.51	o 9052
65.44/65.61	o 9047
65.54/65.71	o 9046
65.64/65.81	o 9042
77.31/77.53	o 9007
77.41/77.67	o 9003
77.51/77.78	o 9002
78.61/78.86	o 8994
103.45/103.70	o 8983
107.64/107.91	o 8793
108.24/108.53	o 8792
111.03/111.34	o 8788
111.33/111.61	o 8785
111.43/111.71	o 8784
111.43/111.79	o 8783
111.75/112.09	o 8782
114.73/115.01	o 8781
115.52/115.81	o 8780
116.32/116.68	o 8742
120.01/120.32	o 8738
120.72/121.01	o 8737
121.11/121.46	o 8735
140.97/141.31	o 8727
141.36/141.73	o 8642
141.67/142.07	o 8641
141.77/142.19	o 8640
143.78/144.12	o 8581
143.86/144.24	o 8483
145.06/145.45	o 8473
151.44/151.83	o 8472
158.53/158.90	o 8393
158.53/158.98	o 8391
162.42/162.80	o 8385
162.52/162.93	o 8294
162.82/163.24	o 8292
180.48/180.92	o 8291
208.23/208.75	o 8281
247.24/247.89	o 8276
247.46/248.04	o 8275
247.75/248.34	o 8273
297.93/298.67	o 8205
298.23/298.92	o 8204
298.34/299.02	o 8202
298.44/299.14	o 8201
306.02/306.72	o 8195
380.85/381.79	o 8189
407.22/408.16	o 8102
407.80/408.73	o 8091
408.21/409.15	o 8089
409.10/410.08	o 8080
409.29/410.25	o 7889
413.48/414.43	o 7887
416.48/417.49	o 7875
556.38/557.62	o 7850
560.67/562.00	o 7824
560.89/562.14	o 7822
561.17/562.40	o 7810
562.17/563.40	o 7766
562.27/563.52	o 7756
563.96/565.23	o 7754
564.16/565.43	o 7747
564.26/565.55	o 7746
564.56/565.80	o 7744
661.95/663.45	o 7730
662.05/663.52	o 7717
662.05/663.58	o 7697
662.15/663.65	o 7696
662.25/663.73	o 7695
662.35/663.84	o 7685
662.56/664.03	o 7675
662.66/664.11	o 7663
664.35/665.82	o 7473
666.44/667.92	o 7465
668.55/670.08	o 7454
679.82/681.38	o 7446
680.02/681.51	o 7445
680.12/681.65	o 7444
692.69/694.23	o 7265
692.79/694.38	o 7176
692.89/694.47	o 7076
699.17/700.79	o 7006
699.37/701.01	o 7005
700.97/702.59	o 7004
701.97/703.51	o 6993
737.40/739.04	o 6894
737.50/739.18	o 6595
775.71/777.45	o 6548
775.81/777.52	o 6546
775.91/777.67	o 6544
776.11/777.83	o 6532
777.31/779.07	o 6452
790.98/792.77	o 6364
798.56/800.39	o 6307
798.76/800.56	o 6306
798.96/800.71	o 6208
799.06/800.82	o 6207
799.46/801.29	o 6197
799.56/801.38	o 6195
822.72/824.51	o 6147
822.72/824.59	o 6146
822.81/824.69	o 6145
827.80/829.63	o 6125
845.87/847.77	o 6014
854.65/856.53	o 6013
859.93/861.86	o 5806
884.48/886.41	o 5804
884.48/886.47	o 5803
884.68/886.60	o 5802
884.78/886.77	o 5729
884.88/886.81	o 5728
884.88/886.85	o 5719
884.98/886.95	o 5717
885.09/887.02	o 5716
885.88/887.87	o 5707
885.98/887.91	o 5698
885.98/887.98	o 5697
919.20/921.25	o 5694
919.30/921.38	o 5693
924.29/926.36	o 5667
924.59/926.64	o 5666
924.69/926.73	o 5665
966.48/968.66	o 5664
990.22/992.44	o 5657
990.32/992.51	o 5656
990.42/992.67	o 5655
990.72/992.98	o 5646
991.01/993.20	o 5645
991.92/994.18	o 5636
998.91/1001.13	o 5635
1014.05/1016.33	o 5634
1014.45/1016.72	o 5625
1077.17/1079.66	o 5604
1081.06/1083.59	o 5603
1085.85/1088.37	o 5602
1092.82/1095.30	o 5582
1094.32/1096.88	o 5581
1114.27/1116.86	o 5580
1178.69/1181.49	o 5377
1189.27/1192.07	o 5376
1189.37/1192.18	o 5375
1189.56/1192.37	o 5374
1189.66/1192.43	o 5373
1189.76/1192.52	o 5372
1189.76/1192.58	o 5371
1190.95/1193.70	o 5333
1191.27/1194.01	o 5332
1191.27/1194.10	o 5323
1192.05/1194.89	o 5308
1192.15/1194.97	o 5307
1192.26/1195.09	o 5305
1193.26/1196.08	o 5297
1193.36/1196.17	o 5296
1193.45/1196.24	o 5295
1193.85/1196.69	o 5294
1194.26/1197.10	o 5245
1194.54/1197.31	o 5238
1194.74/1197.56	o 5237
1194.84/1197.67	o 5228
1196.54/1199.32	o 5218
1199.63/1202.45	o 5208
1199.73/1202.55	o 5206
1199.93/1202.71	o 5198
1200.03/1202.83	o 5197
1202.42/1205.26	o 5196
1202.82/1205.61	o 5189
1202.82/1205.69	o 5188
1202.92/1205.79	o 5187
1203.23/1206.02	o 5186
1259.27/1262.29	o 5185
1259.47/1262.45	o 5176
1261.56/1264.55	o 5167
1263.96/1266.92	o 5166
1312.72/1315.85	o 5163
1312.82/1315.91	o 5162
1312.93/1316.01	o 5161
1314.51/1317.63	o 5152
1318.51/1321.63	o 5151
1371.16/1374.43	o 4939
1371.77/1375.07	o 4903
1371.87/1375.18	o 4902
1371.96/1375.28	o 4901
1372.77/1376.05	o 4899
1372.87/1376.16	o 4898
1514.67/1518.36	o 4897
1515.28/1518.92	o 4880
1544.49/1548.20	o 4879
1563.14/1566.91	o 4858
1563.25/1567.06	o 4769
1830.92/1835.44	o 4651
1901.14/1905.84	o 4586
1901.24/1905.93	o 4585
1917.31/1922.04	o 4578
1917.41/1922.15	o 4575
1917.50/1922.21	o 4574
1917.50/1922.29	o 4573
1917.80/1922.52	o 4563
1918.00/1922.71	o 4561
1918.70/1923.40	o 4560
1919.49/1924.27	o 4493
1919.79/1924.55	o 4492
1927.08/1931.83	o 4427
1927.18/1931.90	o 4426
1927.30/1932.03	o 4424
1927.30/1932.10	o 4422
1932.17/1936.90	o 4322
1994.15/1999.05	o 4320
2319.45/2325.10	o 4319
2319.55/2325.18	o 4318
2319.64/2325.25	o 4317
2320.04/2325.61	o 4315
2327.12/2332.75	o 4213
2329.53/2335.12	o 4148
2329.62/2335.20	o 4146
2329.91/2335.55	o 4141
2331.42/2337.01	o 4046
2331.61/2337.23	o 4041
2568.31/2574.49	o 3953
2614.40/2620.69	o 3820
2657.72/2664.02	o 3730
2993.20/3000.29	o 3717
2993.70/3000.73	o 3715
3104.37/3111.61	o 3709
3104.57/3111.82	o 3708
3104.88/3112.15	o 3689
3105.07/3112.35	o 3688
3105.17/3112.49	o 3687
3105.37/3112.67	o 3685
3165.55/3172.91	o 3684
3165.66/3173.02	o 3683
3585.11/3593.41	o 3671
3585.31/3593.62	o 3661
3586.71/3595.05	o 3660
3600.06/3608.40	c Program interrupted by user.
3600.06/3608.40	s SATISFIABLE
3600.06/3608.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 -x617 -x618 -x619 -x620 -x621 -x622 -x623 -x624 -x625 -x626 -x627 -x628 -x629 -x630 -x631 -x632 -x633 x634 -x635 -x636 -x637 x638 -x639 -x640 -x641 -x642 -x643 x644 -x645 -x646 -x647 -x648 x649 -x650 -x651 -x652 -x653 -x654 -x655 -x656 -x657 -x658 -x659 -x660 -x661 -x662 -x663 -x664 -x665 -x666 -x667 -x668 -x669 x670 -x671 -x672 -x673 -x674 -x675 -x676 x677 -x678 -x679 -x680 -x681 -x682 -x683 -x684 -x685 -x686 -x687 -x688 -x689 -x690 -x691 x692 -x693 -x694 -x695 -x696 -x697 x698 -x699 -x700 -x701 -x702 -x703 -x704 -x705 -x706 -x707 -x708 -x709 -x710 -x711 -x712 -x713 -x714 -x715 -x716 -x717 -x718 -x719 -x720 -x721 x722 -x723 -x724 x725 -x726 -x727 -x728 -x729 -x730 -x731 -x732 -x733 -x734 -x735 -x736 -x737 -x738 x739 -x740 -x741 -x742 -x743 -x744 -x745 -x746 -x747 x748 x749 -x750 -x751 -x752 -x753 -x754 -x755 -x756 -x757 x758 -x759 -x760 -x761 -x762 -x763 x764 -x765 -x766 -x767 -x768 -x769 -x770 -x771 x772 -x773 x774 -x775 -x776 -x777 -x778 -x779 -x780 -x781 -x782 x783 -x784 -x785 -x786 -x787 x788 -x789 -x790 x791 -x792 -x793 -x794 -x795 -x796 -x797 -x798 -x799 -x800 -x801 x802 -x803 -x804 x805 -x806 -x807 -x808 -x809 x810 -x811 -x812 -x813 -x814 -x815 -x816 -x817 -x818 -x819 -x820 -x821 -x822 -x823 -x824 x825 -x826 -x827 -x828 -x829 x830 -x831 -x832 -x833 -x834 -x835 -x836 -x837 -x838 -x839 -x840 -x841 -x842 -x843 -x844 -x845 -x846 x847 -x848 -x849 -x850 -x851 -x852 -x853 -x854 -x855 -x856 -x857 -x858 -x859 -x860 -x861 x862 x863 -x864 -x865 -x866 -x867 -x868 -x869 -x870 -x871 -x872 -x873 x874 -x875 -x876 -x877 -x878 -x879 x880 -x881 -x882 -x883 -x884 -x885 -x886 -x887 -x888 -x889 -x890 -x891 -x892 -x893 -x894 -x895 -x896 x897 -x898 -x899 -x900 -x901 -x902 -x903 -x904 -x905 -x906 x907 -x908 -x909 -x910 -x911 -x912 -x913 -x914 -x915 -x916 -x917 -x918 -x919 -x920 -x921 -x922 -x923 -x924 -x925 x926 -x927 -x928 -x929 -x930 -x931 -x932 -x933 -x934 -x935 x936 -x937 -x938 -x939 -x940 -x941 -x942 -x943 -x944 -x945 -x946 -x947 -x948 -x949 x950 x951 -x952 -x953 -x954 -x955 -x956 -x957 -x958 -x959 -x960 -x961 -x962 x963 -x964 -x965 -x966 -x967 -x968 -x969 -x970 -x971 -x972 -x973 x974 -x975 -x976 -x977 -x978 -x979 -x980 -x981 -x982 -x983 -x984 -x985 -x986 -x987 -x988 -x989 -x990 -x991 -x992 -x993 -x994 -x995 -x996 -x997 x998 x999 -x1000 -x1001 -x1002 -x1003 -x1004 -x1005 -x1006 -x1007 -x1008 -x1009 -x1010 -x1011 -x1012 -x1013 x1014 -x1015 -x1016 -x1017 -x1018

Verifier Data 

OK	3660

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: 64059 MiB (62838 MiB free)
  memory of node 1: 64510 MiB (63320 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4425834-1720882141/watcher-4425834-1720882141 -o /tmp/evaluation-result-4425834-1720882141/solver-4425834-1720882141 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1720881298-701982 --watchdog 3760 HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=631105369 HOME/instance-4425834-1720882141.wbo 

running on 2 cores: 4,6

CPU governors:
  performance: 4 6

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
Current StackSize limit: 8192 KiB

solver pid=703346, runsolver pid=703343

[startup+0.10086 s]*
/proc/loadavg: 4.10 4.00 3.02 5/241 703347
/proc/meminfo: memFree=129167852/131655788 swapFree=131071996/131071996
[pid=703346] ppid=703343 vsize=44752 memory=23260 CPUtime=0.1 cores=4,6
/proc/703346/stat : 703346 (Exact) R 703343 703346 697562 0 -1 4194304 5933 0 0 0 9 1 0 0 20 0 1 0 140371157 45826048 5815 134679101440 4194304 8309489 140736839762768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 34840576 140736839766949 140736839767118 140736839767118 140736839774159 0
/proc/703346/statm: 11188 5815 884 1005 0 9951 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 44752 KiB
Current children cumulated memory: 23260 KiB

[startup+0.212702 s]*
/proc/loadavg: 4.10 4.00 3.02 5/241 703347
/proc/meminfo: memFree=129151468/131655788 swapFree=131071996/131071996
[pid=703346] ppid=703343 vsize=62304 memory=40784 CPUtime=0.21 cores=4,6
/proc/703346/stat : 703346 (Exact) R 703343 703346 697562 0 -1 4194304 12134 0 0 0 18 3 0 0 20 0 1 0 140371157 63799296 10196 134679101440 4194304 8309489 140736839762768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 34840576 140736839766949 140736839767118 140736839767118 140736839774159 0
/proc/703346/statm: 15576 10196 884 1005 0 14339 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 62304 KiB
Current children cumulated memory: 40784 KiB

[startup+0.312665 s]*
/proc/loadavg: 4.10 4.00 3.02 5/241 703347
/proc/meminfo: memFree=129129996/131655788 swapFree=131071996/131071996
[pid=703346] ppid=703343 vsize=85460 memory=60836 CPUtime=0.3 cores=4,6
/proc/703346/stat : 703346 (Exact) R 703343 703346 697562 0 -1 4194304 17279 0 0 0 26 4 0 0 20 0 1 0 140371157 87511040 15209 134679101440 4194304 8309489 140736839762768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 34840576 140736839766949 140736839767118 140736839767118 140736839774159 0
/proc/703346/statm: 21365 15209 884 1005 0 20128 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 85460 KiB
Current children cumulated memory: 60836 KiB

[startup+0.700325 s]
/proc/loadavg: 4.10 4.00 3.02 5/241 703347
/proc/meminfo: memFree=129109664/131655788 swapFree=131071996/131071996
[pid=703346] ppid=703343 vsize=123376 memory=106656 CPUtime=0.68 cores=4,6
/proc/703346/stat : 703346 (Exact) R 703343 703346 697562 0 -1 4194304 28370 0 0 0 60 8 0 0 20 0 1 0 140371157 126337024 26664 134679101440 4194304 8309489 140736839762768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 34840576 140736839766949 140736839767118 140736839767118 140736839774159 0
/proc/703346/statm: 30844 26664 900 1005 0 29607 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 123376 KiB
Current children cumulated memory: 106656 KiB

[startup+1.50032 s]
/proc/loadavg: 4.10 4.00 3.02 5/241 703347
/proc/meminfo: memFree=129024552/131655788 swapFree=131071996/131071996
[pid=703346] ppid=703343 vsize=194812 memory=181184 CPUtime=1.48 cores=4,6
/proc/703346/stat : 703346 (Exact) R 703343 703346 697562 0 -1 4194304 43986 0 0 0 137 11 0 0 20 0 1 0 140371157 199487488 45296 134679101440 4194304 8309489 140736839762768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 34840576 140736839766949 140736839767118 140736839767118 140736839774159 0
/proc/703346/statm: 48703 45296 1108 1005 0 47466 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 194812 KiB
Current children cumulated memory: 181184 KiB

[startup+3.11296 s]
/proc/loadavg: 4.10 4.00 3.02 5/241 703347
/proc/meminfo: memFree=128979068/131655788 swapFree=131071996/131071996
[pid=703346] ppid=703343 vsize=222408 memory=210816 CPUtime=3.09 cores=4,6
/proc/703346/stat : 703346 (Exact) R 703343 703346 697562 0 -1 4194304 48322 0 0 0 297 12 0 0 20 0 1 0 140371157 227745792 52704 134679101440 4194304 8309489 140736839762768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 34840576 140736839766949 140736839767118 140736839767118 140736839774159 0
/proc/703346/statm: 55602 52704 1108 1005 0 54365 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 222408 KiB
Current children cumulated memory: 210816 KiB

[startup+6.3003 s]
/proc/loadavg: 4.09 4.00 3.03 5/241 703347
/proc/meminfo: memFree=128977016/131655788 swapFree=131071996/131071996
[pid=703346] ppid=703343 vsize=235348 memory=212860 CPUtime=6.27 cores=4,6
/proc/703346/stat : 703346 (Exact) R 703343 703346 697562 0 -1 4194304 48529 0 0 0 615 12 0 0 20 0 1 0 140371157 240996352 53215 134679101440 4194304 8309489 140736839762768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 34840576 140736839766949 140736839767118 140736839767118 140736839774159 0
/proc/703346/statm: 58837 53215 1140 1005 0 57600 0
Current children cumulated CPU time: 6.27 s
Current children cumulated vsize: 235348 KiB
Current children cumulated memory: 212860 KiB

[startup+12.7003 s]
/proc/loadavg: 4.08 4.00 3.03 5/241 703349
/proc/meminfo: memFree=128963112/131655788 swapFree=131071996/131071996
[pid=703346] ppid=703343 vsize=246400 memory=230216 CPUtime=12.65 cores=4,6
/proc/703346/stat : 703346 (Exact) R 703343 703346 697562 0 -1 4194304 50437 0 0 0 1252 13 0 0 20 0 1 0 140371157 252313600 57554 134679101440 4194304 8309489 140736839762768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 34840576 140736839766949 140736839767118 140736839767118 140736839774159 0
/proc/703346/statm: 61600 57554 1140 1005 0 60363 0
Current children cumulated CPU time: 12.65 s
Current children cumulated vsize: 246400 KiB
Current children cumulated memory: 230216 KiB

[startup+25.5004 s]
/proc/loadavg: 4.14 4.02 3.05 5/241 703350
/proc/meminfo: memFree=128936100/131655788 swapFree=131071996/131071996
[pid=703346] ppid=703343 vsize=286556 memory=255672 CPUtime=25.43 cores=4,6
/proc/703346/stat : 703346 (Exact) R 703343 703346 697562 0 -1 4194304 55168 0 0 0 2528 15 0 0 20 0 1 0 140371157 293433344 63918 134679101440 4194304 8309489 140736839762768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 34840576 140736839766949 140736839767118 140736839767118 140736839774159 0
/proc/703346/statm: 71639 63918 1140 1005 0 70402 0
Current children cumulated CPU time: 25.43 s
Current children cumulated vsize: 286556 KiB
Current children cumulated memory: 255672 KiB

[startup+51.1124 s]
/proc/loadavg: 4.09 4.01 3.08 5/241 703355
/proc/meminfo: memFree=128872404/131655788 swapFree=131071996/131071996
[pid=703346] ppid=703343 vsize=358008 memory=314020 CPUtime=50.99 cores=4,6
/proc/703346/stat : 703346 (Exact) R 703343 703346 697562 0 -1 4194304 65135 0 0 0 5080 19 0 0 20 0 1 0 140371157 366600192 78505 134679101440 4194304 8309489 140736839762768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 34840576 140736839766949 140736839767118 140736839767118 140736839774159 0
/proc/703346/statm: 89502 78505 1140 1005 0 88265 0
Current children cumulated CPU time: 50.99 s
Current children cumulated vsize: 358008 KiB
Current children cumulated memory: 314020 KiB

[startup+102.3 s]
/proc/loadavg: 4.17 4.04 3.14 5/243 703368
/proc/meminfo: memFree=128623588/131655788 swapFree=131071996/131071996
[pid=703346] ppid=703343 vsize=671100 memory=556544 CPUtime=102.06 cores=4,6
/proc/703346/stat : 703346 (Exact) R 703343 703346 697562 0 -1 4194304 96793 0 0 0 10172 34 0 0 20 0 1 0 140371157 687206400 139136 134679101440 4194304 8309489 140736839762768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 34840576 140736839766949 140736839767118 140736839767118 140736839774159 0
/proc/703346/statm: 167775 139136 1140 1005 0 166538 0
Current children cumulated CPU time: 102.06 s
Current children cumulated vsize: 671100 KiB
Current children cumulated memory: 556544 KiB

[startup+162.3 s]
/proc/loadavg: 4.12 4.05 3.20 5/243 703378
/proc/meminfo: memFree=128394448/131655788 swapFree=131071996/131071996
[pid=703346] ppid=703343 vsize=1012976 memory=785728 CPUtime=161.92 cores=4,6
/proc/703346/stat : 703346 (Exact) R 703343 703346 697562 0 -1 4194304 127717 0 0 0 16144 48 0 0 20 0 1 0 140371157 1037287424 196432 134679101440 4194304 8309489 140736839762768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 34840576 140736839766949 140736839767118 140736839767118 140736839774159 0
/proc/703346/statm: 253244 196432 1140 1005 0 252007 0
Current children cumulated CPU time: 161.92 s
Current children cumulated vsize: 1012976 KiB
Current children cumulated memory: 785728 KiB

[startup+222.3 s]
/proc/loadavg: 4.28 4.10 3.28 5/243 703388
/proc/meminfo: memFree=128029268/131655788 swapFree=131071996/131071996
[pid=703346] ppid=703343 vsize=1292612 memory=1147012 CPUtime=221.79 cores=4,6
/proc/703346/stat : 703346 (Exact) R 703343 703346 697562 0 -1 4194304 182831 0 0 0 22118 61 0 0 20 0 1 0 140371157 1323634688 286753 134679101440 4194304 8309489 140736839762768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 34840576 140736839766949 140736839767118 140736839767118 140736839774159 0
/proc/703346/statm: 323153 286753 1140 1005 0 321916 0
Current children cumulated CPU time: 221.79 s
Current children cumulated vsize: 1292612 KiB
Current children cumulated memory: 1147012 KiB

[startup+282.3 s]
/proc/loadavg: 4.21 4.11 3.33 5/243 703398
/proc/meminfo: memFree=128026760/131655788 swapFree=131071996/131071996
[pid=703346] ppid=703343 vsize=1294024 memory=1148836 CPUtime=281.67 cores=4,6
/proc/703346/stat : 703346 (Exact) R 703343 703346 697562 0 -1 4194304 183623 0 0 0 28103 64 0 0 20 0 1 0 140371157 1325080576 287209 134679101440 4194304 8309489 140736839762768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 34840576 140736839766949 140736839767118 140736839767118 140736839774159 0
/proc/703346/statm: 323506 287209 1140 1005 0 322269 0
Current children cumulated CPU time: 281.67 s
Current children cumulated vsize: 1294024 KiB
Current children cumulated memory: 1148836 KiB

[startup+342.3 s]
/proc/loadavg: 4.23 4.13 3.39 5/243 703410
/proc/meminfo: memFree=127941620/131655788 swapFree=131071996/131071996
[pid=703346] ppid=703343 vsize=1302328 memory=1233368 CPUtime=341.54 cores=4,6
/proc/703346/stat : 703346 (Exact) R 703343 703346 697562 0 -1 4194304 192940 0 0 0 34084 70 0 0 20 0 1 0 140371157 1333583872 308342 134679101440 4194304 8309489 140736839762768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 34840576 140736839766949 140736839767118 140736839767118 140736839774159 0
/proc/703346/statm: 325582 308342 1140 1005 0 324345 0
Current children cumulated CPU time: 341.54 s
Current children cumulated vsize: 1302328 KiB
Current children cumulated memory: 1233368 KiB

[startup+402.3 s]
/proc/loadavg: 4.26 4.16 3.45 5/246 703805
/proc/meminfo: memFree=127320732/131655788 swapFree=131071996/131071996
[pid=703346] ppid=703343 vsize=2220644 memory=1849340 CPUtime=401.42 cores=4,6
/proc/703346/stat : 703346 (Exact) R 703343 703346 697562 0 -1 4194304 291807 0 0 0 40043 99 0 0 20 0 1 0 140371157 2273939456 462335 134679101440 4194304 8309489 140736839762768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 34840576 140736839766949 140736839767118 140736839767118 140736839774159 0
/proc/703346/statm: 555161 462335 1140 1005 0 553924 0
Current children cumulated CPU time: 401.42 s
Current children cumulated vsize: 2220644 KiB
Current children cumulated memory: 1849340 KiB

[startup+462.3 s]
/proc/loadavg: 4.19 4.15 3.50 5/244 703816
/proc/meminfo: memFree=127316544/131655788 swapFree=131071996/131071996
[pid=703346] ppid=703343 vsize=2226700 memory=1852388 CPUtime=461.28 cores=4,6
/proc/703346/stat : 703346 (Exact) R 703343 703346 697562 0 -1 4194304 292803 0 0 0 46026 102 0 0 20 0 1 0 140371157 2280140800 463097 134679101440 4194304 8309489 140736839762768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 34840576 140736839766949 140736839767118 140736839767118 140736839774159 0
/proc/703346/statm: 556675 463097 1140 1005 0 555438 0
Current children cumulated CPU time: 461.28 s

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

Current children cumulated memory: 2511204 KiB

[startup+2862.3 s]
/proc/loadavg: 4.15 4.11 4.09 5/242 705132
/proc/meminfo: memFree=119158488/131655788 swapFree=131071996/131071996
[pid=703346] ppid=703343 vsize=3162820 memory=2511772 CPUtime=2855.59 cores=4,6
/proc/703346/stat : 703346 (Exact) R 703343 703346 697562 0 -1 4194304 411785 0 0 0 285326 233 0 0 20 0 1 0 140371157 3238727680 627943 134679101440 4194304 8309489 140736839762768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 34840576 140736839766949 140736839767118 140736839767118 140736839774159 0
/proc/703346/statm: 790705 627943 1140 1005 0 789468 0
Current children cumulated CPU time: 2855.59 s
Current children cumulated vsize: 3162820 KiB
Current children cumulated memory: 2511772 KiB

[startup+2922.3 s]
/proc/loadavg: 4.05 4.09 4.09 5/242 705143
/proc/meminfo: memFree=119060364/131655788 swapFree=131071996/131071996
[pid=703346] ppid=703343 vsize=3162820 memory=2511784 CPUtime=2915.46 cores=4,6
/proc/703346/stat : 703346 (Exact) R 703343 703346 697562 0 -1 4194304 412779 0 0 0 291310 236 0 0 20 0 1 0 140371157 3238727680 627946 134679101440 4194304 8309489 140736839762768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 34840576 140736839766949 140736839767118 140736839767118 140736839774159 0
/proc/703346/statm: 790705 627946 1140 1005 0 789468 0
Current children cumulated CPU time: 2915.46 s
Current children cumulated vsize: 3162820 KiB
Current children cumulated memory: 2511784 KiB

[startup+2982.3 s]
/proc/loadavg: 4.10 4.10 4.09 5/242 705153
/proc/meminfo: memFree=118968292/131655788 swapFree=131071996/131071996
[pid=703346] ppid=703343 vsize=3168124 memory=2514884 CPUtime=2975.34 cores=4,6
/proc/703346/stat : 703346 (Exact) R 703343 703346 697562 0 -1 4194304 414434 0 0 0 297296 238 0 0 20 0 1 0 140371157 3244158976 628721 134679101440 4194304 8309489 140736839762768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 34840576 140736839766949 140736839767118 140736839767118 140736839774159 0
/proc/703346/statm: 792031 628721 1140 1005 0 790794 0
Current children cumulated CPU time: 2975.34 s
Current children cumulated vsize: 3168124 KiB
Current children cumulated memory: 2514884 KiB

[startup+3042.3 s]
/proc/loadavg: 3.98 4.08 4.08 4/235 705194
/proc/meminfo: memFree=119524188/131655788 swapFree=131071996/131071996
[pid=703346] ppid=703343 vsize=3169292 memory=2517936 CPUtime=3035.21 cores=4,6
/proc/703346/stat : 703346 (Exact) R 703343 703346 697562 0 -1 4194304 416064 0 0 0 303281 240 0 0 20 0 1 0 140371157 3245355008 629484 134679101440 4194304 8309489 140736839762768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 34840576 140736839766949 140736839767118 140736839767118 140736839774159 0
/proc/703346/statm: 792323 629484 1140 1005 0 791086 0
Current children cumulated CPU time: 3035.21 s
Current children cumulated vsize: 3169292 KiB
Current children cumulated memory: 2517936 KiB

[startup+3102.3 s]
/proc/loadavg: 3.45 3.91 4.02 4/237 705209
/proc/meminfo: memFree=119497304/131655788 swapFree=131071996/131071996
[pid=703346] ppid=703343 vsize=3169904 memory=2519412 CPUtime=3095.09 cores=4,6
/proc/703346/stat : 703346 (Exact) R 703343 703346 697562 0 -1 4194304 417498 0 0 0 309267 242 0 0 20 0 1 0 140371157 3245981696 629853 134679101440 4194304 8309489 140736839762768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 34840576 140736839766949 140736839767118 140736839767118 140736839774159 0
/proc/703346/statm: 792476 629853 1140 1005 0 791239 0
Current children cumulated CPU time: 3095.09 s
Current children cumulated vsize: 3169904 KiB
Current children cumulated memory: 2519412 KiB

[startup+3162.3 s]
/proc/loadavg: 3.24 3.76 3.96 4/236 705220
/proc/meminfo: memFree=119360260/131655788 swapFree=131071996/131071996
[pid=703346] ppid=703343 vsize=3170976 memory=2520568 CPUtime=3154.97 cores=4,6
/proc/703346/stat : 703346 (Exact) R 703343 703346 697562 0 -1 4194304 418827 0 0 0 315252 245 0 0 20 0 1 0 140371157 3247079424 630142 134679101440 4194304 8309489 140736839762768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 34840576 140736839766949 140736839767118 140736839767118 140736839774159 0
/proc/703346/statm: 792744 630142 1140 1005 0 791507 0
Current children cumulated CPU time: 3154.97 s
Current children cumulated vsize: 3170976 KiB
Current children cumulated memory: 2520568 KiB

[startup+3222.3 s]
/proc/loadavg: 3.14 3.63 3.90 4/236 705230
/proc/meminfo: memFree=119209972/131655788 swapFree=131071996/131071996
[pid=703346] ppid=703343 vsize=3202164 memory=2550924 CPUtime=3214.85 cores=4,6
/proc/703346/stat : 703346 (Exact) R 703343 703346 697562 0 -1 4194304 427309 0 0 0 321235 250 0 0 20 0 1 0 140371157 3279015936 637731 134679101440 4194304 8309489 140736839762768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 34840576 140736839766949 140736839767118 140736839767118 140736839774159 0
/proc/703346/statm: 800541 637731 1140 1005 0 799304 0
Current children cumulated CPU time: 3214.85 s
Current children cumulated vsize: 3202164 KiB
Current children cumulated memory: 2550924 KiB

[startup+3282.3 s]
/proc/loadavg: 3.10 3.53 3.85 4/236 705240
/proc/meminfo: memFree=118954400/131655788 swapFree=131071996/131071996
[pid=703346] ppid=703343 vsize=3203164 memory=2552596 CPUtime=3274.72 cores=4,6
/proc/703346/stat : 703346 (Exact) R 703343 703346 697562 0 -1 4194304 428711 0 0 0 327219 253 0 0 20 0 1 0 140371157 3280039936 638149 134679101440 4194304 8309489 140736839762768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 34840576 140736839766949 140736839767118 140736839767118 140736839774159 0
/proc/703346/statm: 800791 638149 1140 1005 0 799554 0
Current children cumulated CPU time: 3274.72 s
Current children cumulated vsize: 3203164 KiB
Current children cumulated memory: 2552596 KiB

[startup+3342.3 s]
/proc/loadavg: 3.07 3.45 3.80 4/236 705253
/proc/meminfo: memFree=118881408/131655788 swapFree=131071996/131071996
[pid=703346] ppid=703343 vsize=3203164 memory=2552796 CPUtime=3334.6 cores=4,6
/proc/703346/stat : 703346 (Exact) R 703343 703346 697562 0 -1 4194304 429752 0 0 0 333205 255 0 0 20 0 1 0 140371157 3280039936 638199 134679101440 4194304 8309489 140736839762768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 34840576 140736839766949 140736839767118 140736839767118 140736839774159 0
/proc/703346/statm: 800791 638199 1140 1005 0 799554 0
Current children cumulated CPU time: 3334.6 s
Current children cumulated vsize: 3203164 KiB
Current children cumulated memory: 2552796 KiB

[startup+3402.3 s]
/proc/loadavg: 3.07 3.38 3.75 4/236 705263
/proc/meminfo: memFree=118825436/131655788 swapFree=131071996/131071996
[pid=703346] ppid=703343 vsize=3212528 memory=2560768 CPUtime=3394.48 cores=4,6
/proc/703346/stat : 703346 (Exact) R 703343 703346 697562 0 -1 4194304 432505 0 0 0 339189 259 0 0 20 0 1 0 140371157 3289628672 640192 134679101440 4194304 8309489 140736839762768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 34840576 140736839766949 140736839767118 140736839767118 140736839774159 0
/proc/703346/statm: 803132 640192 1140 1005 0 801895 0
Current children cumulated CPU time: 3394.48 s
Current children cumulated vsize: 3212528 KiB
Current children cumulated memory: 2560768 KiB

[startup+3462.3 s]
/proc/loadavg: 3.14 3.34 3.71 4/234 705273
/proc/meminfo: memFree=118748532/131655788 swapFree=131071996/131071996
[pid=703346] ppid=703343 vsize=3212528 memory=2560852 CPUtime=3454.34 cores=4,6
/proc/703346/stat : 703346 (Exact) R 703343 703346 697562 0 -1 4194304 433598 0 0 0 345173 261 0 0 20 0 1 0 140371157 3289628672 640213 134679101440 4194304 8309489 140736839762768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 34840576 140736839766949 140736839767118 140736839767118 140736839774159 0
/proc/703346/statm: 803132 640213 1140 1005 0 801895 0
Current children cumulated CPU time: 3454.34 s
Current children cumulated vsize: 3212528 KiB
Current children cumulated memory: 2560852 KiB

[startup+3522.3 s]
/proc/loadavg: 3.19 3.31 3.68 4/234 705284
/proc/meminfo: memFree=118650232/131655788 swapFree=131071996/131071996
[pid=703346] ppid=703343 vsize=3212528 memory=2563360 CPUtime=3514.19 cores=4,6
/proc/703346/stat : 703346 (Exact) R 703343 703346 697562 0 -1 4194304 435282 0 0 0 351156 263 0 0 20 0 1 0 140371157 3289628672 640840 134679101440 4194304 8309489 140736839762768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 34840576 140736839766949 140736839767118 140736839767118 140736839774159 0
/proc/703346/statm: 803132 640840 1140 1005 0 801895 0
Current children cumulated CPU time: 3514.19 s
Current children cumulated vsize: 3212528 KiB
Current children cumulated memory: 2563360 KiB

[startup+3582.3 s]
/proc/loadavg: 3.62 3.42 3.70 4/234 705295
/proc/meminfo: memFree=116100084/131655788 swapFree=131071996/131071996
[pid=703346] ppid=703343 vsize=3221196 memory=2569280 CPUtime=3574.04 cores=4,6
/proc/703346/stat : 703346 (Exact) R 703343 703346 697562 0 -1 4194304 437609 0 0 0 357137 267 0 0 20 0 1 0 140371157 3298504704 642320 134679101440 4194304 8309489 140736839762768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 34840576 140736839766949 140736839767118 140736839767118 140736839774159 0
/proc/703346/statm: 805299 642320 1140 1005 0 804062 0
Current children cumulated CPU time: 3574.04 s
Current children cumulated vsize: 3221196 KiB
Current children cumulated memory: 2569280 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3608.4 s]
/proc/loadavg: 3.47 3.40 3.68 4/234 705300
/proc/meminfo: memFree=116095052/131655788 swapFree=131071996/131071996
[pid=703346] ppid=703343 vsize=3221732 memory=2569848 CPUtime=3600.06 cores=4,6
/proc/703346/stat : 703346 (Exact) R 703343 703346 697562 0 -1 4194304 438078 0 0 0 359739 267 0 0 20 0 1 0 140371157 3299053568 642462 134679101440 4194304 8309489 140736839762768 0 0 0 0 0 8404994 0 0 0 17 4 0 0 0 0 0 9165528 9243992 34840576 140736839766949 140736839767118 140736839767118 140736839774159 0
/proc/703346/statm: 805433 642462 1140 1005 0 804196 0
Current children cumulated CPU time: 3600.06 s
Current children cumulated vsize: 3221732 KiB
Current children cumulated memory: 2569848 KiB

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

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

# cumulated CPU time of all completed processes:  user=3597.44 s, system=2.69508 s

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

Child status: 10

Real time (s): 3608.46
CPU time (s): 3600.13
CPU user time (s): 3597.44
CPU system time (s): 2.69508
CPU usage (%): 99.7693
Max. virtual memory (cumulated for all children) (KiB): 3799944
Max. memory (cumulated for all children) (KiB): 2743820

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3597.44
system time used= 2.69508
maximum resident set size= 3018252
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 438091
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= 59
involuntary context switches= 3331


# summary of solver processes directly reported to runsolver:
#   pid: 703346
#   total CPU time (s): 3600.13
#   total CPU user time (s): 3597.44
#   total CPU system time (s): 2.69508

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.8411 second user time and 34.2285 second system time

The end

Launcher Data 

Begin job on nodeC012 at 2024-07-13 16:49:15
IDJOB=4425834
IDBENCH=143867
IDSOLVER=3040
FILE ID=nodeC012/4425834-1720882141
RUNJOBID= nodeC012-1720881298-701982
SLURM_JOB_ID= 7483760
Free space on /tmp= 723760 MiB

SOLVER NAME= Exact 2024-07-05
BENCH NAME= PB24/WBO/PARTIAL-LIN/wcsp/scens/normalized-scen06-30_wcsp.wbo
COMMAND LINE= HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4425834-1720882141/watcher-4425834-1720882141 -o /tmp/evaluation-result-4425834-1720882141/solver-4425834-1720882141 -C 3600 -W 3700 -M 31000 --bin-var /tmp/runsolver-exch-nodeC012-1720881298-701982 --watchdog 3760  HOME/Exact --print-uniform=0 --verbosity=0 --print-sol --seed=631105369 HOME/instance-4425834-1720882141.wbo

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

MD5SUM BENCH= 78328f487213678b2b5d4b2f93871f54
RANDOM SEED=631105369

nodeC012.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	: 0xb00001f
cpu MHz		: 3654.875
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 invpcid_single pti 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	: 6984.37
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		: 3660.464
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 invpcid_single pti 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	: 6983.32
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.496
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 invpcid_single pti 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	: 6984.37
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.382
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 invpcid_single pti 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	: 6983.32
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		: 3492.195
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 invpcid_single pti 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	: 6984.37
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		: 3660.528
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 invpcid_single pti 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	: 6983.32
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.333
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 invpcid_single pti 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	: 6984.37
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		: 1197.595
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 invpcid_single pti 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	: 6983.32
clflush size	: 64
cache_alignment	: 64
address sizes	: 46 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       131655788 kB
MemFree:        129186976 kB
MemAvailable:   129121444 kB
Buffers:          322756 kB
Cached:           460560 kB
SwapCached:            0 kB
Active:           484180 kB
Inactive:        1488276 kB
Active(anon):       1472 kB
Inactive(anon):  1225044 kB
Active(file):     482708 kB
Inactive(file):   263232 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      131071996 kB
SwapFree:       131071996 kB
Dirty:              7300 kB
Writeback:             4 kB
AnonPages:       1188832 kB
Mapped:           115072 kB
Shmem:             37704 kB
KReclaimable:      57116 kB
Slab:             146048 kB
SReclaimable:      57116 kB
SUnreclaim:        88932 kB
KernelStack:        3900 kB
PageTables:        11336 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    196899888 kB
Committed_AS:    1572176 kB
VmallocTotal:   34359738367 kB
VmallocUsed:           0 kB
VmallocChunk:          0 kB
Percpu:            45792 kB
HardwareCorrupted:     0 kB
AnonHugePages:    997376 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:      207688 kB
DirectMap2M:    10182656 kB
DirectMap1G:    125829120 kB

Free space on /tmp at the end= 723744 MiB
End job on nodeC012 at 2024-07-13 17:49:23