70.75/71.79 c [ 71.370] WARNING : Could not free more memory in relations (concrete.relationconverter.RelationManager.strongOptimizeMemory)
71.34/72.36 c CPU-LOAD 13.34
71.34/72.36 c LOADED 128 V (26 E), 64 ExtensionConstraintDynamic, 608 PredicateConstraint, arity 12, 13.34 cpu
73.42/74.42 v 17 0 18 0 19 0 20 0 11 19 14 14 11 8 13 7 0 12 3 20 0 11 0 11 0 13 17 20 1 10 8 13 6 3 24 13 0 12 14 4 11 8 18 7 0 11 0 1 17 0 13 5 0 11 18 4 15 18 0 11 12 0 1 0 3 0 1 0 2 2 17 0 17 7 14 3 0 0 13 0 18 2 8 0 11 20 12 13 0 19 0 13 13 8 13 11 8 11 0 17 0 4 12 0 17 2 1 4 0 3 14 0 17 0 18 8 0 0 13 13 0 13 0 13 13 0 18 0
73.42/74.42 s SATISFIABLE
73.42/74.42 d NODES 195
73.42/74.42 d CHECKS 732670
73.42/74.43 c heuristic-cpu: 0.0
73.42/74.43 c prepro-constraint-ccks: 109331
73.42/74.43 c prepro-constraint-presenceccks: 456465
73.42/74.43 c prepro-cpu: 0.30999997
73.42/74.43 c prepro-matrix2d-ccks: 0
73.42/74.43 c prepro-matrix2d-presenceccks: 0
73.42/74.43 c prepro-removed: 163
73.42/74.43 c search-cpu: 1.5299999
73.42/74.43 c search-nps: 127.451
73.42/74.43 c total-assgn: 195
73.42/74.43 c total-constraint-ccks: 732670
73.42/74.43 c total-constraint-presence-ccks: 3388225
73.42/74.43 c total-cpu: 2.1699998
73.42/74.43 c total-matrix2d-ccks: 0
73.42/74.43 c total-matrix2d-presence-ccks: 0
73.42/74.43 c TOTAL-NODES 195
73.42/74.43 c TOTAL-CPU 2.1699998
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2076281-1247714128/watcher-2076281-1247714128 -o /tmp/evaluation-result-2076281-1247714128/solver-2076281-1247714128 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c HOME/instance-2076281-1247714128.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.03 2.10 2.04 4/81 17942
/proc/meminfo: memFree=476856/2055920 swapFree=4192812/4192956
[pid=17942] ppid=17940 vsize=18576 CPUtime=0
/proc/17942/stat : 17942 (runsolver) R 17940 17942 15459 0 -1 4194368 15 0 0 0 0 0 0 0 23 0 1 0 58480022 19021824 284 996147200 4194304 4302564 548682068512 18446744073709551615 245482712359 0 0 4096 24578 0 0 0 17 1 0 0
/proc/17942/statm: 4644 284 249 26 0 2626 0
[startup+0.0201511 s]
/proc/loadavg: 2.03 2.10 2.04 4/81 17942
/proc/meminfo: memFree=476856/2055920 swapFree=4192812/4192956
[pid=17942] ppid=17940 vsize=5356 CPUtime=0
/proc/17942/stat : 17942 (concrete.sh) S 17940 17942 15459 0 -1 4194304 341 291 0 0 0 0 0 0 24 0 1 0 58480022 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17942/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.105969 s]
/proc/loadavg: 2.03 2.10 2.04 4/81 17942
/proc/meminfo: memFree=476856/2055920 swapFree=4192812/4192956
[pid=17942] ppid=17940 vsize=5356 CPUtime=0
/proc/17942/stat : 17942 (concrete.sh) S 17940 17942 15459 0 -1 4194304 341 291 0 0 0 0 0 0 24 0 1 0 58480022 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17942/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.30299 s]
/proc/loadavg: 2.03 2.10 2.04 4/81 17942
/proc/meminfo: memFree=476856/2055920 swapFree=4192812/4192956
[pid=17942] ppid=17940 vsize=5356 CPUtime=0
/proc/17942/stat : 17942 (concrete.sh) S 17940 17942 15459 0 -1 4194304 341 291 0 0 0 0 0 0 24 0 1 0 58480022 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17942/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.702038 s]
/proc/loadavg: 2.03 2.10 2.04 4/81 17942
/proc/meminfo: memFree=476856/2055920 swapFree=4192812/4192956
[pid=17942] ppid=17940 vsize=5356 CPUtime=0
/proc/17942/stat : 17942 (concrete.sh) S 17940 17942 15459 0 -1 4194304 341 291 0 0 0 0 0 0 24 0 1 0 58480022 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17942/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50112 s]
/proc/loadavg: 2.03 2.10 2.04 4/91 17955
/proc/meminfo: memFree=461288/2055920 swapFree=4192812/4192956
[pid=17942] ppid=17940 vsize=5356 CPUtime=0
/proc/17942/stat : 17942 (concrete.sh) S 17940 17942 15459 0 -1 4194304 341 291 0 0 0 0 0 0 24 0 1 0 58480022 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17942/statm: 1339 244 201 169 0 50 0
[pid=17947] ppid=17942 vsize=848932 CPUtime=1.45
/proc/17947/stat : 17947 (java) S 17942 17942 15459 0 -1 0 7334 0 1 0 140 5 0 0 18 0 10 0 58480023 869306368 6359 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17947/statm: 212233 6359 2017 9 0 206711 0
[pid=17947/tid=17948] ppid=17942 vsize=848932 CPUtime=0.9
/proc/17947/task/17948/stat : 17948 (java) R 17942 17942 15459 0 -1 64 3978 0 1 0 88 2 0 0 20 0 10 0 58480024 869306368 6359 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17949] ppid=17942 vsize=848932 CPUtime=0.07
/proc/17947/task/17949/stat : 17949 (java) R 17942 17942 15459 0 -1 64 978 0 0 0 7 0 0 0 16 0 10 0 58480025 869306368 6359 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17950] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17950/stat : 17950 (java) S 17942 17942 15459 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58480025 869306368 6359 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17951] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17951/stat : 17951 (java) S 17942 17942 15459 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 58480025 869306368 6359 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17952] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17952/stat : 17952 (java) S 17942 17942 15459 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 58480028 869306368 6359 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17953] ppid=17942 vsize=848932 CPUtime=0.45
/proc/17947/task/17953/stat : 17953 (java) S 17942 17942 15459 0 -1 64 1677 0 0 0 44 1 0 0 15 0 10 0 58480031 869306368 6359 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17954] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17954/stat : 17954 (java) S 17942 17942 15459 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 58480031 869306368 6359 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17955] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17955/stat : 17955 (java) S 17942 17942 15459 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58480031 869306368 6359 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 854288
[startup+3.10229 s]
/proc/loadavg: 2.03 2.10 2.04 3/92 17956
/proc/meminfo: memFree=454624/2055920 swapFree=4192812/4192956
[pid=17942] ppid=17940 vsize=5356 CPUtime=0
/proc/17942/stat : 17942 (concrete.sh) S 17940 17942 15459 0 -1 4194304 341 291 0 0 0 0 0 0 24 0 1 0 58480022 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17942/statm: 1339 244 201 169 0 50 0
[pid=17947] ppid=17942 vsize=848932 CPUtime=3.04
/proc/17947/stat : 17947 (java) S 17942 17942 15459 0 -1 0 13645 0 1 0 293 11 0 0 18 0 10 0 58480023 869306368 12229 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17947/statm: 212233 12229 2632 9 0 206711 0
[pid=17947/tid=17948] ppid=17942 vsize=848932 CPUtime=1.62
/proc/17947/task/17948/stat : 17948 (java) R 17942 17942 15459 0 -1 64 4375 0 1 0 159 3 0 0 25 0 10 0 58480024 869306368 12229 996147200 134512640 134550932 4294955408 18446744073709551615 4127159310 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17949] ppid=17942 vsize=848932 CPUtime=0.84
/proc/17947/task/17949/stat : 17949 (java) S 17942 17942 15459 0 -1 64 6833 0 0 0 80 4 0 0 16 0 10 0 58480025 869306368 12229 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17950] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17950/stat : 17950 (java) S 17942 17942 15459 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58480025 869306368 12229 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17951] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17951/stat : 17951 (java) S 17942 17942 15459 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58480025 869306368 12229 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17952] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17952/stat : 17952 (java) S 17942 17942 15459 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 58480028 869306368 12229 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17953] ppid=17942 vsize=848932 CPUtime=0.54
/proc/17947/task/17953/stat : 17953 (java) S 17942 17942 15459 0 -1 64 1736 0 0 0 53 1 0 0 15 0 10 0 58480031 869306368 12229 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17954] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17954/stat : 17954 (java) S 17942 17942 15459 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 58480031 869306368 12229 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17955] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17955/stat : 17955 (java) S 17942 17942 15459 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58480031 869306368 12229 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17956] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17956/stat : 17956 (java) S 17942 17942 15459 0 -1 64 4 0 0 0 0 0 0 0 20 0 10 0 58480140 869306368 12229 996147200 134512640 134550932 4294955408 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) 854288
[startup+6.30261 s]
/proc/loadavg: 2.03 2.10 2.04 4/92 17956
/proc/meminfo: memFree=365088/2055920 swapFree=4192812/4192956
[pid=17942] ppid=17940 vsize=5356 CPUtime=0
/proc/17942/stat : 17942 (concrete.sh) S 17940 17942 15459 0 -1 4194304 341 291 0 0 0 0 0 0 24 0 1 0 58480022 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17942/statm: 1339 244 201 169 0 50 0
[pid=17947] ppid=17942 vsize=848932 CPUtime=6.2
/proc/17947/stat : 17947 (java) S 17942 17942 15459 0 -1 0 36223 0 1 0 599 21 0 0 18 0 10 0 58480023 869306368 34779 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17947/statm: 212233 34779 2632 9 0 206711 0
[pid=17947/tid=17948] ppid=17942 vsize=848932 CPUtime=3.05
/proc/17947/task/17948/stat : 17948 (java) R 17942 17942 15459 0 -1 64 10744 0 1 0 298 7 0 0 25 0 10 0 58480024 869306368 34779 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17949] ppid=17942 vsize=848932 CPUtime=2.57
/proc/17947/task/17949/stat : 17949 (java) R 17942 17942 15459 0 -1 64 23042 0 0 0 246 11 0 0 16 0 10 0 58480025 869306368 34779 996147200 134512640 134550932 4294955408 18446744073709551615 102709360 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17950] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17950/stat : 17950 (java) S 17942 17942 15459 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58480025 869306368 34779 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17951] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17951/stat : 17951 (java) S 17942 17942 15459 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58480025 869306368 34779 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17952] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17952/stat : 17952 (java) S 17942 17942 15459 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 58480028 869306368 34779 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17953] ppid=17942 vsize=848932 CPUtime=0.54
/proc/17947/task/17953/stat : 17953 (java) S 17942 17942 15459 0 -1 64 1736 0 0 0 53 1 0 0 15 0 10 0 58480031 869306368 34779 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17954] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17954/stat : 17954 (java) S 17942 17942 15459 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 58480031 869306368 34779 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17955] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17955/stat : 17955 (java) S 17942 17942 15459 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58480031 869306368 34779 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17956] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17956/stat : 17956 (java) S 17942 17942 15459 0 -1 64 4 0 0 0 0 0 0 0 20 0 10 0 58480140 869306368 34779 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 854288
[startup+12.7022 s]
/proc/loadavg: 2.18 2.13 2.05 3/92 17956
/proc/meminfo: memFree=157344/2055920 swapFree=4192812/4192956
[pid=17942] ppid=17940 vsize=5356 CPUtime=0
/proc/17942/stat : 17942 (concrete.sh) S 17940 17942 15459 0 -1 4194304 341 291 0 0 0 0 0 0 24 0 1 0 58480022 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17942/statm: 1339 244 201 169 0 50 0
[pid=17947] ppid=17942 vsize=848932 CPUtime=12.52
/proc/17947/stat : 17947 (java) S 17942 17942 15459 0 -1 0 88945 0 1 0 1211 41 0 0 18 0 10 0 58480023 869306368 87481 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17947/statm: 212233 87481 2632 9 0 206711 0
[pid=17947/tid=17948] ppid=17942 vsize=848932 CPUtime=6.16
/proc/17947/task/17948/stat : 17948 (java) R 17942 17942 15459 0 -1 64 19872 0 1 0 604 12 0 0 25 0 10 0 58480024 869306368 87481 996147200 134512640 134550932 4294955408 18446744073709551615 4127205335 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17949] ppid=17942 vsize=848932 CPUtime=5.8
/proc/17947/task/17949/stat : 17949 (java) S 17942 17942 15459 0 -1 64 66636 0 0 0 553 27 0 0 16 0 10 0 58480025 869306368 87481 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17950] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17950/stat : 17950 (java) S 17942 17942 15459 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58480025 869306368 87481 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17951] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17951/stat : 17951 (java) S 17942 17942 15459 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58480025 869306368 87481 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17952] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17952/stat : 17952 (java) S 17942 17942 15459 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 58480028 869306368 87481 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17953] ppid=17942 vsize=848932 CPUtime=0.54
/proc/17947/task/17953/stat : 17953 (java) S 17942 17942 15459 0 -1 64 1736 0 0 0 53 1 0 0 15 0 10 0 58480031 869306368 87481 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17954] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17954/stat : 17954 (java) S 17942 17942 15459 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 58480031 869306368 87481 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17955] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17955/stat : 17955 (java) S 17942 17942 15459 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58480031 869306368 87481 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17956] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17956/stat : 17956 (java) S 17942 17942 15459 0 -1 64 4 0 0 0 0 0 0 0 20 0 10 0 58480140 869306368 87481 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 854288
[startup+25.5026 s]
/proc/loadavg: 2.15 2.13 2.05 4/92 17956
/proc/meminfo: memFree=15648/2055920 swapFree=4192812/4192956
[pid=17942] ppid=17940 vsize=5356 CPUtime=0
/proc/17942/stat : 17942 (concrete.sh) S 17940 17942 15459 0 -1 4194304 341 291 0 0 0 0 0 0 24 0 1 0 58480022 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17942/statm: 1339 244 201 169 0 50 0
[pid=17947] ppid=17942 vsize=848932 CPUtime=25.08
/proc/17947/stat : 17947 (java) S 17942 17942 15459 0 -1 0 180987 0 1 0 2425 83 0 0 18 0 10 0 58480023 869306368 179508 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17947/statm: 212233 179508 2632 9 0 206711 0
[pid=17947/tid=17948] ppid=17942 vsize=848932 CPUtime=10.71
/proc/17947/task/17948/stat : 17948 (java) R 17942 17942 15459 0 -1 64 63906 0 1 0 1038 33 0 0 25 0 10 0 58480024 869306368 179508 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17949] ppid=17942 vsize=848932 CPUtime=13.8
/proc/17947/task/17949/stat : 17949 (java) R 17942 17942 15459 0 -1 64 114644 0 0 0 1333 47 0 0 16 0 10 0 58480025 869306368 179508 996147200 134512640 134550932 4294955408 18446744073709551615 103731827 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17950] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17950/stat : 17950 (java) S 17942 17942 15459 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58480025 869306368 179508 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17951] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17951/stat : 17951 (java) S 17942 17942 15459 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58480025 869306368 179508 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17952] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17952/stat : 17952 (java) S 17942 17942 15459 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 58480028 869306368 179508 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17953] ppid=17942 vsize=848932 CPUtime=0.54
/proc/17947/task/17953/stat : 17953 (java) S 17942 17942 15459 0 -1 64 1736 0 0 0 53 1 0 0 15 0 10 0 58480031 869306368 179508 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17954] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17954/stat : 17954 (java) S 17942 17942 15459 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 58480031 869306368 179508 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17955] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17955/stat : 17955 (java) S 17942 17942 15459 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58480031 869306368 179508 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17956] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17956/stat : 17956 (java) S 17942 17942 15459 0 -1 64 4 0 0 0 0 0 0 0 20 0 10 0 58480140 869306368 179508 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
################
# More data... #
################
[pid=17947/tid=17953] ppid=17942 vsize=848932 CPUtime=0.54
/proc/17947/task/17953/stat : 17953 (java) S 17942 17942 15459 0 -1 64 1736 0 0 0 53 1 0 0 15 0 10 0 58480031 869306368 190157 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17954] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17954/stat : 17954 (java) S 17942 17942 15459 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 58480031 869306368 190157 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17955] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17955/stat : 17955 (java) S 17942 17942 15459 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58480031 869306368 190157 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17956] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17956/stat : 17956 (java) S 17942 17942 15459 0 -1 64 4 0 0 0 0 0 0 0 20 0 10 0 58480140 869306368 190157 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.37
Current children cumulated vsize (KiB) 854288
Solver just ended. Dumping a history of the last processes samples
[startup+63.9025 s]
/proc/loadavg: 2.30 2.17 2.07 4/92 17956
/proc/meminfo: memFree=15584/2055920 swapFree=4192812/4192956
[pid=17942] ppid=17940 vsize=5356 CPUtime=0
/proc/17942/stat : 17942 (concrete.sh) S 17940 17942 15459 0 -1 4194304 341 291 0 0 0 0 0 0 24 0 1 0 58480022 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17942/statm: 1339 244 201 169 0 50 0
[pid=17947] ppid=17942 vsize=848932 CPUtime=63.03
/proc/17947/stat : 17947 (java) S 17942 17942 15459 0 -1 0 191645 0 1 0 6215 88 0 0 18 0 10 0 58480023 869306368 190157 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17947/statm: 212233 190157 2632 9 0 206711 0
[pid=17947/tid=17948] ppid=17942 vsize=848932 CPUtime=13.33
/proc/17947/task/17948/stat : 17948 (java) R 17942 17942 15459 0 -1 64 63915 0 1 0 1300 33 0 0 17 0 10 0 58480024 869306368 190157 996147200 134512640 134550932 4294955408 18446744073709551615 103211385 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17949] ppid=17942 vsize=848932 CPUtime=49.13
/proc/17947/task/17949/stat : 17949 (java) R 17942 17942 15459 0 -1 64 125293 0 0 0 4861 52 0 0 25 0 10 0 58480025 869306368 190157 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17950] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17950/stat : 17950 (java) S 17942 17942 15459 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58480025 869306368 190157 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17951] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17951/stat : 17951 (java) S 17942 17942 15459 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58480025 869306368 190157 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17952] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17952/stat : 17952 (java) S 17942 17942 15459 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 58480028 869306368 190157 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17953] ppid=17942 vsize=848932 CPUtime=0.54
/proc/17947/task/17953/stat : 17953 (java) S 17942 17942 15459 0 -1 64 1736 0 0 0 53 1 0 0 15 0 10 0 58480031 869306368 190157 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17954] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17954/stat : 17954 (java) S 17942 17942 15459 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 58480031 869306368 190157 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17955] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17955/stat : 17955 (java) S 17942 17942 15459 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58480031 869306368 190157 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17956] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17956/stat : 17956 (java) S 17942 17942 15459 0 -1 64 4 0 0 0 0 0 0 0 20 0 10 0 58480140 869306368 190157 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 63.03
Current children cumulated vsize (KiB) 854288
[startup+70.3021 s]
/proc/loadavg: 2.35 2.18 2.07 4/92 17956
/proc/meminfo: memFree=15520/2055920 swapFree=4192812/4192956
[pid=17942] ppid=17940 vsize=5356 CPUtime=0
/proc/17942/stat : 17942 (concrete.sh) S 17940 17942 15459 0 -1 4194304 341 291 0 0 0 0 0 0 24 0 1 0 58480022 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17942/statm: 1339 244 201 169 0 50 0
[pid=17947] ppid=17942 vsize=848932 CPUtime=69.36
/proc/17947/stat : 17947 (java) S 17942 17942 15459 0 -1 0 191645 0 1 0 6848 88 0 0 18 0 10 0 58480023 869306368 190157 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17947/statm: 212233 190157 2632 9 0 206711 0
[pid=17947/tid=17948] ppid=17942 vsize=848932 CPUtime=13.4
/proc/17947/task/17948/stat : 17948 (java) S 17942 17942 15459 0 -1 64 63915 0 1 0 1307 33 0 0 17 0 10 0 58480024 869306368 190157 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17949] ppid=17942 vsize=848932 CPUtime=55.39
/proc/17947/task/17949/stat : 17949 (java) R 17942 17942 15459 0 -1 64 125293 0 0 0 5487 52 0 0 25 0 10 0 58480025 869306368 190157 996147200 134512640 134550932 4294955408 18446744073709551615 104189893 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17950] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17950/stat : 17950 (java) S 17942 17942 15459 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58480025 869306368 190157 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17951] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17951/stat : 17951 (java) S 17942 17942 15459 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58480025 869306368 190157 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17952] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17952/stat : 17952 (java) S 17942 17942 15459 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 58480028 869306368 190157 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17953] ppid=17942 vsize=848932 CPUtime=0.54
/proc/17947/task/17953/stat : 17953 (java) S 17942 17942 15459 0 -1 64 1736 0 0 0 53 1 0 0 15 0 10 0 58480031 869306368 190157 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17954] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17954/stat : 17954 (java) S 17942 17942 15459 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 58480031 869306368 190157 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17955] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17955/stat : 17955 (java) S 17942 17942 15459 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58480031 869306368 190157 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17956] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17956/stat : 17956 (java) S 17942 17942 15459 0 -1 64 4 0 0 0 0 0 0 0 20 0 10 0 58480140 869306368 190157 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 69.36
Current children cumulated vsize (KiB) 854288
[startup+71.9023 s]
/proc/loadavg: 2.41 2.20 2.08 3/92 17956
/proc/meminfo: memFree=15520/2055920 swapFree=4192812/4192956
[pid=17942] ppid=17940 vsize=5356 CPUtime=0
/proc/17942/stat : 17942 (concrete.sh) S 17940 17942 15459 0 -1 4194304 341 291 0 0 0 0 0 0 24 0 1 0 58480022 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17942/statm: 1339 244 201 169 0 50 0
[pid=17947] ppid=17942 vsize=848932 CPUtime=70.95
/proc/17947/stat : 17947 (java) S 17942 17942 15459 0 -1 0 191686 0 1 0 7007 88 0 0 18 0 10 0 58480023 869306368 190195 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17947/statm: 212233 190195 2633 9 0 206711 0
[pid=17947/tid=17948] ppid=17942 vsize=848932 CPUtime=13.5
/proc/17947/task/17948/stat : 17948 (java) R 17942 17942 15459 0 -1 64 63943 0 1 0 1317 33 0 0 17 0 10 0 58480024 869306368 190195 996147200 134512640 134550932 4294955408 18446744073709551615 4125190519 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17949] ppid=17942 vsize=848932 CPUtime=56.85
/proc/17947/task/17949/stat : 17949 (java) S 17942 17942 15459 0 -1 64 125293 0 0 0 5633 52 0 0 16 0 10 0 58480025 869306368 190195 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17950] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17950/stat : 17950 (java) S 17942 17942 15459 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58480025 869306368 190195 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17951] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17951/stat : 17951 (java) S 17942 17942 15459 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58480025 869306368 190195 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17952] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17952/stat : 17952 (java) S 17942 17942 15459 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 58480028 869306368 190195 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17953] ppid=17942 vsize=848932 CPUtime=0.56
/proc/17947/task/17953/stat : 17953 (java) S 17942 17942 15459 0 -1 64 1749 0 0 0 55 1 0 0 16 0 10 0 58480031 869306368 190195 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17954] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17954/stat : 17954 (java) S 17942 17942 15459 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 58480031 869306368 190195 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17955] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17955/stat : 17955 (java) S 17942 17942 15459 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58480031 869306368 190195 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17956] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17956/stat : 17956 (java) S 17942 17942 15459 0 -1 64 4 0 0 0 0 0 0 0 20 0 10 0 58480140 869306368 190195 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 70.95
Current children cumulated vsize (KiB) 854288
[startup+73.5024 s]
/proc/loadavg: 2.41 2.20 2.08 4/92 17957
/proc/meminfo: memFree=86808/2055920 swapFree=4192812/4192956
[pid=17942] ppid=17940 vsize=5356 CPUtime=0
/proc/17942/stat : 17942 (concrete.sh) S 17940 17942 15459 0 -1 4194304 341 291 0 0 0 0 0 0 24 0 1 0 58480022 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17942/statm: 1339 244 201 169 0 50 0
[pid=17947] ppid=17942 vsize=848932 CPUtime=72.53
/proc/17947/stat : 17947 (java) S 17942 17942 15459 0 -1 0 191757 0 1 0 7163 90 0 0 18 0 9 0 58480023 869306368 172328 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17947/statm: 212233 172328 2634 9 0 206711 0
[pid=17947/tid=17948] ppid=17942 vsize=848932 CPUtime=14.57
/proc/17947/task/17948/stat : 17948 (java) R 17942 17942 15459 0 -1 64 63974 0 1 0 1424 33 0 0 25 0 9 0 58480024 869306368 172328 996147200 134512640 134550932 4294955408 18446744073709551615 4127294069 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17949] ppid=17942 vsize=848932 CPUtime=57.3
/proc/17947/task/17949/stat : 17949 (java) S 17942 17942 15459 0 -1 64 125296 0 0 0 5677 53 0 0 16 0 9 0 58480025 869306368 172328 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17950] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17950/stat : 17950 (java) S 17942 17942 15459 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58480025 869306368 172328 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17951] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17951/stat : 17951 (java) S 17942 17942 15459 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58480025 869306368 172328 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17952] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17952/stat : 17952 (java) S 17942 17942 15459 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 58480028 869306368 172328 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17953] ppid=17942 vsize=848932 CPUtime=0.62
/proc/17947/task/17953/stat : 17953 (java) S 17942 17942 15459 0 -1 64 1784 0 0 0 60 2 0 0 15 0 9 0 58480031 869306368 172328 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17954] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17954/stat : 17954 (java) S 17942 17942 15459 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 58480031 869306368 172328 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17955] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17955/stat : 17955 (java) S 17942 17942 15459 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58480031 869306368 172328 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 72.53
Current children cumulated vsize (KiB) 854288
[startup+74.3025 s]
/proc/loadavg: 2.41 2.20 2.08 4/91 17957
/proc/meminfo: memFree=86808/2055920 swapFree=4192812/4192956
[pid=17942] ppid=17940 vsize=5356 CPUtime=0
/proc/17942/stat : 17942 (concrete.sh) S 17940 17942 15459 0 -1 4194304 341 291 0 0 0 0 0 0 24 0 1 0 58480022 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17942/statm: 1339 244 201 169 0 50 0
[pid=17947] ppid=17942 vsize=848932 CPUtime=73.32
/proc/17947/stat : 17947 (java) S 17942 17942 15459 0 -1 0 191766 0 1 0 7242 90 0 0 18 0 9 0 58480023 869306368 172334 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17947/statm: 212233 172334 2634 9 0 206711 0
[pid=17947/tid=17948] ppid=17942 vsize=848932 CPUtime=15.31
/proc/17947/task/17948/stat : 17948 (java) R 17942 17942 15459 0 -1 64 63977 0 1 0 1498 33 0 0 25 0 9 0 58480024 869306368 172334 996147200 134512640 134550932 4294955408 18446744073709551615 4127306372 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17949] ppid=17942 vsize=848932 CPUtime=57.33
/proc/17947/task/17949/stat : 17949 (java) S 17942 17942 15459 0 -1 64 125296 0 0 0 5680 53 0 0 16 0 9 0 58480025 869306368 172334 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17950] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17950/stat : 17950 (java) S 17942 17942 15459 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58480025 869306368 172334 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17951] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17951/stat : 17951 (java) S 17942 17942 15459 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58480025 869306368 172334 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17952] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17952/stat : 17952 (java) S 17942 17942 15459 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 58480028 869306368 172334 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17953] ppid=17942 vsize=848932 CPUtime=0.64
/proc/17947/task/17953/stat : 17953 (java) S 17942 17942 15459 0 -1 64 1790 0 0 0 62 2 0 0 15 0 9 0 58480031 869306368 172334 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17954] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17954/stat : 17954 (java) S 17942 17942 15459 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 58480031 869306368 172334 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17947/tid=17955] ppid=17942 vsize=848932 CPUtime=0
/proc/17947/task/17955/stat : 17955 (java) S 17942 17942 15459 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58480031 869306368 172334 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 73.32
Current children cumulated vsize (KiB) 854288
[startup+74.5031 s]
/proc/loadavg: 2.41 2.20 2.08 4/91 17957
/proc/meminfo: memFree=86808/2055920 swapFree=4192812/4192956
[pid=17942] ppid=17940 vsize=5356 CPUtime=0
/proc/17942/stat : 17942 (concrete.sh) S 17940 17942 15459 0 -1 4194304 341 291 0 0 0 0 0 0 24 0 1 0 58480022 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 245482709828 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17942/statm: 1339 244 201 169 0 50 0
[pid=17947] ppid=17942 vsize=0 CPUtime=73.5
/proc/17947/stat : 17947 (java) Z 17942 17942 15459 0 -1 12 191776 0 1 0 7254 96 0 0 16 0 2 0 58480023 0 0 996147200 0 0 0 0 0 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17947/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 73.5
Current children cumulated vsize (KiB) 5356
Child status: 0
Real time (s): 74.5459
CPU time (s): 73.5658
CPU user time (s): 72.554
CPU system time (s): 1.01185
CPU usage (%): 98.6852
Max. virtual memory (cumulated for all children) (KiB): 854288
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 72.554
system time used= 1.01185
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192418
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= 5292
involuntary context switches= 7229
runsolver used 0.106983 second user time and 0.272958 second system time
The end
Begin job on node17 at 2009-07-16 05:15:28
IDJOB=2076281
IDBENCH=56400
IDSOLVER=735
FILE ID=node17/2076281-1247714128
PBS_JOBID= 9521314
Free space on /tmp= 66348 MiB
SOLVER NAME= Concrete 2009-06-10
BENCH NAME= CPAI08/csp/lexPuzzle/normalized-crossword-m1-lex-puzzle21.xml
COMMAND LINE= HOME/concrete.sh -c BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2076281-1247714128/watcher-2076281-1247714128 -o /tmp/evaluation-result-2076281-1247714128/solver-2076281-1247714128 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c HOME/instance-2076281-1247714128.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 54e0d6737af3447f12513dae4ecf7dbf
RANDOM SEED=1846340478
node17.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.213
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.213
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: 477336 kB
Buffers: 95660 kB
Cached: 638264 kB
SwapCached: 0 kB
Active: 851108 kB
Inactive: 645932 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 477336 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1708 kB
Writeback: 0 kB
Mapped: 783512 kB
Slab: 65128 kB
Committed_AS: 1296128 kB
PageTables: 3412 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= 66348 MiB
End job on node17 at 2009-07-16 05:16:42