0.05/0.09
0.05/0.09 Abscon 112 (May, 2008)
0.19/0.24
0.19/0.24 configuration
0.19/0.24 name=esac.xml
0.19/0.28
0.19/0.28 instance
0.19/0.28 name=HOME/instance-2094286-1247403290.xml
0.28/0.32
0.28/0.32 domains being loaded...
0.28/0.33
0.28/0.33 variables being loaded...
0.39/0.46 nbVariables=700 nbDomainTypes=25 minDomainSize=1 maxDomainSize=45 nbTotalValues=16827
0.39/0.46 => wckTime=0.21 cpuTime=0.15 mem=9M843
0.39/0.46
0.39/0.46 predicates being loaded...
0.48/0.51
0.48/0.51 constraints being loaded...
9.02/9.12 nbConstraints=33343 nbGlobalConstraints=353 nbSingletonDomainVariables=104 nbConflictsStructures=42
9.02/9.12 nbSharedConflictsStructures=7542 nbUnbuiltConflictsStructures=212 nbSharedBinaryRepresentations=0
9.02/9.12 nbEvaluationManagers=254 nbSharedEvaluationManagers=32736 minDegree=44 maxDegree=349 minArity=4 avgArity=4.14
9.02/9.12 maxArity=20 nbGenerators=3 nbFusions=0 symmetryWckTime=1.755 symmetryCpuTime=0.57
9.02/9.12 => wckTime=8.871 cpuTime=6.59 mem=151M786
9.62/9.72
9.62/9.72 solver IterativeSystematicSolver being built...
11.40/11.57
11.40/11.57 INFO : Forward propagation technique limited
11.51/11.65 => wckTime=11.407 cpuTime=7.69 mem=291M868
50.72/51.07
50.72/51.07 preprocessing
50.72/51.07 nbConstraintChecks=30180947 nbValidityChecks=112429063 nbPropagations=22586 nbRevisions=6266017
50.72/51.07 nbUselessRevisions=6262469 nbSingletonTests=750 nbEffectiveSingletonTests=0 nbACRemovals=0 nbFoundSingletons=0
50.72/51.07 nbRemovedValues=0 detectedInconsistency=no
50.72/51.07 => wckTime=39.411 cpuTime=39.18 mem=297M12
79.87/80.38
79.87/80.38 INFO : Stopping use of transposition table (mapSize=101, nbTooLargekeys=0, mem=299M73)
1601.44/1609.42
1601.44/1609.42 search
1601.44/1609.42 run=16 nbConstraintChecks=825114049 nbValidityChecks=5323319114 minDepth=362 maxDepth=700
1601.44/1609.42 nbPropagations=8095570 nbRevisions=1108203694 nbUselessRevisions=1106204395 nbAssignments=40426
1601.44/1609.42 nbFailedAssignments=13135 nbBacktracks=20038 nbVisitedNodes=66611 nbRestartNogoods=116 nbFoundSolutions=1
1601.44/1609.42 nbSEliminables=0 nbREliminables=533.46 nbIEliminables=38.22 nbDEliminables=0 nbPEliminables=0
1601.44/1609.42 => wckTime=1597.763 cpuTime=1589.78 mem=300M95
1601.44/1609.42
1601.44/1609.42 global
1601.44/1609.42 nbConstraintChecks=855294996 nbValidityChecks=5435748177 nbPropagations=8118156 nbRevisions=1114469711
1601.44/1609.42 nbUselessRevisions=1112466864 nbRestartNogoods=116 solvingWckTime=1597.765 solvingCpuTime=1589.78
1601.44/1609.42 expiredTime=no totalExploration=no nbFoundSolutions=1 firstSolutionCpuTime=1597.37 globalCpuTime=1597.52
1601.44/1609.42 => wckTime=1609.175 cpuTime=1597.48 mem=300M95
1601.44/1609.42
1601.44/1609.42 s SATISFIABLE
1601.44/1609.42 v 19 18 17 22 0 21 34 27 3 13 9 21 28 19 37 24 5 35 37 1 0 6 31 9 18 27 24 24 6 25 23 38 23 22 26 15 38 28 19 21 12 33 11 9 34 25 1 26 19 16 21 28 2 17 23 18 32 31 28 24 4 21 37 20 36 22 0 44 4 2 23 30 14 33 14 15 24 22 29 33 25 40 31 22 10 18 7 32 29 29 34 10 2 15 9 19 29 2 18 16 35 40 4 8 17 20 30 12 15 30 18 28 41 23 40 17 42 28 7 17 40 29 25 24 27 3 9 26 26 15 24 36 0 31 3 18 27 4 6 12 43 8 32 30 4 41 7 13 25 14 21 11 19 14 9 0 7 2 8 43 2 18 6 5 27 17 22 28 3 18 2 12 3 11 5 2 13 7 21 40 26 23 1 27 20 4 0 16 6 30 12 31 9 1 17 14 30 35 43 3 13 41 11 14 30 19 22 1 12 43 9 13 5 11 42 25 14 8 15 13 33 20 12 10 36 15 23 0 32 28 7 16 33 11 29 34 1 8 11 36 36 39 20 13 23 13 30 7 3 10 42 9 5 31 0 11 26 6 6 22 3 10 30 17 24 33 6 25 14 8 14 35 2 7 16 11 6 28 16 42 22 4 20 28 20 34 16 17 31 0 2 9 3 0 12 41 21 10 32 23 7 7 27 35 22 5 14 3 16 15 1 5 19 34 26 4 5 29 4 16 39 25 8 13 1 6 10 10 5 8 1 10 44 16 44 17 29 32 1 8 15 36 12 20 44 38 27 42 35 39 1 1 7 4 3 2 1 0 6 6 7 0 1 4 1 4 6 7 2 1 5 1 0 1 5 9 5 0 0 0 0 0 3 0 9 4 1 2 7 6 1 0 4 2 9 7 3 2 5 4 7 8 8 8 9 4 1 2 3 9 6 1 0 0 4 3 4 0 7 4 5 9 3 7 0 6 1 8 1 2 4 4 6 6 0 2 2 2 6 0 2 9 5 0 9 2 9 9 0 7 1 1 5 3 6 5 7 7 5 6 3 0 7 2 2 9 0 7 5 4 6 5 2 7 3 0 5 1 6 7 2 9 9 4 9 6 7 9 5 8 0 6 0 5 0 2 0 2 1 9 5 7 9 4 8 7 3 1 9 1 2 9 4 5 5 5 7 4 2 7 6 4 5 2 7 7 0 1 9 0 5 6 0 1 8 8 8 1 3 8 0 5 0 4 1 2 2 0 7 8 3 1 8 5 4 0 5 2 3 2 4 5 3 1 4 5 7 5 8 8 5 1 5 7 0 9 7 2 5 5 4 5 9 9 2 5 5 7 5 2 1 2 6 9 8 7 1 7 3 5 2 6 1 7 0 0 4 6 7 2 7 6 0 0 6 1 9 8 1 0 6 5 0 9 2 6 2 9 9 1 9 1 2 6 7 0 8 3 1 1 3 3 4 6 6 0 8 8 8 1 8 6 2 2 1 8 8 1 3 1 9 9 8 7 0 2 0 8 3 0 0 6 2 1 7 8 1 2 2 8 6 4 2 6 1 2 7 9 8 1 2 8 2 4 7 2 8 7 8 1
1601.44/1609.42 d NODES 40426
1601.44/1609.42 d CHECKS 855294996
1601.44/1609.43
1601.44/1609.43 totalWckTime=1609.244 totalCpuTime=1597.52
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2094286-1247403290/watcher-2094286-1247403290 -o /tmp/evaluation-result-2094286-1247403290/solver-2094286-1247403290 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2094286-1247403290.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): 2000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 921600 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 972800 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.94 1.98 1.83 4/81 30089
/proc/meminfo: memFree=1739992/2055920 swapFree=4192812/4192956
[pid=30089] ppid=30087 vsize=18576 CPUtime=0
/proc/30089/stat : 30089 (runsolver) R 30087 30089 29531 0 -1 4194368 16 0 0 0 0 0 0 0 20 0 1 0 27394228 19021824 284 996147200 4194304 4302564 548682068384 18446744073709551615 228043844903 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/30089/statm: 4644 284 249 26 0 2626 0
[startup+0.070909 s]
/proc/loadavg: 1.94 1.98 1.83 4/81 30089
/proc/meminfo: memFree=1739992/2055920 swapFree=4192812/4192956
[pid=30089] ppid=30087 vsize=864144 CPUtime=0.05
/proc/30089/stat : 30089 (java) S 30087 30089 29531 0 -1 0 2923 0 1 0 4 1 0 0 21 0 9 0 27394228 884883456 2433 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30089/statm: 216036 2433 1153 9 0 210929 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 864144
[startup+0.102915 s]
/proc/loadavg: 1.94 1.98 1.83 4/81 30089
/proc/meminfo: memFree=1739992/2055920 swapFree=4192812/4192956
[pid=30089] ppid=30087 vsize=865980 CPUtime=0.08
/proc/30089/stat : 30089 (java) S 30087 30089 29531 0 -1 0 3738 0 1 0 7 1 0 0 21 0 9 0 27394228 886763520 3206 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30089/statm: 216495 3206 1700 9 0 210980 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 865980
[startup+0.301961 s]
/proc/loadavg: 1.94 1.98 1.83 4/81 30089
/proc/meminfo: memFree=1739992/2055920 swapFree=4192812/4192956
[pid=30089] ppid=30087 vsize=866380 CPUtime=0.28
/proc/30089/stat : 30089 (java) S 30087 30089 29531 0 -1 0 5968 0 1 0 26 2 0 0 21 0 9 0 27394228 887173120 5334 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30089/statm: 216595 5334 1984 9 0 211053 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 866380
[startup+0.703036 s]
/proc/loadavg: 1.94 1.98 1.83 4/81 30089
/proc/meminfo: memFree=1739992/2055920 swapFree=4192812/4192956
[pid=30089] ppid=30087 vsize=867780 CPUtime=0.68
/proc/30089/stat : 30089 (java) S 30087 30089 29531 0 -1 0 9507 0 1 0 63 5 0 0 21 0 9 0 27394228 888606720 8861 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30089/statm: 216945 8861 2038 9 0 211381 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 867780
[startup+1.5012 s]
/proc/loadavg: 1.94 1.98 1.83 4/90 30098
/proc/meminfo: memFree=1681296/2055920 swapFree=4192812/4192956
[pid=30089] ppid=30087 vsize=867692 CPUtime=1.48
/proc/30089/stat : 30089 (java) S 30087 30089 29531 0 -1 0 18532 0 1 0 138 10 0 0 21 0 9 0 27394228 888516608 17860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30089/statm: 216923 17860 2028 9 0 211381 0
[pid=30089/tid=30091] ppid=30087 vsize=867692 CPUtime=1.22
/proc/30089/task/30091/stat : 30091 (java) R 30087 30089 29531 0 -1 64 15796 0 1 0 114 8 0 0 25 0 9 0 27394230 888516608 17860 996147200 134512640 134550932 4294955968 18446744073709551615 102640432 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30092] ppid=30087 vsize=867692 CPUtime=0.05
/proc/30089/task/30092/stat : 30092 (java) S 30087 30089 29531 0 -1 64 1358 0 0 0 5 0 0 0 16 0 9 0 27394231 888516608 17860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30093] ppid=30087 vsize=867692 CPUtime=0
/proc/30089/task/30093/stat : 30093 (java) S 30087 30089 29531 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 27394232 888516608 17860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30094] ppid=30087 vsize=867692 CPUtime=0
/proc/30089/task/30094/stat : 30094 (java) S 30087 30089 29531 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27394232 888516608 17860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30095] ppid=30087 vsize=867692 CPUtime=0
/proc/30089/task/30095/stat : 30095 (java) S 30087 30089 29531 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 27394233 888516608 17860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30096] ppid=30087 vsize=867692 CPUtime=0.17
/proc/30089/task/30096/stat : 30096 (java) S 30087 30089 29531 0 -1 64 677 0 0 0 17 0 0 0 16 0 9 0 27394233 888516608 17860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30097] ppid=30087 vsize=867692 CPUtime=0
/proc/30089/task/30097/stat : 30097 (java) S 30087 30089 29531 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 27394234 888516608 17860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30098] ppid=30087 vsize=867692 CPUtime=0
/proc/30089/task/30098/stat : 30098 (java) S 30087 30089 29531 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27394234 888516608 17860 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 867692
[startup+3.10151 s]
/proc/loadavg: 1.94 1.98 1.83 3/90 30098
/proc/meminfo: memFree=1628944/2055920 swapFree=4192812/4192956
[pid=30089] ppid=30087 vsize=867692 CPUtime=3.06
/proc/30089/stat : 30089 (java) S 30087 30089 29531 0 -1 0 22844 0 1 0 288 18 0 0 21 0 9 0 27394228 888516608 22170 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30089/statm: 216923 22170 2029 9 0 211381 0
[pid=30089/tid=30091] ppid=30087 vsize=867692 CPUtime=2.57
/proc/30089/task/30091/stat : 30091 (java) R 30087 30089 29531 0 -1 64 15819 0 1 0 242 15 0 0 25 0 9 0 27394230 888516608 22170 996147200 134512640 134550932 4294955968 18446744073709551615 4127014065 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30092] ppid=30087 vsize=867692 CPUtime=0.25
/proc/30089/task/30092/stat : 30092 (java) S 30087 30089 29531 0 -1 64 5606 0 0 0 23 2 0 0 16 0 9 0 27394231 888516608 22170 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30093] ppid=30087 vsize=867692 CPUtime=0
/proc/30089/task/30093/stat : 30093 (java) S 30087 30089 29531 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 27394232 888516608 22170 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30094] ppid=30087 vsize=867692 CPUtime=0
/proc/30089/task/30094/stat : 30094 (java) S 30087 30089 29531 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27394232 888516608 22170 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30095] ppid=30087 vsize=867692 CPUtime=0
/proc/30089/task/30095/stat : 30095 (java) S 30087 30089 29531 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 27394233 888516608 22170 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30096] ppid=30087 vsize=867692 CPUtime=0.21
/proc/30089/task/30096/stat : 30096 (java) S 30087 30089 29531 0 -1 64 718 0 0 0 21 0 0 0 16 0 9 0 27394233 888516608 22170 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30097] ppid=30087 vsize=867692 CPUtime=0
/proc/30089/task/30097/stat : 30097 (java) S 30087 30089 29531 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 27394234 888516608 22170 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30098] ppid=30087 vsize=867692 CPUtime=0
/proc/30089/task/30098/stat : 30098 (java) S 30087 30089 29531 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27394234 888516608 22170 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 867692
[startup+6.30213 s]
/proc/loadavg: 1.94 1.98 1.83 3/90 30098
/proc/meminfo: memFree=1475088/2055920 swapFree=4192812/4192956
[pid=30089] ppid=30087 vsize=867692 CPUtime=6.25
/proc/30089/stat : 30089 (java) S 30087 30089 29531 0 -1 0 43538 0 1 0 515 110 0 0 21 0 9 0 27394228 888516608 42859 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30089/statm: 216923 42859 2029 9 0 211381 0
[pid=30089/tid=30091] ppid=30087 vsize=867692 CPUtime=5.25
/proc/30089/task/30091/stat : 30091 (java) R 30087 30089 29531 0 -1 64 15825 0 1 0 427 98 0 0 25 0 9 0 27394230 888516608 42859 996147200 134512640 134550932 4294955968 18446744073709551615 4126696628 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30092] ppid=30087 vsize=867692 CPUtime=0.73
/proc/30089/task/30092/stat : 30092 (java) S 30087 30089 29531 0 -1 64 26271 0 0 0 63 10 0 0 17 0 9 0 27394231 888516608 42859 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30093] ppid=30087 vsize=867692 CPUtime=0
/proc/30089/task/30093/stat : 30093 (java) S 30087 30089 29531 0 -1 64 15 0 0 0 0 0 0 0 16 0 9 0 27394232 888516608 42859 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30094] ppid=30087 vsize=867692 CPUtime=0
/proc/30089/task/30094/stat : 30094 (java) S 30087 30089 29531 0 -1 64 5 0 0 0 0 0 0 0 16 0 9 0 27394232 888516608 42859 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30095] ppid=30087 vsize=867692 CPUtime=0
/proc/30089/task/30095/stat : 30095 (java) S 30087 30089 29531 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 27394233 888516608 42859 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30096] ppid=30087 vsize=867692 CPUtime=0.24
/proc/30089/task/30096/stat : 30096 (java) S 30087 30089 29531 0 -1 64 741 0 0 0 24 0 0 0 16 0 9 0 27394233 888516608 42859 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30097] ppid=30087 vsize=867692 CPUtime=0
/proc/30089/task/30097/stat : 30097 (java) S 30087 30089 29531 0 -1 64 1 0 0 0 0 0 0 0 25 0 9 0 27394234 888516608 42859 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30098] ppid=30087 vsize=867692 CPUtime=0
/proc/30089/task/30098/stat : 30098 (java) S 30087 30089 29531 0 -1 64 1 0 0 0 0 0 0 0 15 0 9 0 27394234 888516608 42859 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 867692
[startup+12.7014 s]
/proc/loadavg: 2.19 2.03 1.85 3/90 30106
/proc/meminfo: memFree=1140864/2055920 swapFree=4192812/4192956
[pid=30089] ppid=30087 vsize=868104 CPUtime=12.6
/proc/30089/stat : 30089 (java) S 30087 30089 29531 0 -1 0 136675 3096 1 0 999 170 85 6 21 0 9 0 27394228 888938496 85185 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30089/statm: 217026 85185 2662 9 0 211462 0
[pid=30089/tid=30091] ppid=30087 vsize=868104 CPUtime=9.81
/proc/30089/task/30091/stat : 30091 (java) R 30087 30089 29531 0 -1 64 27819 3096 1 0 757 133 85 6 25 0 9 0 27394230 888938496 85185 996147200 134512640 134550932 4294955968 18446744073709551615 4127020663 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30092] ppid=30087 vsize=868104 CPUtime=3.3
/proc/30089/task/30092/stat : 30092 (java) S 30087 30089 29531 0 -1 64 106936 3096 0 0 207 32 85 6 17 0 9 0 27394231 888938496 85185 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30093] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30093/stat : 30093 (java) S 30087 30089 29531 0 -1 64 22 3096 0 0 0 0 85 6 16 0 9 0 27394232 888938496 85185 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30094] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30094/stat : 30094 (java) S 30087 30089 29531 0 -1 64 25 3096 0 0 0 0 85 6 15 0 9 0 27394232 888938496 85185 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30095] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30095/stat : 30095 (java) S 30087 30089 29531 0 -1 64 1 3096 0 0 0 0 85 6 25 0 9 0 27394233 888938496 85185 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30096] ppid=30087 vsize=868104 CPUtime=1.25
/proc/30089/task/30096/stat : 30096 (java) S 30087 30089 29531 0 -1 64 1052 3096 0 0 34 0 85 6 15 0 9 0 27394233 888938496 85185 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30097] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30097/stat : 30097 (java) S 30087 30089 29531 0 -1 64 1 3096 0 0 0 0 85 6 25 0 9 0 27394234 888938496 85185 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30098] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30098/stat : 30098 (java) S 30087 30089 29531 0 -1 64 15 3096 0 0 0 0 85 6 15 0 9 0 27394234 888938496 85185 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 868104
[startup+25.5029 s]
/proc/loadavg: 2.35 2.08 1.87 3/90 30106
/proc/meminfo: memFree=1140928/2055920 swapFree=4192812/4192956
[pid=30089] ppid=30087 vsize=868104 CPUtime=25.34
/proc/30089/stat : 30089 (java) S 30087 30089 29531 0 -1 0 136692 3096 1 0 2273 170 85 6 21 0 9 0 27394228 888938496 85194 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30089/statm: 217026 85194 2662 9 0 211462 0
[pid=30089/tid=30091] ppid=30087 vsize=868104 CPUtime=22.53
/proc/30089/task/30091/stat : 30091 (java) R 30087 30089 29531 0 -1 64 27824 3096 1 0 2029 133 85 6 25 0 9 0 27394230 888938496 85194 996147200 134512640 134550932 4294955968 18446744073709551615 4127020675 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30092] ppid=30087 vsize=868104 CPUtime=3.3
/proc/30089/task/30092/stat : 30092 (java) S 30087 30089 29531 0 -1 64 106936 3096 0 0 207 32 85 6 17 0 9 0 27394231 888938496 85194 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30093] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30093/stat : 30093 (java) S 30087 30089 29531 0 -1 64 22 3096 0 0 0 0 85 6 16 0 9 0 27394232 888938496 85194 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30094] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30094/stat : 30094 (java) S 30087 30089 29531 0 -1 64 25 3096 0 0 0 0 85 6 15 0 9 0 27394232 888938496 85194 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30095] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30095/stat : 30095 (java) S 30087 30089 29531 0 -1 64 1 3096 0 0 0 0 85 6 25 0 9 0 27394233 888938496 85194 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30096] ppid=30087 vsize=868104 CPUtime=1.27
/proc/30089/task/30096/stat : 30096 (java) S 30087 30089 29531 0 -1 64 1064 3096 0 0 36 0 85 6 16 0 9 0 27394233 888938496 85194 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30097] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30097/stat : 30097 (java) S 30087 30089 29531 0 -1 64 1 3096 0 0 0 0 85 6 25 0 9 0 27394234 888938496 85194 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30098] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30098/stat : 30098 (java) S 30087 30089 29531 0 -1 64 15 3096 0 0 0 0 85 6 15 0 9 0 27394234 888938496 85194 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 868104
[startup+51.1029 s]
/proc/loadavg: 2.23 2.07 1.87 3/90 30106
/proc/meminfo: memFree=1141056/2055920 swapFree=4192812/4192956
[pid=30089] ppid=30087 vsize=868104 CPUtime=50.81
/proc/30089/stat : 30089 (java) S 30087 30089 29531 0 -1 0 136711 3096 1 0 4820 170 85 6 21 0 9 0 27394228 888938496 85204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30089/statm: 217026 85204 2662 9 0 211462 0
[pid=30089/tid=30091] ppid=30087 vsize=868104 CPUtime=47.99
/proc/30089/task/30091/stat : 30091 (java) R 30087 30089 29531 0 -1 64 27835 3096 1 0 4575 133 85 6 23 0 9 0 27394230 888938496 85204 996147200 134512640 134550932 4294955968 18446744073709551615 4127458283 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30092] ppid=30087 vsize=868104 CPUtime=3.3
/proc/30089/task/30092/stat : 30092 (java) S 30087 30089 29531 0 -1 64 106936 3096 0 0 207 32 85 6 16 0 9 0 27394231 888938496 85204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30093] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30093/stat : 30093 (java) S 30087 30089 29531 0 -1 64 22 3096 0 0 0 0 85 6 16 0 9 0 27394232 888938496 85204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30094] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30094/stat : 30094 (java) S 30087 30089 29531 0 -1 64 25 3096 0 0 0 0 85 6 15 0 9 0 27394232 888938496 85204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30095] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30095/stat : 30095 (java) S 30087 30089 29531 0 -1 64 1 3096 0 0 0 0 85 6 25 0 9 0 27394233 888938496 85204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30096] ppid=30087 vsize=868104 CPUtime=1.28
/proc/30089/task/30096/stat : 30096 (java) S 30087 30089 29531 0 -1 64 1072 3096 0 0 37 0 85 6 16 0 9 0 27394233 888938496 85204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30097] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30097/stat : 30097 (java) S 30087 30089 29531 0 -1 64 1 3096 0 0 0 0 85 6 25 0 9 0 27394234 888938496 85204 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
################
# More data... #
################
/proc/30089/task/30095/stat : 30095 (java) S 30087 30089 29531 0 -1 64 1 3096 0 0 0 0 85 6 25 0 9 0 27394233 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30096] ppid=30087 vsize=868104 CPUtime=1.34
/proc/30089/task/30096/stat : 30096 (java) S 30087 30089 29531 0 -1 64 1123 3096 0 0 43 0 85 6 16 0 9 0 27394233 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30097] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30097/stat : 30097 (java) S 30087 30089 29531 0 -1 64 1 3096 0 0 0 0 85 6 25 0 9 0 27394234 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30098] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30098/stat : 30098 (java) S 30087 30089 29531 0 -1 64 15 3096 0 0 0 0 85 6 15 0 9 0 27394234 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1474.96
Current children cumulated vsize (KiB) 868104
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/90 30112
/proc/meminfo: memFree=1140032/2055920 swapFree=4192812/4192956
[pid=30089] ppid=30087 vsize=868104 CPUtime=1534.66
/proc/30089/stat : 30089 (java) S 30087 30089 29531 0 -1 0 136777 3096 1 0 153205 170 85 6 21 0 9 0 27394228 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30089/statm: 217026 85237 2662 9 0 211462 0
[pid=30089/tid=30091] ppid=30087 vsize=868104 CPUtime=1531.78
/proc/30089/task/30091/stat : 30091 (java) R 30087 30089 29531 0 -1 64 27850 3096 1 0 152953 134 85 6 25 0 9 0 27394230 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4127388544 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30092] ppid=30087 vsize=868104 CPUtime=3.3
/proc/30089/task/30092/stat : 30092 (java) S 30087 30089 29531 0 -1 64 106936 3096 0 0 207 32 85 6 16 0 9 0 27394231 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30093] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30093/stat : 30093 (java) S 30087 30089 29531 0 -1 64 22 3096 0 0 0 0 85 6 16 0 9 0 27394232 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30094] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30094/stat : 30094 (java) S 30087 30089 29531 0 -1 64 25 3096 0 0 0 0 85 6 15 0 9 0 27394232 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30095] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30095/stat : 30095 (java) S 30087 30089 29531 0 -1 64 1 3096 0 0 0 0 85 6 25 0 9 0 27394233 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30096] ppid=30087 vsize=868104 CPUtime=1.34
/proc/30089/task/30096/stat : 30096 (java) S 30087 30089 29531 0 -1 64 1123 3096 0 0 43 0 85 6 15 0 9 0 27394233 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30097] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30097/stat : 30097 (java) S 30087 30089 29531 0 -1 64 1 3096 0 0 0 0 85 6 25 0 9 0 27394234 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30098] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30098/stat : 30098 (java) S 30087 30089 29531 0 -1 64 15 3096 0 0 0 0 85 6 15 0 9 0 27394234 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1534.66
Current children cumulated vsize (KiB) 868104
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/90 30112
/proc/meminfo: memFree=1140032/2055920 swapFree=4192812/4192956
[pid=30089] ppid=30087 vsize=868104 CPUtime=1594.37
/proc/30089/stat : 30089 (java) S 30087 30089 29531 0 -1 0 136777 3096 1 0 159175 171 85 6 21 0 9 0 27394228 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30089/statm: 217026 85237 2662 9 0 211462 0
[pid=30089/tid=30091] ppid=30087 vsize=868104 CPUtime=1591.48
/proc/30089/task/30091/stat : 30091 (java) R 30087 30089 29531 0 -1 64 27850 3096 1 0 158923 134 85 6 25 0 9 0 27394230 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4127390921 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30092] ppid=30087 vsize=868104 CPUtime=3.3
/proc/30089/task/30092/stat : 30092 (java) S 30087 30089 29531 0 -1 64 106936 3096 0 0 207 32 85 6 16 0 9 0 27394231 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30093] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30093/stat : 30093 (java) S 30087 30089 29531 0 -1 64 22 3096 0 0 0 0 85 6 16 0 9 0 27394232 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30094] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30094/stat : 30094 (java) S 30087 30089 29531 0 -1 64 25 3096 0 0 0 0 85 6 15 0 9 0 27394232 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30095] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30095/stat : 30095 (java) S 30087 30089 29531 0 -1 64 1 3096 0 0 0 0 85 6 25 0 9 0 27394233 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30096] ppid=30087 vsize=868104 CPUtime=1.34
/proc/30089/task/30096/stat : 30096 (java) S 30087 30089 29531 0 -1 64 1123 3096 0 0 43 0 85 6 15 0 9 0 27394233 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30097] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30097/stat : 30097 (java) S 30087 30089 29531 0 -1 64 1 3096 0 0 0 0 85 6 25 0 9 0 27394234 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30098] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30098/stat : 30098 (java) S 30087 30089 29531 0 -1 64 15 3096 0 0 0 0 85 6 15 0 9 0 27394234 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1594.37
Current children cumulated vsize (KiB) 868104
Solver just ended. Dumping a history of the last processes samples
[startup+1606.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/90 30112
/proc/meminfo: memFree=1140032/2055920 swapFree=4192812/4192956
[pid=30089] ppid=30087 vsize=868104 CPUtime=1598.36
/proc/30089/stat : 30089 (java) S 30087 30089 29531 0 -1 0 136777 3096 1 0 159574 171 85 6 21 0 9 0 27394228 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30089/statm: 217026 85237 2662 9 0 211462 0
[pid=30089/tid=30091] ppid=30087 vsize=868104 CPUtime=1595.47
/proc/30089/task/30091/stat : 30091 (java) R 30087 30089 29531 0 -1 64 27850 3096 1 0 159322 134 85 6 25 0 9 0 27394230 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4127011368 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30092] ppid=30087 vsize=868104 CPUtime=3.3
/proc/30089/task/30092/stat : 30092 (java) S 30087 30089 29531 0 -1 64 106936 3096 0 0 207 32 85 6 16 0 9 0 27394231 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30093] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30093/stat : 30093 (java) S 30087 30089 29531 0 -1 64 22 3096 0 0 0 0 85 6 16 0 9 0 27394232 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30094] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30094/stat : 30094 (java) S 30087 30089 29531 0 -1 64 25 3096 0 0 0 0 85 6 15 0 9 0 27394232 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30095] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30095/stat : 30095 (java) S 30087 30089 29531 0 -1 64 1 3096 0 0 0 0 85 6 25 0 9 0 27394233 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30096] ppid=30087 vsize=868104 CPUtime=1.34
/proc/30089/task/30096/stat : 30096 (java) S 30087 30089 29531 0 -1 64 1123 3096 0 0 43 0 85 6 15 0 9 0 27394233 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30097] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30097/stat : 30097 (java) S 30087 30089 29531 0 -1 64 1 3096 0 0 0 0 85 6 25 0 9 0 27394234 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30098] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30098/stat : 30098 (java) S 30087 30089 29531 0 -1 64 15 3096 0 0 0 0 85 6 15 0 9 0 27394234 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1598.36
Current children cumulated vsize (KiB) 868104
[startup+1607.9 s]
/proc/loadavg: 2.00 2.00 1.91 3/90 30112
/proc/meminfo: memFree=1140032/2055920 swapFree=4192812/4192956
[pid=30089] ppid=30087 vsize=868104 CPUtime=1599.95
/proc/30089/stat : 30089 (java) S 30087 30089 29531 0 -1 0 136777 3096 1 0 159733 171 85 6 21 0 9 0 27394228 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30089/statm: 217026 85237 2662 9 0 211462 0
[pid=30089/tid=30091] ppid=30087 vsize=868104 CPUtime=1597.06
/proc/30089/task/30091/stat : 30091 (java) R 30087 30089 29531 0 -1 64 27850 3096 1 0 159481 134 85 6 25 0 9 0 27394230 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4127377467 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30092] ppid=30087 vsize=868104 CPUtime=3.3
/proc/30089/task/30092/stat : 30092 (java) S 30087 30089 29531 0 -1 64 106936 3096 0 0 207 32 85 6 16 0 9 0 27394231 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30093] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30093/stat : 30093 (java) S 30087 30089 29531 0 -1 64 22 3096 0 0 0 0 85 6 16 0 9 0 27394232 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30094] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30094/stat : 30094 (java) S 30087 30089 29531 0 -1 64 25 3096 0 0 0 0 85 6 15 0 9 0 27394232 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30095] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30095/stat : 30095 (java) S 30087 30089 29531 0 -1 64 1 3096 0 0 0 0 85 6 25 0 9 0 27394233 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30096] ppid=30087 vsize=868104 CPUtime=1.34
/proc/30089/task/30096/stat : 30096 (java) S 30087 30089 29531 0 -1 64 1123 3096 0 0 43 0 85 6 15 0 9 0 27394233 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30097] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30097/stat : 30097 (java) S 30087 30089 29531 0 -1 64 1 3096 0 0 0 0 85 6 25 0 9 0 27394234 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30098] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30098/stat : 30098 (java) S 30087 30089 29531 0 -1 64 15 3096 0 0 0 0 85 6 15 0 9 0 27394234 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1599.95
Current children cumulated vsize (KiB) 868104
[startup+1608.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/90 30112
/proc/meminfo: memFree=1140032/2055920 swapFree=4192812/4192956
[pid=30089] ppid=30087 vsize=868104 CPUtime=1600.74
/proc/30089/stat : 30089 (java) S 30087 30089 29531 0 -1 0 136777 3096 1 0 159812 171 85 6 21 0 9 0 27394228 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30089/statm: 217026 85237 2662 9 0 211462 0
[pid=30089/tid=30091] ppid=30087 vsize=868104 CPUtime=1597.85
/proc/30089/task/30091/stat : 30091 (java) R 30087 30089 29531 0 -1 64 27850 3096 1 0 159560 134 85 6 25 0 9 0 27394230 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4127368555 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30092] ppid=30087 vsize=868104 CPUtime=3.3
/proc/30089/task/30092/stat : 30092 (java) S 30087 30089 29531 0 -1 64 106936 3096 0 0 207 32 85 6 16 0 9 0 27394231 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30093] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30093/stat : 30093 (java) S 30087 30089 29531 0 -1 64 22 3096 0 0 0 0 85 6 16 0 9 0 27394232 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30094] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30094/stat : 30094 (java) S 30087 30089 29531 0 -1 64 25 3096 0 0 0 0 85 6 15 0 9 0 27394232 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30095] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30095/stat : 30095 (java) S 30087 30089 29531 0 -1 64 1 3096 0 0 0 0 85 6 25 0 9 0 27394233 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30096] ppid=30087 vsize=868104 CPUtime=1.34
/proc/30089/task/30096/stat : 30096 (java) S 30087 30089 29531 0 -1 64 1123 3096 0 0 43 0 85 6 15 0 9 0 27394233 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30097] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30097/stat : 30097 (java) S 30087 30089 29531 0 -1 64 1 3096 0 0 0 0 85 6 25 0 9 0 27394234 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30098] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30098/stat : 30098 (java) S 30087 30089 29531 0 -1 64 15 3096 0 0 0 0 85 6 15 0 9 0 27394234 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1600.74
Current children cumulated vsize (KiB) 868104
[startup+1609.1 s]
/proc/loadavg: 2.00 2.00 1.91 3/90 30112
/proc/meminfo: memFree=1140032/2055920 swapFree=4192812/4192956
[pid=30089] ppid=30087 vsize=868104 CPUtime=1601.14
/proc/30089/stat : 30089 (java) S 30087 30089 29531 0 -1 0 136777 3096 1 0 159852 171 85 6 21 0 9 0 27394228 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0
/proc/30089/statm: 217026 85237 2662 9 0 211462 0
[pid=30089/tid=30091] ppid=30087 vsize=868104 CPUtime=1598.25
/proc/30089/task/30091/stat : 30091 (java) R 30087 30089 29531 0 -1 64 27850 3096 1 0 159600 134 85 6 25 0 9 0 27394230 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4127369559 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30092] ppid=30087 vsize=868104 CPUtime=3.3
/proc/30089/task/30092/stat : 30092 (java) S 30087 30089 29531 0 -1 64 106936 3096 0 0 207 32 85 6 16 0 9 0 27394231 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 0 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30093] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30093/stat : 30093 (java) S 30087 30089 29531 0 -1 64 22 3096 0 0 0 0 85 6 16 0 9 0 27394232 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30094] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30094/stat : 30094 (java) S 30087 30089 29531 0 -1 64 25 3096 0 0 0 0 85 6 15 0 9 0 27394232 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30095] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30095/stat : 30095 (java) S 30087 30089 29531 0 -1 64 1 3096 0 0 0 0 85 6 25 0 9 0 27394233 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30096] ppid=30087 vsize=868104 CPUtime=1.34
/proc/30089/task/30096/stat : 30096 (java) S 30087 30089 29531 0 -1 64 1123 3096 0 0 43 0 85 6 15 0 9 0 27394233 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 1 0 0
[pid=30089/tid=30097] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30097/stat : 30097 (java) S 30087 30089 29531 0 -1 64 1 3096 0 0 0 0 85 6 25 0 9 0 27394234 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
[pid=30089/tid=30098] ppid=30087 vsize=868104 CPUtime=0.91
/proc/30089/task/30098/stat : 30098 (java) S 30087 30089 29531 0 -1 64 15 3096 0 0 0 0 85 6 15 0 9 0 27394234 888938496 85237 996147200 134512640 134550932 4294955968 18446744073709551615 4294960144 0 4 0 16800975 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1601.14
Current children cumulated vsize (KiB) 868104
[startup+1609.5 s]
/proc/loadavg: 2.00 2.00 1.91 3/90 30112
/proc/meminfo: memFree=1140032/2055920 swapFree=4192812/4192956
[pid=30089] ppid=30087 vsize=0 CPUtime=1601.51
/proc/30089/stat : 30089 (java) Z 30087 30089 29531 0 -1 12 136814 3096 1 0 159885 175 85 6 16 0 2 0 27394228 0 0 996147200 0 0 0 0 0 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0
/proc/30089/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 1601.51
Current children cumulated vsize (KiB) 0
Child status: 0
Real time (s): 1609.51
CPU time (s): 1601.53
CPU user time (s): 1599.71
CPU system time (s): 1.82272
CPU usage (%): 99.5044
Max. virtual memory (cumulated for all children) (KiB): 886844
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1599.71
system time used= 1.82272
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 139910
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= 34987
involuntary context switches= 53067
runsolver used 1.90971 second user time and 5.41718 second system time
The end
Begin job on node77 at 2009-07-12 14:54:50
IDJOB=2094286
IDBENCH=54113
IDSOLVER=774
FILE ID=node77/2094286-1247403290
PBS_JOBID= 9510495
Free space on /tmp= 66244 MiB
SOLVER NAME= Abscon 112v4 ESAC
BENCH NAME= CPAI08/csp/compet02/normalized-patat-02-comp-14.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2094286-1247403290/watcher-2094286-1247403290 -o /tmp/evaluation-result-2094286-1247403290/solver-2094286-1247403290 -C 1800 -W 2000 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -cp abscon112V4.jar abscon.Resolution esac.xml 1 XSax HOME/instance-2094286-1247403290.xml
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 11f6902a1becd1ad9a2f18db7aea4eb7
RANDOM SEED=1521477312
node77.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.256
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.256
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: 1740472 kB
Buffers: 31156 kB
Cached: 146664 kB
SwapCached: 0 kB
Active: 176752 kB
Inactive: 81624 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1740472 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 13780 kB
Writeback: 0 kB
Mapped: 98468 kB
Slab: 42180 kB
Committed_AS: 1013548 kB
PageTables: 1900 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= 66244 MiB
End job on node77 at 2009-07-12 15:21:40