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
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
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