0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=esac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/228125-1168279810/unknown.xml
0.39
0.39 domains being loaded...
0.40
0.40 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=11 maxDomainSize=11
0.43 => wckTime=0.103 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.53
0.53 constraints being loaded...
0.64 nbConstraints=414 nbRelationTypes=414 nbExtensionStructures=414 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=414 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=8198 maxDegree=27
0.64 maxArity=2
0.64 => wckTime=0.307 cpuTime=0.22 mem=10M852
0.68
0.68 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.517 cpuTime=0.36 mem=14M820
0.90
0.90 preprocessing
0.90 nbConstraintChecks=32889 nbPropagations=894 nbRevisions=5372 nbUselessRevisions=4134 nbSingletonTests=52
0.90 nbEffectiveSingletonTests=0 nbESACBranches=7 nbRemovedValues=0 detectedInconsistency=no
0.90 => wckTime=0.052 cpuTime=0.03 mem=14M820
0.93
0.93 search
0.93 run=0 nbConstraintChecks=24022 nbPropagations=1374 nbRevisions=11244 nbUselessRevisions=8885 nbAssignments=29
0.93 nbFailedAssignments=10 nbBacktracks=13 nbVisitedNodes=49 nbRestartNogoods=0 mapSize=13 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.078 cpuTime=0.05 mem=14M820
0.95
0.95 search
0.95 run=1 nbConstraintChecks=56675 nbPropagations=3365 nbRevisions=30501 nbUselessRevisions=24353 nbAssignments=64
0.95 nbFailedAssignments=21 nbBacktracks=30 nbVisitedNodes=105 nbRestartNogoods=2 mapSize=30 nbInferences=0
0.95 nbTooLargeKeys=0
0.95 => wckTime=0.098 cpuTime=0.06 mem=14M820
0.96
0.96 search
0.96 run=2 nbConstraintChecks=93269 nbPropagations=6072 nbRevisions=58964 nbUselessRevisions=47300
0.96 nbAssignments=108 nbFailedAssignments=35 nbBacktracks=54 nbVisitedNodes=176 nbRestartNogoods=6 mapSize=51
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.114 cpuTime=0.07 mem=14M820
0.98
0.98 search
0.98 run=3 nbConstraintChecks=144158 nbPropagations=9740 nbRevisions=100257 nbUselessRevisions=80751
0.98 nbAssignments=167 nbFailedAssignments=55 nbBacktracks=88 nbVisitedNodes=271 nbRestartNogoods=9 mapSize=79
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.13 cpuTime=0.09 mem=14M820
1.00
1.00 search
1.00 run=4 nbConstraintChecks=225338 nbPropagations=14922 nbRevisions=163133 nbUselessRevisions=132059
1.00 nbAssignments=260 nbFailedAssignments=89 nbBacktracks=141 nbVisitedNodes=429 nbRestartNogoods=13 mapSize=124
1.01 nbInferences=0 nbTooLargeKeys=0
1.01 => wckTime=0.154 cpuTime=0.11 mem=14M820
1.04
1.04 search
1.04 run=5 nbConstraintChecks=346201 nbPropagations=22204 nbRevisions=255908 nbUselessRevisions=207836
1.04 nbAssignments=388 nbFailedAssignments=135 nbBacktracks=218 nbVisitedNodes=643 nbRestartNogoods=16 mapSize=187
1.04 nbInferences=0 nbTooLargeKeys=0
1.04 => wckTime=0.193 cpuTime=0.14 mem=14M820
1.08
1.08 search
1.08 run=6 nbConstraintChecks=474096 nbPropagations=31955 nbRevisions=383383 nbUselessRevisions=312514
1.08 nbAssignments=561 nbFailedAssignments=183 nbBacktracks=335 nbVisitedNodes=923 nbRestartNogoods=20 mapSize=277
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.229 cpuTime=0.18 mem=14M820
1.15
1.15 search
1.15 run=7 nbConstraintChecks=723501 nbPropagations=46071 nbRevisions=575070 nbUselessRevisions=470025
1.15 nbAssignments=838 nbFailedAssignments=282 nbBacktracks=508 nbVisitedNodes=1399 nbRestartNogoods=23 mapSize=425
1.15 nbInferences=0 nbTooLargeKeys=0
1.15 => wckTime=0.302 cpuTime=0.24 mem=14M820
1.24
1.24 search
1.24 run=8 nbConstraintChecks=1047563 nbPropagations=66018 nbRevisions=852830 nbUselessRevisions=698748
1.24 nbAssignments=1226 nbFailedAssignments=405 nbBacktracks=767 nbVisitedNodes=2055 nbRestartNogoods=25
1.24 mapSize=632 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.392 cpuTime=0.33 mem=14M820
1.39
1.39 search
1.39 run=9 nbConstraintChecks=1621740 nbPropagations=95938 nbRevisions=1276585 nbUselessRevisions=1046524
1.39 nbAssignments=1841 nbFailedAssignments=627 nbBacktracks=1151 nbVisitedNodes=3113 nbRestartNogoods=31
1.39 mapSize=977 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.545 cpuTime=0.47 mem=14M820
1.41
1.41 INFO : Stopping hyperNogood (mapSize=1018, nbTooLargekeys=0, mem=14M820)
1.59
1.59 search
1.59 run=10 nbConstraintChecks=2394193 nbPropagations=139630 nbRevisions=1907448 nbUselessRevisions=1567117
1.59 nbAssignments=2734 nbFailedAssignments=936 nbBacktracks=1727 nbVisitedNodes=4635 nbRestartNogoods=38
1.59 => wckTime=0.739 cpuTime=0.64 mem=14M820
1.84
1.84 search
1.84 run=11 nbConstraintChecks=3540705 nbPropagations=203790 nbRevisions=2836160 nbUselessRevisions=2332261
1.84 nbAssignments=4034 nbFailedAssignments=1367 nbBacktracks=2591 nbVisitedNodes=6832 nbRestartNogoods=43
1.84 => wckTime=0.992 cpuTime=0.89 mem=14M820
2.22
2.22 search
2.22 run=12 nbConstraintChecks=5281166 nbPropagations=298418 nbRevisions=4203699 nbUselessRevisions=3455715
2.22 nbAssignments=5972 nbFailedAssignments=2001 nbBacktracks=3889 nbVisitedNodes=10086 nbRestartNogoods=50
2.22 => wckTime=1.37 cpuTime=1.27 mem=14M820
2.78
2.78 search
2.78 run=13 nbConstraintChecks=7806023 nbPropagations=438156 nbRevisions=6243094 nbUselessRevisions=5136288
2.78 nbAssignments=8933 nbFailedAssignments=3007 nbBacktracks=5835 nbVisitedNodes=15067 nbRestartNogoods=59
2.78 => wckTime=1.935 cpuTime=1.82 mem=14M820
3.64
3.64 search
3.64 run=14 nbConstraintChecks=11711416 nbPropagations=646736 nbRevisions=9293855 nbUselessRevisions=7647711
3.64 nbAssignments=13365 nbFailedAssignments=4511 nbBacktracks=8758 nbVisitedNodes=22535 nbRestartNogoods=70
3.64 => wckTime=2.79 cpuTime=2.67 mem=14M820
4.93
4.93 search
4.93 run=15 nbConstraintChecks=17658969 nbPropagations=959089 nbRevisions=13875218 nbUselessRevisions=11420646
4.93 nbAssignments=19973 nbFailedAssignments=6738 nbBacktracks=13136 nbVisitedNodes=33694 nbRestartNogoods=79
4.93 => wckTime=4.084 cpuTime=3.95 mem=14M820
6.84
6.84 search
6.84 run=16 nbConstraintChecks=26421934 nbPropagations=1425402 nbRevisions=20711730 nbUselessRevisions=17048431
6.84 nbAssignments=29884 nbFailedAssignments=10073 nbBacktracks=19706 nbVisitedNodes=50422 nbRestartNogoods=82
6.84 => wckTime=5.994 cpuTime=5.83 mem=14M820
9.67
9.67 search
9.67 run=17 nbConstraintChecks=39357948 nbPropagations=2120323 nbRevisions=30935989 nbUselessRevisions=25473600
9.67 nbAssignments=44817 nbFailedAssignments=15143 nbBacktracks=29561 nbVisitedNodes=75591 nbRestartNogoods=83
9.67 => wckTime=8.817 cpuTime=8.62 mem=14M820
13.97
13.97 search
13.97 run=18 nbConstraintChecks=59353432 nbPropagations=3163987 nbRevisions=46358197 nbUselessRevisions=38192167
13.97 nbAssignments=67124 nbFailedAssignments=22666 nbBacktracks=44341 nbVisitedNodes=113304 nbRestartNogoods=96
13.97 => wckTime=13.119 cpuTime=12.88 mem=14M820
20.57
20.57 search
20.57 run=19 nbConstraintChecks=90192192 nbPropagations=4740412 nbRevisions=69659965 nbUselessRevisions=57397507
20.57 nbAssignments=100749 nbFailedAssignments=34118 nbBacktracks=66510 nbVisitedNodes=170039 nbRestartNogoods=106
20.57 => wckTime=19.721 cpuTime=19.41 mem=14M820
20.87
20.87 search
20.87 run=20 nbConstraintChecks=91588252 nbPropagations=6339728 nbRevisions=93309361 nbUselessRevisions=76889658
20.87 nbAssignments=102102 nbFailedAssignments=34627 nbBacktracks=67355 nbVisitedNodes=172383 nbRestartNogoods=110
20.87 => wckTime=20.017 cpuTime=19.7 mem=14M820
20.87
20.87 global
20.87 nbConstraintChecks=91621141 nbPropagations=6340622 nbRevisions=93314733 nbUselessRevisions=76893792
20.87 nbRestartNogoods=110 solvingWckTime=20.018 solvingCpuTime=19.7 expiredTime=no totalExploration=yes
20.87 nbFoundSolutions=0 globalCpuTime=20.11
20.87 => wckTime=20.538 cpuTime=20.06 mem=14M820
20.87
20.87 s UNSATISFIABLE
20.87 d NODES 102102
20.87 d CHECKS 91621141
20.87
20.87 totalWckTime=20.626 totalCpuTime=20.12
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node14/watcher-228125-1168279810 -o ROOT/results/node14/solver-228125-1168279810 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228125-1168279810/unknown.xml
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 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
/proc/loadavg: 2.00 1.97 1.91 2/98 4078
/proc/meminfo: memFree=1598720/2055920 swapFree=4182236/4192956
[pid=4077] ppid=4075 vsize=18540 CPUtime=0
/proc/4077/stat : 4077 (runsolver) R 4075 4077 2340 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 176375948 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 212234464551 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/4077/statm: 4635 279 244 17 0 2626 0
[startup+0.102582 s]
/proc/loadavg: 2.00 1.97 1.91 2/98 4078
/proc/meminfo: memFree=1598720/2055920 swapFree=4182236/4192956
[pid=4077] ppid=4075 vsize=913068 CPUtime=0.08
/proc/4077/stat : 4077 (java) S 4075 4077 2340 0 -1 0 2873 0 1 0 7 1 0 0 18 0 8 0 176375948 934981632 2619 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4077/statm: 228267 2619 1396 14 0 215168 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 913068
[startup+0.514619 s]
/proc/loadavg: 2.00 1.97 1.91 2/98 4078
/proc/meminfo: memFree=1598720/2055920 swapFree=4182236/4192956
[pid=4077] ppid=4075 vsize=915328 CPUtime=0.49
/proc/4077/stat : 4077 (java) R 4075 4077 2340 0 -1 0 6349 0 1 0 45 4 0 0 18 0 8 0 176375948 937295872 6088 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4077/statm: 228832 6088 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33769 s]
/proc/loadavg: 2.00 1.97 1.91 3/105 4085
/proc/meminfo: memFree=1575112/2055920 swapFree=4182236/4192956
[pid=4077] ppid=4075 vsize=915456 CPUtime=1.3
/proc/4077/stat : 4077 (java) R 4075 4077 2340 0 -1 0 8665 0 1 0 124 6 0 0 24 0 8 0 176375948 937426944 8403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4077/statm: 228864 8403 2524 14 0 215334 0
[pid=4077/tid=4079] ppid=4075 vsize=915456 CPUtime=0.03
/proc/4077/task/4079/stat : 4079 (java) S 4075 4077 2340 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 176375952 937426944 8403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4080] ppid=4075 vsize=915456 CPUtime=0
/proc/4077/task/4080/stat : 4080 (java) S 4075 4077 2340 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176375952 937426944 8403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4081] ppid=4075 vsize=915456 CPUtime=0
/proc/4077/task/4081/stat : 4081 (java) S 4075 4077 2340 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176375952 937426944 8403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4082] ppid=4075 vsize=915456 CPUtime=0
/proc/4077/task/4082/stat : 4082 (java) S 4075 4077 2340 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 176375956 937426944 8403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4083] ppid=4075 vsize=915456 CPUtime=0.23
/proc/4077/task/4083/stat : 4083 (java) R 4075 4077 2340 0 -1 64 383 0 0 0 22 1 0 0 16 0 8 0 176375956 937426944 8403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4152960348 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4084] ppid=4075 vsize=915456 CPUtime=0
/proc/4077/task/4084/stat : 4084 (java) S 4075 4077 2340 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 176375956 937426944 8403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4085] ppid=4075 vsize=915456 CPUtime=0
/proc/4077/task/4085/stat : 4085 (java) S 4075 4077 2340 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176375956 937426944 8403 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915456
[startup+2.97484 s]
/proc/loadavg: 2.00 1.97 1.91 3/105 4085
/proc/meminfo: memFree=1574792/2055920 swapFree=4182236/4192956
[pid=4077] ppid=4075 vsize=915456 CPUtime=2.92
/proc/4077/stat : 4077 (java) R 4075 4077 2340 0 -1 0 8696 0 1 0 286 6 0 0 25 0 8 0 176375948 937426944 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073841504 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4077/statm: 228864 8433 2524 14 0 215334 0
[pid=4077/tid=4079] ppid=4075 vsize=915456 CPUtime=0.03
/proc/4077/task/4079/stat : 4079 (java) S 4075 4077 2340 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 176375952 937426944 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4080] ppid=4075 vsize=915456 CPUtime=0
/proc/4077/task/4080/stat : 4080 (java) S 4075 4077 2340 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176375952 937426944 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4081] ppid=4075 vsize=915456 CPUtime=0
/proc/4077/task/4081/stat : 4081 (java) S 4075 4077 2340 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176375952 937426944 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4082] ppid=4075 vsize=915456 CPUtime=0
/proc/4077/task/4082/stat : 4082 (java) S 4075 4077 2340 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 176375956 937426944 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4083] ppid=4075 vsize=915456 CPUtime=0.25
/proc/4077/task/4083/stat : 4083 (java) S 4075 4077 2340 0 -1 64 392 0 0 0 24 1 0 0 16 0 8 0 176375956 937426944 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4084] ppid=4075 vsize=915456 CPUtime=0
/proc/4077/task/4084/stat : 4084 (java) S 4075 4077 2340 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 176375956 937426944 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4085] ppid=4075 vsize=915456 CPUtime=0
/proc/4077/task/4085/stat : 4085 (java) S 4075 4077 2340 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176375956 937426944 8433 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.92
Current children cumulated vsize (KiB) 915456
[startup+6.26316 s]
/proc/loadavg: 2.00 1.97 1.91 3/105 4085
/proc/meminfo: memFree=1574728/2055920 swapFree=4182236/4192956
[pid=4077] ppid=4075 vsize=915456 CPUtime=6.17
/proc/4077/stat : 4077 (java) R 4075 4077 2340 0 -1 0 8703 0 1 0 611 6 0 0 25 0 8 0 176375948 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073817793 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4077/statm: 228864 8439 2524 14 0 215334 0
[pid=4077/tid=4079] ppid=4075 vsize=915456 CPUtime=0.03
/proc/4077/task/4079/stat : 4079 (java) S 4075 4077 2340 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 176375952 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4080] ppid=4075 vsize=915456 CPUtime=0
/proc/4077/task/4080/stat : 4080 (java) S 4075 4077 2340 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176375952 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4081] ppid=4075 vsize=915456 CPUtime=0
/proc/4077/task/4081/stat : 4081 (java) S 4075 4077 2340 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176375952 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4082] ppid=4075 vsize=915456 CPUtime=0
/proc/4077/task/4082/stat : 4082 (java) S 4075 4077 2340 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 176375956 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4083] ppid=4075 vsize=915456 CPUtime=0.25
/proc/4077/task/4083/stat : 4083 (java) S 4075 4077 2340 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 176375956 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4084] ppid=4075 vsize=915456 CPUtime=0
/proc/4077/task/4084/stat : 4084 (java) S 4075 4077 2340 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 176375956 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4085] ppid=4075 vsize=915456 CPUtime=0
/proc/4077/task/4085/stat : 4085 (java) S 4075 4077 2340 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176375956 937426944 8439 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.17
Current children cumulated vsize (KiB) 915456
[startup+12.7528 s]
/proc/loadavg: 2.00 1.97 1.91 3/105 4085
/proc/meminfo: memFree=1574728/2055920 swapFree=4182236/4192956
[pid=4077] ppid=4075 vsize=915456 CPUtime=12.59
/proc/4077/stat : 4077 (java) R 4075 4077 2340 0 -1 0 8708 0 1 0 1253 6 0 0 25 0 8 0 176375948 937426944 8444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073797731 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/4077/statm: 228864 8444 2524 14 0 215334 0
[pid=4077/tid=4079] ppid=4075 vsize=915456 CPUtime=0.03
/proc/4077/task/4079/stat : 4079 (java) S 4075 4077 2340 0 -1 64 228 0 0 0 3 0 0 0 16 0 8 0 176375952 937426944 8444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4080] ppid=4075 vsize=915456 CPUtime=0
/proc/4077/task/4080/stat : 4080 (java) S 4075 4077 2340 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 176375952 937426944 8444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4081] ppid=4075 vsize=915456 CPUtime=0
/proc/4077/task/4081/stat : 4081 (java) S 4075 4077 2340 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 176375952 937426944 8444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4082] ppid=4075 vsize=915456 CPUtime=0
/proc/4077/task/4082/stat : 4082 (java) S 4075 4077 2340 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 176375956 937426944 8444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4083] ppid=4075 vsize=915456 CPUtime=0.25
/proc/4077/task/4083/stat : 4083 (java) S 4075 4077 2340 0 -1 64 393 0 0 0 24 1 0 0 16 0 8 0 176375956 937426944 8444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4084] ppid=4075 vsize=915456 CPUtime=0
/proc/4077/task/4084/stat : 4084 (java) S 4075 4077 2340 0 -1 64 0 0 0 0 0 0 0 0 19 0 8 0 176375956 937426944 8444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=4077/tid=4085] ppid=4075 vsize=915456 CPUtime=0
/proc/4077/task/4085/stat : 4085 (java) S 4075 4077 2340 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 176375956 937426944 8444 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 915456
Child status: 0
Real time (s): 20.9233
CPU time (s): 20.6389
CPU user time (s): 20.5649
CPU system time (s): 0.073988
CPU usage (%): 98.6406
Max. virtual memory (cumulated for all children) (KiB): 915456
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.5649
system time used= 0.073988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8804
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= 1542
involuntary context switches= 2506
runsolver used 0.049992 s user time and 0.080987 s system time
The end
Begin job on node14 on Mon Jan 8 18:10:10 UTC 2007
IDJOB= 228125
IDBENCH= 6154
FILE ID= node14/228125-1168279810
PBS_JOBID= 3483149
Free space on /tmp= 66342 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.2/rand-2-40-11-414-200-67_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228125-1168279810/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node14/watcher-228125-1168279810 -o ROOT/results/node14/solver-228125-1168279810 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/228125-1168279810/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= a20da04848645b83f1d5facd570e22fc
RANDOM SEED= 387396350
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 900 MiB
/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.227
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.227
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: 1599200 kB
Buffers: 68176 kB
Cached: 167140 kB
SwapCached: 4180 kB
Active: 282240 kB
Inactive: 122272 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1599200 kB
SwapTotal: 4192956 kB
SwapFree: 4182236 kB
Dirty: 1832 kB
Writeback: 0 kB
Mapped: 188060 kB
Slab: 36644 kB
Committed_AS: 6631372 kB
PageTables: 2448 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= 66342 MiB
End job on node14 on Mon Jan 8 18:10:31 UTC 2007