672.32/677.13 c Sat Jul 05 09:44:21 CEST 2008 concrete.ResourceController isOutOfTime
672.32/677.13 c WARNING: Out of time
685.90/690.88 c Sat Jul 05 09:44:35 CEST 2008 concrete.relationconverter.RelationManager strongOptimizeMemory
685.90/690.88 c WARNING: Could not free more memory in relations
750.57/756.17 c CPU-LOAD 678.0
750.57/756.17 c LOADED 1800 V (302 E), 33337 PredicateConstraint, arity 2, 678.0 cpu
753.94/759.55 s UNSATISFIABLE
753.94/759.55 d NODES 0
753.94/759.55 d CHECKS 474485
753.94/759.55 c gac3-effective-revisions: 713
753.94/759.55 c gac3-useless-revisions: 960
753.94/759.55 c prepro-constraint-ccks: 474485
753.94/759.55 c prepro-constraint-presenceccks: 620
753.94/759.55 c prepro-cpu: 0.34
753.94/759.55 c prepro-matrix2d-ccks: 0
753.94/759.55 c prepro-matrix2d-presenceccks: 0
753.94/759.55 c prepro-removed: 85881
753.94/759.55 c total-assgn: 0
753.94/759.55 c total-constraint-ccks: 474485
753.94/759.55 c total-constraint-presence-ccks: 620
753.94/759.55 c total-cpu: 0.34
753.94/759.55 c total-matrix2d-ccks: 0
753.94/759.55 c total-matrix2d-presence-ccks: 0
753.94/759.55 c tuples: 0
753.94/759.55 c tuples-collisions: 0
753.94/759.55 c TOTAL-NODES 0
753.94/759.55 c TOTAL-CPU 0.34
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1087237-1215243184/watcher-1087237-1215243184 -o /tmp/evaluation-result-1087237-1215243184/solver-1087237-1215243184 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 60 HOME/instance-1087237-1215243184.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): 2200 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
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.87 4/72 32643
/proc/meminfo: memFree=1671808/2055920 swapFree=4179916/4192956
[pid=32643] ppid=32641 vsize=5256 CPUtime=0
/proc/32643/stat : 32643 (concrete.sh) R 32641 32643 30996 0 -1 4194304 63 0 0 0 0 0 0 0 22 0 1 0 2003291676 5382144 48 996147200 4194304 4889804 548682068800 18446744073709551615 213113699833 0 0 4096 0 0 0 0 17 1 0 0
/proc/32643/statm: 1314 48 37 169 0 13 0
[startup+0.0713359 s]
/proc/loadavg: 1.92 1.98 1.87 4/72 32643
/proc/meminfo: memFree=1671808/2055920 swapFree=4179916/4192956
[pid=32643] ppid=32641 vsize=5356 CPUtime=0
/proc/32643/stat : 32643 (concrete.sh) S 32641 32643 30996 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2003291676 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32643/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.10134 s]
/proc/loadavg: 1.92 1.98 1.87 4/72 32643
/proc/meminfo: memFree=1671808/2055920 swapFree=4179916/4192956
[pid=32643] ppid=32641 vsize=5356 CPUtime=0
/proc/32643/stat : 32643 (concrete.sh) S 32641 32643 30996 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2003291676 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32643/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301354 s]
/proc/loadavg: 1.92 1.98 1.87 4/72 32643
/proc/meminfo: memFree=1671808/2055920 swapFree=4179916/4192956
[pid=32643] ppid=32641 vsize=5356 CPUtime=0
/proc/32643/stat : 32643 (concrete.sh) S 32641 32643 30996 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2003291676 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32643/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.7014 s]
/proc/loadavg: 1.92 1.98 1.87 4/72 32643
/proc/meminfo: memFree=1671808/2055920 swapFree=4179916/4192956
[pid=32643] ppid=32641 vsize=5356 CPUtime=0
/proc/32643/stat : 32643 (concrete.sh) S 32641 32643 30996 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2003291676 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32643/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50248 s]
/proc/loadavg: 1.92 1.98 1.87 3/82 32654
/proc/meminfo: memFree=1659248/2055920 swapFree=4179916/4192956
[pid=32643] ppid=32641 vsize=5356 CPUtime=0
/proc/32643/stat : 32643 (concrete.sh) S 32641 32643 30996 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2003291676 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32643/statm: 1339 242 201 169 0 50 0
[pid=32646] ppid=32643 vsize=844276 CPUtime=1.48
/proc/32646/stat : 32646 (java) S 32643 32643 30996 0 -1 0 7067 0 1 0 142 6 0 0 18 0 9 0 2003291677 864538624 6158 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32646/statm: 211069 6158 2575 9 0 205630 0
[pid=32646/tid=32647] ppid=32643 vsize=844276 CPUtime=1.16
/proc/32646/task/32647/stat : 32647 (java) R 32643 32643 30996 0 -1 64 3444 0 1 0 113 3 0 0 25 0 9 0 2003291678 864538624 6158 996147200 134512640 134550740 4294956032 18446744073709551615 4125977002 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32648] ppid=32643 vsize=844276 CPUtime=0.15
/proc/32646/task/32648/stat : 32648 (java) S 32643 32643 30996 0 -1 64 2359 0 0 0 14 1 0 0 16 0 9 0 2003291680 864538624 6158 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32649] ppid=32643 vsize=844276 CPUtime=0
/proc/32646/task/32649/stat : 32649 (java) S 32643 32643 30996 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003291680 864538624 6158 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32650] ppid=32643 vsize=844276 CPUtime=0
/proc/32646/task/32650/stat : 32650 (java) S 32643 32643 30996 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 2003291680 864538624 6158 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32651] ppid=32643 vsize=844276 CPUtime=0
/proc/32646/task/32651/stat : 32651 (java) S 32643 32643 30996 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003291682 864538624 6158 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32652] ppid=32643 vsize=844276 CPUtime=0.15
/proc/32646/task/32652/stat : 32652 (java) S 32643 32643 30996 0 -1 64 532 0 0 0 15 0 0 0 16 0 9 0 2003291682 864538624 6158 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32653] ppid=32643 vsize=844276 CPUtime=0
/proc/32646/task/32653/stat : 32653 (java) S 32643 32643 30996 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2003291682 864538624 6158 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32654] ppid=32643 vsize=844276 CPUtime=0
/proc/32646/task/32654/stat : 32654 (java) S 32643 32643 30996 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003291682 864538624 6158 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 849632
[startup+3.10267 s]
/proc/loadavg: 1.92 1.98 1.87 3/82 32654
/proc/meminfo: memFree=1655600/2055920 swapFree=4179916/4192956
[pid=32643] ppid=32641 vsize=5356 CPUtime=0
/proc/32643/stat : 32643 (concrete.sh) S 32641 32643 30996 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2003291676 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32643/statm: 1339 242 201 169 0 50 0
[pid=32646] ppid=32643 vsize=844276 CPUtime=3.08
/proc/32646/stat : 32646 (java) S 32643 32643 30996 0 -1 0 7864 0 1 0 300 8 0 0 18 0 9 0 2003291677 864538624 6802 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32646/statm: 211069 6802 2575 9 0 205630 0
[pid=32646/tid=32647] ppid=32643 vsize=844276 CPUtime=2.59
/proc/32646/task/32647/stat : 32647 (java) R 32643 32643 30996 0 -1 64 3597 0 1 0 256 3 0 0 25 0 9 0 2003291678 864538624 6802 996147200 134512640 134550740 4294956032 18446744073709551615 4125763218 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32648] ppid=32643 vsize=844276 CPUtime=0.3
/proc/32646/task/32648/stat : 32648 (java) S 32643 32643 30996 0 -1 64 3003 0 0 0 28 2 0 0 16 0 9 0 2003291680 864538624 6802 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32649] ppid=32643 vsize=844276 CPUtime=0
/proc/32646/task/32649/stat : 32649 (java) S 32643 32643 30996 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003291680 864538624 6802 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32650] ppid=32643 vsize=844276 CPUtime=0
/proc/32646/task/32650/stat : 32650 (java) S 32643 32643 30996 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 2003291680 864538624 6802 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32651] ppid=32643 vsize=844276 CPUtime=0
/proc/32646/task/32651/stat : 32651 (java) S 32643 32643 30996 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003291682 864538624 6802 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32652] ppid=32643 vsize=844276 CPUtime=0.15
/proc/32646/task/32652/stat : 32652 (java) S 32643 32643 30996 0 -1 64 532 0 0 0 15 0 0 0 16 0 9 0 2003291682 864538624 6802 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32653] ppid=32643 vsize=844276 CPUtime=0
/proc/32646/task/32653/stat : 32653 (java) S 32643 32643 30996 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2003291682 864538624 6802 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32654] ppid=32643 vsize=844276 CPUtime=0
/proc/32646/task/32654/stat : 32654 (java) S 32643 32643 30996 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003291682 864538624 6802 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 849632
[startup+6.30201 s]
/proc/loadavg: 1.93 1.98 1.87 3/82 32654
/proc/meminfo: memFree=1651952/2055920 swapFree=4179916/4192956
[pid=32643] ppid=32641 vsize=5356 CPUtime=0
/proc/32643/stat : 32643 (concrete.sh) S 32641 32643 30996 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2003291676 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32643/statm: 1339 242 201 169 0 50 0
[pid=32646] ppid=32643 vsize=844276 CPUtime=6.27
/proc/32646/stat : 32646 (java) S 32643 32643 30996 0 -1 0 8836 0 1 0 618 9 0 0 18 0 9 0 2003291677 864538624 7533 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32646/statm: 211069 7533 2575 9 0 205630 0
[pid=32646/tid=32647] ppid=32643 vsize=844276 CPUtime=5.64
/proc/32646/task/32647/stat : 32647 (java) R 32643 32643 30996 0 -1 64 3838 0 1 0 560 4 0 0 25 0 9 0 2003291678 864538624 7533 996147200 134512640 134550740 4294956032 18446744073709551615 4125977002 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32648] ppid=32643 vsize=844276 CPUtime=0.45
/proc/32646/task/32648/stat : 32648 (java) S 32643 32643 30996 0 -1 64 3734 0 0 0 42 3 0 0 16 0 9 0 2003291680 864538624 7533 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32649] ppid=32643 vsize=844276 CPUtime=0
/proc/32646/task/32649/stat : 32649 (java) S 32643 32643 30996 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003291680 864538624 7533 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32650] ppid=32643 vsize=844276 CPUtime=0
/proc/32646/task/32650/stat : 32650 (java) S 32643 32643 30996 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 2003291680 864538624 7533 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32651] ppid=32643 vsize=844276 CPUtime=0
/proc/32646/task/32651/stat : 32651 (java) S 32643 32643 30996 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003291682 864538624 7533 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32652] ppid=32643 vsize=844276 CPUtime=0.15
/proc/32646/task/32652/stat : 32652 (java) S 32643 32643 30996 0 -1 64 532 0 0 0 15 0 0 0 16 0 9 0 2003291682 864538624 7533 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32653] ppid=32643 vsize=844276 CPUtime=0
/proc/32646/task/32653/stat : 32653 (java) S 32643 32643 30996 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2003291682 864538624 7533 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32654] ppid=32643 vsize=844276 CPUtime=0
/proc/32646/task/32654/stat : 32654 (java) S 32643 32643 30996 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003291682 864538624 7533 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 849632
[startup+12.7017 s]
/proc/loadavg: 1.93 1.98 1.87 3/82 32654
/proc/meminfo: memFree=1647856/2055920 swapFree=4179916/4192956
[pid=32643] ppid=32641 vsize=5356 CPUtime=0
/proc/32643/stat : 32643 (concrete.sh) S 32641 32643 30996 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2003291676 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32643/statm: 1339 242 201 169 0 50 0
[pid=32646] ppid=32643 vsize=844276 CPUtime=12.67
/proc/32646/stat : 32646 (java) S 32643 32643 30996 0 -1 0 11174 0 1 0 1254 13 0 0 18 0 9 0 2003291677 864538624 8461 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32646/statm: 211069 8461 2575 9 0 205630 0
[pid=32646/tid=32647] ppid=32643 vsize=844276 CPUtime=11.7
/proc/32646/task/32647/stat : 32647 (java) R 32643 32643 30996 0 -1 64 4218 0 1 0 1165 5 0 0 25 0 9 0 2003291678 864538624 8461 996147200 134512640 134550740 4294956032 18446744073709551615 4125741901 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32648] ppid=32643 vsize=844276 CPUtime=0.79
/proc/32646/task/32648/stat : 32648 (java) S 32643 32643 30996 0 -1 64 5692 0 0 0 74 5 0 0 16 0 9 0 2003291680 864538624 8461 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32649] ppid=32643 vsize=844276 CPUtime=0
/proc/32646/task/32649/stat : 32649 (java) S 32643 32643 30996 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003291680 864538624 8461 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32650] ppid=32643 vsize=844276 CPUtime=0
/proc/32646/task/32650/stat : 32650 (java) S 32643 32643 30996 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 2003291680 864538624 8461 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32651] ppid=32643 vsize=844276 CPUtime=0
/proc/32646/task/32651/stat : 32651 (java) S 32643 32643 30996 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003291682 864538624 8461 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32652] ppid=32643 vsize=844276 CPUtime=0.15
/proc/32646/task/32652/stat : 32652 (java) S 32643 32643 30996 0 -1 64 532 0 0 0 15 0 0 0 16 0 9 0 2003291682 864538624 8461 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32653] ppid=32643 vsize=844276 CPUtime=0
/proc/32646/task/32653/stat : 32653 (java) S 32643 32643 30996 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2003291682 864538624 8461 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32654] ppid=32643 vsize=844276 CPUtime=0
/proc/32646/task/32654/stat : 32654 (java) S 32643 32643 30996 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003291682 864538624 8461 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 849632
[startup+25.5021 s]
/proc/loadavg: 1.95 1.98 1.87 3/82 32654
/proc/meminfo: memFree=1643056/2055920 swapFree=4179916/4192956
[pid=32643] ppid=32641 vsize=5356 CPUtime=0
/proc/32643/stat : 32643 (concrete.sh) S 32641 32643 30996 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2003291676 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32643/statm: 1339 242 201 169 0 50 0
[pid=32646] ppid=32643 vsize=844276 CPUtime=25.47
/proc/32646/stat : 32646 (java) S 32643 32643 30996 0 -1 0 12782 0 1 0 2529 18 0 0 18 0 9 0 2003291677 864538624 9637 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32646/statm: 211069 9637 2575 9 0 205630 0
[pid=32646/tid=32647] ppid=32643 vsize=844276 CPUtime=24.13
/proc/32646/task/32647/stat : 32647 (java) R 32643 32643 30996 0 -1 64 4650 0 1 0 2406 7 0 0 25 0 9 0 2003291678 864538624 9637 996147200 134512640 134550740 4294956032 18446744073709551615 4125979055 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32648] ppid=32643 vsize=844276 CPUtime=1.16
/proc/32646/task/32648/stat : 32648 (java) S 32643 32643 30996 0 -1 64 6868 0 0 0 107 9 0 0 16 0 9 0 2003291680 864538624 9637 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32649] ppid=32643 vsize=844276 CPUtime=0
/proc/32646/task/32649/stat : 32649 (java) S 32643 32643 30996 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003291680 864538624 9637 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32650] ppid=32643 vsize=844276 CPUtime=0
/proc/32646/task/32650/stat : 32650 (java) S 32643 32643 30996 0 -1 64 6 0 0 0 0 0 0 0 15 0 9 0 2003291680 864538624 9637 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32651] ppid=32643 vsize=844276 CPUtime=0
/proc/32646/task/32651/stat : 32651 (java) S 32643 32643 30996 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003291682 864538624 9637 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32652] ppid=32643 vsize=844276 CPUtime=0.15
/proc/32646/task/32652/stat : 32652 (java) S 32643 32643 30996 0 -1 64 532 0 0 0 15 0 0 0 16 0 9 0 2003291682 864538624 9637 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=32653] ppid=32643 vsize=844276 CPUtime=0
/proc/32646/task/32653/stat : 32653 (java) S 32643 32643 30996 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2003291682 864538624 9637 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32654] ppid=32643 vsize=844276 CPUtime=0
/proc/32646/task/32654/stat : 32654 (java) S 32643 32643 30996 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003291682 864538624 9637 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 849632
[startup+51.1029 s]
/proc/loadavg: 2.04 2.00 1.88 3/82 32681
/proc/meminfo: memFree=1643248/2055920 swapFree=4179916/4192956
[pid=32643] ppid=32641 vsize=5356 CPUtime=0
################
# More data... #
################
[pid=32646/tid=32650] ppid=32643 vsize=850896 CPUtime=0
/proc/32646/task/32650/stat : 32650 (java) S 32643 32643 30996 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 2003291680 871317504 187749 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32651] ppid=32643 vsize=850896 CPUtime=0
/proc/32646/task/32651/stat : 32651 (java) S 32643 32643 30996 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2003291682 871317504 187749 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32652] ppid=32643 vsize=850896 CPUtime=2.51
/proc/32646/task/32652/stat : 32652 (java) S 32643 32643 30996 0 -1 64 3201 0 0 0 246 5 0 0 15 0 10 0 2003291682 871317504 187749 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32653] ppid=32643 vsize=850896 CPUtime=0
/proc/32646/task/32653/stat : 32653 (java) S 32643 32643 30996 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2003291682 871317504 187749 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32654] ppid=32643 vsize=850896 CPUtime=0
/proc/32646/task/32654/stat : 32654 (java) R 32643 32643 30996 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 2003291682 871317504 187749 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=377] ppid=32643 vsize=850896 CPUtime=0
/proc/32646/task/377/stat : 377 (java) S 32643 32643 30996 0 -1 64 1 0 0 0 0 0 0 0 16 0 10 0 2003361137 871317504 187749 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 736.91
Current children cumulated vsize (KiB) 856252
[startup+748.701 s]
/proc/loadavg: 2.48 2.16 1.98 4/92 377
/proc/meminfo: memFree=904400/2055920 swapFree=4179916/4192956
[pid=32643] ppid=32641 vsize=5356 CPUtime=0
/proc/32643/stat : 32643 (concrete.sh) S 32641 32643 30996 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2003291676 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32643/statm: 1339 242 201 169 0 50 0
[pid=32646] ppid=32643 vsize=850896 CPUtime=743.24
/proc/32646/stat : 32646 (java) S 32643 32643 30996 0 -1 0 201066 0 1 0 74132 192 0 0 18 0 10 0 2003291677 871317504 187749 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32646/statm: 212724 187749 2599 9 0 207284 0
[pid=32646/tid=32647] ppid=32643 vsize=850896 CPUtime=676.34
/proc/32646/task/32647/stat : 32647 (java) R 32643 32643 30996 0 -1 64 17582 0 1 0 67578 56 0 0 22 0 10 0 2003291678 871317504 187749 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32648] ppid=32643 vsize=850896 CPUtime=64.35
/proc/32646/task/32648/stat : 32648 (java) R 32643 32643 30996 0 -1 64 179540 0 0 0 6306 129 0 0 17 0 10 0 2003291680 871317504 187749 996147200 134512640 134550740 4294956032 18446744073709551615 104181375 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32649] ppid=32643 vsize=850896 CPUtime=0
/proc/32646/task/32649/stat : 32649 (java) S 32643 32643 30996 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 2003291680 871317504 187749 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32650] ppid=32643 vsize=850896 CPUtime=0
/proc/32646/task/32650/stat : 32650 (java) S 32643 32643 30996 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 2003291680 871317504 187749 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32651] ppid=32643 vsize=850896 CPUtime=0
/proc/32646/task/32651/stat : 32651 (java) S 32643 32643 30996 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2003291682 871317504 187749 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32652] ppid=32643 vsize=850896 CPUtime=2.52
/proc/32646/task/32652/stat : 32652 (java) S 32643 32643 30996 0 -1 64 3201 0 0 0 247 5 0 0 15 0 10 0 2003291682 871317504 187749 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32653] ppid=32643 vsize=850896 CPUtime=0
/proc/32646/task/32653/stat : 32653 (java) S 32643 32643 30996 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2003291682 871317504 187749 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32654] ppid=32643 vsize=850896 CPUtime=0
/proc/32646/task/32654/stat : 32654 (java) S 32643 32643 30996 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 2003291682 871317504 187749 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=377] ppid=32643 vsize=850896 CPUtime=0
/proc/32646/task/377/stat : 377 (java) S 32643 32643 30996 0 -1 64 1 0 0 0 0 0 0 0 16 0 10 0 2003361137 871317504 187749 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 743.24
Current children cumulated vsize (KiB) 856252
[startup+755.103 s]
/proc/loadavg: 2.48 2.17 1.99 4/92 377
/proc/meminfo: memFree=904016/2055920 swapFree=4179916/4192956
[pid=32643] ppid=32641 vsize=5356 CPUtime=0
/proc/32643/stat : 32643 (concrete.sh) S 32641 32643 30996 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2003291676 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32643/statm: 1339 242 201 169 0 50 0
[pid=32646] ppid=32643 vsize=850896 CPUtime=749.58
/proc/32646/stat : 32646 (java) S 32643 32643 30996 0 -1 0 201068 0 1 0 74766 192 0 0 18 0 10 0 2003291677 871317504 187749 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32646/statm: 212724 187749 2599 9 0 207284 0
[pid=32646/tid=32647] ppid=32643 vsize=850896 CPUtime=677.99
/proc/32646/task/32647/stat : 32647 (java) R 32643 32643 30996 0 -1 64 17584 0 1 0 67743 56 0 0 23 0 10 0 2003291678 871317504 187749 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32648] ppid=32643 vsize=850896 CPUtime=69.03
/proc/32646/task/32648/stat : 32648 (java) R 32643 32643 30996 0 -1 64 179540 0 0 0 6774 129 0 0 17 0 10 0 2003291680 871317504 187749 996147200 134512640 134550740 4294956032 18446744073709551615 104180117 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32649] ppid=32643 vsize=850896 CPUtime=0
/proc/32646/task/32649/stat : 32649 (java) S 32643 32643 30996 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 2003291680 871317504 187749 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32650] ppid=32643 vsize=850896 CPUtime=0
/proc/32646/task/32650/stat : 32650 (java) S 32643 32643 30996 0 -1 64 10 0 0 0 0 0 0 0 16 0 10 0 2003291680 871317504 187749 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32651] ppid=32643 vsize=850896 CPUtime=0
/proc/32646/task/32651/stat : 32651 (java) S 32643 32643 30996 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 2003291682 871317504 187749 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32652] ppid=32643 vsize=850896 CPUtime=2.53
/proc/32646/task/32652/stat : 32652 (java) S 32643 32643 30996 0 -1 64 3201 0 0 0 248 5 0 0 16 0 10 0 2003291682 871317504 187749 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32653] ppid=32643 vsize=850896 CPUtime=0
/proc/32646/task/32653/stat : 32653 (java) S 32643 32643 30996 0 -1 64 0 0 0 0 0 0 0 0 18 0 10 0 2003291682 871317504 187749 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32654] ppid=32643 vsize=850896 CPUtime=0
/proc/32646/task/32654/stat : 32654 (java) S 32643 32643 30996 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 2003291682 871317504 187749 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=32646/tid=377] ppid=32643 vsize=850896 CPUtime=0
/proc/32646/task/377/stat : 377 (java) S 32643 32643 30996 0 -1 64 1 0 0 0 0 0 0 0 16 0 10 0 2003361137 871317504 187749 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 749.58
Current children cumulated vsize (KiB) 856252
[startup+758.301 s]
/proc/loadavg: 2.48 2.17 1.99 3/91 377
/proc/meminfo: memFree=903824/2055920 swapFree=4179916/4192956
[pid=32643] ppid=32641 vsize=5356 CPUtime=0
/proc/32643/stat : 32643 (concrete.sh) S 32641 32643 30996 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2003291676 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32643/statm: 1339 242 201 169 0 50 0
[pid=32646] ppid=32643 vsize=850896 CPUtime=752.75
/proc/32646/stat : 32646 (java) S 32643 32643 30996 0 -1 0 201072 0 1 0 75083 192 0 0 18 0 9 0 2003291677 871317504 187751 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32646/statm: 212724 187751 2599 9 0 207284 0
[pid=32646/tid=32647] ppid=32643 vsize=850896 CPUtime=678.12
/proc/32646/task/32647/stat : 32647 (java) S 32643 32643 30996 0 -1 64 17588 0 1 0 67756 56 0 0 17 0 9 0 2003291678 871317504 187751 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32648] ppid=32643 vsize=850896 CPUtime=72.06
/proc/32646/task/32648/stat : 32648 (java) R 32643 32643 30996 0 -1 64 179540 0 0 0 7077 129 0 0 22 0 9 0 2003291680 871317504 187751 996147200 134512640 134550740 4294956032 18446744073709551615 104457013 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32649] ppid=32643 vsize=850896 CPUtime=0
/proc/32646/task/32649/stat : 32649 (java) S 32643 32643 30996 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003291680 871317504 187751 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32650] ppid=32643 vsize=850896 CPUtime=0
/proc/32646/task/32650/stat : 32650 (java) S 32643 32643 30996 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2003291680 871317504 187751 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32651] ppid=32643 vsize=850896 CPUtime=0
/proc/32646/task/32651/stat : 32651 (java) S 32643 32643 30996 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003291682 871317504 187751 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32652] ppid=32643 vsize=850896 CPUtime=2.54
/proc/32646/task/32652/stat : 32652 (java) S 32643 32643 30996 0 -1 64 3201 0 0 0 249 5 0 0 16 0 9 0 2003291682 871317504 187751 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32653] ppid=32643 vsize=850896 CPUtime=0
/proc/32646/task/32653/stat : 32653 (java) S 32643 32643 30996 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2003291682 871317504 187751 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32654] ppid=32643 vsize=850896 CPUtime=0
/proc/32646/task/32654/stat : 32654 (java) S 32643 32643 30996 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003291682 871317504 187751 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 752.75
Current children cumulated vsize (KiB) 856252
[startup+759.102 s]
/proc/loadavg: 2.44 2.17 1.99 3/91 377
/proc/meminfo: memFree=903760/2055920 swapFree=4179916/4192956
[pid=32643] ppid=32641 vsize=5356 CPUtime=0
/proc/32643/stat : 32643 (concrete.sh) S 32641 32643 30996 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2003291676 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32643/statm: 1339 242 201 169 0 50 0
[pid=32646] ppid=32643 vsize=850896 CPUtime=753.54
/proc/32646/stat : 32646 (java) S 32643 32643 30996 0 -1 0 201072 0 1 0 75162 192 0 0 18 0 9 0 2003291677 871317504 187751 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32646/statm: 212724 187751 2599 9 0 207284 0
[pid=32646/tid=32647] ppid=32643 vsize=850896 CPUtime=678.12
/proc/32646/task/32647/stat : 32647 (java) S 32643 32643 30996 0 -1 64 17588 0 1 0 67756 56 0 0 17 0 9 0 2003291678 871317504 187751 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32648] ppid=32643 vsize=850896 CPUtime=72.85
/proc/32646/task/32648/stat : 32648 (java) R 32643 32643 30996 0 -1 64 179540 0 0 0 7156 129 0 0 25 0 9 0 2003291680 871317504 187751 996147200 134512640 134550740 4294956032 18446744073709551615 104182546 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32649] ppid=32643 vsize=850896 CPUtime=0
/proc/32646/task/32649/stat : 32649 (java) S 32643 32643 30996 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003291680 871317504 187751 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32650] ppid=32643 vsize=850896 CPUtime=0
/proc/32646/task/32650/stat : 32650 (java) S 32643 32643 30996 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 2003291680 871317504 187751 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32651] ppid=32643 vsize=850896 CPUtime=0
/proc/32646/task/32651/stat : 32651 (java) S 32643 32643 30996 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003291682 871317504 187751 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32652] ppid=32643 vsize=850896 CPUtime=2.54
/proc/32646/task/32652/stat : 32652 (java) S 32643 32643 30996 0 -1 64 3201 0 0 0 249 5 0 0 16 0 9 0 2003291682 871317504 187751 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32653] ppid=32643 vsize=850896 CPUtime=0
/proc/32646/task/32653/stat : 32653 (java) S 32643 32643 30996 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2003291682 871317504 187751 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32654] ppid=32643 vsize=850896 CPUtime=0
/proc/32646/task/32654/stat : 32654 (java) S 32643 32643 30996 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003291682 871317504 187751 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 753.54
Current children cumulated vsize (KiB) 856252
[startup+759.502 s]
/proc/loadavg: 2.44 2.17 1.99 3/91 377
/proc/meminfo: memFree=903760/2055920 swapFree=4179916/4192956
[pid=32643] ppid=32641 vsize=5356 CPUtime=0
/proc/32643/stat : 32643 (concrete.sh) S 32641 32643 30996 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2003291676 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32643/statm: 1339 242 201 169 0 50 0
[pid=32646] ppid=32643 vsize=850896 CPUtime=753.94
/proc/32646/stat : 32646 (java) S 32643 32643 30996 0 -1 0 201074 0 1 0 75202 192 0 0 18 0 9 0 2003291677 871317504 187751 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32646/statm: 212724 187751 2599 9 0 207284 0
[pid=32646/tid=32647] ppid=32643 vsize=850896 CPUtime=678.42
/proc/32646/task/32647/stat : 32647 (java) R 32643 32643 30996 0 -1 64 17590 0 1 0 67786 56 0 0 20 0 9 0 2003291678 871317504 187751 996147200 134512640 134550740 4294956032 18446744073709551615 4125257412 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32648] ppid=32643 vsize=850896 CPUtime=72.9
/proc/32646/task/32648/stat : 32648 (java) S 32643 32643 30996 0 -1 64 179540 0 0 0 7161 129 0 0 25 0 9 0 2003291680 871317504 187751 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32649] ppid=32643 vsize=850896 CPUtime=0
/proc/32646/task/32649/stat : 32649 (java) S 32643 32643 30996 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 2003291680 871317504 187751 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32650] ppid=32643 vsize=850896 CPUtime=0
/proc/32646/task/32650/stat : 32650 (java) S 32643 32643 30996 0 -1 64 10 0 0 0 0 0 0 0 15 0 9 0 2003291680 871317504 187751 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32651] ppid=32643 vsize=850896 CPUtime=0
/proc/32646/task/32651/stat : 32651 (java) S 32643 32643 30996 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 2003291682 871317504 187751 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32652] ppid=32643 vsize=850896 CPUtime=2.59
/proc/32646/task/32652/stat : 32652 (java) S 32643 32643 30996 0 -1 64 3201 0 0 0 254 5 0 0 15 0 9 0 2003291682 871317504 187751 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32653] ppid=32643 vsize=850896 CPUtime=0
/proc/32646/task/32653/stat : 32653 (java) S 32643 32643 30996 0 -1 64 0 0 0 0 0 0 0 0 18 0 9 0 2003291682 871317504 187751 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=32646/tid=32654] ppid=32643 vsize=850896 CPUtime=0
/proc/32646/task/32654/stat : 32654 (java) S 32643 32643 30996 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 2003291682 871317504 187751 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 753.94
Current children cumulated vsize (KiB) 856252
[startup+759.703 s]
/proc/loadavg: 2.44 2.17 1.99 3/91 377
/proc/meminfo: memFree=903760/2055920 swapFree=4179916/4192956
[pid=32643] ppid=32641 vsize=5356 CPUtime=0
/proc/32643/stat : 32643 (concrete.sh) S 32641 32643 30996 0 -1 4194304 316 128 0 0 0 0 0 0 18 0 1 0 2003291676 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 213116314436 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/32643/statm: 1339 242 201 169 0 50 0
[pid=32646] ppid=32643 vsize=0 CPUtime=754.1
/proc/32646/stat : 32646 (java) Z 32643 32643 30996 0 -1 12 201083 0 1 0 75207 203 0 0 16 0 2 0 2003291677 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/32646/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 754.1
Current children cumulated vsize (KiB) 5356
Child status: 0
Real time (s): 759.712
CPU time (s): 754.128
CPU user time (s): 752.08
CPU system time (s): 2.04869
CPU usage (%): 99.2651
Max. virtual memory (cumulated for all children) (KiB): 856252
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 752.08
system time used= 2.04869
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 201536
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= 75552
involuntary context switches= 84540
runsolver used 1.01984 second user time and 2.48962 second system time
The end
Begin job on node37 at 2008-07-05 09:33:04
IDJOB=1087237
IDBENCH=57957
IDSOLVER=305
FILE ID=node37/1087237-1215243184
PBS_JOBID= 7881880
Free space on /tmp= 66544 MiB
SOLVER NAME= Concrete + CPS4J 2008-05-30
BENCH NAME= CPAI08/csp/fapp/fapp23/normalized-fapp23-1800-2.xml
COMMAND LINE= HOME/concrete.sh -c -ext 60 BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1087237-1215243184/watcher-1087237-1215243184 -o /tmp/evaluation-result-1087237-1215243184/solver-1087237-1215243184 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 60 HOME/instance-1087237-1215243184.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= bb609ab61b1c53ea692a6968186c1670
RANDOM SEED=1298078069
node37.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.236
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1672288 kB
Buffers: 45816 kB
Cached: 195420 kB
SwapCached: 6964 kB
Active: 233164 kB
Inactive: 89776 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1672288 kB
SwapTotal: 4192956 kB
SwapFree: 4179916 kB
Dirty: 9600 kB
Writeback: 0 kB
Mapped: 89060 kB
Slab: 45936 kB
Committed_AS: 3652476 kB
PageTables: 1936 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264884 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66540 MiB
End job on node37 at 2008-07-05 09:45:44