0.00/0.03 c --- Preproc Stats ---
96.57/97.42 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
96.57/97.42 at tuples.IP4BigConstraints.createTuples(IP4BigConstraints.java:48)
96.57/97.42 at tuples.IP4BigConstraints.generateLessNumberOfTuples(IP4BigConstraints.java:167)
96.57/97.42 at base.MixedEncoding.createRelation(MixedEncoding.java:63)
96.57/97.42 at base.Problem.endConstraint(Problem.java:510)
96.57/97.42 at sat4j.Constraint.endElement(Constraint.java:37)
96.57/97.42 at sat4j.InstanceParser.endElement(InstanceParser.java:49)
96.57/97.42 at com.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.endElement(Unknown Source)
96.57/97.42 at com.sun.org.apache.xerces.internal.impl.xs.XMLSchemaValidator.endElement(Unknown Source)
96.57/97.42 at com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanEndElement(Unknown Source)
96.57/97.42 at com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl$FragmentContentDriver.next(Unknown Source)
96.57/97.42 at com.sun.org.apache.xerces.internal.impl.XMLDocumentScannerImpl.next(Unknown Source)
96.57/97.42 at com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanDocument(Unknown Source)
96.57/97.42 at com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(Unknown Source)
96.57/97.42 at com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(Unknown Source)
96.57/97.42 at com.sun.org.apache.xerces.internal.parsers.XMLParser.parse(Unknown Source)
96.57/97.42 at com.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.parse(Unknown Source)
96.57/97.42 at com.sun.org.apache.xerces.internal.jaxp.SAXParserImpl$JAXPSAXParser.parse(Unknown Source)
96.57/97.42 at sat4j.CspXmlParser.parse(CspXmlParser.java:42)
96.57/97.42 at base.Run.main(Run.java:171)
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1072968-1215176205/watcher-1072968-1215176205 -o /tmp/evaluation-result-1072968-1215176205/solver-1072968-1215176205 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/galacE.sh HOME/instance-1072968-1215176205.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: 2.45 2.28 2.11 3/68 31225
/proc/meminfo: memFree=1867592/2055924 swapFree=4177292/4192956
[pid=31225] ppid=31223 vsize=8652 CPUtime=0
/proc/31225/stat : 31225 (galacE.sh) S 31223 31225 29947 0 -1 4194304 346 0 0 0 0 0 0 0 18 0 1 0 673350553 8859648 280 996147200 4194304 4520092 548682068832 18446744073709551615 230266432346 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/31225/statm: 2163 280 208 79 0 156 0
[pid=31226] ppid=31225 vsize=8688 CPUtime=0
/proc/31226/stat : 31226 (galacE.sh) S 31225 31225 29947 0 -1 4194368 36 0 0 0 0 0 0 0 19 0 1 0 673350554 8896512 286 996147200 4194304 4520092 548682068832 18446744073709551615 230266994770 0 0 4096 73728 18446744071563648864 0 0 17 0 0 0
/proc/31226/statm: 2172 286 209 79 0 165 0
[pid=31227] ppid=31226 vsize=120 CPUtime=0
/proc/31227/stat : 31227 (id) R 31226 31225 29947 0 -1 4194304 27 0 0 0 0 0 0 0 21 0 1 0 673350554 122880 3 996147200 0 0 548682069621 18446744073709551615 230266826023 0 0 3674112 0 0 0 0 17 0 0 0
/proc/31227/statm: 31 14 9 4 0 2 0
[startup+0.0661731 s]
/proc/loadavg: 2.45 2.28 2.11 3/68 31225
/proc/meminfo: memFree=1867592/2055924 swapFree=4177292/4192956
[pid=31225] ppid=31223 vsize=47568 CPUtime=0.01
/proc/31225/stat : 31225 (galacE.sh) S 31223 31225 29947 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 673350553 48709632 364 996147200 4194304 4520092 548682068832 18446744073709551615 230266432346 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/31225/statm: 11892 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47568
[startup+0.101178 s]
/proc/loadavg: 2.45 2.28 2.11 3/68 31225
/proc/meminfo: memFree=1867592/2055924 swapFree=4177292/4192956
[pid=31225] ppid=31223 vsize=47568 CPUtime=0.01
/proc/31225/stat : 31225 (galacE.sh) S 31223 31225 29947 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 673350553 48709632 364 996147200 4194304 4520092 548682068832 18446744073709551615 230266432346 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/31225/statm: 11892 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47568
[startup+0.301216 s]
/proc/loadavg: 2.45 2.28 2.11 3/68 31225
/proc/meminfo: memFree=1867592/2055924 swapFree=4177292/4192956
[pid=31225] ppid=31223 vsize=47568 CPUtime=0.01
/proc/31225/stat : 31225 (galacE.sh) S 31223 31225 29947 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 673350553 48709632 364 996147200 4194304 4520092 548682068832 18446744073709551615 230266432346 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/31225/statm: 11892 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47568
[startup+0.701298 s]
/proc/loadavg: 2.45 2.28 2.11 3/68 31225
/proc/meminfo: memFree=1867592/2055924 swapFree=4177292/4192956
[pid=31225] ppid=31223 vsize=47568 CPUtime=0.01
/proc/31225/stat : 31225 (galacE.sh) S 31223 31225 29947 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 673350553 48709632 364 996147200 4194304 4520092 548682068832 18446744073709551615 230266432346 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/31225/statm: 11892 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47568
[startup+1.50243 s]
/proc/loadavg: 2.45 2.28 2.11 2/78 31274
/proc/meminfo: memFree=1820208/2055924 swapFree=4177292/4192956
[pid=31225] ppid=31223 vsize=47568 CPUtime=0.01
/proc/31225/stat : 31225 (galacE.sh) S 31223 31225 29947 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 673350553 48709632 364 996147200 4194304 4520092 548682068832 18446744073709551615 230266432346 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/31225/statm: 11892 364 245 79 0 219 0
[pid=31239] ppid=31225 vsize=813944 CPUtime=1.58
/proc/31239/stat : 31239 (java) S 31225 31225 29947 0 -1 0 14946 0 1 0 152 6 0 0 20 0 9 0 673350556 833478656 14162 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31239/statm: 203486 14162 2588 9 0 197467 0
[pid=31239/tid=31240] ppid=31225 vsize=813944 CPUtime=1.21
/proc/31239/task/31240/stat : 31240 (java) R 31225 31225 29947 0 -1 64 8944 0 1 0 118 3 0 0 21 0 9 0 673350557 833478656 14162 996147200 134512640 134550740 4294955600 18446744073709551615 4126784868 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31241] ppid=31225 vsize=813944 CPUtime=0.23
/proc/31239/task/31241/stat : 31241 (java) S 31225 31225 29947 0 -1 64 4575 0 0 0 21 2 0 0 17 0 9 0 673350559 833478656 14162 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31242] ppid=31225 vsize=813944 CPUtime=0
/proc/31239/task/31242/stat : 31242 (java) S 31225 31225 29947 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 673350559 833478656 14162 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31243] ppid=31225 vsize=813944 CPUtime=0
/proc/31239/task/31243/stat : 31243 (java) S 31225 31225 29947 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 673350559 833478656 14162 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31244] ppid=31225 vsize=813944 CPUtime=0
/proc/31239/task/31244/stat : 31244 (java) S 31225 31225 29947 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 673350561 833478656 14162 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31245] ppid=31225 vsize=813944 CPUtime=0.13
/proc/31239/task/31245/stat : 31245 (java) S 31225 31225 29947 0 -1 64 727 0 0 0 13 0 0 0 16 0 9 0 673350561 833478656 14162 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31246] ppid=31225 vsize=813944 CPUtime=0
/proc/31239/task/31246/stat : 31246 (java) S 31225 31225 29947 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 673350561 833478656 14162 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31247] ppid=31225 vsize=813944 CPUtime=0
/proc/31239/task/31247/stat : 31247 (java) S 31225 31225 29947 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 673350561 833478656 14162 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 861512
[startup+3.10173 s]
/proc/loadavg: 2.34 2.26 2.11 2/78 31301
/proc/meminfo: memFree=1810800/2055924 swapFree=4177292/4192956
[pid=31225] ppid=31223 vsize=47568 CPUtime=0.01
/proc/31225/stat : 31225 (galacE.sh) S 31223 31225 29947 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 673350553 48709632 364 996147200 4194304 4520092 548682068832 18446744073709551615 230266432346 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/31225/statm: 11892 364 245 79 0 219 0
[pid=31239] ppid=31225 vsize=813944 CPUtime=3.14
/proc/31239/stat : 31239 (java) S 31225 31225 29947 0 -1 0 28482 0 1 0 302 12 0 0 20 0 9 0 673350556 833478656 27697 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31239/statm: 203486 27697 2592 9 0 197467 0
[pid=31239/tid=31240] ppid=31225 vsize=813944 CPUtime=2.64
/proc/31239/task/31240/stat : 31240 (java) R 31225 31225 29947 0 -1 64 14668 0 1 0 259 5 0 0 25 0 9 0 673350557 833478656 27697 996147200 134512640 134550740 4294955600 18446744073709551615 4126789495 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31241] ppid=31225 vsize=813944 CPUtime=0.34
/proc/31239/task/31241/stat : 31241 (java) S 31225 31225 29947 0 -1 64 12386 0 0 0 29 5 0 0 18 0 9 0 673350559 833478656 27697 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31242] ppid=31225 vsize=813944 CPUtime=0
/proc/31239/task/31242/stat : 31242 (java) S 31225 31225 29947 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 673350559 833478656 27697 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31243] ppid=31225 vsize=813944 CPUtime=0
/proc/31239/task/31243/stat : 31243 (java) S 31225 31225 29947 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 673350559 833478656 27697 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31244] ppid=31225 vsize=813944 CPUtime=0
/proc/31239/task/31244/stat : 31244 (java) S 31225 31225 29947 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 673350561 833478656 27697 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31245] ppid=31225 vsize=813944 CPUtime=0.13
/proc/31239/task/31245/stat : 31245 (java) S 31225 31225 29947 0 -1 64 728 0 0 0 13 0 0 0 16 0 9 0 673350561 833478656 27697 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31246] ppid=31225 vsize=813944 CPUtime=0
/proc/31239/task/31246/stat : 31246 (java) S 31225 31225 29947 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 673350561 833478656 27697 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31247] ppid=31225 vsize=813944 CPUtime=0
/proc/31239/task/31247/stat : 31247 (java) S 31225 31225 29947 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 673350561 833478656 27697 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 3.15
Current children cumulated vsize (KiB) 861512
[startup+6.30233 s]
/proc/loadavg: 2.34 2.26 2.11 2/78 31330
/proc/meminfo: memFree=1765488/2055924 swapFree=4177292/4192956
[pid=31225] ppid=31223 vsize=47568 CPUtime=0.01
/proc/31225/stat : 31225 (galacE.sh) S 31223 31225 29947 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 673350553 48709632 364 996147200 4194304 4520092 548682068832 18446744073709551615 230266432346 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/31225/statm: 11892 364 245 79 0 219 0
[pid=31239] ppid=31225 vsize=813944 CPUtime=6.31
/proc/31239/stat : 31239 (java) S 31225 31225 29947 0 -1 0 37983 0 1 0 615 16 0 0 20 0 9 0 673350556 833478656 37196 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31239/statm: 203486 37196 2592 9 0 197467 0
[pid=31239/tid=31240] ppid=31225 vsize=813944 CPUtime=5.67
/proc/31239/task/31240/stat : 31240 (java) R 31225 31225 29947 0 -1 64 14673 0 1 0 562 5 0 0 25 0 9 0 673350557 833478656 37196 996147200 134512640 134550740 4294955600 18446744073709551615 4126791550 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31241] ppid=31225 vsize=813944 CPUtime=0.48
/proc/31239/task/31241/stat : 31241 (java) S 31225 31225 29947 0 -1 64 21881 0 0 0 39 9 0 0 17 0 9 0 673350559 833478656 37196 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31242] ppid=31225 vsize=813944 CPUtime=0
/proc/31239/task/31242/stat : 31242 (java) S 31225 31225 29947 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 673350559 833478656 37196 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31243] ppid=31225 vsize=813944 CPUtime=0
/proc/31239/task/31243/stat : 31243 (java) S 31225 31225 29947 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 673350559 833478656 37196 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31244] ppid=31225 vsize=813944 CPUtime=0
/proc/31239/task/31244/stat : 31244 (java) S 31225 31225 29947 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 673350561 833478656 37196 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31245] ppid=31225 vsize=813944 CPUtime=0.13
/proc/31239/task/31245/stat : 31245 (java) S 31225 31225 29947 0 -1 64 729 0 0 0 13 0 0 0 16 0 9 0 673350561 833478656 37196 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31246] ppid=31225 vsize=813944 CPUtime=0
/proc/31239/task/31246/stat : 31246 (java) S 31225 31225 29947 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 673350561 833478656 37196 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31247] ppid=31225 vsize=813944 CPUtime=0
/proc/31239/task/31247/stat : 31247 (java) S 31225 31225 29947 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 673350561 833478656 37196 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 861512
[startup+12.7015 s]
/proc/loadavg: 2.39 2.27 2.11 4/93 31383
/proc/meminfo: memFree=1509880/2055924 swapFree=4177292/4192956
[pid=31225] ppid=31223 vsize=47568 CPUtime=0.01
/proc/31225/stat : 31225 (galacE.sh) S 31223 31225 29947 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 673350553 48709632 364 996147200 4194304 4520092 548682068832 18446744073709551615 230266432346 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/31225/statm: 11892 364 245 79 0 219 0
[pid=31239] ppid=31225 vsize=813944 CPUtime=12.64
/proc/31239/stat : 31239 (java) S 31225 31225 29947 0 -1 0 46173 0 1 0 1245 19 0 0 20 0 9 0 673350556 833478656 45383 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31239/statm: 203486 45383 2592 9 0 197467 0
[pid=31239/tid=31240] ppid=31225 vsize=813944 CPUtime=11.86
/proc/31239/task/31240/stat : 31240 (java) R 31225 31225 29947 0 -1 64 14676 0 1 0 1181 5 0 0 25 0 9 0 673350557 833478656 45383 996147200 134512640 134550740 4294955600 18446744073709551615 4126787761 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31241] ppid=31225 vsize=813944 CPUtime=0.61
/proc/31239/task/31241/stat : 31241 (java) S 31225 31225 29947 0 -1 64 30067 0 0 0 49 12 0 0 16 0 9 0 673350559 833478656 45383 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31242] ppid=31225 vsize=813944 CPUtime=0
/proc/31239/task/31242/stat : 31242 (java) S 31225 31225 29947 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 673350559 833478656 45383 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31243] ppid=31225 vsize=813944 CPUtime=0
/proc/31239/task/31243/stat : 31243 (java) S 31225 31225 29947 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 673350559 833478656 45383 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31244] ppid=31225 vsize=813944 CPUtime=0
/proc/31239/task/31244/stat : 31244 (java) S 31225 31225 29947 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 673350561 833478656 45383 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31245] ppid=31225 vsize=813944 CPUtime=0.13
/proc/31239/task/31245/stat : 31245 (java) S 31225 31225 29947 0 -1 64 730 0 0 0 13 0 0 0 16 0 9 0 673350561 833478656 45383 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31246] ppid=31225 vsize=813944 CPUtime=0
/proc/31239/task/31246/stat : 31246 (java) S 31225 31225 29947 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 673350561 833478656 45383 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31247] ppid=31225 vsize=813944 CPUtime=0
/proc/31239/task/31247/stat : 31247 (java) S 31225 31225 29947 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 673350561 833478656 45383 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 861512
[startup+25.5029 s]
/proc/loadavg: 2.37 2.27 2.11 3/93 31383
/proc/meminfo: memFree=732296/2055924 swapFree=4177292/4192956
[pid=31225] ppid=31223 vsize=47568 CPUtime=0.01
/proc/31225/stat : 31225 (galacE.sh) S 31223 31225 29947 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 673350553 48709632 364 996147200 4194304 4520092 548682068832 18446744073709551615 230266432346 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/31225/statm: 11892 364 245 79 0 219 0
[pid=31239] ppid=31225 vsize=814968 CPUtime=25.32
/proc/31239/stat : 31239 (java) S 31225 31225 29947 0 -1 0 89334 0 1 0 2484 48 0 0 20 0 9 0 673350556 834527232 88109 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31239/statm: 203742 88109 2592 9 0 197723 0
[pid=31239/tid=31240] ppid=31225 vsize=814968 CPUtime=23.5
/proc/31239/task/31240/stat : 31240 (java) R 31225 31225 29947 0 -1 64 15397 0 1 0 2344 6 0 0 25 0 9 0 673350557 834527232 88109 996147200 134512640 134550740 4294955600 18446744073709551615 4126784883 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31241] ppid=31225 vsize=814968 CPUtime=1.65
/proc/31239/task/31241/stat : 31241 (java) S 31225 31225 29947 0 -1 64 72501 0 0 0 124 41 0 0 16 0 9 0 673350559 834527232 88109 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31242] ppid=31225 vsize=814968 CPUtime=0
/proc/31239/task/31242/stat : 31242 (java) S 31225 31225 29947 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 673350559 834527232 88109 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31243] ppid=31225 vsize=814968 CPUtime=0
/proc/31239/task/31243/stat : 31243 (java) S 31225 31225 29947 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 673350559 834527232 88109 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31244] ppid=31225 vsize=814968 CPUtime=0
/proc/31239/task/31244/stat : 31244 (java) S 31225 31225 29947 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 673350561 834527232 88109 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31245] ppid=31225 vsize=814968 CPUtime=0.14
/proc/31239/task/31245/stat : 31245 (java) S 31225 31225 29947 0 -1 64 736 0 0 0 14 0 0 0 17 0 9 0 673350561 834527232 88109 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31246] ppid=31225 vsize=814968 CPUtime=0
/proc/31239/task/31246/stat : 31246 (java) S 31225 31225 29947 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 673350561 834527232 88109 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31247] ppid=31225 vsize=814968 CPUtime=0
/proc/31239/task/31247/stat : 31247 (java) S 31225 31225 29947 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 673350561 834527232 88109 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.33
################
# More data... #
################
[pid=31239/tid=31240] ppid=31225 vsize=815992 CPUtime=68.43
/proc/31239/task/31240/stat : 31240 (java) R 31225 31225 29947 0 -1 64 15996 0 1 0 6836 7 0 0 25 0 9 0 673350557 835575808 176688 996147200 134512640 134550740 4294955600 18446744073709551615 4126786264 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31241] ppid=31225 vsize=815992 CPUtime=7.45
/proc/31239/task/31241/stat : 31241 (java) S 31225 31225 29947 0 -1 64 161074 0 0 0 641 104 0 0 16 0 9 0 673350559 835575808 176688 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31242] ppid=31225 vsize=815992 CPUtime=0
/proc/31239/task/31242/stat : 31242 (java) S 31225 31225 29947 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 673350559 835575808 176688 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31243] ppid=31225 vsize=815992 CPUtime=0
/proc/31239/task/31243/stat : 31243 (java) S 31225 31225 29947 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 673350559 835575808 176688 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31244] ppid=31225 vsize=815992 CPUtime=0
/proc/31239/task/31244/stat : 31244 (java) S 31225 31225 29947 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 673350561 835575808 176688 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31245] ppid=31225 vsize=815992 CPUtime=0.14
/proc/31239/task/31245/stat : 31245 (java) S 31225 31225 29947 0 -1 64 737 0 0 0 14 0 0 0 17 0 9 0 673350561 835575808 176688 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31246] ppid=31225 vsize=815992 CPUtime=0
/proc/31239/task/31246/stat : 31246 (java) S 31225 31225 29947 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 673350561 835575808 176688 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31247] ppid=31225 vsize=815992 CPUtime=0
/proc/31239/task/31247/stat : 31247 (java) S 31225 31225 29947 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 673350561 835575808 176688 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 76.06
Current children cumulated vsize (KiB) 863560
[startup+89.5018 s]
/proc/loadavg: 2.12 2.21 2.10 3/93 31384
/proc/meminfo: memFree=338752/2055924 swapFree=4177292/4192956
[pid=31225] ppid=31223 vsize=47568 CPUtime=0.01
/proc/31225/stat : 31225 (galacE.sh) S 31223 31225 29947 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 673350553 48709632 364 996147200 4194304 4520092 548682068832 18446744073709551615 230266432346 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/31225/statm: 11892 364 245 79 0 219 0
[pid=31239] ppid=31225 vsize=818972 CPUtime=88.73
/proc/31239/stat : 31239 (java) S 31225 31225 29947 0 -1 0 190754 0 1 0 8756 117 0 0 20 0 9 0 673350556 838627328 186172 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31239/statm: 204743 186172 2592 9 0 198724 0
[pid=31239/tid=31240] ppid=31225 vsize=818972 CPUtime=76.59
/proc/31239/task/31240/stat : 31240 (java) S 31225 31225 29947 0 -1 64 15998 0 1 0 7652 7 0 0 17 0 9 0 673350557 838627328 186172 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31241] ppid=31225 vsize=818972 CPUtime=11.97
/proc/31239/task/31241/stat : 31241 (java) R 31225 31225 29947 0 -1 64 173319 0 0 0 1088 109 0 0 25 0 9 0 673350559 838627328 186172 996147200 134512640 134550740 4294955600 18446744073709551615 104457044 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31242] ppid=31225 vsize=818972 CPUtime=0
/proc/31239/task/31242/stat : 31242 (java) S 31225 31225 29947 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 673350559 838627328 186172 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31243] ppid=31225 vsize=818972 CPUtime=0
/proc/31239/task/31243/stat : 31243 (java) S 31225 31225 29947 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 673350559 838627328 186172 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31244] ppid=31225 vsize=818972 CPUtime=0
/proc/31239/task/31244/stat : 31244 (java) S 31225 31225 29947 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 673350561 838627328 186172 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31245] ppid=31225 vsize=818972 CPUtime=0.14
/proc/31239/task/31245/stat : 31245 (java) S 31225 31225 29947 0 -1 64 737 0 0 0 14 0 0 0 17 0 9 0 673350561 838627328 186172 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31246] ppid=31225 vsize=818972 CPUtime=0
/proc/31239/task/31246/stat : 31246 (java) S 31225 31225 29947 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 673350561 838627328 186172 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31247] ppid=31225 vsize=818972 CPUtime=0
/proc/31239/task/31247/stat : 31247 (java) S 31225 31225 29947 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 673350561 838627328 186172 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 88.74
Current children cumulated vsize (KiB) 866540
[startup+92.7024 s]
/proc/loadavg: 2.11 2.21 2.10 3/93 31384
/proc/meminfo: memFree=338112/2055924 swapFree=4177292/4192956
[pid=31225] ppid=31223 vsize=47568 CPUtime=0.01
/proc/31225/stat : 31225 (galacE.sh) S 31223 31225 29947 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 673350553 48709632 364 996147200 4194304 4520092 548682068832 18446744073709551615 230266432346 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/31225/statm: 11892 364 245 79 0 219 0
[pid=31239] ppid=31225 vsize=818972 CPUtime=91.9
/proc/31239/stat : 31239 (java) S 31225 31225 29947 0 -1 0 194353 0 1 0 9071 119 0 0 20 0 9 0 673350556 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31239/statm: 204743 186263 2592 9 0 198724 0
[pid=31239/tid=31240] ppid=31225 vsize=818972 CPUtime=76.69
/proc/31239/task/31240/stat : 31240 (java) S 31225 31225 29947 0 -1 64 16091 0 1 0 7662 7 0 0 17 0 9 0 673350557 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31241] ppid=31225 vsize=818972 CPUtime=15.05
/proc/31239/task/31241/stat : 31241 (java) R 31225 31225 29947 0 -1 64 176825 0 0 0 1394 111 0 0 25 0 9 0 673350559 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 104180266 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31242] ppid=31225 vsize=818972 CPUtime=0
/proc/31239/task/31242/stat : 31242 (java) S 31225 31225 29947 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 673350559 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31243] ppid=31225 vsize=818972 CPUtime=0
/proc/31239/task/31243/stat : 31243 (java) S 31225 31225 29947 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 673350559 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31244] ppid=31225 vsize=818972 CPUtime=0
/proc/31239/task/31244/stat : 31244 (java) S 31225 31225 29947 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 673350561 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31245] ppid=31225 vsize=818972 CPUtime=0.14
/proc/31239/task/31245/stat : 31245 (java) S 31225 31225 29947 0 -1 64 737 0 0 0 14 0 0 0 17 0 9 0 673350561 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31246] ppid=31225 vsize=818972 CPUtime=0
/proc/31239/task/31246/stat : 31246 (java) S 31225 31225 29947 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 673350561 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31247] ppid=31225 vsize=818972 CPUtime=0
/proc/31239/task/31247/stat : 31247 (java) S 31225 31225 29947 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 673350561 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 91.91
Current children cumulated vsize (KiB) 866540
[startup+95.903 s]
/proc/loadavg: 2.11 2.21 2.10 3/93 31384
/proc/meminfo: memFree=338240/2055924 swapFree=4177292/4192956
[pid=31225] ppid=31223 vsize=47568 CPUtime=0.01
/proc/31225/stat : 31225 (galacE.sh) S 31223 31225 29947 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 673350553 48709632 364 996147200 4194304 4520092 548682068832 18446744073709551615 230266432346 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/31225/statm: 11892 364 245 79 0 219 0
[pid=31239] ppid=31225 vsize=818972 CPUtime=95.07
/proc/31239/stat : 31239 (java) S 31225 31225 29947 0 -1 0 197860 0 1 0 9386 121 0 0 20 0 9 0 673350556 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31239/statm: 204743 186263 2592 9 0 198724 0
[pid=31239/tid=31240] ppid=31225 vsize=818972 CPUtime=76.69
/proc/31239/task/31240/stat : 31240 (java) S 31225 31225 29947 0 -1 64 16092 0 1 0 7662 7 0 0 17 0 9 0 673350557 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31241] ppid=31225 vsize=818972 CPUtime=18.21
/proc/31239/task/31241/stat : 31241 (java) R 31225 31225 29947 0 -1 64 180331 0 0 0 1709 112 0 0 25 0 9 0 673350559 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 103735743 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31242] ppid=31225 vsize=818972 CPUtime=0
/proc/31239/task/31242/stat : 31242 (java) S 31225 31225 29947 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 673350559 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31243] ppid=31225 vsize=818972 CPUtime=0
/proc/31239/task/31243/stat : 31243 (java) S 31225 31225 29947 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 673350559 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31244] ppid=31225 vsize=818972 CPUtime=0
/proc/31239/task/31244/stat : 31244 (java) S 31225 31225 29947 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 673350561 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31245] ppid=31225 vsize=818972 CPUtime=0.14
/proc/31239/task/31245/stat : 31245 (java) S 31225 31225 29947 0 -1 64 737 0 0 0 14 0 0 0 17 0 9 0 673350561 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31246] ppid=31225 vsize=818972 CPUtime=0
/proc/31239/task/31246/stat : 31246 (java) S 31225 31225 29947 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 673350561 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31247] ppid=31225 vsize=818972 CPUtime=0
/proc/31239/task/31247/stat : 31247 (java) S 31225 31225 29947 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 673350561 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 95.08
Current children cumulated vsize (KiB) 866540
[startup+96.7021 s]
/proc/loadavg: 2.11 2.21 2.10 3/93 31384
/proc/meminfo: memFree=338240/2055924 swapFree=4177292/4192956
[pid=31225] ppid=31223 vsize=47568 CPUtime=0.01
/proc/31225/stat : 31225 (galacE.sh) S 31223 31225 29947 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 673350553 48709632 364 996147200 4194304 4520092 548682068832 18446744073709551615 230266432346 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/31225/statm: 11892 364 245 79 0 219 0
[pid=31239] ppid=31225 vsize=818972 CPUtime=95.87
/proc/31239/stat : 31239 (java) S 31225 31225 29947 0 -1 0 197860 0 1 0 9466 121 0 0 20 0 9 0 673350556 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31239/statm: 204743 186263 2592 9 0 198724 0
[pid=31239/tid=31240] ppid=31225 vsize=818972 CPUtime=76.69
/proc/31239/task/31240/stat : 31240 (java) S 31225 31225 29947 0 -1 64 16092 0 1 0 7662 7 0 0 17 0 9 0 673350557 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31241] ppid=31225 vsize=818972 CPUtime=19.01
/proc/31239/task/31241/stat : 31241 (java) R 31225 31225 29947 0 -1 64 180331 0 0 0 1789 112 0 0 25 0 9 0 673350559 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 104182211 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31242] ppid=31225 vsize=818972 CPUtime=0
/proc/31239/task/31242/stat : 31242 (java) S 31225 31225 29947 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 673350559 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31243] ppid=31225 vsize=818972 CPUtime=0
/proc/31239/task/31243/stat : 31243 (java) S 31225 31225 29947 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 673350559 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31244] ppid=31225 vsize=818972 CPUtime=0
/proc/31239/task/31244/stat : 31244 (java) S 31225 31225 29947 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 673350561 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31245] ppid=31225 vsize=818972 CPUtime=0.14
/proc/31239/task/31245/stat : 31245 (java) S 31225 31225 29947 0 -1 64 737 0 0 0 14 0 0 0 17 0 9 0 673350561 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31246] ppid=31225 vsize=818972 CPUtime=0
/proc/31239/task/31246/stat : 31246 (java) S 31225 31225 29947 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 673350561 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31247] ppid=31225 vsize=818972 CPUtime=0
/proc/31239/task/31247/stat : 31247 (java) R 31225 31225 29947 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 673350561 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 95.88
Current children cumulated vsize (KiB) 866540
[startup+97.1022 s]
/proc/loadavg: 2.11 2.21 2.10 3/93 31384
/proc/meminfo: memFree=338240/2055924 swapFree=4177292/4192956
[pid=31225] ppid=31223 vsize=47568 CPUtime=0.01
/proc/31225/stat : 31225 (galacE.sh) S 31223 31225 29947 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 673350553 48709632 364 996147200 4194304 4520092 548682068832 18446744073709551615 230266432346 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/31225/statm: 11892 364 245 79 0 219 0
[pid=31239] ppid=31225 vsize=818972 CPUtime=96.26
/proc/31239/stat : 31239 (java) S 31225 31225 29947 0 -1 0 197860 0 1 0 9505 121 0 0 20 0 9 0 673350556 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/31239/statm: 204743 186263 2592 9 0 198724 0
[pid=31239/tid=31240] ppid=31225 vsize=818972 CPUtime=76.69
/proc/31239/task/31240/stat : 31240 (java) S 31225 31225 29947 0 -1 64 16092 0 1 0 7662 7 0 0 17 0 9 0 673350557 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31241] ppid=31225 vsize=818972 CPUtime=19.4
/proc/31239/task/31241/stat : 31241 (java) R 31225 31225 29947 0 -1 64 180331 0 0 0 1828 112 0 0 25 0 9 0 673350559 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 102731782 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31242] ppid=31225 vsize=818972 CPUtime=0
/proc/31239/task/31242/stat : 31242 (java) S 31225 31225 29947 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 673350559 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31243] ppid=31225 vsize=818972 CPUtime=0
/proc/31239/task/31243/stat : 31243 (java) S 31225 31225 29947 0 -1 64 5 0 0 0 0 0 0 0 15 0 9 0 673350559 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31244] ppid=31225 vsize=818972 CPUtime=0
/proc/31239/task/31244/stat : 31244 (java) S 31225 31225 29947 0 -1 64 2 0 0 0 0 0 0 0 25 0 9 0 673350561 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31245] ppid=31225 vsize=818972 CPUtime=0.14
/proc/31239/task/31245/stat : 31245 (java) S 31225 31225 29947 0 -1 64 737 0 0 0 14 0 0 0 17 0 9 0 673350561 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=31239/tid=31246] ppid=31225 vsize=818972 CPUtime=0
/proc/31239/task/31246/stat : 31246 (java) S 31225 31225 29947 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 673350561 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=31239/tid=31247] ppid=31225 vsize=818972 CPUtime=0
/proc/31239/task/31247/stat : 31247 (java) S 31225 31225 29947 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 673350561 838627328 186263 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 96.27
Current children cumulated vsize (KiB) 866540
[startup+97.5025 s]
/proc/loadavg: 2.11 2.21 2.10 3/93 31384
/proc/meminfo: memFree=338240/2055924 swapFree=4177292/4192956
[pid=31225] ppid=31223 vsize=47568 CPUtime=0.01
/proc/31225/stat : 31225 (galacE.sh) S 31223 31225 29947 0 -1 4194304 765 1697 0 0 0 0 0 1 18 0 1 0 673350553 48709632 364 996147200 4194304 4520092 548682068832 18446744073709551615 230266432346 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/31225/statm: 11892 364 245 79 0 219 0
[pid=31239] ppid=31225 vsize=0 CPUtime=96.64
/proc/31239/stat : 31239 (java) Z 31225 31225 29947 0 -1 12 197880 0 1 0 9537 127 0 0 16 0 2 0 673350556 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/31239/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 96.65
Current children cumulated vsize (KiB) 47568
Child status: 0
Real time (s): 97.5424
CPU time (s): 96.7213
CPU user time (s): 95.3825
CPU system time (s): 1.3388
CPU usage (%): 99.1582
Max. virtual memory (cumulated for all children) (KiB): 868544
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 95.3825
system time used= 1.3388
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 200364
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= 2394
involuntary context switches= 4035
runsolver used 0.113982 second user time and 0.307953 second system time
The end
Begin job on node83 at 2008-07-04 14:56:50
IDJOB=1072968
IDBENCH=56302
IDSOLVER=351
FILE ID=node83/1072968-1215176205
PBS_JOBID= 7881534
Free space on /tmp= 66556 MiB
SOLVER NAME= galac E
BENCH NAME= CPAI08/csp/radar-8-30-3-0/normalized-radar-8-30-3-0-39.xml
COMMAND LINE= HOME/galacE.sh BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1072968-1215176205/watcher-1072968-1215176205 -o /tmp/evaluation-result-1072968-1215176205/solver-1072968-1215176205 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/galacE.sh HOME/instance-1072968-1215176205.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 2eb9b079214aab0b9ee1a9355b6b709d
RANDOM SEED=211365185
node83.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.263
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.263
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055924 kB
MemFree: 1868136 kB
Buffers: 19612 kB
Cached: 111404 kB
SwapCached: 9336 kB
Active: 117108 kB
Inactive: 27712 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1868136 kB
SwapTotal: 4192956 kB
SwapFree: 4177292 kB
Dirty: 3536 kB
Writeback: 0 kB
Mapped: 17652 kB
Slab: 28668 kB
Committed_AS: 1044096 kB
PageTables: 1596 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= 66552 MiB
End job on node83 at 2008-07-04 14:58:27