1.37/1.43 c CPU-LOAD 0.68
1.37/1.43 c LOADED 50 V (23 E), 467 ExtensionConstraint2D, arity 2, 0.68 cpu
1254.51/1265.53 v 17 5 12 12 2 3 12 10 11 3 8 8 16 14 8 8 10 2 1 18 2 17 0 10 11 15 11 8 3 9 12 6 22 20 0 16 21 11 12 13 3 3 6 11 8 13 14 6 6 20
1254.51/1265.53 s SATISFIABLE
1254.51/1265.53 d NODES 2310653
1254.51/1265.53 d CHECKS 5025187027
1254.51/1265.53 c CDC-added-constraints: 20
1254.51/1265.53 c CDC-nbsingletontests: 2116
1254.51/1265.53 c CDC-nogoods: 62
1254.51/1265.53 c heuristic-cpu: 0.0
1254.51/1265.53 c prepro-constraint-ccks: 0
1254.51/1265.53 c prepro-constraint-presenceccks: 0
1254.51/1265.53 c prepro-cpu: 0.65000004
1254.51/1265.53 c prepro-matrix2d-ccks: 1598872
1254.51/1265.53 c prepro-matrix2d-presenceccks: 0
1254.51/1265.53 c prepro-removed: 0
1254.51/1265.53 c search-cpu: 1252.3099
1254.51/1265.53 c search-nps: 1845.1127
1254.51/1265.53 c total-assgn: 2310653
1254.51/1265.53 c total-constraint-ccks: 0
1254.51/1265.53 c total-constraint-presence-ccks: 0
1254.51/1265.53 c total-cpu: 1252.98
1254.51/1265.53 c total-matrix2d-ccks: 5025187027
1254.51/1265.53 c total-matrix2d-presence-ccks: 0
1254.51/1265.53 c TOTAL-NODES 2310653
1254.51/1265.53 c TOTAL-CPU 1252.98
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2091693-1247733155/watcher-2091693-1247733155 -o /tmp/evaluation-result-2091693-1247733155/solver-2091693-1247733155 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c -p cspfj.filter.DC2 -parameter cdc.addConstraints=BIN HOME/instance-2091693-1247733155.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
[startup+0 s]
/proc/loadavg: 2.08 2.02 2.01 3/72 17612
/proc/meminfo: memFree=1601240/2055920 swapFree=4192812/4192956
[pid=17612] ppid=17610 vsize=18576 CPUtime=0
/proc/17612/stat : 17612 (runsolver) R 17610 16046 16046 0 -1 4194368 9 0 0 0 0 0 0 0 20 0 1 0 60382538 19021824 282 996147200 4194304 4302564 548682068432 18446744073709551615 214919867297 0 0 4096 24578 0 0 0 17 1 0 0
/proc/17612/statm: 4644 282 247 26 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.101262 s]
/proc/loadavg: 2.08 2.02 2.01 3/72 17612
/proc/meminfo: memFree=1601240/2055920 swapFree=4192812/4192956
[pid=17612] ppid=17610 vsize=5356 CPUtime=0
/proc/17612/stat : 17612 (concrete.sh) S 17610 17612 16046 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 60382538 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17612/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.201284 s]
/proc/loadavg: 2.08 2.02 2.01 3/72 17612
/proc/meminfo: memFree=1601240/2055920 swapFree=4192812/4192956
[pid=17612] ppid=17610 vsize=5356 CPUtime=0
/proc/17612/stat : 17612 (concrete.sh) S 17610 17612 16046 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 60382538 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17612/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301306 s]
/proc/loadavg: 2.08 2.02 2.01 3/72 17612
/proc/meminfo: memFree=1601240/2055920 swapFree=4192812/4192956
[pid=17612] ppid=17610 vsize=5356 CPUtime=0
/proc/17612/stat : 17612 (concrete.sh) S 17610 17612 16046 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 60382538 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17612/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701394 s]
/proc/loadavg: 2.08 2.02 2.01 3/72 17612
/proc/meminfo: memFree=1601240/2055920 swapFree=4192812/4192956
[pid=17612] ppid=17610 vsize=5356 CPUtime=0
/proc/17612/stat : 17612 (concrete.sh) S 17610 17612 16046 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 60382538 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17612/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50256 s]
/proc/loadavg: 2.08 2.02 2.01 3/82 17625
/proc/meminfo: memFree=1586568/2055920 swapFree=4192812/4192956
[pid=17612] ppid=17610 vsize=5356 CPUtime=0
/proc/17612/stat : 17612 (concrete.sh) S 17610 17612 16046 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 60382538 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17612/statm: 1339 244 201 169 0 50 0
[pid=17617] ppid=17612 vsize=848560 CPUtime=1.46
/proc/17617/stat : 17617 (java) S 17612 17612 16046 0 -1 0 8085 0 1 0 139 7 0 0 18 0 10 0 60382539 868925440 6991 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17617/statm: 212140 6991 2616 9 0 206625 0
[pid=17617/tid=17618] ppid=17612 vsize=848560 CPUtime=0.97
/proc/17617/task/17618/stat : 17618 (java) R 17612 17612 16046 0 -1 64 3752 0 1 0 94 3 0 0 25 0 10 0 60382540 868925440 6991 996147200 134512640 134550932 4294955344 18446744073709551615 4126540682 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17619] ppid=17612 vsize=848560 CPUtime=0.17
/proc/17617/task/17619/stat : 17619 (java) S 17612 17612 16046 0 -1 64 2163 0 0 0 16 1 0 0 16 0 10 0 60382542 868925440 6991 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17620] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17620/stat : 17620 (java) S 17612 17612 16046 0 -1 64 12 0 0 0 0 0 0 0 16 0 10 0 60382542 868925440 6991 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17621] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17621/stat : 17621 (java) S 17612 17612 16046 0 -1 64 4 0 0 0 0 0 0 0 16 0 10 0 60382542 868925440 6991 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17622] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17622/stat : 17622 (java) S 17612 17612 16046 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 60382544 868925440 6991 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17623] ppid=17612 vsize=848560 CPUtime=0.3
/proc/17617/task/17623/stat : 17623 (java) S 17612 17612 16046 0 -1 64 1469 0 0 0 29 1 0 0 15 0 10 0 60382548 868925440 6991 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17624] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17624/stat : 17624 (java) S 17612 17612 16046 0 -1 64 1 0 0 0 0 0 0 0 20 0 10 0 60382548 868925440 6991 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17625] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17625/stat : 17625 (java) S 17612 17612 16046 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 60382548 868925440 6991 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 853916
[startup+3.1029 s]
/proc/loadavg: 2.08 2.02 2.01 3/83 17627
/proc/meminfo: memFree=1582976/2055920 swapFree=4192812/4192956
[pid=17612] ppid=17610 vsize=5356 CPUtime=0
/proc/17612/stat : 17612 (concrete.sh) S 17610 17612 16046 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 60382538 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17612/statm: 1339 244 201 169 0 50 0
[pid=17617] ppid=17612 vsize=848560 CPUtime=3.05
/proc/17617/stat : 17617 (java) S 17612 17612 16046 0 -1 0 8160 0 1 0 297 8 0 0 18 0 9 0 60382539 868925440 7022 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17617/statm: 212140 7022 2616 9 0 206625 0
[pid=17617/tid=17618] ppid=17612 vsize=848560 CPUtime=2.46
/proc/17617/task/17618/stat : 17618 (java) R 17612 17612 16046 0 -1 64 3797 0 1 0 243 3 0 0 25 0 9 0 60382540 868925440 7022 996147200 134512640 134550932 4294955344 18446744073709551615 4126564501 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17619] ppid=17612 vsize=848560 CPUtime=0.19
/proc/17617/task/17619/stat : 17619 (java) S 17612 17612 16046 0 -1 64 2163 0 0 0 18 1 0 0 16 0 9 0 60382542 868925440 7022 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17620] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17620/stat : 17620 (java) S 17612 17612 16046 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 60382542 868925440 7022 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17621] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17621/stat : 17621 (java) S 17612 17612 16046 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 60382542 868925440 7022 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17622] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17622/stat : 17622 (java) S 17612 17612 16046 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 60382544 868925440 7022 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17623] ppid=17612 vsize=848560 CPUtime=0.36
/proc/17617/task/17623/stat : 17623 (java) S 17612 17612 16046 0 -1 64 1499 0 0 0 35 1 0 0 15 0 9 0 60382548 868925440 7022 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17624] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17624/stat : 17624 (java) S 17612 17612 16046 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 60382548 868925440 7022 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17625] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17625/stat : 17625 (java) S 17612 17612 16046 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 60382548 868925440 7022 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 853916
[startup+6.30259 s]
/proc/loadavg: 2.07 2.02 2.00 3/82 17627
/proc/meminfo: memFree=1582592/2055920 swapFree=4192812/4192956
[pid=17612] ppid=17610 vsize=5356 CPUtime=0
/proc/17612/stat : 17612 (concrete.sh) S 17610 17612 16046 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 60382538 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17612/statm: 1339 244 201 169 0 50 0
[pid=17617] ppid=17612 vsize=848560 CPUtime=6.22
/proc/17617/stat : 17617 (java) S 17612 17612 16046 0 -1 0 8162 0 1 0 614 8 0 0 18 0 9 0 60382539 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17617/statm: 212140 7023 2616 9 0 206625 0
[pid=17617/tid=17618] ppid=17612 vsize=848560 CPUtime=5.62
/proc/17617/task/17618/stat : 17618 (java) R 17612 17612 16046 0 -1 64 3798 0 1 0 559 3 0 0 25 0 9 0 60382540 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4126548576 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17619] ppid=17612 vsize=848560 CPUtime=0.19
/proc/17617/task/17619/stat : 17619 (java) R 17612 17612 16046 0 -1 64 2163 0 0 0 18 1 0 0 16 0 9 0 60382542 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17620] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17620/stat : 17620 (java) S 17612 17612 16046 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 60382542 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17621] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17621/stat : 17621 (java) S 17612 17612 16046 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 60382542 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17622] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17622/stat : 17622 (java) S 17612 17612 16046 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 60382544 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17623] ppid=17612 vsize=848560 CPUtime=0.36
/proc/17617/task/17623/stat : 17623 (java) S 17612 17612 16046 0 -1 64 1500 0 0 0 35 1 0 0 16 0 9 0 60382548 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17624] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17624/stat : 17624 (java) S 17612 17612 16046 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 60382548 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17625] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17625/stat : 17625 (java) S 17612 17612 16046 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 60382548 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 853916
[startup+12.703 s]
/proc/loadavg: 2.07 2.02 2.00 3/82 17627
/proc/meminfo: memFree=1582336/2055920 swapFree=4192812/4192956
[pid=17612] ppid=17610 vsize=5356 CPUtime=0
/proc/17612/stat : 17612 (concrete.sh) S 17610 17612 16046 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 60382538 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17612/statm: 1339 244 201 169 0 50 0
[pid=17617] ppid=17612 vsize=848560 CPUtime=12.56
/proc/17617/stat : 17617 (java) S 17612 17612 16046 0 -1 0 8162 0 1 0 1248 8 0 0 18 0 9 0 60382539 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17617/statm: 212140 7023 2616 9 0 206625 0
[pid=17617/tid=17618] ppid=17612 vsize=848560 CPUtime=11.97
/proc/17617/task/17618/stat : 17618 (java) R 17612 17612 16046 0 -1 64 3798 0 1 0 1194 3 0 0 25 0 9 0 60382540 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4126548564 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17619] ppid=17612 vsize=848560 CPUtime=0.19
/proc/17617/task/17619/stat : 17619 (java) S 17612 17612 16046 0 -1 64 2163 0 0 0 18 1 0 0 16 0 9 0 60382542 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17620] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17620/stat : 17620 (java) S 17612 17612 16046 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 60382542 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17621] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17621/stat : 17621 (java) S 17612 17612 16046 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 60382542 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17622] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17622/stat : 17622 (java) S 17612 17612 16046 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 60382544 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17623] ppid=17612 vsize=848560 CPUtime=0.36
/proc/17617/task/17623/stat : 17623 (java) S 17612 17612 16046 0 -1 64 1500 0 0 0 35 1 0 0 16 0 9 0 60382548 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17624] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17624/stat : 17624 (java) S 17612 17612 16046 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 60382548 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17625] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17625/stat : 17625 (java) S 17612 17612 16046 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 60382548 868925440 7023 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) 853916
[startup+25.5027 s]
/proc/loadavg: 2.05 2.01 2.00 3/82 17627
/proc/meminfo: memFree=1582080/2055920 swapFree=4192812/4192956
[pid=17612] ppid=17610 vsize=5356 CPUtime=0
/proc/17612/stat : 17612 (concrete.sh) S 17610 17612 16046 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 60382538 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17612/statm: 1339 244 201 169 0 50 0
[pid=17617] ppid=17612 vsize=848560 CPUtime=25.25
/proc/17617/stat : 17617 (java) S 17612 17612 16046 0 -1 0 8162 0 1 0 2517 8 0 0 18 0 9 0 60382539 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17617/statm: 212140 7023 2616 9 0 206625 0
[pid=17617/tid=17618] ppid=17612 vsize=848560 CPUtime=24.66
/proc/17617/task/17618/stat : 17618 (java) R 17612 17612 16046 0 -1 64 3798 0 1 0 2462 4 0 0 25 0 9 0 60382540 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4126545212 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17619] ppid=17612 vsize=848560 CPUtime=0.19
/proc/17617/task/17619/stat : 17619 (java) S 17612 17612 16046 0 -1 64 2163 0 0 0 18 1 0 0 16 0 9 0 60382542 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17620] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17620/stat : 17620 (java) S 17612 17612 16046 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 60382542 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17621] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17621/stat : 17621 (java) S 17612 17612 16046 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 60382542 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17622] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17622/stat : 17622 (java) S 17612 17612 16046 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 60382544 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17623] ppid=17612 vsize=848560 CPUtime=0.36
/proc/17617/task/17623/stat : 17623 (java) S 17612 17612 16046 0 -1 64 1500 0 0 0 35 1 0 0 16 0 9 0 60382548 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17624] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17624/stat : 17624 (java) S 17612 17612 16046 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 60382548 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17625] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17625/stat : 17625 (java) S 17612 17612 16046 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 60382548 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 853916
[startup+51.1022 s]
/proc/loadavg: 2.03 2.01 2.00 3/82 17627
/proc/meminfo: memFree=1581440/2055920 swapFree=4192812/4192956
[pid=17612] ppid=17610 vsize=5356 CPUtime=0
/proc/17612/stat : 17612 (concrete.sh) S 17610 17612 16046 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 60382538 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 1243.5
Current children cumulated vsize (KiB) 853916
[startup+1260.8 s]
/proc/loadavg: 2.08 2.06 2.01 3/82 17629
/proc/meminfo: memFree=1525440/2055920 swapFree=4192812/4192956
[pid=17612] ppid=17610 vsize=5356 CPUtime=0
/proc/17612/stat : 17612 (concrete.sh) S 17610 17612 16046 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 60382538 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17612/statm: 1339 244 201 169 0 50 0
[pid=17617] ppid=17612 vsize=848560 CPUtime=1249.85
/proc/17617/stat : 17617 (java) S 17612 17612 16046 0 -1 0 8163 0 1 0 124972 13 0 0 18 0 9 0 60382539 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17617/statm: 212140 7023 2616 9 0 206625 0
[pid=17617/tid=17618] ppid=17612 vsize=848560 CPUtime=1249.21
/proc/17617/task/17618/stat : 17618 (java) R 17612 17612 16046 0 -1 64 3799 0 1 0 124915 6 0 0 25 0 9 0 60382540 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4126548610 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17619] ppid=17612 vsize=848560 CPUtime=0.19
/proc/17617/task/17619/stat : 17619 (java) S 17612 17612 16046 0 -1 64 2163 0 0 0 18 1 0 0 16 0 9 0 60382542 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17620] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17620/stat : 17620 (java) S 17612 17612 16046 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 60382542 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17621] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17621/stat : 17621 (java) S 17612 17612 16046 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 60382542 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17622] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17622/stat : 17622 (java) S 17612 17612 16046 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 60382544 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17623] ppid=17612 vsize=848560 CPUtime=0.36
/proc/17617/task/17623/stat : 17623 (java) S 17612 17612 16046 0 -1 64 1500 0 0 0 35 1 0 0 16 0 9 0 60382548 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17624] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17624/stat : 17624 (java) S 17612 17612 16046 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 60382548 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17625] ppid=17612 vsize=848560 CPUtime=0.04
/proc/17617/task/17625/stat : 17625 (java) S 17612 17612 16046 0 -1 64 1 0 0 0 2 2 0 0 15 0 9 0 60382548 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1249.85
Current children cumulated vsize (KiB) 853916
[startup+1264.01 s]
/proc/loadavg: 2.08 2.06 2.01 3/82 17629
/proc/meminfo: memFree=1525376/2055920 swapFree=4192812/4192956
[pid=17612] ppid=17610 vsize=5356 CPUtime=0
/proc/17612/stat : 17612 (concrete.sh) S 17610 17612 16046 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 60382538 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17612/statm: 1339 244 201 169 0 50 0
[pid=17617] ppid=17612 vsize=848560 CPUtime=1253.02
/proc/17617/stat : 17617 (java) S 17612 17612 16046 0 -1 0 8163 0 1 0 125289 13 0 0 18 0 9 0 60382539 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17617/statm: 212140 7023 2616 9 0 206625 0
[pid=17617/tid=17618] ppid=17612 vsize=848560 CPUtime=1252.38
/proc/17617/task/17618/stat : 17618 (java) R 17612 17612 16046 0 -1 64 3799 0 1 0 125232 6 0 0 25 0 9 0 60382540 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4126545797 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17619] ppid=17612 vsize=848560 CPUtime=0.19
/proc/17617/task/17619/stat : 17619 (java) S 17612 17612 16046 0 -1 64 2163 0 0 0 18 1 0 0 16 0 9 0 60382542 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17620] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17620/stat : 17620 (java) S 17612 17612 16046 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 60382542 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17621] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17621/stat : 17621 (java) S 17612 17612 16046 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 60382542 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17622] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17622/stat : 17622 (java) S 17612 17612 16046 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 60382544 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17623] ppid=17612 vsize=848560 CPUtime=0.36
/proc/17617/task/17623/stat : 17623 (java) S 17612 17612 16046 0 -1 64 1500 0 0 0 35 1 0 0 16 0 9 0 60382548 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17624] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17624/stat : 17624 (java) S 17612 17612 16046 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 60382548 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17625] ppid=17612 vsize=848560 CPUtime=0.04
/proc/17617/task/17625/stat : 17625 (java) S 17612 17612 16046 0 -1 64 1 0 0 0 2 2 0 0 15 0 9 0 60382548 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1253.02
Current children cumulated vsize (KiB) 853916
[startup+1264.8 s]
/proc/loadavg: 2.08 2.06 2.01 3/82 17629
/proc/meminfo: memFree=1525376/2055920 swapFree=4192812/4192956
[pid=17612] ppid=17610 vsize=5356 CPUtime=0
/proc/17612/stat : 17612 (concrete.sh) S 17610 17612 16046 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 60382538 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17612/statm: 1339 244 201 169 0 50 0
[pid=17617] ppid=17612 vsize=848560 CPUtime=1253.82
/proc/17617/stat : 17617 (java) S 17612 17612 16046 0 -1 0 8163 0 1 0 125369 13 0 0 18 0 9 0 60382539 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17617/statm: 212140 7023 2616 9 0 206625 0
[pid=17617/tid=17618] ppid=17612 vsize=848560 CPUtime=1253.18
/proc/17617/task/17618/stat : 17618 (java) R 17612 17612 16046 0 -1 64 3799 0 1 0 125312 6 0 0 25 0 9 0 60382540 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4126545208 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17619] ppid=17612 vsize=848560 CPUtime=0.19
/proc/17617/task/17619/stat : 17619 (java) S 17612 17612 16046 0 -1 64 2163 0 0 0 18 1 0 0 16 0 9 0 60382542 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17620] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17620/stat : 17620 (java) S 17612 17612 16046 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 60382542 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17621] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17621/stat : 17621 (java) S 17612 17612 16046 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 60382542 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17622] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17622/stat : 17622 (java) S 17612 17612 16046 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 60382544 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17623] ppid=17612 vsize=848560 CPUtime=0.36
/proc/17617/task/17623/stat : 17623 (java) S 17612 17612 16046 0 -1 64 1500 0 0 0 35 1 0 0 16 0 9 0 60382548 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17624] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17624/stat : 17624 (java) S 17612 17612 16046 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 60382548 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17625] ppid=17612 vsize=848560 CPUtime=0.04
/proc/17617/task/17625/stat : 17625 (java) S 17612 17612 16046 0 -1 64 1 0 0 0 2 2 0 0 15 0 9 0 60382548 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1253.82
Current children cumulated vsize (KiB) 853916
[startup+1265.2 s]
/proc/loadavg: 2.07 2.06 2.01 4/82 17629
/proc/meminfo: memFree=1525312/2055920 swapFree=4192812/4192956
[pid=17612] ppid=17610 vsize=5356 CPUtime=0
/proc/17612/stat : 17612 (concrete.sh) S 17610 17612 16046 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 60382538 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17612/statm: 1339 244 201 169 0 50 0
[pid=17617] ppid=17612 vsize=848560 CPUtime=1254.21
/proc/17617/stat : 17617 (java) S 17612 17612 16046 0 -1 0 8163 0 1 0 125408 13 0 0 18 0 9 0 60382539 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17617/statm: 212140 7023 2616 9 0 206625 0
[pid=17617/tid=17618] ppid=17612 vsize=848560 CPUtime=1253.57
/proc/17617/task/17618/stat : 17618 (java) R 17612 17612 16046 0 -1 64 3799 0 1 0 125351 6 0 0 25 0 9 0 60382540 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4126516516 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17619] ppid=17612 vsize=848560 CPUtime=0.19
/proc/17617/task/17619/stat : 17619 (java) S 17612 17612 16046 0 -1 64 2163 0 0 0 18 1 0 0 16 0 9 0 60382542 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17620] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17620/stat : 17620 (java) S 17612 17612 16046 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 60382542 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17621] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17621/stat : 17621 (java) S 17612 17612 16046 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 60382542 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17622] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17622/stat : 17622 (java) S 17612 17612 16046 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 60382544 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17623] ppid=17612 vsize=848560 CPUtime=0.36
/proc/17617/task/17623/stat : 17623 (java) S 17612 17612 16046 0 -1 64 1500 0 0 0 35 1 0 0 16 0 9 0 60382548 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17624] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17624/stat : 17624 (java) S 17612 17612 16046 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 60382548 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17625] ppid=17612 vsize=848560 CPUtime=0.04
/proc/17617/task/17625/stat : 17625 (java) S 17612 17612 16046 0 -1 64 1 0 0 0 2 2 0 0 15 0 9 0 60382548 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1254.21
Current children cumulated vsize (KiB) 853916
[startup+1265.4 s]
/proc/loadavg: 2.07 2.06 2.01 4/82 17629
/proc/meminfo: memFree=1525312/2055920 swapFree=4192812/4192956
[pid=17612] ppid=17610 vsize=5356 CPUtime=0
/proc/17612/stat : 17612 (concrete.sh) S 17610 17612 16046 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 60382538 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17612/statm: 1339 244 201 169 0 50 0
[pid=17617] ppid=17612 vsize=848560 CPUtime=1254.41
/proc/17617/stat : 17617 (java) S 17612 17612 16046 0 -1 0 8163 0 1 0 125428 13 0 0 18 0 9 0 60382539 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17617/statm: 212140 7023 2616 9 0 206625 0
[pid=17617/tid=17618] ppid=17612 vsize=848560 CPUtime=1253.77
/proc/17617/task/17618/stat : 17618 (java) R 17612 17612 16046 0 -1 64 3799 0 1 0 125371 6 0 0 25 0 9 0 60382540 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4126553284 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17619] ppid=17612 vsize=848560 CPUtime=0.19
/proc/17617/task/17619/stat : 17619 (java) S 17612 17612 16046 0 -1 64 2163 0 0 0 18 1 0 0 16 0 9 0 60382542 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17620] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17620/stat : 17620 (java) S 17612 17612 16046 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 60382542 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17621] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17621/stat : 17621 (java) S 17612 17612 16046 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 60382542 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17622] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17622/stat : 17622 (java) S 17612 17612 16046 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 60382544 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17623] ppid=17612 vsize=848560 CPUtime=0.36
/proc/17617/task/17623/stat : 17623 (java) S 17612 17612 16046 0 -1 64 1500 0 0 0 35 1 0 0 16 0 9 0 60382548 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17624] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17624/stat : 17624 (java) S 17612 17612 16046 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 60382548 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17625] ppid=17612 vsize=848560 CPUtime=0.04
/proc/17617/task/17625/stat : 17625 (java) S 17612 17612 16046 0 -1 64 1 0 0 0 2 2 0 0 15 0 9 0 60382548 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1254.41
Current children cumulated vsize (KiB) 853916
[startup+1265.5 s]
/proc/loadavg: 2.07 2.06 2.01 4/82 17629
/proc/meminfo: memFree=1525312/2055920 swapFree=4192812/4192956
[pid=17612] ppid=17610 vsize=5356 CPUtime=0
/proc/17612/stat : 17612 (concrete.sh) S 17610 17612 16046 0 -1 4194304 341 294 0 0 0 0 0 0 18 0 1 0 60382538 5484544 244 996147200 4194304 4889804 548682068736 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17612/statm: 1339 244 201 169 0 50 0
[pid=17617] ppid=17612 vsize=848560 CPUtime=1254.51
/proc/17617/stat : 17617 (java) S 17612 17612 16046 0 -1 0 8163 0 1 0 125438 13 0 0 18 0 9 0 60382539 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 1 0 0
/proc/17617/statm: 212140 7023 2616 9 0 206625 0
[pid=17617/tid=17618] ppid=17612 vsize=848560 CPUtime=1253.87
/proc/17617/task/17618/stat : 17618 (java) R 17612 17612 16046 0 -1 64 3799 0 1 0 125381 6 0 0 25 0 9 0 60382540 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4126565417 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17619] ppid=17612 vsize=848560 CPUtime=0.19
/proc/17617/task/17619/stat : 17619 (java) S 17612 17612 16046 0 -1 64 2163 0 0 0 18 1 0 0 16 0 9 0 60382542 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17620] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17620/stat : 17620 (java) S 17612 17612 16046 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 60382542 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17621] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17621/stat : 17621 (java) S 17612 17612 16046 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 60382542 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17622] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17622/stat : 17622 (java) S 17612 17612 16046 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 60382544 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17623] ppid=17612 vsize=848560 CPUtime=0.36
/proc/17617/task/17623/stat : 17623 (java) S 17612 17612 16046 0 -1 64 1500 0 0 0 35 1 0 0 16 0 9 0 60382548 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17624] ppid=17612 vsize=848560 CPUtime=0
/proc/17617/task/17624/stat : 17624 (java) S 17612 17612 16046 0 -1 64 1 0 0 0 0 0 0 0 20 0 9 0 60382548 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=17617/tid=17625] ppid=17612 vsize=848560 CPUtime=0.04
/proc/17617/task/17625/stat : 17625 (java) S 17612 17612 16046 0 -1 64 1 0 0 0 2 2 0 0 15 0 9 0 60382548 868925440 7023 996147200 134512640 134550932 4294955344 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1254.51
Current children cumulated vsize (KiB) 853916
Child status: 0
Real time (s): 1265.58
CPU time (s): 1254.57
CPU user time (s): 1254.42
CPU system time (s): 0.148977
CPU usage (%): 99.1297
Max. virtual memory (cumulated for all children) (KiB): 853916
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1254.42
system time used= 0.148977
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8816
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= 28306
involuntary context switches= 54903
runsolver used 1.79573 second user time and 3.9654 second system time
The end
Begin job on node10 at 2009-07-16 10:32:35
IDJOB=2091693
IDBENCH=60105
IDSOLVER=736
FILE ID=node10/2091693-1247733155
PBS_JOBID= 9521500
Free space on /tmp= 66364 MiB
SOLVER NAME= Concrete DC 2009-06-10
BENCH NAME= CPAI08/csp/rand-2-50-23-fcd/normalized-rand-2-50-23-587-230-fcd-45_ext.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-2091693-1247733155/watcher-2091693-1247733155 -o /tmp/evaluation-result-2091693-1247733155/solver-2091693-1247733155 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c -p cspfj.filter.DC2 -parameter cdc.addConstraints=BIN HOME/instance-2091693-1247733155.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 3c72aa0cd842d7c33b9b6c86f5561b8e
RANDOM SEED=1304341321
node10.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.279
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.279
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1601720 kB
Buffers: 82084 kB
Cached: 237176 kB
SwapCached: 0 kB
Active: 138020 kB
Inactive: 243300 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1601720 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1636 kB
Writeback: 0 kB
Mapped: 73484 kB
Slab: 58248 kB
Committed_AS: 643028 kB
PageTables: 1800 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= 66360 MiB
End job on node10 at 2009-07-16 10:53:40