30.78/31.18 c CPU-LOAD 30.26
30.78/31.18 c LOADED 21 V (2 E), 2713 ExtensionConstraintGeneral, arity 15, 30.26 cpu
119.33/120.54 v 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 0 0 0
119.33/120.54 s SATISFIABLE
119.33/120.54 d NODES 2190
119.33/120.54 d CHECKS 120109731
119.33/120.54 c gac3-effective-revisions: 17216
119.33/120.54 c gac3-useless-revisions: 67703639
119.33/120.54 c heuristic-cpu: 0.0
119.33/120.54 c prepro-constraint-ccks: 198049
119.33/120.54 c prepro-constraint-presenceccks: 43408
119.33/120.54 c prepro-cpu: 0.08
119.33/120.54 c prepro-matrix2d-ccks: 0
119.33/120.54 c prepro-matrix2d-presenceccks: 0
119.33/120.54 c prepro-removed: 0
119.33/120.54 c search-cpu: 88.29
119.33/120.54 c total-assgn: 2190
119.33/120.54 c total-constraint-ccks: 120109731
119.33/120.54 c total-constraint-presence-ccks: 119618646
119.33/120.54 c total-cpu: 88.37
119.33/120.54 c total-matrix2d-ccks: 0
119.33/120.54 c total-matrix2d-presence-ccks: 0
119.33/120.54 c tuples: 0
119.33/120.54 c tuples-collisions: 0
119.33/120.54 c TOTAL-NODES 2190
119.33/120.54 c TOTAL-CPU 88.37
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1047528-1215040381/watcher-1047528-1215040381 -o /tmp/evaluation-result-1047528-1215040381/solver-1047528-1215040381 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 60 HOME/instance-1047528-1215040381.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: 2.33 1.96 1.22 4/81 14259
/proc/meminfo: memFree=758432/2055920 swapFree=4110308/4192956
[pid=14259] ppid=14257 vsize=5356 CPUtime=0
/proc/14259/stat : 14259 (concrete.sh) S 14257 14259 13842 0 -1 4194304 270 0 0 0 0 0 0 0 23 0 1 0 1533714350 5484544 230 996147200 4194304 4889804 548682068800 18446744073709551615 215419158610 0 0 4100 65536 18446744071563648864 0 0 17 1 0 0
/proc/14259/statm: 1339 230 191 169 0 50 0
[pid=14260] ppid=14259 vsize=5356 CPUtime=0
/proc/14260/stat : 14260 (concrete.sh) R 14259 14259 13842 0 -1 4194368 24 0 0 0 0 0 0 0 24 0 1 0 1533714351 5484544 234 996147200 4194304 4889804 548682068800 18446744073709551615 215419157093 0 2147483391 4096 65538 0 0 0 17 1 0 0
/proc/14260/statm: 1339 234 195 169 0 50 0
[startup+0.102831 s]
/proc/loadavg: 2.33 1.96 1.22 4/81 14259
/proc/meminfo: memFree=758432/2055920 swapFree=4110308/4192956
[pid=14259] ppid=14257 vsize=5356 CPUtime=0
/proc/14259/stat : 14259 (concrete.sh) S 14257 14259 13842 0 -1 4194304 316 128 0 0 0 0 0 0 24 0 1 0 1533714350 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14259/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.201851 s]
/proc/loadavg: 2.33 1.96 1.22 4/81 14259
/proc/meminfo: memFree=758432/2055920 swapFree=4110308/4192956
[pid=14259] ppid=14257 vsize=5356 CPUtime=0
/proc/14259/stat : 14259 (concrete.sh) S 14257 14259 13842 0 -1 4194304 316 128 0 0 0 0 0 0 24 0 1 0 1533714350 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14259/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301868 s]
/proc/loadavg: 2.33 1.96 1.22 4/81 14259
/proc/meminfo: memFree=758432/2055920 swapFree=4110308/4192956
[pid=14259] ppid=14257 vsize=5356 CPUtime=0
/proc/14259/stat : 14259 (concrete.sh) S 14257 14259 13842 0 -1 4194304 316 128 0 0 0 0 0 0 24 0 1 0 1533714350 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14259/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701943 s]
/proc/loadavg: 2.33 1.96 1.22 4/81 14259
/proc/meminfo: memFree=758432/2055920 swapFree=4110308/4192956
[pid=14259] ppid=14257 vsize=5356 CPUtime=0
/proc/14259/stat : 14259 (concrete.sh) S 14257 14259 13842 0 -1 4194304 316 128 0 0 0 0 0 0 24 0 1 0 1533714350 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14259/statm: 1339 242 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.5021 s]
/proc/loadavg: 2.33 1.96 1.22 3/91 14270
/proc/meminfo: memFree=746192/2055920 swapFree=4110308/4192956
[pid=14259] ppid=14257 vsize=5356 CPUtime=0
/proc/14259/stat : 14259 (concrete.sh) S 14257 14259 13842 0 -1 4194304 316 128 0 0 0 0 0 0 24 0 1 0 1533714350 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14259/statm: 1339 242 201 169 0 50 0
[pid=14262] ppid=14259 vsize=844100 CPUtime=1.46
/proc/14262/stat : 14262 (java) S 14259 14259 13842 0 -1 0 5259 0 1 0 142 4 0 0 18 0 9 0 1533714351 864358400 4629 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14262/statm: 211025 4629 1820 9 0 205593 0
[pid=14262/tid=14263] ppid=14259 vsize=844100 CPUtime=1.27
/proc/14262/task/14263/stat : 14263 (java) R 14259 14259 13842 0 -1 64 3044 0 1 0 125 2 0 0 25 0 9 0 1533714352 864358400 4629 996147200 134512640 134550740 4294956032 18446744073709551615 4125718374 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14264] ppid=14259 vsize=844100 CPUtime=0.04
/proc/14262/task/14264/stat : 14264 (java) S 14259 14259 13842 0 -1 64 995 0 0 0 4 0 0 0 16 0 9 0 1533714353 864358400 4629 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14265] ppid=14259 vsize=844100 CPUtime=0
/proc/14262/task/14265/stat : 14265 (java) S 14259 14259 13842 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1533714353 864358400 4629 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14266] ppid=14259 vsize=844100 CPUtime=0
/proc/14262/task/14266/stat : 14266 (java) S 14259 14259 13842 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1533714353 864358400 4629 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14267] ppid=14259 vsize=844100 CPUtime=0
/proc/14262/task/14267/stat : 14267 (java) S 14259 14259 13842 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1533714356 864358400 4629 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14268] ppid=14259 vsize=844100 CPUtime=0.12
/proc/14262/task/14268/stat : 14268 (java) S 14259 14259 13842 0 -1 64 488 0 0 0 12 0 0 0 16 0 9 0 1533714356 864358400 4629 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14269] ppid=14259 vsize=844100 CPUtime=0
/proc/14262/task/14269/stat : 14269 (java) S 14259 14259 13842 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1533714356 864358400 4629 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14270] ppid=14259 vsize=844100 CPUtime=0
/proc/14262/task/14270/stat : 14270 (java) S 14259 14259 13842 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1533714356 864358400 4629 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 849456
[startup+3.1014 s]
/proc/loadavg: 2.33 1.96 1.22 3/91 14270
/proc/meminfo: memFree=743696/2055920 swapFree=4110308/4192956
[pid=14259] ppid=14257 vsize=5356 CPUtime=0
/proc/14259/stat : 14259 (concrete.sh) S 14257 14259 13842 0 -1 4194304 316 128 0 0 0 0 0 0 24 0 1 0 1533714350 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14259/statm: 1339 242 201 169 0 50 0
[pid=14262] ppid=14259 vsize=844216 CPUtime=3.05
/proc/14262/stat : 14262 (java) S 14259 14259 13842 0 -1 0 6537 0 1 0 300 5 0 0 18 0 9 0 1533714351 864477184 5669 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14262/statm: 211054 5669 2566 9 0 205622 0
[pid=14262/tid=14263] ppid=14259 vsize=844216 CPUtime=2.77
/proc/14262/task/14263/stat : 14263 (java) R 14259 14259 13842 0 -1 64 3103 0 1 0 275 2 0 0 25 0 9 0 1533714352 864477184 5669 996147200 134512640 134550740 4294956032 18446744073709551615 4125231270 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14264] ppid=14259 vsize=844216 CPUtime=0.12
/proc/14262/task/14264/stat : 14264 (java) S 14259 14259 13842 0 -1 64 2197 0 0 0 11 1 0 0 16 0 9 0 1533714353 864477184 5669 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14265] ppid=14259 vsize=844216 CPUtime=0
/proc/14262/task/14265/stat : 14265 (java) S 14259 14259 13842 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1533714353 864477184 5669 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14266] ppid=14259 vsize=844216 CPUtime=0
/proc/14262/task/14266/stat : 14266 (java) S 14259 14259 13842 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1533714353 864477184 5669 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14267] ppid=14259 vsize=844216 CPUtime=0
/proc/14262/task/14267/stat : 14267 (java) S 14259 14259 13842 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1533714356 864477184 5669 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14268] ppid=14259 vsize=844216 CPUtime=0.13
/proc/14262/task/14268/stat : 14268 (java) S 14259 14259 13842 0 -1 64 505 0 0 0 13 0 0 0 16 0 9 0 1533714356 864477184 5669 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14269] ppid=14259 vsize=844216 CPUtime=0
/proc/14262/task/14269/stat : 14269 (java) S 14259 14259 13842 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1533714356 864477184 5669 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14270] ppid=14259 vsize=844216 CPUtime=0
/proc/14262/task/14270/stat : 14270 (java) S 14259 14259 13842 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1533714356 864477184 5669 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 849572
[startup+6.30301 s]
/proc/loadavg: 2.38 1.98 1.23 3/92 14272
/proc/meminfo: memFree=730184/2055920 swapFree=4110308/4192956
[pid=14259] ppid=14257 vsize=5356 CPUtime=0
/proc/14259/stat : 14259 (concrete.sh) S 14257 14259 13842 0 -1 4194304 316 128 0 0 0 0 0 0 24 0 1 0 1533714350 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14259/statm: 1339 242 201 169 0 50 0
[pid=14262] ppid=14259 vsize=845248 CPUtime=6.22
/proc/14262/stat : 14262 (java) S 14259 14259 13842 0 -1 0 9333 0 1 0 615 7 0 0 18 0 10 0 1533714351 865533952 8429 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14262/statm: 211312 8429 2571 9 0 205879 0
[pid=14262/tid=14263] ppid=14259 vsize=845248 CPUtime=5.72
/proc/14262/task/14263/stat : 14263 (java) R 14259 14259 13842 0 -1 64 3207 0 1 0 570 2 0 0 25 0 10 0 1533714352 865533952 8429 996147200 134512640 134550740 4294956032 18446744073709551615 102882110 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14264] ppid=14259 vsize=845248 CPUtime=0.3
/proc/14262/task/14264/stat : 14264 (java) S 14259 14259 13842 0 -1 64 4862 0 0 0 28 2 0 0 16 0 10 0 1533714353 865533952 8429 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14265] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14265/stat : 14265 (java) S 14259 14259 13842 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1533714353 865533952 8429 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14266] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14266/stat : 14266 (java) S 14259 14259 13842 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 1533714353 865533952 8429 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14267] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14267/stat : 14267 (java) S 14259 14259 13842 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1533714356 865533952 8429 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14268] ppid=14259 vsize=845248 CPUtime=0.16
/proc/14262/task/14268/stat : 14268 (java) S 14259 14259 13842 0 -1 64 527 0 0 0 16 0 0 0 16 0 10 0 1533714356 865533952 8429 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14269] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14269/stat : 14269 (java) S 14259 14259 13842 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1533714356 865533952 8429 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14270] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14270/stat : 14270 (java) S 14259 14259 13842 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1533714356 865533952 8429 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14272] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14272/stat : 14272 (java) S 14259 14259 13842 0 -1 64 0 0 0 0 0 0 0 0 24 0 10 0 1533714730 865533952 8429 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 850604
[startup+12.7012 s]
/proc/loadavg: 2.43 2.00 1.24 3/92 14272
/proc/meminfo: memFree=725512/2055920 swapFree=4110308/4192956
[pid=14259] ppid=14257 vsize=5356 CPUtime=0
/proc/14259/stat : 14259 (concrete.sh) S 14257 14259 13842 0 -1 4194304 316 128 0 0 0 0 0 0 24 0 1 0 1533714350 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14259/statm: 1339 242 201 169 0 50 0
[pid=14262] ppid=14259 vsize=845248 CPUtime=12.56
/proc/14262/stat : 14262 (java) S 14259 14259 13842 0 -1 0 9333 0 1 0 1249 7 0 0 18 0 10 0 1533714351 865533952 8429 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14262/statm: 211312 8429 2571 9 0 205879 0
[pid=14262/tid=14263] ppid=14259 vsize=845248 CPUtime=12.06
/proc/14262/task/14263/stat : 14263 (java) R 14259 14259 13842 0 -1 64 3207 0 1 0 1204 2 0 0 25 0 10 0 1533714352 865533952 8429 996147200 134512640 134550740 4294956032 18446744073709551615 4126015245 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14264] ppid=14259 vsize=845248 CPUtime=0.3
/proc/14262/task/14264/stat : 14264 (java) S 14259 14259 13842 0 -1 64 4862 0 0 0 28 2 0 0 16 0 10 0 1533714353 865533952 8429 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14265] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14265/stat : 14265 (java) S 14259 14259 13842 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1533714353 865533952 8429 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14266] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14266/stat : 14266 (java) S 14259 14259 13842 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 1533714353 865533952 8429 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14267] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14267/stat : 14267 (java) S 14259 14259 13842 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1533714356 865533952 8429 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14268] ppid=14259 vsize=845248 CPUtime=0.16
/proc/14262/task/14268/stat : 14268 (java) S 14259 14259 13842 0 -1 64 527 0 0 0 16 0 0 0 16 0 10 0 1533714356 865533952 8429 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14269] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14269/stat : 14269 (java) S 14259 14259 13842 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1533714356 865533952 8429 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14270] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14270/stat : 14270 (java) S 14259 14259 13842 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1533714356 865533952 8429 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14272] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14272/stat : 14272 (java) S 14259 14259 13842 0 -1 64 0 0 0 0 0 0 0 0 24 0 10 0 1533714730 865533952 8429 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.56
Current children cumulated vsize (KiB) 850604
[startup+25.5027 s]
/proc/loadavg: 2.42 2.01 1.25 3/92 14272
/proc/meminfo: memFree=716424/2055920 swapFree=4110308/4192956
[pid=14259] ppid=14257 vsize=5356 CPUtime=0
/proc/14259/stat : 14259 (concrete.sh) S 14257 14259 13842 0 -1 4194304 316 128 0 0 0 0 0 0 24 0 1 0 1533714350 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14259/statm: 1339 242 201 169 0 50 0
[pid=14262] ppid=14259 vsize=845248 CPUtime=25.23
/proc/14262/stat : 14262 (java) S 14259 14259 13842 0 -1 0 9334 0 1 0 2516 7 0 0 18 0 10 0 1533714351 865533952 8430 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14262/statm: 211312 8430 2571 9 0 205879 0
[pid=14262/tid=14263] ppid=14259 vsize=845248 CPUtime=24.73
/proc/14262/task/14263/stat : 14263 (java) R 14259 14259 13842 0 -1 64 3207 0 1 0 2471 2 0 0 25 0 10 0 1533714352 865533952 8430 996147200 134512640 134550740 4294956032 18446744073709551615 4126064626 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14264] ppid=14259 vsize=845248 CPUtime=0.3
/proc/14262/task/14264/stat : 14264 (java) S 14259 14259 13842 0 -1 64 4862 0 0 0 28 2 0 0 16 0 10 0 1533714353 865533952 8430 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14265] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14265/stat : 14265 (java) S 14259 14259 13842 0 -1 64 13 0 0 0 0 0 0 0 16 0 10 0 1533714353 865533952 8430 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14266] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14266/stat : 14266 (java) S 14259 14259 13842 0 -1 64 6 0 0 0 0 0 0 0 16 0 10 0 1533714353 865533952 8430 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14267] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14267/stat : 14267 (java) S 14259 14259 13842 0 -1 64 1 0 0 0 0 0 0 0 18 0 10 0 1533714356 865533952 8430 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14268] ppid=14259 vsize=845248 CPUtime=0.16
/proc/14262/task/14268/stat : 14268 (java) S 14259 14259 13842 0 -1 64 528 0 0 0 16 0 0 0 16 0 10 0 1533714356 865533952 8430 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14269] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14269/stat : 14269 (java) S 14259 14259 13842 0 -1 64 0 0 0 0 0 0 0 0 19 0 10 0 1533714356 865533952 8430 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14270] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14270/stat : 14270 (java) S 14259 14259 13842 0 -1 64 2 0 0 0 0 0 0 0 15 0 10 0 1533714356 865533952 8430 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
Current children cumulated CPU time (s) 107.75
Current children cumulated vsize (KiB) 850604
[startup+115.202 s]
/proc/loadavg: 2.43 2.16 1.37 3/91 14273
/proc/meminfo: memFree=654344/2055920 swapFree=4110308/4192956
[pid=14259] ppid=14257 vsize=5356 CPUtime=0
/proc/14259/stat : 14259 (concrete.sh) S 14257 14259 13842 0 -1 4194304 316 128 0 0 0 0 0 0 24 0 1 0 1533714350 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14259/statm: 1339 242 201 169 0 50 0
[pid=14262] ppid=14259 vsize=845248 CPUtime=114.09
/proc/14262/stat : 14262 (java) S 14259 14259 13842 0 -1 0 9646 0 1 0 11401 8 0 0 18 0 9 0 1533714351 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14262/statm: 211312 8603 2571 9 0 205879 0
[pid=14262/tid=14263] ppid=14259 vsize=845248 CPUtime=113.43
/proc/14262/task/14263/stat : 14263 (java) R 14259 14259 13842 0 -1 64 3245 0 1 0 11340 3 0 0 25 0 9 0 1533714352 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4126015192 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14264] ppid=14259 vsize=845248 CPUtime=0.39
/proc/14262/task/14264/stat : 14264 (java) S 14259 14259 13842 0 -1 64 5106 0 0 0 37 2 0 0 16 0 9 0 1533714353 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14265] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14265/stat : 14265 (java) S 14259 14259 13842 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1533714353 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14266] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14266/stat : 14266 (java) S 14259 14259 13842 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1533714353 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14267] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14267/stat : 14267 (java) S 14259 14259 13842 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1533714356 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14268] ppid=14259 vsize=845248 CPUtime=0.22
/proc/14262/task/14268/stat : 14268 (java) S 14259 14259 13842 0 -1 64 557 0 0 0 22 0 0 0 16 0 9 0 1533714356 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14269] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14269/stat : 14269 (java) S 14259 14259 13842 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1533714356 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14270] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14270/stat : 14270 (java) S 14259 14259 13842 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1533714356 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 114.09
Current children cumulated vsize (KiB) 850604
[startup+118.402 s]
/proc/loadavg: 2.43 2.16 1.37 3/91 14273
/proc/meminfo: memFree=652104/2055920 swapFree=4110308/4192956
[pid=14259] ppid=14257 vsize=5356 CPUtime=0
/proc/14259/stat : 14259 (concrete.sh) S 14257 14259 13842 0 -1 4194304 316 128 0 0 0 0 0 0 24 0 1 0 1533714350 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14259/statm: 1339 242 201 169 0 50 0
[pid=14262] ppid=14259 vsize=845248 CPUtime=117.26
/proc/14262/stat : 14262 (java) S 14259 14259 13842 0 -1 0 9646 0 1 0 11718 8 0 0 18 0 9 0 1533714351 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14262/statm: 211312 8603 2571 9 0 205879 0
[pid=14262/tid=14263] ppid=14259 vsize=845248 CPUtime=116.6
/proc/14262/task/14263/stat : 14263 (java) R 14259 14259 13842 0 -1 64 3245 0 1 0 11657 3 0 0 25 0 9 0 1533714352 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4126125563 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14264] ppid=14259 vsize=845248 CPUtime=0.39
/proc/14262/task/14264/stat : 14264 (java) S 14259 14259 13842 0 -1 64 5106 0 0 0 37 2 0 0 16 0 9 0 1533714353 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14265] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14265/stat : 14265 (java) S 14259 14259 13842 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1533714353 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14266] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14266/stat : 14266 (java) S 14259 14259 13842 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1533714353 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14267] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14267/stat : 14267 (java) S 14259 14259 13842 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1533714356 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14268] ppid=14259 vsize=845248 CPUtime=0.22
/proc/14262/task/14268/stat : 14268 (java) S 14259 14259 13842 0 -1 64 557 0 0 0 22 0 0 0 16 0 9 0 1533714356 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14269] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14269/stat : 14269 (java) S 14259 14259 13842 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1533714356 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14270] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14270/stat : 14270 (java) S 14259 14259 13842 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1533714356 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 117.26
Current children cumulated vsize (KiB) 850604
[startup+119.203 s]
/proc/loadavg: 2.43 2.16 1.37 3/91 14273
/proc/meminfo: memFree=651336/2055920 swapFree=4110308/4192956
[pid=14259] ppid=14257 vsize=5356 CPUtime=0
/proc/14259/stat : 14259 (concrete.sh) S 14257 14259 13842 0 -1 4194304 316 128 0 0 0 0 0 0 24 0 1 0 1533714350 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14259/statm: 1339 242 201 169 0 50 0
[pid=14262] ppid=14259 vsize=845248 CPUtime=118.05
/proc/14262/stat : 14262 (java) S 14259 14259 13842 0 -1 0 9646 0 1 0 11797 8 0 0 18 0 9 0 1533714351 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14262/statm: 211312 8603 2571 9 0 205879 0
[pid=14262/tid=14263] ppid=14259 vsize=845248 CPUtime=117.39
/proc/14262/task/14263/stat : 14263 (java) R 14259 14259 13842 0 -1 64 3245 0 1 0 11736 3 0 0 25 0 9 0 1533714352 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4126117173 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14264] ppid=14259 vsize=845248 CPUtime=0.39
/proc/14262/task/14264/stat : 14264 (java) S 14259 14259 13842 0 -1 64 5106 0 0 0 37 2 0 0 16 0 9 0 1533714353 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14265] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14265/stat : 14265 (java) S 14259 14259 13842 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1533714353 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14266] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14266/stat : 14266 (java) S 14259 14259 13842 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1533714353 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14267] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14267/stat : 14267 (java) S 14259 14259 13842 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1533714356 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14268] ppid=14259 vsize=845248 CPUtime=0.22
/proc/14262/task/14268/stat : 14268 (java) S 14259 14259 13842 0 -1 64 557 0 0 0 22 0 0 0 16 0 9 0 1533714356 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14269] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14269/stat : 14269 (java) S 14259 14259 13842 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1533714356 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14270] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14270/stat : 14270 (java) S 14259 14259 13842 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1533714356 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 118.05
Current children cumulated vsize (KiB) 850604
[startup+120.007 s]
/proc/loadavg: 2.39 2.15 1.38 3/91 14273
/proc/meminfo: memFree=650568/2055920 swapFree=4110308/4192956
[pid=14259] ppid=14257 vsize=5356 CPUtime=0
/proc/14259/stat : 14259 (concrete.sh) S 14257 14259 13842 0 -1 4194304 316 128 0 0 0 0 0 0 24 0 1 0 1533714350 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14259/statm: 1339 242 201 169 0 50 0
[pid=14262] ppid=14259 vsize=845248 CPUtime=118.84
/proc/14262/stat : 14262 (java) S 14259 14259 13842 0 -1 0 9646 0 1 0 11876 8 0 0 18 0 9 0 1533714351 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14262/statm: 211312 8603 2571 9 0 205879 0
[pid=14262/tid=14263] ppid=14259 vsize=845248 CPUtime=118.18
/proc/14262/task/14263/stat : 14263 (java) R 14259 14259 13842 0 -1 64 3245 0 1 0 11815 3 0 0 25 0 9 0 1533714352 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4126118085 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14264] ppid=14259 vsize=845248 CPUtime=0.39
/proc/14262/task/14264/stat : 14264 (java) S 14259 14259 13842 0 -1 64 5106 0 0 0 37 2 0 0 16 0 9 0 1533714353 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14265] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14265/stat : 14265 (java) S 14259 14259 13842 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1533714353 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14266] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14266/stat : 14266 (java) S 14259 14259 13842 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1533714353 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14267] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14267/stat : 14267 (java) S 14259 14259 13842 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1533714356 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14268] ppid=14259 vsize=845248 CPUtime=0.22
/proc/14262/task/14268/stat : 14268 (java) S 14259 14259 13842 0 -1 64 557 0 0 0 22 0 0 0 16 0 9 0 1533714356 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14269] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14269/stat : 14269 (java) S 14259 14259 13842 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1533714356 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14270] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14270/stat : 14270 (java) S 14259 14259 13842 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1533714356 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 118.84
Current children cumulated vsize (KiB) 850604
[startup+120.402 s]
/proc/loadavg: 2.39 2.15 1.38 3/91 14273
/proc/meminfo: memFree=650568/2055920 swapFree=4110308/4192956
[pid=14259] ppid=14257 vsize=5356 CPUtime=0
/proc/14259/stat : 14259 (concrete.sh) S 14257 14259 13842 0 -1 4194304 316 128 0 0 0 0 0 0 24 0 1 0 1533714350 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14259/statm: 1339 242 201 169 0 50 0
[pid=14262] ppid=14259 vsize=845248 CPUtime=119.23
/proc/14262/stat : 14262 (java) S 14259 14259 13842 0 -1 0 9646 0 1 0 11915 8 0 0 18 0 9 0 1533714351 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14262/statm: 211312 8603 2571 9 0 205879 0
[pid=14262/tid=14263] ppid=14259 vsize=845248 CPUtime=118.58
/proc/14262/task/14263/stat : 14263 (java) R 14259 14259 13842 0 -1 64 3245 0 1 0 11855 3 0 0 25 0 9 0 1533714352 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4126119729 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14264] ppid=14259 vsize=845248 CPUtime=0.39
/proc/14262/task/14264/stat : 14264 (java) S 14259 14259 13842 0 -1 64 5106 0 0 0 37 2 0 0 16 0 9 0 1533714353 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14265] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14265/stat : 14265 (java) S 14259 14259 13842 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1533714353 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14266] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14266/stat : 14266 (java) S 14259 14259 13842 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1533714353 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14267] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14267/stat : 14267 (java) S 14259 14259 13842 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1533714356 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14268] ppid=14259 vsize=845248 CPUtime=0.22
/proc/14262/task/14268/stat : 14268 (java) S 14259 14259 13842 0 -1 64 557 0 0 0 22 0 0 0 16 0 9 0 1533714356 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14269] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14269/stat : 14269 (java) S 14259 14259 13842 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1533714356 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14270] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14270/stat : 14270 (java) S 14259 14259 13842 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1533714356 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 119.23
Current children cumulated vsize (KiB) 850604
[startup+120.502 s]
/proc/loadavg: 2.39 2.15 1.38 3/91 14273
/proc/meminfo: memFree=650568/2055920 swapFree=4110308/4192956
[pid=14259] ppid=14257 vsize=5356 CPUtime=0
/proc/14259/stat : 14259 (concrete.sh) S 14257 14259 13842 0 -1 4194304 316 128 0 0 0 0 0 0 24 0 1 0 1533714350 5484544 242 996147200 4194304 4889804 548682068800 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/14259/statm: 1339 242 201 169 0 50 0
[pid=14262] ppid=14259 vsize=845248 CPUtime=119.33
/proc/14262/stat : 14262 (java) S 14259 14259 13842 0 -1 0 9646 0 1 0 11925 8 0 0 18 0 9 0 1533714351 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/14262/statm: 211312 8603 2571 9 0 205879 0
[pid=14262/tid=14263] ppid=14259 vsize=845248 CPUtime=118.68
/proc/14262/task/14263/stat : 14263 (java) R 14259 14259 13842 0 -1 64 3245 0 1 0 11865 3 0 0 25 0 9 0 1533714352 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4126152320 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14264] ppid=14259 vsize=845248 CPUtime=0.39
/proc/14262/task/14264/stat : 14264 (java) S 14259 14259 13842 0 -1 64 5106 0 0 0 37 2 0 0 16 0 9 0 1533714353 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14265] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14265/stat : 14265 (java) S 14259 14259 13842 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 1533714353 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14266] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14266/stat : 14266 (java) S 14259 14259 13842 0 -1 64 6 0 0 0 0 0 0 0 16 0 9 0 1533714353 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14267] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14267/stat : 14267 (java) S 14259 14259 13842 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1533714356 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14268] ppid=14259 vsize=845248 CPUtime=0.22
/proc/14262/task/14268/stat : 14268 (java) S 14259 14259 13842 0 -1 64 557 0 0 0 22 0 0 0 16 0 9 0 1533714356 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14269] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14269/stat : 14269 (java) S 14259 14259 13842 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 1533714356 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=14262/tid=14270] ppid=14259 vsize=845248 CPUtime=0
/proc/14262/task/14270/stat : 14270 (java) S 14259 14259 13842 0 -1 64 2 0 0 0 0 0 0 0 15 0 9 0 1533714356 865533952 8603 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 119.33
Current children cumulated vsize (KiB) 850604
Child status: 0
Real time (s): 120.586
CPU time (s): 119.394
CPU user time (s): 119.304
CPU system time (s): 0.089986
CPU usage (%): 99.0117
Max. virtual memory (cumulated for all children) (KiB): 850604
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 119.304
system time used= 0.089986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10113
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= 4456
involuntary context switches= 9110
runsolver used 0.161975 second user time and 0.394939 second system time
The end
Begin job on node9 at 2008-07-03 01:13:01
IDJOB=1047528
IDBENCH=54151
IDSOLVER=305
FILE ID=node9/1047528-1215040381
PBS_JOBID= 7875155
Free space on /tmp= 66012 MiB
SOLVER NAME= Concrete + CPS4J 2008-05-30
BENCH NAME= CPAI08/csp/bddLarge/normalized-bdd-21-2713-15-79-19_ext.xml
COMMAND LINE= HOME/concrete.sh -c -ext 60 BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1047528-1215040381/watcher-1047528-1215040381 -o /tmp/evaluation-result-1047528-1215040381/solver-1047528-1215040381 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/concrete.sh -c -ext 60 HOME/instance-1047528-1215040381.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 08364e2411145e54ad7f71bfc9c7cf25
RANDOM SEED=602162308
node9.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.265
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 : 5931.00
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.265
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: 758912 kB
Buffers: 80052 kB
Cached: 946588 kB
SwapCached: 76456 kB
Active: 631820 kB
Inactive: 574868 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 758912 kB
SwapTotal: 4192956 kB
SwapFree: 4110308 kB
Dirty: 26460 kB
Writeback: 0 kB
Mapped: 190292 kB
Slab: 75348 kB
Committed_AS: 3605568 kB
PageTables: 2240 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= 65932 MiB
End job on node9 at 2008-07-03 01:15:02