3.11/2.93 c CPU-LOAD 1.91
3.11/2.93 c LOADED 24 V (24 E), 76 ExtensionConstraintGeneral, arity 3, 1.91 cpu
396.40/398.19 s UNSATISFIABLE
396.40/398.19 d NODES 560521
396.40/398.19 d CHECKS 1022362873
396.40/398.19 c heuristic-cpu: 0.0
396.40/398.19 c prepro-constraint-ccks: 0
396.40/398.19 c prepro-constraint-presenceccks: 0
396.40/398.19 c prepro-cpu: 0.06
396.40/398.19 c prepro-matrix2d-ccks: 0
396.40/398.19 c prepro-matrix2d-presenceccks: 0
396.40/398.19 c prepro-removed: 0
396.40/398.19 c search-cpu: 388.74002
396.40/398.19 c search-nps: 1441.8917
396.40/398.19 c total-assgn: 560521
396.40/398.19 c total-constraint-ccks: 1022362873
396.40/398.19 c total-constraint-presence-ccks: 968020995
396.40/398.19 c total-cpu: 388.82
396.40/398.19 c total-matrix2d-ccks: 0
396.40/398.19 c total-matrix2d-presence-ccks: 0
396.40/398.19 c TOTAL-NODES 560521
396.40/398.19 c TOTAL-CPU 388.82
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2063312-1247700194/watcher-2063312-1247700194 -o /tmp/evaluation-result-2063312-1247700194/solver-2063312-1247700194 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c HOME/instance-2063312-1247700194.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: 0.92 1.13 1.48 3/82 9373
/proc/meminfo: memFree=1248344/2055920 swapFree=4192812/4192956
[pid=9373] ppid=9371 vsize=5356 CPUtime=0
/proc/9373/stat : 9373 (concrete.sh) R 9371 9373 8892 0 -1 4194304 321 291 0 0 0 0 0 0 19 0 1 0 57084148 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 240907942501 0 2147483391 4100 65536 18446744072099781622 0 0 17 0 0 0
/proc/9373/statm: 1339 244 201 169 0 50 0
[startup+0.0497509 s]
/proc/loadavg: 0.92 1.13 1.48 3/82 9373
/proc/meminfo: memFree=1248344/2055920 swapFree=4192812/4192956
[pid=9373] ppid=9371 vsize=5356 CPUtime=0
/proc/9373/stat : 9373 (concrete.sh) S 9371 9373 8892 0 -1 4194304 341 291 0 0 0 0 0 0 19 0 1 0 57084148 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9373/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102571 s]
/proc/loadavg: 0.92 1.13 1.48 3/82 9373
/proc/meminfo: memFree=1248344/2055920 swapFree=4192812/4192956
[pid=9373] ppid=9371 vsize=5356 CPUtime=0
/proc/9373/stat : 9373 (concrete.sh) S 9371 9373 8892 0 -1 4194304 341 291 0 0 0 0 0 0 19 0 1 0 57084148 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9373/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301785 s]
/proc/loadavg: 0.92 1.13 1.48 3/82 9373
/proc/meminfo: memFree=1248344/2055920 swapFree=4192812/4192956
[pid=9373] ppid=9371 vsize=5356 CPUtime=0
/proc/9373/stat : 9373 (concrete.sh) S 9371 9373 8892 0 -1 4194304 341 291 0 0 0 0 0 0 19 0 1 0 57084148 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9373/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.70182 s]
/proc/loadavg: 0.92 1.13 1.48 3/82 9373
/proc/meminfo: memFree=1248344/2055920 swapFree=4192812/4192956
[pid=9373] ppid=9371 vsize=5356 CPUtime=0
/proc/9373/stat : 9373 (concrete.sh) S 9371 9373 8892 0 -1 4194304 341 291 0 0 0 0 0 0 19 0 1 0 57084148 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9373/statm: 1339 244 201 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.5029 s]
/proc/loadavg: 0.92 1.13 1.48 2/92 9386
/proc/meminfo: memFree=1231048/2055920 swapFree=4192812/4192956
[pid=9373] ppid=9371 vsize=5356 CPUtime=0
/proc/9373/stat : 9373 (concrete.sh) S 9371 9373 8892 0 -1 4194304 341 291 0 0 0 0 0 0 19 0 1 0 57084148 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9373/statm: 1339 244 201 169 0 50 0
[pid=9378] ppid=9373 vsize=847688 CPUtime=1.7
/proc/9378/stat : 9378 (java) S 9373 9373 8892 0 -1 0 9021 0 1 0 164 6 0 0 20 0 9 0 57084149 868032512 7719 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/9378/statm: 211922 7719 2614 9 0 206407 0
[pid=9378/tid=9379] ppid=9373 vsize=847688 CPUtime=1.11
/proc/9378/task/9379/stat : 9379 (java) S 9373 9373 8892 0 -1 64 3727 0 1 0 110 1 0 0 16 0 9 0 57084150 868032512 7719 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9378/tid=9380] ppid=9373 vsize=847688 CPUtime=0.34
/proc/9378/task/9380/stat : 9380 (java) R 9373 9373 8892 0 -1 64 3168 0 0 0 32 2 0 0 16 0 9 0 57084151 868032512 7719 996147200 134512640 134550932 4294955408 18446744073709551615 103681817 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=9378/tid=9381] ppid=9373 vsize=847688 CPUtime=0
/proc/9378/task/9381/stat : 9381 (java) S 9373 9373 8892 0 -1 64 13 0 0 0 0 0 0 0 15 0 9 0 57084151 868032512 7719 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9382] ppid=9373 vsize=847688 CPUtime=0
/proc/9378/task/9382/stat : 9382 (java) S 9373 9373 8892 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 57084151 868032512 7719 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9383] ppid=9373 vsize=847688 CPUtime=0
/proc/9378/task/9383/stat : 9383 (java) S 9373 9373 8892 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 57084154 868032512 7719 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9384] ppid=9373 vsize=847688 CPUtime=0.21
/proc/9378/task/9384/stat : 9384 (java) S 9373 9373 8892 0 -1 64 1429 0 0 0 20 1 0 0 16 0 9 0 57084157 868032512 7719 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9385] ppid=9373 vsize=847688 CPUtime=0
/proc/9378/task/9385/stat : 9385 (java) S 9373 9373 8892 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 57084157 868032512 7719 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9386] ppid=9373 vsize=847688 CPUtime=0
/proc/9378/task/9386/stat : 9386 (java) S 9373 9373 8892 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 57084157 868032512 7719 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.7
Current children cumulated vsize (KiB) 853044
[startup+3.10187 s]
/proc/loadavg: 0.92 1.13 1.48 2/92 9386
/proc/meminfo: memFree=1223304/2055920 swapFree=4192812/4192956
[pid=9373] ppid=9371 vsize=5356 CPUtime=0
/proc/9373/stat : 9373 (concrete.sh) S 9371 9373 8892 0 -1 4194304 341 291 0 0 0 0 0 0 19 0 1 0 57084148 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9373/statm: 1339 244 201 169 0 50 0
[pid=9378] ppid=9373 vsize=848716 CPUtime=3.33
/proc/9378/stat : 9378 (java) S 9373 9373 8892 0 -1 0 11870 0 1 0 325 8 0 0 20 0 9 0 57084149 869085184 10344 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/9378/statm: 212179 10344 2616 9 0 206664 0
[pid=9378/tid=9379] ppid=9373 vsize=848716 CPUtime=2.24
/proc/9378/task/9379/stat : 9379 (java) R 9373 9373 8892 0 -1 64 4071 0 1 0 222 2 0 0 16 0 9 0 57084150 869085184 10344 996147200 134512640 134550932 4294955408 18446744073709551615 4126479477 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9378/tid=9380] ppid=9373 vsize=848716 CPUtime=0.8
/proc/9378/task/9380/stat : 9380 (java) S 9373 9373 8892 0 -1 64 5615 0 0 0 76 4 0 0 17 0 9 0 57084151 869085184 10344 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9381] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9381/stat : 9381 (java) S 9373 9373 8892 0 -1 64 13 0 0 0 0 0 0 0 15 0 9 0 57084151 869085184 10344 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9382] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9382/stat : 9382 (java) S 9373 9373 8892 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 57084151 869085184 10344 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9383] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9383/stat : 9383 (java) S 9373 9373 8892 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 57084154 869085184 10344 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9384] ppid=9373 vsize=848716 CPUtime=0.26
/proc/9378/task/9384/stat : 9384 (java) S 9373 9373 8892 0 -1 64 1480 0 0 0 25 1 0 0 16 0 9 0 57084157 869085184 10344 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9385] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9385/stat : 9385 (java) S 9373 9373 8892 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 57084157 869085184 10344 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9386] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9386/stat : 9386 (java) S 9373 9373 8892 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 57084157 869085184 10344 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.33
Current children cumulated vsize (KiB) 854072
[startup+6.30119 s]
/proc/loadavg: 0.93 1.12 1.47 2/92 9388
/proc/meminfo: memFree=1216200/2055920 swapFree=4192812/4192956
[pid=9373] ppid=9371 vsize=5356 CPUtime=0
/proc/9373/stat : 9373 (concrete.sh) S 9371 9373 8892 0 -1 4194304 341 291 0 0 0 0 0 0 19 0 1 0 57084148 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9373/statm: 1339 244 201 169 0 50 0
[pid=9378] ppid=9373 vsize=848716 CPUtime=6.54
/proc/9378/stat : 9378 (java) S 9373 9373 8892 0 -1 0 11974 0 1 0 645 9 0 0 20 0 9 0 57084149 869085184 10408 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/9378/statm: 212179 10408 2617 9 0 206664 0
[pid=9378/tid=9379] ppid=9373 vsize=848716 CPUtime=5.38
/proc/9378/task/9379/stat : 9379 (java) R 9373 9373 8892 0 -1 64 4125 0 1 0 536 2 0 0 17 0 9 0 57084150 869085184 10408 996147200 134512640 134550932 4294955408 18446744073709551615 4126486827 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9380] ppid=9373 vsize=848716 CPUtime=0.84
/proc/9378/task/9380/stat : 9380 (java) S 9373 9373 8892 0 -1 64 5647 0 0 0 80 4 0 0 16 0 9 0 57084151 869085184 10408 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9381] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9381/stat : 9381 (java) S 9373 9373 8892 0 -1 64 13 0 0 0 0 0 0 0 15 0 9 0 57084151 869085184 10408 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9382] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9382/stat : 9382 (java) S 9373 9373 8892 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 57084151 869085184 10408 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9383] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9383/stat : 9383 (java) S 9373 9373 8892 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 57084154 869085184 10408 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9384] ppid=9373 vsize=848716 CPUtime=0.28
/proc/9378/task/9384/stat : 9384 (java) S 9373 9373 8892 0 -1 64 1498 0 0 0 27 1 0 0 15 0 9 0 57084157 869085184 10408 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9385] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9385/stat : 9385 (java) S 9373 9373 8892 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 57084157 869085184 10408 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9386] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9386/stat : 9386 (java) S 9373 9373 8892 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 57084157 869085184 10408 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.54
Current children cumulated vsize (KiB) 854072
[startup+12.7028 s]
/proc/loadavg: 0.93 1.12 1.47 2/92 9388
/proc/meminfo: memFree=1216136/2055920 swapFree=4192812/4192956
[pid=9373] ppid=9371 vsize=5356 CPUtime=0
/proc/9373/stat : 9373 (concrete.sh) S 9371 9373 8892 0 -1 4194304 341 291 0 0 0 0 0 0 19 0 1 0 57084148 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9373/statm: 1339 244 201 169 0 50 0
[pid=9378] ppid=9373 vsize=848716 CPUtime=12.9
/proc/9378/stat : 9378 (java) S 9373 9373 8892 0 -1 0 12055 0 1 0 1281 9 0 0 20 0 9 0 57084149 869085184 10409 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/9378/statm: 212179 10409 2617 9 0 206664 0
[pid=9378/tid=9379] ppid=9373 vsize=848716 CPUtime=11.68
/proc/9378/task/9379/stat : 9379 (java) R 9373 9373 8892 0 -1 64 4205 0 1 0 1166 2 0 0 17 0 9 0 57084150 869085184 10409 996147200 134512640 134550932 4294955408 18446744073709551615 4126479473 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9378/tid=9380] ppid=9373 vsize=848716 CPUtime=0.9
/proc/9378/task/9380/stat : 9380 (java) S 9373 9373 8892 0 -1 64 5647 0 0 0 86 4 0 0 16 0 9 0 57084151 869085184 10409 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=9378/tid=9381] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9381/stat : 9381 (java) S 9373 9373 8892 0 -1 64 13 0 0 0 0 0 0 0 15 0 9 0 57084151 869085184 10409 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9382] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9382/stat : 9382 (java) S 9373 9373 8892 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 57084151 869085184 10409 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9383] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9383/stat : 9383 (java) S 9373 9373 8892 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 57084154 869085184 10409 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9384] ppid=9373 vsize=848716 CPUtime=0.28
/proc/9378/task/9384/stat : 9384 (java) S 9373 9373 8892 0 -1 64 1499 0 0 0 27 1 0 0 16 0 9 0 57084157 869085184 10409 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9385] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9385/stat : 9385 (java) S 9373 9373 8892 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 57084157 869085184 10409 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9386] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9386/stat : 9386 (java) S 9373 9373 8892 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 57084157 869085184 10409 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.9
Current children cumulated vsize (KiB) 854072
[startup+25.5011 s]
/proc/loadavg: 0.95 1.11 1.46 2/92 9388
/proc/meminfo: memFree=1216200/2055920 swapFree=4192812/4192956
[pid=9373] ppid=9371 vsize=5356 CPUtime=0
/proc/9373/stat : 9373 (concrete.sh) S 9371 9373 8892 0 -1 4194304 341 291 0 0 0 0 0 0 19 0 1 0 57084148 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9373/statm: 1339 244 201 169 0 50 0
[pid=9378] ppid=9373 vsize=848716 CPUtime=25.61
/proc/9378/stat : 9378 (java) S 9373 9373 8892 0 -1 0 12212 0 1 0 2550 11 0 0 20 0 9 0 57084149 869085184 10409 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/9378/statm: 212179 10409 2617 9 0 206664 0
[pid=9378/tid=9379] ppid=9373 vsize=848716 CPUtime=24.26
/proc/9378/task/9379/stat : 9379 (java) R 9373 9373 8892 0 -1 64 4362 0 1 0 2423 3 0 0 17 0 9 0 57084150 869085184 10409 996147200 134512640 134550932 4294955408 18446744073709551615 4126486839 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9378/tid=9380] ppid=9373 vsize=848716 CPUtime=1.04
/proc/9378/task/9380/stat : 9380 (java) S 9373 9373 8892 0 -1 64 5647 0 0 0 99 5 0 0 16 0 9 0 57084151 869085184 10409 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=9378/tid=9381] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9381/stat : 9381 (java) S 9373 9373 8892 0 -1 64 13 0 0 0 0 0 0 0 15 0 9 0 57084151 869085184 10409 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9382] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9382/stat : 9382 (java) S 9373 9373 8892 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 57084151 869085184 10409 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9383] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9383/stat : 9383 (java) S 9373 9373 8892 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 57084154 869085184 10409 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9384] ppid=9373 vsize=848716 CPUtime=0.28
/proc/9378/task/9384/stat : 9384 (java) S 9373 9373 8892 0 -1 64 1499 0 0 0 27 1 0 0 16 0 9 0 57084157 869085184 10409 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9385] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9385/stat : 9385 (java) S 9373 9373 8892 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 57084157 869085184 10409 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9386] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9386/stat : 9386 (java) S 9373 9373 8892 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 57084157 869085184 10409 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.61
Current children cumulated vsize (KiB) 854072
[startup+51.1016 s]
/proc/loadavg: 0.96 1.10 1.45 2/92 9388
/proc/meminfo: memFree=1216264/2055920 swapFree=4192812/4192956
[pid=9373] ppid=9371 vsize=5356 CPUtime=0
/proc/9373/stat : 9373 (concrete.sh) S 9371 9373 8892 0 -1 4194304 341 291 0 0 0 0 0 0 19 0 1 0 57084148 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
################
# More data... #
################
[pid=9378/tid=9379] ppid=9373 vsize=848716 CPUtime=383.19
/proc/9378/task/9379/stat : 9379 (java) R 9373 9373 8892 0 -1 64 8846 0 1 0 38303 16 0 0 17 0 9 0 57084150 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4126478383 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9378/tid=9380] ppid=9373 vsize=848716 CPUtime=5.14
/proc/9378/task/9380/stat : 9380 (java) S 9373 9373 8892 0 -1 64 6748 0 0 0 484 30 0 0 16 0 9 0 57084151 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=9378/tid=9381] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9381/stat : 9381 (java) S 9373 9373 8892 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 57084151 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9382] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9382/stat : 9382 (java) S 9373 9373 8892 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 57084151 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9383] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9383/stat : 9383 (java) S 9373 9373 8892 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 57084154 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9384] ppid=9373 vsize=848716 CPUtime=0.28
/proc/9378/task/9384/stat : 9384 (java) S 9373 9373 8892 0 -1 64 1499 0 0 0 27 1 0 0 16 0 9 0 57084157 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9385] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9385/stat : 9385 (java) S 9373 9373 8892 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 57084157 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9386] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9386/stat : 9386 (java) S 9373 9373 8892 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 57084157 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 388.65
Current children cumulated vsize (KiB) 854072
[startup+393.503 s]
/proc/loadavg: 1.00 1.03 1.30 2/92 9388
/proc/meminfo: memFree=1211784/2055920 swapFree=4192812/4192956
[pid=9373] ppid=9371 vsize=5356 CPUtime=0
/proc/9373/stat : 9373 (concrete.sh) S 9371 9373 8892 0 -1 4194304 341 291 0 0 0 0 0 0 19 0 1 0 57084148 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9373/statm: 1339 244 201 169 0 50 0
[pid=9378] ppid=9373 vsize=848716 CPUtime=391.83
/proc/9378/stat : 9378 (java) S 9373 9373 8892 0 -1 0 17835 0 1 0 39134 49 0 0 20 0 9 0 57084149 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/9378/statm: 212179 11510 2617 9 0 206664 0
[pid=9378/tid=9379] ppid=9373 vsize=848716 CPUtime=386.34
/proc/9378/task/9379/stat : 9379 (java) R 9373 9373 8892 0 -1 64 8884 0 1 0 38618 16 0 0 17 0 9 0 57084150 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 103210985 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9378/tid=9380] ppid=9373 vsize=848716 CPUtime=5.18
/proc/9378/task/9380/stat : 9380 (java) S 9373 9373 8892 0 -1 64 6748 0 0 0 488 30 0 0 16 0 9 0 57084151 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=9378/tid=9381] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9381/stat : 9381 (java) S 9373 9373 8892 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 57084151 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9382] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9382/stat : 9382 (java) S 9373 9373 8892 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 57084151 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9383] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9383/stat : 9383 (java) S 9373 9373 8892 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 57084154 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9384] ppid=9373 vsize=848716 CPUtime=0.28
/proc/9378/task/9384/stat : 9384 (java) S 9373 9373 8892 0 -1 64 1499 0 0 0 27 1 0 0 16 0 9 0 57084157 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9385] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9385/stat : 9385 (java) S 9373 9373 8892 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 57084157 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9386] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9386/stat : 9386 (java) S 9373 9373 8892 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 57084157 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 391.83
Current children cumulated vsize (KiB) 854072
[startup+396.701 s]
/proc/loadavg: 1.00 1.03 1.30 2/92 9388
/proc/meminfo: memFree=1211784/2055920 swapFree=4192812/4192956
[pid=9373] ppid=9371 vsize=5356 CPUtime=0
/proc/9373/stat : 9373 (concrete.sh) S 9371 9373 8892 0 -1 4194304 341 291 0 0 0 0 0 0 19 0 1 0 57084148 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9373/statm: 1339 244 201 169 0 50 0
[pid=9378] ppid=9373 vsize=848716 CPUtime=395.01
/proc/9378/stat : 9378 (java) S 9373 9373 8892 0 -1 0 17875 0 1 0 39451 50 0 0 20 0 9 0 57084149 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/9378/statm: 212179 11510 2617 9 0 206664 0
[pid=9378/tid=9379] ppid=9373 vsize=848716 CPUtime=389.49
/proc/9378/task/9379/stat : 9379 (java) R 9373 9373 8892 0 -1 64 8924 0 1 0 38932 17 0 0 17 0 9 0 57084150 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4126479477 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9378/tid=9380] ppid=9373 vsize=848716 CPUtime=5.22
/proc/9378/task/9380/stat : 9380 (java) S 9373 9373 8892 0 -1 64 6748 0 0 0 491 31 0 0 16 0 9 0 57084151 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=9378/tid=9381] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9381/stat : 9381 (java) S 9373 9373 8892 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 57084151 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9382] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9382/stat : 9382 (java) S 9373 9373 8892 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 57084151 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9383] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9383/stat : 9383 (java) S 9373 9373 8892 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 57084154 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9384] ppid=9373 vsize=848716 CPUtime=0.28
/proc/9378/task/9384/stat : 9384 (java) S 9373 9373 8892 0 -1 64 1499 0 0 0 27 1 0 0 16 0 9 0 57084157 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9385] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9385/stat : 9385 (java) S 9373 9373 8892 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 57084157 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9386] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9386/stat : 9386 (java) S 9373 9373 8892 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 57084157 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 395.01
Current children cumulated vsize (KiB) 854072
[startup+397.501 s]
/proc/loadavg: 1.00 1.03 1.30 2/92 9388
/proc/meminfo: memFree=1211784/2055920 swapFree=4192812/4192956
[pid=9373] ppid=9371 vsize=5356 CPUtime=0
/proc/9373/stat : 9373 (concrete.sh) S 9371 9373 8892 0 -1 4194304 341 291 0 0 0 0 0 0 19 0 1 0 57084148 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9373/statm: 1339 244 201 169 0 50 0
[pid=9378] ppid=9373 vsize=848716 CPUtime=395.81
/proc/9378/stat : 9378 (java) S 9373 9373 8892 0 -1 0 17885 0 1 0 39531 50 0 0 20 0 9 0 57084149 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/9378/statm: 212179 11510 2617 9 0 206664 0
[pid=9378/tid=9379] ppid=9373 vsize=848716 CPUtime=390.27
/proc/9378/task/9379/stat : 9379 (java) R 9373 9373 8892 0 -1 64 8934 0 1 0 39010 17 0 0 17 0 9 0 57084150 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 102523996 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9380] ppid=9373 vsize=848716 CPUtime=5.23
/proc/9378/task/9380/stat : 9380 (java) S 9373 9373 8892 0 -1 64 6748 0 0 0 492 31 0 0 16 0 9 0 57084151 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=9378/tid=9381] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9381/stat : 9381 (java) S 9373 9373 8892 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 57084151 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9382] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9382/stat : 9382 (java) S 9373 9373 8892 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 57084151 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9383] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9383/stat : 9383 (java) S 9373 9373 8892 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 57084154 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9384] ppid=9373 vsize=848716 CPUtime=0.28
/proc/9378/task/9384/stat : 9384 (java) S 9373 9373 8892 0 -1 64 1499 0 0 0 27 1 0 0 16 0 9 0 57084157 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9385] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9385/stat : 9385 (java) S 9373 9373 8892 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 57084157 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9386] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9386/stat : 9386 (java) S 9373 9373 8892 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 57084157 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 395.81
Current children cumulated vsize (KiB) 854072
[startup+397.901 s]
/proc/loadavg: 1.00 1.03 1.30 2/92 9388
/proc/meminfo: memFree=1211784/2055920 swapFree=4192812/4192956
[pid=9373] ppid=9371 vsize=5356 CPUtime=0
/proc/9373/stat : 9373 (concrete.sh) S 9371 9373 8892 0 -1 4194304 341 291 0 0 0 0 0 0 19 0 1 0 57084148 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9373/statm: 1339 244 201 169 0 50 0
[pid=9378] ppid=9373 vsize=848716 CPUtime=396.2
/proc/9378/stat : 9378 (java) S 9373 9373 8892 0 -1 0 17889 0 1 0 39570 50 0 0 20 0 9 0 57084149 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/9378/statm: 212179 11510 2617 9 0 206664 0
[pid=9378/tid=9379] ppid=9373 vsize=848716 CPUtime=390.67
/proc/9378/task/9379/stat : 9379 (java) R 9373 9373 8892 0 -1 64 8938 0 1 0 39050 17 0 0 17 0 9 0 57084150 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 104749972 0 4 0 25189583 0 0 0 -1 1 0 0
[pid=9378/tid=9380] ppid=9373 vsize=848716 CPUtime=5.23
/proc/9378/task/9380/stat : 9380 (java) S 9373 9373 8892 0 -1 64 6748 0 0 0 492 31 0 0 16 0 9 0 57084151 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=9378/tid=9381] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9381/stat : 9381 (java) S 9373 9373 8892 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 57084151 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9382] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9382/stat : 9382 (java) S 9373 9373 8892 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 57084151 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9383] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9383/stat : 9383 (java) S 9373 9373 8892 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 57084154 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9384] ppid=9373 vsize=848716 CPUtime=0.28
/proc/9378/task/9384/stat : 9384 (java) S 9373 9373 8892 0 -1 64 1499 0 0 0 27 1 0 0 16 0 9 0 57084157 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9385] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9385/stat : 9385 (java) S 9373 9373 8892 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 57084157 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9386] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9386/stat : 9386 (java) S 9373 9373 8892 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 57084157 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 396.2
Current children cumulated vsize (KiB) 854072
[startup+398.101 s]
/proc/loadavg: 1.00 1.03 1.30 2/92 9388
/proc/meminfo: memFree=1211784/2055920 swapFree=4192812/4192956
[pid=9373] ppid=9371 vsize=5356 CPUtime=0
/proc/9373/stat : 9373 (concrete.sh) S 9371 9373 8892 0 -1 4194304 341 291 0 0 0 0 0 0 19 0 1 0 57084148 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9373/statm: 1339 244 201 169 0 50 0
[pid=9378] ppid=9373 vsize=848716 CPUtime=396.4
/proc/9378/stat : 9378 (java) S 9373 9373 8892 0 -1 0 17892 0 1 0 39590 50 0 0 20 0 9 0 57084149 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/9378/statm: 212179 11510 2617 9 0 206664 0
[pid=9378/tid=9379] ppid=9373 vsize=848716 CPUtime=390.86
/proc/9378/task/9379/stat : 9379 (java) R 9373 9373 8892 0 -1 64 8941 0 1 0 39069 17 0 0 17 0 9 0 57084150 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 102523992 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9380] ppid=9373 vsize=848716 CPUtime=5.24
/proc/9378/task/9380/stat : 9380 (java) S 9373 9373 8892 0 -1 64 6748 0 0 0 493 31 0 0 16 0 9 0 57084151 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 0 0 25189583 0 0 0 -1 1 0 0
[pid=9378/tid=9381] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9381/stat : 9381 (java) S 9373 9373 8892 0 -1 64 13 0 0 0 0 0 0 0 16 0 9 0 57084151 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9382] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9382/stat : 9382 (java) S 9373 9373 8892 0 -1 64 4 0 0 0 0 0 0 0 15 0 9 0 57084151 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9383] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9383/stat : 9383 (java) S 9373 9373 8892 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 57084154 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9384] ppid=9373 vsize=848716 CPUtime=0.28
/proc/9378/task/9384/stat : 9384 (java) S 9373 9373 8892 0 -1 64 1499 0 0 0 27 1 0 0 16 0 9 0 57084157 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9385] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9385/stat : 9385 (java) S 9373 9373 8892 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 57084157 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 0 0 0
[pid=9378/tid=9386] ppid=9373 vsize=848716 CPUtime=0
/proc/9378/task/9386/stat : 9386 (java) S 9373 9373 8892 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 57084157 869085184 11510 996147200 134512640 134550932 4294955408 18446744073709551615 4294960144 0 4 0 25189583 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 396.4
Current children cumulated vsize (KiB) 854072
[startup+398.206 s]
/proc/loadavg: 1.00 1.03 1.30 2/92 9388
/proc/meminfo: memFree=1211784/2055920 swapFree=4192812/4192956
[pid=9373] ppid=9371 vsize=5356 CPUtime=0
/proc/9373/stat : 9373 (concrete.sh) S 9371 9373 8892 0 -1 4194304 341 291 0 0 0 0 0 0 19 0 1 0 57084148 5484544 244 996147200 4194304 4889804 548682068816 18446744073709551615 240907772740 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9373/statm: 1339 244 201 169 0 50 0
[pid=9378] ppid=9373 vsize=0 CPUtime=396.5
/proc/9378/stat : 9378 (java) Z 9373 9373 8892 0 -1 12 17903 0 1 0 39599 51 0 0 16 0 2 0 57084149 0 0 996147200 0 0 0 0 0 0 0 0 25189583 18446744073709551615 0 0 17 0 0 0
/proc/9378/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 396.5
Current children cumulated vsize (KiB) 5356
Child status: 0
Real time (s): 398.21
CPU time (s): 396.516
CPU user time (s): 395.995
CPU system time (s): 0.52092
CPU usage (%): 99.5745
Max. virtual memory (cumulated for all children) (KiB): 854072
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 395.995
system time used= 0.52092
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18545
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= 35906
involuntary context switches= 33318
runsolver used 0.431934 second user time and 1.35579 second system time
The end
Begin job on node36 at 2009-07-16 01:23:15
IDJOB=2063312
IDBENCH=54001
IDSOLVER=735
FILE ID=node36/2063312-1247700194
PBS_JOBID= 9521239
Free space on /tmp= 66308 MiB
SOLVER NAME= Concrete 2009-06-10
BENCH NAME= CPAI08/csp/rand-3-24-24/normalized-rand-3-24-24-76-632-4_ext.xml
COMMAND LINE= HOME/concrete.sh -c BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2063312-1247700194/watcher-2063312-1247700194 -o /tmp/evaluation-result-2063312-1247700194/solver-2063312-1247700194 -C 1800 -W 2000 -M 900 HOME/concrete.sh -c HOME/instance-2063312-1247700194.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 05cdd2b4602ac29383ff8939ced15a9d
RANDOM SEED=1293816209
node36.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.238
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.238
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: 1248824 kB
Buffers: 74096 kB
Cached: 631336 kB
SwapCached: 0 kB
Active: 195936 kB
Inactive: 539964 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1248824 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 4212 kB
Writeback: 0 kB
Mapped: 48236 kB
Slab: 56484 kB
Committed_AS: 603760 kB
PageTables: 1808 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= 66308 MiB
End job on node36 at 2009-07-16 01:29:53