57.75/57.83 c CPU-LOAD 56.94
57.75/57.83 c LOADED 111 V (42 E), 42 ExtensionConstraint2D, 117 ExtensionConstraintGeneral, arity 10, 56.94 cpu
67.76/67.82 s UNSATISFIABLE
67.76/67.82 d NODES 70
67.76/67.82 d CHECKS 40040754
67.76/67.82 c gac3-effective-revisions: 867
67.76/67.82 c gac3-useless-revisions: 7227
67.76/67.82 c heuristic-cpu: 0.0
67.76/67.82 c prepro-constraint-ccks: 37712173
67.76/67.82 c prepro-constraint-presenceccks: 1126
67.76/67.82 c prepro-cpu: 9.29
67.76/67.82 c prepro-matrix2d-ccks: 259
67.76/67.82 c prepro-matrix2d-presenceccks: 256
67.76/67.82 c prepro-removed: 16
67.76/67.82 c search-cpu: 0.6100006
67.76/67.82 c total-assgn: 70
67.76/67.82 c total-constraint-ccks: 40040267
67.76/67.82 c total-constraint-presence-ccks: 38536
67.76/67.82 c total-cpu: 9.900001
67.76/67.82 c total-matrix2d-ccks: 487
67.76/67.82 c total-matrix2d-presence-ccks: 1508
67.76/67.82 c tuples: 0
67.76/67.82 c tuples-collisions: 0
67.76/67.82 c TOTAL-NODES 70
67.76/67.82 c TOTAL-CPU 9.900001
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1073792-1215177677/watcher-1073792-1215177677 -o /tmp/evaluation-result-1073792-1215177677/solver-1073792-1215177677 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 60 HOME/instance-1073792-1215177677.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: 2.10 2.12 2.05 4/73 21002
/proc/meminfo: memFree=1605640/2055920 swapFree=4180424/4192956
[pid=21002] ppid=21000 vsize=5356 CPUtime=0
/proc/21002/stat : 21002 (concrete.sh) R 21000 21002 18419 0 -1 4194304 296 128 0 0 0 0 0 0 21 0 1 0 1996739974 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 273653754527 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/21002/statm: 1339 242 201 169 0 50 0
[pid=21004] ppid=21002 vsize=5356 CPUtime=0
/proc/21004/stat : 21004 (concrete.sh) R 21002 21002 18419 0 -1 4194368 0 0 0 0 0 0 0 0 21 0 1 0 1996739975 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 273653754527 0 65538 4100 65536 0 0 0 17 1 0 0
/proc/21004/statm: 1339 242 201 169 0 50 0
[startup+0.0569449 s]
/proc/loadavg: 2.10 2.12 2.05 4/73 21002
/proc/meminfo: memFree=1605640/2055920 swapFree=4180424/4192956
[pid=21002] ppid=21000 vsize=5356 CPUtime=0
/proc/21002/stat : 21002 (concrete.sh) S 21000 21002 18419 0 -1 4194304 316 128 0 0 0 0 0 0 21 0 1 0 1996739974 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21002/statm: 1339 242 201 169 0 50 0
[pid=21004] ppid=21002 vsize=840680 CPUtime=0.04
/proc/21004/stat : 21004 (java) S 21002 21002 18419 0 -1 0 2196 0 1 0 3 1 0 0 18 0 9 0 1996739975 860856320 1734 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21004/statm: 210170 1734 979 9 0 205147 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 846036
[startup+0.101953 s]
/proc/loadavg: 2.10 2.12 2.05 4/73 21002
/proc/meminfo: memFree=1605640/2055920 swapFree=4180424/4192956
[pid=21002] ppid=21000 vsize=5356 CPUtime=0
/proc/21002/stat : 21002 (concrete.sh) S 21000 21002 18419 0 -1 4194304 316 128 0 0 0 0 0 0 21 0 1 0 1996739974 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21002/statm: 1339 242 201 169 0 50 0
[pid=21004] ppid=21002 vsize=843024 CPUtime=0.08
/proc/21004/stat : 21004 (java) S 21002 21002 18419 0 -1 0 3361 0 1 0 7 1 0 0 18 0 9 0 1996739975 863256576 2820 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21004/statm: 210756 2820 1645 9 0 205333 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 848380
[startup+0.301974 s]
/proc/loadavg: 2.10 2.12 2.05 4/73 21002
/proc/meminfo: memFree=1605640/2055920 swapFree=4180424/4192956
[pid=21002] ppid=21000 vsize=5356 CPUtime=0
/proc/21002/stat : 21002 (concrete.sh) S 21000 21002 18419 0 -1 4194304 316 128 0 0 0 0 0 0 21 0 1 0 1996739974 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21002/statm: 1339 242 201 169 0 50 0
[pid=21004] ppid=21002 vsize=843644 CPUtime=0.28
/proc/21004/stat : 21004 (java) S 21002 21002 18419 0 -1 0 4270 0 1 0 26 2 0 0 18 0 9 0 1996739975 863891456 3682 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21004/statm: 210911 3682 1816 9 0 205479 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 849000
[startup+0.701034 s]
/proc/loadavg: 2.10 2.12 2.05 4/73 21002
/proc/meminfo: memFree=1605640/2055920 swapFree=4180424/4192956
[pid=21002] ppid=21000 vsize=5356 CPUtime=0
/proc/21002/stat : 21002 (concrete.sh) S 21000 21002 18419 0 -1 4194304 316 128 0 0 0 0 0 0 21 0 1 0 1996739974 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21002/statm: 1339 242 201 169 0 50 0
[pid=21004] ppid=21002 vsize=843644 CPUtime=0.68
/proc/21004/stat : 21004 (java) S 21002 21002 18419 0 -1 0 7105 0 1 0 64 4 0 0 18 0 9 0 1996739975 863891456 6209 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21004/statm: 210911 6209 2562 9 0 205479 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 849000
[startup+1.50215 s]
/proc/loadavg: 2.10 2.12 2.05 4/83 21013
/proc/meminfo: memFree=1586424/2055920 swapFree=4180424/4192956
[pid=21002] ppid=21000 vsize=5356 CPUtime=0
/proc/21002/stat : 21002 (concrete.sh) S 21000 21002 18419 0 -1 4194304 316 128 0 0 0 0 0 0 21 0 1 0 1996739974 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21002/statm: 1339 242 201 169 0 50 0
[pid=21004] ppid=21002 vsize=843644 CPUtime=1.48
/proc/21004/stat : 21004 (java) S 21002 21002 18419 0 -1 0 8793 0 1 0 143 5 0 0 18 0 9 0 1996739975 863891456 7591 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21004/statm: 210911 7591 2562 9 0 205479 0
[pid=21004/tid=21006] ppid=21002 vsize=843644 CPUtime=0.96
/proc/21004/task/21006/stat : 21006 (java) R 21002 21002 18419 0 -1 64 3896 0 1 0 94 2 0 0 25 0 9 0 1996739976 863891456 7591 996147200 134512640 134550740 4294956032 18446744073709551615 4125743944 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21007] ppid=21002 vsize=843644 CPUtime=0.43
/proc/21004/task/21007/stat : 21007 (java) S 21002 21002 18419 0 -1 64 3827 0 0 0 41 2 0 0 16 0 9 0 1996739977 863891456 7591 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21008] ppid=21002 vsize=843644 CPUtime=0
/proc/21004/task/21008/stat : 21008 (java) S 21002 21002 18419 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1996739978 863891456 7591 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21009] ppid=21002 vsize=843644 CPUtime=0
/proc/21004/task/21009/stat : 21009 (java) S 21002 21002 18419 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 1996739978 863891456 7591 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21010] ppid=21002 vsize=843644 CPUtime=0
/proc/21004/task/21010/stat : 21010 (java) S 21002 21002 18419 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996739980 863891456 7591 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21004/tid=21011] ppid=21002 vsize=843644 CPUtime=0.06
/proc/21004/task/21011/stat : 21011 (java) S 21002 21002 18419 0 -1 64 339 0 0 0 6 0 0 0 16 0 9 0 1996739980 863891456 7591 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21012] ppid=21002 vsize=843644 CPUtime=0
/proc/21004/task/21012/stat : 21012 (java) S 21002 21002 18419 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1996739980 863891456 7591 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21004/tid=21013] ppid=21002 vsize=843644 CPUtime=0
/proc/21004/task/21013/stat : 21013 (java) S 21002 21002 18419 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996739980 863891456 7591 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 849000
[startup+3.10239 s]
/proc/loadavg: 2.10 2.12 2.05 3/84 21014
/proc/meminfo: memFree=1576240/2055920 swapFree=4180424/4192956
[pid=21002] ppid=21000 vsize=5356 CPUtime=0
/proc/21002/stat : 21002 (concrete.sh) S 21000 21002 18419 0 -1 4194304 316 128 0 0 0 0 0 0 21 0 1 0 1996739974 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21002/statm: 1339 242 201 169 0 50 0
[pid=21004] ppid=21002 vsize=846244 CPUtime=3.08
/proc/21004/stat : 21004 (java) S 21002 21002 18419 0 -1 0 42665 0 1 0 288 20 0 0 18 0 10 0 1996739975 866553856 41402 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21004/statm: 211561 41402 2567 9 0 206128 0
[pid=21004/tid=21006] ppid=21002 vsize=846244 CPUtime=2.33
/proc/21004/task/21006/stat : 21006 (java) R 21002 21002 18419 0 -1 64 35466 0 1 0 217 16 0 0 25 0 10 0 1996739976 866553856 41402 996147200 134512640 134550740 4294956032 18446744073709551615 4125719395 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21007] ppid=21002 vsize=846244 CPUtime=0.61
/proc/21004/task/21007/stat : 21007 (java) S 21002 21002 18419 0 -1 64 5716 0 0 0 58 3 0 0 16 0 10 0 1996739977 866553856 41402 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21008] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21008/stat : 21008 (java) S 21002 21002 18419 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1996739978 866553856 41402 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21009] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21009/stat : 21009 (java) S 21002 21002 18419 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 1996739978 866553856 41402 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21010] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21010/stat : 21010 (java) S 21002 21002 18419 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1996739980 866553856 41402 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21004/tid=21011] ppid=21002 vsize=846244 CPUtime=0.11
/proc/21004/task/21011/stat : 21011 (java) S 21002 21002 18419 0 -1 64 747 0 0 0 11 0 0 0 16 0 10 0 1996739980 866553856 41402 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21012] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21012/stat : 21012 (java) S 21002 21002 18419 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1996739980 866553856 41402 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21004/tid=21013] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21013/stat : 21013 (java) S 21002 21002 18419 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 1996739980 866553856 41402 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 851600
[startup+6.30286 s]
/proc/loadavg: 2.10 2.12 2.05 3/84 21015
/proc/meminfo: memFree=1449256/2055920 swapFree=4180424/4192956
[pid=21002] ppid=21000 vsize=5356 CPUtime=0
/proc/21002/stat : 21002 (concrete.sh) S 21000 21002 18419 0 -1 4194304 316 128 0 0 0 0 0 0 21 0 1 0 1996739974 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21002/statm: 1339 242 201 169 0 50 0
[pid=21004] ppid=21002 vsize=846244 CPUtime=6.28
/proc/21004/stat : 21004 (java) S 21002 21002 18419 0 -1 0 42667 0 1 0 608 20 0 0 18 0 10 0 1996739975 866553856 41402 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21004/statm: 211561 41402 2567 9 0 206128 0
[pid=21004/tid=21006] ppid=21002 vsize=846244 CPUtime=5.53
/proc/21004/task/21006/stat : 21006 (java) R 21002 21002 18419 0 -1 64 35468 0 1 0 537 16 0 0 25 0 10 0 1996739976 866553856 41402 996147200 134512640 134550740 4294956032 18446744073709551615 103282645 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21007] ppid=21002 vsize=846244 CPUtime=0.61
/proc/21004/task/21007/stat : 21007 (java) S 21002 21002 18419 0 -1 64 5716 0 0 0 58 3 0 0 16 0 10 0 1996739977 866553856 41402 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21004/tid=21008] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21008/stat : 21008 (java) S 21002 21002 18419 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1996739978 866553856 41402 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21009] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21009/stat : 21009 (java) S 21002 21002 18419 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 1996739978 866553856 41402 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21010] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21010/stat : 21010 (java) S 21002 21002 18419 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1996739980 866553856 41402 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21004/tid=21011] ppid=21002 vsize=846244 CPUtime=0.11
/proc/21004/task/21011/stat : 21011 (java) S 21002 21002 18419 0 -1 64 747 0 0 0 11 0 0 0 16 0 10 0 1996739980 866553856 41402 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21012] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21012/stat : 21012 (java) S 21002 21002 18419 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1996739980 866553856 41402 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21004/tid=21013] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21013/stat : 21013 (java) S 21002 21002 18419 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 1996739980 866553856 41402 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21004/tid=21015] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21015/stat : 21015 (java) S 21002 21002 18419 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1996740228 866553856 41402 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 851600
[startup+12.7028 s]
/proc/loadavg: 2.09 2.12 2.05 3/84 21015
/proc/meminfo: memFree=1449128/2055920 swapFree=4180424/4192956
[pid=21002] ppid=21000 vsize=5356 CPUtime=0
/proc/21002/stat : 21002 (concrete.sh) S 21000 21002 18419 0 -1 4194304 316 128 0 0 0 0 0 0 21 0 1 0 1996739974 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21002/statm: 1339 242 201 169 0 50 0
[pid=21004] ppid=21002 vsize=846244 CPUtime=12.67
/proc/21004/stat : 21004 (java) S 21002 21002 18419 0 -1 0 42667 0 1 0 1247 20 0 0 18 0 10 0 1996739975 866553856 41402 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21004/statm: 211561 41402 2567 9 0 206128 0
[pid=21004/tid=21006] ppid=21002 vsize=846244 CPUtime=11.93
/proc/21004/task/21006/stat : 21006 (java) R 21002 21002 18419 0 -1 64 35468 0 1 0 1177 16 0 0 25 0 10 0 1996739976 866553856 41402 996147200 134512640 134550740 4294956032 18446744073709551615 103282799 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21007] ppid=21002 vsize=846244 CPUtime=0.61
/proc/21004/task/21007/stat : 21007 (java) S 21002 21002 18419 0 -1 64 5716 0 0 0 58 3 0 0 16 0 10 0 1996739977 866553856 41402 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=21004/tid=21008] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21008/stat : 21008 (java) S 21002 21002 18419 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1996739978 866553856 41402 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21009] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21009/stat : 21009 (java) S 21002 21002 18419 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 1996739978 866553856 41402 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21010] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21010/stat : 21010 (java) S 21002 21002 18419 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1996739980 866553856 41402 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21004/tid=21011] ppid=21002 vsize=846244 CPUtime=0.11
/proc/21004/task/21011/stat : 21011 (java) S 21002 21002 18419 0 -1 64 747 0 0 0 11 0 0 0 16 0 10 0 1996739980 866553856 41402 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21012] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21012/stat : 21012 (java) S 21002 21002 18419 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1996739980 866553856 41402 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21004/tid=21013] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21013/stat : 21013 (java) S 21002 21002 18419 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 1996739980 866553856 41402 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21004/tid=21015] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21015/stat : 21015 (java) S 21002 21002 18419 0 -1 64 0 0 0 0 0 0 0 0 25 0 10 0 1996740228 866553856 41402 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 851600
[startup+25.5017 s]
/proc/loadavg: 2.07 2.11 2.04 3/84 21015
/proc/meminfo: memFree=1449000/2055920 swapFree=4180424/4192956
[pid=21002] ppid=21000 vsize=5356 CPUtime=0
/proc/21002/stat : 21002 (concrete.sh) S 21000 21002 18419 0 -1 4194304 316 128 0 0 0 0 0 0 21 0 1 0 1996739974 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21002/statm: 1339 242 201 169 0 50 0
[pid=21004] ppid=21002 vsize=846244 CPUtime=25.47
/proc/21004/stat : 21004 (java) S 21002 21002 18419 0 -1 0 42667 0 1 0 2527 20 0 0 18 0 10 0 1996739975 866553856 41402 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21004/statm: 211561 41402 2567 9 0 206128 0
[pid=21004/tid=21006] ppid=21002 vsize=846244 CPUtime=24.72
/proc/21004/task/21006/stat : 21006 (java) R 21002 21002 18419 0 -1 64 35468 0 1 0 2456 16 0 0 25 0 10 0 1996739976 866553856 41402 996147200 134512640 134550740 4294956032 18446744073709551615 4126015114 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21007] ppid=21002 vsize=846244 CPUtime=0.61
/proc/21004/task/21007/stat : 21007 (java) S 21002 21002 18419 0 -1 64 5716 0 0 0 58 3 0 0 16 0 10 0 1996739977 866553856 41402 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 57.45
Current children cumulated vsize (KiB) 851600
[startup+63.9024 s]
/proc/loadavg: 2.04 2.10 2.04 3/83 21016
/proc/meminfo: memFree=1447976/2055920 swapFree=4180424/4192956
[pid=21002] ppid=21000 vsize=5356 CPUtime=0
/proc/21002/stat : 21002 (concrete.sh) S 21000 21002 18419 0 -1 4194304 316 128 0 0 0 0 0 0 21 0 1 0 1996739974 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21002/statm: 1339 242 201 169 0 50 0
[pid=21004] ppid=21002 vsize=846244 CPUtime=63.86
/proc/21004/stat : 21004 (java) S 21002 21002 18419 0 -1 0 43010 0 1 0 6365 21 0 0 18 0 9 0 1996739975 866553856 41735 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21004/statm: 211561 41735 2567 9 0 206128 0
[pid=21004/tid=21006] ppid=21002 vsize=846244 CPUtime=63.03
/proc/21004/task/21006/stat : 21006 (java) R 21002 21002 18419 0 -1 64 35497 0 1 0 6287 16 0 0 25 0 9 0 1996739976 866553856 41735 996147200 134512640 134550740 4294956032 18446744073709551615 4126065280 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21007] ppid=21002 vsize=846244 CPUtime=0.67
/proc/21004/task/21007/stat : 21007 (java) S 21002 21002 18419 0 -1 64 6022 0 0 0 64 3 0 0 16 0 9 0 1996739977 866553856 41735 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21008] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21008/stat : 21008 (java) S 21002 21002 18419 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1996739978 866553856 41735 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21009] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21009/stat : 21009 (java) S 21002 21002 18419 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1996739978 866553856 41735 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21010] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21010/stat : 21010 (java) S 21002 21002 18419 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996739980 866553856 41735 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21004/tid=21011] ppid=21002 vsize=846244 CPUtime=0.12
/proc/21004/task/21011/stat : 21011 (java) S 21002 21002 18419 0 -1 64 754 0 0 0 12 0 0 0 16 0 9 0 1996739980 866553856 41735 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21012] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21012/stat : 21012 (java) S 21002 21002 18419 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1996739980 866553856 41735 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21004/tid=21013] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21013/stat : 21013 (java) S 21002 21002 18419 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996739980 866553856 41735 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 63.86
Current children cumulated vsize (KiB) 851600
[startup+65.5016 s]
/proc/loadavg: 2.03 2.09 2.04 3/83 21016
/proc/meminfo: memFree=1447976/2055920 swapFree=4180424/4192956
[pid=21002] ppid=21000 vsize=5356 CPUtime=0
/proc/21002/stat : 21002 (concrete.sh) S 21000 21002 18419 0 -1 4194304 316 128 0 0 0 0 0 0 21 0 1 0 1996739974 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21002/statm: 1339 242 201 169 0 50 0
[pid=21004] ppid=21002 vsize=846244 CPUtime=65.46
/proc/21004/stat : 21004 (java) S 21002 21002 18419 0 -1 0 43010 0 1 0 6525 21 0 0 18 0 9 0 1996739975 866553856 41735 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21004/statm: 211561 41735 2567 9 0 206128 0
[pid=21004/tid=21006] ppid=21002 vsize=846244 CPUtime=64.63
/proc/21004/task/21006/stat : 21006 (java) R 21002 21002 18419 0 -1 64 35497 0 1 0 6447 16 0 0 25 0 9 0 1996739976 866553856 41735 996147200 134512640 134550740 4294956032 18446744073709551615 4126015114 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21007] ppid=21002 vsize=846244 CPUtime=0.67
/proc/21004/task/21007/stat : 21007 (java) S 21002 21002 18419 0 -1 64 6022 0 0 0 64 3 0 0 16 0 9 0 1996739977 866553856 41735 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21008] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21008/stat : 21008 (java) S 21002 21002 18419 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1996739978 866553856 41735 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21009] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21009/stat : 21009 (java) S 21002 21002 18419 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1996739978 866553856 41735 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21010] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21010/stat : 21010 (java) S 21002 21002 18419 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996739980 866553856 41735 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21004/tid=21011] ppid=21002 vsize=846244 CPUtime=0.12
/proc/21004/task/21011/stat : 21011 (java) S 21002 21002 18419 0 -1 64 754 0 0 0 12 0 0 0 16 0 9 0 1996739980 866553856 41735 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21012] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21012/stat : 21012 (java) S 21002 21002 18419 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1996739980 866553856 41735 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21004/tid=21013] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21013/stat : 21013 (java) S 21002 21002 18419 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996739980 866553856 41735 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 65.46
Current children cumulated vsize (KiB) 851600
[startup+67.1068 s]
/proc/loadavg: 2.03 2.09 2.04 3/83 21016
/proc/meminfo: memFree=1447976/2055920 swapFree=4180424/4192956
[pid=21002] ppid=21000 vsize=5356 CPUtime=0
/proc/21002/stat : 21002 (concrete.sh) S 21000 21002 18419 0 -1 4194304 316 128 0 0 0 0 0 0 21 0 1 0 1996739974 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21002/statm: 1339 242 201 169 0 50 0
[pid=21004] ppid=21002 vsize=846244 CPUtime=67.06
/proc/21004/stat : 21004 (java) S 21002 21002 18419 0 -1 0 43012 0 1 0 6685 21 0 0 18 0 9 0 1996739975 866553856 41736 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21004/statm: 211561 41736 2567 9 0 206128 0
[pid=21004/tid=21006] ppid=21002 vsize=846244 CPUtime=66.23
/proc/21004/task/21006/stat : 21006 (java) R 21002 21002 18419 0 -1 64 35498 0 1 0 6607 16 0 0 25 0 9 0 1996739976 866553856 41736 996147200 134512640 134550740 4294956032 18446744073709551615 4125719398 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21007] ppid=21002 vsize=846244 CPUtime=0.67
/proc/21004/task/21007/stat : 21007 (java) S 21002 21002 18419 0 -1 64 6022 0 0 0 64 3 0 0 17 0 9 0 1996739977 866553856 41736 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21008] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21008/stat : 21008 (java) S 21002 21002 18419 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1996739978 866553856 41736 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21009] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21009/stat : 21009 (java) S 21002 21002 18419 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1996739978 866553856 41736 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21010] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21010/stat : 21010 (java) S 21002 21002 18419 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996739980 866553856 41736 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21004/tid=21011] ppid=21002 vsize=846244 CPUtime=0.12
/proc/21004/task/21011/stat : 21011 (java) S 21002 21002 18419 0 -1 64 755 0 0 0 12 0 0 0 17 0 9 0 1996739980 866553856 41736 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21012] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21012/stat : 21012 (java) S 21002 21002 18419 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1996739980 866553856 41736 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21004/tid=21013] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21013/stat : 21013 (java) S 21002 21002 18419 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996739980 866553856 41736 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 67.06
Current children cumulated vsize (KiB) 851600
[startup+67.5029 s]
/proc/loadavg: 2.03 2.09 2.04 3/83 21016
/proc/meminfo: memFree=1447976/2055920 swapFree=4180424/4192956
[pid=21002] ppid=21000 vsize=5356 CPUtime=0
/proc/21002/stat : 21002 (concrete.sh) S 21000 21002 18419 0 -1 4194304 316 128 0 0 0 0 0 0 21 0 1 0 1996739974 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21002/statm: 1339 242 201 169 0 50 0
[pid=21004] ppid=21002 vsize=846244 CPUtime=67.46
/proc/21004/stat : 21004 (java) S 21002 21002 18419 0 -1 0 43019 0 1 0 6725 21 0 0 18 0 9 0 1996739975 866553856 41742 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21004/statm: 211561 41742 2568 9 0 206128 0
[pid=21004/tid=21006] ppid=21002 vsize=846244 CPUtime=66.62
/proc/21004/task/21006/stat : 21006 (java) R 21002 21002 18419 0 -1 64 35499 0 1 0 6646 16 0 0 25 0 9 0 1996739976 866553856 41742 996147200 134512640 134550740 4294956032 18446744073709551615 4126049088 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21007] ppid=21002 vsize=846244 CPUtime=0.67
/proc/21004/task/21007/stat : 21007 (java) S 21002 21002 18419 0 -1 64 6022 0 0 0 64 3 0 0 17 0 9 0 1996739977 866553856 41742 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21008] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21008/stat : 21008 (java) S 21002 21002 18419 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1996739978 866553856 41742 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21009] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21009/stat : 21009 (java) S 21002 21002 18419 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1996739978 866553856 41742 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21010] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21010/stat : 21010 (java) S 21002 21002 18419 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996739980 866553856 41742 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21004/tid=21011] ppid=21002 vsize=846244 CPUtime=0.13
/proc/21004/task/21011/stat : 21011 (java) S 21002 21002 18419 0 -1 64 761 0 0 0 13 0 0 0 16 0 9 0 1996739980 866553856 41742 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21012] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21012/stat : 21012 (java) S 21002 21002 18419 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1996739980 866553856 41742 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21004/tid=21013] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21013/stat : 21013 (java) S 21002 21002 18419 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996739980 866553856 41742 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 67.46
Current children cumulated vsize (KiB) 851600
[startup+67.7029 s]
/proc/loadavg: 2.03 2.09 2.04 3/83 21016
/proc/meminfo: memFree=1447976/2055920 swapFree=4180424/4192956
[pid=21002] ppid=21000 vsize=5356 CPUtime=0
/proc/21002/stat : 21002 (concrete.sh) S 21000 21002 18419 0 -1 4194304 316 128 0 0 0 0 0 0 21 0 1 0 1996739974 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21002/statm: 1339 242 201 169 0 50 0
[pid=21004] ppid=21002 vsize=846244 CPUtime=67.66
/proc/21004/stat : 21004 (java) S 21002 21002 18419 0 -1 0 43019 0 1 0 6745 21 0 0 18 0 9 0 1996739975 866553856 41742 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21004/statm: 211561 41742 2568 9 0 206128 0
[pid=21004/tid=21006] ppid=21002 vsize=846244 CPUtime=66.82
/proc/21004/task/21006/stat : 21006 (java) R 21002 21002 18419 0 -1 64 35499 0 1 0 6666 16 0 0 25 0 9 0 1996739976 866553856 41742 996147200 134512640 134550740 4294956032 18446744073709551615 4126067865 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21007] ppid=21002 vsize=846244 CPUtime=0.67
/proc/21004/task/21007/stat : 21007 (java) S 21002 21002 18419 0 -1 64 6022 0 0 0 64 3 0 0 17 0 9 0 1996739977 866553856 41742 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21008] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21008/stat : 21008 (java) S 21002 21002 18419 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1996739978 866553856 41742 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21009] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21009/stat : 21009 (java) S 21002 21002 18419 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1996739978 866553856 41742 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21010] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21010/stat : 21010 (java) S 21002 21002 18419 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996739980 866553856 41742 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21004/tid=21011] ppid=21002 vsize=846244 CPUtime=0.13
/proc/21004/task/21011/stat : 21011 (java) S 21002 21002 18419 0 -1 64 761 0 0 0 13 0 0 0 16 0 9 0 1996739980 866553856 41742 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21012] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21012/stat : 21012 (java) S 21002 21002 18419 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1996739980 866553856 41742 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21004/tid=21013] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21013/stat : 21013 (java) S 21002 21002 18419 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996739980 866553856 41742 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 67.66
Current children cumulated vsize (KiB) 851600
[startup+67.8029 s]
/proc/loadavg: 2.03 2.09 2.04 3/83 21016
/proc/meminfo: memFree=1447976/2055920 swapFree=4180424/4192956
[pid=21002] ppid=21000 vsize=5356 CPUtime=0
/proc/21002/stat : 21002 (concrete.sh) S 21000 21002 18419 0 -1 4194304 316 128 0 0 0 0 0 0 21 0 1 0 1996739974 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/21002/statm: 1339 242 201 169 0 50 0
[pid=21004] ppid=21002 vsize=846244 CPUtime=67.76
/proc/21004/stat : 21004 (java) S 21002 21002 18419 0 -1 0 43028 0 1 0 6755 21 0 0 18 0 9 0 1996739975 866553856 41751 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/21004/statm: 211561 41751 2571 9 0 206128 0
[pid=21004/tid=21006] ppid=21002 vsize=846244 CPUtime=66.91
/proc/21004/task/21006/stat : 21006 (java) R 21002 21002 18419 0 -1 64 35499 0 1 0 6675 16 0 0 25 0 9 0 1996739976 866553856 41751 996147200 134512640 134550740 4294956032 18446744073709551615 4125719411 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21007] ppid=21002 vsize=846244 CPUtime=0.67
/proc/21004/task/21007/stat : 21007 (java) S 21002 21002 18419 0 -1 64 6022 0 0 0 64 3 0 0 17 0 9 0 1996739977 866553856 41751 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21008] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21008/stat : 21008 (java) S 21002 21002 18419 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1996739978 866553856 41751 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21009] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21009/stat : 21009 (java) S 21002 21002 18419 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1996739978 866553856 41751 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21010] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21010/stat : 21010 (java) S 21002 21002 18419 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1996739980 866553856 41751 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21004/tid=21011] ppid=21002 vsize=846244 CPUtime=0.14
/proc/21004/task/21011/stat : 21011 (java) S 21002 21002 18419 0 -1 64 770 0 0 0 14 0 0 0 15 0 9 0 1996739980 866553856 41751 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=21004/tid=21012] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21012/stat : 21012 (java) S 21002 21002 18419 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1996739980 866553856 41751 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=21004/tid=21013] ppid=21002 vsize=846244 CPUtime=0
/proc/21004/task/21013/stat : 21013 (java) S 21002 21002 18419 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1996739980 866553856 41751 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 67.76
Current children cumulated vsize (KiB) 851600
Child status: 0
Real time (s): 67.894
CPU time (s): 67.8197
CPU user time (s): 67.5747
CPU system time (s): 0.244962
CPU usage (%): 99.8905
Max. virtual memory (cumulated for all children) (KiB): 851600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 67.5747
system time used= 0.244962
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43498
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3755
involuntary context switches= 2581
runsolver used 0.081987 second user time and 0.233964 second system time
The end
Begin job on node52 at 2008-07-04 15:21:17
IDJOB=1073792
IDBENCH=56374
IDSOLVER=305
FILE ID=node52/1073792-1215177677
PBS_JOBID= 7881501
Free space on /tmp= 66552 MiB
SOLVER NAME= Concrete + CPS4J 2008-05-30
BENCH NAME= CPAI08/csp/modifiedRenault/normalized-renault-mod-21_ext.xml
COMMAND LINE= HOME/concrete.sh -c -ext 60 BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1073792-1215177677/watcher-1073792-1215177677 -o /tmp/evaluation-result-1073792-1215177677/solver-1073792-1215177677 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 60 HOME/instance-1073792-1215177677.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 747d416c3733dc87860e17edcc4c26d8
RANDOM SEED=110078654
node52.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.265
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.265
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: 1606120 kB
Buffers: 77536 kB
Cached: 195204 kB
SwapCached: 6808 kB
Active: 276052 kB
Inactive: 111200 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1606120 kB
SwapTotal: 4192956 kB
SwapFree: 4180424 kB
Dirty: 4064 kB
Writeback: 0 kB
Mapped: 120816 kB
Slab: 47448 kB
Committed_AS: 4052300 kB
PageTables: 2180 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 node52 at 2008-07-04 15:22:25