15.80/15.92 c CPU-LOAD 10.35
15.80/15.92 c LOADED 20 V (5 E), 18 ExtensionConstraintDynamic, arity 8, 10.35 cpu
283.91/285.50 v 0 2 3 3 2 0 2 0 4 0 4 2 3 0 4 1 1 4 0 1
284.01/285.50 s SATISFIABLE
284.01/285.50 d NODES 26918
284.01/285.50 d CHECKS 0
284.01/285.50 c heuristic-cpu: 0.0
284.01/285.50 c prepro-constraint-ccks: 0
284.01/285.50 c prepro-constraint-presenceccks: 0
284.01/285.50 c prepro-cpu: 0.38
284.01/285.50 c prepro-matrix2d-ccks: 0
284.01/285.50 c prepro-matrix2d-presenceccks: 0
284.01/285.50 c prepro-removed: 0
284.01/285.50 c search-cpu: 267.0
284.01/285.50 c search-nps: 100.81648
284.01/285.50 c total-assgn: 26918
284.01/285.50 c total-constraint-ccks: 0
284.01/285.50 c total-constraint-presence-ccks: 0
284.01/285.50 c total-cpu: 267.48
284.01/285.50 c total-matrix2d-ccks: 0
284.01/285.50 c total-matrix2d-presence-ccks: 0
284.01/285.50 c TOTAL-NODES 26918
284.01/285.50 c TOTAL-CPU 267.48
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2082496-1247721307/watcher-2082496-1247721307 -o /tmp/evaluation-result-2082496-1247721307/solver-2082496-1247721307 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c HOME/instance-2082496-1247721307.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.00 2.07 2.08 4/81 14775
/proc/meminfo: memFree=1272744/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=5356 CPUtime=0
/proc/14775/stat : 14775 (concrete.sh) R 14773 14775 13570 0 -1 4194304 321 291 0 0 0 0 0 0 17 0 1 0 59195274 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 231882848869 0 0 4100 65536 0 0 0 17 1 0 0
/proc/14775/statm: 1339 244 201 169 0 50 0
[startup+0.0443229 s]
/proc/loadavg: 2.00 2.07 2.08 4/81 14775
/proc/meminfo: memFree=1272744/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=5356 CPUtime=0
/proc/14775/stat : 14775 (concrete.sh) S 14773 14775 13570 0 -1 4194304 341 291 0 0 0 0 0 0 17 0 1 0 59195274 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14775/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101329 s]
/proc/loadavg: 2.00 2.07 2.08 4/81 14775
/proc/meminfo: memFree=1272744/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=5356 CPUtime=0
/proc/14775/stat : 14775 (concrete.sh) S 14773 14775 13570 0 -1 4194304 341 291 0 0 0 0 0 0 17 0 1 0 59195274 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14775/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301352 s]
/proc/loadavg: 2.00 2.07 2.08 4/81 14775
/proc/meminfo: memFree=1272744/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=5356 CPUtime=0
/proc/14775/stat : 14775 (concrete.sh) S 14773 14775 13570 0 -1 4194304 341 291 0 0 0 0 0 0 17 0 1 0 59195274 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14775/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701401 s]
/proc/loadavg: 2.00 2.07 2.08 4/81 14775
/proc/meminfo: memFree=1272744/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=5356 CPUtime=0
/proc/14775/stat : 14775 (concrete.sh) S 14773 14775 13570 0 -1 4194304 341 291 0 0 0 0 0 0 17 0 1 0 59195274 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14775/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50149 s]
/proc/loadavg: 2.00 2.07 2.08 4/91 14788
/proc/meminfo: memFree=1245464/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=5356 CPUtime=0
/proc/14775/stat : 14775 (concrete.sh) S 14773 14775 13570 0 -1 4194304 341 291 0 0 0 0 0 0 17 0 1 0 59195274 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14775/statm: 1339 244 201 169 0 50 0
[pid=14779] ppid=14775 vsize=847444 CPUtime=1.47
/proc/14779/stat : 14779 (java) S 14775 14775 13570 0 -1 0 10582 0 1 0 140 7 0 0 18 0 9 0 59195275 867782656 9605 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/14779/statm: 211861 9605 2614 9 0 206346 0
[pid=14779/tid=14781] ppid=14775 vsize=847444 CPUtime=0.97
/proc/14779/task/14781/stat : 14781 (java) R 14775 14775 13570 0 -1 64 5030 0 1 0 94 3 0 0 25 0 9 0 59195276 867782656 9605 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14782] ppid=14775 vsize=847444 CPUtime=0.24
/proc/14779/task/14782/stat : 14782 (java) R 14775 14775 13570 0 -1 64 3566 0 0 0 23 1 0 0 16 0 9 0 59195277 867782656 9605 996147200 134512640 134550932 4294955408 18446744073709551615 103733279 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14783] ppid=14775 vsize=847444 CPUtime=0
/proc/14779/task/14783/stat : 14783 (java) S 14775 14775 13570 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 59195277 867782656 9605 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14784] ppid=14775 vsize=847444 CPUtime=0
/proc/14779/task/14784/stat : 14784 (java) S 14775 14775 13570 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 59195277 867782656 9605 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14785] ppid=14775 vsize=847444 CPUtime=0
/proc/14779/task/14785/stat : 14785 (java) S 14775 14775 13570 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 59195280 867782656 9605 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14786] ppid=14775 vsize=847444 CPUtime=0.22
/proc/14779/task/14786/stat : 14786 (java) S 14775 14775 13570 0 -1 64 1289 0 0 0 21 1 0 0 16 0 9 0 59195283 867782656 9605 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14787] ppid=14775 vsize=847444 CPUtime=0
/proc/14779/task/14787/stat : 14787 (java) S 14775 14775 13570 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 59195283 867782656 9605 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14788] ppid=14775 vsize=847444 CPUtime=0
/proc/14779/task/14788/stat : 14788 (java) S 14775 14775 13570 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 59195283 867782656 9605 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 852800
[startup+3.10268 s]
/proc/loadavg: 2.00 2.07 2.08 3/91 14788
/proc/meminfo: memFree=1241880/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=5356 CPUtime=0
/proc/14775/stat : 14775 (concrete.sh) S 14773 14775 13570 0 -1 4194304 341 291 0 0 0 0 0 0 17 0 1 0 59195274 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14775/statm: 1339 244 201 169 0 50 0
[pid=14779] ppid=14775 vsize=847444 CPUtime=3.06
/proc/14779/stat : 14779 (java) S 14775 14775 13570 0 -1 0 16076 0 1 0 295 11 0 0 18 0 9 0 59195275 867782656 14793 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/14779/statm: 211861 14793 2614 9 0 206346 0
[pid=14779/tid=14781] ppid=14775 vsize=847444 CPUtime=2.03
/proc/14779/task/14781/stat : 14781 (java) R 14775 14775 13570 0 -1 64 7265 0 1 0 198 5 0 0 25 0 9 0 59195276 867782656 14793 996147200 134512640 134550932 4294955408 18446744073709551615 4126229492 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14782] ppid=14775 vsize=847444 CPUtime=0.77
/proc/14779/task/14782/stat : 14782 (java) S 14775 14775 13570 0 -1 64 6823 0 0 0 74 3 0 0 16 0 9 0 59195277 867782656 14793 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14783] ppid=14775 vsize=847444 CPUtime=0
/proc/14779/task/14783/stat : 14783 (java) S 14775 14775 13570 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 59195277 867782656 14793 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14784] ppid=14775 vsize=847444 CPUtime=0
/proc/14779/task/14784/stat : 14784 (java) S 14775 14775 13570 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 59195277 867782656 14793 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14785] ppid=14775 vsize=847444 CPUtime=0
/proc/14779/task/14785/stat : 14785 (java) S 14775 14775 13570 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 59195280 867782656 14793 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14786] ppid=14775 vsize=847444 CPUtime=0.22
/proc/14779/task/14786/stat : 14786 (java) S 14775 14775 13570 0 -1 64 1291 0 0 0 21 1 0 0 16 0 9 0 59195283 867782656 14793 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14787] ppid=14775 vsize=847444 CPUtime=0
/proc/14779/task/14787/stat : 14787 (java) S 14775 14775 13570 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 59195283 867782656 14793 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14788] ppid=14775 vsize=847444 CPUtime=0
/proc/14779/task/14788/stat : 14788 (java) S 14775 14775 13570 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 59195283 867782656 14793 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 852800
[startup+6.30206 s]
/proc/loadavg: 2.00 2.07 2.08 3/91 14788
/proc/meminfo: memFree=1212504/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=5356 CPUtime=0
/proc/14775/stat : 14775 (concrete.sh) S 14773 14775 13570 0 -1 4194304 341 291 0 0 0 0 0 0 17 0 1 0 59195274 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14775/statm: 1339 244 201 169 0 50 0
[pid=14779] ppid=14775 vsize=847444 CPUtime=6.25
/proc/14779/stat : 14779 (java) S 14775 14775 13570 0 -1 0 22790 0 1 0 608 17 0 0 18 0 9 0 59195275 867782656 21364 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/14779/statm: 211861 21364 2614 9 0 206346 0
[pid=14779/tid=14781] ppid=14775 vsize=847444 CPUtime=4.42
/proc/14779/task/14781/stat : 14781 (java) R 14775 14775 13570 0 -1 64 7551 0 1 0 435 7 0 0 25 0 9 0 59195276 867782656 21364 996147200 134512640 134550932 4294955408 18446744073709551615 4126345216 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14782] ppid=14775 vsize=847444 CPUtime=1.57
/proc/14779/task/14782/stat : 14782 (java) S 14775 14775 13570 0 -1 64 13249 0 0 0 150 7 0 0 16 0 9 0 59195277 867782656 21364 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14783] ppid=14775 vsize=847444 CPUtime=0
/proc/14779/task/14783/stat : 14783 (java) S 14775 14775 13570 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 59195277 867782656 21364 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14784] ppid=14775 vsize=847444 CPUtime=0
/proc/14779/task/14784/stat : 14784 (java) S 14775 14775 13570 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 59195277 867782656 21364 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14785] ppid=14775 vsize=847444 CPUtime=0
/proc/14779/task/14785/stat : 14785 (java) S 14775 14775 13570 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 59195280 867782656 21364 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14786] ppid=14775 vsize=847444 CPUtime=0.23
/proc/14779/task/14786/stat : 14786 (java) S 14775 14775 13570 0 -1 64 1293 0 0 0 22 1 0 0 17 0 9 0 59195283 867782656 21364 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14787] ppid=14775 vsize=847444 CPUtime=0
/proc/14779/task/14787/stat : 14787 (java) S 14775 14775 13570 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 59195283 867782656 21364 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14788] ppid=14775 vsize=847444 CPUtime=0
/proc/14779/task/14788/stat : 14788 (java) S 14775 14775 13570 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 59195283 867782656 21364 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 852800
[startup+12.7028 s]
/proc/loadavg: 2.00 2.06 2.08 3/91 14788
/proc/meminfo: memFree=1152736/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=5356 CPUtime=0
/proc/14775/stat : 14775 (concrete.sh) S 14773 14775 13570 0 -1 4194304 341 291 0 0 0 0 0 0 17 0 1 0 59195274 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14775/statm: 1339 244 201 169 0 50 0
[pid=14779] ppid=14775 vsize=848472 CPUtime=12.61
/proc/14779/stat : 14779 (java) S 14775 14775 13570 0 -1 0 37555 0 1 0 1233 28 0 0 18 0 10 0 59195275 868835328 35951 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/14779/statm: 212118 35951 2616 9 0 206603 0
[pid=14779/tid=14781] ppid=14775 vsize=848472 CPUtime=9.33
/proc/14779/task/14781/stat : 14781 (java) R 14775 14775 13570 0 -1 64 7836 0 1 0 924 9 0 0 25 0 10 0 59195276 868835328 35951 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14782] ppid=14775 vsize=848472 CPUtime=2.99
/proc/14779/task/14782/stat : 14782 (java) R 14775 14775 13570 0 -1 64 27703 0 0 0 283 16 0 0 16 0 10 0 59195277 868835328 35951 996147200 134512640 134550932 4294955408 18446744073709551615 102509233 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14783] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14783/stat : 14783 (java) S 14775 14775 13570 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 59195277 868835328 35951 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14784] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14784/stat : 14784 (java) S 14775 14775 13570 0 -1 64 4 0 0 0 0 0 0 0 15 0 10 0 59195277 868835328 35951 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14785] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14785/stat : 14785 (java) S 14775 14775 13570 0 -1 64 0 0 0 0 0 0 0 0 23 0 10 0 59195280 868835328 35951 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14786] ppid=14775 vsize=848472 CPUtime=0.26
/proc/14779/task/14786/stat : 14786 (java) S 14775 14775 13570 0 -1 64 1315 0 0 0 25 1 0 0 16 0 10 0 59195283 868835328 35951 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14787] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14787/stat : 14787 (java) S 14775 14775 13570 0 -1 64 1 0 0 0 0 0 0 0 25 0 10 0 59195283 868835328 35951 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14788] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14788/stat : 14788 (java) S 14775 14775 13570 0 -1 64 1 0 0 0 0 0 0 0 15 0 10 0 59195283 868835328 35951 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 853828
[startup+25.5013 s]
/proc/loadavg: 2.15 2.09 2.09 3/91 14790
/proc/meminfo: memFree=1045528/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=5356 CPUtime=0
/proc/14775/stat : 14775 (concrete.sh) S 14773 14775 13570 0 -1 4194304 341 291 0 0 0 0 0 0 17 0 1 0 59195274 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14775/statm: 1339 244 201 169 0 50 0
[pid=14779] ppid=14775 vsize=848472 CPUtime=25.35
/proc/14779/stat : 14779 (java) S 14775 14775 13570 0 -1 0 60802 0 1 0 2494 41 0 0 18 0 9 0 59195275 868835328 59175 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/14779/statm: 212118 59175 2618 9 0 206603 0
[pid=14779/tid=14781] ppid=14775 vsize=848472 CPUtime=19.34
/proc/14779/task/14781/stat : 14781 (java) R 14775 14775 13570 0 -1 64 9283 0 1 0 1924 10 0 0 25 0 9 0 59195276 868835328 59175 996147200 134512640 134550932 4294955408 18446744073709551615 4126476283 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14782] ppid=14775 vsize=848472 CPUtime=5.67
/proc/14779/task/14782/stat : 14782 (java) S 14775 14775 13570 0 -1 64 49481 0 0 0 540 27 0 0 17 0 9 0 59195277 868835328 59175 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14783] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14783/stat : 14783 (java) S 14775 14775 13570 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 59195277 868835328 59175 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14784] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14784/stat : 14784 (java) S 14775 14775 13570 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 59195277 868835328 59175 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14785] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14785/stat : 14785 (java) S 14775 14775 13570 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 59195280 868835328 59175 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14786] ppid=14775 vsize=848472 CPUtime=0.3
/proc/14779/task/14786/stat : 14786 (java) S 14775 14775 13570 0 -1 64 1335 0 0 0 29 1 0 0 17 0 9 0 59195283 868835328 59175 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14787] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14787/stat : 14787 (java) S 14775 14775 13570 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 59195283 868835328 59175 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14788] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14788/stat : 14788 (java) S 14775 14775 13570 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 59195283 868835328 59175 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 853828
[startup+51.1023 s]
/proc/loadavg: 2.10 2.08 2.09 3/91 14790
/proc/meminfo: memFree=1043160/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=5356 CPUtime=0
/proc/14775/stat : 14775 (concrete.sh) S 14773 14775 13570 0 -1 4194304 341 291 0 0 0 0 0 0 17 0 1 0 59195274 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
################
# More data... #
################
[startup+222.302 s]
/proc/loadavg: 2.02 2.06 2.08 3/92 14833
/proc/meminfo: memFree=1186312/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=5356 CPUtime=0
/proc/14775/stat : 14775 (concrete.sh) S 14773 14775 13570 0 -1 4194304 341 291 0 0 0 0 0 0 17 0 1 0 59195274 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14775/statm: 1339 244 201 169 0 50 0
[pid=14779] ppid=14775 vsize=848472 CPUtime=221.12
/proc/14779/stat : 14779 (java) S 14775 14775 13570 0 -1 0 60816 0 1 0 22070 42 0 0 18 0 9 0 59195275 868835328 59184 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/14779/statm: 212118 59184 2618 9 0 206603 0
[pid=14779/tid=14781] ppid=14775 vsize=848472 CPUtime=215.09
/proc/14779/task/14781/stat : 14781 (java) R 14775 14775 13570 0 -1 64 9288 0 1 0 21498 11 0 0 25 0 9 0 59195276 868835328 59184 996147200 134512640 134550932 4294955408 18446744073709551615 4126468400 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14782] ppid=14775 vsize=848472 CPUtime=5.67
/proc/14779/task/14782/stat : 14782 (java) S 14775 14775 13570 0 -1 64 49481 0 0 0 540 27 0 0 16 0 9 0 59195277 868835328 59184 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14783] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14783/stat : 14783 (java) S 14775 14775 13570 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 59195277 868835328 59184 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14784] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14784/stat : 14784 (java) S 14775 14775 13570 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 59195277 868835328 59184 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14785] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14785/stat : 14785 (java) S 14775 14775 13570 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 59195280 868835328 59184 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14786] ppid=14775 vsize=848472 CPUtime=0.32
/proc/14779/task/14786/stat : 14786 (java) S 14775 14775 13570 0 -1 64 1344 0 0 0 30 2 0 0 16 0 9 0 59195283 868835328 59184 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14787] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14787/stat : 14787 (java) S 14775 14775 13570 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 59195283 868835328 59184 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14788] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14788/stat : 14788 (java) S 14775 14775 13570 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 59195283 868835328 59184 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 221.12
Current children cumulated vsize (KiB) 853828
[startup+282.302 s]
/proc/loadavg: 2.00 2.05 2.07 3/92 14833
/proc/meminfo: memFree=1164744/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=5356 CPUtime=0
/proc/14775/stat : 14775 (concrete.sh) S 14773 14775 13570 0 -1 4194304 341 291 0 0 0 0 0 0 17 0 1 0 59195274 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14775/statm: 1339 244 201 169 0 50 0
[pid=14779] ppid=14775 vsize=848472 CPUtime=280.83
/proc/14779/stat : 14779 (java) S 14775 14775 13570 0 -1 0 61535 0 1 0 28040 43 0 0 18 0 9 0 59195275 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/14779/statm: 212118 59901 2618 9 0 206603 0
[pid=14779/tid=14781] ppid=14775 vsize=848472 CPUtime=274.79
/proc/14779/task/14781/stat : 14781 (java) R 14775 14775 13570 0 -1 64 9402 0 1 0 27467 12 0 0 25 0 9 0 59195276 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4126469672 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14782] ppid=14775 vsize=848472 CPUtime=5.69
/proc/14779/task/14782/stat : 14782 (java) S 14775 14775 13570 0 -1 64 50086 0 0 0 541 28 0 0 16 0 9 0 59195277 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14783] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14783/stat : 14783 (java) S 14775 14775 13570 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 59195277 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14784] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14784/stat : 14784 (java) S 14775 14775 13570 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 59195277 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14785] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14785/stat : 14785 (java) S 14775 14775 13570 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 59195280 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14786] ppid=14775 vsize=848472 CPUtime=0.32
/proc/14779/task/14786/stat : 14786 (java) S 14775 14775 13570 0 -1 64 1344 0 0 0 30 2 0 0 16 0 9 0 59195283 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14787] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14787/stat : 14787 (java) S 14775 14775 13570 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 59195283 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14788] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14788/stat : 14788 (java) S 14775 14775 13570 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 59195283 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 280.83
Current children cumulated vsize (KiB) 853828
Solver just ended. Dumping a history of the last processes samples
[startup+283.102 s]
/proc/loadavg: 2.00 2.05 2.07 3/92 14833
/proc/meminfo: memFree=1164744/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=5356 CPUtime=0
/proc/14775/stat : 14775 (concrete.sh) S 14773 14775 13570 0 -1 4194304 341 291 0 0 0 0 0 0 17 0 1 0 59195274 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14775/statm: 1339 244 201 169 0 50 0
[pid=14779] ppid=14775 vsize=848472 CPUtime=281.62
/proc/14779/stat : 14779 (java) S 14775 14775 13570 0 -1 0 61535 0 1 0 28119 43 0 0 18 0 9 0 59195275 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/14779/statm: 212118 59901 2618 9 0 206603 0
[pid=14779/tid=14781] ppid=14775 vsize=848472 CPUtime=275.59
/proc/14779/task/14781/stat : 14781 (java) R 14775 14775 13570 0 -1 64 9402 0 1 0 27547 12 0 0 25 0 9 0 59195276 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4126468434 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14782] ppid=14775 vsize=848472 CPUtime=5.69
/proc/14779/task/14782/stat : 14782 (java) S 14775 14775 13570 0 -1 64 50086 0 0 0 541 28 0 0 16 0 9 0 59195277 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14783] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14783/stat : 14783 (java) S 14775 14775 13570 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 59195277 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14784] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14784/stat : 14784 (java) S 14775 14775 13570 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 59195277 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14785] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14785/stat : 14785 (java) S 14775 14775 13570 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 59195280 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14786] ppid=14775 vsize=848472 CPUtime=0.32
/proc/14779/task/14786/stat : 14786 (java) S 14775 14775 13570 0 -1 64 1344 0 0 0 30 2 0 0 16 0 9 0 59195283 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14787] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14787/stat : 14787 (java) S 14775 14775 13570 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 59195283 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14788] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14788/stat : 14788 (java) S 14775 14775 13570 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 59195283 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 281.62
Current children cumulated vsize (KiB) 853828
[startup+284.702 s]
/proc/loadavg: 2.00 2.05 2.07 3/92 14833
/proc/meminfo: memFree=1164744/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=5356 CPUtime=0
/proc/14775/stat : 14775 (concrete.sh) S 14773 14775 13570 0 -1 4194304 341 291 0 0 0 0 0 0 17 0 1 0 59195274 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14775/statm: 1339 244 201 169 0 50 0
[pid=14779] ppid=14775 vsize=848472 CPUtime=283.22
/proc/14779/stat : 14779 (java) S 14775 14775 13570 0 -1 0 61535 0 1 0 28279 43 0 0 18 0 9 0 59195275 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/14779/statm: 212118 59901 2618 9 0 206603 0
[pid=14779/tid=14781] ppid=14775 vsize=848472 CPUtime=277.18
/proc/14779/task/14781/stat : 14781 (java) R 14775 14775 13570 0 -1 64 9402 0 1 0 27706 12 0 0 25 0 9 0 59195276 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4126469697 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14782] ppid=14775 vsize=848472 CPUtime=5.69
/proc/14779/task/14782/stat : 14782 (java) S 14775 14775 13570 0 -1 64 50086 0 0 0 541 28 0 0 16 0 9 0 59195277 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14783] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14783/stat : 14783 (java) S 14775 14775 13570 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 59195277 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14784] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14784/stat : 14784 (java) S 14775 14775 13570 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 59195277 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14785] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14785/stat : 14785 (java) S 14775 14775 13570 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 59195280 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14786] ppid=14775 vsize=848472 CPUtime=0.32
/proc/14779/task/14786/stat : 14786 (java) S 14775 14775 13570 0 -1 64 1344 0 0 0 30 2 0 0 16 0 9 0 59195283 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14787] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14787/stat : 14787 (java) S 14775 14775 13570 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 59195283 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14788] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14788/stat : 14788 (java) S 14775 14775 13570 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 59195283 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 283.22
Current children cumulated vsize (KiB) 853828
[startup+285.102 s]
/proc/loadavg: 2.00 2.05 2.07 3/92 14833
/proc/meminfo: memFree=1164744/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=5356 CPUtime=0
/proc/14775/stat : 14775 (concrete.sh) S 14773 14775 13570 0 -1 4194304 341 291 0 0 0 0 0 0 17 0 1 0 59195274 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14775/statm: 1339 244 201 169 0 50 0
[pid=14779] ppid=14775 vsize=848472 CPUtime=283.61
/proc/14779/stat : 14779 (java) S 14775 14775 13570 0 -1 0 61535 0 1 0 28318 43 0 0 18 0 9 0 59195275 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/14779/statm: 212118 59901 2618 9 0 206603 0
[pid=14779/tid=14781] ppid=14775 vsize=848472 CPUtime=277.58
/proc/14779/task/14781/stat : 14781 (java) R 14775 14775 13570 0 -1 64 9402 0 1 0 27746 12 0 0 25 0 9 0 59195276 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4126476127 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14782] ppid=14775 vsize=848472 CPUtime=5.69
/proc/14779/task/14782/stat : 14782 (java) S 14775 14775 13570 0 -1 64 50086 0 0 0 541 28 0 0 16 0 9 0 59195277 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14783] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14783/stat : 14783 (java) S 14775 14775 13570 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 59195277 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14784] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14784/stat : 14784 (java) S 14775 14775 13570 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 59195277 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14785] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14785/stat : 14785 (java) S 14775 14775 13570 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 59195280 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14786] ppid=14775 vsize=848472 CPUtime=0.32
/proc/14779/task/14786/stat : 14786 (java) S 14775 14775 13570 0 -1 64 1344 0 0 0 30 2 0 0 16 0 9 0 59195283 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14787] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14787/stat : 14787 (java) S 14775 14775 13570 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 59195283 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14788] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14788/stat : 14788 (java) S 14775 14775 13570 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 59195283 868835328 59901 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 283.61
Current children cumulated vsize (KiB) 853828
[startup+285.503 s]
/proc/loadavg: 2.00 2.05 2.07 3/92 14833
/proc/meminfo: memFree=1164744/2055920 swapFree=4192812/4192956
[pid=14775] ppid=14773 vsize=5356 CPUtime=0
/proc/14775/stat : 14775 (concrete.sh) S 14773 14775 13570 0 -1 4194304 341 291 0 0 0 0 0 0 17 0 1 0 59195274 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 231882679108 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14775/statm: 1339 244 201 169 0 50 0
[pid=14779] ppid=14775 vsize=848472 CPUtime=284.01
/proc/14779/stat : 14779 (java) S 14775 14775 13570 0 -1 0 61536 0 1 0 28358 43 0 0 18 0 9 0 59195275 868835328 59902 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/14779/statm: 212118 59902 2618 9 0 206603 0
[pid=14779/tid=14781] ppid=14775 vsize=848472 CPUtime=277.98
/proc/14779/task/14781/stat : 14781 (java) R 14775 14775 13570 0 -1 64 9403 0 1 0 27786 12 0 0 25 0 9 0 59195276 868835328 59902 996147200 134512640 134550932 4294955408 18446744073709551615 4125208533 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14782] ppid=14775 vsize=848472 CPUtime=5.69
/proc/14779/task/14782/stat : 14782 (java) S 14775 14775 13570 0 -1 64 50086 0 0 0 541 28 0 0 16 0 9 0 59195277 868835328 59902 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14783] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14783/stat : 14783 (java) S 14775 14775 13570 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 59195277 868835328 59902 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14784] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14784/stat : 14784 (java) S 14775 14775 13570 0 -1 64 4 0 0 0 0 0 0 0 16 0 9 0 59195277 868835328 59902 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14785] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14785/stat : 14785 (java) S 14775 14775 13570 0 -1 64 0 0 0 0 0 0 0 0 23 0 9 0 59195280 868835328 59902 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14786] ppid=14775 vsize=848472 CPUtime=0.32
/proc/14779/task/14786/stat : 14786 (java) S 14775 14775 13570 0 -1 64 1344 0 0 0 30 2 0 0 16 0 9 0 59195283 868835328 59902 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14787] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14787/stat : 14787 (java) S 14775 14775 13570 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 59195283 868835328 59902 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=14779/tid=14788] ppid=14775 vsize=848472 CPUtime=0
/proc/14779/task/14788/stat : 14788 (java) S 14775 14775 13570 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 59195283 868835328 59902 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 284.01
Current children cumulated vsize (KiB) 853828
Child status: 0
Real time (s): 285.586
CPU time (s): 284.069
CPU user time (s): 283.591
CPU system time (s): 0.477927
CPU usage (%): 99.4686
Max. virtual memory (cumulated for all children) (KiB): 853828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 283.591
system time used= 0.477927
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 62187
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= 11681
involuntary context switches= 10351
runsolver used 0.361944 second user time and 0.945856 second system time
The end
Begin job on node75 at 2009-07-16 07:15:08
IDJOB=2082496
IDBENCH=57590
IDSOLVER=735
FILE ID=node75/2082496-1247721307
PBS_JOBID= 9521471
Free space on /tmp= 66168 MiB
SOLVER NAME= Concrete 2009-06-10
BENCH NAME= CPAI08/csp/rand-8-20-5/normalized-rand-8-20-5-18-800-11_ext.xml
COMMAND LINE= HOME/concrete.sh -c BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2082496-1247721307/watcher-2082496-1247721307 -o /tmp/evaluation-result-2082496-1247721307/solver-2082496-1247721307 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c HOME/instance-2082496-1247721307.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 9a1e5061af5a11aec5f3135ecda7e6f0
RANDOM SEED=2027379980
node75.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1273224 kB
Buffers: 77032 kB
Cached: 433376 kB
SwapCached: 0 kB
Active: 366184 kB
Inactive: 326056 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1273224 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 23200 kB
Writeback: 0 kB
Mapped: 202232 kB
Slab: 75280 kB
Committed_AS: 718284 kB
PageTables: 2204 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= 66232 MiB
End job on node75 at 2009-07-16 07:19:54