57.08/57.55 c [ 57.162] WARNING : Could not free more memory in relations (concrete.relationconverter.RelationManager.strongOptimizeMemory)
57.58/58.07 c CPU-LOAD 12.35
57.58/58.07 c LOADED 187 V (26 E), 80 ExtensionConstraintDynamic, 833 PredicateConstraint, arity 20, 12.35 cpu
81.07/81.50 v 12 14 0 19 18 0 20 2 4 3 4 12 14 0 1 11 4 0 0 17 14 13 4 3 8 19 17 4 4 11 15 0 8 13 19 11 4 13 19 2 24 2 11 14 15 18 18 4 6 20 13 3 14 19 17 24 1 14 17 0 23 21 8 19 0 4 2 20 17 11 4 8 11 0 14 17 0 11 15 14 17 19 0 11 12 0 13 12 0 11 4 19 14 13 8 2 1 0 1 4 8 19 14 0 0 17 7 20 18 4 6 0 13 19 4 13 14 17 3 0 12 1 17 4 13 19 18 2 17 8 12 1 0 13 3 0 20 15 7 8 13 11 4 6 8 1 11 4 20 18 18 17 21 0 11 4 19 4 24 4 3 15 8 15 4 0 19 14 13 4 2 17 0 6 4 0 18 24 11 4 6 0 11 4 3 3 24
81.07/81.50 s SATISFIABLE
81.07/81.50 d NODES 795
81.07/81.50 d CHECKS 10478743
81.07/81.50 c heuristic-cpu: 0.0
81.07/81.50 c prepro-constraint-ccks: 174629
81.07/81.50 c prepro-constraint-presenceccks: 673588
81.07/81.50 c prepro-cpu: 0.47000003
81.07/81.50 c prepro-matrix2d-ccks: 0
81.07/81.50 c prepro-matrix2d-presenceccks: 0
81.07/81.50 c prepro-removed: 226
81.07/81.50 c search-cpu: 22.34
81.07/81.50 c search-nps: 35.58639
81.07/81.50 c total-assgn: 795
81.07/81.50 c total-constraint-ccks: 10478743
81.07/81.50 c total-constraint-presence-ccks: 35671460
81.07/81.50 c total-cpu: 23.0
81.07/81.50 c total-matrix2d-ccks: 0
81.07/81.50 c total-matrix2d-presence-ccks: 0
81.07/81.50 c TOTAL-NODES 795
81.07/81.50 c TOTAL-CPU 23.0
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2076369-1247714142/watcher-2076369-1247714142 -o /tmp/evaluation-result-2076369-1247714142/solver-2076369-1247714142 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c HOME/instance-2076369-1247714142.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.99 2.00 2.00 4/81 15235
/proc/meminfo: memFree=1466136/2055920 swapFree=4192812/4192956
[pid=15235] ppid=15233 vsize=18576 CPUtime=0
/proc/15235/stat : 15235 (runsolver) R 15233 15235 13226 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 58480886 19021824 284 996147200 4194304 4302564 548682068512 18446744073709551615 255236566311 0 0 4096 24578 0 0 0 17 1 0 0
/proc/15235/statm: 4644 284 249 26 0 2626 0
[startup+0.023664 s]
/proc/loadavg: 1.99 2.00 2.00 4/81 15235
/proc/meminfo: memFree=1466136/2055920 swapFree=4192812/4192956
[pid=15235] ppid=15233 vsize=5356 CPUtime=0
/proc/15235/stat : 15235 (concrete.sh) S 15233 15235 13226 0 -1 4194304 341 291 0 0 0 0 0 0 19 0 1 0 58480886 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15235/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102667 s]
/proc/loadavg: 1.99 2.00 2.00 4/81 15235
/proc/meminfo: memFree=1466136/2055920 swapFree=4192812/4192956
[pid=15235] ppid=15233 vsize=5356 CPUtime=0
/proc/15235/stat : 15235 (concrete.sh) S 15233 15235 13226 0 -1 4194304 341 291 0 0 0 0 0 0 19 0 1 0 58480886 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15235/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302688 s]
/proc/loadavg: 1.99 2.00 2.00 4/81 15235
/proc/meminfo: memFree=1466136/2055920 swapFree=4192812/4192956
[pid=15235] ppid=15233 vsize=5356 CPUtime=0
/proc/15235/stat : 15235 (concrete.sh) S 15233 15235 13226 0 -1 4194304 341 291 0 0 0 0 0 0 19 0 1 0 58480886 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15235/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.70273 s]
/proc/loadavg: 1.99 2.00 2.00 4/81 15235
/proc/meminfo: memFree=1466136/2055920 swapFree=4192812/4192956
[pid=15235] ppid=15233 vsize=5356 CPUtime=0
/proc/15235/stat : 15235 (concrete.sh) S 15233 15235 13226 0 -1 4194304 341 291 0 0 0 0 0 0 19 0 1 0 58480886 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15235/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50283 s]
/proc/loadavg: 1.99 2.00 2.00 4/91 15248
/proc/meminfo: memFree=1448072/2055920 swapFree=4192812/4192956
[pid=15235] ppid=15233 vsize=5356 CPUtime=0
/proc/15235/stat : 15235 (concrete.sh) S 15233 15235 13226 0 -1 4194304 341 291 0 0 0 0 0 0 19 0 1 0 58480886 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15235/statm: 1339 244 201 169 0 50 0
[pid=15240] ppid=15235 vsize=848860 CPUtime=1.46
/proc/15240/stat : 15240 (java) S 15235 15235 13226 0 -1 0 8226 0 1 0 140 6 0 0 20 0 10 0 58480887 869232640 7273 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/15240/statm: 212215 7273 2632 9 0 206693 0
[pid=15240/tid=15241] ppid=15235 vsize=848860 CPUtime=0.89
/proc/15240/task/15241/stat : 15241 (java) R 15235 15235 13226 0 -1 64 3864 0 1 0 87 2 0 0 25 0 10 0 58480888 869232640 7273 996147200 134512640 134550932 4294955408 18446744073709551615 4126871335 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15242] ppid=15235 vsize=848860 CPUtime=0.11
/proc/15240/task/15242/stat : 15242 (java) S 15235 15235 13226 0 -1 64 2148 0 0 0 10 1 0 0 16 0 10 0 58480889 869232640 7273 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15243] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15243/stat : 15243 (java) S 15235 15235 13226 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58480890 869232640 7273 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15244] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15244/stat : 15244 (java) S 15235 15235 13226 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58480890 869232640 7273 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15245] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15245/stat : 15245 (java) S 15235 15235 13226 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 58480892 869232640 7273 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15246] ppid=15235 vsize=848860 CPUtime=0.43
/proc/15240/task/15246/stat : 15246 (java) S 15235 15235 13226 0 -1 64 1512 0 0 0 42 1 0 0 16 0 10 0 58480895 869232640 7273 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15247] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15247/stat : 15247 (java) S 15235 15235 13226 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 58480895 869232640 7273 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15248] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15248/stat : 15248 (java) S 15235 15235 13226 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58480895 869232640 7273 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 854216
[startup+3.10199 s]
/proc/loadavg: 1.99 2.00 2.00 3/92 15249
/proc/meminfo: memFree=1445696/2055920 swapFree=4192812/4192956
[pid=15235] ppid=15233 vsize=5356 CPUtime=0
/proc/15235/stat : 15235 (concrete.sh) S 15233 15235 13226 0 -1 4194304 341 291 0 0 0 0 0 0 19 0 1 0 58480886 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15235/statm: 1339 244 201 169 0 50 0
[pid=15240] ppid=15235 vsize=848860 CPUtime=3.05
/proc/15240/stat : 15240 (java) S 15235 15235 13226 0 -1 0 15349 0 1 0 295 10 0 0 20 0 10 0 58480887 869232640 14270 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/15240/statm: 212215 14270 2632 9 0 206693 0
[pid=15240/tid=15241] ppid=15235 vsize=848860 CPUtime=1.67
/proc/15240/task/15241/stat : 15241 (java) R 15235 15235 13226 0 -1 64 4276 0 1 0 164 3 0 0 25 0 10 0 58480888 869232640 14270 996147200 134512640 134550932 4294955408 18446744073709551615 4127290095 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15242] ppid=15235 vsize=848860 CPUtime=0.78
/proc/15240/task/15242/stat : 15242 (java) S 15235 15235 13226 0 -1 64 8776 0 0 0 75 3 0 0 16 0 10 0 58480889 869232640 14270 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15243] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15243/stat : 15243 (java) S 15235 15235 13226 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58480890 869232640 14270 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15244] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15244/stat : 15244 (java) S 15235 15235 13226 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58480890 869232640 14270 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15245] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15245/stat : 15245 (java) S 15235 15235 13226 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 58480892 869232640 14270 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15246] ppid=15235 vsize=848860 CPUtime=0.56
/proc/15240/task/15246/stat : 15246 (java) S 15235 15235 13226 0 -1 64 1595 0 0 0 54 2 0 0 15 0 10 0 58480895 869232640 14270 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15247] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15247/stat : 15247 (java) S 15235 15235 13226 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 58480895 869232640 14270 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15248] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15248/stat : 15248 (java) S 15235 15235 13226 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58480895 869232640 14270 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15249] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15249/stat : 15249 (java) S 15235 15235 13226 0 -1 64 4 0 0 0 0 0 0 0 24 0 10 0 58481012 869232640 14270 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 854216
[startup+6.30533 s]
/proc/loadavg: 1.99 2.00 2.00 4/92 15249
/proc/meminfo: memFree=1335744/2055920 swapFree=4192812/4192956
[pid=15235] ppid=15233 vsize=5356 CPUtime=0
/proc/15235/stat : 15235 (concrete.sh) S 15233 15235 13226 0 -1 4194304 341 291 0 0 0 0 0 0 19 0 1 0 58480886 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15235/statm: 1339 244 201 169 0 50 0
[pid=15240] ppid=15235 vsize=848860 CPUtime=6.24
/proc/15240/stat : 15240 (java) S 15235 15235 13226 0 -1 0 42265 0 1 0 603 21 0 0 20 0 10 0 58480887 869232640 41157 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/15240/statm: 212215 41157 2632 9 0 206693 0
[pid=15240/tid=15241] ppid=15235 vsize=848860 CPUtime=3.16
/proc/15240/task/15241/stat : 15241 (java) R 15235 15235 13226 0 -1 64 9211 0 1 0 310 6 0 0 25 0 10 0 58480888 869232640 41157 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15242] ppid=15235 vsize=848860 CPUtime=2.5
/proc/15240/task/15242/stat : 15242 (java) R 15235 15235 13226 0 -1 64 30757 0 0 0 238 12 0 0 15 0 10 0 58480889 869232640 41157 996147200 134512640 134550932 4294955408 18446744073709551615 102709373 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15243] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15243/stat : 15243 (java) S 15235 15235 13226 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58480890 869232640 41157 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15244] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15244/stat : 15244 (java) S 15235 15235 13226 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58480890 869232640 41157 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15245] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15245/stat : 15245 (java) S 15235 15235 13226 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 58480892 869232640 41157 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15246] ppid=15235 vsize=848860 CPUtime=0.56
/proc/15240/task/15246/stat : 15246 (java) S 15235 15235 13226 0 -1 64 1595 0 0 0 54 2 0 0 15 0 10 0 58480895 869232640 41157 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15247] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15247/stat : 15247 (java) S 15235 15235 13226 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 58480895 869232640 41157 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15248] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15248/stat : 15248 (java) S 15235 15235 13226 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58480895 869232640 41157 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15249] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15249/stat : 15249 (java) S 15235 15235 13226 0 -1 64 4 0 0 0 0 0 0 0 24 0 10 0 58481012 869232640 41157 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 854216
[startup+12.702 s]
/proc/loadavg: 2.07 2.02 2.00 3/92 15249
/proc/meminfo: memFree=1132224/2055920 swapFree=4192812/4192956
[pid=15235] ppid=15233 vsize=5356 CPUtime=0
/proc/15235/stat : 15235 (concrete.sh) S 15233 15235 13226 0 -1 4194304 341 291 0 0 0 0 0 0 19 0 1 0 58480886 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15235/statm: 1339 244 201 169 0 50 0
[pid=15240] ppid=15235 vsize=848860 CPUtime=12.6
/proc/15240/stat : 15240 (java) S 15235 15235 13226 0 -1 0 99479 0 1 0 1216 44 0 0 20 0 10 0 58480887 869232640 98355 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/15240/statm: 212215 98355 2632 9 0 206693 0
[pid=15240/tid=15241] ppid=15235 vsize=848860 CPUtime=6.05
/proc/15240/task/15241/stat : 15241 (java) R 15235 15235 13226 0 -1 64 29721 0 1 0 591 14 0 0 25 0 10 0 58480888 869232640 98355 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15242] ppid=15235 vsize=848860 CPUtime=5.97
/proc/15240/task/15242/stat : 15242 (java) R 15235 15235 13226 0 -1 64 67461 0 0 0 570 27 0 0 16 0 10 0 58480889 869232640 98355 996147200 134512640 134550932 4294955408 18446744073709551615 103826315 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15243] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15243/stat : 15243 (java) S 15235 15235 13226 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58480890 869232640 98355 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15244] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15244/stat : 15244 (java) S 15235 15235 13226 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58480890 869232640 98355 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15245] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15245/stat : 15245 (java) S 15235 15235 13226 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 58480892 869232640 98355 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15246] ppid=15235 vsize=848860 CPUtime=0.56
/proc/15240/task/15246/stat : 15246 (java) S 15235 15235 13226 0 -1 64 1595 0 0 0 54 2 0 0 15 0 10 0 58480895 869232640 98355 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15247] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15247/stat : 15247 (java) S 15235 15235 13226 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 58480895 869232640 98355 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15248] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15248/stat : 15248 (java) S 15235 15235 13226 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58480895 869232640 98355 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15249] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15249/stat : 15249 (java) S 15235 15235 13226 0 -1 64 4 0 0 0 0 0 0 0 24 0 10 0 58481012 869232640 98355 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 854216
[startup+25.5024 s]
/proc/loadavg: 2.29 2.07 2.02 4/92 15249
/proc/meminfo: memFree=742720/2055920 swapFree=4192812/4192956
[pid=15235] ppid=15233 vsize=5356 CPUtime=0
/proc/15235/stat : 15235 (concrete.sh) S 15233 15235 13226 0 -1 4194304 341 291 0 0 0 0 0 0 19 0 1 0 58480886 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15235/statm: 1339 244 201 169 0 50 0
[pid=15240] ppid=15235 vsize=848860 CPUtime=25.33
/proc/15240/stat : 15240 (java) S 15235 15235 13226 0 -1 0 184061 0 1 0 2457 76 0 0 20 0 10 0 58480887 869232640 182921 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/15240/statm: 212215 182921 2632 9 0 206693 0
[pid=15240/tid=15241] ppid=15235 vsize=848860 CPUtime=10.6
/proc/15240/task/15241/stat : 15241 (java) R 15235 15235 13226 0 -1 64 39215 0 1 0 1042 18 0 0 25 0 10 0 58480888 869232640 182921 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15242] ppid=15235 vsize=848860 CPUtime=14.15
/proc/15240/task/15242/stat : 15242 (java) R 15235 15235 13226 0 -1 64 142549 0 0 0 1360 55 0 0 16 0 10 0 58480889 869232640 182921 996147200 134512640 134550932 4294955408 18446744073709551615 103731827 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15243] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15243/stat : 15243 (java) S 15235 15235 13226 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 58480890 869232640 182921 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15244] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15244/stat : 15244 (java) S 15235 15235 13226 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 58480890 869232640 182921 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15245] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15245/stat : 15245 (java) S 15235 15235 13226 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 58480892 869232640 182921 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15246] ppid=15235 vsize=848860 CPUtime=0.56
/proc/15240/task/15246/stat : 15246 (java) S 15235 15235 13226 0 -1 64 1595 0 0 0 54 2 0 0 15 0 10 0 58480895 869232640 182921 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15247] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15247/stat : 15247 (java) S 15235 15235 13226 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 58480895 869232640 182921 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15248] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15248/stat : 15248 (java) S 15235 15235 13226 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 58480895 869232640 182921 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15249] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15249/stat : 15249 (java) S 15235 15235 13226 0 -1 64 4 0 0 0 0 0 0 0 24 0 10 0 58481012 869232640 182921 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
################
# More data... #
################
[pid=15240/tid=15241] ppid=15235 vsize=848860 CPUtime=24.4
/proc/15240/task/15241/stat : 15241 (java) R 15235 15235 13226 0 -1 64 39292 0 1 0 2421 19 0 0 25 0 9 0 58480888 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 103211136 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15240/tid=15242] ppid=15235 vsize=848860 CPUtime=44.78
/proc/15240/task/15242/stat : 15242 (java) S 15235 15235 13226 0 -1 64 149807 0 0 0 4418 60 0 0 16 0 9 0 58480889 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=15240/tid=15243] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15243/stat : 15243 (java) S 15235 15235 13226 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58480890 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15240/tid=15244] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15244/stat : 15244 (java) S 15235 15235 13226 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58480890 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15240/tid=15245] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15245/stat : 15245 (java) S 15235 15235 13226 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 58480892 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15246] ppid=15235 vsize=848860 CPUtime=0.67
/proc/15240/task/15246/stat : 15246 (java) S 15235 15235 13226 0 -1 64 1665 0 0 0 65 2 0 0 16 0 9 0 58480895 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15240/tid=15247] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15247/stat : 15247 (java) S 15235 15235 13226 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 58480895 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15248] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15248/stat : 15248 (java) S 15235 15235 13226 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58480895 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 69.88
Current children cumulated vsize (KiB) 854216
[startup+76.7029 s]
/proc/loadavg: 2.40 2.14 2.05 3/92 15291
/proc/meminfo: memFree=71280/2055920 swapFree=4192812/4192956
[pid=15235] ppid=15233 vsize=5356 CPUtime=0
/proc/15235/stat : 15235 (concrete.sh) S 15233 15235 13226 0 -1 4194304 341 291 0 0 0 0 0 0 19 0 1 0 58480886 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15235/statm: 1339 244 201 169 0 50 0
[pid=15240] ppid=15235 vsize=848860 CPUtime=76.28
/proc/15240/stat : 15240 (java) S 15235 15235 13226 0 -1 0 191474 0 1 0 7545 83 0 0 20 0 9 0 58480887 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/15240/statm: 212215 172631 2636 9 0 206693 0
[pid=15240/tid=15241] ppid=15235 vsize=848860 CPUtime=30.69
/proc/15240/task/15241/stat : 15241 (java) R 15235 15235 13226 0 -1 64 39298 0 1 0 3050 19 0 0 25 0 9 0 58480888 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4127418203 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15240/tid=15242] ppid=15235 vsize=848860 CPUtime=44.88
/proc/15240/task/15242/stat : 15242 (java) S 15235 15235 13226 0 -1 64 149807 0 0 0 4428 60 0 0 16 0 9 0 58480889 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=15240/tid=15243] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15243/stat : 15243 (java) S 15235 15235 13226 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58480890 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15240/tid=15244] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15244/stat : 15244 (java) S 15235 15235 13226 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58480890 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15240/tid=15245] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15245/stat : 15245 (java) S 15235 15235 13226 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 58480892 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15246] ppid=15235 vsize=848860 CPUtime=0.67
/proc/15240/task/15246/stat : 15246 (java) S 15235 15235 13226 0 -1 64 1665 0 0 0 65 2 0 0 16 0 9 0 58480895 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15240/tid=15247] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15247/stat : 15247 (java) S 15235 15235 13226 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 58480895 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15248] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15248/stat : 15248 (java) S 15235 15235 13226 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58480895 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 76.28
Current children cumulated vsize (KiB) 854216
[startup+79.9012 s]
/proc/loadavg: 2.40 2.14 2.05 3/92 15291
/proc/meminfo: memFree=71280/2055920 swapFree=4192812/4192956
[pid=15235] ppid=15233 vsize=5356 CPUtime=0
/proc/15235/stat : 15235 (concrete.sh) S 15233 15235 13226 0 -1 4194304 341 291 0 0 0 0 0 0 19 0 1 0 58480886 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15235/statm: 1339 244 201 169 0 50 0
[pid=15240] ppid=15235 vsize=848860 CPUtime=79.47
/proc/15240/stat : 15240 (java) S 15235 15235 13226 0 -1 0 191477 0 1 0 7864 83 0 0 20 0 9 0 58480887 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/15240/statm: 212215 172631 2636 9 0 206693 0
[pid=15240/tid=15241] ppid=15235 vsize=848860 CPUtime=33.83
/proc/15240/task/15241/stat : 15241 (java) R 15235 15235 13226 0 -1 64 39301 0 1 0 3364 19 0 0 25 0 9 0 58480888 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 102094001 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15240/tid=15242] ppid=15235 vsize=848860 CPUtime=44.94
/proc/15240/task/15242/stat : 15242 (java) S 15235 15235 13226 0 -1 64 149807 0 0 0 4434 60 0 0 17 0 9 0 58480889 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=15240/tid=15243] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15243/stat : 15243 (java) S 15235 15235 13226 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58480890 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15240/tid=15244] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15244/stat : 15244 (java) S 15235 15235 13226 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58480890 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15240/tid=15245] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15245/stat : 15245 (java) S 15235 15235 13226 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 58480892 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15246] ppid=15235 vsize=848860 CPUtime=0.67
/proc/15240/task/15246/stat : 15246 (java) S 15235 15235 13226 0 -1 64 1665 0 0 0 65 2 0 0 16 0 9 0 58480895 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15240/tid=15247] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15247/stat : 15247 (java) S 15235 15235 13226 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 58480895 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15248] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15248/stat : 15248 (java) S 15235 15235 13226 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58480895 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 79.47
Current children cumulated vsize (KiB) 854216
[startup+80.7013 s]
/proc/loadavg: 2.40 2.14 2.05 3/92 15291
/proc/meminfo: memFree=71280/2055920 swapFree=4192812/4192956
[pid=15235] ppid=15233 vsize=5356 CPUtime=0
/proc/15235/stat : 15235 (concrete.sh) S 15233 15235 13226 0 -1 4194304 341 291 0 0 0 0 0 0 19 0 1 0 58480886 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15235/statm: 1339 244 201 169 0 50 0
[pid=15240] ppid=15235 vsize=848860 CPUtime=80.27
/proc/15240/stat : 15240 (java) S 15235 15235 13226 0 -1 0 191478 0 1 0 7944 83 0 0 20 0 9 0 58480887 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/15240/statm: 212215 172631 2636 9 0 206693 0
[pid=15240/tid=15241] ppid=15235 vsize=848860 CPUtime=34.61
/proc/15240/task/15241/stat : 15241 (java) R 15235 15235 13226 0 -1 64 39302 0 1 0 3442 19 0 0 25 0 9 0 58480888 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 103201721 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15240/tid=15242] ppid=15235 vsize=848860 CPUtime=44.95
/proc/15240/task/15242/stat : 15242 (java) S 15235 15235 13226 0 -1 64 149807 0 0 0 4435 60 0 0 17 0 9 0 58480889 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=15240/tid=15243] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15243/stat : 15243 (java) S 15235 15235 13226 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58480890 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15240/tid=15244] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15244/stat : 15244 (java) S 15235 15235 13226 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58480890 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15240/tid=15245] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15245/stat : 15245 (java) S 15235 15235 13226 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 58480892 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15246] ppid=15235 vsize=848860 CPUtime=0.67
/proc/15240/task/15246/stat : 15246 (java) S 15235 15235 13226 0 -1 64 1665 0 0 0 65 2 0 0 16 0 9 0 58480895 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15240/tid=15247] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15247/stat : 15247 (java) S 15235 15235 13226 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 58480895 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15248] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15248/stat : 15248 (java) S 15235 15235 13226 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58480895 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 80.27
Current children cumulated vsize (KiB) 854216
[startup+81.1014 s]
/proc/loadavg: 2.40 2.14 2.05 3/92 15291
/proc/meminfo: memFree=71280/2055920 swapFree=4192812/4192956
[pid=15235] ppid=15233 vsize=5356 CPUtime=0
/proc/15235/stat : 15235 (concrete.sh) S 15233 15235 13226 0 -1 4194304 341 291 0 0 0 0 0 0 19 0 1 0 58480886 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15235/statm: 1339 244 201 169 0 50 0
[pid=15240] ppid=15235 vsize=848860 CPUtime=80.67
/proc/15240/stat : 15240 (java) S 15235 15235 13226 0 -1 0 191479 0 1 0 7984 83 0 0 20 0 9 0 58480887 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/15240/statm: 212215 172631 2636 9 0 206693 0
[pid=15240/tid=15241] ppid=15235 vsize=848860 CPUtime=34.99
/proc/15240/task/15241/stat : 15241 (java) R 15235 15235 13226 0 -1 64 39303 0 1 0 3480 19 0 0 25 0 9 0 58480888 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4127424879 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15240/tid=15242] ppid=15235 vsize=848860 CPUtime=44.98
/proc/15240/task/15242/stat : 15242 (java) S 15235 15235 13226 0 -1 64 149807 0 0 0 4438 60 0 0 16 0 9 0 58480889 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=15240/tid=15243] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15243/stat : 15243 (java) S 15235 15235 13226 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58480890 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15240/tid=15244] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15244/stat : 15244 (java) S 15235 15235 13226 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58480890 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15240/tid=15245] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15245/stat : 15245 (java) S 15235 15235 13226 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 58480892 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15246] ppid=15235 vsize=848860 CPUtime=0.67
/proc/15240/task/15246/stat : 15246 (java) S 15235 15235 13226 0 -1 64 1665 0 0 0 65 2 0 0 16 0 9 0 58480895 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15240/tid=15247] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15247/stat : 15247 (java) S 15235 15235 13226 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 58480895 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15248] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15248/stat : 15248 (java) S 15235 15235 13226 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58480895 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 80.67
Current children cumulated vsize (KiB) 854216
[startup+81.5014 s]
/proc/loadavg: 2.37 2.14 2.04 3/92 15291
/proc/meminfo: memFree=71216/2055920 swapFree=4192812/4192956
[pid=15235] ppid=15233 vsize=5356 CPUtime=0
/proc/15235/stat : 15235 (concrete.sh) S 15233 15235 13226 0 -1 4194304 341 291 0 0 0 0 0 0 19 0 1 0 58480886 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15235/statm: 1339 244 201 169 0 50 0
[pid=15240] ppid=15235 vsize=848860 CPUtime=81.07
/proc/15240/stat : 15240 (java) S 15235 15235 13226 0 -1 0 191479 0 1 0 8024 83 0 0 20 0 9 0 58480887 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/15240/statm: 212215 172631 2636 9 0 206693 0
[pid=15240/tid=15241] ppid=15235 vsize=848860 CPUtime=35.39
/proc/15240/task/15241/stat : 15241 (java) R 15235 15235 13226 0 -1 64 39303 0 1 0 3520 19 0 0 25 0 9 0 58480888 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4127561564 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15240/tid=15242] ppid=15235 vsize=848860 CPUtime=44.98
/proc/15240/task/15242/stat : 15242 (java) S 15235 15235 13226 0 -1 64 149807 0 0 0 4438 60 0 0 16 0 9 0 58480889 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=15240/tid=15243] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15243/stat : 15243 (java) S 15235 15235 13226 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 58480890 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15240/tid=15244] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15244/stat : 15244 (java) S 15235 15235 13226 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 58480890 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15240/tid=15245] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15245/stat : 15245 (java) S 15235 15235 13226 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 58480892 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15246] ppid=15235 vsize=848860 CPUtime=0.67
/proc/15240/task/15246/stat : 15246 (java) S 15235 15235 13226 0 -1 64 1665 0 0 0 65 2 0 0 16 0 9 0 58480895 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=15240/tid=15247] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15247/stat : 15247 (java) S 15235 15235 13226 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 58480895 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=15240/tid=15248] ppid=15235 vsize=848860 CPUtime=0
/proc/15240/task/15248/stat : 15248 (java) S 15235 15235 13226 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 58480895 869232640 172631 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 81.07
Current children cumulated vsize (KiB) 854216
[startup+81.6014 s]
/proc/loadavg: 2.37 2.14 2.04 3/92 15291
/proc/meminfo: memFree=71216/2055920 swapFree=4192812/4192956
[pid=15235] ppid=15233 vsize=5356 CPUtime=0
/proc/15235/stat : 15235 (concrete.sh) S 15233 15235 13226 0 -1 4194304 341 291 0 0 0 0 0 0 19 0 1 0 58480886 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 255236563780 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/15235/statm: 1339 244 201 169 0 50 0
[pid=15240] ppid=15235 vsize=0 CPUtime=81.17
/proc/15240/stat : 15240 (java) Z 15235 15235 13226 0 -1 12 191490 0 1 0 8025 92 0 0 16 0 2 0 58480887 0 0 996147200 0 0 0 0 0 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/15240/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 81.17
Current children cumulated vsize (KiB) 5356
Child status: 0
Real time (s): 81.6202
CPU time (s): 81.2007
CPU user time (s): 80.2558
CPU system time (s): 0.944856
CPU usage (%): 99.486
Max. virtual memory (cumulated for all children) (KiB): 854216
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 80.2558
system time used= 0.944856
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 192132
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= 5911
involuntary context switches= 7006
runsolver used 0.100984 second user time and 0.287956 second system time
The end
Begin job on node19 at 2009-07-16 05:15:42
IDJOB=2076369
IDBENCH=56415
IDSOLVER=735
FILE ID=node19/2076369-1247714142
PBS_JOBID= 9521369
Free space on /tmp= 66388 MiB
SOLVER NAME= Concrete 2009-06-10
BENCH NAME= CPAI08/csp/lexPuzzle/normalized-crossword-m1-lex-puzzle19.xml
COMMAND LINE= HOME/concrete.sh -c BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2076369-1247714142/watcher-2076369-1247714142 -o /tmp/evaluation-result-2076369-1247714142/solver-2076369-1247714142 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c HOME/instance-2076369-1247714142.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 13ce82a1c45d8f0569097266eb912ed5
RANDOM SEED=1304434607
node19.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.211
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.211
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: 1466616 kB
Buffers: 64492 kB
Cached: 403756 kB
SwapCached: 0 kB
Active: 99328 kB
Inactive: 421620 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1466616 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2096 kB
Writeback: 0 kB
Mapped: 73092 kB
Slab: 53356 kB
Committed_AS: 635276 kB
PageTables: 2000 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= 66392 MiB
End job on node19 at 2009-07-16 05:17:04