Trace number 1777105

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
gNovelty+-T 2009-03-22 (4 threads)SAT 1974.96 507.332

General information on the benchmark

NameRANDOM/LARGE/5SAT/UNKNOWN/900/
unif-k5-r20-v900-c18000-S1253795703-015.cnf
MD5SUM17b09148dbc69a552ff183cd5c8f891a
Bench CategoryRANDOM (random instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1974.96
Satisfiable
(Un)Satisfiability was proved
Number of variables900
Number of clauses18000
Sum of the clauses size90000
Maximum clause length5
Minimum clause length5
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 518000
Number of clauses of size over 50

Solver Data 

0.11/0.13	c +------------------------------+
0.11/0.13	c | gNovelty+, version 1.0       |
0.11/0.13	c +------------------------------+
0.11/0.13	c gnovelty+ -h for help
0.11/0.13	c 
1974.88/507.32	s SATISFIABLE
1974.88/507.32	v -1 -2 3 4 -5 -6 -7 -8 9 10 11 12 -13 -14 -15 -16 17 -18 -19 -20 21 -22 23 24 -25 26 -27 28 -29 -30 31 -32 -33 34 -35 -36 37 38 39 -40 41 42 -43 44 -45 46 47 48 49 50 51 -52 53 54 -55 -56 -57 -58 -59 60 -61 62 -63 -64 65 -66 -67 -68 -69 -70 -71 72 73 74 -75 -76 77 -78 -79 80 -81 82 83 -84 -85 -86 -87 -88 -89 -90 91 92 93 94 95 96 97 -98 -99 100 101 -102 103 -104 105 106 107 -108 -109 -110 -111 -112 113 -114 -115 -116 117 -118 -119 -120 121 -122 -123 -124 125 126 127 128 -129 -130 -131 -132 -133 134 135 136 -137 -138 -139 140 -141 -142 -143 144 -145 -146 -147 -148 149 -150 151 152 153 154 -155 -156 157 158 -159 -160 161 -162 163 -164 -165 166 -167 -168 169 170 -171 -172 -173 -174 -175 176 -177 178 179 180 -181 -182 183 -184 -185 186 187 188 -189 -190 191 192 -193 194 -195 196 197 198 -199 -200 201 -202 -203 204 -205 -206 -207 208 209 -210 211 -212 213 214 215 -216 -217 -218 -219 220 -221 222 -223 -224 -225 -226 -227 -228 229 230 -231 -232 233 234 235 -236 237 238 -239 -240 -241 -242 -243 -244 -245 -246 247 248 249 250 251 -252 -253 254 255 256 -257 -258 -259 -260 -261 -262 263 264 -265 -266 267 268 269 -270 271 272 -273 274 -275 276 -277 -278 -279 280 -281 -282 -283 284 285 -286 -287 288 -289 290 -291 -292 -293 -294 295 -296 297 298 299 300 -301 302 303 -304 305 306 307 308 -309 -310 -311 -312 313 314 315 316 317 318 319 -320 -321 -322 -323 324 -325 -326 327 -328 329 -330 331 332 -333 334 -335 336 -337 338 339 340 341 -342 -343 344 345 346 347 348 -349 -350 351 352 -353 -354 -355 356 -357 -358 359 360 -361 -362 -363 364 365 -366 367 368 -369 370 -371 372 -373 374 375 -376 -377 378 379 -380 -381 -382 -383 384 -385 386 -387 -388 389 -390 -391 -392 393 394 395 -396 -397 -398 399 400 401 -402 -403 404 405 -406 -407 -408 409 410 -411 412 413 -414 415 416 417 418 -419 420 421 422 423 424 425 426 427 428 -429 -430 -431 432 -433 434 -435 -436 -437 -438 439 440 441 -442 -443 -444 445 -446 447 -448 449 450 -451 -452 -453 454 -455 456 -457 -458 459 -460 -461 -462 463 -464 465 466 -467 468 469 470 471 472 -473 474 475 -476 -477 478 479 -480 481 482 -483 484 485 -486 487 488 489 -490 -491 -492 493 -494 495 496 -497 -498 499 500 501 502 -503 -504 505 506 507 508 509 510 511 -512 513 -514 515 516 -517 -518 519 -520 -521 -522 523 -524 -525 526 527 -528 -529 530 531 532 533 -534 -535 -536 537 538 -539 540 -541 542 543 544 545 -546 547 548 549 -550 551 552 -553 -554 -555 -556 557 558 559 -560 561 562 -563 -564 -565 -566 567 -568 -569 570 571 572 -573 574 575 -576 -577 578 -579 580 581 582 -583 584 -585 586 -587 -588 589 590 -591 -592 -593 -594 595 596 597 -598 -599 -600 601 602 603 604 -605 606 -607 -608 609 -610 -611 612 -613 614 -615 -616 -617 -618 619 620 621 -622 623 624 625 626 627 -628 -629 -630 631 632 -633 -634 635 636 637 638 639 -640 -641 -642 -643 -644 645 -646 -647 648 -649 650 651 652 653 -654 -655 656 657 -658 -659 -660 661 -662 663 664 665 666 -667 -668 -669 -670 671 672 673 674 675 -676 677 678 679 680 681 -682 -683 684 685 -686 -687 -688 -689 -690 691 692 693 694 -695 696 697 698 -699 -700 701 -702 703 -704 705 -706 707 708 709 -710 711 -712 -713 714 -715 716 717 -718 -719 -720 -721 -722 -723 724 -725 726 -727 728 729 -730 -731 -732 -733 -734 -735 736 737 738 -739 740 -741 742 743 744 -745 746 747 748 -749 -750 751 752 753 -754 -755 -756 757 758 -759 -760 -761 762 763 -764 765 766 -767 768 -769 770 -771 772 773 774 775 -776 -777 778 779 -780 -781 782 -783 784 -785 786 787 788 789 790 -791 -792 -793 794 -795 -796 797 798 -799 800 -801 802 803 -804 -805 806 807 808 809 -810 811 812 813 814 815 -816 817 818 819 -820 -821 822 -823 -824 825 826 827 828 -829 830 -831 832 833 -834 -835 836 -837 -838 839 840 -841 842 -843 844 845 -846 -847 848 849 850 -851 -852 -853 -854 -855 856 857 858 -859 -860 861 862 863 -864 -865 866 -867 -868 869 -870 -871 -872 873 874 875 -876 -877 878 -879 -880 -881 882 -883 -884 885 -886 887 -888 -889 890 891 -892 -893 -894 895 896 897 898 899 900 0
1974.88/507.32	c Done in 1749.550000 seconds

Verifier Data 

OK

Watcher Data 

runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr

command line: runsolver --timestamp -w /tmp/evaluation-result-1777105-1243435788/watcher-1777105-1243435788 -o /tmp/evaluation-result-1777105-1243435788/solver-1777105-1243435788 -C 5000 -W 1000 -M 2047 HOME/gnovelty+ HOME/instance-1777105-1243435788.cnf 751879414 4 

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 2096128 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 2147328 KiB
Current StackSize limit: 8192 KiB


[startup+0 s]
/proc/loadavg: 3.94 4.15 4.08 3/96 31273
/proc/meminfo: memFree=3048340/3368532 swapFree=1954072/1959888
[pid=31273] ppid=31271 vsize=509236 CPUtime=0
/proc/31273/stat : 31273 (gnovelty+) R 31271 31273 15881 0 -1 4202496 1466 0 0 0 0 0 0 0 18 0 1 0 1097679913 521457664 1422 4294967295 134512640 135680988 3212872544 3212871808 134537167 0 0 0 0 0 0 0 17 2 0 0 0
/proc/31273/statm: 127309 1431 99 286 0 127021 0

[startup+0.097903 s]
/proc/loadavg: 3.94 4.15 4.08 3/96 31273
/proc/meminfo: memFree=3048340/3368532 swapFree=1954072/1959888
[pid=31273] ppid=31271 vsize=517048 CPUtime=0.1
/proc/31273/stat : 31273 (gnovelty+) R 31271 31273 15881 0 -1 4202496 15936 0 0 0 5 5 0 0 18 0 1 0 1097679913 529457152 15892 4294967295 134512640 135680988 3212872544 3212871808 134537905 0 0 0 0 0 0 0 17 2 0 0 0
/proc/31273/statm: 129262 15903 99 286 0 128974 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 517048

[startup+0.107915 s]
/proc/loadavg: 3.94 4.15 4.08 3/96 31273
/proc/meminfo: memFree=3048340/3368532 swapFree=1954072/1959888
[pid=31273] ppid=31271 vsize=517048 CPUtime=0.11
/proc/31273/stat : 31273 (gnovelty+) R 31271 31273 15881 0 -1 4202496 17839 0 0 0 5 6 0 0 18 0 1 0 1097679913 529457152 17795 4294967295 134512640 135680988 3212872544 3212871808 134537708 0 0 0 0 0 0 0 17 2 0 0 0
/proc/31273/statm: 129262 17805 99 286 0 128974 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 517048

[startup+0.308105 s]
/proc/loadavg: 3.94 4.15 4.08 3/96 31273
/proc/meminfo: memFree=3048340/3368532 swapFree=1954072/1959888
[pid=31273] ppid=31271 vsize=548172 CPUtime=0.77
/proc/31273/stat : 31273 (gnovelty+) R 31271 31273 15881 0 -1 4202496 20662 0 0 0 67 10 0 0 17 0 4 0 1097679913 561328128 20617 4294967295 134512640 135680988 3212872544 3212871788 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/31273/statm: 137043 20617 103 286 0 136755 0
Current children cumulated CPU time (s) 0.77
Current children cumulated vsize (KiB) 548172

[startup+0.707893 s]
/proc/loadavg: 3.94 4.15 4.08 3/96 31273
/proc/meminfo: memFree=3048340/3368532 swapFree=1954072/1959888
[pid=31273] ppid=31271 vsize=548172 CPUtime=2.36
/proc/31273/stat : 31273 (gnovelty+) R 31271 31273 15881 0 -1 4202496 20662 0 0 0 206 30 0 0 16 0 4 0 1097679913 561328128 20617 4294967295 134512640 135680988 3212872544 3212871788 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/31273/statm: 137043 20617 103 286 0 136755 0
Current children cumulated CPU time (s) 2.36
Current children cumulated vsize (KiB) 548172

[startup+1.50786 s]
/proc/loadavg: 3.95 4.15 4.08 5/100 31277
/proc/meminfo: memFree=2966716/3368532 swapFree=1954072/1959888
[pid=31273] ppid=31271 vsize=548172 CPUtime=5.53
/proc/31273/stat : 31273 (gnovelty+) R 31271 31273 15881 0 -1 4202496 20662 0 0 0 496 57 0 0 15 0 4 0 1097679913 561328128 20617 4294967295 134512640 135680988 3212872544 3212871788 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/31273/statm: 137043 20617 103 286 0 136755 0
[pid=31273/tid=31275] ppid=31271 vsize=548172 CPUtime=1.35
/proc/31273/task/31275/stat : 31275 (gnovelty+) R 31271 31273 15881 0 -1 4202560 98 0 0 0 125 10 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3077452124 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31273/tid=31276] ppid=31271 vsize=548172 CPUtime=1.34
/proc/31273/task/31276/stat : 31276 (gnovelty+) R 31271 31273 15881 0 -1 4202560 102 0 0 0 122 12 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3068059996 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31273/tid=31277] ppid=31271 vsize=548172 CPUtime=1.34
/proc/31273/task/31277/stat : 31277 (gnovelty+) R 31271 31273 15881 0 -1 4202560 100 0 0 0 118 16 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3058667868 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 5.53
Current children cumulated vsize (KiB) 548172

[startup+3.10799 s]
/proc/loadavg: 3.95 4.15 4.08 5/100 31277
/proc/meminfo: memFree=2966420/3368532 swapFree=1954072/1959888
[pid=31273] ppid=31271 vsize=548172 CPUtime=11.71
/proc/31273/stat : 31273 (gnovelty+) R 31271 31273 15881 0 -1 4202496 20662 0 0 0 1035 136 0 0 15 0 4 0 1097679913 561328128 20617 4294967295 134512640 135680988 3212872544 3212871788 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/31273/statm: 137043 20617 103 286 0 136755 0
[pid=31273/tid=31275] ppid=31271 vsize=548172 CPUtime=2.95
/proc/31273/task/31275/stat : 31275 (gnovelty+) R 31271 31273 15881 0 -1 4202560 98 0 0 0 264 31 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3077452124 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31273/tid=31276] ppid=31271 vsize=548172 CPUtime=2.84
/proc/31273/task/31276/stat : 31276 (gnovelty+) R 31271 31273 15881 0 -1 4202560 102 0 0 0 253 31 0 0 16 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3068059996 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31273/tid=31277] ppid=31271 vsize=548172 CPUtime=2.92
/proc/31273/task/31277/stat : 31277 (gnovelty+) R 31271 31273 15881 0 -1 4202560 100 0 0 0 254 38 0 0 16 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3058667868 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 11.71
Current children cumulated vsize (KiB) 548172

[startup+6.30764 s]
/proc/loadavg: 4.03 4.16 4.08 6/100 31277
/proc/meminfo: memFree=2966448/3368532 swapFree=1954072/1959888
[pid=31273] ppid=31271 vsize=548172 CPUtime=24.16
/proc/31273/stat : 31273 (gnovelty+) R 31271 31273 15881 0 -1 4202496 20662 0 0 0 2137 279 0 0 15 0 4 0 1097679913 561328128 20617 4294967295 134512640 135680988 3212872544 3212871788 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/31273/statm: 137043 20617 103 286 0 136755 0
[pid=31273/tid=31275] ppid=31271 vsize=548172 CPUtime=6.05
/proc/31273/task/31275/stat : 31275 (gnovelty+) R 31271 31273 15881 0 -1 4202560 98 0 0 0 542 63 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3077452124 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31273/tid=31276] ppid=31271 vsize=548172 CPUtime=5.91
/proc/31273/task/31276/stat : 31276 (gnovelty+) R 31271 31273 15881 0 -1 4202560 102 0 0 0 517 74 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3068059996 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31273/tid=31277] ppid=31271 vsize=548172 CPUtime=6.05
/proc/31273/task/31277/stat : 31277 (gnovelty+) R 31271 31273 15881 0 -1 4202560 100 0 0 0 536 69 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3058667868 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 24.16
Current children cumulated vsize (KiB) 548172

[startup+12.707 s]
/proc/loadavg: 4.03 4.16 4.08 5/100 31277
/proc/meminfo: memFree=2966232/3368532 swapFree=1954072/1959888
[pid=31273] ppid=31271 vsize=548172 CPUtime=49.19
/proc/31273/stat : 31273 (gnovelty+) R 31271 31273 15881 0 -1 4202496 20662 0 0 0 4359 560 0 0 15 0 4 0 1097679913 561328128 20617 4294967295 134512640 135680988 3212872544 3212871788 134957681 0 0 0 0 4294967295 0 0 17 0 0 0 0
/proc/31273/statm: 137043 20617 103 286 0 136755 0
[pid=31273/tid=31275] ppid=31271 vsize=548172 CPUtime=12.19
/proc/31273/task/31275/stat : 31275 (gnovelty+) R 31271 31273 15881 0 -1 4202560 98 0 0 0 1087 132 0 0 16 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3077452212 134534029 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31273/tid=31276] ppid=31271 vsize=548172 CPUtime=12.19
/proc/31273/task/31276/stat : 31276 (gnovelty+) R 31271 31273 15881 0 -1 4202560 102 0 0 0 1074 145 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3068059996 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31273/tid=31277] ppid=31271 vsize=548172 CPUtime=12.39
/proc/31273/task/31277/stat : 31277 (gnovelty+) R 31271 31273 15881 0 -1 4202560 100 0 0 0 1103 136 0 0 16 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3058667868 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 49.19
Current children cumulated vsize (KiB) 548172

[startup+25.5062 s]
/proc/loadavg: 4.02 4.15 4.08 2/100 31278
/proc/meminfo: memFree=2966436/3368532 swapFree=1954072/1959888
[pid=31273] ppid=31271 vsize=548172 CPUtime=99.22
/proc/31273/stat : 31273 (gnovelty+) R 31271 31273 15881 0 -1 4202496 20662 0 0 0 8763 1159 0 0 15 0 4 0 1097679913 561328128 20617 4294967295 134512640 135680988 3212872544 3212871788 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/31273/statm: 137043 20617 103 286 0 136755 0
[pid=31273/tid=31275] ppid=31271 vsize=548172 CPUtime=24.73
/proc/31273/task/31275/stat : 31275 (gnovelty+) R 31271 31273 15881 0 -1 4202560 98 0 0 0 2195 278 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3077452124 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31273/tid=31276] ppid=31271 vsize=548172 CPUtime=24.72
/proc/31273/task/31276/stat : 31276 (gnovelty+) R 31271 31273 15881 0 -1 4202560 102 0 0 0 2174 298 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3068059996 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31273/tid=31277] ppid=31271 vsize=548172 CPUtime=24.93
/proc/31273/task/31277/stat : 31277 (gnovelty+) R 31271 31273 15881 0 -1 4202560 100 0 0 0 2210 283 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3058667868 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 99.22
Current children cumulated vsize (KiB) 548172

[startup+51.1047 s]
/proc/loadavg: 4.13 4.17 4.09 7/100 31464
/proc/meminfo: memFree=2966256/3368532 swapFree=1954072/1959888
[pid=31273] ppid=31271 vsize=548172 CPUtime=198.72
/proc/31273/stat : 31273 (gnovelty+) R 31271 31273 15881 0 -1 4202496 20662 0 0 0 17616 2256 0 0 15 0 4 0 1097679913 561328128 20617 4294967295 134512640 135680988 3212872544 3212871788 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/31273/statm: 137043 20617 103 286 0 136755 0
[pid=31273/tid=31275] ppid=31271 vsize=548172 CPUtime=49.57
/proc/31273/task/31275/stat : 31275 (gnovelty+) R 31271 31273 15881 0 -1 4202560 98 0 0 0 4414 543 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3077452124 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31273/tid=31276] ppid=31271 vsize=548172 CPUtime=49.75
/proc/31273/task/31276/stat : 31276 (gnovelty+) R 31271 31273 15881 0 -1 4202560 102 0 0 0 4419 556 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3068059996 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31273/tid=31277] ppid=31271 vsize=548172 CPUtime=49.56
/proc/31273/task/31277/stat : 31277 (gnovelty+) R 31271 31273 15881 0 -1 4202560 100 0 0 0 4382 574 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3058667868 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 198.72
Current children cumulated vsize (KiB) 548172

[startup+102.311 s]
/proc/loadavg: 4.21 4.16 4.09 5/100 31655
/proc/meminfo: memFree=2965332/3368532 swapFree=1954072/1959888
[pid=31273] ppid=31271 vsize=548172 CPUtime=396.95
/proc/31273/stat : 31273 (gnovelty+) R 31271 31273 15881 0 -1 4202496 20662 0 0 0 35214 4481 0 0 15 0 4 0 1097679913 561328128 20617 4294967295 134512640 135680988 3212872544 3212871788 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/31273/statm: 137043 20617 103 286 0 136755 0
[pid=31273/tid=31275] ppid=31271 vsize=548172 CPUtime=98.95
/proc/31273/task/31275/stat : 31275 (gnovelty+) R 31271 31273 15881 0 -1 4202560 98 0 0 0 8760 1135 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3077452124 134957422 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31273/tid=31276] ppid=31271 vsize=548172 CPUtime=99.52
/proc/31273/task/31276/stat : 31276 (gnovelty+) R 31271 31273 15881 0 -1 4202560 102 0 0 0 8869 1083 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3068059996 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31273/tid=31277] ppid=31271 vsize=548172 CPUtime=98.92
/proc/31273/task/31277/stat : 31277 (gnovelty+) R 31271 31273 15881 0 -1 4202560 100 0 0 0 8798 1094 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3058667868 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 396.95
Current children cumulated vsize (KiB) 548172

[startup+162.317 s]
/proc/loadavg: 4.22 4.16 4.09 6/100 31842
/proc/meminfo: memFree=2965480/3368532 swapFree=1954072/1959888
[pid=31273] ppid=31271 vsize=548172 CPUtime=631.69
/proc/31273/stat : 31273 (gnovelty+) R 31271 31273 15881 0 -1 4202496 20662 0 0 0 55978 7191 0 0 15 0 4 0 1097679913 561328128 20617 4294967295 134512640 135680988 3212872544 3212871788 134957681 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/31273/statm: 137043 20617 103 286 0 136755 0
[pid=31273/tid=31275] ppid=31271 vsize=548172 CPUtime=157.35
/proc/31273/task/31275/stat : 31275 (gnovelty+) R 31271 31273 15881 0 -1 4202560 98 0 0 0 13950 1785 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3077452124 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31273/tid=31276] ppid=31271 vsize=548172 CPUtime=158.61
/proc/31273/task/31276/stat : 31276 (gnovelty+) R 31271 31273 15881 0 -1 4202560 102 0 0 0 14071 1790 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3068059996 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31273/tid=31277] ppid=31271 vsize=548172 CPUtime=157.54
/proc/31273/task/31277/stat : 31277 (gnovelty+) R 31271 31273 15881 0 -1 4202560 100 0 0 0 13991 1763 0 0 16 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3058667956 134533962 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 631.69
Current children cumulated vsize (KiB) 548172

[startup+222.312 s]
/proc/loadavg: 4.14 4.14 4.09 6/100 32031
/proc/meminfo: memFree=2965340/3368532 swapFree=1954072/1959888
[pid=31273] ppid=31271 vsize=548172 CPUtime=864.97
/proc/31273/stat : 31273 (gnovelty+) R 31271 31273 15881 0 -1 4202496 20662 0 0 0 76700 9797 0 0 15 0 4 0 1097679913 561328128 20617 4294967295 134512640 135680988 3212872544 3212871788 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/31273/statm: 137043 20617 103 286 0 136755 0
[pid=31273/tid=31275] ppid=31271 vsize=548172 CPUtime=215.67
/proc/31273/task/31275/stat : 31275 (gnovelty+) R 31271 31273 15881 0 -1 4202560 98 0 0 0 19143 2424 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3077452124 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31273/tid=31276] ppid=31271 vsize=548172 CPUtime=216.32
/proc/31273/task/31276/stat : 31276 (gnovelty+) R 31271 31273 15881 0 -1 4202560 102 0 0 0 19168 2464 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3068059996 134957681 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31273/tid=31277] ppid=31271 vsize=548172 CPUtime=216.25
/proc/31273/task/31277/stat : 31277 (gnovelty+) R 31271 31273 15881 0 -1 4202560 100 0 0 0 19216 2409 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3058667868 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
Current children cumulated CPU time (s) 864.97
Current children cumulated vsize (KiB) 548172

[startup+282.309 s]
/proc/loadavg: 4.25 4.18 4.10 5/100 32219
/proc/meminfo: memFree=2965520/3368532 swapFree=1954072/1959888
[pid=31273] ppid=31271 vsize=548172 CPUtime=1099.55
/proc/31273/stat : 31273 (gnovelty+) R 31271 31273 15881 0 -1 4202496 20662 0 0 0 97480 12475 0 0 15 0 4 0 1097679913 561328128 20617 4294967295 134512640 135680988 3212872544 3212871788 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/31273/statm: 137043 20617 103 286 0 136755 0
[pid=31273/tid=31275] ppid=31271 vsize=548172 CPUtime=274.13
/proc/31273/task/31275/stat : 31275 (gnovelty+) R 31271 31273 15881 0 -1 4202560 98 0 0 0 24314 3099 0 0 16 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3077452124 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31273/tid=31276] ppid=31271 vsize=548172 CPUtime=275.21
/proc/31273/task/31276/stat : 31276 (gnovelty+) R 31271 31273 15881 0 -1 4202560 102 0 0 0 24383 3138 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3068059996 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31273/tid=31277] ppid=31271 vsize=548172 CPUtime=274.75
/proc/31273/task/31277/stat : 31277 (gnovelty+) R 31271 31273 15881 0 -1 4202560 100 0 0 0 24396 3079 0 0 16 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3058667868 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1099.55
Current children cumulated vsize (KiB) 548172

[startup+342.315 s]
/proc/loadavg: 4.20 4.18 4.11 5/100 32410
/proc/meminfo: memFree=2965084/3368532 swapFree=1954072/1959888
[pid=31273] ppid=31271 vsize=548172 CPUtime=1330.69
/proc/31273/stat : 31273 (gnovelty+) R 31271 31273 15881 0 -1 4202496 20662 0 0 0 117921 15148 0 0 15 0 4 0 1097679913 561328128 20617 4294967295 134512640 135680988 3212872544 3212871788 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/31273/statm: 137043 20617 103 286 0 136755 0
[pid=31273/tid=31275] ppid=31271 vsize=548172 CPUtime=331.01
/proc/31273/task/31275/stat : 31275 (gnovelty+) R 31271 31273 15881 0 -1 4202560 98 0 0 0 29339 3762 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3077452124 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31273/tid=31276] ppid=31271 vsize=548172 CPUtime=333.25
/proc/31273/task/31276/stat : 31276 (gnovelty+) R 31271 31273 15881 0 -1 4202560 102 0 0 0 29520 3805 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3068059996 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31273/tid=31277] ppid=31271 vsize=548172 CPUtime=332.52
/proc/31273/task/31277/stat : 31277 (gnovelty+) R 31271 31273 15881 0 -1 4202560 100 0 0 0 29493 3759 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3058667868 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1330.69
Current children cumulated vsize (KiB) 548172

[startup+402.311 s]
/proc/loadavg: 4.61 4.31 4.15 5/100 32596
/proc/meminfo: memFree=2965216/3368532 swapFree=1954072/1959888
[pid=31273] ppid=31271 vsize=548172 CPUtime=1566.27
/proc/31273/stat : 31273 (gnovelty+) R 31271 31273 15881 0 -1 4202496 20662 0 0 0 138746 17881 0 0 15 0 4 0 1097679913 561328128 20617 4294967295 134512640 135680988 3212872544 3212871788 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/31273/statm: 137043 20617 103 286 0 136755 0
[pid=31273/tid=31275] ppid=31271 vsize=548172 CPUtime=389.9
/proc/31273/task/31275/stat : 31275 (gnovelty+) R 31271 31273 15881 0 -1 4202560 98 0 0 0 34537 4453 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3077452124 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
[pid=31273/tid=31276] ppid=31271 vsize=548172 CPUtime=392.37
/proc/31273/task/31276/stat : 31276 (gnovelty+) R 31271 31273 15881 0 -1 4202560 102 0 0 0 34762 4475 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3068059996 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31273/tid=31277] ppid=31271 vsize=548172 CPUtime=391.64
/proc/31273/task/31277/stat : 31277 (gnovelty+) R 31271 31273 15881 0 -1 4202560 100 0 0 0 34732 4432 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3058667868 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
Current children cumulated CPU time (s) 1566.27
Current children cumulated vsize (KiB) 548172

[startup+462.307 s]
/proc/loadavg: 4.27 4.27 4.15 5/100 321
/proc/meminfo: memFree=2965372/3368532 swapFree=1954072/1959888
[pid=31273] ppid=31271 vsize=548172 CPUtime=1799.67
/proc/31273/stat : 31273 (gnovelty+) R 31271 31273 15881 0 -1 4202496 20662 0 0 0 159419 20548 0 0 15 0 4 0 1097679913 561328128 20617 4294967295 134512640 135680988 3212872544 3212871788 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/31273/statm: 137043 20617 103 286 0 136755 0
[pid=31273/tid=31275] ppid=31271 vsize=548172 CPUtime=448.23
/proc/31273/task/31275/stat : 31275 (gnovelty+) R 31271 31273 15881 0 -1 4202560 98 0 0 0 39692 5131 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3077452124 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31273/tid=31276] ppid=31271 vsize=548172 CPUtime=450.87
/proc/31273/task/31276/stat : 31276 (gnovelty+) R 31271 31273 15881 0 -1 4202560 102 0 0 0 39973 5114 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3068059996 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31273/tid=31277] ppid=31271 vsize=548172 CPUtime=449.94
/proc/31273/task/31277/stat : 31277 (gnovelty+) R 31271 31273 15881 0 -1 4202560 100 0 0 0 39885 5109 0 0 16 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3058667868 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1799.67
Current children cumulated vsize (KiB) 548172

Solver just ended. Dumping a history of the last processes samples

[startup+486.305 s]
/proc/loadavg: 4.24 4.26 4.15 5/100 323
/proc/meminfo: memFree=2965444/3368532 swapFree=1954072/1959888
[pid=31273] ppid=31271 vsize=548172 CPUtime=1893.13
/proc/31273/stat : 31273 (gnovelty+) R 31271 31273 15881 0 -1 4202496 20662 0 0 0 167715 21598 0 0 15 0 4 0 1097679913 561328128 20617 4294967295 134512640 135680988 3212872544 3212871788 134957681 0 0 0 0 4294967295 0 0 17 2 0 0 0
/proc/31273/statm: 137043 20617 103 286 0 136755 0
[pid=31273/tid=31275] ppid=31271 vsize=548172 CPUtime=471.51
/proc/31273/task/31275/stat : 31275 (gnovelty+) R 31271 31273 15881 0 -1 4202560 98 0 0 0 41768 5383 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3077452124 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31273/tid=31276] ppid=31271 vsize=548172 CPUtime=474.27
/proc/31273/task/31276/stat : 31276 (gnovelty+) R 31271 31273 15881 0 -1 4202560 102 0 0 0 42044 5383 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3068059996 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
[pid=31273/tid=31277] ppid=31271 vsize=548172 CPUtime=473.61
/proc/31273/task/31277/stat : 31277 (gnovelty+) R 31271 31273 15881 0 -1 4202560 100 0 0 0 41987 5374 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3058667868 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1893.13
Current children cumulated vsize (KiB) 548172

[startup+499.104 s]
/proc/loadavg: 4.20 4.25 4.15 5/100 325
/proc/meminfo: memFree=2965444/3368532 swapFree=1954072/1959888
[pid=31273] ppid=31271 vsize=548172 CPUtime=1943
/proc/31273/stat : 31273 (gnovelty+) R 31271 31273 15881 0 -1 4202496 20662 0 0 0 172146 22154 0 0 16 0 4 0 1097679913 561328128 20617 4294967295 134512640 135680988 3212872544 3212871788 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/31273/statm: 137043 20617 103 286 0 136755 0
[pid=31273/tid=31275] ppid=31271 vsize=548172 CPUtime=483.88
/proc/31273/task/31275/stat : 31275 (gnovelty+) R 31271 31273 15881 0 -1 4202560 98 0 0 0 42867 5521 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3077452124 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31273/tid=31276] ppid=31271 vsize=548172 CPUtime=486.6
/proc/31273/task/31276/stat : 31276 (gnovelty+) R 31271 31273 15881 0 -1 4202560 102 0 0 0 43128 5532 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3068059996 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31273/tid=31277] ppid=31271 vsize=548172 CPUtime=486.29
/proc/31273/task/31277/stat : 31277 (gnovelty+) S 31271 31273 15881 0 -1 4202560 100 0 0 0 43119 5510 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3058667868 134957422 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1943
Current children cumulated vsize (KiB) 548172

[startup+502.304 s]
/proc/loadavg: 4.19 4.25 4.14 5/100 325
/proc/meminfo: memFree=2965444/3368532 swapFree=1954072/1959888
[pid=31273] ppid=31271 vsize=548172 CPUtime=1955.34
/proc/31273/stat : 31273 (gnovelty+) R 31271 31273 15881 0 -1 4202496 20662 0 0 0 173244 22290 0 0 15 0 4 0 1097679913 561328128 20617 4294967295 134512640 135680988 3212872544 3212871788 134957422 0 0 0 0 4294967295 0 0 17 3 0 0 0
/proc/31273/statm: 137043 20617 103 286 0 136755 0
[pid=31273/tid=31275] ppid=31271 vsize=548172 CPUtime=487.02
/proc/31273/task/31275/stat : 31275 (gnovelty+) R 31271 31273 15881 0 -1 4202560 98 0 0 0 43147 5555 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3077452124 134957422 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31273/tid=31276] ppid=31271 vsize=548172 CPUtime=489.69
/proc/31273/task/31276/stat : 31276 (gnovelty+) R 31271 31273 15881 0 -1 4202560 102 0 0 0 43397 5572 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3068059996 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31273/tid=31277] ppid=31271 vsize=548172 CPUtime=489.44
/proc/31273/task/31277/stat : 31277 (gnovelty+) R 31271 31273 15881 0 -1 4202560 100 0 0 0 43403 5541 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3058667868 134957681 0 0 0 0 0 0 0 -1 1 0 0 0
Current children cumulated CPU time (s) 1955.34
Current children cumulated vsize (KiB) 548172

[startup+505.504 s]
/proc/loadavg: 4.19 4.25 4.14 7/100 325
/proc/meminfo: memFree=2965568/3368532 swapFree=1954072/1959888
[pid=31273] ppid=31271 vsize=548172 CPUtime=1967.94
/proc/31273/stat : 31273 (gnovelty+) R 31271 31273 15881 0 -1 4202496 20662 0 0 0 174340 22454 0 0 15 0 4 0 1097679913 561328128 20617 4294967295 134512640 135680988 3212872544 3212871788 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/31273/statm: 137043 20617 103 286 0 136755 0
[pid=31273/tid=31275] ppid=31271 vsize=548172 CPUtime=490.21
/proc/31273/task/31275/stat : 31275 (gnovelty+) R 31271 31273 15881 0 -1 4202560 98 0 0 0 43426 5595 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3077452124 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31273/tid=31276] ppid=31271 vsize=548172 CPUtime=492.89
/proc/31273/task/31276/stat : 31276 (gnovelty+) R 31271 31273 15881 0 -1 4202560 102 0 0 0 43677 5612 0 0 16 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3068059996 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31273/tid=31277] ppid=31271 vsize=548172 CPUtime=492.53
/proc/31273/task/31277/stat : 31277 (gnovelty+) R 31271 31273 15881 0 -1 4202560 100 0 0 0 43672 5581 0 0 16 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3058667868 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1967.94
Current children cumulated vsize (KiB) 548172

[startup+506.304 s]
/proc/loadavg: 4.17 4.24 4.14 5/100 325
/proc/meminfo: memFree=2965568/3368532 swapFree=1954072/1959888
[pid=31273] ppid=31271 vsize=548172 CPUtime=1971.1
/proc/31273/stat : 31273 (gnovelty+) S 31271 31273 15881 0 -1 4202496 20662 0 0 0 174617 22493 0 0 15 0 4 0 1097679913 561328128 20617 4294967295 134512640 135680988 3212872544 3212871788 134957422 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/31273/statm: 137043 20617 103 286 0 136755 0
[pid=31273/tid=31275] ppid=31271 vsize=548172 CPUtime=491.01
/proc/31273/task/31275/stat : 31275 (gnovelty+) R 31271 31273 15881 0 -1 4202560 98 0 0 0 43499 5602 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3077452124 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31273/tid=31276] ppid=31271 vsize=548172 CPUtime=493.69
/proc/31273/task/31276/stat : 31276 (gnovelty+) R 31271 31273 15881 0 -1 4202560 102 0 0 0 43746 5623 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3068059996 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31273/tid=31277] ppid=31271 vsize=548172 CPUtime=493.3
/proc/31273/task/31277/stat : 31277 (gnovelty+) R 31271 31273 15881 0 -1 4202560 100 0 0 0 43740 5590 0 0 16 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3058667868 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1971.1
Current children cumulated vsize (KiB) 548172

[startup+507.114 s]
/proc/loadavg: 4.17 4.24 4.14 5/100 325
/proc/meminfo: memFree=2965568/3368532 swapFree=1954072/1959888
[pid=31273] ppid=31271 vsize=548172 CPUtime=1974.14
/proc/31273/stat : 31273 (gnovelty+) R 31271 31273 15881 0 -1 4202496 20662 0 0 0 174895 22519 0 0 15 0 4 0 1097679913 561328128 20617 4294967295 134512640 135680988 3212872544 3212871788 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/31273/statm: 137043 20617 103 286 0 136755 0
[pid=31273/tid=31275] ppid=31271 vsize=548172 CPUtime=491.74
/proc/31273/task/31275/stat : 31275 (gnovelty+) R 31271 31273 15881 0 -1 4202560 98 0 0 0 43562 5612 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3077452124 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31273/tid=31276] ppid=31271 vsize=548172 CPUtime=494.49
/proc/31273/task/31276/stat : 31276 (gnovelty+) R 31271 31273 15881 0 -1 4202560 102 0 0 0 43823 5626 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3068059996 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31273/tid=31277] ppid=31271 vsize=548172 CPUtime=494.02
/proc/31273/task/31277/stat : 31277 (gnovelty+) R 31271 31273 15881 0 -1 4202560 100 0 0 0 43805 5597 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3058667868 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1974.14
Current children cumulated vsize (KiB) 548172

[startup+507.303 s]
/proc/loadavg: 4.17 4.24 4.14 5/100 325
/proc/meminfo: memFree=2965568/3368532 swapFree=1954072/1959888
[pid=31273] ppid=31271 vsize=548172 CPUtime=1974.88
/proc/31273/stat : 31273 (gnovelty+) R 31271 31273 15881 0 -1 4202496 20662 0 0 0 174957 22531 0 0 16 0 4 0 1097679913 561328128 20617 4294967295 134512640 135680988 3212872544 3212871788 134957681 0 0 0 0 4294967295 0 0 17 1 0 0 0
/proc/31273/statm: 137043 20617 103 286 0 136755 0
[pid=31273/tid=31275] ppid=31271 vsize=548172 CPUtime=491.93
/proc/31273/task/31275/stat : 31275 (gnovelty+) R 31271 31273 15881 0 -1 4202560 98 0 0 0 43580 5613 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3077452124 134957681 0 0 0 0 0 0 0 -1 0 0 0 0
[pid=31273/tid=31276] ppid=31271 vsize=548172 CPUtime=494.68
/proc/31273/task/31276/stat : 31276 (gnovelty+) R 31271 31273 15881 0 -1 4202560 102 0 0 0 43836 5632 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3068059996 134957681 0 0 0 0 0 0 0 -1 2 0 0 0
[pid=31273/tid=31277] ppid=31271 vsize=548172 CPUtime=494.2
/proc/31273/task/31277/stat : 31277 (gnovelty+) R 31271 31273 15881 0 -1 4202560 100 0 0 0 43822 5598 0 0 15 0 4 0 1097679926 561328128 20617 4294967295 134512640 135680988 3212872544 3058667868 134957422 0 0 0 0 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1974.88
Current children cumulated vsize (KiB) 548172

Child status: 10
Real time (s): 507.332
CPU time (s): 1974.96
CPU user time (s): 1749.63
CPU system time (s): 225.33
CPU usage (%): 389.284
Max. virtual memory (cumulated for all children) (KiB): 548172

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1749.63
system time used= 225.33
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 20679
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= 7539571
involuntary context switches= 26784

runsolver used 0 second user time and 0 second system time

The end

Launcher Data 

Begin job on tipi44 at 2009-05-27 16:49:48
IDJOB=1777105
IDBENCH=70217
IDSOLVER=617
FILE ID=tipi44/1777105-1243435788
PBS_JOBID=
Free space on /tmp= 15893 MiB

SOLVER NAME= gNovelty+-T 2009-03-22 (4 threads)
BENCH NAME= SAT09/RANDOM/LARGE/5SAT/UNKNOWN/900/unif-k5-r20-v900-c18000-S1253795703-015.cnf
COMMAND LINE= HOME/gnovelty+ BENCHNAME RANDOMSEED MAXNBTHREAD
RUNSOLVER COMMAND LINE= runsolver --timestamp  -w /tmp/evaluation-result-1777105-1243435788/watcher-1777105-1243435788 -o /tmp/evaluation-result-1777105-1243435788/solver-1777105-1243435788 -C 5000 -W 1000 -M 2047  HOME/gnovelty+ HOME/instance-1777105-1243435788.cnf 751879414 4

TIME LIMIT= 5000 seconds
MEMORY LIMIT= 2047 MiB
MAX NB THREAD= 4

MD5SUM BENCH= 17b09148dbc69a552ff183cd5c8f891a
RANDOM SEED= 751879414

Linux tipi44 2.6.21.5 #6 SMP Wed Jul 4 17:16:38 CEST 2007 i686 GNU/Linux

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.116
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3992.42
clflush size	: 64

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.116
cache size	: 4096 KB
physical id	: 0
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.10
clflush size	: 64

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.116
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 0
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.14
clflush size	: 64

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 15
model name	: Intel(R) Xeon(R) CPU            5130  @ 2.00GHz
stepping	: 6
cpu MHz		: 1995.116
cache size	: 4096 KB
physical id	: 3
siblings	: 2
core id		: 1
cpu cores	: 2
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 10
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 lm constant_tsc pni monitor ds_cpl vmx tm2 ssse3 cx16 xtpr dca lahf_lm
bogomips	: 3990.16
clflush size	: 64


/proc/meminfo:
MemTotal:      3368532 kB
MemFree:       3048340 kB
Buffers:        130736 kB
Cached:          83564 kB
SwapCached:       2184 kB
Active:          88380 kB
Inactive:       135616 kB
HighTotal:     2489216 kB
HighFree:      2393352 kB
LowTotal:       879316 kB
LowFree:        654988 kB
SwapTotal:     1959888 kB
SwapFree:      1954072 kB
Dirty:            1772 kB
Writeback:           0 kB
AnonPages:        8920 kB
Mapped:           3360 kB
Slab:            86408 kB
SReclaimable:    76640 kB
SUnreclaim:       9768 kB
PageTables:        476 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:   3644152 kB
Committed_AS:    87892 kB
VmallocTotal:   114680 kB
VmallocUsed:      1444 kB
VmallocChunk:   113072 kB

Free space on /tmp at the end= 15893 MiB
End job on tipi44 at 2009-05-27 16:58:15