0.32
0.32 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.38
0.38 instance
0.38 name=/tmp/evaluation/229217-1168304563/unknown.xml
0.41
0.41 domains being loaded...
0.42
0.42 variables being loaded...
0.45 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.45 => wckTime=0.126 cpuTime=0.1 mem=6M951
0.45
0.45 relations being loaded...
0.53
0.53 constraints being loaded...
0.64 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1346 maxDegree=20
0.64 maxArity=2
0.64 => wckTime=0.311 cpuTime=0.22 mem=11M827
0.68
0.68 solver IterativeSystematicSolver being built...
0.84 => wckTime=0.515 cpuTime=0.35 mem=14M826
0.89
0.90 preprocessing
0.90 nbConstraintChecks=59071 nbPropagations=872 nbRevisions=6429 nbUselessRevisions=5067 nbSingletonTests=55
0.90 nbEffectiveSingletonTests=0 nbESACBranches=8 nbRemovedValues=0 detectedInconsistency=no
0.90 => wckTime=0.049 cpuTime=0.04 mem=14M826
0.92
0.92 search
0.92 run=0 nbConstraintChecks=26606 nbPropagations=1368 nbRevisions=11148 nbUselessRevisions=8761 nbAssignments=27
0.92 nbFailedAssignments=8 nbBacktracks=11 nbVisitedNodes=44 nbRestartNogoods=0 mapSize=10 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.071 cpuTime=0.05 mem=14M826
0.94
0.94 search
0.94 run=1 nbConstraintChecks=68709 nbPropagations=3434 nbRevisions=29364 nbUselessRevisions=23007 nbAssignments=61
0.94 nbFailedAssignments=20 nbBacktracks=27 nbVisitedNodes=100 nbRestartNogoods=4 mapSize=25 nbInferences=0
0.94 nbTooLargeKeys=0
0.94 => wckTime=0.091 cpuTime=0.07 mem=14M826
0.96
0.96 search
0.96 run=2 nbConstraintChecks=131600 nbPropagations=6553 nbRevisions=58730 nbUselessRevisions=45745
0.96 nbAssignments=111 nbFailedAssignments=40 nbBacktracks=51 nbVisitedNodes=189 nbRestartNogoods=6 mapSize=47
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.11 cpuTime=0.08 mem=14M826
0.97
0.97 search
0.97 run=3 nbConstraintChecks=202020 nbPropagations=10951 nbRevisions=100329 nbUselessRevisions=78110
0.97 nbAssignments=182 nbFailedAssignments=59 nbBacktracks=84 nbVisitedNodes=285 nbRestartNogoods=12 mapSize=75
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.126 cpuTime=0.09 mem=14M826
1.00
1.00 search
1.00 run=4 nbConstraintChecks=318938 nbPropagations=17481 nbRevisions=165187 nbUselessRevisions=128388
1.00 nbAssignments=292 nbFailedAssignments=112 nbBacktracks=136 nbVisitedNodes=481 nbRestartNogoods=16 mapSize=121
1.00 nbInferences=0 nbTooLargeKeys=0
1.00 => wckTime=0.156 cpuTime=0.12 mem=14M826
1.03
1.03 search
1.03 run=5 nbConstraintChecks=456369 nbPropagations=26482 nbRevisions=256067 nbUselessRevisions=198650
1.03 nbAssignments=430 nbFailedAssignments=169 nbBacktracks=211 nbVisitedNodes=725 nbRestartNogoods=18 mapSize=187
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.188 cpuTime=0.15 mem=14M826
1.08
1.08 search
1.08 run=6 nbConstraintChecks=684313 nbPropagations=39227 nbRevisions=387084 nbUselessRevisions=299118
1.08 nbAssignments=622 nbFailedAssignments=242 nbBacktracks=326 nbVisitedNodes=1059 nbRestartNogoods=22 mapSize=287
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.232 cpuTime=0.19 mem=14M826
1.13
1.13 search
1.13 run=7 nbConstraintChecks=915597 nbPropagations=56368 nbRevisions=564025 nbUselessRevisions=434999
1.13 nbAssignments=884 nbFailedAssignments=327 nbBacktracks=496 nbVisitedNodes=1498 nbRestartNogoods=29 mapSize=416
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.288 cpuTime=0.24 mem=14M826
1.23
1.23 search
1.23 run=8 nbConstraintChecks=1358374 nbPropagations=81557 nbRevisions=827701 nbUselessRevisions=637114
1.23 nbAssignments=1314 nbFailedAssignments=495 nbBacktracks=754 nbVisitedNodes=2245 nbRestartNogoods=33
1.23 mapSize=631 nbInferences=0 nbTooLargeKeys=0
1.23 => wckTime=0.387 cpuTime=0.33 mem=14M826
1.38
1.38 search
1.38 run=9 nbConstraintChecks=2045113 nbPropagations=119022 nbRevisions=1227884 nbUselessRevisions=945107
1.38 nbAssignments=1999 nbFailedAssignments=786 nbBacktracks=1140 nbVisitedNodes=3441 nbRestartNogoods=35
1.38 mapSize=970 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.531 cpuTime=0.46 mem=14M826
1.40
1.40 INFO : Stopping hyperNogood (mapSize=1022, nbTooLargekeys=0, mem=14M826)
1.57
1.57 search
1.57 run=10 nbConstraintChecks=3075712 nbPropagations=175060 nbRevisions=1831538 nbUselessRevisions=1409294
1.57 nbAssignments=2986 nbFailedAssignments=1191 nbBacktracks=1718 nbVisitedNodes=5184 nbRestartNogoods=40
1.57 => wckTime=0.72 cpuTime=0.64 mem=14M826
1.84
1.84 search
1.84 run=11 nbConstraintChecks=4787856 nbPropagations=259716 nbRevisions=2748085 nbUselessRevisions=2112266
1.84 nbAssignments=4441 nbFailedAssignments=1773 nbBacktracks=2585 nbVisitedNodes=7726 nbRestartNogoods=48
1.84 => wckTime=0.994 cpuTime=0.91 mem=14M826
2.23
2.23 search
2.23 run=12 nbConstraintChecks=7131140 nbPropagations=386144 nbRevisions=4119664 nbUselessRevisions=3162623
2.23 nbAssignments=6673 nbFailedAssignments=2702 nbBacktracks=3883 nbVisitedNodes=11638 nbRestartNogoods=61
2.23 => wckTime=1.384 cpuTime=1.3 mem=14M826
2.86
2.86 search
2.86 run=13 nbConstraintChecks=10974299 nbPropagations=578623 nbRevisions=6217627 nbUselessRevisions=4769905
2.86 nbAssignments=10040 nbFailedAssignments=4120 nbBacktracks=5829 nbVisitedNodes=17626 nbRestartNogoods=64
2.86 => wckTime=2.013 cpuTime=1.91 mem=14M826
3.75
3.75 search
3.75 run=14 nbConstraintChecks=16276324 nbPropagations=867577 nbRevisions=9366451 nbUselessRevisions=7185385
3.75 nbAssignments=15103 nbFailedAssignments=6257 nbBacktracks=8748 nbVisitedNodes=26527 nbRestartNogoods=69
3.75 => wckTime=2.906 cpuTime=2.8 mem=14M826
5.11
5.11 search
5.11 run=15 nbConstraintChecks=24626234 nbPropagations=1302037 nbRevisions=14107235 nbUselessRevisions=10820279
5.11 nbAssignments=22632 nbFailedAssignments=9404 nbBacktracks=13126 nbVisitedNodes=39841 nbRestartNogoods=80
5.11 => wckTime=4.266 cpuTime=4.15 mem=14M826
7.12
7.12 search
7.12 run=16 nbConstraintChecks=36805010 nbPropagations=1951115 nbRevisions=21218133 nbUselessRevisions=16280978
7.12 nbAssignments=33811 nbFailedAssignments=14011 nbBacktracks=19695 nbVisitedNodes=59544 nbRestartNogoods=91
7.12 => wckTime=6.274 cpuTime=6.13 mem=14M826
10.23
10.23 search
10.23 run=17 nbConstraintChecks=55877067 nbPropagations=2926229 nbRevisions=31928330 nbUselessRevisions=24494905
10.23 nbAssignments=50612 nbFailedAssignments=20954 nbBacktracks=29547 nbVisitedNodes=89091 nbRestartNogoods=101
10.23 => wckTime=9.383 cpuTime=9.21 mem=14M826
14.52
14.52 search
14.52 run=18 nbConstraintChecks=82112809 nbPropagations=4350724 nbRevisions=47613025 nbUselessRevisions=36519979
14.52 nbAssignments=73327 nbFailedAssignments=30414 nbBacktracks=42803 nbVisitedNodes=129156 nbRestartNogoods=112
14.52 => wckTime=13.677 cpuTime=13.47 mem=14M826
14.52
14.52 global
14.52 nbConstraintChecks=82171880 nbPropagations=4351596 nbRevisions=47619454 nbUselessRevisions=36525046
14.52 nbRestartNogoods=112 solvingWckTime=13.678 solvingCpuTime=13.47 expiredTime=no totalExploration=yes
14.52 nbFoundSolutions=0 globalCpuTime=13.86
14.52 => wckTime=14.197 cpuTime=13.82 mem=14M826
14.53
14.53 s UNSATISFIABLE
14.53 d NODES 73327
14.53 d CHECKS 82171880
14.53
14.53 totalWckTime=14.274 totalCpuTime=13.87
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node9/watcher-229217-1168304563 -o ROOT/results/node9/solver-229217-1168304563 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229217-1168304563/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: 0.93 1.23 1.55 5/83 25990
/proc/meminfo: memFree=1630376/2055920 swapFree=4191880/4192956
[pid=25988] ppid=25985 vsize=18540 CPUtime=0
/proc/25988/stat : 25988 (runsolver) R 25985 25988 25886 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 178851441 18984960 279 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 215418989863 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/25988/statm: 4635 279 244 17 0 2626 0
[startup+0.107456 s]
/proc/loadavg: 0.93 1.23 1.55 5/83 25990
/proc/meminfo: memFree=1630376/2055920 swapFree=4191880/4192956
[pid=25988] ppid=25985 vsize=914988 CPUtime=0.09
/proc/25988/stat : 25988 (java) D 25985 25988 25886 0 -1 0 2987 0 1 0 7 2 0 0 23 0 8 0 178851441 936947712 2733 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 2147483391 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/25988/statm: 228747 2733 1426 14 0 215242 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 914988
[startup+0.515499 s]
/proc/loadavg: 0.93 1.23 1.55 5/83 25990
/proc/meminfo: memFree=1630376/2055920 swapFree=4191880/4192956
[pid=25988] ppid=25985 vsize=915328 CPUtime=0.46
/proc/25988/stat : 25988 (java) R 25985 25988 25886 0 -1 0 6425 0 5 0 41 5 0 0 18 0 8 0 178851441 937295872 6168 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942674 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25988/statm: 228832 6168 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.46
Current children cumulated vsize (KiB) 915328
[startup+1.33659 s]
/proc/loadavg: 0.93 1.23 1.55 3/102 26028
/proc/meminfo: memFree=1550536/2055920 swapFree=4191880/4192956
[pid=25988] ppid=25985 vsize=915452 CPUtime=1.26
/proc/25988/stat : 25988 (java) R 25985 25988 25886 0 -1 0 8679 0 5 0 119 7 0 0 24 0 8 0 178851441 937422848 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789369 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25988/statm: 228863 8421 2524 14 0 215333 0
[pid=25988/tid=26007] ppid=25985 vsize=915452 CPUtime=0.02
/proc/25988/task/26007/stat : 26007 (java) S 25985 25988 25886 0 -1 64 242 0 0 0 2 0 0 0 17 0 8 0 178851445 937422848 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25988/tid=26010] ppid=25985 vsize=915452 CPUtime=0
/proc/25988/task/26010/stat : 26010 (java) S 25985 25988 25886 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178851445 937422848 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25988/tid=26012] ppid=25985 vsize=915452 CPUtime=0
/proc/25988/task/26012/stat : 26012 (java) S 25985 25988 25886 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 178851445 937422848 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25988/tid=26017] ppid=25985 vsize=915452 CPUtime=0
/proc/25988/task/26017/stat : 26017 (java) S 25985 25988 25886 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 178851449 937422848 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25988/tid=26018] ppid=25985 vsize=915452 CPUtime=0.22
/proc/25988/task/26018/stat : 26018 (java) S 25985 25988 25886 0 -1 64 382 0 0 0 21 1 0 0 16 0 8 0 178851449 937422848 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25988/tid=26019] ppid=25985 vsize=915452 CPUtime=0
/proc/25988/task/26019/stat : 26019 (java) S 25985 25988 25886 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 178851449 937422848 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25988/tid=26020] ppid=25985 vsize=915452 CPUtime=0
/proc/25988/task/26020/stat : 26020 (java) S 25985 25988 25886 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178851449 937422848 8421 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.26
Current children cumulated vsize (KiB) 915452
[startup+2.97477 s]
/proc/loadavg: 0.93 1.23 1.55 3/102 26028
/proc/meminfo: memFree=1550280/2055920 swapFree=4191880/4192956
[pid=25988] ppid=25985 vsize=915452 CPUtime=2.89
/proc/25988/stat : 25988 (java) R 25985 25988 25886 0 -1 0 8708 0 5 0 281 8 0 0 25 0 8 0 178851441 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073818103 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25988/statm: 228863 8448 2524 14 0 215333 0
[pid=25988/tid=26007] ppid=25985 vsize=915452 CPUtime=0.02
/proc/25988/task/26007/stat : 26007 (java) S 25985 25988 25886 0 -1 64 242 0 0 0 2 0 0 0 17 0 8 0 178851445 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25988/tid=26010] ppid=25985 vsize=915452 CPUtime=0
/proc/25988/task/26010/stat : 26010 (java) S 25985 25988 25886 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178851445 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25988/tid=26012] ppid=25985 vsize=915452 CPUtime=0
/proc/25988/task/26012/stat : 26012 (java) S 25985 25988 25886 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 178851445 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25988/tid=26017] ppid=25985 vsize=915452 CPUtime=0
/proc/25988/task/26017/stat : 26017 (java) S 25985 25988 25886 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 178851449 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25988/tid=26018] ppid=25985 vsize=915452 CPUtime=0.23
/proc/25988/task/26018/stat : 26018 (java) S 25985 25988 25886 0 -1 64 391 0 0 0 22 1 0 0 15 0 8 0 178851449 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25988/tid=26019] ppid=25985 vsize=915452 CPUtime=0
/proc/25988/task/26019/stat : 26019 (java) S 25985 25988 25886 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 178851449 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25988/tid=26020] ppid=25985 vsize=915452 CPUtime=0
/proc/25988/task/26020/stat : 26020 (java) S 25985 25988 25886 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178851449 937422848 8448 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.89
Current children cumulated vsize (KiB) 915452
[startup+6.18013 s]
/proc/loadavg: 1.18 1.27 1.56 3/102 26028
/proc/meminfo: memFree=1550216/2055920 swapFree=4191880/4192956
[pid=25988] ppid=25985 vsize=915452 CPUtime=6.07
/proc/25988/stat : 25988 (java) R 25985 25988 25886 0 -1 0 8713 0 5 0 599 8 0 0 25 0 8 0 178851441 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073801324 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25988/statm: 228863 8453 2524 14 0 215333 0
[pid=25988/tid=26007] ppid=25985 vsize=915452 CPUtime=0.02
/proc/25988/task/26007/stat : 26007 (java) S 25985 25988 25886 0 -1 64 242 0 0 0 2 0 0 0 16 0 8 0 178851445 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25988/tid=26010] ppid=25985 vsize=915452 CPUtime=0
/proc/25988/task/26010/stat : 26010 (java) S 25985 25988 25886 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178851445 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25988/tid=26012] ppid=25985 vsize=915452 CPUtime=0
/proc/25988/task/26012/stat : 26012 (java) S 25985 25988 25886 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 178851445 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25988/tid=26017] ppid=25985 vsize=915452 CPUtime=0
/proc/25988/task/26017/stat : 26017 (java) S 25985 25988 25886 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 178851449 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25988/tid=26018] ppid=25985 vsize=915452 CPUtime=0.23
/proc/25988/task/26018/stat : 26018 (java) S 25985 25988 25886 0 -1 64 391 0 0 0 22 1 0 0 15 0 8 0 178851449 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25988/tid=26019] ppid=25985 vsize=915452 CPUtime=0
/proc/25988/task/26019/stat : 26019 (java) S 25985 25988 25886 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 178851449 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25988/tid=26020] ppid=25985 vsize=915452 CPUtime=0
/proc/25988/task/26020/stat : 26020 (java) S 25985 25988 25886 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178851449 937422848 8453 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 915452
[startup+12.6489 s]
/proc/loadavg: 1.24 1.28 1.56 3/102 26028
/proc/meminfo: memFree=1550224/2055920 swapFree=4191880/4192956
[pid=25988] ppid=25985 vsize=915452 CPUtime=12.47
/proc/25988/stat : 25988 (java) R 25985 25988 25886 0 -1 0 8718 0 5 0 1239 8 0 0 25 0 8 0 178851441 937422848 8458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073789358 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/25988/statm: 228863 8458 2524 14 0 215333 0
[pid=25988/tid=26007] ppid=25985 vsize=915452 CPUtime=0.02
/proc/25988/task/26007/stat : 26007 (java) S 25985 25988 25886 0 -1 64 242 0 0 0 2 0 0 0 16 0 8 0 178851445 937422848 8458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=25988/tid=26010] ppid=25985 vsize=915452 CPUtime=0
/proc/25988/task/26010/stat : 26010 (java) S 25985 25988 25886 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 178851445 937422848 8458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25988/tid=26012] ppid=25985 vsize=915452 CPUtime=0
/proc/25988/task/26012/stat : 26012 (java) S 25985 25988 25886 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 178851445 937422848 8458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25988/tid=26017] ppid=25985 vsize=915452 CPUtime=0
/proc/25988/task/26017/stat : 26017 (java) S 25985 25988 25886 0 -1 64 1 0 0 0 0 0 0 0 22 0 8 0 178851449 937422848 8458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25988/tid=26018] ppid=25985 vsize=915452 CPUtime=0.23
/proc/25988/task/26018/stat : 26018 (java) S 25985 25988 25886 0 -1 64 391 0 0 0 22 1 0 0 16 0 8 0 178851449 937422848 8458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=25988/tid=26019] ppid=25985 vsize=915452 CPUtime=0
/proc/25988/task/26019/stat : 26019 (java) S 25985 25988 25886 0 -1 64 0 0 0 0 0 0 0 0 23 0 8 0 178851449 937422848 8458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=25988/tid=26020] ppid=25985 vsize=915452 CPUtime=0
/proc/25988/task/26020/stat : 26020 (java) S 25985 25988 25886 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 178851449 937422848 8458 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.47
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 14.5576
CPU time (s): 14.3608
CPU user time (s): 14.2728
CPU system time (s): 0.087986
CPU usage (%): 98.6483
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14.2728
system time used= 0.087986
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8811
page faults= 5
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1455
involuntary context switches= 2230
runsolver used 0.017997 s user time and 0.053991 s system time
The end
Begin job on node9 on Tue Jan 9 01:02:43 UTC 2007
IDJOB= 229217
IDBENCH= 6287
FILE ID= node9/229217-1168304563
PBS_JOBID= 3502266
Free space on /tmp= 66544 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-65_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229217-1168304563/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-229217-1168304563 -o ROOT/results/node9/solver-229217-1168304563 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/229217-1168304563/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 67a7b11d4d336e35ea6637687757129a
RANDOM SEED= 521743890
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.231
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.231
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: 1631000 kB
Buffers: 41148 kB
Cached: 283968 kB
SwapCached: 264 kB
Active: 180752 kB
Inactive: 191264 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1631000 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 5548 kB
Writeback: 0 kB
Mapped: 58592 kB
Slab: 37780 kB
Committed_AS: 5147460 kB
PageTables: 2148 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= 66544 MiB
End job on node9 on Tue Jan 9 01:02:58 UTC 2007