66.80/66.93 s SATISFIABLE
66.80/66.93 v 14 1 16 15 13 1 14 19 18 9 10 19 21 0 19 5 4 10 3 4 17 5 2 2 16
66.80/66.93 d AC 32
66.80/66.93 d RUNTIME 66.816
66.80/66.93 d NODES 93448
66.80/66.93 d NODES/s 1399
66.80/66.93 d BACKTRACKS 189302
66.80/66.93 d BACKTRACKS/s 2833
66.80/66.93 d CHECKS 0
66.80/66.93 d CHECKS/s 0
66.80/66.93 c SAT 66.816 TIME 93448 NDS 314 PARSTIME 122 BUILDPB 130 CONFIG 66250 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-2114652-1248026627/watcher-2114652-1248026627 -o /tmp/evaluation-result-2114652-1248026627/solver-2114652-1248026627 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2114652-1248026627.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: 0.15 0.03 0.01 3/69 29398
/proc/meminfo: memFree=990408/2055924 swapFree=4192812/4192956
[pid=29398] ppid=29396 vsize=152 CPUtime=0
/proc/29398/stat : 29398 (java) R 29396 29398 29292 0 -1 0 222 0 0 0 0 0 0 0 18 0 1 0 89730156 155648 26 996147200 134512640 134550932 4294955888 18446744073709551615 2188068 0 0 4096 0 0 0 0 17 0 0 0
/proc/29398/statm: 38 26 19 9 0 4 0
[startup+0.05522 s]
/proc/loadavg: 0.15 0.03 0.01 3/69 29398
/proc/meminfo: memFree=990408/2055924 swapFree=4192812/4192956
[pid=29398] ppid=29396 vsize=862024 CPUtime=0.05
/proc/29398/stat : 29398 (java) S 29396 29398 29292 0 -1 0 2786 0 1 0 3 2 0 0 18 0 9 0 89730156 882712576 2306 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29398/statm: 215506 2307 1135 9 0 210376 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 862024
[startup+0.101226 s]
/proc/loadavg: 0.15 0.03 0.01 3/69 29398
/proc/meminfo: memFree=990408/2055924 swapFree=4192812/4192956
[pid=29398] ppid=29396 vsize=864104 CPUtime=0.09
/proc/29398/stat : 29398 (java) S 29396 29398 29292 0 -1 0 3906 0 1 0 7 2 0 0 18 0 9 0 89730156 884842496 3353 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29398/statm: 216026 3354 1752 9 0 210495 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 864104
[startup+0.301269 s]
/proc/loadavg: 0.15 0.03 0.01 3/69 29398
/proc/meminfo: memFree=990408/2055924 swapFree=4192812/4192956
[pid=29398] ppid=29396 vsize=864868 CPUtime=0.29
/proc/29398/stat : 29398 (java) S 29396 29398 29292 0 -1 0 4905 0 1 0 26 3 0 0 18 0 9 0 89730156 885624832 4327 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29398/statm: 216217 4327 1866 9 0 210686 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 864868
[startup+0.701343 s]
/proc/loadavg: 0.15 0.03 0.01 3/69 29398
/proc/meminfo: memFree=990408/2055924 swapFree=4192812/4192956
[pid=29398] ppid=29396 vsize=865096 CPUtime=0.69
/proc/29398/stat : 29398 (java) S 29396 29398 29292 0 -1 0 8072 0 1 0 63 6 0 0 18 0 9 0 89730156 885858304 7452 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29398/statm: 216274 7452 1965 9 0 210743 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 865096
[startup+1.5015 s]
/proc/loadavg: 0.15 0.03 0.01 3/78 29407
/proc/meminfo: memFree=950464/2055924 swapFree=4192812/4192956
[pid=29398] ppid=29396 vsize=865096 CPUtime=1.48
/proc/29398/stat : 29398 (java) S 29396 29398 29292 0 -1 0 12818 0 1 0 139 9 0 0 18 0 9 0 89730156 885858304 12197 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29398/statm: 216274 12198 1968 9 0 210743 0
[pid=29398/tid=29400] ppid=29396 vsize=865096 CPUtime=1.28
/proc/29398/task/29400/stat : 29400 (java) R 29396 29398 29292 0 -1 64 11520 0 1 0 120 8 0 0 25 0 9 0 89730157 885858304 12198 996147200 134512640 134550932 4294955888 18446744073709551615 4126861309 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29401] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29401/stat : 29401 (java) S 29396 29398 29292 0 -1 64 3 0 0 0 0 0 0 0 17 0 9 0 89730158 885858304 12198 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29402] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29402/stat : 29402 (java) S 29396 29398 29292 0 -1 64 11 0 0 0 0 0 0 0 21 0 9 0 89730159 885858304 12198 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29403] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29403/stat : 29403 (java) S 29396 29398 29292 0 -1 64 4 0 0 0 0 0 0 0 22 0 9 0 89730159 885858304 12199 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29404] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29404/stat : 29404 (java) S 29396 29398 29292 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 89730161 885858304 12199 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29405] ppid=29396 vsize=865096 CPUtime=0.19
/proc/29398/task/29405/stat : 29405 (java) S 29396 29398 29292 0 -1 64 570 0 0 0 19 0 0 0 16 0 9 0 89730161 885858304 12199 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29406] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29406/stat : 29406 (java) S 29396 29398 29292 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 89730161 885858304 12199 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29407] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29407/stat : 29407 (java) S 29396 29398 29292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89730161 885858304 12200 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 865096
[startup+3.10282 s]
/proc/loadavg: 0.15 0.03 0.01 3/78 29407
/proc/meminfo: memFree=917888/2055924 swapFree=4192812/4192956
[pid=29398] ppid=29396 vsize=865096 CPUtime=3.07
/proc/29398/stat : 29398 (java) S 29396 29398 29292 0 -1 0 16826 0 1 0 293 14 0 0 18 0 9 0 89730156 885858304 16201 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29398/statm: 216274 16201 1982 9 0 210743 0
[pid=29398/tid=29400] ppid=29396 vsize=865096 CPUtime=2.83
/proc/29398/task/29400/stat : 29400 (java) R 29396 29398 29292 0 -1 64 14738 0 1 0 271 12 0 0 25 0 9 0 89730157 885858304 16201 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29401] ppid=29396 vsize=865096 CPUtime=0.01
/proc/29398/task/29401/stat : 29401 (java) S 29396 29398 29292 0 -1 64 776 0 0 0 1 0 0 0 16 0 9 0 89730158 885858304 16201 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29402] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29402/stat : 29402 (java) S 29396 29398 29292 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89730159 885858304 16201 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29403] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29403/stat : 29403 (java) S 29396 29398 29292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89730159 885858304 16201 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29404] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29404/stat : 29404 (java) S 29396 29398 29292 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 89730161 885858304 16201 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29405] ppid=29396 vsize=865096 CPUtime=0.19
/proc/29398/task/29405/stat : 29405 (java) S 29396 29398 29292 0 -1 64 580 0 0 0 19 0 0 0 16 0 9 0 89730161 885858304 16201 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29406] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29406/stat : 29406 (java) S 29396 29398 29292 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 89730161 885858304 16201 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29407] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29407/stat : 29407 (java) S 29396 29398 29292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89730161 885858304 16201 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 865096
[startup+6.30145 s]
/proc/loadavg: 0.38 0.08 0.03 3/76 29407
/proc/meminfo: memFree=890128/2055924 swapFree=4192812/4192956
[pid=29398] ppid=29396 vsize=865096 CPUtime=6.26
/proc/29398/stat : 29398 (java) S 29396 29398 29292 0 -1 0 17592 0 1 0 609 17 0 0 18 0 9 0 89730156 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29398/statm: 216274 16964 1982 9 0 210743 0
[pid=29398/tid=29400] ppid=29396 vsize=865096 CPUtime=6.01
/proc/29398/task/29400/stat : 29400 (java) R 29396 29398 29292 0 -1 64 14741 0 1 0 586 15 0 0 25 0 9 0 89730157 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29401] ppid=29396 vsize=865096 CPUtime=0.02
/proc/29398/task/29401/stat : 29401 (java) S 29396 29398 29292 0 -1 64 1539 0 0 0 2 0 0 0 17 0 9 0 89730158 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29402] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29402/stat : 29402 (java) S 29396 29398 29292 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89730159 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29403] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29403/stat : 29403 (java) S 29396 29398 29292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89730159 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29404] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29404/stat : 29404 (java) S 29396 29398 29292 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29405] ppid=29396 vsize=865096 CPUtime=0.19
/proc/29398/task/29405/stat : 29405 (java) S 29396 29398 29292 0 -1 64 580 0 0 0 19 0 0 0 16 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29406] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29406/stat : 29406 (java) S 29396 29398 29292 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29407] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29407/stat : 29407 (java) S 29396 29398 29292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 865096
[startup+12.7027 s]
/proc/loadavg: 0.59 0.13 0.04 3/89 29421
/proc/meminfo: memFree=520232/2055924 swapFree=4192812/4192956
[pid=29398] ppid=29396 vsize=865096 CPUtime=12.66
/proc/29398/stat : 29398 (java) S 29396 29398 29292 0 -1 0 17595 0 1 0 1244 22 0 0 18 0 9 0 89730156 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29398/statm: 216274 16964 1982 9 0 210743 0
[pid=29398/tid=29400] ppid=29396 vsize=865096 CPUtime=12.41
/proc/29398/task/29400/stat : 29400 (java) R 29396 29398 29292 0 -1 64 14744 0 1 0 1221 20 0 0 25 0 9 0 89730157 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29401] ppid=29396 vsize=865096 CPUtime=0.02
/proc/29398/task/29401/stat : 29401 (java) S 29396 29398 29292 0 -1 64 1539 0 0 0 2 0 0 0 17 0 9 0 89730158 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29402] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29402/stat : 29402 (java) S 29396 29398 29292 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89730159 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29403] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29403/stat : 29403 (java) S 29396 29398 29292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89730159 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29404] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29404/stat : 29404 (java) S 29396 29398 29292 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29405] ppid=29396 vsize=865096 CPUtime=0.19
/proc/29398/task/29405/stat : 29405 (java) S 29396 29398 29292 0 -1 64 580 0 0 0 19 0 0 0 16 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29406] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29406/stat : 29406 (java) S 29396 29398 29292 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29407] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29407/stat : 29407 (java) S 29396 29398 29292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 865096
[startup+25.5012 s]
/proc/loadavg: 0.90 0.22 0.07 2/79 29458
/proc/meminfo: memFree=950776/2055924 swapFree=4192812/4192956
[pid=29398] ppid=29396 vsize=865096 CPUtime=25.44
/proc/29398/stat : 29398 (java) S 29396 29398 29292 0 -1 0 17601 0 1 0 2515 29 0 0 18 0 9 0 89730156 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29398/statm: 216274 16964 1982 9 0 210743 0
[pid=29398/tid=29400] ppid=29396 vsize=865096 CPUtime=25.19
/proc/29398/task/29400/stat : 29400 (java) R 29396 29398 29292 0 -1 64 14750 0 1 0 2492 27 0 0 25 0 9 0 89730157 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29401] ppid=29396 vsize=865096 CPUtime=0.03
/proc/29398/task/29401/stat : 29401 (java) S 29396 29398 29292 0 -1 64 1539 0 0 0 3 0 0 0 16 0 9 0 89730158 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29402] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29402/stat : 29402 (java) S 29396 29398 29292 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89730159 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29403] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29403/stat : 29403 (java) S 29396 29398 29292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89730159 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29404] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29404/stat : 29404 (java) S 29396 29398 29292 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29405] ppid=29396 vsize=865096 CPUtime=0.19
/proc/29398/task/29405/stat : 29405 (java) S 29396 29398 29292 0 -1 64 580 0 0 0 19 0 0 0 16 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29406] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29406/stat : 29406 (java) S 29396 29398 29292 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29407] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29407/stat : 29407 (java) S 29396 29398 29292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 865096
[startup+51.1012 s]
/proc/loadavg: 1.28 0.36 0.12 3/89 29565
/proc/meminfo: memFree=893928/2055924 swapFree=4192812/4192956
[pid=29398] ppid=29396 vsize=865096 CPUtime=51.01
/proc/29398/stat : 29398 (java) S 29396 29398 29292 0 -1 0 17614 0 1 0 5059 42 0 0 18 0 9 0 89730156 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29398/statm: 216274 16964 1982 9 0 210743 0
[pid=29398/tid=29400] ppid=29396 vsize=865096 CPUtime=50.74
/proc/29398/task/29400/stat : 29400 (java) R 29396 29398 29292 0 -1 64 14763 0 1 0 5035 39 0 0 25 0 9 0 89730157 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29401] ppid=29396 vsize=865096 CPUtime=0.03
/proc/29398/task/29401/stat : 29401 (java) S 29396 29398 29292 0 -1 64 1539 0 0 0 3 0 0 0 16 0 9 0 89730158 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29402] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29402/stat : 29402 (java) S 29396 29398 29292 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89730159 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29403] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29403/stat : 29403 (java) S 29396 29398 29292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89730159 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29404] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29404/stat : 29404 (java) S 29396 29398 29292 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29405] ppid=29396 vsize=865096 CPUtime=0.19
/proc/29398/task/29405/stat : 29405 (java) S 29396 29398 29292 0 -1 64 580 0 0 0 19 0 0 0 16 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29406] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29406/stat : 29406 (java) S 29396 29398 29292 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29407] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29407/stat : 29407 (java) S 29396 29398 29292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 865096
Solver just ended. Dumping a history of the last processes samples
[startup+57.5015 s]
/proc/loadavg: 1.33 0.39 0.13 3/89 29565
/proc/meminfo: memFree=892712/2055924 swapFree=4192812/4192956
[pid=29398] ppid=29396 vsize=865096 CPUtime=57.41
/proc/29398/stat : 29398 (java) S 29396 29398 29292 0 -1 0 17618 0 1 0 5696 45 0 0 18 0 9 0 89730156 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29398/statm: 216274 16964 1982 9 0 210743 0
[pid=29398/tid=29400] ppid=29396 vsize=865096 CPUtime=57.15
/proc/29398/task/29400/stat : 29400 (java) R 29396 29398 29292 0 -1 64 14767 0 1 0 5672 43 0 0 25 0 9 0 89730157 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29401] ppid=29396 vsize=865096 CPUtime=0.03
/proc/29398/task/29401/stat : 29401 (java) S 29396 29398 29292 0 -1 64 1539 0 0 0 3 0 0 0 17 0 9 0 89730158 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29402] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29402/stat : 29402 (java) S 29396 29398 29292 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89730159 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29403] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29403/stat : 29403 (java) S 29396 29398 29292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89730159 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29404] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29404/stat : 29404 (java) S 29396 29398 29292 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29405] ppid=29396 vsize=865096 CPUtime=0.19
/proc/29398/task/29405/stat : 29405 (java) S 29396 29398 29292 0 -1 64 580 0 0 0 19 0 0 0 16 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29406] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29406/stat : 29406 (java) S 29396 29398 29292 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29407] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29407/stat : 29407 (java) S 29396 29398 29292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 57.41
Current children cumulated vsize (KiB) 865096
[startup+63.9028 s]
/proc/loadavg: 1.44 0.44 0.15 3/89 29565
/proc/meminfo: memFree=892648/2055924 swapFree=4192812/4192956
[pid=29398] ppid=29396 vsize=865096 CPUtime=63.8
/proc/29398/stat : 29398 (java) S 29396 29398 29292 0 -1 0 17621 0 1 0 6330 50 0 0 18 0 9 0 89730156 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29398/statm: 216274 16964 1982 9 0 210743 0
[pid=29398/tid=29400] ppid=29396 vsize=865096 CPUtime=63.54
/proc/29398/task/29400/stat : 29400 (java) R 29396 29398 29292 0 -1 64 14770 0 1 0 6306 48 0 0 25 0 9 0 89730157 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29401] ppid=29396 vsize=865096 CPUtime=0.04
/proc/29398/task/29401/stat : 29401 (java) S 29396 29398 29292 0 -1 64 1539 0 0 0 4 0 0 0 16 0 9 0 89730158 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29402] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29402/stat : 29402 (java) S 29396 29398 29292 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89730159 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29403] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29403/stat : 29403 (java) S 29396 29398 29292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89730159 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29404] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29404/stat : 29404 (java) S 29396 29398 29292 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29405] ppid=29396 vsize=865096 CPUtime=0.19
/proc/29398/task/29405/stat : 29405 (java) S 29396 29398 29292 0 -1 64 580 0 0 0 19 0 0 0 16 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29406] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29406/stat : 29406 (java) S 29396 29398 29292 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29407] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29407/stat : 29407 (java) S 29396 29398 29292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 63.8
Current children cumulated vsize (KiB) 865096
[startup+65.5021 s]
/proc/loadavg: 1.44 0.44 0.15 3/89 29565
/proc/meminfo: memFree=892648/2055924 swapFree=4192812/4192956
[pid=29398] ppid=29396 vsize=865096 CPUtime=65.41
/proc/29398/stat : 29398 (java) S 29396 29398 29292 0 -1 0 17622 0 1 0 6490 51 0 0 18 0 9 0 89730156 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29398/statm: 216274 16964 1982 9 0 210743 0
[pid=29398/tid=29400] ppid=29396 vsize=865096 CPUtime=65.13
/proc/29398/task/29400/stat : 29400 (java) R 29396 29398 29292 0 -1 64 14771 0 1 0 6465 48 0 0 25 0 9 0 89730157 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29401] ppid=29396 vsize=865096 CPUtime=0.04
/proc/29398/task/29401/stat : 29401 (java) S 29396 29398 29292 0 -1 64 1539 0 0 0 4 0 0 0 17 0 9 0 89730158 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29402] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29402/stat : 29402 (java) S 29396 29398 29292 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89730159 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29403] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29403/stat : 29403 (java) S 29396 29398 29292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89730159 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29404] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29404/stat : 29404 (java) S 29396 29398 29292 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29405] ppid=29396 vsize=865096 CPUtime=0.19
/proc/29398/task/29405/stat : 29405 (java) S 29396 29398 29292 0 -1 64 580 0 0 0 19 0 0 0 16 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29406] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29406/stat : 29406 (java) S 29396 29398 29292 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29407] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29407/stat : 29407 (java) S 29396 29398 29292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 65.41
Current children cumulated vsize (KiB) 865096
[startup+66.3012 s]
/proc/loadavg: 1.44 0.44 0.15 3/89 29565
/proc/meminfo: memFree=892648/2055924 swapFree=4192812/4192956
[pid=29398] ppid=29396 vsize=865096 CPUtime=66.2
/proc/29398/stat : 29398 (java) S 29396 29398 29292 0 -1 0 17622 0 1 0 6569 51 0 0 18 0 9 0 89730156 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29398/statm: 216274 16964 1982 9 0 210743 0
[pid=29398/tid=29400] ppid=29396 vsize=865096 CPUtime=65.94
/proc/29398/task/29400/stat : 29400 (java) R 29396 29398 29292 0 -1 64 14771 0 1 0 6545 49 0 0 25 0 9 0 89730157 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29401] ppid=29396 vsize=865096 CPUtime=0.04
/proc/29398/task/29401/stat : 29401 (java) S 29396 29398 29292 0 -1 64 1539 0 0 0 4 0 0 0 16 0 9 0 89730158 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29402] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29402/stat : 29402 (java) S 29396 29398 29292 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89730159 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29403] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29403/stat : 29403 (java) S 29396 29398 29292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89730159 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29404] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29404/stat : 29404 (java) S 29396 29398 29292 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29405] ppid=29396 vsize=865096 CPUtime=0.19
/proc/29398/task/29405/stat : 29405 (java) S 29396 29398 29292 0 -1 64 580 0 0 0 19 0 0 0 16 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29406] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29406/stat : 29406 (java) S 29396 29398 29292 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29407] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29407/stat : 29407 (java) S 29396 29398 29292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 66.2
Current children cumulated vsize (KiB) 865096
[startup+66.7013 s]
/proc/loadavg: 1.44 0.44 0.15 3/89 29565
/proc/meminfo: memFree=892648/2055924 swapFree=4192812/4192956
[pid=29398] ppid=29396 vsize=865096 CPUtime=66.6
/proc/29398/stat : 29398 (java) S 29396 29398 29292 0 -1 0 17623 0 1 0 6608 52 0 0 18 0 9 0 89730156 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29398/statm: 216274 16964 1982 9 0 210743 0
[pid=29398/tid=29400] ppid=29396 vsize=865096 CPUtime=66.33
/proc/29398/task/29400/stat : 29400 (java) R 29396 29398 29292 0 -1 64 14772 0 1 0 6584 49 0 0 25 0 9 0 89730157 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29401] ppid=29396 vsize=865096 CPUtime=0.04
/proc/29398/task/29401/stat : 29401 (java) S 29396 29398 29292 0 -1 64 1539 0 0 0 4 0 0 0 17 0 9 0 89730158 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29402] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29402/stat : 29402 (java) S 29396 29398 29292 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89730159 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29403] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29403/stat : 29403 (java) S 29396 29398 29292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89730159 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29404] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29404/stat : 29404 (java) S 29396 29398 29292 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29405] ppid=29396 vsize=865096 CPUtime=0.19
/proc/29398/task/29405/stat : 29405 (java) S 29396 29398 29292 0 -1 64 580 0 0 0 19 0 0 0 16 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29406] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29406/stat : 29406 (java) S 29396 29398 29292 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29407] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29407/stat : 29407 (java) S 29396 29398 29292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 66.6
Current children cumulated vsize (KiB) 865096
[startup+66.9013 s]
/proc/loadavg: 1.44 0.44 0.15 3/89 29565
/proc/meminfo: memFree=892648/2055924 swapFree=4192812/4192956
[pid=29398] ppid=29396 vsize=865096 CPUtime=66.8
/proc/29398/stat : 29398 (java) S 29396 29398 29292 0 -1 0 17623 0 1 0 6628 52 0 0 18 0 9 0 89730156 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/29398/statm: 216274 16964 1982 9 0 210743 0
[pid=29398/tid=29400] ppid=29396 vsize=865096 CPUtime=66.53
/proc/29398/task/29400/stat : 29400 (java) R 29396 29398 29292 0 -1 64 14772 0 1 0 6604 49 0 0 25 0 9 0 89730157 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29401] ppid=29396 vsize=865096 CPUtime=0.04
/proc/29398/task/29401/stat : 29401 (java) S 29396 29398 29292 0 -1 64 1539 0 0 0 4 0 0 0 17 0 9 0 89730158 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29402] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29402/stat : 29402 (java) S 29396 29398 29292 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89730159 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29403] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29403/stat : 29403 (java) S 29396 29398 29292 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89730159 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29404] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29404/stat : 29404 (java) S 29396 29398 29292 0 -1 64 1 0 0 0 0 0 0 0 23 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29405] ppid=29396 vsize=865096 CPUtime=0.19
/proc/29398/task/29405/stat : 29405 (java) S 29396 29398 29292 0 -1 64 580 0 0 0 19 0 0 0 16 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29406] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29406/stat : 29406 (java) S 29396 29398 29292 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=29398/tid=29407] ppid=29396 vsize=865096 CPUtime=0
/proc/29398/task/29407/stat : 29407 (java) S 29396 29398 29292 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 89730161 885858304 16964 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 66.8
Current children cumulated vsize (KiB) 865096
Child status: 0
Real time (s): 66.9801
CPU time (s): 66.8518
CPU user time (s): 66.3169
CPU system time (s): 0.534918
CPU usage (%): 99.8085
Max. virtual memory (cumulated for all children) (KiB): 865096
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 66.3169
system time used= 0.534918
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17654
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= 2833
involuntary context switches= 3128
runsolver used 0.100984 second user time and 0.215967 second system time
The end
Begin job on node6 at 2009-07-19 20:03:47
IDJOB=2114652
IDBENCH=53594
IDSOLVER=780
FILE ID=node6/2114652-1248026627
PBS_JOBID= 9529033
Free space on /tmp= 66384 MiB
SOLVER NAME= Choco2.1.1b 2009-07-16
BENCH NAME= CPAI08/csp/rand-2-25/normalized-rand-25-25-300-147-53021_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-2114652-1248026627/watcher-2114652-1248026627 -o /tmp/evaluation-result-2114652-1248026627/solver-2114652-1248026627 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2114652-1248026627.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= b093d1eee6128493ee5528d2a633370a
RANDOM SEED=2056161924
node6.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.263
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.263
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: 2055924 kB
MemFree: 990952 kB
Buffers: 111436 kB
Cached: 828800 kB
SwapCached: 0 kB
Active: 276112 kB
Inactive: 682756 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 990952 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 29276 kB
Writeback: 0 kB
Mapped: 28464 kB
Slab: 91680 kB
Committed_AS: 481020 kB
PageTables: 1776 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= 66400 MiB
End job on node6 at 2009-07-19 20:04:54