12.56/12.70 c CPU-LOAD 9.54
12.56/12.70 c LOADED 20 V (5 E), 18 ExtensionConstraintGeneral, arity 8, 9.54 cpu
1005.11/1011.64 v 3 0 4 2 1 3 2 3 0 3 2 2 3 0 4 4 1 2 3 3
1005.11/1011.64 s SATISFIABLE
1005.11/1011.64 d NODES 4913728
1005.11/1011.64 d CHECKS 2076877948
1005.11/1011.64 c gac3-effective-revisions: 0
1005.11/1011.64 c gac3-useless-revisions: 144
1005.11/1011.64 c local-minima: 78402272
1005.11/1011.64 c prepro-constraint-ccks: 2710
1005.11/1011.64 c prepro-constraint-presenceccks: 201
1005.11/1011.64 c prepro-cpu: 0.01
1005.11/1011.64 c prepro-matrix2d-ccks: 0
1005.11/1011.64 c prepro-matrix2d-presenceccks: 0
1005.11/1011.64 c prepro-removed: 0
1005.11/1011.64 c total-assgn: 4913728
1005.11/1011.64 c total-constraint-ccks: 2076877948
1005.11/1011.64 c total-constraint-presence-ccks: 201
1005.11/1011.64 c total-cpu: 992.06
1005.11/1011.64 c total-matrix2d-ccks: 0
1005.11/1011.64 c total-matrix2d-presence-ccks: 0
1005.11/1011.64 c tuples: 0
1005.11/1011.64 c tuples-collisions: 0
1005.11/1011.64 c TOTAL-NODES 4913728
1005.11/1011.64 c TOTAL-CPU 992.06
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1084872-1215232237/watcher-1084872-1215232237 -o /tmp/evaluation-result-1084872-1215232237/solver-1084872-1215232237 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s WMC HOME/instance-1084872-1215232237.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.98 1.99 4/74 1880
/proc/meminfo: memFree=1607304/2055920 swapFree=4179368/4192956
[pid=1880] ppid=1878 vsize=5356 CPUtime=0
/proc/1880/stat : 1880 (concrete.sh) R 1878 1880 31061 0 -1 4194304 247 0 0 0 0 0 0 0 20 0 1 0 635479586 5484544 215 996147200 4194304 4889804 548682068768 18446744073709551615 4308864 0 0 4100 65536 0 0 0 17 1 0 0
/proc/1880/statm: 1339 215 177 169 0 50 0
[startup+0.0981999 s]
/proc/loadavg: 1.92 1.98 1.99 4/74 1880
/proc/meminfo: memFree=1607304/2055920 swapFree=4179368/4192956
[pid=1880] ppid=1878 vsize=5356 CPUtime=0
/proc/1880/stat : 1880 (concrete.sh) S 1878 1880 31061 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 635479586 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1880/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101195 s]
/proc/loadavg: 1.92 1.98 1.99 4/74 1880
/proc/meminfo: memFree=1607304/2055920 swapFree=4179368/4192956
[pid=1880] ppid=1878 vsize=5356 CPUtime=0
/proc/1880/stat : 1880 (concrete.sh) S 1878 1880 31061 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 635479586 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1880/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301226 s]
/proc/loadavg: 1.92 1.98 1.99 4/74 1880
/proc/meminfo: memFree=1607304/2055920 swapFree=4179368/4192956
[pid=1880] ppid=1878 vsize=5356 CPUtime=0
/proc/1880/stat : 1880 (concrete.sh) S 1878 1880 31061 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 635479586 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1880/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701263 s]
/proc/loadavg: 1.92 1.98 1.99 4/74 1880
/proc/meminfo: memFree=1607304/2055920 swapFree=4179368/4192956
[pid=1880] ppid=1878 vsize=5356 CPUtime=0
/proc/1880/stat : 1880 (concrete.sh) S 1878 1880 31061 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 635479586 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1880/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50235 s]
/proc/loadavg: 1.92 1.98 1.99 4/84 1891
/proc/meminfo: memFree=1583864/2055920 swapFree=4179368/4192956
[pid=1880] ppid=1878 vsize=5356 CPUtime=0
/proc/1880/stat : 1880 (concrete.sh) S 1878 1880 31061 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 635479586 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1880/statm: 1339 242 201 169 0 50 0
[pid=1883] ppid=1880 vsize=843540 CPUtime=1.46
/proc/1883/stat : 1883 (java) S 1880 1880 31061 0 -1 0 9935 0 1 0 140 6 0 0 19 0 9 0 635479587 863784960 9050 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1883/statm: 210885 9050 2562 9 0 205453 0
[pid=1883/tid=1884] ppid=1880 vsize=843540 CPUtime=1.03
/proc/1883/task/1884/stat : 1884 (java) R 1880 1880 31061 0 -1 64 4763 0 1 0 100 3 0 0 25 0 9 0 635479588 863784960 9050 996147200 134512640 134550740 4294956016 18446744073709551615 4125776844 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1885] ppid=1880 vsize=843540 CPUtime=0.33
/proc/1883/task/1885/stat : 1885 (java) S 1880 1880 31061 0 -1 64 4115 0 0 0 31 2 0 0 16 0 9 0 635479589 863784960 9050 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1886] ppid=1880 vsize=843540 CPUtime=0
/proc/1883/task/1886/stat : 1886 (java) S 1880 1880 31061 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 635479589 863784960 9050 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1887] ppid=1880 vsize=843540 CPUtime=0
/proc/1883/task/1887/stat : 1887 (java) S 1880 1880 31061 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 635479589 863784960 9050 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1888] ppid=1880 vsize=843540 CPUtime=0
/proc/1883/task/1888/stat : 1888 (java) S 1880 1880 31061 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 635479591 863784960 9050 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1889] ppid=1880 vsize=843540 CPUtime=0.07
/proc/1883/task/1889/stat : 1889 (java) S 1880 1880 31061 0 -1 64 325 0 0 0 7 0 0 0 16 0 9 0 635479591 863784960 9050 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1890] ppid=1880 vsize=843540 CPUtime=0
/proc/1883/task/1890/stat : 1890 (java) S 1880 1880 31061 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 635479591 863784960 9050 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1891] ppid=1880 vsize=843540 CPUtime=0
/proc/1883/task/1891/stat : 1891 (java) S 1880 1880 31061 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 635479591 863784960 9050 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 848896
[startup+3.10454 s]
/proc/loadavg: 1.92 1.98 1.99 3/84 1891
/proc/meminfo: memFree=1573880/2055920 swapFree=4179368/4192956
[pid=1880] ppid=1878 vsize=5356 CPUtime=0
/proc/1880/stat : 1880 (concrete.sh) S 1878 1880 31061 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 635479586 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1880/statm: 1339 242 201 169 0 50 0
[pid=1883] ppid=1880 vsize=843540 CPUtime=3.06
/proc/1883/stat : 1883 (java) S 1880 1880 31061 0 -1 0 14688 0 1 0 295 11 0 0 19 0 9 0 635479587 863784960 13714 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1883/statm: 210885 13714 2563 9 0 205453 0
[pid=1883/tid=1884] ppid=1880 vsize=843540 CPUtime=2.2
/proc/1883/task/1884/stat : 1884 (java) R 1880 1880 31061 0 -1 64 6925 0 1 0 215 5 0 0 25 0 9 0 635479588 863784960 13714 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1885] ppid=1880 vsize=843540 CPUtime=0.75
/proc/1883/task/1885/stat : 1885 (java) R 1880 1880 31061 0 -1 64 6705 0 0 0 71 4 0 0 15 0 9 0 635479589 863784960 13714 996147200 134512640 134550740 4294956016 18446744073709551615 102516883 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1886] ppid=1880 vsize=843540 CPUtime=0
/proc/1883/task/1886/stat : 1886 (java) S 1880 1880 31061 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 635479589 863784960 13714 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1887] ppid=1880 vsize=843540 CPUtime=0
/proc/1883/task/1887/stat : 1887 (java) S 1880 1880 31061 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 635479589 863784960 13714 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1888] ppid=1880 vsize=843540 CPUtime=0
/proc/1883/task/1888/stat : 1888 (java) S 1880 1880 31061 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 635479591 863784960 13714 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1889] ppid=1880 vsize=843540 CPUtime=0.08
/proc/1883/task/1889/stat : 1889 (java) S 1880 1880 31061 0 -1 64 326 0 0 0 8 0 0 0 16 0 9 0 635479591 863784960 13714 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1890] ppid=1880 vsize=843540 CPUtime=0
/proc/1883/task/1890/stat : 1890 (java) S 1880 1880 31061 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 635479591 863784960 13714 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1891] ppid=1880 vsize=843540 CPUtime=0
/proc/1883/task/1891/stat : 1891 (java) S 1880 1880 31061 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 635479591 863784960 13714 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 848896
[startup+6.3019 s]
/proc/loadavg: 2.09 2.02 2.01 3/84 1891
/proc/meminfo: memFree=1542520/2055920 swapFree=4179368/4192956
[pid=1880] ppid=1878 vsize=5356 CPUtime=0
/proc/1880/stat : 1880 (concrete.sh) S 1878 1880 31061 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 635479586 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1880/statm: 1339 242 201 169 0 50 0
[pid=1883] ppid=1880 vsize=843540 CPUtime=6.23
/proc/1883/stat : 1883 (java) S 1880 1880 31061 0 -1 0 22035 0 1 0 608 15 0 0 19 0 9 0 635479587 863784960 20921 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1883/statm: 210885 20921 2563 9 0 205453 0
[pid=1883/tid=1884] ppid=1880 vsize=843540 CPUtime=4.61
/proc/1883/task/1884/stat : 1884 (java) R 1880 1880 31061 0 -1 64 7148 0 1 0 456 5 0 0 25 0 9 0 635479588 863784960 20921 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1885] ppid=1880 vsize=843540 CPUtime=1.5
/proc/1883/task/1885/stat : 1885 (java) R 1880 1880 31061 0 -1 64 13827 0 0 0 142 8 0 0 16 0 9 0 635479589 863784960 20921 996147200 134512640 134550740 4294956016 18446744073709551615 102721924 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1886] ppid=1880 vsize=843540 CPUtime=0
/proc/1883/task/1886/stat : 1886 (java) S 1880 1880 31061 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 635479589 863784960 20921 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1887] ppid=1880 vsize=843540 CPUtime=0
/proc/1883/task/1887/stat : 1887 (java) S 1880 1880 31061 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 635479589 863784960 20921 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1888] ppid=1880 vsize=843540 CPUtime=0
/proc/1883/task/1888/stat : 1888 (java) S 1880 1880 31061 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 635479591 863784960 20921 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1889] ppid=1880 vsize=843540 CPUtime=0.08
/proc/1883/task/1889/stat : 1889 (java) S 1880 1880 31061 0 -1 64 328 0 0 0 8 0 0 0 16 0 9 0 635479591 863784960 20921 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1890] ppid=1880 vsize=843540 CPUtime=0
/proc/1883/task/1890/stat : 1890 (java) S 1880 1880 31061 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 635479591 863784960 20921 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1891] ppid=1880 vsize=843540 CPUtime=0
/proc/1883/task/1891/stat : 1891 (java) S 1880 1880 31061 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 635479591 863784960 20921 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 848896
[startup+12.7016 s]
/proc/loadavg: 2.24 2.05 2.02 4/85 1892
/proc/meminfo: memFree=1478448/2055920 swapFree=4179368/4192956
[pid=1880] ppid=1878 vsize=5356 CPUtime=0
/proc/1880/stat : 1880 (concrete.sh) S 1878 1880 31061 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 635479586 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1880/statm: 1339 242 201 169 0 50 0
[pid=1883] ppid=1880 vsize=846248 CPUtime=12.56
/proc/1883/stat : 1883 (java) S 1880 1880 31061 0 -1 0 36670 0 1 0 1231 25 0 0 19 0 9 0 635479587 866557952 35413 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1883/statm: 211562 35413 2567 9 0 206129 0
[pid=1883/tid=1884] ppid=1880 vsize=846248 CPUtime=9.62
/proc/1883/task/1884/stat : 1884 (java) R 1880 1880 31061 0 -1 64 7639 0 1 0 954 8 0 0 25 0 9 0 635479588 866557952 35413 996147200 134512640 134550740 4294956016 18446744073709551615 102719365 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1885] ppid=1880 vsize=846248 CPUtime=2.78
/proc/1883/task/1885/stat : 1885 (java) S 1880 1880 31061 0 -1 64 27582 0 0 0 263 15 0 0 16 0 9 0 635479589 866557952 35413 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1886] ppid=1880 vsize=846248 CPUtime=0
/proc/1883/task/1886/stat : 1886 (java) S 1880 1880 31061 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 635479589 866557952 35413 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1887] ppid=1880 vsize=846248 CPUtime=0
/proc/1883/task/1887/stat : 1887 (java) S 1880 1880 31061 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 635479589 866557952 35413 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1888] ppid=1880 vsize=846248 CPUtime=0
/proc/1883/task/1888/stat : 1888 (java) S 1880 1880 31061 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 635479591 866557952 35413 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1889] ppid=1880 vsize=846248 CPUtime=0.13
/proc/1883/task/1889/stat : 1889 (java) S 1880 1880 31061 0 -1 64 711 0 0 0 13 0 0 0 16 0 9 0 635479591 866557952 35413 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1890] ppid=1880 vsize=846248 CPUtime=0
/proc/1883/task/1890/stat : 1890 (java) S 1880 1880 31061 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 635479591 866557952 35413 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1891] ppid=1880 vsize=846248 CPUtime=0
/proc/1883/task/1891/stat : 1891 (java) S 1880 1880 31061 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 635479591 866557952 35413 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 851604
[startup+25.502 s]
/proc/loadavg: 2.18 2.05 2.01 3/84 1893
/proc/meminfo: memFree=1474856/2055920 swapFree=4179368/4192956
[pid=1880] ppid=1878 vsize=5356 CPUtime=0
/proc/1880/stat : 1880 (concrete.sh) S 1878 1880 31061 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 635479586 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1880/statm: 1339 242 201 169 0 50 0
[pid=1883] ppid=1880 vsize=846248 CPUtime=25.25
/proc/1883/stat : 1883 (java) S 1880 1880 31061 0 -1 0 36745 0 1 0 2495 30 0 0 19 0 9 0 635479587 866557952 35476 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1883/statm: 211562 35476 2572 9 0 206129 0
[pid=1883/tid=1884] ppid=1880 vsize=846248 CPUtime=21.89
/proc/1883/task/1884/stat : 1884 (java) R 1880 1880 31061 0 -1 64 7659 0 1 0 2176 13 0 0 25 0 9 0 635479588 866557952 35476 996147200 134512640 134550740 4294956016 18446744073709551615 4126071180 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1885] ppid=1880 vsize=846248 CPUtime=3.15
/proc/1883/task/1885/stat : 1885 (java) S 1880 1880 31061 0 -1 64 27599 0 0 0 300 15 0 0 16 0 9 0 635479589 866557952 35476 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1886] ppid=1880 vsize=846248 CPUtime=0
/proc/1883/task/1886/stat : 1886 (java) S 1880 1880 31061 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 635479589 866557952 35476 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1887] ppid=1880 vsize=846248 CPUtime=0
/proc/1883/task/1887/stat : 1887 (java) S 1880 1880 31061 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 635479589 866557952 35476 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1888] ppid=1880 vsize=846248 CPUtime=0
/proc/1883/task/1888/stat : 1888 (java) S 1880 1880 31061 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 635479591 866557952 35476 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1889] ppid=1880 vsize=846248 CPUtime=0.17
/proc/1883/task/1889/stat : 1889 (java) S 1880 1880 31061 0 -1 64 748 0 0 0 17 0 0 0 16 0 9 0 635479591 866557952 35476 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1890] ppid=1880 vsize=846248 CPUtime=0
/proc/1883/task/1890/stat : 1890 (java) S 1880 1880 31061 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 635479591 866557952 35476 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1891] ppid=1880 vsize=846248 CPUtime=0
/proc/1883/task/1891/stat : 1891 (java) S 1880 1880 31061 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 635479591 866557952 35476 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 851604
[startup+51.1029 s]
/proc/loadavg: 2.12 2.04 2.01 3/84 1893
/proc/meminfo: memFree=1474536/2055920 swapFree=4179368/4192956
[pid=1880] ppid=1878 vsize=5356 CPUtime=0
################
# More data... #
################
Current children cumulated CPU time (s) 998.25
Current children cumulated vsize (KiB) 852628
[startup+1007.9 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 1935
/proc/meminfo: memFree=1436776/2055920 swapFree=4179368/4192956
[pid=1880] ppid=1878 vsize=5356 CPUtime=0
/proc/1880/stat : 1880 (concrete.sh) S 1878 1880 31061 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 635479586 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1880/statm: 1339 242 201 169 0 50 0
[pid=1883] ppid=1880 vsize=847272 CPUtime=1001.43
/proc/1883/stat : 1883 (java) S 1880 1880 31061 0 -1 0 36907 0 1 0 99801 342 0 0 19 0 9 0 635479587 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1883/statm: 211818 35486 2572 9 0 206385 0
[pid=1883/tid=1884] ppid=1880 vsize=847272 CPUtime=997.96
/proc/1883/task/1884/stat : 1884 (java) R 1880 1880 31061 0 -1 64 7811 0 1 0 99473 323 0 0 25 0 9 0 635479588 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4126076432 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1883/tid=1885] ppid=1880 vsize=847272 CPUtime=3.24
/proc/1883/task/1885/stat : 1885 (java) S 1880 1880 31061 0 -1 64 27600 0 0 0 308 16 0 0 16 0 9 0 635479589 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1883/tid=1886] ppid=1880 vsize=847272 CPUtime=0
/proc/1883/task/1886/stat : 1886 (java) S 1880 1880 31061 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 635479589 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1887] ppid=1880 vsize=847272 CPUtime=0
/proc/1883/task/1887/stat : 1887 (java) S 1880 1880 31061 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 635479589 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1888] ppid=1880 vsize=847272 CPUtime=0
/proc/1883/task/1888/stat : 1888 (java) S 1880 1880 31061 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 635479591 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1889] ppid=1880 vsize=847272 CPUtime=0.19
/proc/1883/task/1889/stat : 1889 (java) S 1880 1880 31061 0 -1 64 756 0 0 0 19 0 0 0 16 0 9 0 635479591 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1890] ppid=1880 vsize=847272 CPUtime=0
/proc/1883/task/1890/stat : 1890 (java) S 1880 1880 31061 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 635479591 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1891] ppid=1880 vsize=847272 CPUtime=0
/proc/1883/task/1891/stat : 1891 (java) S 1880 1880 31061 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 635479591 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1001.43
Current children cumulated vsize (KiB) 852628
[startup+1009.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 1935
/proc/meminfo: memFree=1436776/2055920 swapFree=4179368/4192956
[pid=1880] ppid=1878 vsize=5356 CPUtime=0
/proc/1880/stat : 1880 (concrete.sh) S 1878 1880 31061 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 635479586 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1880/statm: 1339 242 201 169 0 50 0
[pid=1883] ppid=1880 vsize=847272 CPUtime=1003.02
/proc/1883/stat : 1883 (java) S 1880 1880 31061 0 -1 0 36907 0 1 0 99960 342 0 0 19 0 9 0 635479587 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1883/statm: 211818 35486 2572 9 0 206385 0
[pid=1883/tid=1884] ppid=1880 vsize=847272 CPUtime=999.55
/proc/1883/task/1884/stat : 1884 (java) R 1880 1880 31061 0 -1 64 7811 0 1 0 99632 323 0 0 25 0 9 0 635479588 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4126070152 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1883/tid=1885] ppid=1880 vsize=847272 CPUtime=3.24
/proc/1883/task/1885/stat : 1885 (java) S 1880 1880 31061 0 -1 64 27600 0 0 0 308 16 0 0 16 0 9 0 635479589 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1883/tid=1886] ppid=1880 vsize=847272 CPUtime=0
/proc/1883/task/1886/stat : 1886 (java) S 1880 1880 31061 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 635479589 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1887] ppid=1880 vsize=847272 CPUtime=0
/proc/1883/task/1887/stat : 1887 (java) S 1880 1880 31061 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 635479589 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1888] ppid=1880 vsize=847272 CPUtime=0
/proc/1883/task/1888/stat : 1888 (java) S 1880 1880 31061 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 635479591 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1889] ppid=1880 vsize=847272 CPUtime=0.19
/proc/1883/task/1889/stat : 1889 (java) S 1880 1880 31061 0 -1 64 756 0 0 0 19 0 0 0 16 0 9 0 635479591 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1890] ppid=1880 vsize=847272 CPUtime=0
/proc/1883/task/1890/stat : 1890 (java) S 1880 1880 31061 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 635479591 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1891] ppid=1880 vsize=847272 CPUtime=0
/proc/1883/task/1891/stat : 1891 (java) S 1880 1880 31061 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 635479591 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1003.02
Current children cumulated vsize (KiB) 852628
[startup+1010.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 1935
/proc/meminfo: memFree=1436776/2055920 swapFree=4179368/4192956
[pid=1880] ppid=1878 vsize=5356 CPUtime=0
/proc/1880/stat : 1880 (concrete.sh) S 1878 1880 31061 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 635479586 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1880/statm: 1339 242 201 169 0 50 0
[pid=1883] ppid=1880 vsize=847272 CPUtime=1003.82
/proc/1883/stat : 1883 (java) S 1880 1880 31061 0 -1 0 36907 0 1 0 100040 342 0 0 19 0 9 0 635479587 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1883/statm: 211818 35486 2572 9 0 206385 0
[pid=1883/tid=1884] ppid=1880 vsize=847272 CPUtime=1000.36
/proc/1883/task/1884/stat : 1884 (java) R 1880 1880 31061 0 -1 64 7811 0 1 0 99712 324 0 0 25 0 9 0 635479588 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4126007909 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1883/tid=1885] ppid=1880 vsize=847272 CPUtime=3.24
/proc/1883/task/1885/stat : 1885 (java) S 1880 1880 31061 0 -1 64 27600 0 0 0 308 16 0 0 16 0 9 0 635479589 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1883/tid=1886] ppid=1880 vsize=847272 CPUtime=0
/proc/1883/task/1886/stat : 1886 (java) S 1880 1880 31061 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 635479589 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1887] ppid=1880 vsize=847272 CPUtime=0
/proc/1883/task/1887/stat : 1887 (java) S 1880 1880 31061 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 635479589 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1888] ppid=1880 vsize=847272 CPUtime=0
/proc/1883/task/1888/stat : 1888 (java) S 1880 1880 31061 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 635479591 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1889] ppid=1880 vsize=847272 CPUtime=0.19
/proc/1883/task/1889/stat : 1889 (java) S 1880 1880 31061 0 -1 64 756 0 0 0 19 0 0 0 16 0 9 0 635479591 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1890] ppid=1880 vsize=847272 CPUtime=0
/proc/1883/task/1890/stat : 1890 (java) S 1880 1880 31061 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 635479591 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1891] ppid=1880 vsize=847272 CPUtime=0
/proc/1883/task/1891/stat : 1891 (java) S 1880 1880 31061 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 635479591 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1003.82
Current children cumulated vsize (KiB) 852628
[startup+1011.1 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 1935
/proc/meminfo: memFree=1436776/2055920 swapFree=4179368/4192956
[pid=1880] ppid=1878 vsize=5356 CPUtime=0
/proc/1880/stat : 1880 (concrete.sh) S 1878 1880 31061 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 635479586 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1880/statm: 1339 242 201 169 0 50 0
[pid=1883] ppid=1880 vsize=847272 CPUtime=1004.61
/proc/1883/stat : 1883 (java) S 1880 1880 31061 0 -1 0 36908 0 1 0 100119 342 0 0 19 0 9 0 635479587 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1883/statm: 211818 35486 2572 9 0 206385 0
[pid=1883/tid=1884] ppid=1880 vsize=847272 CPUtime=1001.15
/proc/1883/task/1884/stat : 1884 (java) R 1880 1880 31061 0 -1 64 7812 0 1 0 99791 324 0 0 25 0 9 0 635479588 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4126076567 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1883/tid=1885] ppid=1880 vsize=847272 CPUtime=3.24
/proc/1883/task/1885/stat : 1885 (java) S 1880 1880 31061 0 -1 64 27600 0 0 0 308 16 0 0 16 0 9 0 635479589 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1883/tid=1886] ppid=1880 vsize=847272 CPUtime=0
/proc/1883/task/1886/stat : 1886 (java) S 1880 1880 31061 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 635479589 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1887] ppid=1880 vsize=847272 CPUtime=0
/proc/1883/task/1887/stat : 1887 (java) S 1880 1880 31061 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 635479589 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1888] ppid=1880 vsize=847272 CPUtime=0
/proc/1883/task/1888/stat : 1888 (java) S 1880 1880 31061 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 635479591 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1889] ppid=1880 vsize=847272 CPUtime=0.19
/proc/1883/task/1889/stat : 1889 (java) S 1880 1880 31061 0 -1 64 756 0 0 0 19 0 0 0 16 0 9 0 635479591 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1890] ppid=1880 vsize=847272 CPUtime=0
/proc/1883/task/1890/stat : 1890 (java) S 1880 1880 31061 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 635479591 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1891] ppid=1880 vsize=847272 CPUtime=0
/proc/1883/task/1891/stat : 1891 (java) S 1880 1880 31061 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 635479591 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1004.61
Current children cumulated vsize (KiB) 852628
[startup+1011.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 1935
/proc/meminfo: memFree=1436776/2055920 swapFree=4179368/4192956
[pid=1880] ppid=1878 vsize=5356 CPUtime=0
/proc/1880/stat : 1880 (concrete.sh) S 1878 1880 31061 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 635479586 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1880/statm: 1339 242 201 169 0 50 0
[pid=1883] ppid=1880 vsize=847272 CPUtime=1005.01
/proc/1883/stat : 1883 (java) S 1880 1880 31061 0 -1 0 36908 0 1 0 100158 343 0 0 19 0 9 0 635479587 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1883/statm: 211818 35486 2572 9 0 206385 0
[pid=1883/tid=1884] ppid=1880 vsize=847272 CPUtime=1001.54
/proc/1883/task/1884/stat : 1884 (java) R 1880 1880 31061 0 -1 64 7812 0 1 0 99830 324 0 0 25 0 9 0 635479588 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4126076508 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1883/tid=1885] ppid=1880 vsize=847272 CPUtime=3.24
/proc/1883/task/1885/stat : 1885 (java) S 1880 1880 31061 0 -1 64 27600 0 0 0 308 16 0 0 16 0 9 0 635479589 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1883/tid=1886] ppid=1880 vsize=847272 CPUtime=0
/proc/1883/task/1886/stat : 1886 (java) S 1880 1880 31061 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 635479589 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1887] ppid=1880 vsize=847272 CPUtime=0
/proc/1883/task/1887/stat : 1887 (java) S 1880 1880 31061 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 635479589 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1888] ppid=1880 vsize=847272 CPUtime=0
/proc/1883/task/1888/stat : 1888 (java) S 1880 1880 31061 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 635479591 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1889] ppid=1880 vsize=847272 CPUtime=0.19
/proc/1883/task/1889/stat : 1889 (java) S 1880 1880 31061 0 -1 64 756 0 0 0 19 0 0 0 16 0 9 0 635479591 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1890] ppid=1880 vsize=847272 CPUtime=0
/proc/1883/task/1890/stat : 1890 (java) S 1880 1880 31061 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 635479591 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1891] ppid=1880 vsize=847272 CPUtime=0
/proc/1883/task/1891/stat : 1891 (java) S 1880 1880 31061 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 635479591 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1005.01
Current children cumulated vsize (KiB) 852628
[startup+1011.6 s]
/proc/loadavg: 2.00 2.00 2.00 3/91 1935
/proc/meminfo: memFree=1436776/2055920 swapFree=4179368/4192956
[pid=1880] ppid=1878 vsize=5356 CPUtime=0
/proc/1880/stat : 1880 (concrete.sh) S 1878 1880 31061 0 -1 4194304 315 128 0 0 0 0 0 0 17 0 1 0 635479586 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 254613709636 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/1880/statm: 1339 242 201 169 0 50 0
[pid=1883] ppid=1880 vsize=847272 CPUtime=1005.11
/proc/1883/stat : 1883 (java) S 1880 1880 31061 0 -1 0 36908 0 1 0 100168 343 0 0 19 0 9 0 635479587 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/1883/statm: 211818 35486 2572 9 0 206385 0
[pid=1883/tid=1884] ppid=1880 vsize=847272 CPUtime=1001.64
/proc/1883/task/1884/stat : 1884 (java) R 1880 1880 31061 0 -1 64 7812 0 1 0 99840 324 0 0 25 0 9 0 635479588 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4126084813 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=1883/tid=1885] ppid=1880 vsize=847272 CPUtime=3.24
/proc/1883/task/1885/stat : 1885 (java) S 1880 1880 31061 0 -1 64 27600 0 0 0 308 16 0 0 16 0 9 0 635479589 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=1883/tid=1886] ppid=1880 vsize=847272 CPUtime=0
/proc/1883/task/1886/stat : 1886 (java) S 1880 1880 31061 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 635479589 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1887] ppid=1880 vsize=847272 CPUtime=0
/proc/1883/task/1887/stat : 1887 (java) S 1880 1880 31061 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 635479589 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1888] ppid=1880 vsize=847272 CPUtime=0
/proc/1883/task/1888/stat : 1888 (java) S 1880 1880 31061 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 635479591 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1889] ppid=1880 vsize=847272 CPUtime=0.19
/proc/1883/task/1889/stat : 1889 (java) S 1880 1880 31061 0 -1 64 756 0 0 0 19 0 0 0 16 0 9 0 635479591 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1890] ppid=1880 vsize=847272 CPUtime=0
/proc/1883/task/1890/stat : 1890 (java) S 1880 1880 31061 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 635479591 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=1883/tid=1891] ppid=1880 vsize=847272 CPUtime=0
/proc/1883/task/1891/stat : 1891 (java) S 1880 1880 31061 0 -1 64 3 0 0 0 0 0 0 0 15 0 9 0 635479591 867606528 35486 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1005.11
Current children cumulated vsize (KiB) 852628
Child status: 0
Real time (s): 1011.67
CPU time (s): 1005.2
CPU user time (s): 1001.74
CPU system time (s): 3.45647
CPU usage (%): 99.3596
Max. virtual memory (cumulated for all children) (KiB): 852632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1001.74
system time used= 3.45647
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37366
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= 25718
involuntary context switches= 42006
runsolver used 1.14383 second user time and 3.45947 second system time
The end
Begin job on node87 at 2008-07-05 06:30:39
IDJOB=1084872
IDBENCH=57587
IDSOLVER=304
FILE ID=node87/1084872-1215232237
PBS_JOBID= 7881747
Free space on /tmp= 66460 MiB
SOLVER NAME= Concrete + CSP4J - WMC Engine 2008-05-30
BENCH NAME= CPAI08/csp/rand-8-20-5/normalized-rand-8-20-5-18-800-6_ext.xml
COMMAND LINE= HOME/concrete.sh -c -ext 0 -s WMC BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1084872-1215232237/watcher-1084872-1215232237 -o /tmp/evaluation-result-1084872-1215232237/solver-1084872-1215232237 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s WMC HOME/instance-1084872-1215232237.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 3888b994eade183d2e4ca8097fc27fc8
RANDOM SEED=1640800037
node87.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1607784 kB
Buffers: 66528 kB
Cached: 284540 kB
SwapCached: 7632 kB
Active: 217932 kB
Inactive: 177528 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1607784 kB
SwapTotal: 4192956 kB
SwapFree: 4179368 kB
Dirty: 22748 kB
Writeback: 0 kB
Mapped: 50600 kB
Slab: 37844 kB
Committed_AS: 1666444 kB
PageTables: 1936 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264992 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66460 MiB
End job on node87 at 2008-07-05 06:47:31