57.34/57.96 s SATISFIABLE
57.34/57.96 v 86 49 57 70 19 9 1 3 83 27 47 56 53 55 46 51 37 52 62 59 54 67 71 26 23 38 88 95 36 58 94 90 85 96 41 16 48 34 24 91 73 92 65 93 60 50 66 64 33 77 2 10 42 75 78 61 45 84 89 68 79 87 44 13 74 40 80 22 69 14 81 6 43 29 25 35 76 8 4 11 63 17 15 20 12 7 39 21 32 30 28 18 31 72 82 5
57.34/57.96 d ASSIGNMENTS 538
57.34/57.96 c SAT 57871 TIME 538 NDS 2400 PARSTIME 5615 BUILDPB 49856 RES true RESTART 1 HEURISTIC
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1055386-1215059444/watcher-1055386-1215059444 -o /tmp/evaluation-result-1055386-1215059444/solver-1055386-1215059444 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2dwdeg.jar HOME/instance-1055386-1215059444.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2200 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.99 2.01 2.00 4/81 12733
/proc/meminfo: memFree=1774640/2055920 swapFree=4180448/4192956
[pid=12733] ppid=12731 vsize=18572 CPUtime=0
/proc/12733/stat : 12733 (runsolver) R 12731 12733 11646 0 -1 4194368 16 0 0 0 0 0 0 0 19 0 1 0 1984918968 19017728 292 996147200 4194304 4296836 548682068416 18446744073709551615 237788261671 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/12733/statm: 4643 292 257 25 0 2626 0
[startup+0.01862 s]
/proc/loadavg: 1.99 2.01 2.00 4/81 12733
/proc/meminfo: memFree=1774640/2055920 swapFree=4180448/4192956
[pid=12733] ppid=12731 vsize=11088 CPUtime=0
/proc/12733/stat : 12733 (java) S 12731 12733 11646 0 -1 0 849 0 0 0 0 0 0 0 18 0 2 0 1984918968 11354112 584 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0
/proc/12733/statm: 2772 584 289 9 0 1244 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11088
[startup+0.101928 s]
/proc/loadavg: 1.99 2.01 2.00 4/81 12733
/proc/meminfo: memFree=1774640/2055920 swapFree=4180448/4192956
[pid=12733] ppid=12731 vsize=866544 CPUtime=0.09
/proc/12733/stat : 12733 (java) S 12731 12733 11646 0 -1 0 3787 0 1 0 7 2 0 0 18 0 9 0 1984918968 887341056 3260 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12733/statm: 216636 3260 1752 9 0 211108 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 866544
[startup+0.301945 s]
/proc/loadavg: 1.99 2.01 2.00 4/81 12733
/proc/meminfo: memFree=1774640/2055920 swapFree=4180448/4192956
[pid=12733] ppid=12731 vsize=867300 CPUtime=0.28
/proc/12733/stat : 12733 (java) S 12731 12733 11646 0 -1 0 4638 0 1 0 26 2 0 0 18 0 9 0 1984918968 888115200 4091 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12733/statm: 216825 4091 1853 9 0 211297 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 867300
[startup+0.701988 s]
/proc/loadavg: 1.99 2.01 2.00 4/81 12733
/proc/meminfo: memFree=1774640/2055920 swapFree=4180448/4192956
[pid=12733] ppid=12731 vsize=867300 CPUtime=0.68
/proc/12733/stat : 12733 (java) S 12731 12733 11646 0 -1 0 10102 0 1 0 63 5 0 0 18 0 9 0 1984918968 888115200 9550 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12733/statm: 216825 9550 1865 9 0 211297 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867300
[startup+1.50207 s]
/proc/loadavg: 1.99 2.01 2.00 4/90 12742
/proc/meminfo: memFree=1725992/2055920 swapFree=4180448/4192956
[pid=12733] ppid=12731 vsize=867432 CPUtime=1.47
/proc/12733/stat : 12733 (java) S 12731 12733 11646 0 -1 0 25283 0 1 0 135 12 0 0 18 0 9 0 1984918968 888250368 24717 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12733/statm: 216858 24717 1917 9 0 211330 0
[pid=12733/tid=12735] ppid=12731 vsize=867432 CPUtime=1.01
/proc/12733/task/12735/stat : 12735 (java) R 12731 12733 11646 0 -1 64 15092 0 1 0 95 6 0 0 25 0 9 0 1984918970 888250368 24717 996147200 134512640 134550740 4294956032 18446744073709551615 4126904321 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12736] ppid=12731 vsize=867432 CPUtime=0.24
/proc/12733/task/12736/stat : 12736 (java) S 12731 12733 11646 0 -1 64 8897 0 0 0 20 4 0 0 18 0 9 0 1984918971 888250368 24717 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12737] ppid=12731 vsize=867432 CPUtime=0
/proc/12733/task/12737/stat : 12737 (java) S 12731 12733 11646 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1984918971 888250368 24717 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12738] ppid=12731 vsize=867432 CPUtime=0
/proc/12733/task/12738/stat : 12738 (java) S 12731 12733 11646 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1984918971 888250368 24717 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12739] ppid=12731 vsize=867432 CPUtime=0
/proc/12733/task/12739/stat : 12739 (java) S 12731 12733 11646 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1984918973 888250368 24717 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12740] ppid=12731 vsize=867432 CPUtime=0.19
/proc/12733/task/12740/stat : 12740 (java) S 12731 12733 11646 0 -1 64 559 0 0 0 19 0 0 0 16 0 9 0 1984918973 888250368 24717 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12741] ppid=12731 vsize=867432 CPUtime=0
/proc/12733/task/12741/stat : 12741 (java) S 12731 12733 11646 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1984918973 888250368 24717 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12742] ppid=12731 vsize=867432 CPUtime=0
/proc/12733/task/12742/stat : 12742 (java) S 12731 12733 11646 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1984918973 888250368 24717 996147200 134512640 134550740 4294956032 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) 867432
[startup+3.10124 s]
/proc/loadavg: 1.99 2.01 2.00 3/90 12742
/proc/meminfo: memFree=1673064/2055920 swapFree=4180448/4192956
[pid=12733] ppid=12731 vsize=867508 CPUtime=3.05
/proc/12733/stat : 12733 (java) S 12731 12733 11646 0 -1 0 29083 0 1 0 292 13 0 0 18 0 9 0 1984918968 888328192 28478 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12733/statm: 216877 28478 1985 9 0 211349 0
[pid=12733/tid=12735] ppid=12731 vsize=867508 CPUtime=2.39
/proc/12733/task/12735/stat : 12735 (java) R 12731 12733 11646 0 -1 64 15470 0 1 0 232 7 0 0 25 0 9 0 1984918970 888328192 28478 996147200 134512640 134550740 4294956032 18446744073709551615 4125950624 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12736] ppid=12731 vsize=867508 CPUtime=0.38
/proc/12733/task/12736/stat : 12736 (java) S 12731 12733 11646 0 -1 64 12278 0 0 0 33 5 0 0 16 0 9 0 1984918971 888328192 28478 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12737] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12737/stat : 12737 (java) S 12731 12733 11646 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1984918971 888328192 28478 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12738] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12738/stat : 12738 (java) S 12731 12733 11646 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1984918971 888328192 28478 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12739] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12739/stat : 12739 (java) S 12731 12733 11646 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1984918973 888328192 28478 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12740] ppid=12731 vsize=867508 CPUtime=0.25
/proc/12733/task/12740/stat : 12740 (java) S 12731 12733 11646 0 -1 64 600 0 0 0 25 0 0 0 15 0 9 0 1984918973 888328192 28478 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12741] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12741/stat : 12741 (java) S 12731 12733 11646 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1984918973 888328192 28478 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12742] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12742/stat : 12742 (java) S 12731 12733 11646 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1984918973 888328192 28478 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 867508
[startup+6.30258 s]
/proc/loadavg: 2.07 2.03 2.01 3/90 12742
/proc/meminfo: memFree=1665000/2055920 swapFree=4180448/4192956
[pid=12733] ppid=12731 vsize=867508 CPUtime=6.23
/proc/12733/stat : 12733 (java) S 12731 12733 11646 0 -1 0 29815 0 1 0 609 14 0 0 18 0 9 0 1984918968 888328192 29196 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12733/statm: 216877 29196 1986 9 0 211349 0
[pid=12733/tid=12735] ppid=12731 vsize=867508 CPUtime=5.41
/proc/12733/task/12735/stat : 12735 (java) R 12731 12733 11646 0 -1 64 15484 0 1 0 534 7 0 0 25 0 9 0 1984918970 888328192 29196 996147200 134512640 134550740 4294956032 18446744073709551615 4126655504 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12736] ppid=12731 vsize=867508 CPUtime=0.48
/proc/12733/task/12736/stat : 12736 (java) S 12731 12733 11646 0 -1 64 12957 0 0 0 43 5 0 0 16 0 9 0 1984918971 888328192 29196 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12737] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12737/stat : 12737 (java) S 12731 12733 11646 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1984918971 888328192 29196 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12738] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12738/stat : 12738 (java) S 12731 12733 11646 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1984918971 888328192 29196 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12739] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12739/stat : 12739 (java) S 12731 12733 11646 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1984918973 888328192 29196 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12740] ppid=12731 vsize=867508 CPUtime=0.31
/proc/12733/task/12740/stat : 12740 (java) S 12731 12733 11646 0 -1 64 639 0 0 0 31 0 0 0 15 0 9 0 1984918973 888328192 29196 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12741] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12741/stat : 12741 (java) S 12731 12733 11646 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1984918973 888328192 29196 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12742] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12742/stat : 12742 (java) S 12731 12733 11646 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1984918973 888328192 29196 996147200 134512640 134550740 4294956032 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) 867508
[startup+12.7012 s]
/proc/loadavg: 2.07 2.03 2.00 3/90 12742
/proc/meminfo: memFree=1663976/2055920 swapFree=4180448/4192956
[pid=12733] ppid=12731 vsize=867508 CPUtime=12.57
/proc/12733/stat : 12733 (java) S 12731 12733 11646 0 -1 0 30100 0 1 0 1242 15 0 0 18 0 9 0 1984918968 888328192 29465 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12733/statm: 216877 29465 1996 9 0 211349 0
[pid=12733/tid=12735] ppid=12731 vsize=867508 CPUtime=11.54
/proc/12733/task/12735/stat : 12735 (java) R 12731 12733 11646 0 -1 64 15602 0 1 0 1146 8 0 0 25 0 9 0 1984918970 888328192 29465 996147200 134512640 134550740 4294956032 18446744073709551615 4126655878 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12736] ppid=12731 vsize=867508 CPUtime=0.52
/proc/12733/task/12736/stat : 12736 (java) S 12731 12733 11646 0 -1 64 13007 0 0 0 47 5 0 0 17 0 9 0 1984918971 888328192 29465 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12737] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12737/stat : 12737 (java) S 12731 12733 11646 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1984918971 888328192 29465 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12738] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12738/stat : 12738 (java) S 12731 12733 11646 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1984918971 888328192 29465 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12739] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12739/stat : 12739 (java) S 12731 12733 11646 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1984918973 888328192 29465 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12740] ppid=12731 vsize=867508 CPUtime=0.47
/proc/12733/task/12740/stat : 12740 (java) S 12731 12733 11646 0 -1 64 756 0 0 0 47 0 0 0 17 0 9 0 1984918973 888328192 29465 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12741] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12741/stat : 12741 (java) S 12731 12733 11646 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1984918973 888328192 29465 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12742] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12742/stat : 12742 (java) S 12731 12733 11646 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1984918973 888328192 29465 996147200 134512640 134550740 4294956032 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) 867508
[startup+25.5026 s]
/proc/loadavg: 2.05 2.02 2.00 3/90 12742
/proc/meminfo: memFree=1663976/2055920 swapFree=4180448/4192956
[pid=12733] ppid=12731 vsize=867508 CPUtime=25.25
/proc/12733/stat : 12733 (java) S 12731 12733 11646 0 -1 0 30112 0 1 0 2509 16 0 0 18 0 9 0 1984918968 888328192 29472 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12733/statm: 216877 29472 1996 9 0 211349 0
[pid=12733/tid=12735] ppid=12731 vsize=867508 CPUtime=24.21
/proc/12733/task/12735/stat : 12735 (java) R 12731 12733 11646 0 -1 64 15607 0 1 0 2413 8 0 0 25 0 9 0 1984918970 888328192 29472 996147200 134512640 134550740 4294956032 18446744073709551615 4127544347 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12736] ppid=12731 vsize=867508 CPUtime=0.52
/proc/12733/task/12736/stat : 12736 (java) S 12731 12733 11646 0 -1 64 13007 0 0 0 47 5 0 0 16 0 9 0 1984918971 888328192 29472 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12737] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12737/stat : 12737 (java) S 12731 12733 11646 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1984918971 888328192 29472 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12738] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12738/stat : 12738 (java) S 12731 12733 11646 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1984918971 888328192 29472 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12739] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12739/stat : 12739 (java) S 12731 12733 11646 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1984918973 888328192 29472 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12740] ppid=12731 vsize=867508 CPUtime=0.48
/proc/12733/task/12740/stat : 12740 (java) S 12731 12733 11646 0 -1 64 763 0 0 0 48 0 0 0 16 0 9 0 1984918973 888328192 29472 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12741] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12741/stat : 12741 (java) S 12731 12733 11646 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1984918973 888328192 29472 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12742] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12742/stat : 12742 (java) S 12731 12733 11646 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1984918973 888328192 29472 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.25
Current children cumulated vsize (KiB) 867508
[startup+51.1022 s]
/proc/loadavg: 2.03 2.02 2.00 3/90 12742
/proc/meminfo: memFree=1657448/2055920 swapFree=4180448/4192956
[pid=12733] ppid=12731 vsize=867508 CPUtime=50.6
/proc/12733/stat : 12733 (java) S 12731 12733 11646 0 -1 0 31743 0 1 0 5042 18 0 0 18 0 9 0 1984918968 888328192 31102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12733/statm: 216877 31102 1996 9 0 211349 0
[pid=12733/tid=12735] ppid=12731 vsize=867508 CPUtime=49.47
/proc/12733/task/12735/stat : 12735 (java) R 12731 12733 11646 0 -1 64 15608 0 1 0 4937 10 0 0 25 0 9 0 1984918970 888328192 31102 996147200 134512640 134550740 4294956032 18446744073709551615 4127543032 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12736] ppid=12731 vsize=867508 CPUtime=0.61
/proc/12733/task/12736/stat : 12736 (java) S 12731 12733 11646 0 -1 64 14637 0 0 0 55 6 0 0 16 0 9 0 1984918971 888328192 31102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12737] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12737/stat : 12737 (java) S 12731 12733 11646 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1984918971 888328192 31102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12738] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12738/stat : 12738 (java) S 12731 12733 11646 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1984918971 888328192 31102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12739] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12739/stat : 12739 (java) S 12731 12733 11646 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1984918973 888328192 31102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12740] ppid=12731 vsize=867508 CPUtime=0.48
/proc/12733/task/12740/stat : 12740 (java) S 12731 12733 11646 0 -1 64 763 0 0 0 48 0 0 0 16 0 9 0 1984918973 888328192 31102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12741] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12741/stat : 12741 (java) S 12731 12733 11646 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1984918973 888328192 31102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12742] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12742/stat : 12742 (java) S 12731 12733 11646 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1984918973 888328192 31102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.6
Current children cumulated vsize (KiB) 867508
Solver just ended. Dumping a history of the last processes samples
[startup+54.3016 s]
/proc/loadavg: 2.03 2.02 2.00 3/90 12742
/proc/meminfo: memFree=1657448/2055920 swapFree=4180448/4192956
[pid=12733] ppid=12731 vsize=867508 CPUtime=53.77
/proc/12733/stat : 12733 (java) S 12731 12733 11646 0 -1 0 31743 0 1 0 5359 18 0 0 18 0 9 0 1984918968 888328192 31102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12733/statm: 216877 31102 1996 9 0 211349 0
[pid=12733/tid=12735] ppid=12731 vsize=867508 CPUtime=52.64
/proc/12733/task/12735/stat : 12735 (java) R 12731 12733 11646 0 -1 64 15608 0 1 0 5254 10 0 0 25 0 9 0 1984918970 888328192 31102 996147200 134512640 134550740 4294956032 18446744073709551615 4127528075 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12736] ppid=12731 vsize=867508 CPUtime=0.61
/proc/12733/task/12736/stat : 12736 (java) S 12731 12733 11646 0 -1 64 14637 0 0 0 55 6 0 0 16 0 9 0 1984918971 888328192 31102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12737] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12737/stat : 12737 (java) S 12731 12733 11646 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1984918971 888328192 31102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12738] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12738/stat : 12738 (java) S 12731 12733 11646 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1984918971 888328192 31102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12739] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12739/stat : 12739 (java) S 12731 12733 11646 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1984918973 888328192 31102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12740] ppid=12731 vsize=867508 CPUtime=0.48
/proc/12733/task/12740/stat : 12740 (java) S 12731 12733 11646 0 -1 64 763 0 0 0 48 0 0 0 16 0 9 0 1984918973 888328192 31102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12741] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12741/stat : 12741 (java) S 12731 12733 11646 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1984918973 888328192 31102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12742] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12742/stat : 12742 (java) S 12731 12733 11646 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1984918973 888328192 31102 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 53.77
Current children cumulated vsize (KiB) 867508
[startup+55.9017 s]
/proc/loadavg: 2.03 2.02 2.00 3/90 12742
/proc/meminfo: memFree=1657448/2055920 swapFree=4180448/4192956
[pid=12733] ppid=12731 vsize=867508 CPUtime=55.36
/proc/12733/stat : 12733 (java) S 12731 12733 11646 0 -1 0 31748 0 1 0 5518 18 0 0 18 0 9 0 1984918968 888328192 31107 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12733/statm: 216877 31107 1996 9 0 211349 0
[pid=12733/tid=12735] ppid=12731 vsize=867508 CPUtime=54.22
/proc/12733/task/12735/stat : 12735 (java) R 12731 12733 11646 0 -1 64 15609 0 1 0 5412 10 0 0 25 0 9 0 1984918970 888328192 31107 996147200 134512640 134550740 4294956032 18446744073709551615 4127509665 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12736] ppid=12731 vsize=867508 CPUtime=0.61
/proc/12733/task/12736/stat : 12736 (java) S 12731 12733 11646 0 -1 64 14637 0 0 0 55 6 0 0 16 0 9 0 1984918971 888328192 31107 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12737] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12737/stat : 12737 (java) S 12731 12733 11646 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1984918971 888328192 31107 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12738] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12738/stat : 12738 (java) S 12731 12733 11646 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1984918971 888328192 31107 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12739] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12739/stat : 12739 (java) S 12731 12733 11646 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1984918973 888328192 31107 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12740] ppid=12731 vsize=867508 CPUtime=0.49
/proc/12733/task/12740/stat : 12740 (java) S 12731 12733 11646 0 -1 64 767 0 0 0 49 0 0 0 15 0 9 0 1984918973 888328192 31107 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12741] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12741/stat : 12741 (java) S 12731 12733 11646 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1984918973 888328192 31107 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12742] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12742/stat : 12742 (java) S 12731 12733 11646 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1984918973 888328192 31107 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 55.36
Current children cumulated vsize (KiB) 867508
[startup+56.7018 s]
/proc/loadavg: 2.03 2.02 2.00 3/90 12742
/proc/meminfo: memFree=1657384/2055920 swapFree=4180448/4192956
[pid=12733] ppid=12731 vsize=867508 CPUtime=56.15
/proc/12733/stat : 12733 (java) S 12731 12733 11646 0 -1 0 31750 0 1 0 5597 18 0 0 18 0 9 0 1984918968 888328192 31108 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12733/statm: 216877 31108 1996 9 0 211349 0
[pid=12733/tid=12735] ppid=12731 vsize=867508 CPUtime=55.01
/proc/12733/task/12735/stat : 12735 (java) R 12731 12733 11646 0 -1 64 15610 0 1 0 5491 10 0 0 25 0 9 0 1984918970 888328192 31108 996147200 134512640 134550740 4294956032 18446744073709551615 4127515175 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12736] ppid=12731 vsize=867508 CPUtime=0.61
/proc/12733/task/12736/stat : 12736 (java) S 12731 12733 11646 0 -1 64 14637 0 0 0 55 6 0 0 17 0 9 0 1984918971 888328192 31108 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12737] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12737/stat : 12737 (java) S 12731 12733 11646 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1984918971 888328192 31108 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12738] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12738/stat : 12738 (java) S 12731 12733 11646 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1984918971 888328192 31108 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12739] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12739/stat : 12739 (java) S 12731 12733 11646 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1984918973 888328192 31108 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12740] ppid=12731 vsize=867508 CPUtime=0.49
/proc/12733/task/12740/stat : 12740 (java) S 12731 12733 11646 0 -1 64 768 0 0 0 49 0 0 0 15 0 9 0 1984918973 888328192 31108 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12741] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12741/stat : 12741 (java) S 12731 12733 11646 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1984918973 888328192 31108 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12742] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12742/stat : 12742 (java) S 12731 12733 11646 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1984918973 888328192 31108 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 56.15
Current children cumulated vsize (KiB) 867508
[startup+57.5019 s]
/proc/loadavg: 2.03 2.02 2.00 3/90 12742
/proc/meminfo: memFree=1657384/2055920 swapFree=4180448/4192956
[pid=12733] ppid=12731 vsize=867508 CPUtime=56.95
/proc/12733/stat : 12733 (java) S 12731 12733 11646 0 -1 0 31752 0 1 0 5676 19 0 0 18 0 9 0 1984918968 888328192 31109 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12733/statm: 216877 31109 1996 9 0 211349 0
[pid=12733/tid=12735] ppid=12731 vsize=867508 CPUtime=55.81
/proc/12733/task/12735/stat : 12735 (java) R 12731 12733 11646 0 -1 64 15611 0 1 0 5570 11 0 0 25 0 9 0 1984918970 888328192 31109 996147200 134512640 134550740 4294956032 18446744073709551615 4127688094 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12736] ppid=12731 vsize=867508 CPUtime=0.61
/proc/12733/task/12736/stat : 12736 (java) S 12731 12733 11646 0 -1 64 14637 0 0 0 55 6 0 0 17 0 9 0 1984918971 888328192 31109 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12737] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12737/stat : 12737 (java) S 12731 12733 11646 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1984918971 888328192 31109 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12738] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12738/stat : 12738 (java) S 12731 12733 11646 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1984918971 888328192 31109 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12739] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12739/stat : 12739 (java) S 12731 12733 11646 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1984918973 888328192 31109 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12740] ppid=12731 vsize=867508 CPUtime=0.49
/proc/12733/task/12740/stat : 12740 (java) S 12731 12733 11646 0 -1 64 769 0 0 0 49 0 0 0 15 0 9 0 1984918973 888328192 31109 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12741] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12741/stat : 12741 (java) S 12731 12733 11646 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1984918973 888328192 31109 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12742] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12742/stat : 12742 (java) S 12731 12733 11646 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1984918973 888328192 31109 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 56.95
Current children cumulated vsize (KiB) 867508
[startup+57.9029 s]
/proc/loadavg: 2.03 2.02 2.00 3/90 12742
/proc/meminfo: memFree=1657384/2055920 swapFree=4180448/4192956
[pid=12733] ppid=12731 vsize=867508 CPUtime=57.34
/proc/12733/stat : 12733 (java) S 12731 12733 11646 0 -1 0 31752 0 1 0 5715 19 0 0 18 0 9 0 1984918968 888328192 31109 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/12733/statm: 216877 31109 1996 9 0 211349 0
[pid=12733/tid=12735] ppid=12731 vsize=867508 CPUtime=56.2
/proc/12733/task/12735/stat : 12735 (java) R 12731 12733 11646 0 -1 64 15611 0 1 0 5609 11 0 0 25 0 9 0 1984918970 888328192 31109 996147200 134512640 134550740 4294956032 18446744073709551615 4127528068 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12736] ppid=12731 vsize=867508 CPUtime=0.61
/proc/12733/task/12736/stat : 12736 (java) S 12731 12733 11646 0 -1 64 14637 0 0 0 55 6 0 0 17 0 9 0 1984918971 888328192 31109 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12737] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12737/stat : 12737 (java) S 12731 12733 11646 0 -1 64 12 0 0 0 0 0 0 0 16 0 9 0 1984918971 888328192 31109 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12738] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12738/stat : 12738 (java) S 12731 12733 11646 0 -1 64 10 0 0 0 0 0 0 0 16 0 9 0 1984918971 888328192 31109 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12739] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12739/stat : 12739 (java) S 12731 12733 11646 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1984918973 888328192 31109 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12740] ppid=12731 vsize=867508 CPUtime=0.49
/proc/12733/task/12740/stat : 12740 (java) S 12731 12733 11646 0 -1 64 769 0 0 0 49 0 0 0 15 0 9 0 1984918973 888328192 31109 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12741] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12741/stat : 12741 (java) S 12731 12733 11646 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1984918973 888328192 31109 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=12733/tid=12742] ppid=12731 vsize=867508 CPUtime=0
/proc/12733/task/12742/stat : 12742 (java) S 12731 12733 11646 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1984918973 888328192 31109 996147200 134512640 134550740 4294956032 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 57.34
Current children cumulated vsize (KiB) 867508
Child status: 0
Real time (s): 57.9956
CPU time (s): 57.4353
CPU user time (s): 57.2243
CPU system time (s): 0.210967
CPU usage (%): 99.0339
Max. virtual memory (cumulated for all children) (KiB): 867508
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 57.2243
system time used= 0.210967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31769
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= 3481
involuntary context switches= 5134
runsolver used 0.06299 second user time and 0.206968 second system time
The end
Begin job on node24 at 2008-07-03 06:30:44
IDJOB=1055386
IDBENCH=56817
IDSOLVER=349
FILE ID=node24/1055386-1215059444
PBS_JOBID= 7875192
Free space on /tmp= 66524 MiB
SOLVER NAME= choco2_dwdeg 2008-06-26
BENCH NAME= CPAI08/csp/nengfa/normalized-queens1.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2dwdeg.jar BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1055386-1215059444/watcher-1055386-1215059444 -o /tmp/evaluation-result-1055386-1215059444/solver-1055386-1215059444 -C 1800 -W 2200 -M 900 --output-limit 1,15 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar choco2dwdeg.jar HOME/instance-1055386-1215059444.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 72b10381b21e6b6e79bdf3ac7e3009a4
RANDOM SEED=618485947
node24.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.232
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.232
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: 1775120 kB
Buffers: 36548 kB
Cached: 165520 kB
SwapCached: 6556 kB
Active: 125988 kB
Inactive: 95404 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1775120 kB
SwapTotal: 4192956 kB
SwapFree: 4180448 kB
Dirty: 9556 kB
Writeback: 0 kB
Mapped: 35496 kB
Slab: 44416 kB
Committed_AS: 3453652 kB
PageTables: 1908 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= 66516 MiB
End job on node24 at 2008-07-03 06:31:42