42.49/43.02 java.lang.OutOfMemoryError: Java heap space
42.69/43.23 at parser.absconparseur.tools.InstanceParser.parseRelationTuples(InstanceParser.java:254)
42.69/43.23 at parser.absconparseur.tools.InstanceParser.parseRelation(InstanceParser.java:291)
42.69/43.23 at parser.absconparseur.tools.InstanceParser.parseRelations(InstanceParser.java:302)
42.69/43.23 at parser.absconparseur.tools.InstanceParser.parse(InstanceParser.java:658)
42.69/43.23 at parser.chocogen.XmlModel.load(XmlModel.java:250)
42.69/43.23 at parser.chocogen.XmlModel.solveFile(XmlModel.java:200)
42.69/43.23 at parser.chocogen.XmlModel.generate(XmlModel.java:179)
42.69/43.23 at parser.chocogen.XmlModel.main(XmlModel.java:527)
42.69/43.23 java.lang.NullPointerException
42.69/43.23 at parser.chocogen.XmlModel.buildModel(XmlModel.java:275)
42.69/43.23 at parser.chocogen.XmlModel.solveFile(XmlModel.java:201)
42.69/43.23 at parser.chocogen.XmlModel.generate(XmlModel.java:179)
42.69/43.23 at parser.chocogen.XmlModel.main(XmlModel.java:527)
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2114440-1248026602/watcher-2114440-1248026602 -o /tmp/evaluation-result-2114440-1248026602/solver-2114440-1248026602 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2114440-1248026602.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.53 0.11 0.04 4/81 26341
/proc/meminfo: memFree=591216/2055920 swapFree=4192812/4192956
[pid=26341] ppid=26339 vsize=10676 CPUtime=0
/proc/26341/stat : 26341 (java) S 26339 26341 26257 0 -1 0 710 0 0 0 0 0 0 0 18 0 2 0 89725026 10932224 488 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 4096 0 18446744073709551615 0 0 17 1 0 0
/proc/26341/statm: 2669 488 211 9 0 1184 0
[pid=26341/tid=26342] ppid=26339 vsize=10676 CPUtime=0
/proc/26341/task/26342/stat : 26342 (java) R 26339 26341 26257 0 -1 64 0 0 0 0 0 0 0 0 19 0 2 0 89725027 10932224 488 996147200 134512640 134550932 4294955888 18446744073709551615 12779480 0 0 4096 0 0 0 0 -1 1 0 0
[startup+0.057104 s]
/proc/loadavg: 0.53 0.11 0.04 4/81 26341
/proc/meminfo: memFree=591216/2055920 swapFree=4192812/4192956
[pid=26341] ppid=26339 vsize=862044 CPUtime=0.04
/proc/26341/stat : 26341 (java) S 26339 26341 26257 0 -1 0 2768 0 1 0 3 1 0 0 18 0 9 0 89725026 882733056 2297 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26341/statm: 215511 2297 1126 9 0 210381 0
[pid=26341/tid=26342] ppid=26339 vsize=862044 CPUtime=0.03
/proc/26341/task/26342/stat : 26342 (java) R 26339 26341 26257 0 -1 64 1855 0 1 0 3 0 0 0 20 0 9 0 89725027 882733056 2297 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 862044
[startup+0.102113 s]
/proc/loadavg: 0.53 0.11 0.04 4/81 26341
/proc/meminfo: memFree=591216/2055920 swapFree=4192812/4192956
[pid=26341] ppid=26339 vsize=864072 CPUtime=0.08
/proc/26341/stat : 26341 (java) S 26339 26341 26257 0 -1 0 3834 0 1 0 7 1 0 0 18 0 9 0 89725026 884809728 3289 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26341/statm: 216018 3289 1729 9 0 210487 0
[pid=26341/tid=26342] ppid=26339 vsize=864072 CPUtime=0.06
/proc/26341/task/26342/stat : 26342 (java) R 26339 26341 26257 0 -1 64 2883 0 1 0 6 0 0 0 18 0 9 0 89725027 884809728 3289 996147200 134512640 134550932 4294955888 18446744073709551615 4125911172 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 864072
[startup+0.302182 s]
/proc/loadavg: 0.53 0.11 0.04 4/81 26341
/proc/meminfo: memFree=591216/2055920 swapFree=4192812/4192956
[pid=26341] ppid=26339 vsize=864384 CPUtime=0.27
/proc/26341/stat : 26341 (java) S 26339 26341 26257 0 -1 0 6181 0 1 0 24 3 0 0 18 0 9 0 89725026 885129216 5606 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26341/statm: 216096 5606 1855 9 0 210565 0
[pid=26341/tid=26342] ppid=26339 vsize=864384 CPUtime=0.2
/proc/26341/task/26342/stat : 26342 (java) R 26339 26341 26257 0 -1 64 5129 0 1 0 19 1 0 0 18 0 9 0 89725027 885129216 5606 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 864384
[startup+1.31823 s]
/proc/loadavg: 0.53 0.11 0.04 4/81 26341
/proc/meminfo: memFree=591216/2055920 swapFree=4192812/4192956
[pid=26341] ppid=26339 vsize=864992 CPUtime=1.27
/proc/26341/stat : 26341 (java) S 26339 26341 26257 0 -1 0 38419 0 1 0 106 21 0 0 18 0 9 0 89725026 885751808 37840 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26341/statm: 216248 37840 1871 9 0 210717 0
[pid=26341/tid=26342] ppid=26339 vsize=864992 CPUtime=1
/proc/26341/task/26342/stat : 26342 (java) R 26339 26341 26257 0 -1 64 14152 0 1 0 89 11 0 0 25 0 9 0 89725027 885751808 37840 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.27
Current children cumulated vsize (KiB) 864992
[startup+1.50125 s]
/proc/loadavg: 0.53 0.11 0.04 4/81 26341
/proc/meminfo: memFree=591216/2055920 swapFree=4192812/4192956
[pid=26341] ppid=26339 vsize=864992 CPUtime=1.45
/proc/26341/stat : 26341 (java) S 26339 26341 26257 0 -1 0 48129 0 1 0 119 26 0 0 18 0 9 0 89725026 885751808 47549 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26341/statm: 216248 47549 1871 9 0 210717 0
[pid=26341/tid=26342] ppid=26339 vsize=864992 CPUtime=1.11
/proc/26341/task/26342/stat : 26342 (java) R 26339 26341 26257 0 -1 64 14156 0 1 0 100 11 0 0 25 0 9 0 89725027 885751808 47549 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.45
Current children cumulated vsize (KiB) 864992
[startup+3.1074 s]
/proc/loadavg: 0.73 0.16 0.05 3/90 26350
/proc/meminfo: memFree=302432/2055920 swapFree=4192812/4192956
[pid=26341] ppid=26339 vsize=864992 CPUtime=3.04
/proc/26341/stat : 26341 (java) S 26339 26341 26257 0 -1 0 74103 0 1 0 265 39 0 0 18 0 9 0 89725026 885751808 73512 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26341/statm: 216248 73512 1894 9 0 210717 0
[pid=26341/tid=26342] ppid=26339 vsize=864992 CPUtime=2.38
/proc/26341/task/26342/stat : 26342 (java) R 26339 26341 26257 0 -1 64 14235 0 1 0 224 14 0 0 25 0 9 0 89725027 885751808 73512 996147200 134512640 134550932 4294955888 18446744073709551615 4126724968 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26344] ppid=26339 vsize=864992 CPUtime=0.48
/proc/26341/task/26344/stat : 26344 (java) S 26339 26341 26257 0 -1 64 58603 0 0 0 25 23 0 0 16 0 9 0 89725029 885751808 73512 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26345] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26345/stat : 26345 (java) S 26339 26341 26257 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89725029 885751808 73512 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26346] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26346/stat : 26346 (java) S 26339 26341 26257 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 89725029 885751808 73512 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26347] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26347/stat : 26347 (java) S 26339 26341 26257 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 89725031 885751808 73512 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26348] ppid=26339 vsize=864992 CPUtime=0.14
/proc/26341/task/26348/stat : 26348 (java) S 26339 26341 26257 0 -1 64 532 0 0 0 14 0 0 0 16 0 9 0 89725031 885751808 73512 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26349] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26349/stat : 26349 (java) S 26339 26341 26257 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 89725031 885751808 73512 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26350] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26350/stat : 26350 (java) S 26339 26341 26257 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89725031 885751808 73512 996147200 134512640 134550932 4294955888 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) 864992
[startup+6.30272 s]
/proc/loadavg: 0.73 0.16 0.05 3/90 26350
/proc/meminfo: memFree=188320/2055920 swapFree=4192812/4192956
[pid=26341] ppid=26339 vsize=864992 CPUtime=6.21
/proc/26341/stat : 26341 (java) S 26339 26341 26257 0 -1 0 102659 0 1 0 572 49 0 0 18 0 9 0 89725026 885751808 102061 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26341/statm: 216248 102061 1894 9 0 210717 0
[pid=26341/tid=26342] ppid=26339 vsize=864992 CPUtime=5.01
/proc/26341/task/26342/stat : 26342 (java) R 26339 26341 26257 0 -1 64 14242 0 1 0 486 15 0 0 25 0 9 0 89725027 885751808 102061 996147200 134512640 134550932 4294955888 18446744073709551615 4126715082 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26344] ppid=26339 vsize=864992 CPUtime=1.02
/proc/26341/task/26344/stat : 26344 (java) S 26339 26341 26257 0 -1 64 87147 0 0 0 69 33 0 0 16 0 9 0 89725029 885751808 102061 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26345] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26345/stat : 26345 (java) S 26339 26341 26257 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89725029 885751808 102061 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26346] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26346/stat : 26346 (java) S 26339 26341 26257 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 89725029 885751808 102061 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26347] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26347/stat : 26347 (java) S 26339 26341 26257 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 89725031 885751808 102061 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26348] ppid=26339 vsize=864992 CPUtime=0.15
/proc/26341/task/26348/stat : 26348 (java) S 26339 26341 26257 0 -1 64 537 0 0 0 15 0 0 0 16 0 9 0 89725031 885751808 102061 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26349] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26349/stat : 26349 (java) S 26339 26341 26257 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 89725031 885751808 102061 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26350] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26350/stat : 26350 (java) S 26339 26341 26257 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89725031 885751808 102061 996147200 134512640 134550932 4294955888 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) 864992
[startup+12.7024 s]
/proc/loadavg: 0.91 0.21 0.07 3/90 26350
/proc/meminfo: memFree=16040/2055920 swapFree=4192812/4192956
[pid=26341] ppid=26339 vsize=864992 CPUtime=12.52
/proc/26341/stat : 26341 (java) S 26339 26341 26257 0 -1 0 164477 0 1 0 1176 76 0 0 18 0 9 0 89725026 885751808 163866 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26341/statm: 216248 163866 1894 9 0 210717 0
[pid=26341/tid=26342] ppid=26339 vsize=864992 CPUtime=10.12
/proc/26341/task/26342/stat : 26342 (java) R 26339 26341 26257 0 -1 64 14255 0 1 0 997 15 0 0 25 0 9 0 89725027 885751808 163866 996147200 134512640 134550932 4294955888 18446744073709551615 4126733868 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26344] ppid=26339 vsize=864992 CPUtime=2.22
/proc/26341/task/26344/stat : 26344 (java) S 26339 26341 26257 0 -1 64 148948 0 0 0 162 60 0 0 16 0 9 0 89725029 885751808 163866 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26345] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26345/stat : 26345 (java) S 26339 26341 26257 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89725029 885751808 163866 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26346] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26346/stat : 26346 (java) S 26339 26341 26257 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 89725029 885751808 163866 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26347] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26347/stat : 26347 (java) S 26339 26341 26257 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 89725031 885751808 163866 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26348] ppid=26339 vsize=864992 CPUtime=0.16
/proc/26341/task/26348/stat : 26348 (java) S 26339 26341 26257 0 -1 64 541 0 0 0 16 0 0 0 17 0 9 0 89725031 885751808 163866 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26349] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26349/stat : 26349 (java) S 26339 26341 26257 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 89725031 885751808 163866 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26350] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26350/stat : 26350 (java) S 26339 26341 26257 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89725031 885751808 163866 996147200 134512640 134550932 4294955888 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) 864992
[startup+25.5026 s]
/proc/loadavg: 1.35 0.34 0.11 3/90 26350
/proc/meminfo: memFree=16040/2055920 swapFree=4192812/4192956
[pid=26341] ppid=26339 vsize=864992 CPUtime=25.15
/proc/26341/stat : 26341 (java) S 26339 26341 26257 0 -1 0 185130 0 1 0 2430 85 0 0 18 0 9 0 89725026 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26341/statm: 216248 184330 2607 9 0 210717 0
[pid=26341/tid=26342] ppid=26339 vsize=864992 CPUtime=13.28
/proc/26341/task/26342/stat : 26342 (java) S 26339 26341 26257 0 -1 64 14270 0 1 0 1313 15 0 0 17 0 9 0 89725027 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26344] ppid=26339 vsize=864992 CPUtime=11.69
/proc/26341/task/26344/stat : 26344 (java) R 26339 26341 26257 0 -1 64 169586 0 0 0 1100 69 0 0 25 0 9 0 89725029 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 104516175 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26345] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26345/stat : 26345 (java) S 26339 26341 26257 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89725029 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26346] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26346/stat : 26346 (java) S 26339 26341 26257 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89725029 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26347] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26347/stat : 26347 (java) S 26339 26341 26257 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 89725031 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26348] ppid=26339 vsize=864992 CPUtime=0.16
/proc/26341/task/26348/stat : 26348 (java) S 26339 26341 26257 0 -1 64 541 0 0 0 16 0 0 0 17 0 9 0 89725031 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26349] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26349/stat : 26349 (java) S 26339 26341 26257 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 89725031 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26350] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26350/stat : 26350 (java) S 26339 26341 26257 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89725031 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 864992
Solver just ended. Dumping a history of the last processes samples
[startup+26.4017 s]
/proc/loadavg: 1.35 0.34 0.11 3/90 26350
/proc/meminfo: memFree=16040/2055920 swapFree=4192812/4192956
[pid=26341] ppid=26339 vsize=864992 CPUtime=26.04
/proc/26341/stat : 26341 (java) S 26339 26341 26257 0 -1 0 185131 0 1 0 2519 85 0 0 18 0 9 0 89725026 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26341/statm: 216248 184330 2607 9 0 210717 0
[pid=26341/tid=26342] ppid=26339 vsize=864992 CPUtime=13.34
/proc/26341/task/26342/stat : 26342 (java) S 26339 26341 26257 0 -1 64 14271 0 1 0 1319 15 0 0 17 0 9 0 89725027 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26344] ppid=26339 vsize=864992 CPUtime=12.52
/proc/26341/task/26344/stat : 26344 (java) R 26339 26341 26257 0 -1 64 169586 0 0 0 1183 69 0 0 25 0 9 0 89725029 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 104190065 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26345] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26345/stat : 26345 (java) S 26339 26341 26257 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89725029 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26346] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26346/stat : 26346 (java) S 26339 26341 26257 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89725029 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26347] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26347/stat : 26347 (java) S 26339 26341 26257 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 89725031 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26348] ppid=26339 vsize=864992 CPUtime=0.16
/proc/26341/task/26348/stat : 26348 (java) S 26339 26341 26257 0 -1 64 541 0 0 0 16 0 0 0 17 0 9 0 89725031 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26349] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26349/stat : 26349 (java) S 26339 26341 26257 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 89725031 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26350] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26350/stat : 26350 (java) S 26339 26341 26257 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89725031 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 26.04
Current children cumulated vsize (KiB) 864992
[startup+32.8073 s]
/proc/loadavg: 1.45 0.40 0.13 3/90 26350
/proc/meminfo: memFree=16168/2055920 swapFree=4192812/4192956
[pid=26341] ppid=26339 vsize=864992 CPUtime=32.39
/proc/26341/stat : 26341 (java) S 26339 26341 26257 0 -1 0 185135 0 1 0 3153 86 0 0 18 0 9 0 89725026 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26341/statm: 216248 184330 2607 9 0 210717 0
[pid=26341/tid=26342] ppid=26339 vsize=864992 CPUtime=13.42
/proc/26341/task/26342/stat : 26342 (java) S 26339 26341 26257 0 -1 64 14275 0 1 0 1327 15 0 0 17 0 9 0 89725027 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26344] ppid=26339 vsize=864992 CPUtime=18.78
/proc/26341/task/26344/stat : 26344 (java) R 26339 26341 26257 0 -1 64 169586 0 0 0 1809 69 0 0 25 0 9 0 89725029 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 104191062 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26345] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26345/stat : 26345 (java) S 26339 26341 26257 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89725029 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26346] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26346/stat : 26346 (java) S 26339 26341 26257 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89725029 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26347] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26347/stat : 26347 (java) S 26339 26341 26257 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 89725031 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26348] ppid=26339 vsize=864992 CPUtime=0.16
/proc/26341/task/26348/stat : 26348 (java) S 26339 26341 26257 0 -1 64 541 0 0 0 16 0 0 0 17 0 9 0 89725031 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26349] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26349/stat : 26349 (java) S 26339 26341 26257 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 89725031 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26350] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26350/stat : 26350 (java) S 26339 26341 26257 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89725031 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 32.39
Current children cumulated vsize (KiB) 864992
[startup+39.203 s]
/proc/loadavg: 1.50 0.42 0.14 3/90 26350
/proc/meminfo: memFree=15976/2055920 swapFree=4192812/4192956
[pid=26341] ppid=26339 vsize=864992 CPUtime=38.73
/proc/26341/stat : 26341 (java) S 26339 26341 26257 0 -1 0 185140 0 1 0 3787 86 0 0 18 0 9 0 89725026 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26341/statm: 216248 184330 2607 9 0 210717 0
[pid=26341/tid=26342] ppid=26339 vsize=864992 CPUtime=13.43
/proc/26341/task/26342/stat : 26342 (java) S 26339 26341 26257 0 -1 64 14280 0 1 0 1328 15 0 0 17 0 9 0 89725027 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26344] ppid=26339 vsize=864992 CPUtime=25.11
/proc/26341/task/26344/stat : 26344 (java) R 26339 26341 26257 0 -1 64 169586 0 0 0 2442 69 0 0 25 0 9 0 89725029 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 104188755 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26345] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26345/stat : 26345 (java) S 26339 26341 26257 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89725029 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26346] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26346/stat : 26346 (java) S 26339 26341 26257 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89725029 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26347] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26347/stat : 26347 (java) S 26339 26341 26257 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 89725031 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26348] ppid=26339 vsize=864992 CPUtime=0.16
/proc/26341/task/26348/stat : 26348 (java) S 26339 26341 26257 0 -1 64 541 0 0 0 16 0 0 0 17 0 9 0 89725031 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26349] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26349/stat : 26349 (java) S 26339 26341 26257 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 89725031 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26350] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26350/stat : 26350 (java) S 26339 26341 26257 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89725031 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 38.73
Current children cumulated vsize (KiB) 864992
[startup+40.8021 s]
/proc/loadavg: 1.50 0.42 0.14 3/90 26350
/proc/meminfo: memFree=17896/2055920 swapFree=4192812/4192956
[pid=26341] ppid=26339 vsize=864992 CPUtime=40.31
/proc/26341/stat : 26341 (java) S 26339 26341 26257 0 -1 0 185141 0 1 0 3945 86 0 0 18 0 9 0 89725026 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26341/statm: 216248 184330 2607 9 0 210717 0
[pid=26341/tid=26342] ppid=26339 vsize=864992 CPUtime=13.43
/proc/26341/task/26342/stat : 26342 (java) S 26339 26341 26257 0 -1 64 14281 0 1 0 1328 15 0 0 16 0 9 0 89725027 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26344] ppid=26339 vsize=864992 CPUtime=26.69
/proc/26341/task/26344/stat : 26344 (java) R 26339 26341 26257 0 -1 64 169586 0 0 0 2600 69 0 0 25 0 9 0 89725029 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 103831021 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26345] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26345/stat : 26345 (java) S 26339 26341 26257 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89725029 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26346] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26346/stat : 26346 (java) S 26339 26341 26257 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89725029 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26347] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26347/stat : 26347 (java) S 26339 26341 26257 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 89725031 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26348] ppid=26339 vsize=864992 CPUtime=0.16
/proc/26341/task/26348/stat : 26348 (java) S 26339 26341 26257 0 -1 64 541 0 0 0 16 0 0 0 17 0 9 0 89725031 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26349] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26349/stat : 26349 (java) S 26339 26341 26257 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 89725031 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26350] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26350/stat : 26350 (java) S 26339 26341 26257 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89725031 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 40.31
Current children cumulated vsize (KiB) 864992
[startup+42.4023 s]
/proc/loadavg: 1.50 0.42 0.14 3/90 26350
/proc/meminfo: memFree=18024/2055920 swapFree=4192812/4192956
[pid=26341] ppid=26339 vsize=864992 CPUtime=41.9
/proc/26341/stat : 26341 (java) S 26339 26341 26257 0 -1 0 185141 0 1 0 4104 86 0 0 18 0 9 0 89725026 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26341/statm: 216248 184330 2607 9 0 210717 0
[pid=26341/tid=26342] ppid=26339 vsize=864992 CPUtime=13.43
/proc/26341/task/26342/stat : 26342 (java) S 26339 26341 26257 0 -1 64 14281 0 1 0 1328 15 0 0 16 0 9 0 89725027 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26344] ppid=26339 vsize=864992 CPUtime=28.28
/proc/26341/task/26344/stat : 26344 (java) R 26339 26341 26257 0 -1 64 169586 0 0 0 2759 69 0 0 25 0 9 0 89725029 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 103831023 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26345] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26345/stat : 26345 (java) S 26339 26341 26257 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89725029 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26346] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26346/stat : 26346 (java) S 26339 26341 26257 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89725029 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26347] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26347/stat : 26347 (java) S 26339 26341 26257 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 89725031 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26348] ppid=26339 vsize=864992 CPUtime=0.16
/proc/26341/task/26348/stat : 26348 (java) S 26339 26341 26257 0 -1 64 541 0 0 0 16 0 0 0 17 0 9 0 89725031 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26349] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26349/stat : 26349 (java) S 26339 26341 26257 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 89725031 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26350] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26350/stat : 26350 (java) S 26339 26341 26257 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89725031 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 41.9
Current children cumulated vsize (KiB) 864992
[startup+42.8023 s]
/proc/loadavg: 1.54 0.45 0.15 3/90 26350
/proc/meminfo: memFree=18024/2055920 swapFree=4192812/4192956
[pid=26341] ppid=26339 vsize=864992 CPUtime=42.29
/proc/26341/stat : 26341 (java) S 26339 26341 26257 0 -1 0 185141 0 1 0 4143 86 0 0 18 0 9 0 89725026 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26341/statm: 216248 184330 2607 9 0 210717 0
[pid=26341/tid=26342] ppid=26339 vsize=864992 CPUtime=13.43
/proc/26341/task/26342/stat : 26342 (java) S 26339 26341 26257 0 -1 64 14281 0 1 0 1328 15 0 0 16 0 9 0 89725027 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26344] ppid=26339 vsize=864992 CPUtime=28.67
/proc/26341/task/26344/stat : 26344 (java) R 26339 26341 26257 0 -1 64 169586 0 0 0 2798 69 0 0 25 0 9 0 89725029 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 104191214 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26345] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26345/stat : 26345 (java) S 26339 26341 26257 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89725029 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26346] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26346/stat : 26346 (java) S 26339 26341 26257 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89725029 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26347] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26347/stat : 26347 (java) S 26339 26341 26257 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 89725031 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26348] ppid=26339 vsize=864992 CPUtime=0.16
/proc/26341/task/26348/stat : 26348 (java) S 26339 26341 26257 0 -1 64 541 0 0 0 16 0 0 0 17 0 9 0 89725031 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26349] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26349/stat : 26349 (java) S 26339 26341 26257 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 89725031 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26350] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26350/stat : 26350 (java) S 26339 26341 26257 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89725031 885751808 184330 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 42.29
Current children cumulated vsize (KiB) 864992
[startup+43.2013 s]
/proc/loadavg: 1.54 0.45 0.15 3/90 26350
/proc/meminfo: memFree=18024/2055920 swapFree=4192812/4192956
[pid=26341] ppid=26339 vsize=864992 CPUtime=42.69
/proc/26341/stat : 26341 (java) S 26339 26341 26257 0 -1 0 185145 0 1 0 4183 86 0 0 18 0 9 0 89725026 885751808 184332 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26341/statm: 216248 184332 2608 9 0 210717 0
[pid=26341/tid=26342] ppid=26339 vsize=864992 CPUtime=13.43
/proc/26341/task/26342/stat : 26342 (java) S 26339 26341 26257 0 -1 64 14284 0 1 0 1328 15 0 0 17 0 9 0 89725027 885751808 184332 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26344] ppid=26339 vsize=864992 CPUtime=29.07
/proc/26341/task/26344/stat : 26344 (java) R 26339 26341 26257 0 -1 64 169587 0 0 0 2838 69 0 0 25 0 9 0 89725029 885751808 184332 996147200 134512640 134550932 4294955888 18446744073709551615 104190098 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26345] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26345/stat : 26345 (java) S 26339 26341 26257 0 -1 64 16 0 0 0 0 0 0 0 16 0 9 0 89725029 885751808 184332 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26346] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26346/stat : 26346 (java) S 26339 26341 26257 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 89725029 885751808 184332 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26347] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26347/stat : 26347 (java) S 26339 26341 26257 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 89725031 885751808 184332 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26348] ppid=26339 vsize=864992 CPUtime=0.16
/proc/26341/task/26348/stat : 26348 (java) S 26339 26341 26257 0 -1 64 541 0 0 0 16 0 0 0 17 0 9 0 89725031 885751808 184332 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26349] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26349/stat : 26349 (java) S 26339 26341 26257 0 -1 64 0 0 0 0 0 0 0 0 19 0 9 0 89725031 885751808 184332 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=26341/tid=26350] ppid=26339 vsize=864992 CPUtime=0
/proc/26341/task/26350/stat : 26350 (java) S 26339 26341 26257 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 89725031 885751808 184332 996147200 134512640 134550932 4294955888 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 42.69
Current children cumulated vsize (KiB) 864992
[startup+43.3021 s]
/proc/loadavg: 1.54 0.45 0.15 3/90 26350
/proc/meminfo: memFree=18024/2055920 swapFree=4192812/4192956
[pid=26341] ppid=26339 vsize=0 CPUtime=42.78
/proc/26341/stat : 26341 (java) Z 26339 26341 26257 0 -1 12 185178 0 1 0 4187 91 0 0 16 0 2 0 89725026 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/26341/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 42.78
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 43.3598
CPU time (s): 42.8475
CPU user time (s): 41.8726
CPU system time (s): 0.974851
CPU usage (%): 98.8184
Max. virtual memory (cumulated for all children) (KiB): 864992
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.8726
system time used= 0.974851
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 185178
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= 1857
involuntary context switches= 2816
runsolver used 0.057991 second user time and 0.145977 second system time
The end
Begin job on node56 at 2009-07-19 20:03:37
IDJOB=2114440
IDBENCH=53347
IDSOLVER=780
FILE ID=node56/2114440-1248026602
PBS_JOBID= 9528937
Free space on /tmp= 102960 MiB
SOLVER NAME= Choco2.1.1b 2009-07-16
BENCH NAME= CPAI08/csp/lard/normalized-lard-92-92.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-2114440-1248026602/watcher-2114440-1248026602 -o /tmp/evaluation-result-2114440-1248026602/solver-2114440-1248026602 -C 1800 -W 2000 -M 900 java -Xms700M -Xmx700M -jar HOME/choco2.1.1.b.jar -file HOME/instance-2114440-1248026602.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= 8d85dcbb0804438d2d0cc8e5085d39f8
RANDOM SEED=77111846
node56.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.209
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.209
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: 591696 kB
Buffers: 100744 kB
Cached: 1185136 kB
SwapCached: 0 kB
Active: 791976 kB
Inactive: 572140 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 591696 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 109320 kB
Writeback: 0 kB
Mapped: 95040 kB
Slab: 85320 kB
Committed_AS: 1227724 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= 102956 MiB
End job on node56 at 2009-07-19 20:04:21