840.36/840.66 s SATISFIABLE
840.36/840.66 v 12 1 4 7 16 5 6 14 0 22 4 2 7 4 5 21 17 15 20 2 7 15 23 15 3 9
840.36/840.66 d AC 32
840.36/840.66 d RUNTIME 840.557
840.36/840.66 d NODES 1090059
840.36/840.66 d NODES/s 1297
840.36/840.66 d BACKTRACKS 2171487
840.36/840.66 d BACKTRACKS/s 2583
840.36/840.66 d CHECKS 0
840.36/840.66 d CHECKS/s 0
840.36/840.66 c SAT 840.557 TIME 1090059 NDS 229 PARSTIME 104 BUILDPB 116 CONFIG 840108 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-2114568-1248026621/watcher-2114568-1248026621 -o /tmp/evaluation-result-2114568-1248026621/solver-2114568-1248026621 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2114568-1248026621.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.07 0.02 0.00 3/67 27243
/proc/meminfo: memFree=934472/2055920 swapFree=4192812/4192956
[pid=27243] ppid=27241 vsize=152 CPUtime=0
/proc/27243/stat : 27243 (java) R 27241 27243 27141 0 -1 0 222 0 0 0 0 0 0 0 18 0 1 0 89729103 155648 26 996147200 134512640 134550932 4294955888 18446744073709551615 7979307 0 0 4096 0 0 0 0 17 0 0 0
/proc/27243/statm: 38 26 19 9 0 4 0
[startup+0.01361 s]
/proc/loadavg: 0.07 0.02 0.00 3/67 27243
/proc/meminfo: memFree=934472/2055920 swapFree=4192812/4192956
[pid=27243] ppid=27241 vsize=11260 CPUtime=0
/proc/27243/stat : 27243 (java) S 27241 27243 27141 0 -1 0 896 0 1 0 0 0 0 0 18 0 2 0 89729103 11530240 632 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16784584 18446744073709551615 0 0 17 0 0 0
/proc/27243/statm: 2815 634 326 9 0 1198 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11260
[startup+0.10263 s]
/proc/loadavg: 0.07 0.02 0.00 3/67 27243
/proc/meminfo: memFree=934472/2055920 swapFree=4192812/4192956
[pid=27243] ppid=27241 vsize=865016 CPUtime=0.09
/proc/27243/stat : 27243 (java) S 27241 27243 27141 0 -1 0 4003 0 1 0 8 1 0 0 18 0 9 0 89729103 885776384 3450 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27243/statm: 216254 3450 1778 9 0 210723 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 865016
[startup+0.302672 s]
/proc/loadavg: 0.07 0.02 0.00 3/67 27243
/proc/meminfo: memFree=934472/2055920 swapFree=4192812/4192956
[pid=27243] ppid=27241 vsize=865740 CPUtime=0.39
/proc/27243/stat : 27243 (java) S 27241 27243 27141 0 -1 0 6048 0 1 0 37 2 0 0 18 0 9 0 89729103 886517760 5465 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27243/statm: 216435 5465 1880 9 0 210904 0
Current children cumulated CPU time (s) 0.39
Current children cumulated vsize (KiB) 865740
[startup+0.701746 s]
/proc/loadavg: 0.07 0.02 0.00 3/67 27243
/proc/meminfo: memFree=934472/2055920 swapFree=4192812/4192956
[pid=27243] ppid=27241 vsize=865740 CPUtime=0.87
/proc/27243/stat : 27243 (java) S 27241 27243 27141 0 -1 0 9740 0 1 0 83 4 0 0 18 0 9 0 89729103 886517760 9121 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27243/statm: 216435 9121 1964 9 0 210904 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 865740
[startup+1.50191 s]
/proc/loadavg: 0.07 0.02 0.00 2/76 27252
/proc/meminfo: memFree=898176/2055920 swapFree=4192812/4192956
[pid=27243] ppid=27241 vsize=865740 CPUtime=1.68
/proc/27243/stat : 27243 (java) S 27241 27243 27141 0 -1 0 14005 0 1 0 162 6 0 0 18 0 9 0 89729103 886517760 13384 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27243/statm: 216435 13384 1967 9 0 210904 0
[pid=27243/tid=27245] ppid=27241 vsize=865740 CPUtime=1.46
/proc/27243/task/27245/stat : 27245 (java) R 27241 27243 27141 0 -1 64 12691 0 1 0 141 5 0 0 25 0 9 0 89729104 886517760 13384 996147200 134512640 134550932 4294955888 18446744073709551615 4126889630 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=27243/tid=27246] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27246/stat : 27246 (java) S 27241 27243 27141 0 -1 64 3 0 0 0 0 0 0 0 17 0 9 0 89729105 886517760 13384 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27247] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27247/stat : 27247 (java) S 27241 27243 27141 0 -1 64 11 0 0 0 0 0 0 0 22 0 9 0 89729105 886517760 13384 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27248] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27248/stat : 27248 (java) S 27241 27243 27141 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 89729105 886517760 13384 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27249] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27249/stat : 27249 (java) S 27241 27243 27141 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 89729107 886517760 13384 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27250] ppid=27241 vsize=865740 CPUtime=0.2
/proc/27243/task/27250/stat : 27250 (java) S 27241 27243 27141 0 -1 64 584 0 0 0 20 0 0 0 16 0 9 0 89729107 886517760 13384 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27251] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27251/stat : 27251 (java) S 27241 27243 27141 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 89729107 886517760 13384 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27252] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27252/stat : 27252 (java) S 27241 27243 27141 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89729107 886517760 13384 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.68
Current children cumulated vsize (KiB) 865740
[startup+3.10121 s]
/proc/loadavg: 0.07 0.02 0.00 2/76 27252
/proc/meminfo: memFree=876672/2055920 swapFree=4192812/4192956
[pid=27243] ppid=27241 vsize=865740 CPUtime=3.28
/proc/27243/stat : 27243 (java) S 27241 27243 27141 0 -1 0 16928 0 1 0 320 8 0 0 18 0 9 0 89729103 886517760 16303 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27243/statm: 216435 16303 1981 9 0 210904 0
[pid=27243/tid=27245] ppid=27241 vsize=865740 CPUtime=3.04
/proc/27243/task/27245/stat : 27245 (java) R 27241 27243 27141 0 -1 64 14750 0 1 0 297 7 0 0 25 0 9 0 89729104 886517760 16303 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27246] ppid=27241 vsize=865740 CPUtime=0.01
/proc/27243/task/27246/stat : 27246 (java) S 27241 27243 27141 0 -1 64 853 0 0 0 1 0 0 0 17 0 9 0 89729105 886517760 16303 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27247] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27247/stat : 27247 (java) S 27241 27243 27141 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89729105 886517760 16303 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27248] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27248/stat : 27248 (java) S 27241 27243 27141 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89729105 886517760 16303 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27249] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27249/stat : 27249 (java) S 27241 27243 27141 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 89729107 886517760 16303 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27250] ppid=27241 vsize=865740 CPUtime=0.2
/proc/27243/task/27250/stat : 27250 (java) S 27241 27243 27141 0 -1 64 592 0 0 0 20 0 0 0 16 0 9 0 89729107 886517760 16303 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27251] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27251/stat : 27251 (java) S 27241 27243 27141 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 89729107 886517760 16303 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27252] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27252/stat : 27252 (java) S 27241 27243 27141 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89729107 886517760 16303 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.28
Current children cumulated vsize (KiB) 865740
[startup+6.30184 s]
/proc/loadavg: 0.15 0.03 0.01 3/89 27270
/proc/meminfo: memFree=841888/2055920 swapFree=4192812/4192956
[pid=27243] ppid=27241 vsize=865740 CPUtime=6.47
/proc/27243/stat : 27243 (java) S 27241 27243 27141 0 -1 0 17772 0 1 0 637 10 0 0 18 0 9 0 89729103 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27243/statm: 216435 17144 1981 9 0 210904 0
[pid=27243/tid=27245] ppid=27241 vsize=865740 CPUtime=6.22
/proc/27243/task/27245/stat : 27245 (java) R 27241 27243 27141 0 -1 64 14753 0 1 0 613 9 0 0 25 0 9 0 89729104 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4126826060 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27246] ppid=27241 vsize=865740 CPUtime=0.02
/proc/27243/task/27246/stat : 27246 (java) S 27241 27243 27141 0 -1 64 1694 0 0 0 2 0 0 0 17 0 9 0 89729105 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27247] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27247/stat : 27247 (java) S 27241 27243 27141 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89729105 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27248] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27248/stat : 27248 (java) S 27241 27243 27141 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89729105 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27249] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27249/stat : 27249 (java) S 27241 27243 27141 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27250] ppid=27241 vsize=865740 CPUtime=0.2
/proc/27243/task/27250/stat : 27250 (java) S 27241 27243 27141 0 -1 64 592 0 0 0 20 0 0 0 16 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27251] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27251/stat : 27251 (java) S 27241 27243 27141 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27252] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27252/stat : 27252 (java) S 27241 27243 27141 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.47
Current children cumulated vsize (KiB) 865740
[startup+12.7011 s]
/proc/loadavg: 0.21 0.05 0.01 2/76 27288
/proc/meminfo: memFree=872648/2055920 swapFree=4192812/4192956
[pid=27243] ppid=27241 vsize=865740 CPUtime=12.87
/proc/27243/stat : 27243 (java) S 27241 27243 27141 0 -1 0 17775 0 1 0 1273 14 0 0 18 0 9 0 89729103 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27243/statm: 216435 17144 1981 9 0 210904 0
[pid=27243/tid=27245] ppid=27241 vsize=865740 CPUtime=12.61
/proc/27243/task/27245/stat : 27245 (java) R 27241 27243 27141 0 -1 64 14756 0 1 0 1249 12 0 0 25 0 9 0 89729104 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4126895495 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27246] ppid=27241 vsize=865740 CPUtime=0.02
/proc/27243/task/27246/stat : 27246 (java) S 27241 27243 27141 0 -1 64 1694 0 0 0 2 0 0 0 16 0 9 0 89729105 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27247] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27247/stat : 27247 (java) S 27241 27243 27141 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89729105 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27248] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27248/stat : 27248 (java) S 27241 27243 27141 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89729105 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27249] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27249/stat : 27249 (java) S 27241 27243 27141 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27250] ppid=27241 vsize=865740 CPUtime=0.2
/proc/27243/task/27250/stat : 27250 (java) S 27241 27243 27141 0 -1 64 592 0 0 0 20 0 0 0 16 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27251] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27251/stat : 27251 (java) S 27241 27243 27141 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27252] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27252/stat : 27252 (java) S 27241 27243 27141 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.87
Current children cumulated vsize (KiB) 865740
[startup+25.5026 s]
/proc/loadavg: 0.62 0.14 0.05 3/89 27342
/proc/meminfo: memFree=809504/2055920 swapFree=4192812/4192956
[pid=27243] ppid=27241 vsize=865740 CPUtime=25.66
/proc/27243/stat : 27243 (java) S 27241 27243 27141 0 -1 0 17781 0 1 0 2546 20 0 0 18 0 9 0 89729103 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27243/statm: 216435 17144 1981 9 0 210904 0
[pid=27243/tid=27245] ppid=27241 vsize=865740 CPUtime=25.39
/proc/27243/task/27245/stat : 27245 (java) R 27241 27243 27141 0 -1 64 14762 0 1 0 2521 18 0 0 25 0 9 0 89729104 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4126826057 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27246] ppid=27241 vsize=865740 CPUtime=0.03
/proc/27243/task/27246/stat : 27246 (java) S 27241 27243 27141 0 -1 64 1694 0 0 0 3 0 0 0 16 0 9 0 89729105 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27247] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27247/stat : 27247 (java) S 27241 27243 27141 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89729105 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27248] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27248/stat : 27248 (java) S 27241 27243 27141 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89729105 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27249] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27249/stat : 27249 (java) S 27241 27243 27141 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27250] ppid=27241 vsize=865740 CPUtime=0.2
/proc/27243/task/27250/stat : 27250 (java) S 27241 27243 27141 0 -1 64 592 0 0 0 20 0 0 0 16 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27251] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27251/stat : 27251 (java) S 27241 27243 27141 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27252] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27252/stat : 27252 (java) S 27241 27243 27141 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.66
Current children cumulated vsize (KiB) 865740
[startup+51.1026 s]
/proc/loadavg: 1.09 0.29 0.10 3/89 27342
/proc/meminfo: memFree=808096/2055920 swapFree=4192812/4192956
[pid=27243] ppid=27241 vsize=865740 CPUtime=51.25
/proc/27243/stat : 27243 (java) S 27241 27243 27141 0 -1 0 17794 0 1 0 5092 33 0 0 18 0 9 0 89729103 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27243/statm: 216435 17144 1981 9 0 210904 0
[pid=27243/tid=27245] ppid=27241 vsize=865740 CPUtime=50.97
/proc/27243/task/27245/stat : 27245 (java) R 27241 27243 27141 0 -1 64 14775 0 1 0 5066 31 0 0 25 0 9 0 89729104 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27246] ppid=27241 vsize=865740 CPUtime=0.04
/proc/27243/task/27246/stat : 27246 (java) S 27241 27243 27141 0 -1 64 1694 0 0 0 4 0 0 0 16 0 9 0 89729105 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27247] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27247/stat : 27247 (java) S 27241 27243 27141 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89729105 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27248] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27248/stat : 27248 (java) S 27241 27243 27141 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89729105 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27249] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27249/stat : 27249 (java) S 27241 27243 27141 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27250] ppid=27241 vsize=865740 CPUtime=0.2
/proc/27243/task/27250/stat : 27250 (java) S 27241 27243 27141 0 -1 64 592 0 0 0 20 0 0 0 16 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27251] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27251/stat : 27251 (java) S 27241 27243 27141 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/27243/task/27249/stat : 27249 (java) S 27241 27243 27141 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27250] ppid=27241 vsize=865740 CPUtime=0.2
/proc/27243/task/27250/stat : 27250 (java) S 27241 27243 27141 0 -1 64 592 0 0 0 20 0 0 0 16 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27251] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27251/stat : 27251 (java) S 27241 27243 27141 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27252] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27252/stat : 27252 (java) S 27241 27243 27141 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 762.1
Current children cumulated vsize (KiB) 865740
[startup+822.303 s]
/proc/loadavg: 1.99 1.86 1.14 3/89 27342
/proc/meminfo: memFree=807712/2055920 swapFree=4192812/4192956
[pid=27243] ppid=27241 vsize=865740 CPUtime=822.06
/proc/27243/stat : 27243 (java) S 27241 27243 27141 0 -1 0 18170 0 1 0 81775 431 0 0 18 0 9 0 89729103 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27243/statm: 216435 17144 1981 9 0 210904 0
[pid=27243/tid=27245] ppid=27241 vsize=865740 CPUtime=821.61
/proc/27243/task/27245/stat : 27245 (java) R 27241 27243 27141 0 -1 64 15151 0 1 0 81733 428 0 0 25 0 9 0 89729104 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27246] ppid=27241 vsize=865740 CPUtime=0.22
/proc/27243/task/27246/stat : 27246 (java) S 27241 27243 27141 0 -1 64 1694 0 0 0 20 2 0 0 16 0 9 0 89729105 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27247] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27247/stat : 27247 (java) S 27241 27243 27141 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89729105 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27248] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27248/stat : 27248 (java) S 27241 27243 27141 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89729105 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27249] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27249/stat : 27249 (java) S 27241 27243 27141 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27250] ppid=27241 vsize=865740 CPUtime=0.2
/proc/27243/task/27250/stat : 27250 (java) S 27241 27243 27141 0 -1 64 592 0 0 0 20 0 0 0 16 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27251] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27251/stat : 27251 (java) S 27241 27243 27141 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27252] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27252/stat : 27252 (java) S 27241 27243 27141 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 822.06
Current children cumulated vsize (KiB) 865740
Solver just ended. Dumping a history of the last processes samples
[startup+831.902 s]
/proc/loadavg: 1.99 1.86 1.15 3/89 27342
/proc/meminfo: memFree=807712/2055920 swapFree=4192812/4192956
[pid=27243] ppid=27241 vsize=865740 CPUtime=831.66
/proc/27243/stat : 27243 (java) S 27241 27243 27141 0 -1 0 18174 0 1 0 82730 436 0 0 18 0 9 0 89729103 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27243/statm: 216435 17144 1981 9 0 210904 0
[pid=27243/tid=27245] ppid=27241 vsize=865740 CPUtime=831.2
/proc/27243/task/27245/stat : 27245 (java) R 27241 27243 27141 0 -1 64 15155 0 1 0 82688 432 0 0 25 0 9 0 89729104 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27246] ppid=27241 vsize=865740 CPUtime=0.22
/proc/27243/task/27246/stat : 27246 (java) S 27241 27243 27141 0 -1 64 1694 0 0 0 20 2 0 0 16 0 9 0 89729105 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27247] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27247/stat : 27247 (java) S 27241 27243 27141 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89729105 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27248] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27248/stat : 27248 (java) S 27241 27243 27141 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89729105 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27249] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27249/stat : 27249 (java) S 27241 27243 27141 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27250] ppid=27241 vsize=865740 CPUtime=0.2
/proc/27243/task/27250/stat : 27250 (java) S 27241 27243 27141 0 -1 64 592 0 0 0 20 0 0 0 16 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27251] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27251/stat : 27251 (java) S 27241 27243 27141 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27252] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27252/stat : 27252 (java) S 27241 27243 27141 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 831.66
Current children cumulated vsize (KiB) 865740
[startup+835.101 s]
/proc/loadavg: 1.99 1.86 1.16 3/89 27342
/proc/meminfo: memFree=807712/2055920 swapFree=4192812/4192956
[pid=27243] ppid=27241 vsize=865740 CPUtime=834.86
/proc/27243/stat : 27243 (java) S 27241 27243 27141 0 -1 0 18176 0 1 0 83048 438 0 0 18 0 9 0 89729103 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27243/statm: 216435 17144 1981 9 0 210904 0
[pid=27243/tid=27245] ppid=27241 vsize=865740 CPUtime=834.4
/proc/27243/task/27245/stat : 27245 (java) R 27241 27243 27141 0 -1 64 15157 0 1 0 83006 434 0 0 25 0 9 0 89729104 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27246] ppid=27241 vsize=865740 CPUtime=0.22
/proc/27243/task/27246/stat : 27246 (java) S 27241 27243 27141 0 -1 64 1694 0 0 0 20 2 0 0 16 0 9 0 89729105 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27247] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27247/stat : 27247 (java) S 27241 27243 27141 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89729105 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27248] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27248/stat : 27248 (java) S 27241 27243 27141 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89729105 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27249] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27249/stat : 27249 (java) S 27241 27243 27141 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27250] ppid=27241 vsize=865740 CPUtime=0.2
/proc/27243/task/27250/stat : 27250 (java) S 27241 27243 27141 0 -1 64 592 0 0 0 20 0 0 0 16 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27251] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27251/stat : 27251 (java) S 27241 27243 27141 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27252] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27252/stat : 27252 (java) S 27241 27243 27141 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 834.86
Current children cumulated vsize (KiB) 865740
[startup+838.303 s]
/proc/loadavg: 1.99 1.86 1.16 3/89 27342
/proc/meminfo: memFree=807712/2055920 swapFree=4192812/4192956
[pid=27243] ppid=27241 vsize=865740 CPUtime=838.05
/proc/27243/stat : 27243 (java) S 27241 27243 27141 0 -1 0 18178 0 1 0 83365 440 0 0 18 0 9 0 89729103 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27243/statm: 216435 17144 1981 9 0 210904 0
[pid=27243/tid=27245] ppid=27241 vsize=865740 CPUtime=837.59
/proc/27243/task/27245/stat : 27245 (java) R 27241 27243 27141 0 -1 64 15159 0 1 0 83323 436 0 0 25 0 9 0 89729104 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27246] ppid=27241 vsize=865740 CPUtime=0.22
/proc/27243/task/27246/stat : 27246 (java) S 27241 27243 27141 0 -1 64 1694 0 0 0 20 2 0 0 16 0 9 0 89729105 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27247] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27247/stat : 27247 (java) S 27241 27243 27141 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89729105 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27248] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27248/stat : 27248 (java) S 27241 27243 27141 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89729105 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27249] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27249/stat : 27249 (java) S 27241 27243 27141 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27250] ppid=27241 vsize=865740 CPUtime=0.2
/proc/27243/task/27250/stat : 27250 (java) S 27241 27243 27141 0 -1 64 592 0 0 0 20 0 0 0 16 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27251] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27251/stat : 27251 (java) S 27241 27243 27141 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27252] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27252/stat : 27252 (java) S 27241 27243 27141 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 838.05
Current children cumulated vsize (KiB) 865740
[startup+839.902 s]
/proc/loadavg: 1.99 1.86 1.16 3/89 27342
/proc/meminfo: memFree=807712/2055920 swapFree=4192812/4192956
[pid=27243] ppid=27241 vsize=865740 CPUtime=839.65
/proc/27243/stat : 27243 (java) S 27241 27243 27141 0 -1 0 18178 0 1 0 83524 441 0 0 18 0 9 0 89729103 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27243/statm: 216435 17144 1981 9 0 210904 0
[pid=27243/tid=27245] ppid=27241 vsize=865740 CPUtime=839.19
/proc/27243/task/27245/stat : 27245 (java) R 27241 27243 27141 0 -1 64 15159 0 1 0 83482 437 0 0 25 0 9 0 89729104 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27246] ppid=27241 vsize=865740 CPUtime=0.22
/proc/27243/task/27246/stat : 27246 (java) S 27241 27243 27141 0 -1 64 1694 0 0 0 20 2 0 0 16 0 9 0 89729105 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27247] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27247/stat : 27247 (java) S 27241 27243 27141 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89729105 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27248] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27248/stat : 27248 (java) S 27241 27243 27141 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89729105 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27249] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27249/stat : 27249 (java) S 27241 27243 27141 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27250] ppid=27241 vsize=865740 CPUtime=0.2
/proc/27243/task/27250/stat : 27250 (java) S 27241 27243 27141 0 -1 64 592 0 0 0 20 0 0 0 16 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27251] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27251/stat : 27251 (java) S 27241 27243 27141 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27252] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27252/stat : 27252 (java) S 27241 27243 27141 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 839.65
Current children cumulated vsize (KiB) 865740
[startup+840.301 s]
/proc/loadavg: 1.99 1.86 1.16 3/89 27342
/proc/meminfo: memFree=807712/2055920 swapFree=4192812/4192956
[pid=27243] ppid=27241 vsize=865740 CPUtime=840.05
/proc/27243/stat : 27243 (java) S 27241 27243 27141 0 -1 0 18179 0 1 0 83564 441 0 0 18 0 9 0 89729103 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27243/statm: 216435 17144 1981 9 0 210904 0
[pid=27243/tid=27245] ppid=27241 vsize=865740 CPUtime=839.6
/proc/27243/task/27245/stat : 27245 (java) R 27241 27243 27141 0 -1 64 15160 0 1 0 83522 438 0 0 25 0 9 0 89729104 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27246] ppid=27241 vsize=865740 CPUtime=0.22
/proc/27243/task/27246/stat : 27246 (java) S 27241 27243 27141 0 -1 64 1694 0 0 0 20 2 0 0 16 0 9 0 89729105 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27247] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27247/stat : 27247 (java) S 27241 27243 27141 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89729105 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27248] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27248/stat : 27248 (java) S 27241 27243 27141 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89729105 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27249] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27249/stat : 27249 (java) S 27241 27243 27141 0 -1 64 0 0 0 0 0 0 0 0 24 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27250] ppid=27241 vsize=865740 CPUtime=0.2
/proc/27243/task/27250/stat : 27250 (java) S 27241 27243 27141 0 -1 64 592 0 0 0 20 0 0 0 16 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27251] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27251/stat : 27251 (java) S 27241 27243 27141 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=27243/tid=27252] ppid=27241 vsize=865740 CPUtime=0
/proc/27243/task/27252/stat : 27252 (java) S 27241 27243 27141 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89729107 886517760 17144 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 840.05
Current children cumulated vsize (KiB) 865740
[startup+840.701 s]
/proc/loadavg: 1.99 1.86 1.16 3/89 27342
/proc/meminfo: memFree=807712/2055920 swapFree=4192812/4192956
[pid=27243] ppid=27241 vsize=0 CPUtime=840.42
/proc/27243/stat : 27243 (java) Z 27241 27243 27141 0 -1 12 18211 0 1 0 83600 442 0 0 16 0 2 0 89729103 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/27243/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 840.42
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 840.708
CPU time (s): 840.436
CPU user time (s): 836.005
CPU system time (s): 4.43133
CPU usage (%): 99.9676
Max. virtual memory (cumulated for all children) (KiB): 865740
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 836.005
system time used= 4.43133
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18211
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= 20902
involuntary context switches= 7927
runsolver used 1.15282 second user time and 2.67059 second system time
The end
Begin job on node11 at 2009-07-19 20:03:41
IDJOB=2114568
IDBENCH=53510
IDSOLVER=780
FILE ID=node11/2114568-1248026621
PBS_JOBID= 9529023
Free space on /tmp= 66408 MiB
SOLVER NAME= Choco2.1.1b 2009-07-16
BENCH NAME= CPAI08/csp/rand-2-26/normalized-rand-26-26-325-155-54021_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-2114568-1248026621/watcher-2114568-1248026621 -o /tmp/evaluation-result-2114568-1248026621/solver-2114568-1248026621 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2114568-1248026621.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= 277d741c2eb619b841bd7c7ebef82736
RANDOM SEED=1489949072
node11.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.274
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.274
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: 935016 kB
Buffers: 91424 kB
Cached: 917084 kB
SwapCached: 0 kB
Active: 136032 kB
Inactive: 887792 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 935016 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5452 kB
Writeback: 0 kB
Mapped: 25084 kB
Slab: 82756 kB
Committed_AS: 493964 kB
PageTables: 1680 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= 66396 MiB
End job on node11 at 2009-07-19 20:17:42