2.06/2.15 c CPU-LOAD 1.26
2.06/2.15 c LOADED 698 V (2 E), 471 ExtensionConstraint2D, 1270 PredicateConstraint, arity 3, 1.26 cpu
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1060802-1215128681/watcher-1060802-1215128681 -o /tmp/evaluation-result-1060802-1215128681/solver-1060802-1215128681 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s Tabu HOME/instance-1060802-1215128681.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 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: 1.92 1.97 1.90 4/81 25764
/proc/meminfo: memFree=1535944/2055920 swapFree=4178936/4192956
[pid=25764] ppid=25762 vsize=5356 CPUtime=0
/proc/25764/stat : 25764 (concrete.sh) R 25762 25764 24039 0 -1 4194304 262 0 0 0 0 0 0 0 22 0 1 0 1991838441 5484544 230 996147200 4194304 4889804 548682068784 18446744073709551615 251255122591 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/25764/statm: 1339 230 191 169 0 50 0
[pid=25765] ppid=25764 vsize=5356 CPUtime=0
/proc/25765/stat : 25765 (concrete.sh) R 25764 25764 24039 0 -1 4194368 0 0 0 0 0 0 0 0 22 0 1 0 1991838441 5484544 230 996147200 4194304 4889804 548682068784 18446744073709551615 251255122591 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/25765/statm: 1339 230 191 169 0 50 0
[startup+0.064845 s]
/proc/loadavg: 1.92 1.97 1.90 4/81 25764
/proc/meminfo: memFree=1535944/2055920 swapFree=4178936/4192956
[pid=25764] ppid=25762 vsize=5356 CPUtime=0
/proc/25764/stat : 25764 (concrete.sh) S 25762 25764 24039 0 -1 4194304 315 128 0 0 0 0 0 0 22 0 1 0 1991838441 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25764/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101849 s]
/proc/loadavg: 1.92 1.97 1.90 4/81 25764
/proc/meminfo: memFree=1535944/2055920 swapFree=4178936/4192956
[pid=25764] ppid=25762 vsize=5356 CPUtime=0
/proc/25764/stat : 25764 (concrete.sh) S 25762 25764 24039 0 -1 4194304 315 128 0 0 0 0 0 0 22 0 1 0 1991838441 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25764/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301867 s]
/proc/loadavg: 1.92 1.97 1.90 4/81 25764
/proc/meminfo: memFree=1535944/2055920 swapFree=4178936/4192956
[pid=25764] ppid=25762 vsize=5356 CPUtime=0
/proc/25764/stat : 25764 (concrete.sh) S 25762 25764 24039 0 -1 4194304 315 128 0 0 0 0 0 0 22 0 1 0 1991838441 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25764/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701913 s]
/proc/loadavg: 1.92 1.97 1.90 4/81 25764
/proc/meminfo: memFree=1535944/2055920 swapFree=4178936/4192956
[pid=25764] ppid=25762 vsize=5356 CPUtime=0
/proc/25764/stat : 25764 (concrete.sh) S 25762 25764 24039 0 -1 4194304 315 128 0 0 0 0 0 0 22 0 1 0 1991838441 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25764/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.503 s]
/proc/loadavg: 2.01 1.98 1.91 4/92 25776
/proc/meminfo: memFree=1523568/2055920 swapFree=4178936/4192956
[pid=25764] ppid=25762 vsize=5356 CPUtime=0
/proc/25764/stat : 25764 (concrete.sh) S 25762 25764 24039 0 -1 4194304 315 128 0 0 0 0 0 0 22 0 1 0 1991838441 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25764/statm: 1339 242 201 169 0 50 0
[pid=25767] ppid=25764 vsize=847076 CPUtime=1.46
/proc/25767/stat : 25767 (java) S 25764 25764 24039 0 -1 0 6124 0 1 0 141 5 0 0 18 0 10 0 1991838442 867405824 5452 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 211769 5452 1917 9 0 206330 0
[pid=25767/tid=25768] ppid=25764 vsize=847076 CPUtime=0.99
/proc/25767/task/25768/stat : 25768 (java) R 25764 25764 24039 0 -1 64 3434 0 1 0 96 3 0 0 25 0 10 0 1991838443 867405824 5452 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25769] ppid=25764 vsize=847076 CPUtime=0.07
/proc/25767/task/25769/stat : 25769 (java) S 25764 25764 24039 0 -1 64 861 0 0 0 7 0 0 0 16 0 10 0 1991838444 867405824 5452 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25770] ppid=25764 vsize=847076 CPUtime=0
/proc/25767/task/25770/stat : 25770 (java) S 25764 25764 24039 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1991838444 867405824 5452 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25771] ppid=25764 vsize=847076 CPUtime=0
/proc/25767/task/25771/stat : 25771 (java) S 25764 25764 24039 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 1991838444 867405824 5452 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25772] ppid=25764 vsize=847076 CPUtime=0
/proc/25767/task/25772/stat : 25772 (java) S 25764 25764 24039 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1991838446 867405824 5452 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25773] ppid=25764 vsize=847076 CPUtime=0.38
/proc/25767/task/25773/stat : 25773 (java) R 25764 25764 24039 0 -1 64 1094 0 0 0 37 1 0 0 16 0 10 0 1991838446 867405824 5452 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25774] ppid=25764 vsize=847076 CPUtime=0
/proc/25767/task/25774/stat : 25774 (java) S 25764 25764 24039 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 1991838446 867405824 5452 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25775] ppid=25764 vsize=847076 CPUtime=0
/proc/25767/task/25775/stat : 25775 (java) S 25764 25764 24039 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1991838446 867405824 5452 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25776] ppid=25764 vsize=847076 CPUtime=0
/proc/25767/task/25776/stat : 25776 (java) S 25764 25764 24039 0 -1 64 3 0 0 0 0 0 0 0 23 0 10 0 1991838531 867405824 5452 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 852432
[startup+3.10217 s]
/proc/loadavg: 2.01 1.98 1.91 3/92 25776
/proc/meminfo: memFree=1513840/2055920 swapFree=4178936/4192956
[pid=25764] ppid=25762 vsize=5356 CPUtime=0
/proc/25764/stat : 25764 (concrete.sh) S 25762 25764 24039 0 -1 4194304 315 128 0 0 0 0 0 0 22 0 1 0 1991838441 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25764/statm: 1339 242 201 169 0 50 0
[pid=25767] ppid=25764 vsize=851072 CPUtime=3.05
/proc/25767/stat : 25767 (java) S 25764 25764 24039 0 -1 0 9067 0 1 0 297 8 0 0 18 0 9 0 1991838442 871497728 7984 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 212768 7984 2586 9 0 207328 0
[pid=25767/tid=25768] ppid=25764 vsize=851072 CPUtime=2.18
/proc/25767/task/25768/stat : 25768 (java) R 25764 25764 24039 0 -1 64 3775 0 1 0 215 3 0 0 25 0 9 0 1991838443 871497728 7984 996147200 134512640 134550740 4294956016 18446744073709551615 4127157456 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25769] ppid=25764 vsize=851072 CPUtime=0.24
/proc/25767/task/25769/stat : 25769 (java) S 25764 25764 24039 0 -1 64 2229 0 0 0 23 1 0 0 16 0 9 0 1991838444 871497728 7984 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25770] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25770/stat : 25770 (java) S 25764 25764 24039 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1991838444 871497728 7984 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25771] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25771/stat : 25771 (java) S 25764 25764 24039 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 1991838444 871497728 7984 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25772] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25772/stat : 25772 (java) S 25764 25764 24039 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1991838446 871497728 7984 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25773] ppid=25764 vsize=851072 CPUtime=0.6
/proc/25767/task/25773/stat : 25773 (java) S 25764 25764 24039 0 -1 64 2326 0 0 0 58 2 0 0 15 0 9 0 1991838446 871497728 7984 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25774] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25774/stat : 25774 (java) S 25764 25764 24039 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1991838446 871497728 7984 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25775] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25775/stat : 25775 (java) S 25764 25764 24039 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1991838446 871497728 7984 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 856428
[startup+6.30252 s]
/proc/loadavg: 2.01 1.98 1.91 3/91 25777
/proc/meminfo: memFree=1513456/2055920 swapFree=4178936/4192956
[pid=25764] ppid=25762 vsize=5356 CPUtime=0
/proc/25764/stat : 25764 (concrete.sh) S 25762 25764 24039 0 -1 4194304 315 128 0 0 0 0 0 0 22 0 1 0 1991838441 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25764/statm: 1339 242 201 169 0 50 0
[pid=25767] ppid=25764 vsize=851072 CPUtime=6.22
/proc/25767/stat : 25767 (java) S 25764 25764 24039 0 -1 0 9214 0 1 0 613 9 0 0 18 0 9 0 1991838442 871497728 7984 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 212768 7984 2586 9 0 207328 0
[pid=25767/tid=25768] ppid=25764 vsize=851072 CPUtime=5.29
/proc/25767/task/25768/stat : 25768 (java) R 25764 25764 24039 0 -1 64 3922 0 1 0 525 4 0 0 25 0 9 0 1991838443 871497728 7984 996147200 134512640 134550740 4294956016 18446744073709551615 4127221968 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25769] ppid=25764 vsize=851072 CPUtime=0.3
/proc/25767/task/25769/stat : 25769 (java) S 25764 25764 24039 0 -1 64 2229 0 0 0 28 2 0 0 16 0 9 0 1991838444 871497728 7984 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25770] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25770/stat : 25770 (java) S 25764 25764 24039 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1991838444 871497728 7984 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25771] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25771/stat : 25771 (java) S 25764 25764 24039 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 1991838444 871497728 7984 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25772] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25772/stat : 25772 (java) S 25764 25764 24039 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1991838446 871497728 7984 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25773] ppid=25764 vsize=851072 CPUtime=0.6
/proc/25767/task/25773/stat : 25773 (java) S 25764 25764 24039 0 -1 64 2326 0 0 0 58 2 0 0 15 0 9 0 1991838446 871497728 7984 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25774] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25774/stat : 25774 (java) S 25764 25764 24039 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1991838446 871497728 7984 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25775] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25775/stat : 25775 (java) S 25764 25764 24039 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1991838446 871497728 7984 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 856428
[startup+12.7022 s]
/proc/loadavg: 2.00 1.98 1.91 3/91 25777
/proc/meminfo: memFree=1513136/2055920 swapFree=4178936/4192956
[pid=25764] ppid=25762 vsize=5356 CPUtime=0
/proc/25764/stat : 25764 (concrete.sh) S 25762 25764 24039 0 -1 4194304 315 128 0 0 0 0 0 0 22 0 1 0 1991838441 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25764/statm: 1339 242 201 169 0 50 0
[pid=25767] ppid=25764 vsize=851072 CPUtime=12.55
/proc/25767/stat : 25767 (java) S 25764 25764 24039 0 -1 0 9539 0 1 0 1244 11 0 0 18 0 9 0 1991838442 871497728 8022 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 212768 8022 2586 9 0 207328 0
[pid=25767/tid=25768] ppid=25764 vsize=851072 CPUtime=11.54
/proc/25767/task/25768/stat : 25768 (java) R 25764 25764 24039 0 -1 64 4210 0 1 0 1149 5 0 0 25 0 9 0 1991838443 871497728 8022 996147200 134512640 134550740 4294956016 18446744073709551615 4127212968 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25769] ppid=25764 vsize=851072 CPUtime=0.38
/proc/25767/task/25769/stat : 25769 (java) S 25764 25764 24039 0 -1 64 2263 0 0 0 35 3 0 0 16 0 9 0 1991838444 871497728 8022 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25770] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25770/stat : 25770 (java) S 25764 25764 24039 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1991838444 871497728 8022 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25771] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25771/stat : 25771 (java) S 25764 25764 24039 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 1991838444 871497728 8022 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25772] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25772/stat : 25772 (java) S 25764 25764 24039 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1991838446 871497728 8022 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25773] ppid=25764 vsize=851072 CPUtime=0.61
/proc/25767/task/25773/stat : 25773 (java) S 25764 25764 24039 0 -1 64 2329 0 0 0 59 2 0 0 16 0 9 0 1991838446 871497728 8022 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25774] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25774/stat : 25774 (java) S 25764 25764 24039 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1991838446 871497728 8022 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25775] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25775/stat : 25775 (java) S 25764 25764 24039 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1991838446 871497728 8022 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 856428
[startup+25.5016 s]
/proc/loadavg: 1.92 1.97 1.90 3/82 25807
/proc/meminfo: memFree=1522744/2055920 swapFree=4178936/4192956
[pid=25764] ppid=25762 vsize=5356 CPUtime=0
/proc/25764/stat : 25764 (concrete.sh) S 25762 25764 24039 0 -1 4194304 315 128 0 0 0 0 0 0 22 0 1 0 1991838441 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25764/statm: 1339 242 201 169 0 50 0
[pid=25767] ppid=25764 vsize=851072 CPUtime=25.29
/proc/25767/stat : 25767 (java) S 25764 25764 24039 0 -1 0 10237 0 1 0 2511 18 0 0 18 0 9 0 1991838442 871497728 8078 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 212768 8078 2586 9 0 207328 0
[pid=25767/tid=25768] ppid=25764 vsize=851072 CPUtime=24.08
/proc/25767/task/25768/stat : 25768 (java) R 25764 25764 24039 0 -1 64 4854 0 1 0 2400 8 0 0 25 0 9 0 1991838443 871497728 8078 996147200 134512640 134550740 4294956016 18446744073709551615 4125897444 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25767/tid=25769] ppid=25764 vsize=851072 CPUtime=0.57
/proc/25767/task/25769/stat : 25769 (java) S 25764 25764 24039 0 -1 64 2315 0 0 0 50 7 0 0 16 0 9 0 1991838444 871497728 8078 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25767/tid=25770] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25770/stat : 25770 (java) S 25764 25764 24039 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1991838444 871497728 8078 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25771] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25771/stat : 25771 (java) S 25764 25764 24039 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 1991838444 871497728 8078 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25772] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25772/stat : 25772 (java) S 25764 25764 24039 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1991838446 871497728 8078 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25773] ppid=25764 vsize=851072 CPUtime=0.61
/proc/25767/task/25773/stat : 25773 (java) S 25764 25764 24039 0 -1 64 2331 0 0 0 59 2 0 0 16 0 9 0 1991838446 871497728 8078 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25767/tid=25774] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25774/stat : 25774 (java) S 25764 25764 24039 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1991838446 871497728 8078 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25775] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25775/stat : 25775 (java) S 25764 25764 24039 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1991838446 871497728 8078 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.29
Current children cumulated vsize (KiB) 856428
################
# More data... #
################
/proc/25767/task/25773/stat : 25773 (java) S 25764 25764 24039 0 -1 64 2349 0 0 0 61 2 0 0 16 0 9 0 1991838446 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25767/tid=25774] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25774/stat : 25774 (java) S 25764 25764 24039 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1991838446 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25775] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25775/stat : 25775 (java) S 25764 25764 24039 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1991838446 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1541.45
Current children cumulated vsize (KiB) 856428
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.93 3/91 26035
/proc/meminfo: memFree=1505632/2055920 swapFree=4178936/4192956
[pid=25764] ppid=25762 vsize=5356 CPUtime=0
/proc/25764/stat : 25764 (concrete.sh) S 25762 25764 24039 0 -1 4194304 315 128 0 0 0 0 0 0 22 0 1 0 1991838441 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25764/statm: 1339 242 201 169 0 50 0
[pid=25767] ppid=25764 vsize=851072 CPUtime=1601.42
/proc/25767/stat : 25767 (java) S 25764 25764 24039 0 -1 0 90372 0 1 0 159470 672 0 0 18 0 9 0 1991838442 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 212768 8860 2586 9 0 207328 0
[pid=25767/tid=25768] ppid=25764 vsize=851072 CPUtime=1575.2
/proc/25767/task/25768/stat : 25768 (java) R 25764 25764 24039 0 -1 64 84120 0 1 0 157288 232 0 0 25 0 9 0 1991838443 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4125897456 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25767/tid=25769] ppid=25764 vsize=851072 CPUtime=25.57
/proc/25767/task/25769/stat : 25769 (java) S 25764 25764 24039 0 -1 64 3166 0 0 0 2120 437 0 0 16 0 9 0 1991838444 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25767/tid=25770] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25770/stat : 25770 (java) S 25764 25764 24039 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1991838444 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25767/tid=25771] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25771/stat : 25771 (java) S 25764 25764 24039 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 1991838444 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25772] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25772/stat : 25772 (java) S 25764 25764 24039 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1991838446 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25773] ppid=25764 vsize=851072 CPUtime=0.63
/proc/25767/task/25773/stat : 25773 (java) S 25764 25764 24039 0 -1 64 2349 0 0 0 61 2 0 0 16 0 9 0 1991838446 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25767/tid=25774] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25774/stat : 25774 (java) S 25764 25764 24039 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1991838446 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25775] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25775/stat : 25775 (java) S 25764 25764 24039 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1991838446 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.42
Current children cumulated vsize (KiB) 856428
[startup+1662.3 s]
/proc/loadavg: 2.10 2.03 1.94 3/91 26035
/proc/meminfo: memFree=1505632/2055920 swapFree=4178936/4192956
[pid=25764] ppid=25762 vsize=5356 CPUtime=0
/proc/25764/stat : 25764 (concrete.sh) S 25762 25764 24039 0 -1 4194304 315 128 0 0 0 0 0 0 22 0 1 0 1991838441 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25764/statm: 1339 242 201 169 0 50 0
[pid=25767] ppid=25764 vsize=851072 CPUtime=1661.4
/proc/25767/stat : 25767 (java) S 25764 25764 24039 0 -1 0 93396 0 1 0 165443 697 0 0 18 0 9 0 1991838442 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 212768 8860 2586 9 0 207328 0
[pid=25767/tid=25768] ppid=25764 vsize=851072 CPUtime=1634.22
/proc/25767/task/25768/stat : 25768 (java) R 25764 25764 24039 0 -1 64 87144 0 1 0 163182 240 0 0 25 0 9 0 1991838443 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4127221885 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25767/tid=25769] ppid=25764 vsize=851072 CPUtime=26.52
/proc/25767/task/25769/stat : 25769 (java) S 25764 25764 24039 0 -1 64 3166 0 0 0 2198 454 0 0 16 0 9 0 1991838444 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25767/tid=25770] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25770/stat : 25770 (java) S 25764 25764 24039 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1991838444 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25767/tid=25771] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25771/stat : 25771 (java) S 25764 25764 24039 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 1991838444 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25772] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25772/stat : 25772 (java) S 25764 25764 24039 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1991838446 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25773] ppid=25764 vsize=851072 CPUtime=0.63
/proc/25767/task/25773/stat : 25773 (java) S 25764 25764 24039 0 -1 64 2349 0 0 0 61 2 0 0 16 0 9 0 1991838446 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25767/tid=25774] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25774/stat : 25774 (java) S 25764 25764 24039 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1991838446 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25775] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25775/stat : 25775 (java) S 25764 25764 24039 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1991838446 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1661.4
Current children cumulated vsize (KiB) 856428
[startup+1722.3 s]
/proc/loadavg: 2.03 2.02 1.94 3/91 26035
/proc/meminfo: memFree=1505632/2055920 swapFree=4178936/4192956
[pid=25764] ppid=25762 vsize=5356 CPUtime=0
/proc/25764/stat : 25764 (concrete.sh) S 25762 25764 24039 0 -1 4194304 315 128 0 0 0 0 0 0 22 0 1 0 1991838441 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25764/statm: 1339 242 201 169 0 50 0
[pid=25767] ppid=25764 vsize=851072 CPUtime=1721.37
/proc/25767/stat : 25767 (java) S 25764 25764 24039 0 -1 0 96468 0 1 0 171413 724 0 0 18 0 9 0 1991838442 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 212768 8860 2586 9 0 207328 0
[pid=25767/tid=25768] ppid=25764 vsize=851072 CPUtime=1693.19
/proc/25767/task/25768/stat : 25768 (java) R 25764 25764 24039 0 -1 64 90216 0 1 0 169069 250 0 0 25 0 9 0 1991838443 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4127203907 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25767/tid=25769] ppid=25764 vsize=851072 CPUtime=27.52
/proc/25767/task/25769/stat : 25769 (java) S 25764 25764 24039 0 -1 64 3166 0 0 0 2281 471 0 0 16 0 9 0 1991838444 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25767/tid=25770] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25770/stat : 25770 (java) S 25764 25764 24039 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1991838444 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25767/tid=25771] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25771/stat : 25771 (java) S 25764 25764 24039 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 1991838444 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25772] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25772/stat : 25772 (java) S 25764 25764 24039 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1991838446 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25773] ppid=25764 vsize=851072 CPUtime=0.63
/proc/25767/task/25773/stat : 25773 (java) S 25764 25764 24039 0 -1 64 2349 0 0 0 61 2 0 0 16 0 9 0 1991838446 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25767/tid=25774] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25774/stat : 25774 (java) S 25764 25764 24039 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1991838446 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25775] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25775/stat : 25775 (java) S 25764 25764 24039 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1991838446 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1721.37
Current children cumulated vsize (KiB) 856428
[startup+1782.3 s]
/proc/loadavg: 2.12 2.05 1.95 3/91 26035
/proc/meminfo: memFree=1505632/2055920 swapFree=4178936/4192956
[pid=25764] ppid=25762 vsize=5356 CPUtime=0
/proc/25764/stat : 25764 (concrete.sh) S 25762 25764 24039 0 -1 4194304 315 128 0 0 0 0 0 0 22 0 1 0 1991838441 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25764/statm: 1339 242 201 169 0 50 0
[pid=25767] ppid=25764 vsize=851072 CPUtime=1781.35
/proc/25767/stat : 25767 (java) S 25764 25764 24039 0 -1 0 99493 0 1 0 177387 748 0 0 18 0 9 0 1991838442 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 212768 8860 2586 9 0 207328 0
[pid=25767/tid=25768] ppid=25764 vsize=851072 CPUtime=1752.16
/proc/25767/task/25768/stat : 25768 (java) R 25764 25764 24039 0 -1 64 93217 0 1 0 174959 257 0 0 25 0 9 0 1991838443 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4127165211 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25767/tid=25769] ppid=25764 vsize=851072 CPUtime=28.53
/proc/25767/task/25769/stat : 25769 (java) S 25764 25764 24039 0 -1 64 3190 0 0 0 2366 487 0 0 16 0 9 0 1991838444 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25767/tid=25770] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25770/stat : 25770 (java) S 25764 25764 24039 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1991838444 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25767/tid=25771] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25771/stat : 25771 (java) S 25764 25764 24039 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 1991838444 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25772] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25772/stat : 25772 (java) S 25764 25764 24039 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1991838446 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25773] ppid=25764 vsize=851072 CPUtime=0.63
/proc/25767/task/25773/stat : 25773 (java) S 25764 25764 24039 0 -1 64 2349 0 0 0 61 2 0 0 16 0 9 0 1991838446 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25767/tid=25774] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25774/stat : 25774 (java) S 25764 25764 24039 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1991838446 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25775] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25775/stat : 25775 (java) S 25764 25764 24039 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1991838446 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1781.35
Current children cumulated vsize (KiB) 856428
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801 s]
/proc/loadavg: 2.08 2.04 1.95 3/91 26035
/proc/meminfo: memFree=1505632/2055920 swapFree=4178936/4192956
[pid=25764] ppid=25762 vsize=5356 CPUtime=0
/proc/25764/stat : 25764 (concrete.sh) S 25762 25764 24039 0 -1 4194304 315 128 0 0 0 0 0 0 22 0 1 0 1991838441 5484544 242 996147200 4194304 4889804 548682068784 18446744073709551615 251255120708 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/25764/statm: 1339 242 201 169 0 50 0
[pid=25767] ppid=25764 vsize=851072 CPUtime=1800.05
/proc/25767/stat : 25767 (java) S 25764 25764 24039 0 -1 0 100446 0 1 0 179249 756 0 0 18 0 9 0 1991838442 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/25767/statm: 212768 8860 2586 9 0 207328 0
[pid=25767/tid=25768] ppid=25764 vsize=851072 CPUtime=1770.56
/proc/25767/task/25768/stat : 25768 (java) R 25764 25764 24039 0 -1 64 94170 0 1 0 176797 259 0 0 25 0 9 0 1991838443 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4127213577 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25767/tid=25769] ppid=25764 vsize=851072 CPUtime=28.82
/proc/25767/task/25769/stat : 25769 (java) S 25764 25764 24039 0 -1 64 3190 0 0 0 2389 493 0 0 16 0 9 0 1991838444 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=25767/tid=25770] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25770/stat : 25770 (java) S 25764 25764 24039 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1991838444 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25767/tid=25771] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25771/stat : 25771 (java) S 25764 25764 24039 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 1991838444 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25772] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25772/stat : 25772 (java) S 25764 25764 24039 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1991838446 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25773] ppid=25764 vsize=851072 CPUtime=0.63
/proc/25767/task/25773/stat : 25773 (java) S 25764 25764 24039 0 -1 64 2349 0 0 0 61 2 0 0 16 0 9 0 1991838446 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=25767/tid=25774] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25774/stat : 25774 (java) S 25764 25764 24039 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 1991838446 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=25767/tid=25775] ppid=25764 vsize=851072 CPUtime=0
/proc/25767/task/25775/stat : 25775 (java) S 25764 25764 24039 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1991838446 871497728 8860 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 856428
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25764 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=999
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2999
# CPU time returned by wait4() is 0.003998
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1801.02
CPU time (s): 1800.05
CPU user time (s): 1792.49
CPU system time (s): 7.56
CPU usage (%): 99.946
Max. virtual memory (cumulated for all children) (KiB): 856428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000999
system time used= 0.002999
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= 8
involuntary context switches= 4
runsolver used 2.52262 second user time and 5.68614 second system time
The end
Begin job on node64 at 2008-07-04 01:44:41
IDJOB=1060802
IDBENCH=54483
IDSOLVER=303
FILE ID=node64/1060802-1215128681
PBS_JOBID= 7877078
Free space on /tmp= 66552 MiB
SOLVER NAME= Concrete + CSP4J - Tabu Engine 2008-05-30
BENCH NAME= CPAI08/csp/pseudo/par/normalized-par-16-2-c.xml
COMMAND LINE= HOME/concrete.sh -c -ext 0 -s Tabu BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1060802-1215128681/watcher-1060802-1215128681 -o /tmp/evaluation-result-1060802-1215128681/solver-1060802-1215128681 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s Tabu HOME/instance-1060802-1215128681.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= a9c366c7e2b6af6b750e822115ff05c4
RANDOM SEED=399777146
node64.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.248
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.248
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1536424 kB
Buffers: 69668 kB
Cached: 358132 kB
SwapCached: 7196 kB
Active: 245924 kB
Inactive: 206476 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1536424 kB
SwapTotal: 4192956 kB
SwapFree: 4178936 kB
Dirty: 1320 kB
Writeback: 0 kB
Mapped: 40812 kB
Slab: 51964 kB
Committed_AS: 3986820 kB
PageTables: 1860 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 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 node64 at 2008-07-04 02:14:44