Trace number 1112730

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 - Tabu Engine 2008-05-30MSAT (TO)11 3600 3619.92

General information on the benchmark

Namecsp/os-gp/
normalized-gp10-02-1096.xml
MD5SUM35f08e79f15e123e16593b9b1f1199bd
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 benchmark14.5768
Satisfiable
(Un)Satisfiability was proved
Number of variables101
Number of constraints1000
Maximum constraint arity2
Maximum domain size1097
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.71/1.82	c CPU-LOAD 0.85
1.71/1.82	c LOADED 101 V (1097 E), 900 DTPConstraint, 100 DiffConstraint, arity 2, 0.85 cpu
3.10/3.28	s SATISFIABLE
3.10/3.28	o 979
3.10/3.28	v 1096 1043 500 277 880 70 162 155 1095 532 929 1088 408 719 1074 574 2 818 195 412 73 21 974 995 676 901 778 35 446 203 535 823 710 783 1031 99 786 987 566 1066 110 928 1035 937 58 228 597 280 317 144 696 969 612 710 79 989 1090 1049 1068 948 811 228 902 70 634 880 625 639 954 238 997 424 410 461 836 1067 313 940 11 181 20 0 7 452 871 386 566 1089 711 833 650 29 302 258 319 1057 814 124 508 690 599 
3.10/3.29	o 980
3.10/3.29	v 1096 1043 500 277 880 70 162 155 1095 552 929 1088 408 719 1074 574 2 818 195 412 73 21 974 995 676 901 778 35 446 203 535 823 710 783 1031 99 786 987 566 1066 110 928 1035 937 58 228 597 280 317 144 696 969 612 710 79 989 1090 1049 1068 948 811 228 902 70 634 880 625 639 954 238 997 424 410 461 836 1067 313 940 11 181 20 0 7 452 871 386 566 1089 711 833 650 29 302 258 319 1057 814 124 508 690 599 
3.10/3.29	o 981
3.10/3.29	v 1096 1043 500 277 880 70 162 155 1095 552 929 1088 408 719 1074 574 2 818 195 951 73 21 974 995 676 901 778 35 446 203 535 823 710 783 1031 99 786 987 566 1066 110 928 1035 937 58 228 597 280 317 144 696 969 612 710 79 989 1090 1049 1068 948 811 228 902 70 634 880 625 639 954 238 997 424 410 461 836 1067 313 940 11 181 20 0 7 452 871 386 566 1089 711 833 650 29 302 258 319 1057 814 124 508 690 599 
3.10/3.29	o 982
3.10/3.29	v 1096 1043 500 277 880 70 162 155 1095 552 929 1088 408 719 1074 574 2 818 195 951 73 21 974 995 676 901 778 35 446 203 535 823 710 783 1031 99 786 987 566 1066 110 928 1035 937 58 228 597 280 317 144 696 969 612 710 79 989 1090 1049 1068 948 811 228 902 70 634 880 625 639 954 238 997 424 410 461 836 1067 153 940 11 181 20 0 7 452 871 386 566 1089 711 833 650 29 302 258 319 1057 814 124 508 690 599 
3.10/3.30	o 983
3.10/3.30	v 1096 1043 500 13 880 70 162 155 1095 552 929 1088 408 719 1074 574 2 818 195 951 73 21 974 995 676 901 778 35 446 203 535 823 710 783 1031 99 786 987 566 1066 110 928 1035 937 58 228 597 280 317 144 696 969 612 710 79 989 1090 1049 1068 948 811 228 902 70 634 880 625 639 954 238 997 424 410 461 836 1067 153 940 11 181 20 0 7 452 871 386 566 1089 711 833 650 29 302 258 319 1057 814 124 508 690 599 
3.10/3.30	o 984
3.10/3.30	v 1096 1043 500 13 880 70 162 155 1095 552 929 1088 408 719 1074 574 2 818 195 951 73 21 974 995 676 901 778 35 446 203 535 823 710 783 1031 99 786 987 566 1066 110 928 1035 937 58 228 597 280 838 144 696 969 612 710 79 989 1090 1049 1068 948 811 228 902 70 634 880 625 639 954 238 997 424 410 461 836 1067 153 940 11 181 20 0 7 452 871 386 566 1089 711 833 650 29 302 258 319 1057 814 124 508 690 599 
241.31/242.86	o 985
241.31/242.86	v 1096 715 1075 609 1002 753 261 30 1096 814 128 204 1033 746 348 201 942 905 750 50 189 1024 773 1095 190 53 1060 1009 656 357 801 740 174 863 285 266 164 719 30 935 287 989 1096 1055 786 144 753 391 285 767 236 133 35 141 1066 955 298 718 1047 715 842 194 334 14 318 716 704 723 251 367 980 1096 843 229 696 271 144 61 635 181 16 64 395 735 75 789 84 1012 861 737 11 5 256 752 811 1065 1066 717 1035 324 186 
241.31/242.87	o 986
241.31/242.87	v 1096 715 1075 609 1002 753 200 30 1096 814 128 204 1033 746 348 201 1039 905 750 50 189 1024 773 1095 190 53 1060 1009 656 357 801 740 174 863 285 266 164 719 30 935 287 989 1096 1055 786 144 753 391 285 767 236 133 35 141 1066 955 298 718 1047 715 842 194 334 14 318 716 704 723 251 367 980 1096 843 273 696 271 144 61 635 181 16 64 395 735 75 789 84 1012 861 737 11 5 256 752 811 1065 792 717 1035 324 186 
242.51/244.05	o 987
242.51/244.05	v 1096 715 1075 779 1002 753 325 30 1092 220 128 216 1033 746 390 201 1039 905 750 50 189 1024 773 1085 190 53 1060 1009 656 843 801 740 174 863 285 266 164 719 30 1046 287 989 1095 1055 786 144 753 391 285 767 236 133 35 141 1070 955 175 718 1047 715 842 194 334 14 318 716 704 723 251 388 1093 1034 843 318 696 324 144 61 635 181 16 64 395 735 75 789 84 1048 861 737 11 5 256 752 478 1063 790 717 1035 324 186 
712.01/716.26	o 988
712.01/716.26	v 1096 522 765 898 910 89 93 647 1087 958 489 1089 2 142 306 953 797 622 185 27 891 510 26 1070 712 203 591 1013 915 284 593 859 664 825 613 1074 12 632 458 1079 20 96 1026 1023 241 136 58 652 320 264 494 1037 55 820 1080 1054 193 1074 641 837 918 829 762 143 975 942 63 386 307 452 1081 115 931 509 1050 1090 808 41 1074 873 766 619 143 1031 43 871 979 1084 704 1060 630 965 870 310 67 329 1067 944 61 911 16 
712.01/716.29	o 989
712.01/716.29	v 1096 522 765 898 910 89 107 647 1078 958 489 1080 2 142 306 953 797 622 185 27 891 510 26 1092 712 203 591 1013 915 284 593 859 664 825 613 1074 12 632 458 1083 20 96 1081 1023 241 136 58 652 320 264 494 1037 55 820 1080 1054 186 1074 641 837 918 829 762 329 975 942 63 75 307 452 1087 115 931 509 1050 1090 808 41 1074 873 766 619 143 1031 43 871 979 1084 704 1060 630 965 870 310 67 329 1081 944 61 911 16

Verifier Data (download as text)

OK	11	989
11 unsatisfied constraints, 989 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-1112730-1215873315/watcher-1112730-1215873315 -o /tmp/evaluation-result-1112730-1215873315/solver-1112730-1215873315 -C 3600 -W 4000 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -max -s Tabu HOME/instance-1112730-1215873315.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.62 2.88 3.13 5/99 15221
/proc/meminfo: memFree=1834592/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=18572 CPUtime=0
/proc/15221/stat : 15221 (runsolver) R 15219 15221 14871 0 -1 4194368 15 0 0 0 0 0 0 0 19 0 1 0 44028073 19017728 292 996147200 4194304 4296836 548682068416 18446744073709551615 226686987559 0 0 4096 24578 0 0 0 17 1 0 0
/proc/15221/statm: 4643 292 257 25 0 2626 0

[startup+0.056489 s]
/proc/loadavg: 2.62 2.88 3.13 5/99 15221
/proc/meminfo: memFree=1834592/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=5356 CPUtime=0
/proc/15221/stat : 15221 (concrete.sh) R 15219 15221 14871 0 -1 4194304 295 128 0 0 0 0 0 0 17 0 1 0 44028073 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 226686986911 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/15221/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.102136 s]
/proc/loadavg: 2.62 2.88 3.13 5/99 15221
/proc/meminfo: memFree=1834592/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=5356 CPUtime=0
/proc/15221/stat : 15221 (concrete.sh) S 15219 15221 14871 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 44028073 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15221/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.302156 s]
/proc/loadavg: 2.62 2.88 3.13 5/99 15221
/proc/meminfo: memFree=1834592/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=5356 CPUtime=0
/proc/15221/stat : 15221 (concrete.sh) S 15219 15221 14871 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 44028073 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15221/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+0.702209 s]
/proc/loadavg: 2.62 2.88 3.13 5/99 15221
/proc/meminfo: memFree=1834592/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=5356 CPUtime=0
/proc/15221/stat : 15221 (concrete.sh) S 15219 15221 14871 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 44028073 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15221/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356

[startup+1.50131 s]
/proc/loadavg: 2.62 2.88 3.13 3/110 15233
/proc/meminfo: memFree=1816968/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=5356 CPUtime=0
/proc/15221/stat : 15221 (concrete.sh) S 15219 15221 14871 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 44028073 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15221/statm: 1339 242 201 169 0 50 0
[pid=15224] ppid=15221 vsize=846840 CPUtime=1.41
/proc/15224/stat : 15224 (java) S 15221 15221 14871 0 -1 0 8360 0 1 0 134 7 0 0 18 0 10 0 44028079 867164160 7488 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15224/statm: 211710 7488 2574 9 0 206270 0
[pid=15224/tid=15225] ppid=15221 vsize=846840 CPUtime=0.85
/proc/15224/task/15225/stat : 15225 (java) R 15221 15221 14871 0 -1 64 3464 0 1 0 82 3 0 0 25 0 10 0 44028080 867164160 7488 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15226] ppid=15221 vsize=846840 CPUtime=0.15
/proc/15224/task/15226/stat : 15226 (java) R 15221 15221 14871 0 -1 64 3109 0 0 0 14 1 0 0 16 0 10 0 44028081 867164160 7488 996147200 134512640 134550740 4294956000 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15227] ppid=15221 vsize=846840 CPUtime=0
/proc/15224/task/15227/stat : 15227 (java) S 15221 15221 14871 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 44028081 867164160 7488 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15228] ppid=15221 vsize=846840 CPUtime=0
/proc/15224/task/15228/stat : 15228 (java) S 15221 15221 14871 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 44028081 867164160 7488 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15229] ppid=15221 vsize=846840 CPUtime=0
/proc/15224/task/15229/stat : 15229 (java) S 15221 15221 14871 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 44028083 867164160 7488 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15230] ppid=15221 vsize=846840 CPUtime=0.37
/proc/15224/task/15230/stat : 15230 (java) S 15221 15221 14871 0 -1 64 1049 0 0 0 36 1 0 0 15 0 10 0 44028083 867164160 7488 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15231] ppid=15221 vsize=846840 CPUtime=0
/proc/15224/task/15231/stat : 15231 (java) S 15221 15221 14871 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 44028083 867164160 7488 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15232] ppid=15221 vsize=846840 CPUtime=0
/proc/15224/task/15232/stat : 15232 (java) S 15221 15221 14871 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 44028083 867164160 7488 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15224/tid=15233] ppid=15221 vsize=846840 CPUtime=0
/proc/15224/task/15233/stat : 15233 (java) S 15221 15221 14871 0 -1 64 4 0 0 0 0 0 0 0 21 0 10 0 44028141 867164160 7488 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 852196

[startup+3.1015 s]
/proc/loadavg: 2.65 2.88 3.13 3/109 15233
/proc/meminfo: memFree=1786696/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=5356 CPUtime=0
/proc/15221/stat : 15221 (concrete.sh) S 15219 15221 14871 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 44028073 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15221/statm: 1339 242 201 169 0 50 0
[pid=15224] ppid=15221 vsize=846996 CPUtime=3
/proc/15224/stat : 15224 (java) S 15221 15221 14871 0 -1 0 15147 0 1 0 289 11 0 0 18 0 9 0 44028079 867323904 14252 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15224/statm: 211749 14252 2578 9 0 206309 0
[pid=15224/tid=15225] ppid=15221 vsize=846996 CPUtime=2.12
/proc/15224/task/15225/stat : 15225 (java) R 15221 15221 14871 0 -1 64 3801 0 1 0 209 3 0 0 25 0 9 0 44028080 867323904 14252 996147200 134512640 134550740 4294956000 18446744073709551615 4126843118 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15226] ppid=15221 vsize=846996 CPUtime=0.43
/proc/15224/task/15226/stat : 15226 (java) S 15221 15221 14871 0 -1 64 9495 0 0 0 38 5 0 0 17 0 9 0 44028081 867323904 14252 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15227] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15227/stat : 15227 (java) S 15221 15221 14871 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44028081 867323904 14252 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15228] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15228/stat : 15228 (java) S 15221 15221 14871 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 44028081 867323904 14252 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15229] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15229/stat : 15229 (java) S 15221 15221 14871 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44028083 867323904 14252 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15230] ppid=15221 vsize=846996 CPUtime=0.42
/proc/15224/task/15230/stat : 15230 (java) S 15221 15221 14871 0 -1 64 1112 0 0 0 41 1 0 0 15 0 9 0 44028083 867323904 14252 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15231] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15231/stat : 15231 (java) S 15221 15221 14871 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44028083 867323904 14252 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15232] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15232/stat : 15232 (java) S 15221 15221 14871 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 44028083 867323904 14252 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 852352

[startup+6.3029 s]
/proc/loadavg: 2.65 2.88 3.13 3/109 15233
/proc/meminfo: memFree=1786440/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=5356 CPUtime=0
/proc/15221/stat : 15221 (concrete.sh) S 15219 15221 14871 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 44028073 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15221/statm: 1339 242 201 169 0 50 0
[pid=15224] ppid=15221 vsize=846996 CPUtime=6.18
/proc/15224/stat : 15224 (java) S 15221 15221 14871 0 -1 0 15157 0 1 0 607 11 0 0 18 0 9 0 44028079 867323904 14261 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15224/statm: 211749 14261 2578 9 0 206309 0
[pid=15224/tid=15225] ppid=15221 vsize=846996 CPUtime=5.29
/proc/15224/task/15225/stat : 15225 (java) R 15221 15221 14871 0 -1 64 3801 0 1 0 525 4 0 0 25 0 9 0 44028080 867323904 14261 996147200 134512640 134550740 4294956000 18446744073709551615 4126846040 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15226] ppid=15221 vsize=846996 CPUtime=0.43
/proc/15224/task/15226/stat : 15226 (java) S 15221 15221 14871 0 -1 64 9495 0 0 0 38 5 0 0 16 0 9 0 44028081 867323904 14261 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15224/tid=15227] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15227/stat : 15227 (java) S 15221 15221 14871 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44028081 867323904 14261 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15228] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15228/stat : 15228 (java) S 15221 15221 14871 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 44028081 867323904 14261 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15229] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15229/stat : 15229 (java) S 15221 15221 14871 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44028083 867323904 14261 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15230] ppid=15221 vsize=846996 CPUtime=0.43
/proc/15224/task/15230/stat : 15230 (java) S 15221 15221 14871 0 -1 64 1122 0 0 0 42 1 0 0 17 0 9 0 44028083 867323904 14261 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15231] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15231/stat : 15231 (java) S 15221 15221 14871 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44028083 867323904 14261 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15232] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15232/stat : 15232 (java) S 15221 15221 14871 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 44028083 867323904 14261 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 852352

[startup+12.7017 s]
/proc/loadavg: 2.62 2.87 3.12 3/109 15233
/proc/meminfo: memFree=1786312/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=5356 CPUtime=0
/proc/15221/stat : 15221 (concrete.sh) S 15219 15221 14871 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 44028073 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15221/statm: 1339 242 201 169 0 50 0
[pid=15224] ppid=15221 vsize=846996 CPUtime=12.54
/proc/15224/stat : 15224 (java) S 15221 15221 14871 0 -1 0 15157 0 1 0 1243 11 0 0 18 0 9 0 44028079 867323904 14261 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15224/statm: 211749 14261 2578 9 0 206309 0
[pid=15224/tid=15225] ppid=15221 vsize=846996 CPUtime=11.66
/proc/15224/task/15225/stat : 15225 (java) R 15221 15221 14871 0 -1 64 3801 0 1 0 1162 4 0 0 25 0 9 0 44028080 867323904 14261 996147200 134512640 134550740 4294956000 18446744073709551615 4126900301 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15226] ppid=15221 vsize=846996 CPUtime=0.43
/proc/15224/task/15226/stat : 15226 (java) S 15221 15221 14871 0 -1 64 9495 0 0 0 38 5 0 0 16 0 9 0 44028081 867323904 14261 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15224/tid=15227] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15227/stat : 15227 (java) S 15221 15221 14871 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44028081 867323904 14261 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15228] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15228/stat : 15228 (java) S 15221 15221 14871 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 44028081 867323904 14261 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15229] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15229/stat : 15229 (java) S 15221 15221 14871 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44028083 867323904 14261 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15230] ppid=15221 vsize=846996 CPUtime=0.43
/proc/15224/task/15230/stat : 15230 (java) S 15221 15221 14871 0 -1 64 1122 0 0 0 42 1 0 0 17 0 9 0 44028083 867323904 14261 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15231] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15231/stat : 15231 (java) S 15221 15221 14871 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44028083 867323904 14261 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15232] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15232/stat : 15232 (java) S 15221 15221 14871 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 44028083 867323904 14261 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 852352

[startup+25.5023 s]
/proc/loadavg: 2.68 2.87 3.12 3/109 15233
/proc/meminfo: memFree=1786376/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=5356 CPUtime=0
/proc/15221/stat : 15221 (concrete.sh) S 15219 15221 14871 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 44028073 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15221/statm: 1339 242 201 169 0 50 0
[pid=15224] ppid=15221 vsize=846996 CPUtime=25.27
/proc/15224/stat : 15224 (java) S 15221 15221 14871 0 -1 0 15157 0 1 0 2516 11 0 0 18 0 9 0 44028079 867323904 14261 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15224/statm: 211749 14261 2578 9 0 206309 0
[pid=15224/tid=15225] ppid=15221 vsize=846996 CPUtime=24.39
/proc/15224/task/15225/stat : 15225 (java) R 15221 15221 14871 0 -1 64 3801 0 1 0 2435 4 0 0 25 0 9 0 44028080 867323904 14261 996147200 134512640 134550740 4294956000 18446744073709551615 4126855213 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15226] ppid=15221 vsize=846996 CPUtime=0.43
/proc/15224/task/15226/stat : 15226 (java) S 15221 15221 14871 0 -1 64 9495 0 0 0 38 5 0 0 16 0 9 0 44028081 867323904 14261 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15224/tid=15227] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15227/stat : 15227 (java) S 15221 15221 14871 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44028081 867323904 14261 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15228] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15228/stat : 15228 (java) S 15221 15221 14871 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 44028081 867323904 14261 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15229] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15229/stat : 15229 (java) S 15221 15221 14871 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44028083 867323904 14261 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15230] ppid=15221 vsize=846996 CPUtime=0.43
/proc/15224/task/15230/stat : 15230 (java) S 15221 15221 14871 0 -1 64 1122 0 0 0 42 1 0 0 17 0 9 0 44028083 867323904 14261 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15231] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15231/stat : 15231 (java) S 15221 15221 14871 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44028083 867323904 14261 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15232] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15232/stat : 15232 (java) S 15221 15221 14871 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 44028083 867323904 14261 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 852352

[startup+51.1024 s]
/proc/loadavg: 2.71 2.87 3.11 3/109 15233

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

/proc/15224/task/15230/stat : 15230 (java) S 15221 15221 14871 0 -1 64 1130 0 0 0 44 1 0 0 15 0 9 0 44028083 867323904 14366 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15224/tid=15231] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15231/stat : 15231 (java) S 15221 15221 14871 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44028083 867323904 14366 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15232] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15232/stat : 15232 (java) S 15221 15221 14871 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 44028083 867323904 14366 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3384.88
Current children cumulated vsize (KiB) 852352

[startup+3462.3 s]
/proc/loadavg: 2.20 2.13 2.15 3/110 15350
/proc/meminfo: memFree=1087416/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=5356 CPUtime=0
/proc/15221/stat : 15221 (concrete.sh) S 15219 15221 14871 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 44028073 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15221/statm: 1339 242 201 169 0 50 0
[pid=15224] ppid=15221 vsize=846996 CPUtime=3444.18
/proc/15224/stat : 15224 (java) S 15221 15221 14871 0 -1 0 15271 0 1 0 344403 15 0 0 18 0 9 0 44028079 867323904 14366 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15224/statm: 211749 14366 2578 9 0 206309 0
[pid=15224/tid=15225] ppid=15221 vsize=846996 CPUtime=3443.27
/proc/15224/task/15225/stat : 15225 (java) R 15221 15221 14871 0 -1 64 3905 0 1 0 344320 7 0 0 25 0 9 0 44028080 867323904 14366 996147200 134512640 134550740 4294956000 18446744073709551615 4126900438 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15224/tid=15226] ppid=15221 vsize=846996 CPUtime=0.43
/proc/15224/task/15226/stat : 15226 (java) S 15221 15221 14871 0 -1 64 9497 0 0 0 38 5 0 0 16 0 9 0 44028081 867323904 14366 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15224/tid=15227] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15227/stat : 15227 (java) S 15221 15221 14871 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44028081 867323904 14366 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15228] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15228/stat : 15228 (java) S 15221 15221 14871 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 44028081 867323904 14366 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15229] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15229/stat : 15229 (java) S 15221 15221 14871 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44028083 867323904 14366 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15230] ppid=15221 vsize=846996 CPUtime=0.45
/proc/15224/task/15230/stat : 15230 (java) S 15221 15221 14871 0 -1 64 1130 0 0 0 44 1 0 0 15 0 9 0 44028083 867323904 14366 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15224/tid=15231] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15231/stat : 15231 (java) S 15221 15221 14871 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44028083 867323904 14366 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15232] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15232/stat : 15232 (java) S 15221 15221 14871 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 44028083 867323904 14366 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3444.18
Current children cumulated vsize (KiB) 852352

[startup+3522.3 s]
/proc/loadavg: 2.11 2.12 2.15 3/110 15350
/proc/meminfo: memFree=1087352/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=5356 CPUtime=0
/proc/15221/stat : 15221 (concrete.sh) S 15219 15221 14871 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 44028073 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15221/statm: 1339 242 201 169 0 50 0
[pid=15224] ppid=15221 vsize=846996 CPUtime=3503.5
/proc/15224/stat : 15224 (java) S 15221 15221 14871 0 -1 0 15272 0 1 0 350335 15 0 0 18 0 9 0 44028079 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15224/statm: 211749 14367 2578 9 0 206309 0
[pid=15224/tid=15225] ppid=15221 vsize=846996 CPUtime=3502.6
/proc/15224/task/15225/stat : 15225 (java) R 15221 15221 14871 0 -1 64 3905 0 1 0 350252 8 0 0 25 0 9 0 44028080 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4126838835 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15224/tid=15226] ppid=15221 vsize=846996 CPUtime=0.43
/proc/15224/task/15226/stat : 15226 (java) S 15221 15221 14871 0 -1 64 9497 0 0 0 38 5 0 0 16 0 9 0 44028081 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15224/tid=15227] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15227/stat : 15227 (java) S 15221 15221 14871 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44028081 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15228] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15228/stat : 15228 (java) S 15221 15221 14871 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 44028081 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15229] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15229/stat : 15229 (java) S 15221 15221 14871 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44028083 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15230] ppid=15221 vsize=846996 CPUtime=0.45
/proc/15224/task/15230/stat : 15230 (java) S 15221 15221 14871 0 -1 64 1131 0 0 0 44 1 0 0 16 0 9 0 44028083 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15224/tid=15231] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15231/stat : 15231 (java) S 15221 15221 14871 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44028083 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15232] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15232/stat : 15232 (java) S 15221 15221 14871 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 44028083 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3503.5
Current children cumulated vsize (KiB) 852352

[startup+3582.3 s]
/proc/loadavg: 2.10 2.11 2.14 3/110 15350
/proc/meminfo: memFree=1087224/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=5356 CPUtime=0
/proc/15221/stat : 15221 (concrete.sh) S 15219 15221 14871 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 44028073 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15221/statm: 1339 242 201 169 0 50 0
[pid=15224] ppid=15221 vsize=846996 CPUtime=3562.82
/proc/15224/stat : 15224 (java) S 15221 15221 14871 0 -1 0 15272 0 1 0 356267 15 0 0 18 0 9 0 44028079 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15224/statm: 211749 14367 2578 9 0 206309 0
[pid=15224/tid=15225] ppid=15221 vsize=846996 CPUtime=3561.92
/proc/15224/task/15225/stat : 15225 (java) R 15221 15221 14871 0 -1 64 3905 0 1 0 356184 8 0 0 25 0 9 0 44028080 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4126838809 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15224/tid=15226] ppid=15221 vsize=846996 CPUtime=0.43
/proc/15224/task/15226/stat : 15226 (java) S 15221 15221 14871 0 -1 64 9497 0 0 0 38 5 0 0 16 0 9 0 44028081 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15224/tid=15227] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15227/stat : 15227 (java) S 15221 15221 14871 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44028081 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15228] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15228/stat : 15228 (java) S 15221 15221 14871 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 44028081 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15229] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15229/stat : 15229 (java) S 15221 15221 14871 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44028083 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15230] ppid=15221 vsize=846996 CPUtime=0.45
/proc/15224/task/15230/stat : 15230 (java) S 15221 15221 14871 0 -1 64 1131 0 0 0 44 1 0 0 16 0 9 0 44028083 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15224/tid=15231] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15231/stat : 15231 (java) S 15221 15221 14871 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44028083 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15232] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15232/stat : 15232 (java) S 15221 15221 14871 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 44028083 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3562.82
Current children cumulated vsize (KiB) 852352



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+3619.9 s]
/proc/loadavg: 2.10 2.11 2.14 3/110 15350
/proc/meminfo: memFree=1087224/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=5356 CPUtime=0
/proc/15221/stat : 15221 (concrete.sh) S 15219 15221 14871 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 44028073 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15221/statm: 1339 242 201 169 0 50 0
[pid=15224] ppid=15221 vsize=846996 CPUtime=3600
/proc/15224/stat : 15224 (java) S 15221 15221 14871 0 -1 0 15272 0 1 0 359985 15 0 0 18 0 9 0 44028079 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15224/statm: 211749 14367 2578 9 0 206309 0
[pid=15224/tid=15225] ppid=15221 vsize=846996 CPUtime=3599.1
/proc/15224/task/15225/stat : 15225 (java) R 15221 15221 14871 0 -1 64 3905 0 1 0 359902 8 0 0 25 0 9 0 44028080 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4126900419 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15224/tid=15226] ppid=15221 vsize=846996 CPUtime=0.43
/proc/15224/task/15226/stat : 15226 (java) S 15221 15221 14871 0 -1 64 9497 0 0 0 38 5 0 0 16 0 9 0 44028081 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15224/tid=15227] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15227/stat : 15227 (java) S 15221 15221 14871 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44028081 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15228] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15228/stat : 15228 (java) S 15221 15221 14871 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 44028081 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15229] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15229/stat : 15229 (java) S 15221 15221 14871 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44028083 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15230] ppid=15221 vsize=846996 CPUtime=0.45
/proc/15224/task/15230/stat : 15230 (java) S 15221 15221 14871 0 -1 64 1131 0 0 0 44 1 0 0 16 0 9 0 44028083 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15224/tid=15231] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15231/stat : 15231 (java) S 15221 15221 14871 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44028083 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15232] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15232/stat : 15232 (java) S 15221 15221 14871 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 44028083 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3600
Current children cumulated vsize (KiB) 852352

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

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

[startup+3619.9 s]
/proc/loadavg: 2.10 2.11 2.14 3/110 15350
/proc/meminfo: memFree=1087224/2055920 swapFree=4192812/4192956
[pid=15221] ppid=15219 vsize=5356 CPUtime=0
/proc/15221/stat : 15221 (concrete.sh) S 15219 15221 14871 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 44028073 5484544 242 996147200 4194304 4889804 548682068752 18446744073709551615 226686985028 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15221/statm: 1339 242 201 169 0 50 0
[pid=15224] ppid=15221 vsize=846996 CPUtime=3600
/proc/15224/stat : 15224 (java) S 15221 15221 14871 0 -1 0 15272 0 1 0 359985 15 0 0 18 0 9 0 44028079 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15224/statm: 211749 14367 2578 9 0 206309 0
[pid=15224/tid=15225] ppid=15221 vsize=846996 CPUtime=3599.1
/proc/15224/task/15225/stat : 15225 (java) R 15221 15221 14871 0 -1 64 3905 0 1 0 359902 8 0 0 25 0 9 0 44028080 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4126900419 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15224/tid=15226] ppid=15221 vsize=846996 CPUtime=0.43
/proc/15224/task/15226/stat : 15226 (java) S 15221 15221 14871 0 -1 64 9497 0 0 0 38 5 0 0 16 0 9 0 44028081 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=15224/tid=15227] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15227/stat : 15227 (java) S 15221 15221 14871 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 44028081 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15228] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15228/stat : 15228 (java) S 15221 15221 14871 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 44028081 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15229] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15229/stat : 15229 (java) S 15221 15221 14871 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 44028083 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15230] ppid=15221 vsize=846996 CPUtime=0.45
/proc/15224/task/15230/stat : 15230 (java) S 15221 15221 14871 0 -1 64 1131 0 0 0 44 1 0 0 16 0 9 0 44028083 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=15224/tid=15231] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15231/stat : 15231 (java) S 15221 15221 14871 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 44028083 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15224/tid=15232] ppid=15221 vsize=846996 CPUtime=0
/proc/15224/task/15232/stat : 15232 (java) S 15221 15221 14871 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 44028083 867323904 14367 996147200 134512640 134550740 4294956000 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3600
Current children cumulated vsize (KiB) 852352

Child ended because it received signal 15 (SIGTERM)

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

Real time (s): 3619.92
CPU time (s): 3600
CPU user time (s): 3599.85
CPU system time (s): 0.15
CPU usage (%): 99.4496
Max. virtual memory (cumulated for all children) (KiB): 852352

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
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= 14
involuntary context switches= 18

runsolver used 5.9501 second user time and 13.8479 second system time

The end

Launcher Data (download as text)

Begin job on node80 at 2008-07-12 16:35:15
IDJOB=1112730
IDBENCH=61465
IDSOLVER=336
FILE ID=node80/1112730-1215873315
PBS_JOBID= 7903532
Free space on /tmp= 66556 MiB

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

TIME LIMIT= 3600 seconds
MEMORY LIMIT= 900 MiB

MD5SUM BENCH= 35f08e79f15e123e16593b9b1f1199bd
RANDOM SEED=392959569

node80.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.216
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.216
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	: 5996.54
clflush size	: 64
cache_alignment	: 128
address sizes	: 36 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:      2055920 kB
MemFree:       1835136 kB
Buffers:          7392 kB
Cached:          43336 kB
SwapCached:          0 kB
Active:         155620 kB
Inactive:         9772 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:      2055920 kB
LowFree:       1835136 kB
SwapTotal:     4192956 kB
SwapFree:      4192812 kB
Dirty:             868 kB
Writeback:           0 kB
Mapped:         134248 kB
Slab:            38384 kB
Committed_AS:  1075156 kB
PageTables:       3636 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= 66552 MiB
End job on node80 at 2008-07-12 17:35:37