236.58/239.13 s SATISFIABLE
236.58/239.13 v 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0
236.58/239.13 d AC 32
236.58/239.13 d RUNTIME 239.012
236.58/239.13 d NODES 22264
236.58/239.13 d NODES/s 93
236.58/239.13 d BACKTRACKS 32921
236.58/239.13 d BACKTRACKS/s 138
236.58/239.13 d CHECKS 0
236.58/239.13 d CHECKS/s 0
236.58/239.13 c SAT 239.012 TIME 22264 NDS 561 PARSTIME 279 BUILDPB 238172 RES true 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-2073599-1247358789/watcher-2073599-1247358789 -o /tmp/evaluation-result-2073599-1247358789/solver-2073599-1247358789 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2073599-1247358789.xml -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -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.04 2.01 4/81 16423
/proc/meminfo: memFree=1350096/2055920 swapFree=4192956/4192956
[pid=16423] ppid=16421 vsize=18576 CPUtime=0
/proc/16423/stat : 16423 (runsolver) R 16421 16423 15122 0 -1 4194368 16 0 0 0 0 0 0 0 21 0 1 0 22945948 19021824 284 996147200 4194304 4302564 548682068192 18446744073709551615 252429528359 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/16423/statm: 4644 284 249 26 0 2626 0
[startup+0.056387 s]
/proc/loadavg: 2.00 2.04 2.01 4/81 16423
/proc/meminfo: memFree=1350096/2055920 swapFree=4192956/4192956
[pid=16423] ppid=16421 vsize=860732 CPUtime=0.03
/proc/16423/stat : 16423 (java) S 16421 16423 15122 0 -1 0 2397 0 1 0 2 1 0 0 18 0 7 0 22945948 881389568 1956 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16423/statm: 215183 1956 907 9 0 210098 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 860732
[startup+0.101325 s]
/proc/loadavg: 2.00 2.04 2.01 4/81 16423
/proc/meminfo: memFree=1350096/2055920 swapFree=4192956/4192956
[pid=16423] ppid=16421 vsize=862256 CPUtime=0.08
/proc/16423/stat : 16423 (java) S 16421 16423 15122 0 -1 0 3314 0 1 0 7 1 0 0 18 0 9 0 22945948 882950144 2781 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16423/statm: 215564 2781 1311 9 0 210433 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 862256
[startup+0.301355 s]
/proc/loadavg: 2.00 2.04 2.01 4/81 16423
/proc/meminfo: memFree=1350096/2055920 swapFree=4192956/4192956
[pid=16423] ppid=16421 vsize=864356 CPUtime=0.28
/proc/16423/stat : 16423 (java) S 16421 16423 15122 0 -1 0 9603 0 1 0 23 5 0 0 18 0 9 0 22945948 885100544 9025 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16423/statm: 216089 9025 1860 9 0 210557 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 864356
[startup+0.701386 s]
/proc/loadavg: 2.00 2.04 2.01 4/81 16423
/proc/meminfo: memFree=1350096/2055920 swapFree=4192956/4192956
[pid=16423] ppid=16421 vsize=864480 CPUtime=0.67
/proc/16423/stat : 16423 (java) S 16421 16423 15122 0 -1 0 20816 0 1 0 57 10 0 0 18 0 9 0 22945948 885227520 20219 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16423/statm: 216120 20219 1918 9 0 210588 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 864480
[startup+1.50246 s]
/proc/loadavg: 2.00 2.04 2.01 3/90 16432
/proc/meminfo: memFree=1275072/2055920 swapFree=4192956/4192956
[pid=16423] ppid=16421 vsize=864556 CPUtime=1.47
/proc/16423/stat : 16423 (java) S 16421 16423 15122 0 -1 0 23262 0 1 0 135 12 0 0 18 0 9 0 22945948 885305344 22636 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16423/statm: 216139 22636 1972 9 0 210607 0
[pid=16423/tid=16425] ppid=16421 vsize=864556 CPUtime=1.24
/proc/16423/task/16425/stat : 16425 (java) R 16421 16423 15122 0 -1 64 14703 0 1 0 117 7 0 0 25 0 9 0 22945950 885305344 22636 996147200 134512640 134550932 4294955840 18446744073709551615 4126679920 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16426] ppid=16421 vsize=864556 CPUtime=0.06
/proc/16423/task/16426/stat : 16426 (java) S 16421 16423 15122 0 -1 64 7437 0 0 0 3 3 0 0 16 0 9 0 22945951 885305344 22636 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16427] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16427/stat : 16427 (java) S 16421 16423 15122 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22945952 885305344 22636 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16428] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16428/stat : 16428 (java) S 16421 16423 15122 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22945952 885305344 22636 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16429] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16429/stat : 16429 (java) S 16421 16423 15122 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 22945954 885305344 22636 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16430] ppid=16421 vsize=864556 CPUtime=0.13
/proc/16423/task/16430/stat : 16430 (java) S 16421 16423 15122 0 -1 64 390 0 0 0 13 0 0 0 16 0 9 0 22945954 885305344 22636 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16431] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16431/stat : 16431 (java) S 16421 16423 15122 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 22945954 885305344 22636 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16432] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16432/stat : 16432 (java) S 16421 16423 15122 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 22945954 885305344 22636 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 864556
[startup+3.10262 s]
/proc/loadavg: 2.00 2.04 2.01 3/90 16432
/proc/meminfo: memFree=1266624/2055920 swapFree=4192956/4192956
[pid=16423] ppid=16421 vsize=864556 CPUtime=3.04
/proc/16423/stat : 16423 (java) S 16421 16423 15122 0 -1 0 23281 0 1 0 292 12 0 0 18 0 9 0 22945948 885305344 22652 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16423/statm: 216139 22652 1977 9 0 210607 0
[pid=16423/tid=16425] ppid=16421 vsize=864556 CPUtime=2.78
/proc/16423/task/16425/stat : 16425 (java) R 16421 16423 15122 0 -1 64 14716 0 1 0 271 7 0 0 25 0 9 0 22945950 885305344 22652 996147200 134512640 134550932 4294955840 18446744073709551615 4126678820 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16426] ppid=16421 vsize=864556 CPUtime=0.09
/proc/16423/task/16426/stat : 16426 (java) S 16421 16423 15122 0 -1 64 7437 0 0 0 6 3 0 0 16 0 9 0 22945951 885305344 22652 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16427] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16427/stat : 16427 (java) S 16421 16423 15122 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22945952 885305344 22652 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16428] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16428/stat : 16428 (java) S 16421 16423 15122 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22945952 885305344 22652 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16429] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16429/stat : 16429 (java) S 16421 16423 15122 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 22945954 885305344 22652 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16430] ppid=16421 vsize=864556 CPUtime=0.14
/proc/16423/task/16430/stat : 16430 (java) S 16421 16423 15122 0 -1 64 396 0 0 0 14 0 0 0 15 0 9 0 22945954 885305344 22652 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16431] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16431/stat : 16431 (java) S 16421 16423 15122 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 22945954 885305344 22652 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16432] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16432/stat : 16432 (java) S 16421 16423 15122 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 22945954 885305344 22652 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 864556
[startup+6.30194 s]
/proc/loadavg: 2.00 2.04 2.01 3/90 16432
/proc/meminfo: memFree=1266560/2055920 swapFree=4192956/4192956
[pid=16423] ppid=16421 vsize=864556 CPUtime=6.21
/proc/16423/stat : 16423 (java) S 16421 16423 15122 0 -1 0 23294 0 1 0 609 12 0 0 18 0 9 0 22945948 885305344 22658 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16423/statm: 216139 22658 1977 9 0 210607 0
[pid=16423/tid=16425] ppid=16421 vsize=864556 CPUtime=5.87
/proc/16423/task/16425/stat : 16425 (java) R 16421 16423 15122 0 -1 64 14723 0 1 0 580 7 0 0 25 0 9 0 22945950 885305344 22658 996147200 134512640 134550932 4294955840 18446744073709551615 4126683236 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16426] ppid=16421 vsize=864556 CPUtime=0.15
/proc/16423/task/16426/stat : 16426 (java) S 16421 16423 15122 0 -1 64 7437 0 0 0 12 3 0 0 16 0 9 0 22945951 885305344 22658 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16427] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16427/stat : 16427 (java) S 16421 16423 15122 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22945952 885305344 22658 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16428] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16428/stat : 16428 (java) S 16421 16423 15122 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22945952 885305344 22658 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16429] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16429/stat : 16429 (java) S 16421 16423 15122 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 22945954 885305344 22658 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16430] ppid=16421 vsize=864556 CPUtime=0.15
/proc/16423/task/16430/stat : 16430 (java) S 16421 16423 15122 0 -1 64 402 0 0 0 15 0 0 0 15 0 9 0 22945954 885305344 22658 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16431] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16431/stat : 16431 (java) S 16421 16423 15122 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 22945954 885305344 22658 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16432] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16432/stat : 16432 (java) S 16421 16423 15122 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 22945954 885305344 22658 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 864556
[startup+12.7026 s]
/proc/loadavg: 2.00 2.04 2.01 3/90 16432
/proc/meminfo: memFree=1263880/2055920 swapFree=4192956/4192956
[pid=16423] ppid=16421 vsize=864556 CPUtime=12.52
/proc/16423/stat : 16423 (java) S 16421 16423 15122 0 -1 0 23977 0 1 0 1239 13 0 0 18 0 9 0 22945948 885305344 23329 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16423/statm: 216139 23329 1977 9 0 210607 0
[pid=16423/tid=16425] ppid=16421 vsize=864556 CPUtime=12.12
/proc/16423/task/16425/stat : 16425 (java) R 16421 16423 15122 0 -1 64 14735 0 1 0 1204 8 0 0 25 0 9 0 22945950 885305344 23329 996147200 134512640 134550932 4294955840 18446744073709551615 4126678759 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16426] ppid=16421 vsize=864556 CPUtime=0.22
/proc/16423/task/16426/stat : 16426 (java) S 16421 16423 15122 0 -1 64 8106 0 0 0 18 4 0 0 16 0 9 0 22945951 885305344 23329 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16427] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16427/stat : 16427 (java) S 16421 16423 15122 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22945952 885305344 23329 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16428] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16428/stat : 16428 (java) S 16421 16423 15122 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22945952 885305344 23329 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16429] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16429/stat : 16429 (java) S 16421 16423 15122 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 22945954 885305344 23329 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16430] ppid=16421 vsize=864556 CPUtime=0.16
/proc/16423/task/16430/stat : 16430 (java) S 16421 16423 15122 0 -1 64 404 0 0 0 16 0 0 0 15 0 9 0 22945954 885305344 23329 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16431] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16431/stat : 16431 (java) S 16421 16423 15122 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 22945954 885305344 23329 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16432] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16432/stat : 16432 (java) S 16421 16423 15122 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 22945954 885305344 23329 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.52
Current children cumulated vsize (KiB) 864556
[startup+25.5026 s]
/proc/loadavg: 2.00 2.04 2.01 3/90 16432
/proc/meminfo: memFree=1263880/2055920 swapFree=4192956/4192956
[pid=16423] ppid=16421 vsize=864556 CPUtime=25.16
/proc/16423/stat : 16423 (java) S 16421 16423 15122 0 -1 0 24017 0 1 0 2503 13 0 0 18 0 9 0 22945948 885305344 23343 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16423/statm: 216139 23343 1980 9 0 210607 0
[pid=16423/tid=16425] ppid=16421 vsize=864556 CPUtime=24.71
/proc/16423/task/16425/stat : 16425 (java) R 16421 16423 15122 0 -1 64 14761 0 1 0 2463 8 0 0 25 0 9 0 22945950 885305344 23343 996147200 134512640 134550932 4294955840 18446744073709551615 4126678866 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16426] ppid=16421 vsize=864556 CPUtime=0.25
/proc/16423/task/16426/stat : 16426 (java) S 16421 16423 15122 0 -1 64 8106 0 0 0 21 4 0 0 16 0 9 0 22945951 885305344 23343 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16427] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16427/stat : 16427 (java) S 16421 16423 15122 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22945952 885305344 23343 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16428] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16428/stat : 16428 (java) S 16421 16423 15122 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22945952 885305344 23343 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16429] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16429/stat : 16429 (java) S 16421 16423 15122 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 22945954 885305344 23343 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16430] ppid=16421 vsize=864556 CPUtime=0.17
/proc/16423/task/16430/stat : 16430 (java) S 16421 16423 15122 0 -1 64 418 0 0 0 17 0 0 0 16 0 9 0 22945954 885305344 23343 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16431] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16431/stat : 16431 (java) S 16421 16423 15122 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 22945954 885305344 23343 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16432] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16432/stat : 16432 (java) S 16421 16423 15122 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 22945954 885305344 23343 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.16
Current children cumulated vsize (KiB) 864556
[startup+51.107 s]
/proc/loadavg: 2.00 2.04 2.01 4/90 16432
/proc/meminfo: memFree=1263816/2055920 swapFree=4192956/4192956
[pid=16423] ppid=16421 vsize=864556 CPUtime=50.38
/proc/16423/stat : 16423 (java) S 16421 16423 15122 0 -1 0 24069 0 1 0 5023 15 0 0 18 0 9 0 22945948 885305344 23344 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16423/statm: 216139 23344 1980 9 0 210607 0
[pid=16423/tid=16425] ppid=16421 vsize=864556 CPUtime=49.88
/proc/16423/task/16425/stat : 16425 (java) R 16421 16423 15122 0 -1 64 14812 0 1 0 4978 10 0 0 25 0 9 0 22945950 885305344 23344 996147200 134512640 134550932 4294955840 18446744073709551615 4126678822 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16426] ppid=16421 vsize=864556 CPUtime=0.3
/proc/16423/task/16426/stat : 16426 (java) S 16421 16423 15122 0 -1 64 8106 0 0 0 26 4 0 0 16 0 9 0 22945951 885305344 23344 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16427] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16427/stat : 16427 (java) S 16421 16423 15122 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22945952 885305344 23344 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16428] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16428/stat : 16428 (java) S 16421 16423 15122 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22945952 885305344 23344 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16429] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16429/stat : 16429 (java) S 16421 16423 15122 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 22945954 885305344 23344 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16430] ppid=16421 vsize=864556 CPUtime=0.18
/proc/16423/task/16430/stat : 16430 (java) S 16421 16423 15122 0 -1 64 419 0 0 0 18 0 0 0 16 0 9 0 22945954 885305344 23344 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16431] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16431/stat : 16431 (java) S 16421 16423 15122 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 22945954 885305344 23344 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
################
# More data... #
################
[pid=16423/tid=16425] ppid=16421 vsize=864556 CPUtime=218.92
/proc/16423/task/16425/stat : 16425 (java) R 16421 16423 15122 0 -1 64 15162 0 1 0 21871 21 0 0 18 0 9 0 22945950 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4126678839 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16426] ppid=16421 vsize=864556 CPUtime=0.67
/proc/16423/task/16426/stat : 16426 (java) S 16421 16423 15122 0 -1 64 8107 0 0 0 60 7 0 0 15 0 9 0 22945951 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16423/tid=16427] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16427/stat : 16427 (java) S 16421 16423 15122 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22945952 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16428] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16428/stat : 16428 (java) S 16421 16423 15122 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22945952 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16429] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16429/stat : 16429 (java) S 16421 16423 15122 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 22945954 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16430] ppid=16421 vsize=864556 CPUtime=0.18
/proc/16423/task/16430/stat : 16430 (java) S 16421 16423 15122 0 -1 64 420 0 0 0 18 0 0 0 17 0 9 0 22945954 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16431] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16431/stat : 16431 (java) S 16421 16423 15122 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 22945954 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16432] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16432/stat : 16432 (java) S 16421 16423 15122 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 22945954 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 219.8
Current children cumulated vsize (KiB) 864556
Solver just ended. Dumping a history of the last processes samples
[startup+230.302 s]
/proc/loadavg: 1.44 1.86 1.95 2/76 16800
/proc/meminfo: memFree=1361424/2055920 swapFree=4192956/4192956
[pid=16423] ppid=16421 vsize=864556 CPUtime=227.79
/proc/16423/stat : 16423 (java) S 16421 16423 15122 0 -1 0 24437 0 1 0 22749 30 0 0 18 0 9 0 22945948 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16423/statm: 216139 23346 1980 9 0 210607 0
[pid=16423/tid=16425] ppid=16421 vsize=864556 CPUtime=226.9
/proc/16423/task/16425/stat : 16425 (java) R 16421 16423 15122 0 -1 64 15178 0 1 0 22669 21 0 0 20 0 9 0 22945950 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4126681352 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16426] ppid=16421 vsize=864556 CPUtime=0.68
/proc/16423/task/16426/stat : 16426 (java) S 16421 16423 15122 0 -1 64 8107 0 0 0 61 7 0 0 15 0 9 0 22945951 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16423/tid=16427] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16427/stat : 16427 (java) S 16421 16423 15122 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22945952 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16428] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16428/stat : 16428 (java) S 16421 16423 15122 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22945952 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16429] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16429/stat : 16429 (java) S 16421 16423 15122 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 22945954 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16430] ppid=16421 vsize=864556 CPUtime=0.18
/proc/16423/task/16430/stat : 16430 (java) S 16421 16423 15122 0 -1 64 420 0 0 0 18 0 0 0 17 0 9 0 22945954 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16431] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16431/stat : 16431 (java) S 16421 16423 15122 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 22945954 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16432] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16432/stat : 16432 (java) S 16421 16423 15122 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 22945954 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 227.79
Current children cumulated vsize (KiB) 864556
[startup+233.501 s]
/proc/loadavg: 1.40 1.85 1.94 2/76 16827
/proc/meminfo: memFree=1361416/2055920 swapFree=4192956/4192956
[pid=16423] ppid=16421 vsize=864556 CPUtime=230.99
/proc/16423/stat : 16423 (java) S 16421 16423 15122 0 -1 0 24444 0 1 0 23068 31 0 0 18 0 9 0 22945948 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16423/statm: 216139 23346 1980 9 0 210607 0
[pid=16423/tid=16425] ppid=16421 vsize=864556 CPUtime=230.09
/proc/16423/task/16425/stat : 16425 (java) R 16421 16423 15122 0 -1 64 15185 0 1 0 22987 22 0 0 18 0 9 0 22945950 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4126683236 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16426] ppid=16421 vsize=864556 CPUtime=0.69
/proc/16423/task/16426/stat : 16426 (java) S 16421 16423 15122 0 -1 64 8107 0 0 0 62 7 0 0 16 0 9 0 22945951 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16423/tid=16427] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16427/stat : 16427 (java) S 16421 16423 15122 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22945952 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16428] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16428/stat : 16428 (java) S 16421 16423 15122 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22945952 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16429] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16429/stat : 16429 (java) S 16421 16423 15122 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 22945954 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16430] ppid=16421 vsize=864556 CPUtime=0.18
/proc/16423/task/16430/stat : 16430 (java) S 16421 16423 15122 0 -1 64 420 0 0 0 18 0 0 0 17 0 9 0 22945954 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16431] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16431/stat : 16431 (java) S 16421 16423 15122 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 22945954 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16432] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16432/stat : 16432 (java) S 16421 16423 15122 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 22945954 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 230.99
Current children cumulated vsize (KiB) 864556
[startup+236.703 s]
/proc/loadavg: 1.37 1.83 1.94 2/76 16827
/proc/meminfo: memFree=1361416/2055920 swapFree=4192956/4192956
[pid=16423] ppid=16421 vsize=864556 CPUtime=234.19
/proc/16423/stat : 16423 (java) S 16421 16423 15122 0 -1 0 24451 0 1 0 23388 31 0 0 18 0 9 0 22945948 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16423/statm: 216139 23346 1980 9 0 210607 0
[pid=16423/tid=16425] ppid=16421 vsize=864556 CPUtime=233.28
/proc/16423/task/16425/stat : 16425 (java) R 16421 16423 15122 0 -1 64 15192 0 1 0 23306 22 0 0 17 0 9 0 22945950 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4126678866 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16426] ppid=16421 vsize=864556 CPUtime=0.69
/proc/16423/task/16426/stat : 16426 (java) S 16421 16423 15122 0 -1 64 8107 0 0 0 62 7 0 0 15 0 9 0 22945951 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16423/tid=16427] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16427/stat : 16427 (java) S 16421 16423 15122 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22945952 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16428] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16428/stat : 16428 (java) S 16421 16423 15122 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22945952 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16429] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16429/stat : 16429 (java) S 16421 16423 15122 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 22945954 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16430] ppid=16421 vsize=864556 CPUtime=0.18
/proc/16423/task/16430/stat : 16430 (java) S 16421 16423 15122 0 -1 64 420 0 0 0 18 0 0 0 17 0 9 0 22945954 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16431] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16431/stat : 16431 (java) S 16421 16423 15122 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 22945954 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16432] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16432/stat : 16432 (java) S 16421 16423 15122 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 22945954 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 234.19
Current children cumulated vsize (KiB) 864556
[startup+238.303 s]
/proc/loadavg: 1.37 1.83 1.94 2/76 16827
/proc/meminfo: memFree=1361424/2055920 swapFree=4192956/4192956
[pid=16423] ppid=16421 vsize=864556 CPUtime=235.79
/proc/16423/stat : 16423 (java) S 16421 16423 15122 0 -1 0 24454 0 1 0 23548 31 0 0 18 0 9 0 22945948 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16423/statm: 216139 23346 1980 9 0 210607 0
[pid=16423/tid=16425] ppid=16421 vsize=864556 CPUtime=234.88
/proc/16423/task/16425/stat : 16425 (java) R 16421 16423 15122 0 -1 64 15195 0 1 0 23466 22 0 0 23 0 9 0 22945950 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4126683210 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16426] ppid=16421 vsize=864556 CPUtime=0.7
/proc/16423/task/16426/stat : 16426 (java) S 16421 16423 15122 0 -1 64 8107 0 0 0 63 7 0 0 16 0 9 0 22945951 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16423/tid=16427] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16427/stat : 16427 (java) S 16421 16423 15122 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22945952 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16428] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16428/stat : 16428 (java) S 16421 16423 15122 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22945952 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16429] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16429/stat : 16429 (java) S 16421 16423 15122 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 22945954 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16430] ppid=16421 vsize=864556 CPUtime=0.18
/proc/16423/task/16430/stat : 16430 (java) S 16421 16423 15122 0 -1 64 420 0 0 0 18 0 0 0 17 0 9 0 22945954 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16431] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16431/stat : 16431 (java) S 16421 16423 15122 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 22945954 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16432] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16432/stat : 16432 (java) S 16421 16423 15122 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 22945954 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 235.79
Current children cumulated vsize (KiB) 864556
[startup+238.706 s]
/proc/loadavg: 1.37 1.83 1.94 2/76 16827
/proc/meminfo: memFree=1361424/2055920 swapFree=4192956/4192956
[pid=16423] ppid=16421 vsize=864556 CPUtime=236.19
/proc/16423/stat : 16423 (java) S 16421 16423 15122 0 -1 0 24455 0 1 0 23588 31 0 0 18 0 9 0 22945948 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16423/statm: 216139 23346 1980 9 0 210607 0
[pid=16423/tid=16425] ppid=16421 vsize=864556 CPUtime=235.28
/proc/16423/task/16425/stat : 16425 (java) R 16421 16423 15122 0 -1 64 15196 0 1 0 23506 22 0 0 18 0 9 0 22945950 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4126662481 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16426] ppid=16421 vsize=864556 CPUtime=0.7
/proc/16423/task/16426/stat : 16426 (java) S 16421 16423 15122 0 -1 64 8107 0 0 0 63 7 0 0 16 0 9 0 22945951 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16423/tid=16427] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16427/stat : 16427 (java) S 16421 16423 15122 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22945952 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16428] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16428/stat : 16428 (java) S 16421 16423 15122 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22945952 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16429] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16429/stat : 16429 (java) S 16421 16423 15122 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 22945954 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16430] ppid=16421 vsize=864556 CPUtime=0.18
/proc/16423/task/16430/stat : 16430 (java) S 16421 16423 15122 0 -1 64 420 0 0 0 18 0 0 0 17 0 9 0 22945954 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16431] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16431/stat : 16431 (java) S 16421 16423 15122 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 22945954 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16432] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16432/stat : 16432 (java) S 16421 16423 15122 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 22945954 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 236.19
Current children cumulated vsize (KiB) 864556
[startup+239.102 s]
/proc/loadavg: 1.37 1.83 1.94 2/76 16827
/proc/meminfo: memFree=1361424/2055920 swapFree=4192956/4192956
[pid=16423] ppid=16421 vsize=864556 CPUtime=236.58
/proc/16423/stat : 16423 (java) S 16421 16423 15122 0 -1 0 24456 0 1 0 23627 31 0 0 18 0 9 0 22945948 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/16423/statm: 216139 23346 1980 9 0 210607 0
[pid=16423/tid=16425] ppid=16421 vsize=864556 CPUtime=235.67
/proc/16423/task/16425/stat : 16425 (java) R 16421 16423 15122 0 -1 64 15197 0 1 0 23545 22 0 0 18 0 9 0 22945950 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16426] ppid=16421 vsize=864556 CPUtime=0.7
/proc/16423/task/16426/stat : 16426 (java) S 16421 16423 15122 0 -1 64 8107 0 0 0 63 7 0 0 15 0 9 0 22945951 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16423/tid=16427] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16427/stat : 16427 (java) S 16421 16423 15122 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 22945952 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16428] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16428/stat : 16428 (java) S 16421 16423 15122 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 22945952 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16429] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16429/stat : 16429 (java) S 16421 16423 15122 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 22945954 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16430] ppid=16421 vsize=864556 CPUtime=0.18
/proc/16423/task/16430/stat : 16430 (java) S 16421 16423 15122 0 -1 64 420 0 0 0 18 0 0 0 17 0 9 0 22945954 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16431] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16431/stat : 16431 (java) S 16421 16423 15122 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 22945954 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=16423/tid=16432] ppid=16421 vsize=864556 CPUtime=0
/proc/16423/task/16432/stat : 16432 (java) S 16421 16423 15122 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 22945954 885305344 23346 996147200 134512640 134550932 4294955840 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 236.58
Current children cumulated vsize (KiB) 864556
Child status: 0
Real time (s): 239.174
CPU time (s): 236.645
CPU user time (s): 236.308
CPU system time (s): 0.336948
CPU usage (%): 98.9425
Max. virtual memory (cumulated for all children) (KiB): 864556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 236.308
system time used= 0.336948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24476
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= 9345
involuntary context switches= 12435
runsolver used 0.405938 second user time and 1.08283 second system time
The end
Begin job on node12 at 2009-07-12 02:33:09
IDJOB=2073599
IDBENCH=55993
IDSOLVER=737
FILE ID=node12/2073599-1247358789
PBS_JOBID= 9506813
Free space on /tmp= 66136 MiB
SOLVER NAME= Choco2.1.1 2009-06-10
BENCH NAME= CPAI08/csp/bddSmall/normalized-bdd-21-133-18-78-5_ext.xml
COMMAND LINE= java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file BENCHNAME -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -saclim 60 -s true -verb 0 -seed 11041979
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2073599-1247358789/watcher-2073599-1247358789 -o /tmp/evaluation-result-2073599-1247358789/solver-2073599-1247358789 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco-2.1.1.jar -file HOME/instance-2073599-1247358789.xml -h 1 -randval true -ac 32 -rest true -rb 10 -rg 1.3 -saclim 60 -s true -verb 0 -seed 11041979
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 3f3857850da57279fca201746d0d31de
RANDOM SEED=1742770575
node12.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.240
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.240
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: 1350576 kB
Buffers: 68076 kB
Cached: 471232 kB
SwapCached: 0 kB
Active: 167280 kB
Inactive: 482684 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1350576 kB
SwapTotal: 4192956 kB
SwapFree: 4192956 kB
Dirty: 4588 kB
Writeback: 0 kB
Mapped: 131064 kB
Slab: 40344 kB
Committed_AS: 315064 kB
PageTables: 2000 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= 66136 MiB
End job on node12 at 2009-07-12 02:37:08