0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/234783-1168333241/unknown.xml
0.38
0.38 domains being loaded...
0.39
0.39 variables being loaded...
0.43 nbVariables=25 nbDomainTypes=25 minDomainSize=218 maxDomainSize=306
0.43 => wckTime=0.108 cpuTime=0.1 mem=6M919
0.43
0.43 predicates being loaded...
0.43
0.43 constraints being loaded...
2.43 nbConstraints=100 nbConvertedConstraints=100 nbConvertConstraintsChecks=6437314 nbExtensionStructures=100
2.43 nbSharedExtensionStructures=0 nbConflictsStructures=100 nbSharedConflictsStructures=0
2.43 nbSharedBinaryRepresentations=20927 maxDegree=8 maxArity=2
2.43 => wckTime=2.115 cpuTime=2.05 mem=13M811
2.49
2.49 solver IterativeSystematicSolver being built...
2.66 => wckTime=2.338 cpuTime=2.19 mem=15M747
2.71
2.71 preprocessing
2.71 nbConstraintChecks=468109 nbPropagations=430 nbRevisions=1287 nbUselessRevisions=699 nbSingletonTests=33
2.71 nbEffectiveSingletonTests=0 nbESACBranches=6 nbRemovedValues=0 detectedInconsistency=no
2.71 => wckTime=0.05 cpuTime=0.03 mem=15M747
2.91
2.91 search
2.91 run=0 nbConstraintChecks=4369921 nbPropagations=4022 nbRevisions=16262 nbUselessRevisions=7908
2.91 nbAssignments=426 nbFailedAssignments=411 nbBacktracks=10 nbVisitedNodes=848 nbRestartNogoods=0 mapSize=10
2.91 nbInferences=0 nbTooLargeKeys=0
2.91 => wckTime=0.251 cpuTime=0.21 mem=16M738
3.00
3.00 search
3.00 run=1 nbConstraintChecks=6831554 nbPropagations=10202 nbRevisions=40526 nbUselessRevisions=19739
3.00 nbAssignments=658 nbFailedAssignments=567 nbBacktracks=25 nbVisitedNodes=1195 nbRestartNogoods=14 mapSize=24
3.00 nbInferences=0 nbTooLargeKeys=0
3.00 => wckTime=0.34 cpuTime=0.3 mem=16M738
3.23
3.23 search
3.23 run=2 nbConstraintChecks=13548216 nbPropagations=22953 nbRevisions=94680 nbUselessRevisions=49151
3.23 nbAssignments=1244 nbFailedAssignments=1062 nbBacktracks=47 nbVisitedNodes=2225 nbRestartNogoods=29 mapSize=43
3.23 nbInferences=0 nbTooLargeKeys=0
3.23 => wckTime=0.568 cpuTime=0.52 mem=16M738
3.33
3.33 search
3.33 run=3 nbConstraintChecks=16087712 nbPropagations=38361 nbRevisions=160706 nbUselessRevisions=85106
3.33 nbAssignments=1613 nbFailedAssignments=1368 nbBacktracks=81 nbVisitedNodes=2906 nbRestartNogoods=30 mapSize=73
3.33 nbInferences=0 nbTooLargeKeys=0
3.33 => wckTime=0.675 cpuTime=0.61 mem=16M738
3.68
3.68 search
3.68 run=4 nbConstraintChecks=27292334 nbPropagations=62117 nbRevisions=258694 nbUselessRevisions=136688
3.68 nbAssignments=2591 nbFailedAssignments=2210 nbBacktracks=131 nbVisitedNodes=4694 nbRestartNogoods=55
3.68 mapSize=122 nbInferences=0 nbTooLargeKeys=0
3.68 => wckTime=1.022 cpuTime=0.94 mem=16M738
4.15
4.15 search
4.15 run=5 nbConstraintChecks=42879970 nbPropagations=98163 nbRevisions=420510 nbUselessRevisions=224117
4.15 nbAssignments=4009 nbFailedAssignments=3527 nbBacktracks=207 nbVisitedNodes=7477 nbRestartNogoods=71
4.15 mapSize=195 nbInferences=0 nbTooLargeKeys=0
4.15 => wckTime=1.488 cpuTime=1.41 mem=16M738
4.65
4.65 search
4.65 run=6 nbConstraintChecks=56361765 nbPropagations=152044 nbRevisions=672422 nbUselessRevisions=365037
4.65 nbAssignments=6525 nbFailedAssignments=5797 nbBacktracks=320 nbVisitedNodes=12241 nbRestartNogoods=114
4.65 mapSize=307 nbInferences=0 nbTooLargeKeys=0
4.65 => wckTime=1.992 cpuTime=1.91 mem=16M738
5.54
5.54 search
5.54 run=7 nbConstraintChecks=84575931 nbPropagations=224965 nbRevisions=1024922 nbUselessRevisions=556845
5.54 nbAssignments=8585 nbFailedAssignments=7682 nbBacktracks=490 nbVisitedNodes=16328 nbRestartNogoods=122
5.54 mapSize=470 nbInferences=0 nbTooLargeKeys=0
5.54 => wckTime=2.883 cpuTime=2.8 mem=16M738
5.93
5.93 search
5.93 run=8 nbConstraintChecks=95587091 nbPropagations=309744 nbRevisions=1422383 nbUselessRevisions=774637
5.93 nbAssignments=11008 nbFailedAssignments=9451 nbBacktracks=747 nbVisitedNodes=20295 nbRestartNogoods=243
5.93 mapSize=666 nbInferences=0 nbTooLargeKeys=0
5.93 => wckTime=3.276 cpuTime=3.18 mem=16M738
7.12
7.12 search
7.12 run=9 nbConstraintChecks=131456114 nbPropagations=428198 nbRevisions=2001050 nbUselessRevisions=1094866
7.12 nbAssignments=15863 nbFailedAssignments=13907 nbBacktracks=1131 nbVisitedNodes=29879 nbRestartNogoods=252
7.12 mapSize=1030 nbInferences=0 nbTooLargeKeys=0
7.12 => wckTime=4.464 cpuTime=4.37 mem=17M714
7.36
7.36 INFO : Stopping hyperNogood (mapSize=1040, nbTooLargekeys=0, mem=17M714)
8.99
8.99 search
8.99 run=10 nbConstraintChecks=192591794 nbPropagations=604525 nbRevisions=2845613 nbUselessRevisions=1564189
8.99 nbAssignments=22927 nbFailedAssignments=20076 nbBacktracks=1707 nbVisitedNodes=43193 nbRestartNogoods=347
8.99 => wckTime=6.334 cpuTime=6.22 mem=17M714
13.03
13.03 search
13.03 run=11 nbConstraintChecks=338492477 nbPropagations=899048 nbRevisions=4242603 nbUselessRevisions=2355425
13.03 nbAssignments=36037 nbFailedAssignments=32151 nbBacktracks=2571 nbVisitedNodes=68953 nbRestartNogoods=427
13.03 => wckTime=10.374 cpuTime=10.24 mem=17M714
14.77
14.77 search
14.77 run=12 nbConstraintChecks=388034210 nbPropagations=1265149 nbRevisions=5983157 nbUselessRevisions=3365722
14.77 nbAssignments=45948 nbFailedAssignments=40653 nbBacktracks=3868 nbVisitedNodes=88239 nbRestartNogoods=520
14.77 => wckTime=12.112 cpuTime=11.96 mem=17M714
19.87
19.87 search
19.87 run=13 nbConstraintChecks=558498879 nbPropagations=1787079 nbRevisions=8527589 nbUselessRevisions=4859586
19.87 nbAssignments=62913 nbFailedAssignments=55523 nbBacktracks=5814 nbVisitedNodes=121430 nbRestartNogoods=566
19.87 => wckTime=17.212 cpuTime=17.01 mem=17M714
28.70
28.70 search
28.70 run=14 nbConstraintChecks=849132921 nbPropagations=2552802 nbRevisions=12439836 nbUselessRevisions=7162046
28.70 nbAssignments=91241 nbFailedAssignments=80815 nbBacktracks=8733 nbVisitedNodes=176926 nbRestartNogoods=612
28.70 => wckTime=26.043 cpuTime=25.76 mem=17M714
39.57
39.57 search
39.57 run=15 nbConstraintChecks=1244600359 nbPropagations=3671746 nbRevisions=17920015 nbUselessRevisions=10373698
39.57 nbAssignments=135896 nbFailedAssignments=120925 nbBacktracks=13111 nbVisitedNodes=264824 nbRestartNogoods=701
39.57 => wckTime=36.907 cpuTime=36.55 mem=17M714
62.79
62.79 search
62.79 run=16 nbConstraintChecks=2009287104 nbPropagations=5445016 nbRevisions=26693538 nbUselessRevisions=15505016
62.79 nbAssignments=213235 nbFailedAssignments=191683 nbBacktracks=19679 nbVisitedNodes=417878 nbRestartNogoods=710
62.79 => wckTime=60.128 cpuTime=59.61 mem=17M714
66.50
66.50 search
66.50 run=17 nbConstraintChecks=2146374812 nbPropagations=7328272 nbRevisions=35979883 nbUselessRevisions=20930473
66.50 nbAssignments=225522 nbFailedAssignments=202480 nbBacktracks=21044 nbVisitedNodes=441991 nbRestartNogoods=841
66.50 => wckTime=63.838 cpuTime=63.3 mem=17M714
66.50
66.50 global
66.50 nbConstraintChecks=2146842921 nbPropagations=7328702 nbRevisions=35981170 nbUselessRevisions=20931172
66.50 nbRestartNogoods=841 solvingWckTime=63.839 solvingCpuTime=63.3 expiredTime=no totalExploration=no
66.50 nbFoundSolutions=1 globalCpuTime=65.53
66.50 => wckTime=66.181 cpuTime=65.49 mem=17M714
66.50
66.50 s SATISFIABLE
66.50 v 117 0 221 270 66 0 117 81 195 266 0 305 81 134 230 77 0 231 181 120 134 229 97 217 0
66.50 d NODES 225522
66.50 d CHECKS 2146842921
66.50
66.50 totalWckTime=66.264 totalCpuTime=65.53
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node24/watcher-234783-1168333241 -o ROOT/results/node24/solver-234783-1168333241 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/234783-1168333241/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: 1.01 1.09 1.41 4/94 29015
/proc/meminfo: memFree=1672192/2055920 swapFree=4192812/4192956
[pid=29014] ppid=29012 vsize=18540 CPUtime=0
/proc/29014/stat : 29014 (runsolver) R 29012 29014 27429 0 -1 4194368 17 0 0 0 0 0 0 0 18 0 1 0 181719386 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 237788261671 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/29014/statm: 4635 279 244 17 0 2626 0
[startup+0.107432 s]
/proc/loadavg: 1.01 1.09 1.41 4/94 29015
/proc/meminfo: memFree=1672192/2055920 swapFree=4192812/4192956
[pid=29014] ppid=29012 vsize=914988 CPUtime=0.09
/proc/29014/stat : 29014 (java) R 29012 29014 27429 0 -1 0 3002 0 1 0 7 2 0 0 20 0 8 0 181719386 936947712 2748 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 3673451 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29014/statm: 228747 2748 1428 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515475 s]
/proc/loadavg: 1.01 1.09 1.41 4/94 29015
/proc/meminfo: memFree=1672192/2055920 swapFree=4192812/4192956
[pid=29014] ppid=29012 vsize=915460 CPUtime=0.49
/proc/29014/stat : 29014 (java) R 29012 29014 27429 0 -1 0 6517 0 1 0 44 5 0 0 18 0 8 0 181719386 937431040 6256 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942735 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29014/statm: 228865 6256 2166 14 0 215335 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915460
[startup+1.33656 s]
/proc/loadavg: 1.01 1.09 1.41 3/101 29022
/proc/meminfo: memFree=1621640/2055920 swapFree=4192812/4192956
[pid=29014] ppid=29012 vsize=915460 CPUtime=1.31
/proc/29014/stat : 29014 (java) R 29012 29014 27429 0 -1 0 7110 0 1 0 125 6 0 0 25 0 8 0 181719386 937431040 6848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073601472 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29014/statm: 228865 6848 2167 14 0 215335 0
[pid=29014/tid=29016] ppid=29012 vsize=915460 CPUtime=0
/proc/29014/task/29016/stat : 29016 (java) S 29012 29014 27429 0 -1 64 7 0 0 0 0 0 0 0 17 0 8 0 181719390 937431040 6848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29017] ppid=29012 vsize=915460 CPUtime=0
/proc/29014/task/29017/stat : 29017 (java) S 29012 29014 27429 0 -1 64 10 0 0 0 0 0 0 0 19 0 8 0 181719391 937431040 6848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29018] ppid=29012 vsize=915460 CPUtime=0
/proc/29014/task/29018/stat : 29018 (java) S 29012 29014 27429 0 -1 64 4 0 0 0 0 0 0 0 20 0 8 0 181719391 937431040 6848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29019] ppid=29012 vsize=915460 CPUtime=0
/proc/29014/task/29019/stat : 29019 (java) S 29012 29014 27429 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181719394 937431040 6848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29020] ppid=29012 vsize=915460 CPUtime=0.09
/proc/29014/task/29020/stat : 29020 (java) S 29012 29014 27429 0 -1 64 313 0 0 0 9 0 0 0 16 0 8 0 181719394 937431040 6848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29021] ppid=29012 vsize=915460 CPUtime=0
/proc/29014/task/29021/stat : 29021 (java) S 29012 29014 27429 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181719394 937431040 6848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29022] ppid=29012 vsize=915460 CPUtime=0
/proc/29014/task/29022/stat : 29022 (java) S 29012 29014 27429 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181719394 937431040 6848 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 915460
[startup+2.97574 s]
/proc/loadavg: 1.01 1.09 1.41 3/101 29022
/proc/meminfo: memFree=1604872/2055920 swapFree=4192812/4192956
[pid=29014] ppid=29012 vsize=915460 CPUtime=2.94
/proc/29014/stat : 29014 (java) R 29012 29014 27429 0 -1 0 9082 0 1 0 285 9 0 0 25 0 8 0 181719386 937431040 8819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727496 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29014/statm: 228865 8819 2541 14 0 215335 0
[pid=29014/tid=29016] ppid=29012 vsize=915460 CPUtime=0.03
/proc/29014/task/29016/stat : 29016 (java) S 29012 29014 27429 0 -1 64 716 0 0 0 3 0 0 0 16 0 8 0 181719390 937431040 8819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29017] ppid=29012 vsize=915460 CPUtime=0
/proc/29014/task/29017/stat : 29017 (java) S 29012 29014 27429 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 181719391 937431040 8819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29018] ppid=29012 vsize=915460 CPUtime=0
/proc/29014/task/29018/stat : 29018 (java) S 29012 29014 27429 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181719391 937431040 8819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29019] ppid=29012 vsize=915460 CPUtime=0
/proc/29014/task/29019/stat : 29019 (java) S 29012 29014 27429 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181719394 937431040 8819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29020] ppid=29012 vsize=915460 CPUtime=0.17
/proc/29014/task/29020/stat : 29020 (java) S 29012 29014 27429 0 -1 64 355 0 0 0 16 1 0 0 15 0 8 0 181719394 937431040 8819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29021] ppid=29012 vsize=915460 CPUtime=0
/proc/29014/task/29021/stat : 29021 (java) S 29012 29014 27429 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181719394 937431040 8819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29022] ppid=29012 vsize=915460 CPUtime=0
/proc/29014/task/29022/stat : 29022 (java) S 29012 29014 27429 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181719394 937431040 8819 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
[startup+6.27709 s]
/proc/loadavg: 1.16 1.12 1.42 3/101 29022
/proc/meminfo: memFree=1574664/2055920 swapFree=4192812/4192956
[pid=29014] ppid=29012 vsize=915460 CPUtime=6.22
/proc/29014/stat : 29014 (java) R 29012 29014 27429 0 -1 0 9233 0 1 0 613 9 0 0 25 0 8 0 181719386 937431040 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073746763 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29014/statm: 228865 8967 2541 14 0 215335 0
[pid=29014/tid=29016] ppid=29012 vsize=915460 CPUtime=0.03
/proc/29014/task/29016/stat : 29016 (java) S 29012 29014 27429 0 -1 64 716 0 0 0 3 0 0 0 17 0 8 0 181719390 937431040 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29017] ppid=29012 vsize=915460 CPUtime=0
/proc/29014/task/29017/stat : 29017 (java) S 29012 29014 27429 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 181719391 937431040 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29018] ppid=29012 vsize=915460 CPUtime=0
/proc/29014/task/29018/stat : 29018 (java) S 29012 29014 27429 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181719391 937431040 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29019] ppid=29012 vsize=915460 CPUtime=0
/proc/29014/task/29019/stat : 29019 (java) S 29012 29014 27429 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181719394 937431040 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29020] ppid=29012 vsize=915460 CPUtime=0.21
/proc/29014/task/29020/stat : 29020 (java) S 29012 29014 27429 0 -1 64 372 0 0 0 20 1 0 0 16 0 8 0 181719394 937431040 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29021] ppid=29012 vsize=915460 CPUtime=0
/proc/29014/task/29021/stat : 29021 (java) S 29012 29014 27429 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181719394 937431040 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29022] ppid=29012 vsize=915460 CPUtime=0
/proc/29014/task/29022/stat : 29022 (java) S 29012 29014 27429 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181719394 937431040 8967 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 915460
[startup+12.7498 s]
/proc/loadavg: 1.29 1.15 1.43 3/101 29022
/proc/meminfo: memFree=1538784/2055920 swapFree=4192812/4192956
[pid=29014] ppid=29012 vsize=915460 CPUtime=12.66
/proc/29014/stat : 29014 (java) R 29012 29014 27429 0 -1 0 9294 0 1 0 1257 9 0 0 25 0 8 0 181719386 937431040 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073336169 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29014/statm: 228865 9027 2541 14 0 215335 0
[pid=29014/tid=29016] ppid=29012 vsize=915460 CPUtime=0.03
/proc/29014/task/29016/stat : 29016 (java) S 29012 29014 27429 0 -1 64 716 0 0 0 3 0 0 0 16 0 8 0 181719390 937431040 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29017] ppid=29012 vsize=915460 CPUtime=0
/proc/29014/task/29017/stat : 29017 (java) S 29012 29014 27429 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 181719391 937431040 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29018] ppid=29012 vsize=915460 CPUtime=0
/proc/29014/task/29018/stat : 29018 (java) S 29012 29014 27429 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181719391 937431040 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29019] ppid=29012 vsize=915460 CPUtime=0
/proc/29014/task/29019/stat : 29019 (java) S 29012 29014 27429 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181719394 937431040 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29020] ppid=29012 vsize=915460 CPUtime=0.22
/proc/29014/task/29020/stat : 29020 (java) S 29012 29014 27429 0 -1 64 380 0 0 0 21 1 0 0 15 0 8 0 181719394 937431040 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29021] ppid=29012 vsize=915460 CPUtime=0
/proc/29014/task/29021/stat : 29021 (java) S 29012 29014 27429 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181719394 937431040 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29022] ppid=29012 vsize=915460 CPUtime=0
/proc/29014/task/29022/stat : 29022 (java) S 29012 29014 27429 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181719394 937431040 9027 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915460
[startup+25.6292 s]
/proc/loadavg: 1.48 1.19 1.44 3/107 29086
/proc/meminfo: memFree=1501424/2055920 swapFree=4192812/4192956
[pid=29014] ppid=29012 vsize=915460 CPUtime=25.41
/proc/29014/stat : 29014 (java) R 29012 29014 27429 0 -1 0 9305 0 1 0 2532 9 0 0 25 0 8 0 181719386 937431040 9037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918514 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29014/statm: 228865 9037 2541 14 0 215335 0
[pid=29014/tid=29016] ppid=29012 vsize=915460 CPUtime=0.03
/proc/29014/task/29016/stat : 29016 (java) S 29012 29014 27429 0 -1 64 716 0 0 0 3 0 0 0 16 0 8 0 181719390 937431040 9037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29017] ppid=29012 vsize=915460 CPUtime=0
/proc/29014/task/29017/stat : 29017 (java) S 29012 29014 27429 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 181719391 937431040 9037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29018] ppid=29012 vsize=915460 CPUtime=0
/proc/29014/task/29018/stat : 29018 (java) S 29012 29014 27429 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181719391 937431040 9037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29019] ppid=29012 vsize=915460 CPUtime=0
/proc/29014/task/29019/stat : 29019 (java) S 29012 29014 27429 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181719394 937431040 9037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29020] ppid=29012 vsize=915460 CPUtime=0.22
/proc/29014/task/29020/stat : 29020 (java) S 29012 29014 27429 0 -1 64 380 0 0 0 21 1 0 0 16 0 8 0 181719394 937431040 9037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29021] ppid=29012 vsize=915460 CPUtime=0
/proc/29014/task/29021/stat : 29021 (java) S 29012 29014 27429 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181719394 937431040 9037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29022] ppid=29012 vsize=915460 CPUtime=0
/proc/29014/task/29022/stat : 29022 (java) S 29012 29014 27429 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181719394 937431040 9037 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 915460
[startup+51.2559 s]
/proc/loadavg: 1.66 1.25 1.45 3/108 29141
/proc/meminfo: memFree=1255656/2055920 swapFree=4192812/4192956
[pid=29014] ppid=29012 vsize=915460 CPUtime=50.86
/proc/29014/stat : 29014 (java) R 29012 29014 27429 0 -1 0 9312 0 1 0 5076 10 0 0 25 0 8 0 181719386 937431040 9043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073727632 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29014/statm: 228865 9043 2541 14 0 215335 0
[pid=29014/tid=29016] ppid=29012 vsize=915460 CPUtime=0.03
/proc/29014/task/29016/stat : 29016 (java) S 29012 29014 27429 0 -1 64 716 0 0 0 3 0 0 0 16 0 8 0 181719390 937431040 9043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29017] ppid=29012 vsize=915460 CPUtime=0
/proc/29014/task/29017/stat : 29017 (java) S 29012 29014 27429 0 -1 64 11 0 0 0 0 0 0 0 17 0 8 0 181719391 937431040 9043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29018] ppid=29012 vsize=915460 CPUtime=0
/proc/29014/task/29018/stat : 29018 (java) S 29012 29014 27429 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 181719391 937431040 9043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29019] ppid=29012 vsize=915460 CPUtime=0
/proc/29014/task/29019/stat : 29019 (java) S 29012 29014 27429 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 181719394 937431040 9043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29020] ppid=29012 vsize=915460 CPUtime=0.22
/proc/29014/task/29020/stat : 29020 (java) S 29012 29014 27429 0 -1 64 380 0 0 0 21 1 0 0 15 0 8 0 181719394 937431040 9043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29021] ppid=29012 vsize=915460 CPUtime=0
/proc/29014/task/29021/stat : 29021 (java) S 29012 29014 27429 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 181719394 937431040 9043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29014/tid=29022] ppid=29012 vsize=915460 CPUtime=0
/proc/29014/task/29022/stat : 29022 (java) S 29012 29014 27429 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 181719394 937431040 9043 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 66.5385
CPU time (s): 66.039
CPU user time (s): 65.927
CPU system time (s): 0.111982
CPU usage (%): 99.2492
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 65.927
system time used= 0.111982
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 9409
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= 2468
involuntary context switches= 4492
runsolver used 0.075988 s user time and 0.235964 s system time
The end
Begin job on node24 on Tue Jan 9 09:00:41 UTC 2007
IDJOB= 234783
IDBENCH= 6712
FILE ID= node24/234783-1168333241
PBS_JOBID= 3503338
Free space on /tmp= 66473 MiB
BENCH NAME= HOME/pub/bench/CPAI06/taillard/os-taillard-5/os-taillard-5-100-3.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/234783-1168333241/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node24/watcher-234783-1168333241 -o ROOT/results/node24/solver-234783-1168333241 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/234783-1168333241/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 762302597bb1453c6a57a834ad5bc6ef
RANDOM SEED= 817517205
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.234
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.234
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: 1672800 kB
Buffers: 19012 kB
Cached: 229664 kB
SwapCached: 0 kB
Active: 181272 kB
Inactive: 150992 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1672800 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 5692 kB
Writeback: 0 kB
Mapped: 111424 kB
Slab: 35436 kB
Committed_AS: 4671960 kB
PageTables: 2512 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= 66473 MiB
End job on node24 on Tue Jan 9 09:01:48 UTC 2007