53.06/53.69 c [ 53.279] WARNING : Could not free more memory in relations (concrete.relationconverter.RelationManager.strongOptimizeMemory)
53.26/53.88 c CPU-LOAD 12.53
53.26/53.88 c LOADED 65 V (26 E), 225 PredicateConstraint, 34 ExtensionConstraintDynamic, arity 18, 12.53 cpu
124.19/125.42 v 3 0 12 4 0 1 1 0 0 9 0 23 7 4 0 11 11 0 22 0 11 11 8 17 17 0 22 0 3 3 24 1 4 6 0 2 16 20 8 4 18 2 4 11 14 20 14 7 12 1 4 0 20 0 3 0 12 0 3 3 18 3 0 3 0
124.19/125.42 s SATISFIABLE
124.19/125.42 d NODES 71
124.19/125.42 d CHECKS 22720300
124.19/125.43 c CDC-added-constraints: 827
124.19/125.43 c CDC-nbsingletontests: 4380
124.19/125.43 c CDC-nogoods: 73913
124.19/125.43 c heuristic-cpu: 0.0
124.19/125.43 c prepro-constraint-ccks: 15605437
124.19/125.43 c prepro-constraint-presenceccks: 69865736
124.19/125.43 c prepro-cpu: 69.840004
124.19/125.43 c prepro-matrix2d-ccks: 6915757
124.19/125.43 c prepro-matrix2d-presenceccks: 0
124.19/125.43 c prepro-removed: 157
124.19/125.43 c search-cpu: 0.3199997
124.19/125.43 c search-nps: 221.87521
124.19/125.43 c total-assgn: 71
124.19/125.43 c total-constraint-ccks: 15752174
124.19/125.43 c total-constraint-presence-ccks: 70329032
124.19/125.43 c total-cpu: 70.43
124.19/125.43 c total-matrix2d-ccks: 6968126
124.19/125.43 c total-matrix2d-presence-ccks: 0
124.19/125.43 c TOTAL-NODES 71
124.19/125.43 c TOTAL-CPU 70.43
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2074841-1247712465/watcher-2074841-1247712465 -o /tmp/evaluation-result-2074841-1247712465/solver-2074841-1247712465 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c -p cspfj.filter.DC2 -parameter cdc.addConstraints=BIN HOME/instance-2074841-1247712465.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: 1.97 1.99 2.02 4/81 7504
/proc/meminfo: memFree=1220736/2055920 swapFree=4192812/4192956
[pid=7504] ppid=7502 vsize=5356 CPUtime=0
/proc/7504/stat : 7504 (concrete.sh) S 7502 7504 6894 0 -1 4194304 299 128 0 0 0 0 0 0 20 0 1 0 58313110 5484544 238 996147200 4194304 4889804 548682068736 18446744073709551615 273952768082 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/7504/statm: 1339 238 197 169 0 50 0
[pid=7506] ppid=7504 vsize=5356 CPUtime=0
/proc/7506/stat : 7506 (concrete.sh) R 7504 7504 6894 0 -1 4194368 18 0 0 0 0 0 0 0 22 0 1 0 58313111 5484544 238 996147200 4194304 4889804 548682068736 18446744073709551615 4308869 0 0 4096 65538 0 0 0 17 1 0 0
/proc/7506/statm: 1339 238 197 169 0 50 0
[startup+0.103846 s]
/proc/loadavg: 1.97 1.99 2.02 4/81 7504
/proc/meminfo: memFree=1220736/2055920 swapFree=4192812/4192956
[pid=7504] ppid=7502 vsize=5356 CPUtime=0
/proc/7504/stat : 7504 (concrete.sh) S 7502 7504 6894 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58313110 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7504/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.201858 s]
/proc/loadavg: 1.97 1.99 2.02 4/81 7504
/proc/meminfo: memFree=1220736/2055920 swapFree=4192812/4192956
[pid=7504] ppid=7502 vsize=5356 CPUtime=0
/proc/7504/stat : 7504 (concrete.sh) S 7502 7504 6894 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58313110 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7504/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.30187 s]
/proc/loadavg: 1.97 1.99 2.02 4/81 7504
/proc/meminfo: memFree=1220736/2055920 swapFree=4192812/4192956
[pid=7504] ppid=7502 vsize=5356 CPUtime=0
/proc/7504/stat : 7504 (concrete.sh) S 7502 7504 6894 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58313110 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7504/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701914 s]
/proc/loadavg: 1.97 1.99 2.02 4/81 7504
/proc/meminfo: memFree=1220736/2055920 swapFree=4192812/4192956
[pid=7504] ppid=7502 vsize=5356 CPUtime=0
/proc/7504/stat : 7504 (concrete.sh) S 7502 7504 6894 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58313110 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7504/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50301 s]
/proc/loadavg: 1.97 1.99 2.02 4/92 7518
/proc/meminfo: memFree=1204392/2055920 swapFree=4192812/4192956
[pid=7504] ppid=7502 vsize=5356 CPUtime=0
/proc/7504/stat : 7504 (concrete.sh) S 7502 7504 6894 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58313110 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7504/statm: 1339 244 201 169 0 50 0
[pid=7509] ppid=7504 vsize=848920 CPUtime=1.47
/proc/7509/stat : 7509 (java) S 7504 7504 6894 0 -1 0 7364 0 1 0 139 8 0 0 18 0 10 0 58313112 869294080 6358 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/7509/statm: 212230 6358 2048 9 0 206708 0
[pid=7509/tid=7510] ppid=7504 vsize=848920 CPUtime=0.92
/proc/7509/task/7510/stat : 7510 (java) R 7504 7504 6894 0 -1 64 4118 0 1 0 87 5 0 0 24 0 10 0 58313113 869294080 6358 996147200 134512640 134550932 4294955344 18446744073709551615 104264612 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7511] ppid=7504 vsize=848920 CPUtime=0.07
/proc/7509/task/7511/stat : 7511 (java) S 7504 7504 6894 0 -1 64 872 0 0 0 7 0 0 0 16 0 10 0 58313114 869294080 6358 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7512] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7512/stat : 7512 (java) S 7504 7504 6894 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58313114 869294080 6358 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7513] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7513/stat : 7513 (java) S 7504 7504 6894 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58313114 869294080 6358 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7514] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7514/stat : 7514 (java) S 7504 7504 6894 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 58313117 869294080 6358 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7515] ppid=7504 vsize=848920 CPUtime=0.45
/proc/7509/task/7515/stat : 7515 (java) S 7504 7504 6894 0 -1 64 1674 0 0 0 44 1 0 0 15 0 10 0 58313120 869294080 6358 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7516] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7516/stat : 7516 (java) S 7504 7504 6894 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 58313120 869294080 6358 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7517] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7517/stat : 7517 (java) S 7504 7504 6894 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58313120 869294080 6358 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7518] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7518/stat : 7518 (java) S 7504 7504 6894 0 -1 64 4 0 0 0 0 0 0 0 22 0 10 0 58313217 869294080 6358 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) 854276
[startup+3.1022 s]
/proc/loadavg: 1.97 1.99 2.02 3/92 7518
/proc/meminfo: memFree=1186280/2055920 swapFree=4192812/4192956
[pid=7504] ppid=7502 vsize=5356 CPUtime=0
/proc/7504/stat : 7504 (concrete.sh) S 7502 7504 6894 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58313110 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7504/statm: 1339 244 201 169 0 50 0
[pid=7509] ppid=7504 vsize=848920 CPUtime=3.04
/proc/7509/stat : 7509 (java) S 7504 7504 6894 0 -1 0 19938 0 1 0 291 13 0 0 18 0 10 0 58313112 869294080 18676 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/7509/statm: 212230 18676 2632 9 0 206708 0
[pid=7509/tid=7510] ppid=7504 vsize=848920 CPUtime=1.5
/proc/7509/task/7510/stat : 7510 (java) R 7504 7504 6894 0 -1 64 6799 0 1 0 144 6 0 0 25 0 10 0 58313113 869294080 18676 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7511] ppid=7504 vsize=848920 CPUtime=1.05
/proc/7509/task/7511/stat : 7511 (java) R 7504 7504 6894 0 -1 64 10751 0 0 0 100 5 0 0 17 0 10 0 58313114 869294080 18676 996147200 134512640 134550932 4294955344 18446744073709551615 104190130 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7512] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7512/stat : 7512 (java) S 7504 7504 6894 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58313114 869294080 18676 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7513] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7513/stat : 7513 (java) S 7504 7504 6894 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58313114 869294080 18676 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7514] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7514/stat : 7514 (java) S 7504 7504 6894 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 58313117 869294080 18676 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7515] ppid=7504 vsize=848920 CPUtime=0.47
/proc/7509/task/7515/stat : 7515 (java) S 7504 7504 6894 0 -1 64 1688 0 0 0 46 1 0 0 15 0 10 0 58313120 869294080 18676 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7516] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7516/stat : 7516 (java) S 7504 7504 6894 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 58313120 869294080 18676 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7517] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7517/stat : 7517 (java) S 7504 7504 6894 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58313120 869294080 18676 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7518] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7518/stat : 7518 (java) S 7504 7504 6894 0 -1 64 4 0 0 0 0 0 0 0 22 0 10 0 58313217 869294080 18676 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 854276
[startup+6.30157 s]
/proc/loadavg: 2.05 2.00 2.02 3/92 7518
/proc/meminfo: memFree=1085928/2055920 swapFree=4192812/4192956
[pid=7504] ppid=7502 vsize=5356 CPUtime=0
/proc/7504/stat : 7504 (concrete.sh) S 7502 7504 6894 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58313110 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7504/statm: 1339 244 201 169 0 50 0
[pid=7509] ppid=7504 vsize=848920 CPUtime=6.21
/proc/7509/stat : 7509 (java) S 7504 7504 6894 0 -1 0 40151 0 1 0 599 22 0 0 18 0 10 0 58313112 869294080 38868 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/7509/statm: 212230 38868 2632 9 0 206708 0
[pid=7509/tid=7510] ppid=7504 vsize=848920 CPUtime=2.85
/proc/7509/task/7510/stat : 7510 (java) R 7504 7504 6894 0 -1 64 11607 0 1 0 277 8 0 0 25 0 10 0 58313113 869294080 38868 996147200 134512640 134550932 4294955344 18446744073709551615 101450334 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7511] ppid=7504 vsize=848920 CPUtime=2.86
/proc/7509/task/7511/stat : 7511 (java) S 7504 7504 6894 0 -1 64 26156 0 0 0 275 11 0 0 16 0 10 0 58313114 869294080 38868 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7512] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7512/stat : 7512 (java) S 7504 7504 6894 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58313114 869294080 38868 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7513] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7513/stat : 7513 (java) S 7504 7504 6894 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58313114 869294080 38868 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7514] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7514/stat : 7514 (java) S 7504 7504 6894 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 58313117 869294080 38868 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7515] ppid=7504 vsize=848920 CPUtime=0.47
/proc/7509/task/7515/stat : 7515 (java) S 7504 7504 6894 0 -1 64 1688 0 0 0 46 1 0 0 15 0 10 0 58313120 869294080 38868 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7516] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7516/stat : 7516 (java) S 7504 7504 6894 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 58313120 869294080 38868 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7517] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7517/stat : 7517 (java) S 7504 7504 6894 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58313120 869294080 38868 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7518] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7518/stat : 7518 (java) S 7504 7504 6894 0 -1 64 4 0 0 0 0 0 0 0 22 0 10 0 58313217 869294080 38868 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 854276
[startup+12.7023 s]
/proc/loadavg: 2.12 2.02 2.03 3/92 7518
/proc/meminfo: memFree=877608/2055920 swapFree=4192812/4192956
[pid=7504] ppid=7502 vsize=5356 CPUtime=0
/proc/7504/stat : 7504 (concrete.sh) S 7502 7504 6894 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58313110 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7504/statm: 1339 244 201 169 0 50 0
[pid=7509] ppid=7504 vsize=848920 CPUtime=12.56
/proc/7509/stat : 7509 (java) S 7504 7504 6894 0 -1 0 94454 0 1 0 1212 44 0 0 18 0 10 0 58313112 869294080 93153 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/7509/statm: 212230 93153 2632 9 0 206708 0
[pid=7509/tid=7510] ppid=7504 vsize=848920 CPUtime=5.94
/proc/7509/task/7510/stat : 7510 (java) R 7504 7504 6894 0 -1 64 18312 0 1 0 582 12 0 0 25 0 10 0 58313113 869294080 93153 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7511] ppid=7504 vsize=848920 CPUtime=6.12
/proc/7509/task/7511/stat : 7511 (java) R 7504 7504 6894 0 -1 64 73754 0 0 0 583 29 0 0 16 0 10 0 58313114 869294080 93153 996147200 134512640 134550932 4294955344 18446744073709551615 103731896 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7512] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7512/stat : 7512 (java) S 7504 7504 6894 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58313114 869294080 93153 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7513] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7513/stat : 7513 (java) S 7504 7504 6894 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58313114 869294080 93153 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7514] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7514/stat : 7514 (java) S 7504 7504 6894 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 58313117 869294080 93153 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7515] ppid=7504 vsize=848920 CPUtime=0.47
/proc/7509/task/7515/stat : 7515 (java) S 7504 7504 6894 0 -1 64 1688 0 0 0 46 1 0 0 15 0 10 0 58313120 869294080 93153 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7516] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7516/stat : 7516 (java) S 7504 7504 6894 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 58313120 869294080 93153 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7517] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7517/stat : 7517 (java) S 7504 7504 6894 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58313120 869294080 93153 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7518] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7518/stat : 7518 (java) S 7504 7504 6894 0 -1 64 4 0 0 0 0 0 0 0 22 0 10 0 58313217 869294080 93153 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 854276
[startup+25.5028 s]
/proc/loadavg: 2.16 2.03 2.03 4/92 7518
/proc/meminfo: memFree=493800/2055920 swapFree=4192812/4192956
[pid=7504] ppid=7502 vsize=5356 CPUtime=0
/proc/7504/stat : 7504 (concrete.sh) S 7502 7504 6894 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58313110 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7504/statm: 1339 244 201 169 0 50 0
[pid=7509] ppid=7504 vsize=848920 CPUtime=25.23
/proc/7509/stat : 7509 (java) S 7504 7504 6894 0 -1 0 185072 0 1 0 2440 83 0 0 18 0 10 0 58313112 869294080 183756 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/7509/statm: 212230 183756 2632 9 0 206708 0
[pid=7509/tid=7510] ppid=7504 vsize=848920 CPUtime=10.85
/proc/7509/task/7510/stat : 7510 (java) R 7504 7504 6894 0 -1 64 49931 0 1 0 1058 27 0 0 25 0 10 0 58313113 869294080 183756 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7511] ppid=7504 vsize=848920 CPUtime=13.88
/proc/7509/task/7511/stat : 7511 (java) R 7504 7504 6894 0 -1 64 132753 0 0 0 1335 53 0 0 17 0 10 0 58313114 869294080 183756 996147200 134512640 134550932 4294955344 18446744073709551615 103825730 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7512] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7512/stat : 7512 (java) S 7504 7504 6894 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58313114 869294080 183756 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7513] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7513/stat : 7513 (java) S 7504 7504 6894 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58313114 869294080 183756 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7514] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7514/stat : 7514 (java) S 7504 7504 6894 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 58313117 869294080 183756 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7515] ppid=7504 vsize=848920 CPUtime=0.47
/proc/7509/task/7515/stat : 7515 (java) S 7504 7504 6894 0 -1 64 1688 0 0 0 46 1 0 0 15 0 10 0 58313120 869294080 183756 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7516] ppid=7504 vsize=848920 CPUtime=0
################
# More data... #
################
[pid=7509/tid=7514] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7514/stat : 7514 (java) S 7504 7504 6894 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 58313117 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7515] ppid=7504 vsize=848920 CPUtime=0.58
/proc/7509/task/7515/stat : 7515 (java) S 7504 7504 6894 0 -1 64 1752 0 0 0 57 1 0 0 16 0 10 0 58313120 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7516] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7516/stat : 7516 (java) S 7504 7504 6894 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 58313120 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7517] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7517/stat : 7517 (java) S 7504 7504 6894 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58313120 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7519] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7519/stat : 7519 (java) S 7504 7504 6894 0 -1 64 0 0 0 0 0 0 0 0 17 0 10 0 58318529 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 114.08
Current children cumulated vsize (KiB) 854276
[startup+121.603 s]
/proc/loadavg: 2.07 2.05 2.03 3/92 7519
/proc/meminfo: memFree=467808/2055920 swapFree=4192812/4192956
[pid=7504] ppid=7502 vsize=5356 CPUtime=0
/proc/7504/stat : 7504 (concrete.sh) S 7502 7504 6894 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58313110 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7504/statm: 1339 244 201 169 0 50 0
[pid=7509] ppid=7504 vsize=848920 CPUtime=120.42
/proc/7509/stat : 7509 (java) S 7504 7504 6894 0 -1 0 191591 0 1 0 11954 88 0 0 18 0 10 0 58313112 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/7509/statm: 212230 190230 2634 9 0 206708 0
[pid=7509/tid=7510] ppid=7504 vsize=848920 CPUtime=79.16
/proc/7509/task/7510/stat : 7510 (java) R 7504 7504 6894 0 -1 64 50031 0 1 0 7888 28 0 0 25 0 10 0 58313113 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4127145583 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7511] ppid=7504 vsize=848920 CPUtime=40.65
/proc/7509/task/7511/stat : 7511 (java) S 7504 7504 6894 0 -1 64 139107 0 0 0 4008 57 0 0 16 0 10 0 58313114 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7512] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7512/stat : 7512 (java) S 7504 7504 6894 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58313114 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7513] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7513/stat : 7513 (java) S 7504 7504 6894 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 58313114 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7514] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7514/stat : 7514 (java) S 7504 7504 6894 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 58313117 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7515] ppid=7504 vsize=848920 CPUtime=0.58
/proc/7509/task/7515/stat : 7515 (java) S 7504 7504 6894 0 -1 64 1752 0 0 0 57 1 0 0 16 0 10 0 58313120 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7516] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7516/stat : 7516 (java) S 7504 7504 6894 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 58313120 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7517] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7517/stat : 7517 (java) S 7504 7504 6894 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58313120 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7519] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7519/stat : 7519 (java) S 7504 7504 6894 0 -1 64 0 0 0 0 0 0 0 0 17 0 10 0 58318529 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 120.42
Current children cumulated vsize (KiB) 854276
[startup+123.202 s]
/proc/loadavg: 2.06 2.05 2.03 3/92 7519
/proc/meminfo: memFree=467808/2055920 swapFree=4192812/4192956
[pid=7504] ppid=7502 vsize=5356 CPUtime=0
/proc/7504/stat : 7504 (concrete.sh) S 7502 7504 6894 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58313110 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7504/statm: 1339 244 201 169 0 50 0
[pid=7509] ppid=7504 vsize=848920 CPUtime=122.01
/proc/7509/stat : 7509 (java) S 7504 7504 6894 0 -1 0 191591 0 1 0 12113 88 0 0 18 0 10 0 58313112 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/7509/statm: 212230 190230 2634 9 0 206708 0
[pid=7509/tid=7510] ppid=7504 vsize=848920 CPUtime=80.74
/proc/7509/task/7510/stat : 7510 (java) R 7504 7504 6894 0 -1 64 50031 0 1 0 8046 28 0 0 25 0 10 0 58313113 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4127145583 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7511] ppid=7504 vsize=848920 CPUtime=40.65
/proc/7509/task/7511/stat : 7511 (java) S 7504 7504 6894 0 -1 64 139107 0 0 0 4008 57 0 0 16 0 10 0 58313114 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7512] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7512/stat : 7512 (java) S 7504 7504 6894 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58313114 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7513] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7513/stat : 7513 (java) S 7504 7504 6894 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 58313114 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7514] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7514/stat : 7514 (java) S 7504 7504 6894 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 58313117 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7515] ppid=7504 vsize=848920 CPUtime=0.58
/proc/7509/task/7515/stat : 7515 (java) S 7504 7504 6894 0 -1 64 1752 0 0 0 57 1 0 0 16 0 10 0 58313120 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7516] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7516/stat : 7516 (java) S 7504 7504 6894 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 58313120 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7517] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7517/stat : 7517 (java) S 7504 7504 6894 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58313120 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7519] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7519/stat : 7519 (java) S 7504 7504 6894 0 -1 64 0 0 0 0 0 0 0 0 17 0 10 0 58318529 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 122.01
Current children cumulated vsize (KiB) 854276
[startup+124.802 s]
/proc/loadavg: 2.06 2.05 2.03 3/92 7519
/proc/meminfo: memFree=467808/2055920 swapFree=4192812/4192956
[pid=7504] ppid=7502 vsize=5356 CPUtime=0
/proc/7504/stat : 7504 (concrete.sh) S 7502 7504 6894 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58313110 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7504/statm: 1339 244 201 169 0 50 0
[pid=7509] ppid=7504 vsize=848920 CPUtime=123.59
/proc/7509/stat : 7509 (java) S 7504 7504 6894 0 -1 0 191591 0 1 0 12271 88 0 0 18 0 10 0 58313112 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/7509/statm: 212230 190230 2634 9 0 206708 0
[pid=7509/tid=7510] ppid=7504 vsize=848920 CPUtime=82.33
/proc/7509/task/7510/stat : 7510 (java) R 7504 7504 6894 0 -1 64 50031 0 1 0 8205 28 0 0 25 0 10 0 58313113 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4127145593 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7511] ppid=7504 vsize=848920 CPUtime=40.65
/proc/7509/task/7511/stat : 7511 (java) S 7504 7504 6894 0 -1 64 139107 0 0 0 4008 57 0 0 16 0 10 0 58313114 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7512] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7512/stat : 7512 (java) S 7504 7504 6894 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58313114 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7513] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7513/stat : 7513 (java) S 7504 7504 6894 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 58313114 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7514] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7514/stat : 7514 (java) S 7504 7504 6894 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 58313117 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7515] ppid=7504 vsize=848920 CPUtime=0.58
/proc/7509/task/7515/stat : 7515 (java) S 7504 7504 6894 0 -1 64 1752 0 0 0 57 1 0 0 16 0 10 0 58313120 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7516] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7516/stat : 7516 (java) S 7504 7504 6894 0 -1 64 0 0 0 0 0 0 0 0 20 0 10 0 58313120 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7517] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7517/stat : 7517 (java) S 7504 7504 6894 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58313120 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7519] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7519/stat : 7519 (java) S 7504 7504 6894 0 -1 64 0 0 0 0 0 0 0 0 17 0 10 0 58318529 869294080 190230 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 123.59
Current children cumulated vsize (KiB) 854276
[startup+125.201 s]
/proc/loadavg: 2.06 2.05 2.03 3/92 7519
/proc/meminfo: memFree=467808/2055920 swapFree=4192812/4192956
[pid=7504] ppid=7502 vsize=5356 CPUtime=0
/proc/7504/stat : 7504 (concrete.sh) S 7502 7504 6894 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58313110 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7504/statm: 1339 244 201 169 0 50 0
[pid=7509] ppid=7504 vsize=848920 CPUtime=123.99
/proc/7509/stat : 7509 (java) S 7504 7504 6894 0 -1 0 191593 0 1 0 12311 88 0 0 18 0 9 0 58313112 869294080 190231 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/7509/statm: 212230 190231 2634 9 0 206708 0
[pid=7509/tid=7510] ppid=7504 vsize=848920 CPUtime=82.72
/proc/7509/task/7510/stat : 7510 (java) R 7504 7504 6894 0 -1 64 50032 0 1 0 8244 28 0 0 25 0 9 0 58313113 869294080 190231 996147200 134512640 134550932 4294955344 18446744073709551615 4127093052 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7511] ppid=7504 vsize=848920 CPUtime=40.65
/proc/7509/task/7511/stat : 7511 (java) S 7504 7504 6894 0 -1 64 139107 0 0 0 4008 57 0 0 16 0 9 0 58313114 869294080 190231 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7512] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7512/stat : 7512 (java) S 7504 7504 6894 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58313114 869294080 190231 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7513] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7513/stat : 7513 (java) S 7504 7504 6894 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58313114 869294080 190231 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7514] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7514/stat : 7514 (java) S 7504 7504 6894 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 58313117 869294080 190231 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7515] ppid=7504 vsize=848920 CPUtime=0.59
/proc/7509/task/7515/stat : 7515 (java) S 7504 7504 6894 0 -1 64 1752 0 0 0 58 1 0 0 16 0 9 0 58313120 869294080 190231 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7516] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7516/stat : 7516 (java) S 7504 7504 6894 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 58313120 869294080 190231 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7517] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7517/stat : 7517 (java) S 7504 7504 6894 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58313120 869294080 190231 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 123.99
Current children cumulated vsize (KiB) 854276
[startup+125.401 s]
/proc/loadavg: 2.06 2.05 2.03 3/91 7519
/proc/meminfo: memFree=467808/2055920 swapFree=4192812/4192956
[pid=7504] ppid=7502 vsize=5356 CPUtime=0
/proc/7504/stat : 7504 (concrete.sh) S 7502 7504 6894 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58313110 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7504/statm: 1339 244 201 169 0 50 0
[pid=7509] ppid=7504 vsize=848920 CPUtime=124.19
/proc/7509/stat : 7509 (java) S 7504 7504 6894 0 -1 0 191595 0 1 0 12331 88 0 0 18 0 9 0 58313112 869294080 190232 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/7509/statm: 212230 190232 2634 9 0 206708 0
[pid=7509/tid=7510] ppid=7504 vsize=848920 CPUtime=82.91
/proc/7509/task/7510/stat : 7510 (java) R 7504 7504 6894 0 -1 64 50033 0 1 0 8263 28 0 0 25 0 9 0 58313113 869294080 190232 996147200 134512640 134550932 4294955344 18446744073709551615 4127101798 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7511] ppid=7504 vsize=848920 CPUtime=40.66
/proc/7509/task/7511/stat : 7511 (java) S 7504 7504 6894 0 -1 64 139107 0 0 0 4009 57 0 0 16 0 9 0 58313114 869294080 190232 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7512] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7512/stat : 7512 (java) S 7504 7504 6894 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58313114 869294080 190232 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7513] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7513/stat : 7513 (java) S 7504 7504 6894 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58313114 869294080 190232 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7514] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7514/stat : 7514 (java) S 7504 7504 6894 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 58313117 869294080 190232 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7515] ppid=7504 vsize=848920 CPUtime=0.59
/proc/7509/task/7515/stat : 7515 (java) S 7504 7504 6894 0 -1 64 1753 0 0 0 58 1 0 0 15 0 9 0 58313120 869294080 190232 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7516] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7516/stat : 7516 (java) S 7504 7504 6894 0 -1 64 0 0 0 0 0 0 0 0 20 0 9 0 58313120 869294080 190232 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=7509/tid=7517] ppid=7504 vsize=848920 CPUtime=0
/proc/7509/task/7517/stat : 7517 (java) S 7504 7504 6894 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58313120 869294080 190232 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 124.19
Current children cumulated vsize (KiB) 854276
[startup+125.507 s]
/proc/loadavg: 2.06 2.05 2.03 3/91 7519
/proc/meminfo: memFree=467808/2055920 swapFree=4192812/4192956
[pid=7504] ppid=7502 vsize=5356 CPUtime=0
/proc/7504/stat : 7504 (concrete.sh) S 7502 7504 6894 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 58313110 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/7504/statm: 1339 244 201 169 0 50 0
[pid=7509] ppid=7504 vsize=0 CPUtime=124.23
/proc/7509/stat : 7509 (java) Z 7504 7504 6894 0 -1 12 191605 0 1 0 12333 90 0 0 16 0 2 0 58313112 0 0 996147200 0 0 0 0 0 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/7509/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 124.23
Current children cumulated vsize (KiB) 5356
Child status: 0
Real time (s): 125.599
CPU time (s): 124.34
CPU user time (s): 123.339
CPU system time (s): 1.00085
CPU usage (%): 98.998
Max. virtual memory (cumulated for all children) (KiB): 854276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 123.339
system time used= 1.00085
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192248
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= 6232
involuntary context switches= 9301
runsolver used 0.152976 second user time and 0.444932 second system time
The end
Begin job on node20 at 2009-07-16 04:47:45
IDJOB=2074841
IDBENCH=56145
IDSOLVER=736
FILE ID=node20/2074841-1247712465
PBS_JOBID= 9521396
Free space on /tmp= 66296 MiB
SOLVER NAME= Concrete DC 2009-06-10
BENCH NAME= CPAI08/csp/wordsPuzzle/normalized-crossword-m1-words-puzzle13.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-2074841-1247712465/watcher-2074841-1247712465 -o /tmp/evaluation-result-2074841-1247712465/solver-2074841-1247712465 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c -p cspfj.filter.DC2 -parameter cdc.addConstraints=BIN HOME/instance-2074841-1247712465.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= beb45b78395f6159303d082b4358ee4d
RANDOM SEED=1979939463
node20.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.236
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.236
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: 1221216 kB
Buffers: 85144 kB
Cached: 548616 kB
SwapCached: 0 kB
Active: 259416 kB
Inactive: 485168 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1221216 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1404 kB
Writeback: 0 kB
Mapped: 131260 kB
Slab: 75000 kB
Committed_AS: 617164 kB
PageTables: 2040 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= 66292 MiB
End job on node20 at 2009-07-16 04:49:51