Trace number 1112711

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 NameAnswerNumber of falsified constraintsCPU timeWall clock time
Concrete + CSP4J - MCRW Engine 2008-05-30MSAT (TO)8 3600.02 3620.03

General information on the benchmark

Namecsp/os-gp/
normalized-gp10-04-1076.xml
MD5SUM46b89df60e453cd184ab4e9d21c078d6
Bench Category2-ARY-INT (binary constraints in intension)
Best result obtained on this benchmarkMOPT
Best Number of falsified constraints1
Best CPU time to get the best result obtained on this benchmark16.8874
Satisfiable
(Un)Satisfiability was proved
Number of variables101
Number of constraints1000
Maximum constraint arity2
Maximum domain size1077
Number of constraints which are defined in extension0
Number of constraints which are defined in intension1000
Global constraints used (with number of constraints)

Quality of the solution as a function of time


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

Solver Data (download as text)

1.84/1.96	c CPU-LOAD 0.94
1.84/1.96	c LOADED 101 V (1077 E), 100 DiffConstraint, 900 DTPConstraint, arity 2, 0.94 cpu
3.13/3.28	s SATISFIABLE
3.13/3.28	o 979
3.13/3.28	v 1076 886 864 1058 243 926 859 840 161 53 736 693 272 3 713 733 991 570 554 0 605 4 1041 610 767 593 887 519 563 403 599 1015 947 319 754 13 605 736 701 1005 964 508 905 814 1021 666 559 377 7 1076 614 628 229 1048 3 601 7 9 1056 967 822 424 605 1008 165 1034 128 437 899 514 6 562 3 801 698 691 119 956 616 915 278 649 1016 877 111 987 543 161 805 680 1062 957 608 515 72 923 106 108 404 123 555 
3.13/3.29	o 980
3.13/3.29	v 1076 886 864 1058 231 926 859 840 962 53 736 693 272 3 713 733 1076 917 554 0 605 4 1041 610 773 593 887 519 563 403 599 1015 947 319 754 26 605 736 701 1005 964 508 905 814 1021 666 559 377 7 1076 614 628 229 1048 3 601 7 9 1056 967 822 424 605 1008 140 1013 128 437 899 514 6 562 4 801 698 691 119 956 616 915 278 649 1016 877 111 987 543 153 805 680 1071 957 608 515 72 923 106 557 404 123 555 
3.23/3.30	o 981
3.23/3.30	v 1076 886 864 1058 231 926 859 840 962 53 736 693 314 3 713 733 1076 917 554 0 605 4 1041 610 773 593 887 519 563 403 599 1015 947 319 754 26 605 851 701 1005 964 508 905 814 1021 666 559 377 7 1076 614 628 229 1048 3 601 7 9 1056 967 822 424 605 1008 151 1013 141 437 899 514 6 562 9 801 698 691 119 945 616 915 278 649 1016 877 111 987 543 153 805 680 1071 957 608 515 72 923 106 557 404 123 555 
3.23/3.35	o 982
3.23/3.35	v 1076 886 864 1073 231 926 859 840 962 53 736 693 286 3 713 733 1002 917 554 0 605 4 1041 610 787 593 887 519 563 403 599 1015 947 611 754 21 605 851 701 1005 964 508 905 814 1021 666 559 377 7 1076 614 628 234 1048 3 601 7 9 1054 967 822 424 605 1008 143 1027 616 437 899 514 6 562 10 801 698 691 235 1047 616 915 278 649 1016 877 111 987 543 153 805 680 1064 970 608 515 72 923 106 587 404 123 555 
3.23/3.36	o 983
3.23/3.36	v 1076 886 864 1051 239 926 615 840 962 53 736 693 316 3 713 733 1002 917 554 0 605 4 1041 610 787 593 140 519 563 403 599 1015 947 611 754 21 605 851 701 1005 964 508 905 814 1021 666 559 377 7 1076 614 628 249 1048 3 601 7 9 1063 967 822 424 605 1008 143 1027 616 437 899 514 6 562 10 801 698 691 235 1047 616 915 278 649 1016 877 111 987 543 153 805 680 1072 970 609 515 72 923 106 590 404 123 555 
3.23/3.36	o 984
3.23/3.36	v 1076 886 864 1051 239 926 615 840 962 53 736 693 316 3 713 733 1002 917 554 0 605 4 1041 610 787 593 140 519 563 403 599 1015 947 611 754 21 605 851 701 1005 964 508 905 814 1021 666 559 377 7 1076 614 628 249 1048 3 601 7 9 1063 967 822 424 605 1008 143 1027 616 437 899 514 6 562 10 801 698 691 235 1047 616 915 965 649 1016 877 111 987 543 153 805 680 1072 970 609 515 72 923 106 590 404 123 555 
3.23/3.38	o 985
3.23/3.38	v 1076 886 864 1057 239 926 220 840 962 53 736 693 296 3 713 733 1002 917 554 0 605 0 1041 610 787 593 140 519 563 403 599 57 947 611 754 21 605 851 701 1005 964 508 905 814 1021 666 559 377 7 1076 614 628 226 1048 3 601 7 9 1063 967 822 424 605 1008 140 1027 616 437 899 514 6 562 10 801 698 691 235 1047 616 915 965 649 1016 877 111 987 543 153 805 680 1069 970 614 515 72 923 106 575 404 123 555 
3.42/3.53	o 986
3.42/3.53	v 1076 886 864 1071 250 926 220 840 971 53 736 790 561 60 17 322 986 917 795 0 504 1059 1041 610 787 593 140 519 563 403 599 51 1032 881 754 36 605 851 701 1005 964 508 905 555 1021 666 559 377 1 1076 614 628 226 1048 3 601 7 9 1068 967 822 424 974 1008 165 1014 616 437 899 514 6 562 10 537 698 691 235 1051 616 915 965 649 1016 877 111 987 543 153 805 680 1049 130 1058 515 72 923 106 579 404 127 555 
4.32/4.43	o 987
4.32/4.43	v 1076 886 864 1057 167 690 26 840 897 53 736 15 617 60 17 330 1005 521 517 0 504 1066 1041 699 151 593 899 123 1038 421 77 169 1032 881 754 1049 605 851 590 1005 964 999 905 555 679 845 35 940 72 1045 2 154 246 1048 3 601 7 9 1050 937 822 527 974 1008 1071 15 615 3 578 834 335 623 10 1 605 791 225 1003 564 575 642 890 1016 877 111 987 543 233 805 633 1049 645 1074 515 72 923 106 556 982 118 555 
4.81/4.99	o 988
4.81/4.99	v 1076 886 1013 1050 138 895 26 840 745 53 0 15 737 190 17 561 1067 521 517 0 504 1058 1041 699 160 115 899 123 1038 427 77 253 1032 75 993 1056 11 158 973 977 964 999 1021 487 712 87 35 940 110 1073 2 154 246 1048 3 188 7 9 1051 547 822 912 974 1008 1016 303 597 3 578 56 159 623 10 1 605 868 225 1017 564 907 642 890 1016 1027 111 152 543 233 805 685 1070 334 1064 19 72 923 106 583 982 149 972 
4.91/5.10	o 989
4.91/5.10	v 1076 179 1013 1071 508 982 26 492 367 53 0 15 737 190 17 561 1040 521 517 0 504 1063 1041 699 153 115 899 123 1038 427 77 183 1032 75 993 1036 11 158 973 977 964 999 1021 487 418 87 35 173 585 1029 2 154 231 1048 3 188 7 9 1062 547 822 912 974 1008 1047 303 597 3 578 56 159 623 10 1 1010 868 225 1057 564 907 642 890 1016 1027 111 152 543 233 1 685 1046 644 338 19 72 923 106 652 982 149 972 
7.29/7.47	o 990
7.29/7.47	v 1076 41 549 1068 561 150 26 481 334 53 0 4 258 773 17 560 1042 496 248 0 39 1059 689 405 120 82 943 938 3 577 85 450 233 74 56 922 11 6 40 39 279 83 596 71 432 87 35 97 619 1054 2 154 709 190 3 125 7 14 1033 207 349 7 545 11 1014 294 558 3 283 63 156 1014 6 1 0 237 275 1040 262 1023 586 893 664 14 111 75 10 177 1 428 1044 191 1069 17 72 12 106 521 467 828 129 
27.30/27.64	o 991
27.30/27.64	v 1076 38 12 1062 176 61 5 9 106 13 0 29 114 638 19 391 945 67 26 4 12 1039 14 320 635 12 70 2 3 484 5 332 3 221 96 739 27 6 46 109 37 148 10 83 943 1 809 13 164 1063 543 2 1076 6 3 44 66 73 562 16 155 7 46 11 1022 142 448 3 17 923 745 25 861 1 0 7 154 457 37 128 46 49 71 12 38 87 11 235 34 656 878 724 419 27 1 13 50 1033 52 221 2 
614.06/619.71	o 992
614.06/619.71	v 1076 15 3 299 1037 71 8 5 822 2 141 11 309 1058 134 871 545 18 117 279 1044 1066 21 826 330 68 125 7 3 670 8 715 0 74 52 164 9 32 7 4 1 1 307 812 145 131 217 68 352 834 30 52 791 1 6 2 5 125 1073 22 410 2 6 51 774 1066 255 1 758 544 634 16 83 5 4 0 971 423 928 62 846 23 13 45 35 36 1 207 33 77 1051 89 541 13 2 3 7 826 35 333 0

Verifier Data (download as text)

OK	8	992
8 unsatisfied constraints, 992 satisfied constraints

Watcher Data (download as text)

runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr

command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112711-1215873008/watcher-1112711-1215873008 -o /tmp/evaluation-result-1112711-1215873008/solver-1112711-1215873008 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s MCRW -max HOME/instance-1112711-1215873008.xml 

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): 4000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.39 2.70 2.72 4/73 18619
/proc/meminfo: memFree=1946216/2055920 swapFree=4181068/4192956
[pid=18619] ppid=18617 vsize=5356 CPUtime=0
/proc/18619/stat : 18619 (concrete.sh) R 18617 18619 17879 0 -1 4194304 262 0 0 0 0 0 0 0 20 0 1 0 43999991 5484544 230 996147200 4194304 4889804 548682068752 18446744073709551615 208717539999 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/18619/statm: 1339 230 191 169 0 50 0
[pid=18620] ppid=18619 vsize=5356 CPUtime=0
/proc/18620/stat : 18620 (concrete.sh) R 18619 18619 17879 0 -1 4194368 0 0 0 0 0 0 0 0 20 0 1 0 43999992 5484544 230 996147200 4194304 4889804 548682068752 18446744073709551615 208717539999 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/18620/statm: 1339 230 191 169 0 50 0

[startup+0.050465 s]
/proc/loadavg: 2.39 2.70 2.72 4/73 18619
/proc/meminfo: memFree=1946216/2055920 swapFree=4181068/4192956
[pid=18619] ppid=18617 vsize=5356 CPUtime=0
/proc/18619/stat : 18619 (concrete.sh) S 18617 18619 17879 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 43999991 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18619/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.101469 s]
/proc/loadavg: 2.39 2.70 2.72 4/73 18619
/proc/meminfo: memFree=1946216/2055920 swapFree=4181068/4192956
[pid=18619] ppid=18617 vsize=5356 CPUtime=0
/proc/18619/stat : 18619 (concrete.sh) S 18617 18619 17879 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 43999991 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18619/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.301489 s]
/proc/loadavg: 2.39 2.70 2.72 4/73 18619
/proc/meminfo: memFree=1946216/2055920 swapFree=4181068/4192956
[pid=18619] ppid=18617 vsize=5356 CPUtime=0
/proc/18619/stat : 18619 (concrete.sh) S 18617 18619 17879 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 43999991 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18619/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.701535 s]
/proc/loadavg: 2.39 2.70 2.72 4/73 18619
/proc/meminfo: memFree=1946216/2055920 swapFree=4181068/4192956
[pid=18619] ppid=18617 vsize=5356 CPUtime=0
/proc/18619/stat : 18619 (concrete.sh) S 18617 18619 17879 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 43999991 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18619/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50262 s]
/proc/loadavg: 2.36 2.68 2.72 4/84 18631
/proc/meminfo: memFree=1929360/2055920 swapFree=4181068/4192956
[pid=18619] ppid=18617 vsize=5356 CPUtime=0
/proc/18619/stat : 18619 (concrete.sh) S 18617 18619 17879 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 43999991 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18619/statm: 1339 242 201 169 0 50 0
[pid=18622] ppid=18619 vsize=846852 CPUtime=1.45
/proc/18622/stat : 18622 (java) S 18619 18619 17879 0 -1 0 7886 0 1 0 138 7 0 0 18 0 10 0 43999994 867176448 7024 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18622/statm: 211713 7024 2577 9 0 206273 0
[pid=18622/tid=18623] ppid=18619 vsize=846852 CPUtime=0.91
/proc/18622/task/18623/stat : 18623 (java) R 18619 18619 17879 0 -1 64 3463 0 1 0 88 3 0 0 24 0 10 0 43999995 867176448 7024 996147200 134512640 134550740 4294956000 18446744073709551615 4125374915 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18624] ppid=18619 vsize=846852 CPUtime=0.1
/proc/18622/task/18624/stat : 18624 (java) S 18619 18619 17879 0 -1 64 2650 0 0 0 9 1 0 0 16 0 10 0 43999996 867176448 7024 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18625] ppid=18619 vsize=846852 CPUtime=0
/proc/18622/task/18625/stat : 18625 (java) S 18619 18619 17879 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 43999996 867176448 7024 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18626] ppid=18619 vsize=846852 CPUtime=0
/proc/18622/task/18626/stat : 18626 (java) S 18619 18619 17879 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 43999996 867176448 7024 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18627] ppid=18619 vsize=846852 CPUtime=0
/proc/18622/task/18627/stat : 18627 (java) S 18619 18619 17879 0 -1 64 1 0 0 0 0 0 0 0 21 0 10 0 43999998 867176448 7024 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18628] ppid=18619 vsize=846852 CPUtime=0.4
/proc/18622/task/18628/stat : 18628 (java) S 18619 18619 17879 0 -1 64 1039 0 0 0 39 1 0 0 16 0 10 0 43999998 867176448 7024 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18629] ppid=18619 vsize=846852 CPUtime=0
/proc/18622/task/18629/stat : 18629 (java) S 18619 18619 17879 0 -1 64 0 0 0 0 0 0 0 0 22 0 10 0 43999998 867176448 7024 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18630] ppid=18619 vsize=846852 CPUtime=0
/proc/18622/task/18630/stat : 18630 (java) S 18619 18619 17879 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 43999998 867176448 7024 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18631] ppid=18619 vsize=846852 CPUtime=0
/proc/18622/task/18631/stat : 18631 (java) S 18619 18619 17879 0 -1 64 3 0 0 0 0 0 0 0 20 0 10 0 44000063 867176448 7024 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 852208

[startup+3.10279 s]
/proc/loadavg: 2.36 2.68 2.72 3/83 18631
/proc/meminfo: memFree=1899536/2055920 swapFree=4181068/4192956
[pid=18619] ppid=18617 vsize=5356 CPUtime=0
/proc/18619/stat : 18619 (concrete.sh) S 18617 18619 17879 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 43999991 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18619/statm: 1339 242 201 169 0 50 0
[pid=18622] ppid=18619 vsize=847008 CPUtime=3.03
/proc/18622/stat : 18622 (java) S 18619 18619 17879 0 -1 0 14848 0 1 0 293 10 0 0 18 0 9 0 43999994 867336192 13955 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18622/statm: 211752 13955 2578 9 0 206312 0
[pid=18622/tid=18623] ppid=18619 vsize=847008 CPUtime=2.07
/proc/18622/task/18623/stat : 18623 (java) R 18619 18619 17879 0 -1 64 3843 0 1 0 204 3 0 0 25 0 9 0 43999995 867336192 13955 996147200 134512640 134550740 4294956000 18446744073709551615 4126839411 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18624] ppid=18619 vsize=847008 CPUtime=0.48
/proc/18622/task/18624/stat : 18624 (java) S 18619 18619 17879 0 -1 64 9163 0 0 0 44 4 0 0 17 0 9 0 43999996 867336192 13955 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18625] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18625/stat : 18625 (java) S 18619 18619 17879 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43999996 867336192 13955 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18626] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18626/stat : 18626 (java) S 18619 18619 17879 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43999996 867336192 13955 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18627] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18627/stat : 18627 (java) S 18619 18619 17879 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 43999998 867336192 13955 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18628] ppid=18619 vsize=847008 CPUtime=0.45
/proc/18622/task/18628/stat : 18628 (java) S 18619 18619 17879 0 -1 64 1106 0 0 0 44 1 0 0 15 0 9 0 43999998 867336192 13955 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18629] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18629/stat : 18629 (java) S 18619 18619 17879 0 -1 64 0 0 0 0 0 0 0 0 22 0 9 0 43999998 867336192 13955 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18630] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18630/stat : 18630 (java) S 18619 18619 17879 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43999998 867336192 13955 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 852364

[startup+6.30213 s]
/proc/loadavg: 2.36 2.68 2.72 3/83 18631
/proc/meminfo: memFree=1899344/2055920 swapFree=4181068/4192956
[pid=18619] ppid=18617 vsize=5356 CPUtime=0
/proc/18619/stat : 18619 (concrete.sh) S 18617 18619 17879 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 43999991 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18619/statm: 1339 242 201 169 0 50 0
[pid=18622] ppid=18619 vsize=847008 CPUtime=6.2
/proc/18622/stat : 18622 (java) S 18619 18619 17879 0 -1 0 14856 0 1 0 610 10 0 0 18 0 9 0 43999994 867336192 13962 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18622/statm: 211752 13962 2578 9 0 206312 0
[pid=18622/tid=18623] ppid=18619 vsize=847008 CPUtime=5.22
/proc/18622/task/18623/stat : 18623 (java) R 18619 18619 17879 0 -1 64 3844 0 1 0 519 3 0 0 25 0 9 0 43999995 867336192 13962 996147200 134512640 134550740 4294956000 18446744073709551615 4126846589 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18624] ppid=18619 vsize=847008 CPUtime=0.48
/proc/18622/task/18624/stat : 18624 (java) S 18619 18619 17879 0 -1 64 9163 0 0 0 44 4 0 0 16 0 9 0 43999996 867336192 13962 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18625] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18625/stat : 18625 (java) S 18619 18619 17879 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43999996 867336192 13962 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18626] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18626/stat : 18626 (java) S 18619 18619 17879 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43999996 867336192 13962 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18627] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18627/stat : 18627 (java) S 18619 18619 17879 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 43999998 867336192 13962 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18628] ppid=18619 vsize=847008 CPUtime=0.46
/proc/18622/task/18628/stat : 18628 (java) S 18619 18619 17879 0 -1 64 1113 0 0 0 45 1 0 0 15 0 9 0 43999998 867336192 13962 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18629] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18629/stat : 18629 (java) S 18619 18619 17879 0 -1 64 0 0 0 0 0 0 0 0 22 0 9 0 43999998 867336192 13962 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18630] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18630/stat : 18630 (java) S 18619 18619 17879 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43999998 867336192 13962 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 852364

[startup+12.7028 s]
/proc/loadavg: 2.30 2.66 2.71 3/83 18631
/proc/meminfo: memFree=1899280/2055920 swapFree=4181068/4192956
[pid=18619] ppid=18617 vsize=5356 CPUtime=0
/proc/18619/stat : 18619 (concrete.sh) S 18617 18619 17879 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 43999991 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18619/statm: 1339 242 201 169 0 50 0
[pid=18622] ppid=18619 vsize=847008 CPUtime=12.54
/proc/18622/stat : 18622 (java) S 18619 18619 17879 0 -1 0 14857 0 1 0 1244 10 0 0 18 0 9 0 43999994 867336192 13963 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18622/statm: 211752 13963 2578 9 0 206312 0
[pid=18622/tid=18623] ppid=18619 vsize=847008 CPUtime=11.57
/proc/18622/task/18623/stat : 18623 (java) R 18619 18619 17879 0 -1 64 3844 0 1 0 1153 4 0 0 25 0 9 0 43999995 867336192 13963 996147200 134512640 134550740 4294956000 18446744073709551615 4126897074 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18624] ppid=18619 vsize=847008 CPUtime=0.48
/proc/18622/task/18624/stat : 18624 (java) S 18619 18619 17879 0 -1 64 9163 0 0 0 44 4 0 0 16 0 9 0 43999996 867336192 13963 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18625] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18625/stat : 18625 (java) S 18619 18619 17879 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43999996 867336192 13963 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18626] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18626/stat : 18626 (java) S 18619 18619 17879 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43999996 867336192 13963 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18627] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18627/stat : 18627 (java) S 18619 18619 17879 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 43999998 867336192 13963 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18628] ppid=18619 vsize=847008 CPUtime=0.46
/proc/18622/task/18628/stat : 18628 (java) S 18619 18619 17879 0 -1 64 1114 0 0 0 45 1 0 0 16 0 9 0 43999998 867336192 13963 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18629] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18629/stat : 18629 (java) S 18619 18619 17879 0 -1 64 0 0 0 0 0 0 0 0 22 0 9 0 43999998 867336192 13963 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18630] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18630/stat : 18630 (java) S 18619 18619 17879 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43999998 867336192 13963 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 852364

[startup+25.5012 s]
/proc/loadavg: 2.25 2.64 2.70 3/83 18631
/proc/meminfo: memFree=1899280/2055920 swapFree=4181068/4192956
[pid=18619] ppid=18617 vsize=5356 CPUtime=0
/proc/18619/stat : 18619 (concrete.sh) S 18617 18619 17879 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 43999991 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18619/statm: 1339 242 201 169 0 50 0
[pid=18622] ppid=18619 vsize=847008 CPUtime=25.22
/proc/18622/stat : 18622 (java) S 18619 18619 17879 0 -1 0 14857 0 1 0 2512 10 0 0 18 0 9 0 43999994 867336192 13963 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18622/statm: 211752 13963 2578 9 0 206312 0
[pid=18622/tid=18623] ppid=18619 vsize=847008 CPUtime=24.25
/proc/18622/task/18623/stat : 18623 (java) R 18619 18619 17879 0 -1 64 3844 0 1 0 2421 4 0 0 25 0 9 0 43999995 867336192 13963 996147200 134512640 134550740 4294956000 18446744073709551615 4126855725 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18624] ppid=18619 vsize=847008 CPUtime=0.48
/proc/18622/task/18624/stat : 18624 (java) S 18619 18619 17879 0 -1 64 9163 0 0 0 44 4 0 0 16 0 9 0 43999996 867336192 13963 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18625] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18625/stat : 18625 (java) S 18619 18619 17879 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43999996 867336192 13963 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18626] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18626/stat : 18626 (java) S 18619 18619 17879 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43999996 867336192 13963 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18627] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18627/stat : 18627 (java) S 18619 18619 17879 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 43999998 867336192 13963 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18628] ppid=18619 vsize=847008 CPUtime=0.47
/proc/18622/task/18628/stat : 18628 (java) S 18619 18619 17879 0 -1 64 1114 0 0 0 46 1 0 0 16 0 9 0 43999998 867336192 13963 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18629] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18629/stat : 18629 (java) S 18619 18619 17879 0 -1 64 0 0 0 0 0 0 0 0 22 0 9 0 43999998 867336192 13963 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18630] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18630/stat : 18630 (java) S 18619 18619 17879 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 43999998 867336192 13963 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.22
Current children cumulated vsize (KiB) 852364

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

/proc/18622/task/18628/stat : 18628 (java) S 18619 18619 17879 0 -1 64 1123 0 0 0 48 1 0 0 16 0 9 0 43999998 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18629] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18629/stat : 18629 (java) S 18619 18619 17879 0 -1 64 0 0 0 0 0 0 0 0 22 0 9 0 43999998 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18630] ppid=18619 vsize=847008 CPUtime=0.02
/proc/18622/task/18630/stat : 18630 (java) S 18619 18619 17879 0 -1 64 1 0 0 0 1 1 0 0 15 0 9 0 43999998 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3322.55
Current children cumulated vsize (KiB) 852364

[startup+3402.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/84 18714
/proc/meminfo: memFree=1286536/2055920 swapFree=4181068/4192956
[pid=18619] ppid=18617 vsize=5356 CPUtime=0
/proc/18619/stat : 18619 (concrete.sh) S 18617 18619 17879 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 43999991 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18619/statm: 1339 242 201 169 0 50 0
[pid=18622] ppid=18619 vsize=847008 CPUtime=3382.52
/proc/18622/stat : 18622 (java) S 18619 18619 17879 0 -1 0 15003 0 1 0 338226 26 0 0 18 0 9 0 43999994 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18622/statm: 211752 14100 2578 9 0 206312 0
[pid=18622/tid=18623] ppid=18619 vsize=847008 CPUtime=3381.5
/proc/18622/task/18623/stat : 18623 (java) R 18619 18619 17879 0 -1 64 3965 0 1 0 338132 18 0 0 25 0 9 0 43999995 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4126846589 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18622/tid=18624] ppid=18619 vsize=847008 CPUtime=0.48
/proc/18622/task/18624/stat : 18624 (java) S 18619 18619 17879 0 -1 64 9179 0 0 0 44 4 0 0 16 0 9 0 43999996 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18625] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18625/stat : 18625 (java) S 18619 18619 17879 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43999996 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18626] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18626/stat : 18626 (java) S 18619 18619 17879 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43999996 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18627] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18627/stat : 18627 (java) S 18619 18619 17879 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 43999998 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18628] ppid=18619 vsize=847008 CPUtime=0.49
/proc/18622/task/18628/stat : 18628 (java) S 18619 18619 17879 0 -1 64 1123 0 0 0 48 1 0 0 16 0 9 0 43999998 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18629] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18629/stat : 18629 (java) S 18619 18619 17879 0 -1 64 0 0 0 0 0 0 0 0 22 0 9 0 43999998 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18630] ppid=18619 vsize=847008 CPUtime=0.02
/proc/18622/task/18630/stat : 18630 (java) S 18619 18619 17879 0 -1 64 1 0 0 0 1 1 0 0 15 0 9 0 43999998 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3382.52
Current children cumulated vsize (KiB) 852364

[startup+3462.3 s]
/proc/loadavg: 2.15 2.03 2.01 3/84 18714
/proc/meminfo: memFree=1285192/2055920 swapFree=4181068/4192956
[pid=18619] ppid=18617 vsize=5356 CPUtime=0
/proc/18619/stat : 18619 (concrete.sh) S 18617 18619 17879 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 43999991 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18619/statm: 1339 242 201 169 0 50 0
[pid=18622] ppid=18619 vsize=847008 CPUtime=3442.5
/proc/18622/stat : 18622 (java) S 18619 18619 17879 0 -1 0 15003 0 1 0 344223 27 0 0 18 0 9 0 43999994 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18622/statm: 211752 14100 2578 9 0 206312 0
[pid=18622/tid=18623] ppid=18619 vsize=847008 CPUtime=3441.47
/proc/18622/task/18623/stat : 18623 (java) R 18619 18619 17879 0 -1 64 3965 0 1 0 344129 18 0 0 25 0 9 0 43999995 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4126855725 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18622/tid=18624] ppid=18619 vsize=847008 CPUtime=0.48
/proc/18622/task/18624/stat : 18624 (java) S 18619 18619 17879 0 -1 64 9179 0 0 0 44 4 0 0 16 0 9 0 43999996 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18625] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18625/stat : 18625 (java) S 18619 18619 17879 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43999996 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18626] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18626/stat : 18626 (java) S 18619 18619 17879 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43999996 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18627] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18627/stat : 18627 (java) S 18619 18619 17879 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 43999998 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18628] ppid=18619 vsize=847008 CPUtime=0.49
/proc/18622/task/18628/stat : 18628 (java) S 18619 18619 17879 0 -1 64 1123 0 0 0 48 1 0 0 16 0 9 0 43999998 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18629] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18629/stat : 18629 (java) S 18619 18619 17879 0 -1 64 0 0 0 0 0 0 0 0 22 0 9 0 43999998 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18630] ppid=18619 vsize=847008 CPUtime=0.02
/proc/18622/task/18630/stat : 18630 (java) S 18619 18619 17879 0 -1 64 1 0 0 0 1 1 0 0 15 0 9 0 43999998 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3442.5
Current children cumulated vsize (KiB) 852364

[startup+3522.3 s]
/proc/loadavg: 2.11 2.04 2.01 3/84 18714
/proc/meminfo: memFree=1285128/2055920 swapFree=4181068/4192956
[pid=18619] ppid=18617 vsize=5356 CPUtime=0
/proc/18619/stat : 18619 (concrete.sh) S 18617 18619 17879 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 43999991 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18619/statm: 1339 242 201 169 0 50 0
[pid=18622] ppid=18619 vsize=847008 CPUtime=3502.47
/proc/18622/stat : 18622 (java) S 18619 18619 17879 0 -1 0 15003 0 1 0 350220 27 0 0 18 0 9 0 43999994 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18622/statm: 211752 14100 2578 9 0 206312 0
[pid=18622/tid=18623] ppid=18619 vsize=847008 CPUtime=3501.44
/proc/18622/task/18623/stat : 18623 (java) R 18619 18619 17879 0 -1 64 3965 0 1 0 350126 18 0 0 25 0 9 0 43999995 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4126855725 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18622/tid=18624] ppid=18619 vsize=847008 CPUtime=0.48
/proc/18622/task/18624/stat : 18624 (java) S 18619 18619 17879 0 -1 64 9179 0 0 0 44 4 0 0 16 0 9 0 43999996 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18625] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18625/stat : 18625 (java) S 18619 18619 17879 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43999996 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18626] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18626/stat : 18626 (java) S 18619 18619 17879 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43999996 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18627] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18627/stat : 18627 (java) S 18619 18619 17879 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 43999998 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18628] ppid=18619 vsize=847008 CPUtime=0.49
/proc/18622/task/18628/stat : 18628 (java) S 18619 18619 17879 0 -1 64 1123 0 0 0 48 1 0 0 16 0 9 0 43999998 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18629] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18629/stat : 18629 (java) S 18619 18619 17879 0 -1 64 0 0 0 0 0 0 0 0 22 0 9 0 43999998 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18630] ppid=18619 vsize=847008 CPUtime=0.02
/proc/18622/task/18630/stat : 18630 (java) S 18619 18619 17879 0 -1 64 1 0 0 0 1 1 0 0 15 0 9 0 43999998 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3502.47
Current children cumulated vsize (KiB) 852364

[startup+3582.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/84 18714
/proc/meminfo: memFree=1284872/2055920 swapFree=4181068/4192956
[pid=18619] ppid=18617 vsize=5356 CPUtime=0
/proc/18619/stat : 18619 (concrete.sh) S 18617 18619 17879 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 43999991 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18619/statm: 1339 242 201 169 0 50 0
[pid=18622] ppid=18619 vsize=847008 CPUtime=3562.32
/proc/18622/stat : 18622 (java) S 18619 18619 17879 0 -1 0 15003 0 1 0 356205 27 0 0 18 0 9 0 43999994 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18622/statm: 211752 14100 2578 9 0 206312 0
[pid=18622/tid=18623] ppid=18619 vsize=847008 CPUtime=3561.29
/proc/18622/task/18623/stat : 18623 (java) R 18619 18619 17879 0 -1 64 3965 0 1 0 356111 18 0 0 25 0 9 0 43999995 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4126846637 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18622/tid=18624] ppid=18619 vsize=847008 CPUtime=0.48
/proc/18622/task/18624/stat : 18624 (java) S 18619 18619 17879 0 -1 64 9179 0 0 0 44 4 0 0 16 0 9 0 43999996 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18625] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18625/stat : 18625 (java) S 18619 18619 17879 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43999996 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18626] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18626/stat : 18626 (java) S 18619 18619 17879 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43999996 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18627] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18627/stat : 18627 (java) S 18619 18619 17879 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 43999998 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18628] ppid=18619 vsize=847008 CPUtime=0.49
/proc/18622/task/18628/stat : 18628 (java) S 18619 18619 17879 0 -1 64 1123 0 0 0 48 1 0 0 16 0 9 0 43999998 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18629] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18629/stat : 18629 (java) S 18619 18619 17879 0 -1 64 0 0 0 0 0 0 0 0 22 0 9 0 43999998 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18630] ppid=18619 vsize=847008 CPUtime=0.02
/proc/18622/task/18630/stat : 18630 (java) S 18619 18619 17879 0 -1 64 1 0 0 0 1 1 0 0 15 0 9 0 43999998 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3562.32
Current children cumulated vsize (KiB) 852364



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3620 s]
/proc/loadavg: 2.13 2.05 2.01 3/84 18714
/proc/meminfo: memFree=1284936/2055920 swapFree=4181068/4192956
[pid=18619] ppid=18617 vsize=5356 CPUtime=0
/proc/18619/stat : 18619 (concrete.sh) S 18617 18619 17879 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 43999991 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 208717538116 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18619/statm: 1339 242 201 169 0 50 0
[pid=18622] ppid=18619 vsize=847008 CPUtime=3600.02
/proc/18622/stat : 18622 (java) S 18619 18619 17879 0 -1 0 15003 0 1 0 359975 27 0 0 18 0 9 0 43999994 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/18622/statm: 211752 14100 2578 9 0 206312 0
[pid=18622/tid=18623] ppid=18619 vsize=847008 CPUtime=3598.99
/proc/18622/task/18623/stat : 18623 (java) R 18619 18619 17879 0 -1 64 3965 0 1 0 359881 18 0 0 25 0 9 0 43999995 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4126855620 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=18622/tid=18624] ppid=18619 vsize=847008 CPUtime=0.48
/proc/18622/task/18624/stat : 18624 (java) S 18619 18619 17879 0 -1 64 9179 0 0 0 44 4 0 0 16 0 9 0 43999996 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18625] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18625/stat : 18625 (java) S 18619 18619 17879 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 43999996 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18626] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18626/stat : 18626 (java) S 18619 18619 17879 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 43999996 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18627] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18627/stat : 18627 (java) S 18619 18619 17879 0 -1 64 1 0 0 0 0 0 0 0 21 0 9 0 43999998 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18628] ppid=18619 vsize=847008 CPUtime=0.49
/proc/18622/task/18628/stat : 18628 (java) S 18619 18619 17879 0 -1 64 1123 0 0 0 48 1 0 0 16 0 9 0 43999998 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18629] ppid=18619 vsize=847008 CPUtime=0
/proc/18622/task/18629/stat : 18629 (java) S 18619 18619 17879 0 -1 64 0 0 0 0 0 0 0 0 22 0 9 0 43999998 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=18622/tid=18630] ppid=18619 vsize=847008 CPUtime=0.02
/proc/18622/task/18630/stat : 18630 (java) S 18619 18619 17879 0 -1 64 1 0 0 0 1 1 0 0 15 0 9 0 43999998 867336192 14100 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3600.02
Current children cumulated vsize (KiB) 852364

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

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

Child ended because it received signal 15 (SIGTERM)

# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18619 and gives
#  childrusage.ru_utime.tv_sec=0
#  childrusage.ru_utime.tv_usec=999
#  childrusage.ru_stime.tv_sec=0
#  childrusage.ru_stime.tv_usec=4999
# CPU time returned by wait4() is 0.005998
# while last known CPU time is 3600.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...

Real time (s): 3620.03
CPU time (s): 3600.02
CPU user time (s): 3599.75
CPU system time (s): 0.27
CPU usage (%): 99.4474
Max. virtual memory (cumulated for all children) (KiB): 852364

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

runsolver used 4.19736 second user time and 12.2791 second system time

The end

Launcher Data (download as text)

Begin job on node47 at 2008-07-12 16:30:09
IDJOB=1112711
IDBENCH=61462
IDSOLVER=335
FILE ID=node47/1112711-1215873008
PBS_JOBID= 7903518
Free space on /tmp= 66508 MiB

SOLVER NAME= Concrete + CSP4J - MCRW Engine 2008-05-30
BENCH NAME= CPAI08/csp/os-gp/normalized-gp10-04-1076.xml
COMMAND LINE= HOME/concrete.sh -c -ext 0 -s MCRW -max BENCHNAME 
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1112711-1215873008/watcher-1112711-1215873008 -o /tmp/evaluation-result-1112711-1215873008/solver-1112711-1215873008 -C 3600 -W 4000 -M 900 --output-limit 1,15  HOME/concrete.sh -c -ext 0 -s MCRW -max HOME/instance-1112711-1215873008.xml 

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 46b89df60e453cd184ab4e9d21c078d6
RANDOM SEED=1118607615

node47.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5914.62
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 15
model		: 4
model name	:                   Intel(R) Xeon(TM) CPU 3.00GHz
stepping	: 3
cpu MHz		: 3000.232
cache size	: 2048 KB
fpu		: yes
fpu_exception	: yes
cpuid level	: 5
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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips	: 5586.94
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1946760 kB
Buffers:          3908 kB
Cached:          36920 kB
SwapCached:       5820 kB
Active:          61888 kB
Inactive:         5320 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1946760 kB
SwapTotal:     4192956 kB
SwapFree:      4181068 kB
Dirty:            1140 kB
Writeback:           0 kB
Mapped:          33636 kB
Slab:            27000 kB
Committed_AS:   229564 kB
PageTables:       1940 kB
VmallocTotal: 536870911 kB
VmallocUsed:    264952 kB
VmallocChunk: 536605679 kB
HugePages_Total:     0
HugePages_Free:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 66296 MiB
End job on node47 at 2008-07-12 17:30:31