120.22/121.18 c CPU-LOAD 16.21
120.22/121.18 c LOADED 144 V (4 E), 64 PredicateConstraint, arity 17, 16.21 cpu
120.42/121.36 s UNSATISFIABLE
120.42/121.36 d NODES 0
120.42/121.36 d CHECKS 83873
120.42/121.36 c gac3-effective-revisions: 12
120.42/121.36 c gac3-useless-revisions: 253
120.42/121.36 c prepro-constraint-ccks: 83873
120.42/121.36 c prepro-constraint-presenceccks: 299
120.42/121.36 c prepro-cpu: 0.1
120.42/121.36 c prepro-matrix2d-ccks: 0
120.42/121.36 c prepro-matrix2d-presenceccks: 0
120.42/121.36 c prepro-removed: 27
120.42/121.36 c total-assgn: 0
120.42/121.36 c total-constraint-ccks: 83873
120.42/121.36 c total-constraint-presence-ccks: 299
120.42/121.36 c total-cpu: 0.11
120.42/121.36 c total-matrix2d-ccks: 0
120.42/121.36 c total-matrix2d-presence-ccks: 0
120.42/121.36 c tuples: 0
120.42/121.36 c tuples-collisions: 0
120.42/121.36 c TOTAL-NODES 0
120.42/121.36 c TOTAL-CPU 0.11
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1080384-1215212921/watcher-1080384-1215212921 -o /tmp/evaluation-result-1080384-1215212921/solver-1080384-1215212921 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s WMC HOME/instance-1080384-1215212921.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.08 2.04 2.00 4/94 15838
/proc/meminfo: memFree=1720032/2055920 swapFree=4179680/4192956
[pid=15838] ppid=15836 vsize=18572 CPUtime=0
/proc/15838/stat : 15838 (runsolver) R 15836 15838 13008 0 -1 4194368 15 0 0 0 0 0 0 0 20 0 1 0 2000264791 19017728 292 996147200 4194304 4296836 548682068432 18446744073709551615 234211568935 0 0 4096 24578 0 0 0 17 1 0 0
/proc/15838/statm: 4643 292 257 25 0 2626 0
[startup+0.0827479 s]
/proc/loadavg: 2.08 2.04 2.00 4/94 15838
/proc/meminfo: memFree=1720032/2055920 swapFree=4179680/4192956
[pid=15838] ppid=15836 vsize=5356 CPUtime=0
/proc/15838/stat : 15838 (concrete.sh) S 15836 15838 13008 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 2000264791 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15838/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.103167 s]
/proc/loadavg: 2.08 2.04 2.00 4/94 15838
/proc/meminfo: memFree=1720032/2055920 swapFree=4179680/4192956
[pid=15838] ppid=15836 vsize=5356 CPUtime=0
/proc/15838/stat : 15838 (concrete.sh) S 15836 15838 13008 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 2000264791 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15838/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.300792 s]
/proc/loadavg: 2.08 2.04 2.00 4/94 15838
/proc/meminfo: memFree=1720032/2055920 swapFree=4179680/4192956
[pid=15838] ppid=15836 vsize=5356 CPUtime=0
/proc/15838/stat : 15838 (concrete.sh) S 15836 15838 13008 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 2000264791 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15838/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701874 s]
/proc/loadavg: 2.08 2.04 2.00 4/94 15838
/proc/meminfo: memFree=1720032/2055920 swapFree=4179680/4192956
[pid=15838] ppid=15836 vsize=5356 CPUtime=0
/proc/15838/stat : 15838 (concrete.sh) S 15836 15838 13008 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 2000264791 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15838/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50205 s]
/proc/loadavg: 2.08 2.04 2.00 4/105 15850
/proc/meminfo: memFree=1650248/2055920 swapFree=4179680/4192956
[pid=15838] ppid=15836 vsize=5356 CPUtime=0
/proc/15838/stat : 15838 (concrete.sh) S 15836 15838 13008 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 2000264791 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15838/statm: 1339 242 201 169 0 50 0
[pid=15841] ppid=15838 vsize=847480 CPUtime=1.45
/proc/15841/stat : 15841 (java) S 15838 15838 13008 0 -1 0 33565 0 1 0 128 17 0 0 18 0 10 0 2000264792 867819520 32683 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15841/statm: 211870 32683 2578 9 0 206430 0
[pid=15841/tid=15842] ppid=15838 vsize=847480 CPUtime=0.63
/proc/15841/task/15842/stat : 15842 (java) R 15838 15838 13008 0 -1 64 18067 0 1 0 54 9 0 0 22 0 10 0 2000264793 867819520 32683 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15843] ppid=15838 vsize=847480 CPUtime=0.55
/proc/15841/task/15843/stat : 15843 (java) R 15838 15838 13008 0 -1 64 13744 0 0 0 49 6 0 0 18 0 10 0 2000264795 867819520 32683 996147200 134512640 134550740 4294956016 18446744073709551615 104457031 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15844] ppid=15838 vsize=847480 CPUtime=0
/proc/15841/task/15844/stat : 15844 (java) S 15838 15838 13008 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 2000264795 867819520 32683 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15845] ppid=15838 vsize=847480 CPUtime=0
/proc/15841/task/15845/stat : 15845 (java) S 15838 15838 13008 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 2000264795 867819520 32683 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15846] ppid=15838 vsize=847480 CPUtime=0
/proc/15841/task/15846/stat : 15846 (java) S 15838 15838 13008 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2000264797 867819520 32683 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15847] ppid=15838 vsize=847480 CPUtime=0.23
/proc/15841/task/15847/stat : 15847 (java) S 15838 15838 13008 0 -1 64 1017 0 0 0 23 0 0 0 16 0 10 0 2000264797 867819520 32683 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15848] ppid=15838 vsize=847480 CPUtime=0
/proc/15841/task/15848/stat : 15848 (java) S 15838 15838 13008 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2000264797 867819520 32683 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15849] ppid=15838 vsize=847480 CPUtime=0
/proc/15841/task/15849/stat : 15849 (java) S 15838 15838 13008 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 2000264797 867819520 32683 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15850] ppid=15838 vsize=847480 CPUtime=0
/proc/15841/task/15850/stat : 15850 (java) S 15838 15838 13008 0 -1 64 4 0 0 0 0 0 0 0 20 0 10 0 2000264845 867819520 32683 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 852836
[startup+3.10238 s]
/proc/loadavg: 2.08 2.04 2.00 4/105 15850
/proc/meminfo: memFree=1533000/2055920 swapFree=4179680/4192956
[pid=15838] ppid=15836 vsize=5356 CPUtime=0
/proc/15838/stat : 15838 (concrete.sh) S 15836 15838 13008 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 2000264791 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15838/statm: 1339 242 201 169 0 50 0
[pid=15841] ppid=15838 vsize=853876 CPUtime=3.01
/proc/15841/stat : 15841 (java) S 15838 15838 13008 0 -1 0 62734 0 1 0 272 29 0 0 18 0 10 0 2000264792 874369024 61844 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15841/statm: 213469 61844 2578 9 0 208029 0
[pid=15841/tid=15842] ppid=15838 vsize=853876 CPUtime=0.86
/proc/15841/task/15842/stat : 15842 (java) R 15838 15838 13008 0 -1 64 21968 0 1 0 75 11 0 0 16 0 10 0 2000264793 874369024 61844 996147200 134512640 134550740 4294956016 18446744073709551615 104454905 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15843] ppid=15838 vsize=853876 CPUtime=1.88
/proc/15841/task/15843/stat : 15843 (java) R 15838 15838 13008 0 -1 64 39012 0 0 0 172 16 0 0 25 0 10 0 2000264795 874369024 61844 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15844] ppid=15838 vsize=853876 CPUtime=0
/proc/15841/task/15844/stat : 15844 (java) S 15838 15838 13008 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 2000264795 874369024 61844 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15845] ppid=15838 vsize=853876 CPUtime=0
/proc/15841/task/15845/stat : 15845 (java) S 15838 15838 13008 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 2000264795 874369024 61844 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15846] ppid=15838 vsize=853876 CPUtime=0
/proc/15841/task/15846/stat : 15846 (java) S 15838 15838 13008 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2000264797 874369024 61844 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15847] ppid=15838 vsize=853876 CPUtime=0.23
/proc/15841/task/15847/stat : 15847 (java) S 15838 15838 13008 0 -1 64 1017 0 0 0 23 0 0 0 16 0 10 0 2000264797 874369024 61844 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15848] ppid=15838 vsize=853876 CPUtime=0
/proc/15841/task/15848/stat : 15848 (java) S 15838 15838 13008 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2000264797 874369024 61844 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15849] ppid=15838 vsize=853876 CPUtime=0
/proc/15841/task/15849/stat : 15849 (java) S 15838 15838 13008 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 2000264797 874369024 61844 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15850] ppid=15838 vsize=853876 CPUtime=0
/proc/15841/task/15850/stat : 15850 (java) S 15838 15838 13008 0 -1 64 4 0 0 0 0 0 0 0 20 0 10 0 2000264845 874369024 61844 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 859232
[startup+6.30204 s]
/proc/loadavg: 2.08 2.04 2.00 3/105 15850
/proc/meminfo: memFree=1301448/2055920 swapFree=4179680/4192956
[pid=15838] ppid=15836 vsize=5356 CPUtime=0
/proc/15838/stat : 15838 (concrete.sh) S 15836 15838 13008 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 2000264791 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15838/statm: 1339 242 201 169 0 50 0
[pid=15841] ppid=15838 vsize=871632 CPUtime=6.13
/proc/15841/stat : 15841 (java) S 15838 15838 13008 0 -1 0 136893 0 1 0 547 66 0 0 18 0 10 0 2000264792 892551168 135993 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15841/statm: 217908 135993 2578 9 0 212468 0
[pid=15841/tid=15842] ppid=15838 vsize=871632 CPUtime=1.46
/proc/15841/task/15842/stat : 15842 (java) S 15838 15838 13008 0 -1 64 28990 0 1 0 132 14 0 0 16 0 10 0 2000264793 892551168 135993 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15843] ppid=15838 vsize=871632 CPUtime=4.4
/proc/15841/task/15843/stat : 15843 (java) R 15838 15838 13008 0 -1 64 106149 0 0 0 390 50 0 0 25 0 10 0 2000264795 892551168 135993 996147200 134512640 134550740 4294956016 18446744073709551615 102516768 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15844] ppid=15838 vsize=871632 CPUtime=0
/proc/15841/task/15844/stat : 15844 (java) S 15838 15838 13008 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 2000264795 892551168 135993 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15845] ppid=15838 vsize=871632 CPUtime=0
/proc/15841/task/15845/stat : 15845 (java) S 15838 15838 13008 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 2000264795 892551168 135993 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15846] ppid=15838 vsize=871632 CPUtime=0
/proc/15841/task/15846/stat : 15846 (java) S 15838 15838 13008 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2000264797 892551168 135993 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15847] ppid=15838 vsize=871632 CPUtime=0.23
/proc/15841/task/15847/stat : 15847 (java) S 15838 15838 13008 0 -1 64 1017 0 0 0 23 0 0 0 16 0 10 0 2000264797 892551168 135993 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15848] ppid=15838 vsize=871632 CPUtime=0
/proc/15841/task/15848/stat : 15848 (java) S 15838 15838 13008 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2000264797 892551168 135993 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15849] ppid=15838 vsize=871632 CPUtime=0
/proc/15841/task/15849/stat : 15849 (java) S 15838 15838 13008 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 2000264797 892551168 135993 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15850] ppid=15838 vsize=871632 CPUtime=0
/proc/15841/task/15850/stat : 15850 (java) S 15838 15838 13008 0 -1 64 4 0 0 0 0 0 0 0 20 0 10 0 2000264845 892551168 135993 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.13
Current children cumulated vsize (KiB) 876988
[startup+12.7024 s]
/proc/loadavg: 2.07 2.04 2.00 4/105 15850
/proc/meminfo: memFree=931720/2055920 swapFree=4179680/4192956
[pid=15838] ppid=15836 vsize=5356 CPUtime=0
/proc/15838/stat : 15838 (concrete.sh) S 15836 15838 13008 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 2000264791 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15838/statm: 1339 242 201 169 0 50 0
[pid=15841] ppid=15838 vsize=886028 CPUtime=12.47
/proc/15841/stat : 15841 (java) S 15838 15838 13008 0 -1 0 199939 0 1 0 1155 92 0 0 18 0 10 0 2000264792 907292672 199032 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15841/statm: 221507 199032 2578 9 0 216067 0
[pid=15841/tid=15842] ppid=15838 vsize=886028 CPUtime=1.94
/proc/15841/task/15842/stat : 15842 (java) S 15838 15838 13008 0 -1 64 32843 0 1 0 178 16 0 0 17 0 10 0 2000264793 907292672 199032 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15843] ppid=15838 vsize=886028 CPUtime=10.26
/proc/15841/task/15843/stat : 15843 (java) R 15838 15838 13008 0 -1 64 165342 0 0 0 952 74 0 0 25 0 10 0 2000264795 907292672 199032 996147200 134512640 134550740 4294956016 18446744073709551615 104180096 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15844] ppid=15838 vsize=886028 CPUtime=0
/proc/15841/task/15844/stat : 15844 (java) S 15838 15838 13008 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 2000264795 907292672 199032 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15845] ppid=15838 vsize=886028 CPUtime=0
/proc/15841/task/15845/stat : 15845 (java) S 15838 15838 13008 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 2000264795 907292672 199032 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15846] ppid=15838 vsize=886028 CPUtime=0
/proc/15841/task/15846/stat : 15846 (java) S 15838 15838 13008 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2000264797 907292672 199032 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15847] ppid=15838 vsize=886028 CPUtime=0.23
/proc/15841/task/15847/stat : 15847 (java) S 15838 15838 13008 0 -1 64 1017 0 0 0 23 0 0 0 16 0 10 0 2000264797 907292672 199032 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15848] ppid=15838 vsize=886028 CPUtime=0
/proc/15841/task/15848/stat : 15848 (java) S 15838 15838 13008 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2000264797 907292672 199032 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15849] ppid=15838 vsize=886028 CPUtime=0
/proc/15841/task/15849/stat : 15849 (java) S 15838 15838 13008 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 2000264797 907292672 199032 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15850] ppid=15838 vsize=886028 CPUtime=0
/proc/15841/task/15850/stat : 15850 (java) S 15838 15838 13008 0 -1 64 4 0 0 0 0 0 0 0 20 0 10 0 2000264845 907292672 199032 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 891384
[startup+25.503 s]
/proc/loadavg: 2.05 2.04 2.00 4/105 15850
/proc/meminfo: memFree=943752/2055920 swapFree=4179680/4192956
[pid=15838] ppid=15836 vsize=5356 CPUtime=0
/proc/15838/stat : 15838 (concrete.sh) S 15836 15838 13008 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 2000264791 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15838/statm: 1339 242 201 169 0 50 0
[pid=15841] ppid=15838 vsize=873616 CPUtime=25.18
/proc/15841/stat : 15841 (java) S 15838 15838 13008 0 -1 0 200168 0 1 0 2425 93 0 0 18 0 10 0 2000264792 894582784 196022 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15841/statm: 218404 196022 2582 9 0 212964 0
[pid=15841/tid=15842] ppid=15838 vsize=873616 CPUtime=5.63
/proc/15841/task/15842/stat : 15842 (java) R 15838 15838 13008 0 -1 64 32949 0 1 0 546 17 0 0 16 0 10 0 2000264793 894582784 196022 996147200 134512640 134550740 4294956016 18446744073709551615 104454898 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15843] ppid=15838 vsize=873616 CPUtime=19.18
/proc/15841/task/15843/stat : 15843 (java) R 15838 15838 13008 0 -1 64 165391 0 0 0 1844 74 0 0 25 0 10 0 2000264795 894582784 196022 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15844] ppid=15838 vsize=873616 CPUtime=0
/proc/15841/task/15844/stat : 15844 (java) S 15838 15838 13008 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 2000264795 894582784 196022 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15845] ppid=15838 vsize=873616 CPUtime=0
/proc/15841/task/15845/stat : 15845 (java) S 15838 15838 13008 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 2000264795 894582784 196022 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15846] ppid=15838 vsize=873616 CPUtime=0
/proc/15841/task/15846/stat : 15846 (java) S 15838 15838 13008 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2000264797 894582784 196022 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15847] ppid=15838 vsize=873616 CPUtime=0.34
/proc/15841/task/15847/stat : 15847 (java) S 15838 15838 13008 0 -1 64 1091 0 0 0 34 0 0 0 15 0 10 0 2000264797 894582784 196022 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15848] ppid=15838 vsize=873616 CPUtime=0
/proc/15841/task/15848/stat : 15848 (java) S 15838 15838 13008 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2000264797 894582784 196022 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15849] ppid=15838 vsize=873616 CPUtime=0
################
# More data... #
################
[pid=15841/tid=15847] ppid=15838 vsize=886508 CPUtime=0.38
/proc/15841/task/15847/stat : 15847 (java) S 15838 15838 13008 0 -1 64 1092 0 0 0 38 0 0 0 16 0 10 0 2000264797 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15848] ppid=15838 vsize=886508 CPUtime=0
/proc/15841/task/15848/stat : 15848 (java) S 15838 15838 13008 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2000264797 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15849] ppid=15838 vsize=886508 CPUtime=0
/proc/15841/task/15849/stat : 15849 (java) S 15838 15838 13008 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 2000264797 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15850] ppid=15838 vsize=886508 CPUtime=0
/proc/15841/task/15850/stat : 15850 (java) S 15838 15838 13008 0 -1 64 4 0 0 0 0 0 0 0 20 0 10 0 2000264845 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 114.26
Current children cumulated vsize (KiB) 891864
[startup+118.302 s]
/proc/loadavg: 2.01 2.02 2.00 4/105 15850
/proc/meminfo: memFree=930760/2055920 swapFree=4179680/4192956
[pid=15838] ppid=15836 vsize=5356 CPUtime=0
/proc/15838/stat : 15838 (concrete.sh) S 15836 15838 13008 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 2000264791 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15838/statm: 1339 242 201 169 0 50 0
[pid=15841] ppid=15838 vsize=886508 CPUtime=117.44
/proc/15841/stat : 15841 (java) S 15838 15838 13008 0 -1 0 399953 0 1 0 11547 197 0 0 18 0 10 0 2000264792 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15841/statm: 221627 199248 2582 9 0 216187 0
[pid=15841/tid=15842] ppid=15838 vsize=886508 CPUtime=16.27
/proc/15841/task/15842/stat : 15842 (java) S 15838 15838 13008 0 -1 64 55073 0 1 0 1598 29 0 0 17 0 10 0 2000264793 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15843] ppid=15838 vsize=886508 CPUtime=100.75
/proc/15841/task/15843/stat : 15843 (java) R 15838 15838 13008 0 -1 64 343051 0 0 0 9909 166 0 0 25 0 10 0 2000264795 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 104181349 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15844] ppid=15838 vsize=886508 CPUtime=0
/proc/15841/task/15844/stat : 15844 (java) S 15838 15838 13008 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2000264795 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15845] ppid=15838 vsize=886508 CPUtime=0
/proc/15841/task/15845/stat : 15845 (java) S 15838 15838 13008 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 2000264795 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15846] ppid=15838 vsize=886508 CPUtime=0
/proc/15841/task/15846/stat : 15846 (java) S 15838 15838 13008 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2000264797 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15847] ppid=15838 vsize=886508 CPUtime=0.38
/proc/15841/task/15847/stat : 15847 (java) S 15838 15838 13008 0 -1 64 1092 0 0 0 38 0 0 0 16 0 10 0 2000264797 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15848] ppid=15838 vsize=886508 CPUtime=0
/proc/15841/task/15848/stat : 15848 (java) S 15838 15838 13008 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2000264797 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15849] ppid=15838 vsize=886508 CPUtime=0
/proc/15841/task/15849/stat : 15849 (java) S 15838 15838 13008 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 2000264797 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15850] ppid=15838 vsize=886508 CPUtime=0
/proc/15841/task/15850/stat : 15850 (java) S 15838 15838 13008 0 -1 64 4 0 0 0 0 0 0 0 20 0 10 0 2000264845 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 117.44
Current children cumulated vsize (KiB) 891864
[startup+119.909 s]
/proc/loadavg: 2.01 2.02 2.00 3/105 15850
/proc/meminfo: memFree=930760/2055920 swapFree=4179680/4192956
[pid=15838] ppid=15836 vsize=5356 CPUtime=0
/proc/15838/stat : 15838 (concrete.sh) S 15836 15838 13008 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 2000264791 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15838/statm: 1339 242 201 169 0 50 0
[pid=15841] ppid=15838 vsize=886508 CPUtime=119.03
/proc/15841/stat : 15841 (java) S 15838 15838 13008 0 -1 0 399953 0 1 0 11706 197 0 0 18 0 10 0 2000264792 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15841/statm: 221627 199248 2582 9 0 216187 0
[pid=15841/tid=15842] ppid=15838 vsize=886508 CPUtime=16.27
/proc/15841/task/15842/stat : 15842 (java) S 15838 15838 13008 0 -1 64 55073 0 1 0 1598 29 0 0 17 0 10 0 2000264793 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15843] ppid=15838 vsize=886508 CPUtime=102.35
/proc/15841/task/15843/stat : 15843 (java) R 15838 15838 13008 0 -1 64 343051 0 0 0 10069 166 0 0 25 0 10 0 2000264795 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 104181521 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15844] ppid=15838 vsize=886508 CPUtime=0
/proc/15841/task/15844/stat : 15844 (java) S 15838 15838 13008 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2000264795 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15845] ppid=15838 vsize=886508 CPUtime=0
/proc/15841/task/15845/stat : 15845 (java) S 15838 15838 13008 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 2000264795 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15846] ppid=15838 vsize=886508 CPUtime=0
/proc/15841/task/15846/stat : 15846 (java) S 15838 15838 13008 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2000264797 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15847] ppid=15838 vsize=886508 CPUtime=0.38
/proc/15841/task/15847/stat : 15847 (java) S 15838 15838 13008 0 -1 64 1092 0 0 0 38 0 0 0 16 0 10 0 2000264797 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15848] ppid=15838 vsize=886508 CPUtime=0
/proc/15841/task/15848/stat : 15848 (java) S 15838 15838 13008 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2000264797 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15849] ppid=15838 vsize=886508 CPUtime=0
/proc/15841/task/15849/stat : 15849 (java) S 15838 15838 13008 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 2000264797 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15850] ppid=15838 vsize=886508 CPUtime=0
/proc/15841/task/15850/stat : 15850 (java) S 15838 15838 13008 0 -1 64 4 0 0 0 0 0 0 0 20 0 10 0 2000264845 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 119.03
Current children cumulated vsize (KiB) 891864
[startup+120.702 s]
/proc/loadavg: 2.01 2.02 2.00 3/105 15850
/proc/meminfo: memFree=930760/2055920 swapFree=4179680/4192956
[pid=15838] ppid=15836 vsize=5356 CPUtime=0
/proc/15838/stat : 15838 (concrete.sh) S 15836 15838 13008 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 2000264791 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15838/statm: 1339 242 201 169 0 50 0
[pid=15841] ppid=15838 vsize=886508 CPUtime=119.83
/proc/15841/stat : 15841 (java) S 15838 15838 13008 0 -1 0 399953 0 1 0 11786 197 0 0 18 0 10 0 2000264792 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15841/statm: 221627 199248 2582 9 0 216187 0
[pid=15841/tid=15842] ppid=15838 vsize=886508 CPUtime=16.27
/proc/15841/task/15842/stat : 15842 (java) S 15838 15838 13008 0 -1 64 55073 0 1 0 1598 29 0 0 17 0 10 0 2000264793 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15843] ppid=15838 vsize=886508 CPUtime=103.14
/proc/15841/task/15843/stat : 15843 (java) R 15838 15838 13008 0 -1 64 343051 0 0 0 10148 166 0 0 25 0 10 0 2000264795 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 104182533 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15844] ppid=15838 vsize=886508 CPUtime=0
/proc/15841/task/15844/stat : 15844 (java) S 15838 15838 13008 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2000264795 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15845] ppid=15838 vsize=886508 CPUtime=0
/proc/15841/task/15845/stat : 15845 (java) S 15838 15838 13008 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 2000264795 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15846] ppid=15838 vsize=886508 CPUtime=0
/proc/15841/task/15846/stat : 15846 (java) S 15838 15838 13008 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2000264797 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15847] ppid=15838 vsize=886508 CPUtime=0.38
/proc/15841/task/15847/stat : 15847 (java) S 15838 15838 13008 0 -1 64 1092 0 0 0 38 0 0 0 16 0 10 0 2000264797 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15848] ppid=15838 vsize=886508 CPUtime=0
/proc/15841/task/15848/stat : 15848 (java) S 15838 15838 13008 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2000264797 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15849] ppid=15838 vsize=886508 CPUtime=0
/proc/15841/task/15849/stat : 15849 (java) S 15838 15838 13008 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 2000264797 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15850] ppid=15838 vsize=886508 CPUtime=0
/proc/15841/task/15850/stat : 15850 (java) S 15838 15838 13008 0 -1 64 4 0 0 0 0 0 0 0 20 0 10 0 2000264845 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 119.83
Current children cumulated vsize (KiB) 891864
[startup+121.102 s]
/proc/loadavg: 2.01 2.02 2.00 3/105 15850
/proc/meminfo: memFree=930760/2055920 swapFree=4179680/4192956
[pid=15838] ppid=15836 vsize=5356 CPUtime=0
/proc/15838/stat : 15838 (concrete.sh) S 15836 15838 13008 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 2000264791 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15838/statm: 1339 242 201 169 0 50 0
[pid=15841] ppid=15838 vsize=886508 CPUtime=120.22
/proc/15841/stat : 15841 (java) S 15838 15838 13008 0 -1 0 399954 0 1 0 11825 197 0 0 18 0 10 0 2000264792 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15841/statm: 221627 199248 2582 9 0 216187 0
[pid=15841/tid=15842] ppid=15838 vsize=886508 CPUtime=16.27
/proc/15841/task/15842/stat : 15842 (java) S 15838 15838 13008 0 -1 64 55074 0 1 0 1598 29 0 0 16 0 10 0 2000264793 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15843] ppid=15838 vsize=886508 CPUtime=103.54
/proc/15841/task/15843/stat : 15843 (java) R 15838 15838 13008 0 -1 64 343051 0 0 0 10188 166 0 0 25 0 10 0 2000264795 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 104181586 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15844] ppid=15838 vsize=886508 CPUtime=0
/proc/15841/task/15844/stat : 15844 (java) S 15838 15838 13008 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 2000264795 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15845] ppid=15838 vsize=886508 CPUtime=0
/proc/15841/task/15845/stat : 15845 (java) S 15838 15838 13008 0 -1 64 6 0 0 0 0 0 0 0 15 0 10 0 2000264795 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15846] ppid=15838 vsize=886508 CPUtime=0
/proc/15841/task/15846/stat : 15846 (java) S 15838 15838 13008 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2000264797 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15847] ppid=15838 vsize=886508 CPUtime=0.38
/proc/15841/task/15847/stat : 15847 (java) S 15838 15838 13008 0 -1 64 1092 0 0 0 38 0 0 0 16 0 10 0 2000264797 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15848] ppid=15838 vsize=886508 CPUtime=0
/proc/15841/task/15848/stat : 15848 (java) S 15838 15838 13008 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2000264797 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15849] ppid=15838 vsize=886508 CPUtime=0
/proc/15841/task/15849/stat : 15849 (java) S 15838 15838 13008 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 2000264797 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15850] ppid=15838 vsize=886508 CPUtime=0
/proc/15841/task/15850/stat : 15850 (java) S 15838 15838 13008 0 -1 64 4 0 0 0 0 0 0 0 20 0 10 0 2000264845 907784192 199248 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 120.22
Current children cumulated vsize (KiB) 891864
[startup+121.302 s]
/proc/loadavg: 2.01 2.02 2.00 3/105 15850
/proc/meminfo: memFree=930760/2055920 swapFree=4179680/4192956
[pid=15838] ppid=15836 vsize=5356 CPUtime=0
/proc/15838/stat : 15838 (concrete.sh) S 15836 15838 13008 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 2000264791 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15838/statm: 1339 242 201 169 0 50 0
[pid=15841] ppid=15838 vsize=886508 CPUtime=120.42
/proc/15841/stat : 15841 (java) S 15838 15838 13008 0 -1 0 400008 0 1 0 11844 198 0 0 18 0 10 0 2000264792 907784192 181022 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/15841/statm: 221627 181022 2583 9 0 216187 0
[pid=15841/tid=15842] ppid=15838 vsize=886508 CPUtime=16.35
/proc/15841/task/15842/stat : 15842 (java) R 15838 15838 13008 0 -1 64 55103 0 1 0 1606 29 0 0 16 0 10 0 2000264793 907784192 181022 996147200 134512640 134550740 4294956016 18446744073709551615 4125239380 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15843] ppid=15838 vsize=886508 CPUtime=103.62
/proc/15841/task/15843/stat : 15843 (java) R 15838 15838 13008 0 -1 64 343051 0 0 0 10195 167 0 0 25 0 10 0 2000264795 907784192 181022 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15844] ppid=15838 vsize=886508 CPUtime=0
/proc/15841/task/15844/stat : 15844 (java) S 15838 15838 13008 0 -1 64 12 0 0 0 0 0 0 0 15 0 10 0 2000264795 907784192 181022 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15845] ppid=15838 vsize=886508 CPUtime=0
/proc/15841/task/15845/stat : 15845 (java) S 15838 15838 13008 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 2000264795 907784192 181022 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15846] ppid=15838 vsize=886508 CPUtime=0
/proc/15841/task/15846/stat : 15846 (java) S 15838 15838 13008 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2000264797 907784192 181022 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15847] ppid=15838 vsize=886508 CPUtime=0.41
/proc/15841/task/15847/stat : 15847 (java) R 15838 15838 13008 0 -1 64 1116 0 0 0 41 0 0 0 16 0 10 0 2000264797 907784192 181022 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15848] ppid=15838 vsize=886508 CPUtime=0
/proc/15841/task/15848/stat : 15848 (java) S 15838 15838 13008 0 -1 64 1 0 0 0 0 0 0 0 19 0 10 0 2000264797 907784192 181022 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=15841/tid=15849] ppid=15838 vsize=886508 CPUtime=0
/proc/15841/task/15849/stat : 15849 (java) S 15838 15838 13008 0 -1 64 3 0 0 0 0 0 0 0 15 0 10 0 2000264797 907784192 181022 996147200 134512640 134550740 4294956016 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 120.42
Current children cumulated vsize (KiB) 891864
[startup+121.403 s]
/proc/loadavg: 2.01 2.02 2.00 3/105 15850
/proc/meminfo: memFree=930760/2055920 swapFree=4179680/4192956
[pid=15838] ppid=15836 vsize=5356 CPUtime=0
/proc/15838/stat : 15838 (concrete.sh) S 15836 15838 13008 0 -1 4194304 315 128 0 0 0 0 0 0 20 0 1 0 2000264791 5484544 242 996147200 4194304 4889804 548682068768 18446744073709551615 234211566404 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/15838/statm: 1339 242 201 169 0 50 0
[pid=15841] ppid=15838 vsize=0 CPUtime=120.51
/proc/15841/stat : 15841 (java) Z 15838 15838 13008 0 -1 12 400025 0 1 0 11850 201 0 0 16 0 2 0 2000264792 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/15841/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 120.51
Current children cumulated vsize (KiB) 5356
Child status: 0
Real time (s): 121.486
CPU time (s): 120.602
CPU user time (s): 118.506
CPU system time (s): 2.09568
CPU usage (%): 99.2723
Max. virtual memory (cumulated for all children) (KiB): 891928
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 118.506
system time used= 2.09568
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 400476
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= 4106
involuntary context switches= 7535
runsolver used 0.19297 second user time and 0.503923 second system time
The end
Begin job on node54 at 2008-07-05 01:08:41
IDJOB=1080384
IDBENCH=56977
IDSOLVER=304
FILE ID=node54/1080384-1215212921
PBS_JOBID= 7881665
Free space on /tmp= 66504 MiB
SOLVER NAME= Concrete + CSP4J - WMC Engine 2008-05-30
BENCH NAME= CPAI08/csp/radar-8-24-3-2/normalized-radar-8-24-3-2-47.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-1080384-1215212921/watcher-1080384-1215212921 -o /tmp/evaluation-result-1080384-1215212921/solver-1080384-1215212921 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 0 -s WMC HOME/instance-1080384-1215212921.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 9f2b1f2a813a54b58c5f088befccb806
RANDOM SEED=1070502322
node54.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.279
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.279
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: 1720512 kB
Buffers: 23848 kB
Cached: 161448 kB
SwapCached: 6328 kB
Active: 244896 kB
Inactive: 33952 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1720512 kB
SwapTotal: 4192956 kB
SwapFree: 4179680 kB
Dirty: 920 kB
Writeback: 0 kB
Mapped: 110176 kB
Slab: 41208 kB
Committed_AS: 4557800 kB
PageTables: 2128 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= 66504 MiB
End job on node54 at 2008-07-05 01:10:43