2.17/2.28 c CPU-LOAD 1.18
2.17/2.28 c LOADED 100 V (149 E), 120 DiffConstraint, 675 DTConstraint, 50 ExtensionConstraint2D, arity 2, 1.18 cpu
1706.37/1707.01 v 44 45 59 70 93 94 108 107 170 112 46 47 75 76 129 128 144 145 178 179 0 1 10 9 25 24 35 36 50 106 11 0 39 38 62 63 78 77 91 92 0 1 6 5 11 12 25 24 34 106 21 22 27 26 78 77 93 94 122 106 17 0 55 54 116 117 129 128 149 150 36 56 66 61 108 107 116 117 138 159 6 5 10 9 35 36 51 50 65 106 16 17 34 35 51 50 62 63 75 106
1706.37/1707.01 s SATISFIABLE
1706.37/1707.01 d NODES 443
1706.37/1707.01 d CHECKS 14358680444
1706.37/1707.01 c CDC-added-constraints: 4900
1706.37/1707.01 c CDC-nbsingletontests: 46246
1706.37/1707.01 c CDC-nogoods: 6871874
1706.37/1707.01 c heuristic-cpu: 0.0
1706.37/1707.01 c prepro-constraint-ccks: 0
1706.37/1707.01 c prepro-constraint-presenceccks: 0
1706.37/1707.01 c prepro-cpu: 1696.08
1706.37/1707.01 c prepro-matrix2d-ccks: 14325612972
1706.37/1707.01 c prepro-matrix2d-presenceccks: 0
1706.37/1707.01 c prepro-removed: 200
1706.37/1707.01 c search-cpu: 5.130005
1706.37/1707.01 c search-nps: 86.35469
1706.37/1707.01 c total-assgn: 443
1706.37/1707.01 c total-constraint-ccks: 0
1706.37/1707.01 c total-constraint-presence-ccks: 0
1706.37/1707.01 c total-cpu: 1701.25
1706.37/1707.01 c total-matrix2d-ccks: 14358680444
1706.37/1707.01 c total-matrix2d-presence-ccks: 0
1706.37/1707.01 c TOTAL-NODES 443
1706.37/1707.01 c TOTAL-CPU 1701.25
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2082651-1247721438/watcher-2082651-1247721438 -o /tmp/evaluation-result-2082651-1247721438/solver-2082651-1247721438 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c -p cspfj.filter.DC2 -parameter cdc.addConstraints=BIN HOME/instance-2082651-1247721438.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): 2000 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
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.03 2.00 5/82 17886
/proc/meminfo: memFree=1494088/2055920 swapFree=4192812/4192956
[pid=17885] ppid=17883 vsize=5356 CPUtime=0
/proc/17885/stat : 17885 (concrete.sh) S 17883 17885 16829 0 -1 4194304 271 0 0 0 0 0 0 0 19 0 1 0 59209842 5484544 230 996147200 4194304 4889804 548682068736 18446744073709551615 254195499090 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/17885/statm: 1339 230 191 169 0 50 0
[pid=17886] ppid=17885 vsize=5356 CPUtime=0
/proc/17886/stat : 17886 (concrete.sh) R 17885 17885 16829 0 -1 4194368 25 0 0 0 0 0 0 0 18 0 1 0 59209842 5484544 235 996147200 4194304 4889804 548682068736 18446744073709551615 254195330343 0 0 4096 0 0 0 0 17 1 0 0
/proc/17886/statm: 1339 235 195 169 0 50 0
[startup+0.018092 s]
/proc/loadavg: 2.01 2.03 2.00 5/82 17886
/proc/meminfo: memFree=1494088/2055920 swapFree=4192812/4192956
[pid=17885] ppid=17883 vsize=5356 CPUtime=0
/proc/17885/stat : 17885 (concrete.sh) S 17883 17885 16829 0 -1 4194304 341 294 0 0 0 0 0 0 17 0 1 0 59209842 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17885/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.10477 s]
/proc/loadavg: 2.01 2.03 2.00 5/82 17886
/proc/meminfo: memFree=1494088/2055920 swapFree=4192812/4192956
[pid=17885] ppid=17883 vsize=5356 CPUtime=0
/proc/17885/stat : 17885 (concrete.sh) S 17883 17885 16829 0 -1 4194304 341 294 0 0 0 0 0 0 17 0 1 0 59209842 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17885/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301786 s]
/proc/loadavg: 2.01 2.03 2.00 5/82 17886
/proc/meminfo: memFree=1494088/2055920 swapFree=4192812/4192956
[pid=17885] ppid=17883 vsize=5356 CPUtime=0
/proc/17885/stat : 17885 (concrete.sh) S 17883 17885 16829 0 -1 4194304 341 294 0 0 0 0 0 0 17 0 1 0 59209842 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17885/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701815 s]
/proc/loadavg: 2.01 2.03 2.00 5/82 17886
/proc/meminfo: memFree=1494088/2055920 swapFree=4192812/4192956
[pid=17885] ppid=17883 vsize=5356 CPUtime=0
/proc/17885/stat : 17885 (concrete.sh) S 17883 17885 16829 0 -1 4194304 341 294 0 0 0 0 0 0 17 0 1 0 59209842 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17885/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50287 s]
/proc/loadavg: 2.09 2.05 2.01 3/92 17899
/proc/meminfo: memFree=1475576/2055920 swapFree=4192812/4192956
[pid=17885] ppid=17883 vsize=5356 CPUtime=0
/proc/17885/stat : 17885 (concrete.sh) S 17883 17885 16829 0 -1 4194304 341 294 0 0 0 0 0 0 17 0 1 0 59209842 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17885/statm: 1339 244 201 169 0 50 0
[pid=17890] ppid=17885 vsize=848944 CPUtime=1.47
/proc/17890/stat : 17890 (java) S 17885 17885 16829 0 -1 0 7019 0 1 0 140 7 0 0 18 0 10 0 59209843 869318656 6079 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17890/statm: 212236 6079 2018 9 0 206714 0
[pid=17890/tid=17891] ppid=17885 vsize=848944 CPUtime=0.9
/proc/17890/task/17891/stat : 17891 (java) R 17885 17885 16829 0 -1 64 3981 0 1 0 87 3 0 0 21 0 10 0 59209844 869318656 6079 996147200 134512640 134550932 4294955344 18446744073709551615 4125942975 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17890/tid=17892] ppid=17885 vsize=848944 CPUtime=0.05
/proc/17890/task/17892/stat : 17892 (java) S 17885 17885 16829 0 -1 64 671 0 0 0 5 0 0 0 16 0 10 0 59209846 869318656 6079 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17890/tid=17893] ppid=17885 vsize=848944 CPUtime=0
/proc/17890/task/17893/stat : 17893 (java) S 17885 17885 16829 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 59209846 869318656 6079 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17890/tid=17894] ppid=17885 vsize=848944 CPUtime=0
/proc/17890/task/17894/stat : 17894 (java) S 17885 17885 16829 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 59209846 869318656 6079 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17890/tid=17895] ppid=17885 vsize=848944 CPUtime=0
/proc/17890/task/17895/stat : 17895 (java) S 17885 17885 16829 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 59209848 869318656 6079 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17890/tid=17897] ppid=17885 vsize=848944 CPUtime=0.48
/proc/17890/task/17897/stat : 17897 (java) S 17885 17885 16829 0 -1 64 1667 0 0 0 47 1 0 0 15 0 10 0 59209852 869318656 6079 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17890/tid=17898] ppid=17885 vsize=848944 CPUtime=0
/proc/17890/task/17898/stat : 17898 (java) S 17885 17885 16829 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 59209852 869318656 6079 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17890/tid=17899] ppid=17885 vsize=848944 CPUtime=0
/proc/17890/task/17899/stat : 17899 (java) S 17885 17885 16829 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 59209852 869318656 6079 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 854300
[startup+3.10299 s]
/proc/loadavg: 2.09 2.05 2.01 4/93 17900
/proc/meminfo: memFree=1466864/2055920 swapFree=4192812/4192956
[pid=17885] ppid=17883 vsize=5356 CPUtime=0
/proc/17885/stat : 17885 (concrete.sh) S 17883 17885 16829 0 -1 4194304 341 294 0 0 0 0 0 0 17 0 1 0 59209842 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17885/statm: 1339 244 201 169 0 50 0
[pid=17890] ppid=17885 vsize=848944 CPUtime=3.05
/proc/17890/stat : 17890 (java) S 17885 17885 16829 0 -1 0 9482 0 1 0 296 9 0 0 18 0 10 0 59209843 869318656 8264 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17890/statm: 212236 8264 2632 9 0 206714 0
[pid=17890/tid=17891] ppid=17885 vsize=848944 CPUtime=2.04
/proc/17890/task/17891/stat : 17891 (java) R 17885 17885 16829 0 -1 64 4246 0 1 0 200 4 0 0 25 0 10 0 59209844 869318656 8264 996147200 134512640 134550932 4294955344 18446744073709551615 4127472497 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17892] ppid=17885 vsize=848944 CPUtime=0.3
/proc/17890/task/17892/stat : 17892 (java) S 17885 17885 16829 0 -1 64 2742 0 0 0 29 1 0 0 16 0 10 0 59209846 869318656 8264 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17893] ppid=17885 vsize=848944 CPUtime=0
/proc/17890/task/17893/stat : 17893 (java) S 17885 17885 16829 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 59209846 869318656 8264 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17894] ppid=17885 vsize=848944 CPUtime=0
/proc/17890/task/17894/stat : 17894 (java) S 17885 17885 16829 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 59209846 869318656 8264 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17895] ppid=17885 vsize=848944 CPUtime=0
/proc/17890/task/17895/stat : 17895 (java) S 17885 17885 16829 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 59209848 869318656 8264 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17890/tid=17897] ppid=17885 vsize=848944 CPUtime=0.68
/proc/17890/task/17897/stat : 17897 (java) S 17885 17885 16829 0 -1 64 1793 0 0 0 66 2 0 0 15 0 10 0 59209852 869318656 8264 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17898] ppid=17885 vsize=848944 CPUtime=0
/proc/17890/task/17898/stat : 17898 (java) S 17885 17885 16829 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 59209852 869318656 8264 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17890/tid=17899] ppid=17885 vsize=848944 CPUtime=0
/proc/17890/task/17899/stat : 17899 (java) S 17885 17885 16829 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 59209852 869318656 8264 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 854300
[startup+6.30122 s]
/proc/loadavg: 2.08 2.05 2.00 3/93 17901
/proc/meminfo: memFree=1440424/2055920 swapFree=4192812/4192956
[pid=17885] ppid=17883 vsize=5356 CPUtime=0
/proc/17885/stat : 17885 (concrete.sh) S 17883 17885 16829 0 -1 4194304 341 294 0 0 0 0 0 0 17 0 1 0 59209842 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17885/statm: 1339 244 201 169 0 50 0
[pid=17890] ppid=17885 vsize=848988 CPUtime=6.26
/proc/17890/stat : 17890 (java) S 17885 17885 16829 0 -1 0 14013 0 1 0 614 12 0 0 18 0 10 0 59209843 869363712 11524 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17890/statm: 212247 11524 2633 9 0 206725 0
[pid=17890/tid=17891] ppid=17885 vsize=848988 CPUtime=4.96
/proc/17890/task/17891/stat : 17891 (java) R 17885 17885 16829 0 -1 64 4398 0 1 0 491 5 0 0 25 0 10 0 59209844 869363712 11524 996147200 134512640 134550932 4294955344 18446744073709551615 4127528750 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17892] ppid=17885 vsize=848988 CPUtime=0.58
/proc/17890/task/17892/stat : 17892 (java) S 17885 17885 16829 0 -1 64 7121 0 0 0 55 3 0 0 16 0 10 0 59209846 869363712 11524 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17893] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17893/stat : 17893 (java) S 17885 17885 16829 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 59209846 869363712 11524 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17894] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17894/stat : 17894 (java) S 17885 17885 16829 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 59209846 869363712 11524 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17895] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17895/stat : 17895 (java) S 17885 17885 16829 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 59209848 869363712 11524 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17890/tid=17897] ppid=17885 vsize=848988 CPUtime=0.68
/proc/17890/task/17897/stat : 17897 (java) S 17885 17885 16829 0 -1 64 1793 0 0 0 66 2 0 0 15 0 10 0 59209852 869363712 11524 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17898] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17898/stat : 17898 (java) S 17885 17885 16829 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 59209852 869363712 11524 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17890/tid=17899] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17899/stat : 17899 (java) R 17885 17885 16829 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 59209852 869363712 11524 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17890/tid=17901] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17901/stat : 17901 (java) S 17885 17885 16829 0 -1 64 0 0 0 0 0 0 0 0 24 0 10 0 59210075 869363712 11524 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 854344
[startup+12.7027 s]
/proc/loadavg: 2.08 2.05 2.00 3/93 17901
/proc/meminfo: memFree=1406312/2055920 swapFree=4192812/4192956
[pid=17885] ppid=17883 vsize=5356 CPUtime=0
/proc/17885/stat : 17885 (concrete.sh) S 17883 17885 16829 0 -1 4194304 341 294 0 0 0 0 0 0 17 0 1 0 59209842 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17885/statm: 1339 244 201 169 0 50 0
[pid=17890] ppid=17885 vsize=848988 CPUtime=12.66
/proc/17890/stat : 17890 (java) S 17885 17885 16829 0 -1 0 18511 0 1 0 1252 14 0 0 18 0 10 0 59209843 869363712 15984 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17890/statm: 212247 15984 2633 9 0 206725 0
[pid=17890/tid=17891] ppid=17885 vsize=848988 CPUtime=11.1
/proc/17890/task/17891/stat : 17891 (java) R 17885 17885 16829 0 -1 64 4612 0 1 0 1105 5 0 0 25 0 10 0 59209844 869363712 15984 996147200 134512640 134550932 4294955344 18446744073709551615 4127445443 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17892] ppid=17885 vsize=848988 CPUtime=0.84
/proc/17890/task/17892/stat : 17892 (java) S 17885 17885 16829 0 -1 64 11405 0 0 0 79 5 0 0 16 0 10 0 59209846 869363712 15984 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17893] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17893/stat : 17893 (java) S 17885 17885 16829 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 59209846 869363712 15984 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17894] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17894/stat : 17894 (java) S 17885 17885 16829 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 59209846 869363712 15984 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17895] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17895/stat : 17895 (java) S 17885 17885 16829 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 59209848 869363712 15984 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17890/tid=17897] ppid=17885 vsize=848988 CPUtime=0.69
/proc/17890/task/17897/stat : 17897 (java) S 17885 17885 16829 0 -1 64 1793 0 0 0 67 2 0 0 15 0 10 0 59209852 869363712 15984 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17898] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17898/stat : 17898 (java) S 17885 17885 16829 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 59209852 869363712 15984 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17890/tid=17899] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17899/stat : 17899 (java) S 17885 17885 16829 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 59209852 869363712 15984 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17890/tid=17901] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17901/stat : 17901 (java) S 17885 17885 16829 0 -1 64 0 0 0 0 0 0 0 0 24 0 10 0 59210075 869363712 15984 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 854344
[startup+25.5026 s]
/proc/loadavg: 2.13 2.06 2.01 3/93 17901
/proc/meminfo: memFree=1363752/2055920 swapFree=4192812/4192956
[pid=17885] ppid=17883 vsize=5356 CPUtime=0
/proc/17885/stat : 17885 (concrete.sh) S 17883 17885 16829 0 -1 4194304 341 294 0 0 0 0 0 0 17 0 1 0 59209842 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17885/statm: 1339 244 201 169 0 50 0
[pid=17890] ppid=17885 vsize=848988 CPUtime=25.45
/proc/17890/stat : 17890 (java) S 17885 17885 16829 0 -1 0 23572 0 1 0 2529 16 0 0 18 0 10 0 59209843 869363712 21008 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17890/statm: 212247 21008 2633 9 0 206725 0
[pid=17890/tid=17891] ppid=17885 vsize=848988 CPUtime=23.57
/proc/17890/task/17891/stat : 17891 (java) R 17885 17885 16829 0 -1 64 4921 0 1 0 2352 5 0 0 25 0 10 0 59209844 869363712 21008 996147200 134512640 134550932 4294955344 18446744073709551615 4127472607 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17892] ppid=17885 vsize=848988 CPUtime=1.15
/proc/17890/task/17892/stat : 17892 (java) S 17885 17885 16829 0 -1 64 16157 0 0 0 108 7 0 0 16 0 10 0 59209846 869363712 21008 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17893] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17893/stat : 17893 (java) S 17885 17885 16829 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 59209846 869363712 21008 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17894] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17894/stat : 17894 (java) S 17885 17885 16829 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 59209846 869363712 21008 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17895] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17895/stat : 17895 (java) S 17885 17885 16829 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 59209848 869363712 21008 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17890/tid=17897] ppid=17885 vsize=848988 CPUtime=0.69
/proc/17890/task/17897/stat : 17897 (java) S 17885 17885 16829 0 -1 64 1793 0 0 0 67 2 0 0 17 0 10 0 59209852 869363712 21008 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17898] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17898/stat : 17898 (java) S 17885 17885 16829 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 59209852 869363712 21008 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17890/tid=17899] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17899/stat : 17899 (java) S 17885 17885 16829 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 59209852 869363712 21008 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17890/tid=17901] ppid=17885 vsize=848988 CPUtime=0
################
# More data... #
################
Current children cumulated CPU time (s) 1695.28
Current children cumulated vsize (KiB) 854344
[startup+1702.3 s]
/proc/loadavg: 2.11 2.06 2.01 3/93 17901
/proc/meminfo: memFree=1242152/2055920 swapFree=4192812/4192956
[pid=17885] ppid=17883 vsize=5356 CPUtime=0
/proc/17885/stat : 17885 (concrete.sh) S 17883 17885 16829 0 -1 4194304 341 294 0 0 0 0 0 0 17 0 1 0 59209842 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17885/statm: 1339 244 201 169 0 50 0
[pid=17890] ppid=17885 vsize=848988 CPUtime=1701.68
/proc/17890/stat : 17890 (java) S 17885 17885 16829 0 -1 0 38591 0 1 0 170135 33 0 0 18 0 9 0 59209843 869363712 35337 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17890/statm: 212247 35337 2633 9 0 206725 0
[pid=17890/tid=17891] ppid=17885 vsize=848988 CPUtime=1697.93
/proc/17890/task/17891/stat : 17891 (java) R 17885 17885 16829 0 -1 64 6555 0 1 0 169781 12 0 0 25 0 9 0 59209844 869363712 35337 996147200 134512640 134550932 4294955344 18446744073709551615 4127528750 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17892] ppid=17885 vsize=848988 CPUtime=3.01
/proc/17890/task/17892/stat : 17892 (java) S 17885 17885 16829 0 -1 64 29542 0 0 0 284 17 0 0 16 0 9 0 59209846 869363712 35337 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17893] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17893/stat : 17893 (java) S 17885 17885 16829 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 59209846 869363712 35337 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17894] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17894/stat : 17894 (java) S 17885 17885 16829 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 59209846 869363712 35337 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17895] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17895/stat : 17895 (java) S 17885 17885 16829 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 59209848 869363712 35337 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17890/tid=17897] ppid=17885 vsize=848988 CPUtime=0.7
/proc/17890/task/17897/stat : 17897 (java) S 17885 17885 16829 0 -1 64 1793 0 0 0 68 2 0 0 15 0 9 0 59209852 869363712 35337 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17898] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17898/stat : 17898 (java) S 17885 17885 16829 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 59209852 869363712 35337 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17890/tid=17899] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17899/stat : 17899 (java) S 17885 17885 16829 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 59209852 869363712 35337 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1701.68
Current children cumulated vsize (KiB) 854344
[startup+1705.5 s]
/proc/loadavg: 2.11 2.06 2.01 3/92 17901
/proc/meminfo: memFree=1242152/2055920 swapFree=4192812/4192956
[pid=17885] ppid=17883 vsize=5356 CPUtime=0
/proc/17885/stat : 17885 (concrete.sh) S 17883 17885 16829 0 -1 4194304 341 294 0 0 0 0 0 0 17 0 1 0 59209842 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17885/statm: 1339 244 201 169 0 50 0
[pid=17890] ppid=17885 vsize=848988 CPUtime=1704.87
/proc/17890/stat : 17890 (java) S 17885 17885 16829 0 -1 0 38595 0 1 0 170454 33 0 0 18 0 9 0 59209843 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17890/statm: 212247 35341 2633 9 0 206725 0
[pid=17890/tid=17891] ppid=17885 vsize=848988 CPUtime=1701.12
/proc/17890/task/17891/stat : 17891 (java) R 17885 17885 16829 0 -1 64 6555 0 1 0 170100 12 0 0 25 0 9 0 59209844 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4127475672 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17892] ppid=17885 vsize=848988 CPUtime=3.01
/proc/17890/task/17892/stat : 17892 (java) S 17885 17885 16829 0 -1 64 29542 0 0 0 284 17 0 0 16 0 9 0 59209846 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17893] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17893/stat : 17893 (java) S 17885 17885 16829 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 59209846 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17894] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17894/stat : 17894 (java) S 17885 17885 16829 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 59209846 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17895] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17895/stat : 17895 (java) S 17885 17885 16829 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 59209848 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17890/tid=17897] ppid=17885 vsize=848988 CPUtime=0.71
/proc/17890/task/17897/stat : 17897 (java) S 17885 17885 16829 0 -1 64 1797 0 0 0 69 2 0 0 15 0 9 0 59209852 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17898] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17898/stat : 17898 (java) S 17885 17885 16829 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 59209852 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17890/tid=17899] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17899/stat : 17899 (java) S 17885 17885 16829 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 59209852 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1704.87
Current children cumulated vsize (KiB) 854344
[startup+1706.3 s]
/proc/loadavg: 2.10 2.06 2.01 3/92 17901
/proc/meminfo: memFree=1242152/2055920 swapFree=4192812/4192956
[pid=17885] ppid=17883 vsize=5356 CPUtime=0
/proc/17885/stat : 17885 (concrete.sh) S 17883 17885 16829 0 -1 4194304 341 294 0 0 0 0 0 0 17 0 1 0 59209842 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17885/statm: 1339 244 201 169 0 50 0
[pid=17890] ppid=17885 vsize=848988 CPUtime=1705.67
/proc/17890/stat : 17890 (java) S 17885 17885 16829 0 -1 0 38595 0 1 0 170534 33 0 0 18 0 9 0 59209843 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17890/statm: 212247 35341 2633 9 0 206725 0
[pid=17890/tid=17891] ppid=17885 vsize=848988 CPUtime=1701.92
/proc/17890/task/17891/stat : 17891 (java) R 17885 17885 16829 0 -1 64 6555 0 1 0 170180 12 0 0 25 0 9 0 59209844 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4127456538 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17892] ppid=17885 vsize=848988 CPUtime=3.01
/proc/17890/task/17892/stat : 17892 (java) S 17885 17885 16829 0 -1 64 29542 0 0 0 284 17 0 0 16 0 9 0 59209846 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17893] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17893/stat : 17893 (java) S 17885 17885 16829 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 59209846 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17894] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17894/stat : 17894 (java) S 17885 17885 16829 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 59209846 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17895] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17895/stat : 17895 (java) S 17885 17885 16829 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 59209848 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17890/tid=17897] ppid=17885 vsize=848988 CPUtime=0.71
/proc/17890/task/17897/stat : 17897 (java) S 17885 17885 16829 0 -1 64 1797 0 0 0 69 2 0 0 15 0 9 0 59209852 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17898] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17898/stat : 17898 (java) S 17885 17885 16829 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 59209852 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17890/tid=17899] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17899/stat : 17899 (java) S 17885 17885 16829 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 59209852 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1705.67
Current children cumulated vsize (KiB) 854344
[startup+1706.7 s]
/proc/loadavg: 2.10 2.06 2.01 3/92 17901
/proc/meminfo: memFree=1242152/2055920 swapFree=4192812/4192956
[pid=17885] ppid=17883 vsize=5356 CPUtime=0
/proc/17885/stat : 17885 (concrete.sh) S 17883 17885 16829 0 -1 4194304 341 294 0 0 0 0 0 0 17 0 1 0 59209842 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17885/statm: 1339 244 201 169 0 50 0
[pid=17890] ppid=17885 vsize=848988 CPUtime=1706.07
/proc/17890/stat : 17890 (java) S 17885 17885 16829 0 -1 0 38595 0 1 0 170574 33 0 0 18 0 9 0 59209843 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17890/statm: 212247 35341 2633 9 0 206725 0
[pid=17890/tid=17891] ppid=17885 vsize=848988 CPUtime=1702.32
/proc/17890/task/17891/stat : 17891 (java) R 17885 17885 16829 0 -1 64 6555 0 1 0 170220 12 0 0 25 0 9 0 59209844 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4127445425 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17892] ppid=17885 vsize=848988 CPUtime=3.01
/proc/17890/task/17892/stat : 17892 (java) S 17885 17885 16829 0 -1 64 29542 0 0 0 284 17 0 0 16 0 9 0 59209846 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17893] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17893/stat : 17893 (java) S 17885 17885 16829 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 59209846 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17894] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17894/stat : 17894 (java) S 17885 17885 16829 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 59209846 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17895] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17895/stat : 17895 (java) S 17885 17885 16829 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 59209848 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17890/tid=17897] ppid=17885 vsize=848988 CPUtime=0.71
/proc/17890/task/17897/stat : 17897 (java) S 17885 17885 16829 0 -1 64 1797 0 0 0 69 2 0 0 15 0 9 0 59209852 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17898] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17898/stat : 17898 (java) S 17885 17885 16829 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 59209852 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17890/tid=17899] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17899/stat : 17899 (java) S 17885 17885 16829 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 59209852 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1706.07
Current children cumulated vsize (KiB) 854344
[startup+1706.9 s]
/proc/loadavg: 2.10 2.06 2.01 3/92 17901
/proc/meminfo: memFree=1242152/2055920 swapFree=4192812/4192956
[pid=17885] ppid=17883 vsize=5356 CPUtime=0
/proc/17885/stat : 17885 (concrete.sh) S 17883 17885 16829 0 -1 4194304 341 294 0 0 0 0 0 0 17 0 1 0 59209842 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17885/statm: 1339 244 201 169 0 50 0
[pid=17890] ppid=17885 vsize=848988 CPUtime=1706.27
/proc/17890/stat : 17890 (java) S 17885 17885 16829 0 -1 0 38595 0 1 0 170594 33 0 0 18 0 9 0 59209843 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17890/statm: 212247 35341 2633 9 0 206725 0
[pid=17890/tid=17891] ppid=17885 vsize=848988 CPUtime=1702.52
/proc/17890/task/17891/stat : 17891 (java) R 17885 17885 16829 0 -1 64 6555 0 1 0 170240 12 0 0 25 0 9 0 59209844 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4127472544 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17892] ppid=17885 vsize=848988 CPUtime=3.01
/proc/17890/task/17892/stat : 17892 (java) S 17885 17885 16829 0 -1 64 29542 0 0 0 284 17 0 0 16 0 9 0 59209846 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17893] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17893/stat : 17893 (java) S 17885 17885 16829 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 59209846 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17894] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17894/stat : 17894 (java) S 17885 17885 16829 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 59209846 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17895] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17895/stat : 17895 (java) S 17885 17885 16829 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 59209848 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17890/tid=17897] ppid=17885 vsize=848988 CPUtime=0.71
/proc/17890/task/17897/stat : 17897 (java) S 17885 17885 16829 0 -1 64 1797 0 0 0 69 2 0 0 15 0 9 0 59209852 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17898] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17898/stat : 17898 (java) S 17885 17885 16829 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 59209852 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17890/tid=17899] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17899/stat : 17899 (java) S 17885 17885 16829 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 59209852 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1706.27
Current children cumulated vsize (KiB) 854344
[startup+1707 s]
/proc/loadavg: 2.10 2.06 2.01 3/92 17901
/proc/meminfo: memFree=1242152/2055920 swapFree=4192812/4192956
[pid=17885] ppid=17883 vsize=5356 CPUtime=0
/proc/17885/stat : 17885 (concrete.sh) S 17883 17885 16829 0 -1 4194304 341 294 0 0 0 0 0 0 17 0 1 0 59209842 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 254195327812 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17885/statm: 1339 244 201 169 0 50 0
[pid=17890] ppid=17885 vsize=848988 CPUtime=1706.37
/proc/17890/stat : 17890 (java) S 17885 17885 16829 0 -1 0 38595 0 1 0 170604 33 0 0 18 0 9 0 59209843 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17890/statm: 212247 35341 2633 9 0 206725 0
[pid=17890/tid=17891] ppid=17885 vsize=848988 CPUtime=1702.62
/proc/17890/task/17891/stat : 17891 (java) R 17885 17885 16829 0 -1 64 6555 0 1 0 170250 12 0 0 25 0 9 0 59209844 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4127369532 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17892] ppid=17885 vsize=848988 CPUtime=3.01
/proc/17890/task/17892/stat : 17892 (java) S 17885 17885 16829 0 -1 64 29542 0 0 0 284 17 0 0 16 0 9 0 59209846 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17893] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17893/stat : 17893 (java) S 17885 17885 16829 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 59209846 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17894] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17894/stat : 17894 (java) S 17885 17885 16829 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 59209846 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17895] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17895/stat : 17895 (java) S 17885 17885 16829 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 59209848 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17890/tid=17897] ppid=17885 vsize=848988 CPUtime=0.71
/proc/17890/task/17897/stat : 17897 (java) S 17885 17885 16829 0 -1 64 1797 0 0 0 69 2 0 0 15 0 9 0 59209852 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=17890/tid=17898] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17898/stat : 17898 (java) S 17885 17885 16829 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 59209852 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17890/tid=17899] ppid=17885 vsize=848988 CPUtime=0
/proc/17890/task/17899/stat : 17899 (java) S 17885 17885 16829 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 59209852 869363712 35341 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1706.37
Current children cumulated vsize (KiB) 854344
Child status: 0
Real time (s): 1707.09
CPU time (s): 1706.43
CPU user time (s): 1706.06
CPU system time (s): 0.368943
CPU usage (%): 99.9617
Max. virtual memory (cumulated for all children) (KiB): 855632
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1706.06
system time used= 0.368943
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39246
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= 44631
involuntary context switches= 18290
runsolver used 1.70574 second user time and 6.10307 second system time
The end
Begin job on node34 at 2009-07-16 07:17:18
IDJOB=2082651
IDBENCH=57613
IDSOLVER=736
FILE ID=node34/2082651-1247721438
PBS_JOBID= 9521418
Free space on /tmp= 66308 MiB
SOLVER NAME= Concrete DC 2009-06-10
BENCH NAME= CPAI08/csp/super-jobShop/super-jobShop-ewddr2/normalized-super-jobShop-ewddr2-10.xml
COMMAND LINE= HOME/concrete.sh -c -p cspfj.filter.DC2 -parameter cdc.addConstraints=BIN BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2082651-1247721438/watcher-2082651-1247721438 -o /tmp/evaluation-result-2082651-1247721438/solver-2082651-1247721438 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c -p cspfj.filter.DC2 -parameter cdc.addConstraints=BIN HOME/instance-2082651-1247721438.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 16828d5b306d2e949e22316dd26b1589
RANDOM SEED=2053589921
node34.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 : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1494832 kB
Buffers: 102684 kB
Cached: 326124 kB
SwapCached: 0 kB
Active: 76884 kB
Inactive: 388136 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1494832 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2720 kB
Writeback: 0 kB
Mapped: 56704 kB
Slab: 81336 kB
Committed_AS: 580076 kB
PageTables: 1872 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= 66308 MiB
End job on node34 at 2009-07-16 07:45:45