0.00/0.03 c --- Preproc Stats ---
47.95/48.10 c start processing
47.95/48.10 c start relation processing
110.13/110.38 Exception in thread "main" java.lang.OutOfMemoryError: Java heap space
110.13/110.38 at java.util.LinkedList.addBefore(Unknown Source)
110.13/110.38 at java.util.LinkedList.add(Unknown Source)
110.13/110.38 at cspstructures.RelationBDD.addClauses(RelationBDD.java:358)
110.13/110.38 at cspstructures.RelationBDD.computeClauses(RelationBDD.java:242)
110.13/110.38 at cspstructures.RelationBDD.computeClauses(RelationBDD.java:249)
110.13/110.38 at cspstructures.RelationBDD.computeClauses(RelationBDD.java:250)
110.13/110.38 at cspstructures.RelationBDD.computeClauses(RelationBDD.java:250)
110.13/110.38 at cspstructures.RelationBDD.computeClauses(RelationBDD.java:249)
110.13/110.38 at cspstructures.RelationBDD.computeClauses(RelationBDD.java:249)
110.13/110.38 at cspstructures.RelationBDD.computeClauses(RelationBDD.java:250)
110.13/110.38 at cspstructures.RelationBDD.computeClauses(RelationBDD.java:249)
110.13/110.38 at cspstructures.RelationBDD.computeClauses(RelationBDD.java:249)
110.13/110.38 at cspstructures.RelationBDD.computeClauses(RelationBDD.java:250)
110.13/110.38 at cspstructures.RelationBDD.computeClauses(RelationBDD.java:250)
110.13/110.38 at cspstructures.RelationBDD.computeClauses(RelationBDD.java:249)
110.13/110.38 at cspstructures.RelationBDD.computeClauses(RelationBDD.java:249)
110.13/110.38 at cspstructures.RelationBDD.computeClauses(RelationBDD.java:250)
110.13/110.38 at cspstructures.RelationBDD.computeClauses(RelationBDD.java:249)
110.13/110.38 at cspstructures.RelationBDD.computeClauses(RelationBDD.java:249)
110.13/110.38 at cspstructures.RelationBDD.computeClauses(RelationBDD.java:250)
110.13/110.38 at cspstructures.RelationBDD.computeClauses(RelationBDD.java:249)
110.13/110.38 at cspstructures.RelationBDD.computeClauses(RelationBDD.java:249)
110.13/110.38 at cspstructures.RelationBDD.computeClauses(RelationBDD.java:250)
110.13/110.38 at cspstructures.RelationBDD.computeClauses(RelationBDD.java:249)
110.13/110.38 at cspstructures.RelationBDD.computeClauses(RelationBDD.java:250)
110.13/110.38 at cspstructures.RelationBDD.computeClauses(RelationBDD.java:249)
110.13/110.38 at cspstructures.RelationBDD.computeClauses(RelationBDD.java:249)
110.13/110.38 at cspstructures.RelationBDD.createClauses(RelationBDD.java:169)
110.13/110.38 at cspstructures.RelationBDD.preproc(RelationBDD.java:503)
110.13/110.38 at base.Encoding.export(Encoding.java:56)
110.13/110.38 at base.Run.main(Run.java:182)
runsolver version 3.2.5 (c) roussel@cril.univ-artois.fr
command line: /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1094676-1215252526/watcher-1094676-1215252526 -o /tmp/evaluation-result-1094676-1215252526/solver-1094676-1215252526 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/galacE.sh HOME/instance-1094676-1215252526.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.16 2.03 2.01 4/79 16814
/proc/meminfo: memFree=1282512/2055920 swapFree=4179164/4192956
[pid=16814] ppid=16812 vsize=5272 CPUtime=0
/proc/16814/stat : 16814 (galacE.sh) R 16812 16814 15366 0 -1 4194304 218 0 0 0 0 0 0 0 19 0 1 0 136933834 5398528 182 996147200 4194304 4520092 548682068832 18446744073709551615 265674301657 0 0 4096 8192 0 0 0 17 0 0 0
/proc/16814/statm: 1318 182 135 79 0 122 0
[startup+0.044528 s]
/proc/loadavg: 2.16 2.03 2.01 4/79 16814
/proc/meminfo: memFree=1282512/2055920 swapFree=4179164/4192956
[pid=16814] ppid=16812 vsize=47568 CPUtime=0.01
/proc/16814/stat : 16814 (galacE.sh) S 16812 16814 15366 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 136933834 48709632 365 996147200 4194304 4520092 548682068832 18446744073709551615 265673698138 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/16814/statm: 11892 365 246 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47568
[startup+0.101532 s]
/proc/loadavg: 2.16 2.03 2.01 4/79 16814
/proc/meminfo: memFree=1282512/2055920 swapFree=4179164/4192956
[pid=16814] ppid=16812 vsize=47568 CPUtime=0.01
/proc/16814/stat : 16814 (galacE.sh) S 16812 16814 15366 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 136933834 48709632 365 996147200 4194304 4520092 548682068832 18446744073709551615 265673698138 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/16814/statm: 11892 365 246 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47568
[startup+0.301555 s]
/proc/loadavg: 2.16 2.03 2.01 4/79 16814
/proc/meminfo: memFree=1282512/2055920 swapFree=4179164/4192956
[pid=16814] ppid=16812 vsize=47568 CPUtime=0.01
/proc/16814/stat : 16814 (galacE.sh) S 16812 16814 15366 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 136933834 48709632 365 996147200 4194304 4520092 548682068832 18446744073709551615 265673698138 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/16814/statm: 11892 365 246 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47568
[startup+0.701608 s]
/proc/loadavg: 2.16 2.03 2.01 4/79 16814
/proc/meminfo: memFree=1282512/2055920 swapFree=4179164/4192956
[pid=16814] ppid=16812 vsize=47568 CPUtime=0.01
/proc/16814/stat : 16814 (galacE.sh) S 16812 16814 15366 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 136933834 48709632 365 996147200 4194304 4520092 548682068832 18446744073709551615 265673698138 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/16814/statm: 11892 365 246 79 0 219 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 47568
[startup+1.50273 s]
/proc/loadavg: 2.16 2.03 2.01 3/89 16836
/proc/meminfo: memFree=1171008/2055920 swapFree=4179164/4192956
[pid=16814] ppid=16812 vsize=47568 CPUtime=0.01
/proc/16814/stat : 16814 (galacE.sh) S 16812 16814 15366 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 136933834 48709632 365 996147200 4194304 4520092 548682068832 18446744073709551615 265673698138 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/16814/statm: 11892 365 246 79 0 219 0
[pid=16828] ppid=16814 vsize=812628 CPUtime=1.45
/proc/16828/stat : 16828 (java) S 16814 16814 15366 0 -1 0 30034 0 1 0 127 18 0 0 19 0 9 0 136933838 832131072 29464 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16828/statm: 203157 29464 1875 9 0 197138 0
[pid=16828/tid=16829] ppid=16814 vsize=812628 CPUtime=1.2
/proc/16828/task/16829/stat : 16829 (java) R 16814 16814 15366 0 -1 64 14327 0 1 0 111 9 0 0 25 0 9 0 136933839 832131072 29464 996147200 134512640 134550740 4294955600 18446744073709551615 4126623383 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16830] ppid=16814 vsize=812628 CPUtime=0.15
/proc/16828/task/16830/stat : 16830 (java) S 16814 16814 15366 0 -1 64 14290 0 0 0 8 7 0 0 16 0 9 0 136933841 832131072 29464 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16831] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16831/stat : 16831 (java) S 16814 16814 15366 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 136933841 832131072 29464 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16832] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16832/stat : 16832 (java) S 16814 16814 15366 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 136933841 832131072 29464 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16833] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16833/stat : 16833 (java) S 16814 16814 15366 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 136933843 832131072 29464 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16834] ppid=16814 vsize=812628 CPUtime=0.06
/proc/16828/task/16834/stat : 16834 (java) S 16814 16814 15366 0 -1 64 719 0 0 0 6 0 0 0 16 0 9 0 136933843 832131072 29464 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16835] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16835/stat : 16835 (java) S 16814 16814 15366 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 136933843 832131072 29464 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16836] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16836/stat : 16836 (java) S 16814 16814 15366 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 136933843 832131072 29464 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 860196
[startup+3.10291 s]
/proc/loadavg: 2.16 2.03 2.01 3/89 16836
/proc/meminfo: memFree=1130176/2055920 swapFree=4179164/4192956
[pid=16814] ppid=16812 vsize=47568 CPUtime=0.01
/proc/16814/stat : 16814 (galacE.sh) S 16812 16814 15366 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 136933834 48709632 365 996147200 4194304 4520092 548682068832 18446744073709551615 265673698138 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/16814/statm: 11892 365 246 79 0 219 0
[pid=16828] ppid=16814 vsize=812628 CPUtime=3.04
/proc/16828/stat : 16828 (java) S 16814 16814 15366 0 -1 0 44590 0 1 0 278 26 0 0 19 0 9 0 136933838 832131072 44012 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16828/statm: 203157 44012 1883 9 0 197138 0
[pid=16828/tid=16829] ppid=16814 vsize=812628 CPUtime=2.6
/proc/16828/task/16829/stat : 16829 (java) R 16814 16814 15366 0 -1 64 14458 0 1 0 251 9 0 0 25 0 9 0 136933839 832131072 44012 996147200 134512640 134550740 4294955600 18446744073709551615 4126667987 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16830] ppid=16814 vsize=812628 CPUtime=0.3
/proc/16828/task/16830/stat : 16830 (java) S 16814 16814 15366 0 -1 64 28680 0 0 0 15 15 0 0 16 0 9 0 136933841 832131072 44012 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16831] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16831/stat : 16831 (java) S 16814 16814 15366 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 136933841 832131072 44012 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16832] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16832/stat : 16832 (java) S 16814 16814 15366 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 136933841 832131072 44012 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16833] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16833/stat : 16833 (java) S 16814 16814 15366 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 136933843 832131072 44012 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16834] ppid=16814 vsize=812628 CPUtime=0.11
/proc/16828/task/16834/stat : 16834 (java) S 16814 16814 15366 0 -1 64 754 0 0 0 11 0 0 0 16 0 9 0 136933843 832131072 44012 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16835] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16835/stat : 16835 (java) S 16814 16814 15366 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 136933843 832131072 44012 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16836] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16836/stat : 16836 (java) S 16814 16814 15366 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 136933843 832131072 44012 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 860196
[startup+6.30123 s]
/proc/loadavg: 2.23 2.05 2.02 3/89 16836
/proc/meminfo: memFree=1049352/2055920 swapFree=4179164/4192956
[pid=16814] ppid=16812 vsize=47568 CPUtime=0.01
/proc/16814/stat : 16814 (galacE.sh) S 16812 16814 15366 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 136933834 48709632 365 996147200 4194304 4520092 548682068832 18446744073709551615 265673698138 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/16814/statm: 11892 365 246 79 0 219 0
[pid=16828] ppid=16814 vsize=812628 CPUtime=6.23
/proc/16828/stat : 16828 (java) S 16814 16814 15366 0 -1 0 61414 0 1 0 587 36 0 0 19 0 9 0 136933838 832131072 60828 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16828/statm: 203157 60828 1883 9 0 197138 0
[pid=16828/tid=16829] ppid=16814 vsize=812628 CPUtime=5.54
/proc/16828/task/16829/stat : 16829 (java) R 16814 16814 15366 0 -1 64 14466 0 1 0 543 11 0 0 25 0 9 0 136933839 832131072 60828 996147200 134512640 134550740 4294955600 18446744073709551615 4126666120 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16830] ppid=16814 vsize=812628 CPUtime=0.54
/proc/16828/task/16830/stat : 16830 (java) S 16814 16814 15366 0 -1 64 45486 0 0 0 30 24 0 0 16 0 9 0 136933841 832131072 60828 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16831] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16831/stat : 16831 (java) S 16814 16814 15366 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 136933841 832131072 60828 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16832] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16832/stat : 16832 (java) S 16814 16814 15366 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 136933841 832131072 60828 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16833] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16833/stat : 16833 (java) S 16814 16814 15366 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 136933843 832131072 60828 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16834] ppid=16814 vsize=812628 CPUtime=0.13
/proc/16828/task/16834/stat : 16834 (java) S 16814 16814 15366 0 -1 64 764 0 0 0 13 0 0 0 17 0 9 0 136933843 832131072 60828 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16835] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16835/stat : 16835 (java) S 16814 16814 15366 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 136933843 832131072 60828 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16836] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16836/stat : 16836 (java) S 16814 16814 15366 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 136933843 832131072 60828 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 860196
[startup+12.7019 s]
/proc/loadavg: 2.29 2.06 2.02 3/89 16836
/proc/meminfo: memFree=927624/2055920 swapFree=4179164/4192956
[pid=16814] ppid=16812 vsize=47568 CPUtime=0.01
/proc/16814/stat : 16814 (galacE.sh) S 16812 16814 15366 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 136933834 48709632 365 996147200 4194304 4520092 548682068832 18446744073709551615 265673698138 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/16814/statm: 11892 365 246 79 0 219 0
[pid=16828] ppid=16814 vsize=812628 CPUtime=12.61
/proc/16828/stat : 16828 (java) S 16814 16814 15366 0 -1 0 96774 0 1 0 1204 57 0 0 19 0 9 0 136933838 832131072 96172 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16828/statm: 203157 96172 1884 9 0 197138 0
[pid=16828/tid=16829] ppid=16814 vsize=812628 CPUtime=11.37
/proc/16828/task/16829/stat : 16829 (java) R 16814 16814 15366 0 -1 64 14482 0 1 0 1123 14 0 0 25 0 9 0 136933839 832131072 96172 996147200 134512640 134550740 4294955600 18446744073709551615 4126757177 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16830] ppid=16814 vsize=812628 CPUtime=1.07
/proc/16828/task/16830/stat : 16830 (java) S 16814 16814 15366 0 -1 64 80819 0 0 0 65 42 0 0 16 0 9 0 136933841 832131072 96172 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16831] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16831/stat : 16831 (java) S 16814 16814 15366 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 136933841 832131072 96172 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16832] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16832/stat : 16832 (java) S 16814 16814 15366 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 136933841 832131072 96172 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16833] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16833/stat : 16833 (java) S 16814 16814 15366 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 136933843 832131072 96172 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16834] ppid=16814 vsize=812628 CPUtime=0.14
/proc/16828/task/16834/stat : 16834 (java) S 16814 16814 15366 0 -1 64 775 0 0 0 14 0 0 0 17 0 9 0 136933843 832131072 96172 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16835] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16835/stat : 16835 (java) S 16814 16814 15366 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 136933843 832131072 96172 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16836] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16836/stat : 16836 (java) S 16814 16814 15366 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 136933843 832131072 96172 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 860196
[startup+25.5024 s]
/proc/loadavg: 2.45 2.11 2.04 4/89 16836
/proc/meminfo: memFree=625416/2055920 swapFree=4179164/4192956
[pid=16814] ppid=16812 vsize=47568 CPUtime=0.01
/proc/16814/stat : 16814 (galacE.sh) S 16812 16814 15366 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 136933834 48709632 365 996147200 4194304 4520092 548682068832 18446744073709551615 265673698138 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/16814/statm: 11892 365 246 79 0 219 0
[pid=16828] ppid=16814 vsize=812628 CPUtime=25.42
/proc/16828/stat : 16828 (java) S 16814 16814 15366 0 -1 0 166630 0 1 0 2444 98 0 0 19 0 9 0 136933838 832131072 166001 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16828/statm: 203157 166003 1884 9 0 197138 0
[pid=16828/tid=16829] ppid=16814 vsize=812628 CPUtime=23.17
/proc/16828/task/16829/stat : 16829 (java) R 16814 16814 15366 0 -1 64 14510 0 1 0 2300 17 0 0 25 0 9 0 136933839 832131072 166004 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16830] ppid=16814 vsize=812628 CPUtime=2.06
/proc/16828/task/16830/stat : 16830 (java) R 16814 16814 15366 0 -1 64 150651 0 0 0 127 79 0 0 15 0 9 0 136933841 832131072 166007 996147200 134512640 134550740 4294955600 18446744073709551615 102674864 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16831] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16831/stat : 16831 (java) S 16814 16814 15366 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 136933841 832131072 166009 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16832] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16832/stat : 16832 (java) S 16814 16814 15366 0 -1 64 4 0 0 0 0 0 0 0 23 0 9 0 136933841 832131072 166011 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16833] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16833/stat : 16833 (java) S 16814 16814 15366 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 136933843 832131072 166013 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16834] ppid=16814 vsize=812628 CPUtime=0.15
/proc/16828/task/16834/stat : 16834 (java) S 16814 16814 15366 0 -1 64 778 0 0 0 15 0 0 0 16 0 9 0 136933843 832131072 166016 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16835] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16835/stat : 16835 (java) S 16814 16814 15366 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 136933843 832131072 166018 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16836] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16836/stat : 16836 (java) S 16814 16814 15366 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 136933843 832131072 166020 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 860196
[startup+51.1023 s]
/proc/loadavg: 2.37 2.12 2.04 3/89 16836
/proc/meminfo: memFree=582920/2055920 swapFree=4179164/4192956
[pid=16814] ppid=16812 vsize=47568 CPUtime=0.01
################
# More data... #
################
[pid=16828/tid=16830] ppid=16814 vsize=812628 CPUtime=5.7
/proc/16828/task/16830/stat : 16830 (java) R 16814 16814 15366 0 -1 64 162145 0 0 0 484 86 0 0 15 0 9 0 136933841 832131072 177360 996147200 134512640 134550740 4294955600 18446744073709551615 103829536 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16831] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16831/stat : 16831 (java) S 16814 16814 15366 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 136933841 832131072 177360 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16832] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16832/stat : 16832 (java) S 16814 16814 15366 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 136933841 832131072 177360 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16833] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16833/stat : 16833 (java) S 16814 16814 15366 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 136933843 832131072 177360 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16834] ppid=16814 vsize=812628 CPUtime=0.19
/proc/16828/task/16834/stat : 16834 (java) S 16814 16814 15366 0 -1 64 802 0 0 0 19 0 0 0 16 0 9 0 136933843 832131072 177360 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16835] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16835/stat : 16835 (java) S 16814 16814 15366 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 136933843 832131072 177360 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16836] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16836/stat : 16836 (java) S 16814 16814 15366 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 136933843 832131072 177360 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 50.95
Current children cumulated vsize (KiB) 860196
[startup+102.307 s]
/proc/loadavg: 2.30 2.14 2.05 3/89 16836
/proc/meminfo: memFree=549000/2055920 swapFree=4179164/4192956
[pid=16814] ppid=16812 vsize=47568 CPUtime=0.01
/proc/16814/stat : 16814 (galacE.sh) S 16812 16814 15366 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 136933834 48709632 365 996147200 4194304 4520092 548682068832 18446744073709551615 265673698138 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/16814/statm: 11892 365 246 79 0 219 0
[pid=16828] ppid=16814 vsize=816632 CPUtime=102.13
/proc/16828/stat : 16828 (java) S 16814 16814 15366 0 -1 0 203199 0 1 0 10092 121 0 0 19 0 9 0 136933838 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16828/statm: 204158 185791 2585 9 0 198139 0
[pid=16828/tid=16829] ppid=16814 vsize=816632 CPUtime=60.6
/proc/16828/task/16829/stat : 16829 (java) S 16814 16814 15366 0 -1 64 14588 0 1 0 6038 22 0 0 17 0 9 0 136933839 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16830] ppid=16814 vsize=816632 CPUtime=41.3
/proc/16828/task/16830/stat : 16830 (java) R 16814 16814 15366 0 -1 64 187104 0 0 0 4033 97 0 0 25 0 9 0 136933841 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 104180258 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16831] ppid=16814 vsize=816632 CPUtime=0
/proc/16828/task/16831/stat : 16831 (java) S 16814 16814 15366 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 136933841 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16832] ppid=16814 vsize=816632 CPUtime=0
/proc/16828/task/16832/stat : 16832 (java) S 16814 16814 15366 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 136933841 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16833] ppid=16814 vsize=816632 CPUtime=0
/proc/16828/task/16833/stat : 16833 (java) S 16814 16814 15366 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 136933843 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16834] ppid=16814 vsize=816632 CPUtime=0.19
/proc/16828/task/16834/stat : 16834 (java) S 16814 16814 15366 0 -1 64 804 0 0 0 19 0 0 0 15 0 9 0 136933843 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16835] ppid=16814 vsize=816632 CPUtime=0
/proc/16828/task/16835/stat : 16835 (java) S 16814 16814 15366 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 136933843 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16836] ppid=16814 vsize=816632 CPUtime=0
/proc/16828/task/16836/stat : 16836 (java) S 16814 16814 15366 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 136933843 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 102.14
Current children cumulated vsize (KiB) 864200
Solver just ended. Dumping a history of the last processes samples
[startup+105.502 s]
/proc/loadavg: 2.28 2.14 2.05 3/89 16836
/proc/meminfo: memFree=549000/2055920 swapFree=4179164/4192956
[pid=16814] ppid=16812 vsize=47568 CPUtime=0.01
/proc/16814/stat : 16814 (galacE.sh) S 16812 16814 15366 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 136933834 48709632 365 996147200 4194304 4520092 548682068832 18446744073709551615 265673698138 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/16814/statm: 11892 365 246 79 0 219 0
[pid=16828] ppid=16814 vsize=816632 CPUtime=105.33
/proc/16828/stat : 16828 (java) S 16814 16814 15366 0 -1 0 204953 0 1 0 10411 122 0 0 19 0 9 0 136933838 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16828/statm: 204158 185791 2585 9 0 198139 0
[pid=16828/tid=16829] ppid=16814 vsize=816632 CPUtime=60.6
/proc/16828/task/16829/stat : 16829 (java) S 16814 16814 15366 0 -1 64 14589 0 1 0 6038 22 0 0 17 0 9 0 136933839 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16830] ppid=16814 vsize=816632 CPUtime=44.51
/proc/16828/task/16830/stat : 16830 (java) R 16814 16814 15366 0 -1 64 188857 0 0 0 4353 98 0 0 25 0 9 0 136933841 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 104181494 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16831] ppid=16814 vsize=816632 CPUtime=0
/proc/16828/task/16831/stat : 16831 (java) S 16814 16814 15366 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 136933841 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16832] ppid=16814 vsize=816632 CPUtime=0
/proc/16828/task/16832/stat : 16832 (java) S 16814 16814 15366 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 136933841 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16833] ppid=16814 vsize=816632 CPUtime=0
/proc/16828/task/16833/stat : 16833 (java) S 16814 16814 15366 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 136933843 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16834] ppid=16814 vsize=816632 CPUtime=0.19
/proc/16828/task/16834/stat : 16834 (java) S 16814 16814 15366 0 -1 64 804 0 0 0 19 0 0 0 15 0 9 0 136933843 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16835] ppid=16814 vsize=816632 CPUtime=0
/proc/16828/task/16835/stat : 16835 (java) S 16814 16814 15366 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 136933843 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16836] ppid=16814 vsize=816632 CPUtime=0
/proc/16828/task/16836/stat : 16836 (java) S 16814 16814 15366 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 136933843 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 105.34
Current children cumulated vsize (KiB) 864200
[startup+108.703 s]
/proc/loadavg: 2.28 2.14 2.05 3/89 16836
/proc/meminfo: memFree=549000/2055920 swapFree=4179164/4192956
[pid=16814] ppid=16812 vsize=47568 CPUtime=0.01
/proc/16814/stat : 16814 (galacE.sh) S 16812 16814 15366 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 136933834 48709632 365 996147200 4194304 4520092 548682068832 18446744073709551615 265673698138 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/16814/statm: 11892 365 246 79 0 219 0
[pid=16828] ppid=16814 vsize=816632 CPUtime=108.52
/proc/16828/stat : 16828 (java) S 16814 16814 15366 0 -1 0 206706 0 1 0 10729 123 0 0 19 0 9 0 136933838 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16828/statm: 204158 185791 2585 9 0 198139 0
[pid=16828/tid=16829] ppid=16814 vsize=816632 CPUtime=60.6
/proc/16828/task/16829/stat : 16829 (java) S 16814 16814 15366 0 -1 64 14589 0 1 0 6038 22 0 0 17 0 9 0 136933839 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16830] ppid=16814 vsize=816632 CPUtime=47.7
/proc/16828/task/16830/stat : 16830 (java) R 16814 16814 15366 0 -1 64 190610 0 0 0 4671 99 0 0 25 0 9 0 136933841 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 104181349 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16831] ppid=16814 vsize=816632 CPUtime=0
/proc/16828/task/16831/stat : 16831 (java) S 16814 16814 15366 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 136933841 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16832] ppid=16814 vsize=816632 CPUtime=0
/proc/16828/task/16832/stat : 16832 (java) S 16814 16814 15366 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 136933841 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16833] ppid=16814 vsize=816632 CPUtime=0
/proc/16828/task/16833/stat : 16833 (java) S 16814 16814 15366 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 136933843 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16834] ppid=16814 vsize=816632 CPUtime=0.19
/proc/16828/task/16834/stat : 16834 (java) S 16814 16814 15366 0 -1 64 804 0 0 0 19 0 0 0 15 0 9 0 136933843 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16835] ppid=16814 vsize=816632 CPUtime=0
/proc/16828/task/16835/stat : 16835 (java) S 16814 16814 15366 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 136933843 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16836] ppid=16814 vsize=816632 CPUtime=0
/proc/16828/task/16836/stat : 16836 (java) S 16814 16814 15366 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 136933843 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 108.53
Current children cumulated vsize (KiB) 864200
[startup+109.503 s]
/proc/loadavg: 2.28 2.14 2.05 3/89 16836
/proc/meminfo: memFree=549000/2055920 swapFree=4179164/4192956
[pid=16814] ppid=16812 vsize=47568 CPUtime=0.01
/proc/16814/stat : 16814 (galacE.sh) S 16812 16814 15366 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 136933834 48709632 365 996147200 4194304 4520092 548682068832 18446744073709551615 265673698138 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/16814/statm: 11892 365 246 79 0 219 0
[pid=16828] ppid=16814 vsize=816632 CPUtime=109.32
/proc/16828/stat : 16828 (java) S 16814 16814 15366 0 -1 0 206706 0 1 0 10809 123 0 0 19 0 9 0 136933838 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16828/statm: 204158 185791 2585 9 0 198139 0
[pid=16828/tid=16829] ppid=16814 vsize=816632 CPUtime=60.6
/proc/16828/task/16829/stat : 16829 (java) S 16814 16814 15366 0 -1 64 14589 0 1 0 6038 22 0 0 17 0 9 0 136933839 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16830] ppid=16814 vsize=816632 CPUtime=48.5
/proc/16828/task/16830/stat : 16830 (java) R 16814 16814 15366 0 -1 64 190610 0 0 0 4751 99 0 0 25 0 9 0 136933841 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 104182211 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16831] ppid=16814 vsize=816632 CPUtime=0
/proc/16828/task/16831/stat : 16831 (java) S 16814 16814 15366 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 136933841 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16832] ppid=16814 vsize=816632 CPUtime=0
/proc/16828/task/16832/stat : 16832 (java) S 16814 16814 15366 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 136933841 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16833] ppid=16814 vsize=816632 CPUtime=0
/proc/16828/task/16833/stat : 16833 (java) S 16814 16814 15366 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 136933843 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16834] ppid=16814 vsize=816632 CPUtime=0.19
/proc/16828/task/16834/stat : 16834 (java) S 16814 16814 15366 0 -1 64 804 0 0 0 19 0 0 0 15 0 9 0 136933843 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16835] ppid=16814 vsize=816632 CPUtime=0
/proc/16828/task/16835/stat : 16835 (java) S 16814 16814 15366 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 136933843 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16836] ppid=16814 vsize=816632 CPUtime=0
/proc/16828/task/16836/stat : 16836 (java) S 16814 16814 15366 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 136933843 836231168 185791 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 109.33
Current children cumulated vsize (KiB) 864200
[startup+110.303 s]
/proc/loadavg: 2.26 2.14 2.05 3/89 16836
/proc/meminfo: memFree=549000/2055920 swapFree=4179164/4192956
[pid=16814] ppid=16812 vsize=47568 CPUtime=0.01
/proc/16814/stat : 16814 (galacE.sh) S 16812 16814 15366 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 136933834 48709632 365 996147200 4194304 4520092 548682068832 18446744073709551615 265673698138 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/16814/statm: 11892 365 246 79 0 219 0
[pid=16828] ppid=16814 vsize=812628 CPUtime=110.12
/proc/16828/stat : 16828 (java) S 16814 16814 15366 0 -1 0 206707 0 1 0 10889 123 0 0 19 0 9 0 136933838 832131072 184790 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16828/statm: 203157 184790 2585 9 0 197138 0
[pid=16828/tid=16829] ppid=16814 vsize=812628 CPUtime=60.6
/proc/16828/task/16829/stat : 16829 (java) S 16814 16814 15366 0 -1 64 14590 0 1 0 6038 22 0 0 17 0 9 0 136933839 832131072 184790 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16830] ppid=16814 vsize=812628 CPUtime=49.3
/proc/16828/task/16830/stat : 16830 (java) R 16814 16814 15366 0 -1 64 190610 0 0 0 4831 99 0 0 25 0 9 0 136933841 832131072 184790 996147200 134512640 134550740 4294955600 18446744073709551615 104181586 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16831] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16831/stat : 16831 (java) S 16814 16814 15366 0 -1 64 11 0 0 0 0 0 0 0 16 0 9 0 136933841 832131072 184790 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16832] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16832/stat : 16832 (java) S 16814 16814 15366 0 -1 64 9 0 0 0 0 0 0 0 16 0 9 0 136933841 832131072 184790 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16833] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16833/stat : 16833 (java) S 16814 16814 15366 0 -1 64 2 0 0 0 0 0 0 0 24 0 9 0 136933843 832131072 184790 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16834] ppid=16814 vsize=812628 CPUtime=0.19
/proc/16828/task/16834/stat : 16834 (java) S 16814 16814 15366 0 -1 64 804 0 0 0 19 0 0 0 15 0 9 0 136933843 832131072 184790 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16835] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16835/stat : 16835 (java) S 16814 16814 15366 0 -1 64 0 0 0 0 0 0 0 0 25 0 9 0 136933843 832131072 184790 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=16828/tid=16836] ppid=16814 vsize=812628 CPUtime=0
/proc/16828/task/16836/stat : 16836 (java) S 16814 16814 15366 0 -1 64 0 0 0 0 0 0 0 0 15 0 9 0 136933843 832131072 184790 996147200 134512640 134550740 4294955600 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 110.13
Current children cumulated vsize (KiB) 860196
[startup+110.503 s]
/proc/loadavg: 2.26 2.14 2.05 3/89 16836
/proc/meminfo: memFree=549000/2055920 swapFree=4179164/4192956
[pid=16814] ppid=16812 vsize=47568 CPUtime=0.01
/proc/16814/stat : 16814 (galacE.sh) S 16812 16814 15366 0 -1 4194304 766 1697 0 0 0 0 0 1 18 0 1 0 136933834 48709632 365 996147200 4194304 4520092 548682068832 18446744073709551615 265673698138 0 2 4096 73728 18446744071563181037 0 0 17 0 0 0
/proc/16814/statm: 11892 365 246 79 0 219 0
[pid=16828] ppid=16814 vsize=0 CPUtime=110.3
/proc/16828/stat : 16828 (java) Z 16814 16814 15366 0 -1 12 206720 0 1 0 10898 132 0 0 16 0 2 0 136933838 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/16828/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 110.31
Current children cumulated vsize (KiB) 47568
Child status: 0
Real time (s): 110.521
CPU time (s): 110.354
CPU user time (s): 108.989
CPU system time (s): 1.36479
CPU usage (%): 99.8491
Max. virtual memory (cumulated for all children) (KiB): 866204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 108.989
system time used= 1.36479
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 209205
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= 3857
involuntary context switches= 4204
runsolver used 0.131979 second user time and 0.380942 second system time
The end
Begin job on node76 at 2008-07-05 12:08:52
IDJOB=1094676
IDBENCH=58818
IDSOLVER=351
FILE ID=node76/1094676-1215252526
PBS_JOBID= 7881981
Free space on /tmp= 66352 MiB
SOLVER NAME= galac E
BENCH NAME= CPAI08/csp/dag-rand/normalized-rand-n23-d3-e16-r15-t150000-7.xml
COMMAND LINE= HOME/galacE.sh BENCHNAME
RUNSOLVER COMMAND LINE= /home/evaluation/evaluation/pub/bin/runsolver --timestamp -w /tmp/evaluation-result-1094676-1215252526/watcher-1094676-1215252526 -o /tmp/evaluation-result-1094676-1215252526/solver-1094676-1215252526 -C 1800 -W 2200 -M 900 --output-limit 1,15 HOME/galacE.sh HOME/instance-1094676-1215252526.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MD5SUM BENCH= e09c0035ca22c213f452f4b83717d072
RANDOM SEED=1708715075
node76.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.222
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.222
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: 2055920 kB
MemFree: 1282864 kB
Buffers: 41192 kB
Cached: 342132 kB
SwapCached: 7608 kB
Active: 595364 kB
Inactive: 110088 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1282864 kB
SwapTotal: 4192956 kB
SwapFree: 4179164 kB
Dirty: 73404 kB
Writeback: 0 kB
Mapped: 332228 kB
Slab: 51816 kB
Committed_AS: 769688 kB
PageTables: 2712 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= 66348 MiB
End job on node76 at 2008-07-05 12:10:43