24.35/24.66 s SATISFIABLE
24.35/24.66 v 25 18 74 54 142 18 142 53 68 145 112 7 118 163 56 122 48 36 42 25 179 68 41 89 123 171 76 135 134 93 21 116 20 159 32 40 22 20 113 115
24.35/24.66 d AC 32
24.35/24.66 d RUNTIME 24.543
24.35/24.66 d NODES 1198
24.35/24.66 d NODES/s 49
24.35/24.66 d BACKTRACKS 5408
24.35/24.66 d BACKTRACKS/s 220
24.35/24.66 d CHECKS 0
24.35/24.66 d CHECKS/s 0
24.35/24.66 c SAT 24.543 TIME 1198 NDS 766 PARSTIME 145 BUILDPB 130 CONFIG 23502 RES false RESTART 1 HEURISTIC true RANDVAL
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2117487-1248034320/watcher-2117487-1248034320 -o /tmp/evaluation-result-2117487-1248034320/solver-2117487-1248034320 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2117487-1248034320.xml -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 23822
/proc/meminfo: memFree=637744/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=10676 CPUtime=0
/proc/23822/stat : 23822 (java) S 23820 23822 22952 0 -1 0 710 0 0 0 0 0 0 0 18 0 2 0 90496046 10932224 488 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/23822/statm: 2669 488 211 9 0 1184 0
[pid=23822/tid=23823] ppid=23820 vsize=10676 CPUtime=0
/proc/23822/task/23823/stat : 23823 (java) R 23820 23822 22952 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 90496047 10932224 488 996147200 134512640 134550932 4294955888 18446744073709551615 13066200 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.108595 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 23822
/proc/meminfo: memFree=637744/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=864060 CPUtime=0.09
/proc/23822/stat : 23822 (java) S 23820 23822 22952 0 -1 0 3868 0 1 0 7 2 0 0 18 0 9 0 90496046 884797440 3318 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23822/statm: 216015 3318 1742 9 0 210484 0
[pid=23822/tid=23823] ppid=23820 vsize=864060 CPUtime=0.07
/proc/23822/task/23823/stat : 23823 (java) R 23820 23822 22952 0 -1 64 2930 0 1 0 6 1 0 0 18 0 9 0 90496047 884797440 3318 996147200 134512640 134550932 4294955888 18446744073709551615 4126338613 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 864060
[startup+0.201598 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 23822
/proc/meminfo: memFree=637744/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=864060 CPUtime=0.19
/proc/23822/stat : 23822 (java) S 23820 23822 22952 0 -1 0 4424 0 1 0 16 3 0 0 18 0 9 0 90496046 884797440 3849 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23822/statm: 216015 3849 1845 9 0 210484 0
[pid=23822/tid=23823] ppid=23820 vsize=864060 CPUtime=0.17
/proc/23822/task/23823/stat : 23823 (java) R 23820 23822 22952 0 -1 64 3486 0 1 0 15 2 0 0 18 0 9 0 90496047 884797440 3849 996147200 134512640 134550932 4294955888 18446744073709551615 4125911174 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 864060
[startup+0.301602 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 23822
/proc/meminfo: memFree=637744/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=864060 CPUtime=0.29
/proc/23822/stat : 23822 (java) S 23820 23822 22952 0 -1 0 4553 0 1 0 26 3 0 0 18 0 9 0 90496046 884797440 3978 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23822/statm: 216015 3978 1845 9 0 210484 0
[pid=23822/tid=23823] ppid=23820 vsize=864060 CPUtime=0.27
/proc/23822/task/23823/stat : 23823 (java) R 23820 23822 22952 0 -1 64 3615 0 1 0 25 2 0 0 18 0 9 0 90496047 884797440 3978 996147200 134512640 134550932 4294955888 18446744073709551615 4125928812 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 864060
[startup+0.701641 s]
/proc/loadavg: 2.00 2.00 2.00 4/80 23822
/proc/meminfo: memFree=637744/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=864480 CPUtime=0.69
/proc/23822/stat : 23822 (java) S 23820 23822 22952 0 -1 0 8357 0 1 0 64 5 0 0 18 0 9 0 90496046 885227520 7774 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23822/statm: 216120 7774 1878 9 0 210589 0
[pid=23822/tid=23823] ppid=23820 vsize=864480 CPUtime=0.61
/proc/23822/task/23823/stat : 23823 (java) R 23820 23822 22952 0 -1 64 7298 0 1 0 58 3 0 0 21 0 9 0 90496047 885227520 7774 996147200 134512640 134550932 4294955888 18446744073709551615 4126495367 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 864480
[startup+1.50269 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 23831
/proc/meminfo: memFree=585896/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=864564 CPUtime=1.48
/proc/23822/stat : 23822 (java) S 23820 23822 22952 0 -1 0 18448 0 1 0 138 10 0 0 18 0 9 0 90496046 885313536 17824 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23822/statm: 216141 17824 1974 9 0 210610 0
[pid=23822/tid=23823] ppid=23820 vsize=864564 CPUtime=1.32
/proc/23822/task/23823/stat : 23823 (java) R 23820 23822 22952 0 -1 64 14709 0 1 0 124 8 0 0 25 0 9 0 90496047 885313536 17824 996147200 134512640 134550932 4294955888 18446744073709551615 4126644640 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23825] ppid=23820 vsize=864564 CPUtime=0.03
/proc/23822/task/23825/stat : 23825 (java) S 23820 23822 22952 0 -1 64 2632 0 0 0 2 1 0 0 16 0 9 0 90496049 885313536 17824 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23826] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23826/stat : 23826 (java) S 23820 23822 22952 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90496049 885313536 17824 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23827] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23827/stat : 23827 (java) S 23820 23822 22952 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90496049 885313536 17824 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23828] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23828/stat : 23828 (java) S 23820 23822 22952 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90496052 885313536 17824 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23829] ppid=23820 vsize=864564 CPUtime=0.11
/proc/23822/task/23829/stat : 23829 (java) S 23820 23822 22952 0 -1 64 375 0 0 0 11 0 0 0 15 0 9 0 90496052 885313536 17824 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23830] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23830/stat : 23830 (java) S 23820 23822 22952 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90496052 885313536 17824 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23831] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23831/stat : 23831 (java) S 23820 23822 22952 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90496052 885313536 17824 996147200 134512640 134550932 4294955888 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) 864564
[startup+3.10279 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 23831
/proc/meminfo: memFree=573800/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=864564 CPUtime=3.06
/proc/23822/stat : 23822 (java) S 23820 23822 22952 0 -1 0 18455 0 1 0 295 11 0 0 18 0 9 0 90496046 885313536 17830 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23822/statm: 216141 17830 1974 9 0 210610 0
[pid=23822/tid=23823] ppid=23820 vsize=864564 CPUtime=2.88
/proc/23822/task/23823/stat : 23823 (java) R 23820 23822 22952 0 -1 64 14710 0 1 0 280 8 0 0 25 0 9 0 90496047 885313536 17830 996147200 134512640 134550932 4294955888 18446744073709551615 4126657445 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23825] ppid=23820 vsize=864564 CPUtime=0.03
/proc/23822/task/23825/stat : 23825 (java) S 23820 23822 22952 0 -1 64 2632 0 0 0 2 1 0 0 17 0 9 0 90496049 885313536 17830 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23826] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23826/stat : 23826 (java) S 23820 23822 22952 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90496049 885313536 17830 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23827] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23827/stat : 23827 (java) S 23820 23822 22952 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90496049 885313536 17830 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23828] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23828/stat : 23828 (java) S 23820 23822 22952 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90496052 885313536 17830 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23829] ppid=23820 vsize=864564 CPUtime=0.12
/proc/23822/task/23829/stat : 23829 (java) S 23820 23822 22952 0 -1 64 381 0 0 0 12 0 0 0 16 0 9 0 90496052 885313536 17830 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23830] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23830/stat : 23830 (java) S 23820 23822 22952 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90496052 885313536 17830 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23831] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23831/stat : 23831 (java) S 23820 23822 22952 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90496052 885313536 17830 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 864564
[startup+6.302 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 23831
/proc/meminfo: memFree=573608/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=864564 CPUtime=6.23
/proc/23822/stat : 23822 (java) S 23820 23822 22952 0 -1 0 18465 0 1 0 612 11 0 0 18 0 9 0 90496046 885313536 17837 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23822/statm: 216141 17837 1974 9 0 210610 0
[pid=23822/tid=23823] ppid=23820 vsize=864564 CPUtime=6.06
/proc/23822/task/23823/stat : 23823 (java) R 23820 23822 22952 0 -1 64 14715 0 1 0 597 9 0 0 25 0 9 0 90496047 885313536 17837 996147200 134512640 134550932 4294955888 18446744073709551615 4126624405 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23825] ppid=23820 vsize=864564 CPUtime=0.03
/proc/23822/task/23825/stat : 23825 (java) S 23820 23822 22952 0 -1 64 2632 0 0 0 2 1 0 0 16 0 9 0 90496049 885313536 17837 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23826] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23826/stat : 23826 (java) S 23820 23822 22952 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90496049 885313536 17837 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23827] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23827/stat : 23827 (java) S 23820 23822 22952 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90496049 885313536 17837 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23828] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23828/stat : 23828 (java) S 23820 23822 22952 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90496052 885313536 17837 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23829] ppid=23820 vsize=864564 CPUtime=0.13
/proc/23822/task/23829/stat : 23829 (java) S 23820 23822 22952 0 -1 64 386 0 0 0 13 0 0 0 16 0 9 0 90496052 885313536 17837 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23830] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23830/stat : 23830 (java) S 23820 23822 22952 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90496052 885313536 17837 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23831] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23831/stat : 23831 (java) S 23820 23822 22952 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90496052 885313536 17837 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 864564
[startup+12.7024 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 23831
/proc/meminfo: memFree=573480/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=864564 CPUtime=12.57
/proc/23822/stat : 23822 (java) S 23820 23822 22952 0 -1 0 18469 0 1 0 1246 11 0 0 18 0 9 0 90496046 885313536 17841 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23822/statm: 216141 17841 1975 9 0 210610 0
[pid=23822/tid=23823] ppid=23820 vsize=864564 CPUtime=12.39
/proc/23822/task/23823/stat : 23823 (java) R 23820 23822 22952 0 -1 64 14718 0 1 0 1230 9 0 0 25 0 9 0 90496047 885313536 17841 996147200 134512640 134550932 4294955888 18446744073709551615 4126644705 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23825] ppid=23820 vsize=864564 CPUtime=0.03
/proc/23822/task/23825/stat : 23825 (java) S 23820 23822 22952 0 -1 64 2632 0 0 0 2 1 0 0 16 0 9 0 90496049 885313536 17841 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23826] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23826/stat : 23826 (java) S 23820 23822 22952 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90496049 885313536 17841 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23827] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23827/stat : 23827 (java) S 23820 23822 22952 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90496049 885313536 17841 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23828] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23828/stat : 23828 (java) S 23820 23822 22952 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90496052 885313536 17841 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23829] ppid=23820 vsize=864564 CPUtime=0.13
/proc/23822/task/23829/stat : 23829 (java) S 23820 23822 22952 0 -1 64 387 0 0 0 13 0 0 0 17 0 9 0 90496052 885313536 17841 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23830] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23830/stat : 23830 (java) S 23820 23822 22952 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90496052 885313536 17841 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23831] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23831/stat : 23831 (java) S 23820 23822 22952 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90496052 885313536 17841 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.57
Current children cumulated vsize (KiB) 864564
Solver just ended. Dumping a history of the last processes samples
[startup+12.8024 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 23831
/proc/meminfo: memFree=573480/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=864564 CPUtime=12.67
/proc/23822/stat : 23822 (java) S 23820 23822 22952 0 -1 0 18469 0 1 0 1256 11 0 0 18 0 9 0 90496046 885313536 17841 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23822/statm: 216141 17841 1975 9 0 210610 0
[pid=23822/tid=23823] ppid=23820 vsize=864564 CPUtime=12.49
/proc/23822/task/23823/stat : 23823 (java) R 23820 23822 22952 0 -1 64 14718 0 1 0 1240 9 0 0 25 0 9 0 90496047 885313536 17841 996147200 134512640 134550932 4294955888 18446744073709551615 4126647918 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23825] ppid=23820 vsize=864564 CPUtime=0.03
/proc/23822/task/23825/stat : 23825 (java) S 23820 23822 22952 0 -1 64 2632 0 0 0 2 1 0 0 16 0 9 0 90496049 885313536 17841 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23826] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23826/stat : 23826 (java) S 23820 23822 22952 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90496049 885313536 17841 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23827] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23827/stat : 23827 (java) S 23820 23822 22952 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90496049 885313536 17841 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23828] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23828/stat : 23828 (java) S 23820 23822 22952 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90496052 885313536 17841 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23829] ppid=23820 vsize=864564 CPUtime=0.13
/proc/23822/task/23829/stat : 23829 (java) S 23820 23822 22952 0 -1 64 387 0 0 0 13 0 0 0 17 0 9 0 90496052 885313536 17841 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23830] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23830/stat : 23830 (java) S 23820 23822 22952 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90496052 885313536 17841 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23831] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23831/stat : 23831 (java) S 23820 23822 22952 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90496052 885313536 17841 996147200 134512640 134550932 4294955888 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) 864564
[startup+19.2029 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 23831
/proc/meminfo: memFree=573544/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=864564 CPUtime=19.01
/proc/23822/stat : 23822 (java) S 23820 23822 22952 0 -1 0 18480 0 1 0 1889 12 0 0 18 0 9 0 90496046 885313536 17851 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23822/statm: 216141 17851 1977 9 0 210610 0
[pid=23822/tid=23823] ppid=23820 vsize=864564 CPUtime=18.82
/proc/23822/task/23823/stat : 23823 (java) R 23820 23822 22952 0 -1 64 14724 0 1 0 1873 9 0 0 25 0 9 0 90496047 885313536 17851 996147200 134512640 134550932 4294955888 18446744073709551615 4126646508 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23825] ppid=23820 vsize=864564 CPUtime=0.03
/proc/23822/task/23825/stat : 23825 (java) S 23820 23822 22952 0 -1 64 2632 0 0 0 2 1 0 0 17 0 9 0 90496049 885313536 17851 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23826] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23826/stat : 23826 (java) S 23820 23822 22952 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90496049 885313536 17851 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23827] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23827/stat : 23827 (java) S 23820 23822 22952 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90496049 885313536 17851 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23828] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23828/stat : 23828 (java) S 23820 23822 22952 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90496052 885313536 17851 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23829] ppid=23820 vsize=864564 CPUtime=0.13
/proc/23822/task/23829/stat : 23829 (java) S 23820 23822 22952 0 -1 64 392 0 0 0 13 0 0 0 15 0 9 0 90496052 885313536 17851 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23830] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23830/stat : 23830 (java) S 23820 23822 22952 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90496052 885313536 17851 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23831] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23831/stat : 23831 (java) S 23820 23822 22952 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90496052 885313536 17851 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 19.01
Current children cumulated vsize (KiB) 864564
[startup+22.4021 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 23831
/proc/meminfo: memFree=573416/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=864564 CPUtime=22.18
/proc/23822/stat : 23822 (java) S 23820 23822 22952 0 -1 0 18495 0 1 0 2206 12 0 0 18 0 9 0 90496046 885313536 17862 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23822/statm: 216141 17862 1980 9 0 210610 0
[pid=23822/tid=23823] ppid=23820 vsize=864564 CPUtime=21.98
/proc/23822/task/23823/stat : 23823 (java) R 23820 23822 22952 0 -1 64 14730 0 1 0 2188 10 0 0 25 0 9 0 90496047 885313536 17862 996147200 134512640 134550932 4294955888 18446744073709551615 4126662595 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23825] ppid=23820 vsize=864564 CPUtime=0.03
/proc/23822/task/23825/stat : 23825 (java) S 23820 23822 22952 0 -1 64 2632 0 0 0 2 1 0 0 17 0 9 0 90496049 885313536 17862 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23826] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23826/stat : 23826 (java) S 23820 23822 22952 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90496049 885313536 17862 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23827] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23827/stat : 23827 (java) S 23820 23822 22952 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90496049 885313536 17862 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23828] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23828/stat : 23828 (java) S 23820 23822 22952 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90496052 885313536 17862 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23829] ppid=23820 vsize=864564 CPUtime=0.15
/proc/23822/task/23829/stat : 23829 (java) S 23820 23822 22952 0 -1 64 401 0 0 0 15 0 0 0 16 0 9 0 90496052 885313536 17862 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23830] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23830/stat : 23830 (java) S 23820 23822 22952 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90496052 885313536 17862 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23831] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23831/stat : 23831 (java) S 23820 23822 22952 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90496052 885313536 17862 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 22.18
Current children cumulated vsize (KiB) 864564
[startup+24.0012 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 23831
/proc/meminfo: memFree=573416/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=864564 CPUtime=23.76
/proc/23822/stat : 23822 (java) S 23820 23822 22952 0 -1 0 18496 0 1 0 2364 12 0 0 18 0 9 0 90496046 885313536 17863 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23822/statm: 216141 17863 1980 9 0 210610 0
[pid=23822/tid=23823] ppid=23820 vsize=864564 CPUtime=23.56
/proc/23822/task/23823/stat : 23823 (java) R 23820 23822 22952 0 -1 64 14731 0 1 0 2346 10 0 0 25 0 9 0 90496047 885313536 17863 996147200 134512640 134550932 4294955888 18446744073709551615 4126624896 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23825] ppid=23820 vsize=864564 CPUtime=0.03
/proc/23822/task/23825/stat : 23825 (java) S 23820 23822 22952 0 -1 64 2632 0 0 0 2 1 0 0 16 0 9 0 90496049 885313536 17863 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23826] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23826/stat : 23826 (java) S 23820 23822 22952 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90496049 885313536 17863 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23827] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23827/stat : 23827 (java) S 23820 23822 22952 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90496049 885313536 17863 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23828] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23828/stat : 23828 (java) S 23820 23822 22952 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90496052 885313536 17863 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23829] ppid=23820 vsize=864564 CPUtime=0.15
/proc/23822/task/23829/stat : 23829 (java) S 23820 23822 22952 0 -1 64 401 0 0 0 15 0 0 0 16 0 9 0 90496052 885313536 17863 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23830] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23830/stat : 23830 (java) S 23820 23822 22952 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90496052 885313536 17863 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23831] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23831/stat : 23831 (java) S 23820 23822 22952 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90496052 885313536 17863 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 23.76
Current children cumulated vsize (KiB) 864564
[startup+24.4012 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 23831
/proc/meminfo: memFree=573416/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=864564 CPUtime=24.15
/proc/23822/stat : 23822 (java) S 23820 23822 22952 0 -1 0 18496 0 1 0 2403 12 0 0 18 0 9 0 90496046 885313536 17863 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23822/statm: 216141 17863 1980 9 0 210610 0
[pid=23822/tid=23823] ppid=23820 vsize=864564 CPUtime=23.96
/proc/23822/task/23823/stat : 23823 (java) R 23820 23822 22952 0 -1 64 14731 0 1 0 2386 10 0 0 25 0 9 0 90496047 885313536 17863 996147200 134512640 134550932 4294955888 18446744073709551615 4126626014 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23825] ppid=23820 vsize=864564 CPUtime=0.03
/proc/23822/task/23825/stat : 23825 (java) S 23820 23822 22952 0 -1 64 2632 0 0 0 2 1 0 0 16 0 9 0 90496049 885313536 17863 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23826] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23826/stat : 23826 (java) S 23820 23822 22952 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90496049 885313536 17863 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23827] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23827/stat : 23827 (java) S 23820 23822 22952 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90496049 885313536 17863 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23828] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23828/stat : 23828 (java) S 23820 23822 22952 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90496052 885313536 17863 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23829] ppid=23820 vsize=864564 CPUtime=0.15
/proc/23822/task/23829/stat : 23829 (java) S 23820 23822 22952 0 -1 64 401 0 0 0 15 0 0 0 16 0 9 0 90496052 885313536 17863 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23830] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23830/stat : 23830 (java) S 23820 23822 22952 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90496052 885313536 17863 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23831] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23831/stat : 23831 (java) S 23820 23822 22952 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90496052 885313536 17863 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.15
Current children cumulated vsize (KiB) 864564
[startup+24.6012 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 23831
/proc/meminfo: memFree=573416/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=864564 CPUtime=24.35
/proc/23822/stat : 23822 (java) S 23820 23822 22952 0 -1 0 18496 0 1 0 2423 12 0 0 18 0 9 0 90496046 885313536 17863 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23822/statm: 216141 17863 1980 9 0 210610 0
[pid=23822/tid=23823] ppid=23820 vsize=864564 CPUtime=24.16
/proc/23822/task/23823/stat : 23823 (java) R 23820 23822 22952 0 -1 64 14731 0 1 0 2406 10 0 0 25 0 9 0 90496047 885313536 17863 996147200 134512640 134550932 4294955888 18446744073709551615 4126696650 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23825] ppid=23820 vsize=864564 CPUtime=0.03
/proc/23822/task/23825/stat : 23825 (java) S 23820 23822 22952 0 -1 64 2632 0 0 0 2 1 0 0 16 0 9 0 90496049 885313536 17863 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23826] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23826/stat : 23826 (java) S 23820 23822 22952 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90496049 885313536 17863 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23827] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23827/stat : 23827 (java) S 23820 23822 22952 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90496049 885313536 17863 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23828] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23828/stat : 23828 (java) S 23820 23822 22952 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90496052 885313536 17863 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23829] ppid=23820 vsize=864564 CPUtime=0.15
/proc/23822/task/23829/stat : 23829 (java) S 23820 23822 22952 0 -1 64 401 0 0 0 15 0 0 0 16 0 9 0 90496052 885313536 17863 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23830] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23830/stat : 23830 (java) S 23820 23822 22952 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90496052 885313536 17863 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23831] ppid=23820 vsize=864564 CPUtime=0
/proc/23822/task/23831/stat : 23831 (java) S 23820 23822 22952 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90496052 885313536 17863 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.35
Current children cumulated vsize (KiB) 864564
[startup+24.7012 s]
/proc/loadavg: 2.00 2.00 2.00 3/89 23831
/proc/meminfo: memFree=573416/2055920 swapFree=4192812/4192956
[pid=23822] ppid=23820 vsize=864888 CPUtime=24.42
/proc/23822/stat : 23822 (java) S 23820 23822 22952 0 -1 0 18523 0 1 0 2429 13 0 0 18 0 9 0 90496046 885645312 17887 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/23822/statm: 216222 17887 1989 9 0 210691 0
[pid=23822/tid=23823] ppid=23820 vsize=864888 CPUtime=24.21
/proc/23822/task/23823/stat : 23823 (java) S 23820 23822 22952 0 -1 64 14752 0 1 0 2411 10 0 0 25 0 9 0 90496047 885645312 17887 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23825] ppid=23820 vsize=864888 CPUtime=0.03
/proc/23822/task/23825/stat : 23825 (java) S 23820 23822 22952 0 -1 64 2632 0 0 0 2 1 0 0 16 0 9 0 90496049 885645312 17887 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23826] ppid=23820 vsize=864888 CPUtime=0
/proc/23822/task/23826/stat : 23826 (java) S 23820 23822 22952 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 90496049 885645312 17887 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23827] ppid=23820 vsize=864888 CPUtime=0
/proc/23822/task/23827/stat : 23827 (java) S 23820 23822 22952 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 90496049 885645312 17887 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23828] ppid=23820 vsize=864888 CPUtime=0
/proc/23822/task/23828/stat : 23828 (java) S 23820 23822 22952 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 90496052 885645312 17887 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23829] ppid=23820 vsize=864888 CPUtime=0.15
/proc/23822/task/23829/stat : 23829 (java) S 23820 23822 22952 0 -1 64 402 0 0 0 15 0 0 0 16 0 9 0 90496052 885645312 17887 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23830] ppid=23820 vsize=864888 CPUtime=0
/proc/23822/task/23830/stat : 23830 (java) S 23820 23822 22952 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 90496052 885645312 17887 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=23822/tid=23831] ppid=23820 vsize=864888 CPUtime=0
/proc/23822/task/23831/stat : 23831 (java) S 23820 23822 22952 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 90496052 885645312 17887 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 24.42
Current children cumulated vsize (KiB) 864888
Child status: 0
Real time (s): 24.7238
CPU time (s): 24.4423
CPU user time (s): 24.2993
CPU system time (s): 0.142978
CPU usage (%): 98.8615
Max. virtual memory (cumulated for all children) (KiB): 864888
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.2993
system time used= 0.142978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18526
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= 1439
involuntary context switches= 2065
runsolver used 0.031995 second user time and 0.087986 second system time
The end
Begin job on node39 at 2009-07-19 22:12:00
IDJOB=2117487
IDBENCH=59888
IDSOLVER=780
FILE ID=node39/2117487-1248034320
PBS_JOBID= 9528969
Free space on /tmp= 66324 MiB
SOLVER NAME= Choco2.1.1b 2009-07-16
BENCH NAME= CPAI08/csp/tightness0.9/normalized-rand-2-40-180-84-900-47_ext.xml
COMMAND LINE= java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file BENCHNAME -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2117487-1248034320/watcher-2117487-1248034320 -o /tmp/evaluation-result-2117487-1248034320/solver-2117487-1248034320 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2117487-1248034320.xml -randval true -h 1 -ac 32 -saclim 60 -s true -verb 0 -seed 11041979
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0293ed4d3177082bd80a0695733fe5fc
RANDOM SEED=790542499
node39.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: 638224 kB
Buffers: 86124 kB
Cached: 888792 kB
SwapCached: 0 kB
Active: 430024 kB
Inactive: 901320 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 638224 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 6788 kB
Writeback: 0 kB
Mapped: 374228 kB
Slab: 70872 kB
Committed_AS: 1317672 kB
PageTables: 2448 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= 66320 MiB
End job on node39 at 2009-07-19 22:12:25