0.01/0.31 c --- Preproc Stats ---
72.44/73.71 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
72.44/73.71 at cspstructures.Relation.setTuples(Relation.java:240)
72.44/73.71 at base.MixedEncoding.createRelation(MixedEncoding.java:67)
72.44/73.71 at base.Problem.endConstraint(Problem.java:510)
72.44/73.71 at sat4j.Constraint.endElement(Constraint.java:37)
72.44/73.71 at sat4j.InstanceParser.endElement(InstanceParser.java:49)
72.44/73.71 at com.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.endElement(Unknown Source)
72.44/73.71 at com.sun.org.apache.xerces.internal.impl.xs.XMLSchemaValidator.endElement(Unknown Source)
72.44/73.71 at com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanEndElement(Unknown Source)
72.44/73.71 at com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl$FragmentContentDriver.next(Unknown Source)
72.44/73.71 at com.sun.org.apache.xerces.internal.impl.XMLDocumentScannerImpl.next(Unknown Source)
72.44/73.71 at com.sun.org.apache.xerces.internal.impl.XMLDocumentFragmentScannerImpl.scanDocument(Unknown Source)
72.44/73.71 at com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(Unknown Source)
72.44/73.71 at com.sun.org.apache.xerces.internal.parsers.XML11Configuration.parse(Unknown Source)
72.44/73.71 at com.sun.org.apache.xerces.internal.parsers.XMLParser.parse(Unknown Source)
72.44/73.71 at com.sun.org.apache.xerces.internal.parsers.AbstractSAXParser.parse(Unknown Source)
72.44/73.71 at com.sun.org.apache.xerces.internal.jaxp.SAXParserImpl$JAXPSAXParser.parse(Unknown Source)
72.44/73.71 at sat4j.CspXmlParser.parse(CspXmlParser.java:42)
72.44/73.71 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-1062788-1215136060/watcher-1062788-1215136060 -o /tmp/evaluation-result-1062788-1215136060/solver-1062788-1215136060 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/galacE.sh HOME/instance-1062788-1215136060.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: 3.27 2.72 2.31 4/82 2372
/proc/meminfo: memFree=15136/2055920 swapFree=4180076/4192956
[pid=2372] ppid=2370 vsize=18572 CPUtime=0
/proc/2372/stat : 2372 (runsolver) R 2370 2372 2090 0 -1 4194368 15 0 0 0 0 0 0 0 18 0 1 0 1992579994 19017728 292 996147200 4194304 4296836 548682068496 18446744073709551615 225612197159 0 0 4096 24578 0 0 0 17 1 0 0
/proc/2372/statm: 4643 292 257 25 0 2626 0
[startup+0.07448 s]
/proc/loadavg: 3.27 2.72 2.31 4/82 2372
/proc/meminfo: memFree=15136/2055920 swapFree=4180076/4192956
[pid=2372] ppid=2370 vsize=6348 CPUtime=0
/proc/2372/stat : 2372 (galacE.sh) D 2370 2372 2090 0 -1 4194304 255 0 4 0 0 0 0 0 18 0 1 0 1992579994 6500352 215 996147200 4194304 4520092 548682068832 18446744073709551615 225612365906 0 0 4096 8192 18446744071563479169 0 0 17 1 0 0
/proc/2372/statm: 1587 215 165 79 0 123 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6348
[startup+0.102922 s]
/proc/loadavg: 3.27 2.72 2.31 4/82 2372
/proc/meminfo: memFree=15136/2055920 swapFree=4180076/4192956
[pid=2372] ppid=2370 vsize=8652 CPUtime=0
/proc/2372/stat : 2372 (galacE.sh) S 2370 2372 2090 0 -1 4194304 341 0 5 0 0 0 0 0 16 0 1 0 1992579994 8859648 280 996147200 4194304 4520092 548682068832 18446744073709551615 225611803482 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/2372/statm: 2163 280 208 79 0 156 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 8652
[startup+0.301937 s]
/proc/loadavg: 3.27 2.72 2.31 4/82 2372
/proc/meminfo: memFree=15136/2055920 swapFree=4180076/4192956
[pid=2372] ppid=2370 vsize=47560 CPUtime=0.01
/proc/2372/stat : 2372 (galacE.sh) D 2370 2372 2090 0 -1 4194304 744 1697 6 0 0 0 0 1 18 0 1 0 1992579994 48701440 361 996147200 4194304 4520092 548682068832 18446744073709551615 225612181790 0 2 4096 73728 18446744071563608240 0 0 17 1 0 0
/proc/2372/statm: 11890 361 245 79 0 218 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47560
[startup+0.701975 s]
/proc/loadavg: 3.27 2.72 2.31 4/82 2372
/proc/meminfo: memFree=15136/2055920 swapFree=4180076/4192956
[pid=2372] ppid=2370 vsize=47564 CPUtime=0.02
/proc/2372/stat : 2372 (galacE.sh) S 2370 2372 2090 0 -1 4194304 759 1697 6 0 0 1 0 1 18 0 1 0 1992579994 48705536 364 996147200 4194304 4520092 548682068832 18446744073709551615 225611803482 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/2372/statm: 11891 364 245 79 0 219 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 47564
[startup+1.50205 s]
/proc/loadavg: 3.27 2.72 2.31 3/92 2394
/proc/meminfo: memFree=15568/2055920 swapFree=4180076/4192956
[pid=2372] ppid=2370 vsize=47564 CPUtime=0.02
/proc/2372/stat : 2372 (galacE.sh) S 2370 2372 2090 0 -1 4194304 759 1697 6 0 0 1 0 1 18 0 1 0 1992579994 48705536 364 996147200 4194304 4520092 548682068832 18446744073709551615 225611803482 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/2372/statm: 11891 364 245 79 0 219 0
[pid=2386] ppid=2372 vsize=813312 CPUtime=1.11
/proc/2386/stat : 2386 (java) S 2372 2372 2090 0 -1 0 13860 0 1 0 102 9 0 0 18 0 9 0 1992580025 832831488 12993 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2386/statm: 203328 12993 2588 9 0 197309 0
[pid=2386/tid=2387] ppid=2372 vsize=813312 CPUtime=0.7
/proc/2386/task/2387/stat : 2387 (java) R 2372 2372 2090 0 -1 64 7676 0 1 0 65 5 0 0 21 0 9 0 1992580026 832831488 12993 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2386/tid=2388] ppid=2372 vsize=813312 CPUtime=0.21
/proc/2386/task/2388/stat : 2388 (java) R 2372 2372 2090 0 -1 64 4691 0 0 0 19 2 0 0 16 0 9 0 1992580027 832831488 12993 996147200 134512640 134550740 4294955616 18446744073709551615 104182202 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2386/tid=2389] ppid=2372 vsize=813312 CPUtime=0
/proc/2386/task/2389/stat : 2389 (java) S 2372 2372 2090 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1992580027 832831488 12993 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2386/tid=2390] ppid=2372 vsize=813312 CPUtime=0
/proc/2386/task/2390/stat : 2390 (java) S 2372 2372 2090 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992580027 832831488 12993 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2386/tid=2391] ppid=2372 vsize=813312 CPUtime=0
/proc/2386/task/2391/stat : 2391 (java) S 2372 2372 2090 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992580029 832831488 12993 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2392] ppid=2372 vsize=813312 CPUtime=0.17
/proc/2386/task/2392/stat : 2392 (java) S 2372 2372 2090 0 -1 64 793 0 0 0 16 1 0 0 15 0 9 0 1992580029 832831488 12993 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2386/tid=2393] ppid=2372 vsize=813312 CPUtime=0
/proc/2386/task/2393/stat : 2393 (java) S 2372 2372 2090 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992580030 832831488 12993 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2394] ppid=2372 vsize=813312 CPUtime=0
/proc/2386/task/2394/stat : 2394 (java) S 2372 2372 2090 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992580030 832831488 12993 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.13
Current children cumulated vsize (KiB) 860876
[startup+3.10218 s]
/proc/loadavg: 3.27 2.72 2.31 3/92 2394
/proc/meminfo: memFree=16208/2055920 swapFree=4180076/4192956
[pid=2372] ppid=2370 vsize=47564 CPUtime=0.02
/proc/2372/stat : 2372 (galacE.sh) S 2370 2372 2090 0 -1 4194304 759 1697 6 0 0 1 0 1 18 0 1 0 1992579994 48705536 364 996147200 4194304 4520092 548682068832 18446744073709551615 225611803482 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/2372/statm: 11891 364 245 79 0 219 0
[pid=2386] ppid=2372 vsize=812784 CPUtime=2.7
/proc/2386/stat : 2386 (java) S 2372 2372 2090 0 -1 0 16125 0 1 0 260 10 0 0 18 0 9 0 1992580025 832290816 15126 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2386/statm: 203196 15126 2588 9 0 197177 0
[pid=2386/tid=2387] ppid=2372 vsize=812784 CPUtime=2.28
/proc/2386/task/2387/stat : 2387 (java) R 2372 2372 2090 0 -1 64 9268 0 1 0 222 6 0 0 25 0 9 0 1992580026 832290816 15126 996147200 134512640 134550740 4294955616 18446744073709551615 4126885444 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2386/tid=2388] ppid=2372 vsize=812784 CPUtime=0.22
/proc/2386/task/2388/stat : 2388 (java) S 2372 2372 2090 0 -1 64 5362 0 0 0 20 2 0 0 17 0 9 0 1992580027 832290816 15126 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2386/tid=2389] ppid=2372 vsize=812784 CPUtime=0
/proc/2386/task/2389/stat : 2389 (java) S 2372 2372 2090 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1992580027 832290816 15126 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2386/tid=2390] ppid=2372 vsize=812784 CPUtime=0
/proc/2386/task/2390/stat : 2390 (java) S 2372 2372 2090 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992580027 832290816 15126 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2386/tid=2391] ppid=2372 vsize=812784 CPUtime=0
/proc/2386/task/2391/stat : 2391 (java) S 2372 2372 2090 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992580029 832290816 15126 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2392] ppid=2372 vsize=812784 CPUtime=0.18
/proc/2386/task/2392/stat : 2392 (java) S 2372 2372 2090 0 -1 64 795 0 0 0 17 1 0 0 15 0 9 0 1992580029 832290816 15126 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2386/tid=2393] ppid=2372 vsize=812784 CPUtime=0
/proc/2386/task/2393/stat : 2393 (java) S 2372 2372 2090 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992580030 832290816 15126 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2394] ppid=2372 vsize=812784 CPUtime=0
/proc/2386/task/2394/stat : 2394 (java) S 2372 2372 2090 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992580030 832290816 15126 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.72
Current children cumulated vsize (KiB) 860348
[startup+6.30146 s]
/proc/loadavg: 3.25 2.73 2.31 3/92 2394
/proc/meminfo: memFree=15632/2055920 swapFree=4180076/4192956
[pid=2372] ppid=2370 vsize=47564 CPUtime=0.02
/proc/2372/stat : 2372 (galacE.sh) S 2370 2372 2090 0 -1 4194304 759 1697 6 0 0 1 0 1 18 0 1 0 1992579994 48705536 364 996147200 4194304 4520092 548682068832 18446744073709551615 225611803482 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/2372/statm: 11891 364 245 79 0 219 0
[pid=2386] ppid=2372 vsize=812784 CPUtime=5.89
/proc/2386/stat : 2386 (java) S 2372 2372 2090 0 -1 0 18768 0 1 0 578 11 0 0 18 0 9 0 1992580025 832290816 17769 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2386/statm: 203196 17769 2588 9 0 197177 0
[pid=2386/tid=2387] ppid=2372 vsize=812784 CPUtime=5.48
/proc/2386/task/2387/stat : 2387 (java) R 2372 2372 2090 0 -1 64 11911 0 1 0 541 7 0 0 25 0 9 0 1992580026 832290816 17769 996147200 134512640 134550740 4294955616 18446744073709551615 4126889538 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2386/tid=2388] ppid=2372 vsize=812784 CPUtime=0.22
/proc/2386/task/2388/stat : 2388 (java) S 2372 2372 2090 0 -1 64 5362 0 0 0 20 2 0 0 16 0 9 0 1992580027 832290816 17769 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2386/tid=2389] ppid=2372 vsize=812784 CPUtime=0
/proc/2386/task/2389/stat : 2389 (java) S 2372 2372 2090 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1992580027 832290816 17769 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2386/tid=2390] ppid=2372 vsize=812784 CPUtime=0
/proc/2386/task/2390/stat : 2390 (java) S 2372 2372 2090 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992580027 832290816 17769 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2386/tid=2391] ppid=2372 vsize=812784 CPUtime=0
/proc/2386/task/2391/stat : 2391 (java) S 2372 2372 2090 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992580029 832290816 17769 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2392] ppid=2372 vsize=812784 CPUtime=0.18
/proc/2386/task/2392/stat : 2392 (java) S 2372 2372 2090 0 -1 64 795 0 0 0 17 1 0 0 15 0 9 0 1992580029 832290816 17769 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2386/tid=2393] ppid=2372 vsize=812784 CPUtime=0
/proc/2386/task/2393/stat : 2393 (java) S 2372 2372 2090 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992580030 832290816 17769 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2394] ppid=2372 vsize=812784 CPUtime=0
/proc/2386/task/2394/stat : 2394 (java) S 2372 2372 2090 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992580030 832290816 17769 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 5.91
Current children cumulated vsize (KiB) 860348
[startup+12.703 s]
/proc/loadavg: 3.23 2.73 2.31 3/92 2394
/proc/meminfo: memFree=15184/2055920 swapFree=4180076/4192956
[pid=2372] ppid=2370 vsize=47564 CPUtime=0.02
/proc/2372/stat : 2372 (galacE.sh) S 2370 2372 2090 0 -1 4194304 759 1697 6 0 0 1 0 1 18 0 1 0 1992579994 48705536 364 996147200 4194304 4520092 548682068832 18446744073709551615 225611803482 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/2372/statm: 11891 364 245 79 0 219 0
[pid=2386] ppid=2372 vsize=812784 CPUtime=12.26
/proc/2386/stat : 2386 (java) S 2372 2372 2090 0 -1 0 32483 0 1 0 1208 18 0 0 18 0 9 0 1992580025 832290816 31482 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2386/statm: 203196 31482 2592 9 0 197177 0
[pid=2386/tid=2387] ppid=2372 vsize=812784 CPUtime=11.51
/proc/2386/task/2387/stat : 2387 (java) R 2372 2372 2090 0 -1 64 14597 0 1 0 1142 9 0 0 25 0 9 0 1992580026 832290816 31482 996147200 134512640 134550740 4294955616 18446744073709551615 4126889604 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2386/tid=2388] ppid=2372 vsize=812784 CPUtime=0.54
/proc/2386/task/2388/stat : 2388 (java) S 2372 2372 2090 0 -1 64 16391 0 0 0 48 6 0 0 16 0 9 0 1992580027 832290816 31482 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2386/tid=2389] ppid=2372 vsize=812784 CPUtime=0
/proc/2386/task/2389/stat : 2389 (java) S 2372 2372 2090 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1992580027 832290816 31482 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2386/tid=2390] ppid=2372 vsize=812784 CPUtime=0
/proc/2386/task/2390/stat : 2390 (java) S 2372 2372 2090 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992580027 832290816 31482 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2386/tid=2391] ppid=2372 vsize=812784 CPUtime=0
/proc/2386/task/2391/stat : 2391 (java) S 2372 2372 2090 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992580029 832290816 31482 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2392] ppid=2372 vsize=812784 CPUtime=0.18
/proc/2386/task/2392/stat : 2392 (java) S 2372 2372 2090 0 -1 64 795 0 0 0 17 1 0 0 15 0 9 0 1992580029 832290816 31482 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2386/tid=2393] ppid=2372 vsize=812784 CPUtime=0
/proc/2386/task/2393/stat : 2393 (java) S 2372 2372 2090 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992580030 832290816 31482 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2394] ppid=2372 vsize=812784 CPUtime=0
/proc/2386/task/2394/stat : 2394 (java) S 2372 2372 2090 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992580030 832290816 31482 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.28
Current children cumulated vsize (KiB) 860348
[startup+25.5011 s]
/proc/loadavg: 3.18 2.74 2.32 3/92 2394
/proc/meminfo: memFree=16208/2055920 swapFree=4180076/4192956
[pid=2372] ppid=2370 vsize=47564 CPUtime=0.02
/proc/2372/stat : 2372 (galacE.sh) S 2370 2372 2090 0 -1 4194304 759 1697 6 0 0 1 0 1 18 0 1 0 1992579994 48705536 364 996147200 4194304 4520092 548682068832 18446744073709551615 225611803482 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/2372/statm: 11891 364 245 79 0 219 0
[pid=2386] ppid=2372 vsize=812784 CPUtime=25.04
/proc/2386/stat : 2386 (java) S 2372 2372 2090 0 -1 0 32483 0 1 0 2485 19 0 0 18 0 9 0 1992580025 832290816 31482 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2386/statm: 203196 31482 2592 9 0 197177 0
[pid=2386/tid=2387] ppid=2372 vsize=812784 CPUtime=24.3
/proc/2386/task/2387/stat : 2387 (java) R 2372 2372 2090 0 -1 64 14597 0 1 0 2419 11 0 0 25 0 9 0 1992580026 832290816 31482 996147200 134512640 134550740 4294955616 18446744073709551615 4126889520 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2386/tid=2388] ppid=2372 vsize=812784 CPUtime=0.54
/proc/2386/task/2388/stat : 2388 (java) S 2372 2372 2090 0 -1 64 16391 0 0 0 48 6 0 0 16 0 9 0 1992580027 832290816 31482 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2386/tid=2389] ppid=2372 vsize=812784 CPUtime=0
/proc/2386/task/2389/stat : 2389 (java) S 2372 2372 2090 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1992580027 832290816 31482 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2386/tid=2390] ppid=2372 vsize=812784 CPUtime=0
/proc/2386/task/2390/stat : 2390 (java) S 2372 2372 2090 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992580027 832290816 31482 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2386/tid=2391] ppid=2372 vsize=812784 CPUtime=0
/proc/2386/task/2391/stat : 2391 (java) S 2372 2372 2090 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992580029 832290816 31482 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2392] ppid=2372 vsize=812784 CPUtime=0.18
/proc/2386/task/2392/stat : 2392 (java) S 2372 2372 2090 0 -1 64 795 0 0 0 17 1 0 0 15 0 9 0 1992580029 832290816 31482 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2386/tid=2393] ppid=2372 vsize=812784 CPUtime=0
/proc/2386/task/2393/stat : 2393 (java) S 2372 2372 2090 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992580030 832290816 31482 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2394] ppid=2372 vsize=812784 CPUtime=0
/proc/2386/task/2394/stat : 2394 (java) S 2372 2372 2090 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992580030 832290816 31482 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.06
Current children cumulated vsize (KiB) 860348
[startup+51.1013 s]
/proc/loadavg: 3.24 2.80 2.35 3/92 2394
/proc/meminfo: memFree=15504/2055920 swapFree=4180076/4192956
[pid=2372] ppid=2370 vsize=47564 CPUtime=0.02
################
# More data... #
################
[pid=2386/tid=2391] ppid=2372 vsize=815824 CPUtime=0
/proc/2386/task/2391/stat : 2391 (java) S 2372 2372 2090 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992580029 835403776 121940 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2392] ppid=2372 vsize=815824 CPUtime=0.18
/proc/2386/task/2392/stat : 2392 (java) S 2372 2372 2090 0 -1 64 795 0 0 0 17 1 0 0 16 0 9 0 1992580029 835403776 121940 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2393] ppid=2372 vsize=815824 CPUtime=0
/proc/2386/task/2393/stat : 2393 (java) S 2372 2372 2090 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992580030 835403776 121940 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2394] ppid=2372 vsize=815824 CPUtime=0
/proc/2386/task/2394/stat : 2394 (java) S 2372 2372 2090 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992580030 835403776 121940 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.21
Current children cumulated vsize (KiB) 863388
Solver just ended. Dumping a history of the last processes samples
[startup+63.9024 s]
/proc/loadavg: 3.19 2.80 2.36 3/92 2394
/proc/meminfo: memFree=16144/2055920 swapFree=4180076/4192956
[pid=2372] ppid=2370 vsize=47564 CPUtime=0.02
/proc/2372/stat : 2372 (galacE.sh) S 2370 2372 2090 0 -1 4194304 759 1697 6 0 0 1 0 1 18 0 1 0 1992579994 48705536 364 996147200 4194304 4520092 548682068832 18446744073709551615 225611803482 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/2372/statm: 11891 364 245 79 0 219 0
[pid=2386] ppid=2372 vsize=817584 CPUtime=62.72
/proc/2386/stat : 2386 (java) S 2372 2372 2090 0 -1 0 181718 0 1 0 6175 97 0 0 18 0 9 0 1992580025 837206016 180701 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2386/statm: 204396 180701 2592 9 0 198377 0
[pid=2386/tid=2387] ppid=2372 vsize=817584 CPUtime=57.35
/proc/2386/task/2387/stat : 2387 (java) S 2372 2372 2090 0 -1 64 15805 0 1 0 5716 19 0 0 16 0 9 0 1992580026 837206016 180701 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2388] ppid=2372 vsize=817584 CPUtime=5.17
/proc/2386/task/2388/stat : 2388 (java) R 2372 2372 2090 0 -1 64 164418 0 0 0 441 76 0 0 25 0 9 0 1992580027 837206016 180701 996147200 134512640 134550740 4294955616 18446744073709551615 103735747 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2389] ppid=2372 vsize=817584 CPUtime=0
/proc/2386/task/2389/stat : 2389 (java) S 2372 2372 2090 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1992580027 837206016 180701 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2386/tid=2390] ppid=2372 vsize=817584 CPUtime=0
/proc/2386/task/2390/stat : 2390 (java) S 2372 2372 2090 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992580027 837206016 180701 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2386/tid=2391] ppid=2372 vsize=817584 CPUtime=0
/proc/2386/task/2391/stat : 2391 (java) S 2372 2372 2090 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992580029 837206016 180701 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2392] ppid=2372 vsize=817584 CPUtime=0.18
/proc/2386/task/2392/stat : 2392 (java) S 2372 2372 2090 0 -1 64 795 0 0 0 17 1 0 0 16 0 9 0 1992580029 837206016 180701 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2393] ppid=2372 vsize=817584 CPUtime=0
/proc/2386/task/2393/stat : 2393 (java) S 2372 2372 2090 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992580030 837206016 180701 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2394] ppid=2372 vsize=817584 CPUtime=0
/proc/2386/task/2394/stat : 2394 (java) S 2372 2372 2090 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992580030 837206016 180701 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 62.74
Current children cumulated vsize (KiB) 865148
[startup+70.303 s]
/proc/loadavg: 3.17 2.81 2.37 3/92 2394
/proc/meminfo: memFree=15760/2055920 swapFree=4180076/4192956
[pid=2372] ppid=2370 vsize=47564 CPUtime=0.02
/proc/2372/stat : 2372 (galacE.sh) S 2370 2372 2090 0 -1 4194304 759 1697 6 0 0 1 0 1 18 0 1 0 1992579994 48705536 364 996147200 4194304 4520092 548682068832 18446744073709551615 225611803482 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/2372/statm: 11891 364 245 79 0 219 0
[pid=2386] ppid=2372 vsize=817584 CPUtime=69.05
/proc/2386/stat : 2386 (java) S 2372 2372 2090 0 -1 0 187111 0 1 0 6806 99 0 0 18 0 9 0 1992580025 837206016 186092 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2386/statm: 204396 186092 2592 9 0 198377 0
[pid=2386/tid=2387] ppid=2372 vsize=817584 CPUtime=57.4
/proc/2386/task/2387/stat : 2387 (java) S 2372 2372 2090 0 -1 64 15807 0 1 0 5721 19 0 0 17 0 9 0 1992580026 837206016 186092 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2388] ppid=2372 vsize=817584 CPUtime=11.45
/proc/2386/task/2388/stat : 2388 (java) R 2372 2372 2090 0 -1 64 169809 0 0 0 1067 78 0 0 25 0 9 0 1992580027 837206016 186092 996147200 134512640 134550740 4294955616 18446744073709551615 104182383 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2389] ppid=2372 vsize=817584 CPUtime=0
/proc/2386/task/2389/stat : 2389 (java) S 2372 2372 2090 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1992580027 837206016 186092 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2390] ppid=2372 vsize=817584 CPUtime=0
/proc/2386/task/2390/stat : 2390 (java) S 2372 2372 2090 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992580027 837206016 186092 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2386/tid=2391] ppid=2372 vsize=817584 CPUtime=0
/proc/2386/task/2391/stat : 2391 (java) S 2372 2372 2090 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992580029 837206016 186092 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2392] ppid=2372 vsize=817584 CPUtime=0.18
/proc/2386/task/2392/stat : 2392 (java) S 2372 2372 2090 0 -1 64 795 0 0 0 17 1 0 0 16 0 9 0 1992580029 837206016 186092 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2393] ppid=2372 vsize=817584 CPUtime=0
/proc/2386/task/2393/stat : 2393 (java) S 2372 2372 2090 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992580030 837206016 186092 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2394] ppid=2372 vsize=817584 CPUtime=0
/proc/2386/task/2394/stat : 2394 (java) S 2372 2372 2090 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992580030 837206016 186092 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 69.07
Current children cumulated vsize (KiB) 865148
[startup+71.9021 s]
/proc/loadavg: 3.17 2.81 2.37 3/92 2394
/proc/meminfo: memFree=16080/2055920 swapFree=4180076/4192956
[pid=2372] ppid=2370 vsize=47564 CPUtime=0.02
/proc/2372/stat : 2372 (galacE.sh) S 2370 2372 2090 0 -1 4194304 759 1697 6 0 0 1 0 1 18 0 1 0 1992579994 48705536 364 996147200 4194304 4520092 548682068832 18446744073709551615 225611803482 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/2372/statm: 11891 364 245 79 0 219 0
[pid=2386] ppid=2372 vsize=817584 CPUtime=70.63
/proc/2386/stat : 2386 (java) S 2372 2372 2090 0 -1 0 187112 0 1 0 6964 99 0 0 18 0 9 0 1992580025 837206016 186092 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2386/statm: 204396 186092 2592 9 0 198377 0
[pid=2386/tid=2387] ppid=2372 vsize=817584 CPUtime=57.4
/proc/2386/task/2387/stat : 2387 (java) S 2372 2372 2090 0 -1 64 15808 0 1 0 5721 19 0 0 17 0 9 0 1992580026 837206016 186092 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2388] ppid=2372 vsize=817584 CPUtime=13.03
/proc/2386/task/2388/stat : 2388 (java) R 2372 2372 2090 0 -1 64 169809 0 0 0 1225 78 0 0 25 0 9 0 1992580027 837206016 186092 996147200 134512640 134550740 4294955616 18446744073709551615 103834248 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2389] ppid=2372 vsize=817584 CPUtime=0
/proc/2386/task/2389/stat : 2389 (java) S 2372 2372 2090 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1992580027 837206016 186092 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2390] ppid=2372 vsize=817584 CPUtime=0
/proc/2386/task/2390/stat : 2390 (java) S 2372 2372 2090 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992580027 837206016 186092 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2386/tid=2391] ppid=2372 vsize=817584 CPUtime=0
/proc/2386/task/2391/stat : 2391 (java) S 2372 2372 2090 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992580029 837206016 186092 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2392] ppid=2372 vsize=817584 CPUtime=0.18
/proc/2386/task/2392/stat : 2392 (java) S 2372 2372 2090 0 -1 64 795 0 0 0 17 1 0 0 16 0 9 0 1992580029 837206016 186092 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2393] ppid=2372 vsize=817584 CPUtime=0
/proc/2386/task/2393/stat : 2393 (java) S 2372 2372 2090 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992580030 837206016 186092 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2394] ppid=2372 vsize=817584 CPUtime=0
/proc/2386/task/2394/stat : 2394 (java) S 2372 2372 2090 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992580030 837206016 186092 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 70.65
Current children cumulated vsize (KiB) 865148
[startup+73.5023 s]
/proc/loadavg: 3.17 2.81 2.37 3/92 2394
/proc/meminfo: memFree=16208/2055920 swapFree=4180076/4192956
[pid=2372] ppid=2370 vsize=47564 CPUtime=0.02
/proc/2372/stat : 2372 (galacE.sh) S 2370 2372 2090 0 -1 4194304 759 1697 6 0 0 1 0 1 18 0 1 0 1992579994 48705536 364 996147200 4194304 4520092 548682068832 18446744073709551615 225611803482 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/2372/statm: 11891 364 245 79 0 219 0
[pid=2386] ppid=2372 vsize=817584 CPUtime=72.21
/proc/2386/stat : 2386 (java) S 2372 2372 2090 0 -1 0 187114 0 2 0 7122 99 0 0 18 0 9 0 1992580025 837206016 186093 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2386/statm: 204396 186093 2592 9 0 198377 0
[pid=2386/tid=2387] ppid=2372 vsize=817584 CPUtime=57.4
/proc/2386/task/2387/stat : 2387 (java) S 2372 2372 2090 0 -1 64 15810 0 2 0 5721 19 0 0 17 0 9 0 1992580026 837206016 186093 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2388] ppid=2372 vsize=817584 CPUtime=14.61
/proc/2386/task/2388/stat : 2388 (java) R 2372 2372 2090 0 -1 64 169809 0 0 0 1383 78 0 0 25 0 9 0 1992580027 837206016 186093 996147200 134512640 134550740 4294955616 18446744073709551615 104181589 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=2386/tid=2389] ppid=2372 vsize=817584 CPUtime=0
/proc/2386/task/2389/stat : 2389 (java) S 2372 2372 2090 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 1992580027 837206016 186093 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2390] ppid=2372 vsize=817584 CPUtime=0
/proc/2386/task/2390/stat : 2390 (java) S 2372 2372 2090 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 1992580027 837206016 186093 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2386/tid=2391] ppid=2372 vsize=817584 CPUtime=0
/proc/2386/task/2391/stat : 2391 (java) S 2372 2372 2090 0 -1 64 1 0 0 0 0 0 0 0 18 0 9 0 1992580029 837206016 186093 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2392] ppid=2372 vsize=817584 CPUtime=0.18
/proc/2386/task/2392/stat : 2392 (java) S 2372 2372 2090 0 -1 64 795 0 0 0 17 1 0 0 16 0 9 0 1992580029 837206016 186093 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2393] ppid=2372 vsize=817584 CPUtime=0
/proc/2386/task/2393/stat : 2393 (java) S 2372 2372 2090 0 -1 64 1 0 0 0 0 0 0 0 19 0 9 0 1992580030 837206016 186093 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2394] ppid=2372 vsize=817584 CPUtime=0
/proc/2386/task/2394/stat : 2394 (java) S 2372 2372 2090 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 1992580030 837206016 186093 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 72.23
Current children cumulated vsize (KiB) 865148
[startup+73.9023 s]
/proc/loadavg: 3.24 2.83 2.37 3/92 2394
/proc/meminfo: memFree=16272/2055920 swapFree=4180076/4192956
[pid=2372] ppid=2370 vsize=47564 CPUtime=0.02
/proc/2372/stat : 2372 (galacE.sh) S 2370 2372 2090 0 -1 4194304 759 1697 6 0 0 1 0 1 18 0 1 0 1992579994 48705536 364 996147200 4194304 4520092 548682068832 18446744073709551615 225611803482 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/2372/statm: 11891 364 245 79 0 219 0
[pid=2386] ppid=2372 vsize=817584 CPUtime=72.43
/proc/2386/stat : 2386 (java) S 2372 2372 2090 0 -1 0 187127 0 2 0 7143 100 0 0 18 0 6 0 1992580025 837206016 186102 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/2386/statm: 204396 186102 2593 9 0 198377 0
[pid=2386/tid=2387] ppid=2372 vsize=817584 CPUtime=57.4
/proc/2386/task/2387/stat : 2387 (java) D 2372 2372 2090 0 -1 64 15818 0 2 0 5721 19 0 0 16 0 6 0 1992580026 837206016 186102 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 0 0 16800975 18446744071563608240 0 0 -1 0 0 0
[pid=2386/tid=2389] ppid=2372 vsize=817584 CPUtime=0
/proc/2386/task/2389/stat : 2389 (java) S 2372 2372 2090 0 -1 64 11 0 0 0 0 0 0 0 16 0 6 0 1992580027 837206016 186102 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2386/tid=2390] ppid=2372 vsize=817584 CPUtime=0
/proc/2386/task/2390/stat : 2390 (java) S 2372 2372 2090 0 -1 64 5 0 0 0 0 0 0 0 16 0 6 0 1992580027 837206016 186102 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=2386/tid=2392] ppid=2372 vsize=817584 CPUtime=0.18
/proc/2386/task/2392/stat : 2392 (java) S 2372 2372 2090 0 -1 64 795 0 0 0 17 1 0 0 16 0 6 0 1992580029 837206016 186102 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=2386/tid=2393] ppid=2372 vsize=817584 CPUtime=0
/proc/2386/task/2393/stat : 2393 (java) S 2372 2372 2090 0 -1 64 1 0 0 0 0 0 0 0 19 0 6 0 1992580030 837206016 186102 996147200 134512640 134550740 4294955616 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 72.45
Current children cumulated vsize (KiB) 865148
[startup+74.1023 s]
/proc/loadavg: 3.24 2.83 2.37 3/92 2394
/proc/meminfo: memFree=16272/2055920 swapFree=4180076/4192956
[pid=2372] ppid=2370 vsize=47564 CPUtime=0.02
/proc/2372/stat : 2372 (galacE.sh) S 2370 2372 2090 0 -1 4194304 759 1697 6 0 0 1 0 1 18 0 1 0 1992579994 48705536 364 996147200 4194304 4520092 548682068832 18446744073709551615 225611803482 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/2372/statm: 11891 364 245 79 0 219 0
[pid=2386] ppid=2372 vsize=0 CPUtime=72.55
/proc/2386/stat : 2386 (java) Z 2372 2372 2090 0 -1 12 187128 0 2 0 7143 112 0 0 16 0 2 0 1992580025 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2386/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 72.57
Current children cumulated vsize (KiB) 47564
[startup+74.2013 s]
/proc/loadavg: 3.24 2.83 2.37 3/92 2394
/proc/meminfo: memFree=16272/2055920 swapFree=4180076/4192956
[pid=2372] ppid=2370 vsize=47564 CPUtime=0.02
/proc/2372/stat : 2372 (galacE.sh) S 2370 2372 2090 0 -1 4194304 759 1697 6 0 0 1 0 1 18 0 1 0 1992579994 48705536 364 996147200 4194304 4520092 548682068832 18446744073709551615 225611803482 0 2 4096 73728 18446744071563181037 0 0 17 1 0 0
/proc/2372/statm: 11891 364 245 79 0 219 0
[pid=2386] ppid=2372 vsize=0 CPUtime=72.55
/proc/2386/stat : 2386 (java) Z 2372 2372 2090 0 -1 12 187128 0 2 0 7143 112 0 0 16 0 2 0 1992580025 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/2386/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 72.57
Current children cumulated vsize (KiB) 47564
Child status: 0
Real time (s): 74.2589
CPU time (s): 72.591
CPU user time (s): 71.4421
CPU system time (s): 1.14882
CPU usage (%): 97.7539
Max. virtual memory (cumulated for all children) (KiB): 865148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 71.4421
system time used= 1.14882
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189606
page faults= 8
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2656
involuntary context switches= 3577
runsolver used 0.107983 second user time and 0.239963 second system time
The end
Begin job on node31 at 2008-07-04 03:47:40
IDJOB=1062788
IDBENCH=54668
IDSOLVER=351
FILE ID=node31/1062788-1215136060
PBS_JOBID= 7877365
Free space on /tmp= 60748 MiB
SOLVER NAME= galac E
BENCH NAME= CPAI08/csp/pseudo/niklas/normalized-p0282.xml
COMMAND LINE= HOME/galacE.sh BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1062788-1215136060/watcher-1062788-1215136060 -o /tmp/evaluation-result-1062788-1215136060/solver-1062788-1215136060 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/galacE.sh HOME/instance-1062788-1215136060.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= 6ff0e768af3ecfe7353aa428f63bc1dd
RANDOM SEED=739150040
node31.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 15688 kB
Buffers: 3088 kB
Cached: 1921976 kB
SwapCached: 4844 kB
Active: 1417400 kB
Inactive: 526620 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 15688 kB
SwapTotal: 4192956 kB
SwapFree: 4180076 kB
Dirty: 208832 kB
Writeback: 0 kB
Mapped: 37064 kB
Slab: 80828 kB
Committed_AS: 3011148 kB
PageTables: 2112 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 59904 MiB
End job on node31 at 2008-07-04 03:48:54