0.29
0.30 Abscon 109 (November, 2006)
0.30
0.30 configuration
0.30 name=esac.xml
0.33
0.33 instance
0.33 name=/tmp/evaluation/208704-1168189497/unknown.xml
0.36
0.36 domains being loaded...
0.36
0.36 variables being loaded...
0.39 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.39 => wckTime=0.095 cpuTime=0.08 mem=6M951
0.39
0.39 relations being loaded...
0.65
0.65 constraints being loaded...
0.80 nbConstraints=57 nbRelationTypes=57 nbExtensionStructures=57 nbSharedExtensionStructures=0
0.80 nbConflictsStructures=57 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=15 maxArity=3
0.80 => wckTime=0.507 cpuTime=0.47 mem=41M417
0.88
0.88 solver IterativeSystematicSolver being built...
1.04 => wckTime=0.74 cpuTime=0.6 mem=20M871
1.10
1.10 preprocessing
1.10 nbConstraintChecks=16001 nbValidityChecks=24683 nbPropagations=126 nbRevisions=1118 nbUselessRevisions=971
1.10 nbSingletonTests=26 nbEffectiveSingletonTests=0 nbESACBranches=5 nbRemovedValues=0 detectedInconsistency=no
1.10 => wckTime=0.058 cpuTime=0.04 mem=20M871
1.16
1.16 search
1.16 run=0 nbConstraintChecks=25743 nbValidityChecks=50391 nbPropagations=409 nbRevisions=4340
1.16 nbUselessRevisions=3492 nbAssignments=36 nbFailedAssignments=20 nbBacktracks=11 nbVisitedNodes=63
1.16 nbRestartNogoods=0 mapSize=9 nbInferences=0 nbTooLargeKeys=0
1.16 => wckTime=0.118 cpuTime=0.08 mem=21M841
1.22
1.22 search
1.22 run=1 nbConstraintChecks=70634 nbValidityChecks=146094 nbPropagations=1385 nbRevisions=14755
1.22 nbUselessRevisions=11866 nbAssignments=99 nbFailedAssignments=36 nbBacktracks=26 nbVisitedNodes=127
1.22 nbRestartNogoods=5 mapSize=22 nbInferences=0 nbTooLargeKeys=0
1.22 => wckTime=0.182 cpuTime=0.15 mem=21M841
1.29
1.29 search
1.29 run=2 nbConstraintChecks=115453 nbValidityChecks=235719 nbPropagations=2915 nbRevisions=30823
1.29 nbUselessRevisions=24734 nbAssignments=159 nbFailedAssignments=63 nbBacktracks=48 nbVisitedNodes=222
1.29 nbRestartNogoods=10 mapSize=43 nbInferences=0 nbTooLargeKeys=0
1.29 => wckTime=0.251 cpuTime=0.21 mem=21M841
1.40
1.40 search
1.40 run=3 nbConstraintChecks=203206 nbValidityChecks=414335 nbPropagations=5455 nbRevisions=59266
1.40 nbUselessRevisions=47459 nbAssignments=250 nbFailedAssignments=117 nbBacktracks=81 nbVisitedNodes=394
1.40 nbRestartNogoods=13 mapSize=75 nbInferences=0 nbTooLargeKeys=0
1.40 => wckTime=0.366 cpuTime=0.32 mem=21M841
1.53
1.53 search
1.53 run=4 nbConstraintChecks=293759 nbValidityChecks=597549 nbPropagations=9246 nbRevisions=101208
1.53 nbUselessRevisions=80654 nbAssignments=381 nbFailedAssignments=194 nbBacktracks=131 nbVisitedNodes=632
1.53 nbRestartNogoods=21 mapSize=116 nbInferences=0 nbTooLargeKeys=0
1.53 => wckTime=0.485 cpuTime=0.43 mem=21M841
1.70
1.70 search
1.70 run=5 nbConstraintChecks=432018 nbValidityChecks=875442 nbPropagations=14947 nbRevisions=163063
1.70 nbUselessRevisions=129352 nbAssignments=555 nbFailedAssignments=290 nbBacktracks=206 nbVisitedNodes=959
1.70 nbRestartNogoods=25 mapSize=187 nbInferences=0 nbTooLargeKeys=0
1.70 => wckTime=0.662 cpuTime=0.61 mem=21M841
2.03
2.03 search
2.03 run=6 nbConstraintChecks=704372 nbValidityChecks=1410349 nbPropagations=23744 nbRevisions=262606
2.03 nbUselessRevisions=207696 nbAssignments=840 nbFailedAssignments=460 nbBacktracks=320 nbVisitedNodes=1493
2.03 nbRestartNogoods=31 mapSize=292 nbInferences=0 nbTooLargeKeys=0
2.03 => wckTime=0.993 cpuTime=0.93 mem=21M841
2.41
2.41 search
2.41 run=7 nbConstraintChecks=1012723 nbValidityChecks=2008147 nbPropagations=36751 nbRevisions=405296
2.41 nbUselessRevisions=319595 nbAssignments=1236 nbFailedAssignments=680 nbBacktracks=491 nbVisitedNodes=2220
2.41 nbRestartNogoods=33 mapSize=446 nbInferences=0 nbTooLargeKeys=0
2.41 => wckTime=1.374 cpuTime=1.31 mem=21M841
3.09
3.09 search
3.09 run=8 nbConstraintChecks=1589809 nbValidityChecks=3151000 nbPropagations=57105 nbRevisions=629325
3.09 nbUselessRevisions=494269 nbAssignments=2044 nbFailedAssignments=1215 nbBacktracks=750 nbVisitedNodes=3726
3.09 nbRestartNogoods=43 mapSize=676 nbInferences=0 nbTooLargeKeys=0
3.09 => wckTime=2.053 cpuTime=1.97 mem=21M841
3.80
3.80 search
3.80 run=9 nbConstraintChecks=2207441 nbValidityChecks=4383629 nbPropagations=85921 nbRevisions=939123
3.80 nbUselessRevisions=735663 nbAssignments=2841 nbFailedAssignments=1623 nbBacktracks=1134 nbVisitedNodes=5174
3.80 nbRestartNogoods=45 mapSize=1017 nbInferences=0 nbTooLargeKeys=0
3.80 => wckTime=2.764 cpuTime=2.67 mem=21M841
3.84
3.84 INFO : Stopping hyperNogood (mapSize=1029, nbTooLargekeys=0, mem=21M841)
5.10
5.10 search
5.10 run=10 nbConstraintChecks=3386120 nbValidityChecks=6798206 nbPropagations=131385 nbRevisions=1419984
5.10 nbUselessRevisions=1108267 nbAssignments=4363 nbFailedAssignments=2558 nbBacktracks=1713 nbVisitedNodes=8034
5.10 nbRestartNogoods=57
5.10 => wckTime=4.064 cpuTime=3.96 mem=21M841
7.38
7.38 search
7.38 run=11 nbConstraintChecks=5489330 nbValidityChecks=11001422 nbPropagations=201792 nbRevisions=2209305
7.38 nbUselessRevisions=1723711 nbAssignments=6842 nbFailedAssignments=4169 nbBacktracks=2577 nbVisitedNodes=12725
7.38 nbRestartNogoods=64
7.38 => wckTime=6.344 cpuTime=6.24 mem=21M841
9.63
9.63 search
9.63 run=12 nbConstraintChecks=7577476 nbValidityChecks=15106931 nbPropagations=300932 nbRevisions=3295155
9.63 nbUselessRevisions=2568860 nbAssignments=9588 nbFailedAssignments=5613 nbBacktracks=3875 nbVisitedNodes=17723
9.63 nbRestartNogoods=75
9.63 => wckTime=8.595 cpuTime=8.48 mem=21M841
13.13
13.13 search
13.13 run=13 nbConstraintChecks=10826487 nbValidityChecks=21583279 nbPropagations=445709 nbRevisions=4844365
13.13 nbUselessRevisions=3771699 nbAssignments=13775 nbFailedAssignments=7848 nbBacktracks=5824 nbVisitedNodes=25399
13.13 nbRestartNogoods=96
13.13 => wckTime=12.092 cpuTime=11.98 mem=21M841
20.30
20.30 search
20.30 run=14 nbConstraintChecks=17602548 nbValidityChecks=34608137 nbPropagations=667272 nbRevisions=7217580
20.30 nbUselessRevisions=5613009 nbAssignments=21080 nbFailedAssignments=12228 nbBacktracks=8743 nbVisitedNodes=39069
20.30 nbRestartNogoods=100
20.30 => wckTime=19.257 cpuTime=19.14 mem=21M841
27.22
27.23 search
27.23 run=15 nbConstraintChecks=23954315 nbValidityChecks=47474129 nbPropagations=978963 nbRevisions=10544705
27.23 nbUselessRevisions=8189425 nbAssignments=29944 nbFailedAssignments=17394 nbBacktracks=12378
27.23 nbVisitedNodes=55386 nbRestartNogoods=114
27.23 => wckTime=26.186 cpuTime=26.06 mem=21M841
27.23
27.23 global
27.23 nbConstraintChecks=23970316 nbValidityChecks=47498812 nbPropagations=979089 nbRevisions=10545823
27.23 nbUselessRevisions=8190396 nbRestartNogoods=114 solvingWckTime=26.187 solvingCpuTime=26.06 expiredTime=no
27.23 totalExploration=no nbFoundSolutions=1 globalCpuTime=26.7
27.23 => wckTime=26.93 cpuTime=26.66 mem=21M841
27.23
27.23 s SATISFIABLE
27.23 v 12 3 6 15 12 11 17 14 16 0 17 5 3 5 9 18 6 14 16 3
27.23 d NODES 29944
27.23 d CHECKS 23970316
27.23
27.23 totalWckTime=27.005 totalCpuTime=26.7
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-208704-1168189497 -o ROOT/results/node13/solver-208704-1168189497 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208704-1168189497/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.07 2.03 2.00 4/83 10972
/proc/meminfo: memFree=1479976/2055920 swapFree=4192812/4192956
[pid=10971] ppid=10969 vsize=172 CPUtime=0
/proc/10971/stat : 10971 (java) R 10969 10971 9752 0 -1 0 217 0 0 0 0 0 0 0 18 0 1 0 167344693 176128 24 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 11878699 0 0 4096 0 0 0 0 17 0 0 0
/proc/10971/statm: 43 24 18 14 0 3 0
[startup+0.106616 s]
/proc/loadavg: 2.07 2.03 2.00 4/83 10972
/proc/meminfo: memFree=1479976/2055920 swapFree=4192812/4192956
[pid=10971] ppid=10969 vsize=914988 CPUtime=0.08
/proc/10971/stat : 10971 (java) R 10969 10971 9752 0 -1 0 3066 0 1 0 7 1 0 0 22 0 8 0 167344693 936947712 2812 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10971/statm: 228747 2813 1451 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514674 s]
/proc/loadavg: 2.07 2.03 2.00 4/83 10972
/proc/meminfo: memFree=1479976/2055920 swapFree=4192812/4192956
[pid=10971] ppid=10969 vsize=915328 CPUtime=0.48
/proc/10971/stat : 10971 (java) R 10969 10971 9752 0 -1 0 8035 0 1 0 44 4 0 0 16 0 8 0 167344693 937295872 7774 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073556448 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10971/statm: 228832 7774 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34379 s]
/proc/loadavg: 2.07 2.03 2.00 2/88 10987
/proc/meminfo: memFree=1435712/2055920 swapFree=4192812/4192956
[pid=10971] ppid=10969 vsize=915460 CPUtime=1.31
/proc/10971/stat : 10971 (java) R 10969 10971 9752 0 -1 0 16800 0 1 0 123 8 0 0 17 0 8 0 167344693 937431040 16538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073748428 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10971/statm: 228865 16538 2527 14 0 215335 0
[pid=10971/tid=10973] ppid=10969 vsize=915460 CPUtime=0.05
/proc/10971/task/10973/stat : 10973 (java) S 10969 10971 9752 0 -1 64 1744 0 0 0 5 0 0 0 17 0 8 0 167344696 937431040 16538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10971/tid=10974] ppid=10969 vsize=915460 CPUtime=0
/proc/10971/task/10974/stat : 10974 (java) S 10969 10971 9752 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167344697 937431040 16538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10971/tid=10975] ppid=10969 vsize=915460 CPUtime=0
/proc/10971/task/10975/stat : 10975 (java) S 10969 10971 9752 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167344697 937431040 16538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10971/tid=10976] ppid=10969 vsize=915460 CPUtime=0
/proc/10971/task/10976/stat : 10976 (java) S 10969 10971 9752 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167344700 937431040 16538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10971/tid=10977] ppid=10969 vsize=915460 CPUtime=0.16
/proc/10971/task/10977/stat : 10977 (java) S 10969 10971 9752 0 -1 64 360 0 0 0 16 0 0 0 16 0 8 0 167344700 937431040 16538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10971/tid=10978] ppid=10969 vsize=915460 CPUtime=0
/proc/10971/task/10978/stat : 10978 (java) S 10969 10971 9752 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167344700 937431040 16538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10971/tid=10979] ppid=10969 vsize=915460 CPUtime=0
/proc/10971/task/10979/stat : 10979 (java) S 10969 10971 9752 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167344700 937431040 16538 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.987 s]
/proc/loadavg: 2.07 2.03 2.00 3/91 11001
/proc/meminfo: memFree=1433512/2055920 swapFree=4192812/4192956
[pid=10971] ppid=10969 vsize=915460 CPUtime=2.96
/proc/10971/stat : 10971 (java) R 10969 10971 9752 0 -1 0 16816 0 1 0 287 9 0 0 18 0 8 0 167344693 937431040 16552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073722313 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10971/statm: 228865 16552 2527 14 0 215335 0
[pid=10971/tid=10973] ppid=10969 vsize=915460 CPUtime=0.05
/proc/10971/task/10973/stat : 10973 (java) S 10969 10971 9752 0 -1 64 1744 0 0 0 5 0 0 0 17 0 8 0 167344696 937431040 16552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10971/tid=10974] ppid=10969 vsize=915460 CPUtime=0
/proc/10971/task/10974/stat : 10974 (java) S 10969 10971 9752 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167344697 937431040 16552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10971/tid=10975] ppid=10969 vsize=915460 CPUtime=0
/proc/10971/task/10975/stat : 10975 (java) S 10969 10971 9752 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167344697 937431040 16552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10971/tid=10976] ppid=10969 vsize=915460 CPUtime=0
/proc/10971/task/10976/stat : 10976 (java) S 10969 10971 9752 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167344700 937431040 16552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10971/tid=10977] ppid=10969 vsize=915460 CPUtime=0.2
/proc/10971/task/10977/stat : 10977 (java) S 10969 10971 9752 0 -1 64 375 0 0 0 19 1 0 0 15 0 8 0 167344700 937431040 16552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10971/tid=10978] ppid=10969 vsize=915460 CPUtime=0
/proc/10971/task/10978/stat : 10978 (java) S 10969 10971 9752 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167344700 937431040 16552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10971/tid=10979] ppid=10969 vsize=915460 CPUtime=0
/proc/10971/task/10979/stat : 10979 (java) S 10969 10971 9752 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167344700 937431040 16552 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 915460
[startup+6.26644 s]
/proc/loadavg: 2.07 2.03 2.00 3/101 11046
/proc/meminfo: memFree=1413656/2055920 swapFree=4192812/4192956
[pid=10971] ppid=10969 vsize=915460 CPUtime=6.22
/proc/10971/stat : 10971 (java) R 10969 10971 9752 0 -1 0 16826 0 1 0 613 9 0 0 25 0 8 0 167344693 937431040 16561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073742791 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10971/statm: 228865 16561 2527 14 0 215335 0
[pid=10971/tid=10973] ppid=10969 vsize=915460 CPUtime=0.05
/proc/10971/task/10973/stat : 10973 (java) S 10969 10971 9752 0 -1 64 1744 0 0 0 5 0 0 0 16 0 8 0 167344696 937431040 16561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10971/tid=10974] ppid=10969 vsize=915460 CPUtime=0
/proc/10971/task/10974/stat : 10974 (java) S 10969 10971 9752 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167344697 937431040 16561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10971/tid=10975] ppid=10969 vsize=915460 CPUtime=0
/proc/10971/task/10975/stat : 10975 (java) S 10969 10971 9752 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167344697 937431040 16561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10971/tid=10976] ppid=10969 vsize=915460 CPUtime=0
/proc/10971/task/10976/stat : 10976 (java) S 10969 10971 9752 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167344700 937431040 16561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10971/tid=10977] ppid=10969 vsize=915460 CPUtime=0.21
/proc/10971/task/10977/stat : 10977 (java) S 10969 10971 9752 0 -1 64 385 0 0 0 20 1 0 0 16 0 8 0 167344700 937431040 16561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10971/tid=10978] ppid=10969 vsize=915460 CPUtime=0
/proc/10971/task/10978/stat : 10978 (java) S 10969 10971 9752 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167344700 937431040 16561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10971/tid=10979] ppid=10969 vsize=915460 CPUtime=0
/proc/10971/task/10979/stat : 10979 (java) S 10969 10971 9752 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167344700 937431040 16561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915460
[startup+12.7563 s]
/proc/loadavg: 2.06 2.02 2.00 3/101 11046
/proc/meminfo: memFree=1413664/2055920 swapFree=4192812/4192956
[pid=10971] ppid=10969 vsize=915460 CPUtime=12.71
/proc/10971/stat : 10971 (java) R 10969 10971 9752 0 -1 0 16827 0 1 0 1262 9 0 0 25 0 8 0 167344693 937431040 16561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073727744 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10971/statm: 228865 16561 2527 14 0 215335 0
[pid=10971/tid=10973] ppid=10969 vsize=915460 CPUtime=0.05
/proc/10971/task/10973/stat : 10973 (java) S 10969 10971 9752 0 -1 64 1744 0 0 0 5 0 0 0 16 0 8 0 167344696 937431040 16561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10971/tid=10974] ppid=10969 vsize=915460 CPUtime=0
/proc/10971/task/10974/stat : 10974 (java) S 10969 10971 9752 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167344697 937431040 16561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10971/tid=10975] ppid=10969 vsize=915460 CPUtime=0
/proc/10971/task/10975/stat : 10975 (java) S 10969 10971 9752 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167344697 937431040 16561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10971/tid=10976] ppid=10969 vsize=915460 CPUtime=0
/proc/10971/task/10976/stat : 10976 (java) S 10969 10971 9752 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167344700 937431040 16561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10971/tid=10977] ppid=10969 vsize=915460 CPUtime=0.21
/proc/10971/task/10977/stat : 10977 (java) S 10969 10971 9752 0 -1 64 385 0 0 0 20 1 0 0 16 0 8 0 167344700 937431040 16561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10971/tid=10978] ppid=10969 vsize=915460 CPUtime=0
/proc/10971/task/10978/stat : 10978 (java) S 10969 10971 9752 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167344700 937431040 16561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10971/tid=10979] ppid=10969 vsize=915460 CPUtime=0
/proc/10971/task/10979/stat : 10979 (java) S 10969 10971 9752 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167344700 937431040 16561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 915460
[startup+25.612 s]
/proc/loadavg: 2.05 2.02 2.00 3/101 11046
/proc/meminfo: memFree=1413792/2055920 swapFree=4192812/4192956
[pid=10971] ppid=10969 vsize=915460 CPUtime=25.56
/proc/10971/stat : 10971 (java) R 10969 10971 9752 0 -1 0 16827 0 1 0 2546 10 0 0 25 0 8 0 167344693 937431040 16561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073722313 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/10971/statm: 228865 16561 2527 14 0 215335 0
[pid=10971/tid=10973] ppid=10969 vsize=915460 CPUtime=0.05
/proc/10971/task/10973/stat : 10973 (java) S 10969 10971 9752 0 -1 64 1744 0 0 0 5 0 0 0 16 0 8 0 167344696 937431040 16561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 0 0 0
[pid=10971/tid=10974] ppid=10969 vsize=915460 CPUtime=0
/proc/10971/task/10974/stat : 10974 (java) S 10969 10971 9752 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 167344697 937431040 16561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10971/tid=10975] ppid=10969 vsize=915460 CPUtime=0
/proc/10971/task/10975/stat : 10975 (java) S 10969 10971 9752 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 167344697 937431040 16561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10971/tid=10976] ppid=10969 vsize=915460 CPUtime=0
/proc/10971/task/10976/stat : 10976 (java) S 10969 10971 9752 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 167344700 937431040 16561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10971/tid=10977] ppid=10969 vsize=915460 CPUtime=0.21
/proc/10971/task/10977/stat : 10977 (java) S 10969 10971 9752 0 -1 64 385 0 0 0 20 1 0 0 16 0 8 0 167344700 937431040 16561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10971/tid=10978] ppid=10969 vsize=915460 CPUtime=0
/proc/10971/task/10978/stat : 10978 (java) S 10969 10971 9752 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 167344700 937431040 16561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=10971/tid=10979] ppid=10969 vsize=915460 CPUtime=0
/proc/10971/task/10979/stat : 10979 (java) S 10969 10971 9752 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 167344700 937431040 16561 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.56
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 27.2484
CPU time (s): 27.1999
CPU user time (s): 27.0849
CPU system time (s): 0.114982
CPU usage (%): 99.8219
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 27.0849
system time used= 0.114982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 16835
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= 1439
involuntary context switches= 1684
runsolver used 0.037994 s user time and 0.093985 s system time
The end
Begin job on node13 on Sun Jan 7 17:04:57 UTC 2007
IDJOB= 208704
IDBENCH= 4427
FILE ID= node13/208704-1168189497
PBS_JOBID= 3478954
Free space on /tmp= 66318 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-35_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208704-1168189497/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-208704-1168189497 -o ROOT/results/node13/solver-208704-1168189497 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/208704-1168189497/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 55c7f81cf11a56ea4e68593d3f2d1c40
RANDOM SEED= 719798072
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.247
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.247
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: 1480648 kB
Buffers: 60904 kB
Cached: 375520 kB
SwapCached: 0 kB
Active: 178812 kB
Inactive: 316556 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1480648 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 2872 kB
Writeback: 0 kB
Mapped: 80680 kB
Slab: 64804 kB
Committed_AS: 4195984 kB
PageTables: 2336 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= 66321 MiB
End job on node13 on Sun Jan 7 17:05:24 UTC 2007