0.31
0.31 Abscon 109 (November, 2006)
0.32
0.32 configuration
0.32 name=esac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/223621-1168265910/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.42 nbVariables=40 nbDomainTypes=1 minDomainSize=25 maxDomainSize=25
0.42 => wckTime=0.102 cpuTime=0.09 mem=6M951
0.42
0.42 relations being loaded...
0.52
0.52 constraints being loaded...
0.63 nbConstraints=180 nbRelationTypes=180 nbExtensionStructures=180 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=180 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=13 maxArity=2
0.63 => wckTime=0.308 cpuTime=0.23 mem=13M827
0.67
0.67 solver IterativeSystematicSolver being built...
0.83 => wckTime=0.514 cpuTime=0.37 mem=14M839
0.88
0.88 preprocessing
0.88 nbConstraintChecks=77887 nbPropagations=819 nbRevisions=5232 nbUselessRevisions=3979 nbSingletonTests=53
0.88 nbEffectiveSingletonTests=0 nbESACBranches=9 nbRemovedValues=0 detectedInconsistency=no
0.88 => wckTime=0.049 cpuTime=0.03 mem=14M839
0.91
0.91 search
0.91 run=0 nbConstraintChecks=33503 nbPropagations=1326 nbRevisions=8989 nbUselessRevisions=6665 nbAssignments=26
0.91 nbFailedAssignments=9 nbBacktracks=10 nbVisitedNodes=41 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.071 cpuTime=0.04 mem=14M839
0.92
0.92 search
0.92 run=1 nbConstraintChecks=87821 nbPropagations=3379 nbRevisions=23593 nbUselessRevisions=17159 nbAssignments=59
0.92 nbFailedAssignments=23 nbBacktracks=25 nbVisitedNodes=97 nbRestartNogoods=4 mapSize=21 nbInferences=0
0.92 nbTooLargeKeys=0
0.92 => wckTime=0.09 cpuTime=0.06 mem=14M839
0.94
0.94 search
0.94 run=2 nbConstraintChecks=170701 nbPropagations=6513 nbRevisions=46588 nbUselessRevisions=33711
0.94 nbAssignments=114 nbFailedAssignments=42 nbBacktracks=47 nbVisitedNodes=176 nbRestartNogoods=7 mapSize=39
0.94 nbInferences=0 nbTooLargeKeys=0
0.94 => wckTime=0.11 cpuTime=0.07 mem=14M839
0.97
0.97 search
0.97 run=3 nbConstraintChecks=310618 nbPropagations=11583 nbRevisions=84984 nbUselessRevisions=60986
0.97 nbAssignments=199 nbFailedAssignments=80 nbBacktracks=80 nbVisitedNodes=310 nbRestartNogoods=12 mapSize=70
0.97 nbInferences=0 nbTooLargeKeys=0
0.97 => wckTime=0.133 cpuTime=0.09 mem=14M839
0.99
0.99 search
0.99 run=4 nbConstraintChecks=450357 nbPropagations=18708 nbRevisions=139966 nbUselessRevisions=99882
0.99 nbAssignments=307 nbFailedAssignments=132 nbBacktracks=131 nbVisitedNodes=496 nbRestartNogoods=16 mapSize=110
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.158 cpuTime=0.11 mem=14M839
1.03
1.03 search
1.03 run=5 nbConstraintChecks=674096 nbPropagations=29140 nbRevisions=220829 nbUselessRevisions=156558
1.03 nbAssignments=461 nbFailedAssignments=198 nbBacktracks=207 nbVisitedNodes=758 nbRestartNogoods=20 mapSize=174
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.196 cpuTime=0.15 mem=14M839
1.09
1.09 search
1.09 run=6 nbConstraintChecks=1042960 nbPropagations=44851 nbRevisions=344030 nbUselessRevisions=242483
1.09 nbAssignments=696 nbFailedAssignments=308 nbBacktracks=320 nbVisitedNodes=1172 nbRestartNogoods=25 mapSize=277
1.09 nbInferences=0 nbTooLargeKeys=0
1.09 => wckTime=0.252 cpuTime=0.2 mem=14M839
1.18
1.18 search
1.18 run=7 nbConstraintChecks=1577402 nbPropagations=68820 nbRevisions=534033 nbUselessRevisions=374692
1.18 nbAssignments=1070 nbFailedAssignments=506 nbBacktracks=491 nbVisitedNodes=1861 nbRestartNogoods=29
1.18 mapSize=432 nbInferences=0 nbTooLargeKeys=0
1.18 => wckTime=0.349 cpuTime=0.29 mem=14M839
1.30
1.30 search
1.30 run=8 nbConstraintChecks=2255433 nbPropagations=103426 nbRevisions=808484 nbUselessRevisions=566006
1.30 nbAssignments=1567 nbFailedAssignments=724 nbBacktracks=747 nbVisitedNodes=2707 nbRestartNogoods=35
1.30 mapSize=656 nbInferences=0 nbTooLargeKeys=0
1.30 => wckTime=0.466 cpuTime=0.39 mem=14M839
1.46
1.46 search
1.46 run=9 nbConstraintChecks=3236189 nbPropagations=155073 nbRevisions=1220550 nbUselessRevisions=853088
1.46 nbAssignments=2373 nbFailedAssignments=1139 nbBacktracks=1131 nbVisitedNodes=4177 nbRestartNogoods=41
1.46 mapSize=991 nbInferences=0 nbTooLargeKeys=0
1.46 => wckTime=0.625 cpuTime=0.55 mem=14M839
1.47
1.47 INFO : Stopping hyperNogood (mapSize=1005, nbTooLargekeys=0, mem=14M839)
1.67
1.67 search
1.67 run=10 nbConstraintChecks=4769379 nbPropagations=229835 nbRevisions=1816199 nbUselessRevisions=1266485
1.67 nbAssignments=3474 nbFailedAssignments=1656 nbBacktracks=1708 nbVisitedNodes=6160 nbRestartNogoods=47
1.67 => wckTime=0.837 cpuTime=0.75 mem=14M839
1.96
1.96 search
1.96 run=11 nbConstraintChecks=7009841 nbPropagations=338204 nbRevisions=2680875 nbUselessRevisions=1865666
1.96 nbAssignments=4990 nbFailedAssignments=2302 nbBacktracks=2573 nbVisitedNodes=8828 nbRestartNogoods=56
1.96 => wckTime=1.124 cpuTime=1.03 mem=14M839
2.41
2.41 search
2.41 run=12 nbConstraintChecks=10397823 nbPropagations=498973 nbRevisions=3966749 nbUselessRevisions=2758892
2.41 nbAssignments=7444 nbFailedAssignments=3453 nbBacktracks=3872 nbVisitedNodes=13230 nbRestartNogoods=66
2.41 => wckTime=1.571 cpuTime=1.47 mem=14M839
3.06
3.06 search
3.06 run=13 nbConstraintChecks=15309024 nbPropagations=739777 nbRevisions=5891182 nbUselessRevisions=4094078
3.06 nbAssignments=11097 nbFailedAssignments=5153 nbBacktracks=5818 nbVisitedNodes=19819 nbRestartNogoods=80
3.06 => wckTime=2.23 cpuTime=2.13 mem=14M839
4.04
4.04 search
4.04 run=14 nbConstraintChecks=22899425 nbPropagations=1095485 nbRevisions=8724455 nbUselessRevisions=6051723
4.04 nbAssignments=16464 nbFailedAssignments=7595 nbBacktracks=8737 nbVisitedNodes=29434 nbRestartNogoods=90
4.04 => wckTime=3.203 cpuTime=3.09 mem=15M815
5.48
5.48 search
5.48 run=15 nbConstraintChecks=33747773 nbPropagations=1624252 nbRevisions=12947076 nbUselessRevisions=8971428
5.48 nbAssignments=24683 nbFailedAssignments=11431 nbBacktracks=13116 nbVisitedNodes=44194 nbRestartNogoods=105
5.48 => wckTime=4.641 cpuTime=4.51 mem=15M815
7.84
7.84 search
7.84 run=16 nbConstraintChecks=52287208 nbPropagations=2431564 nbRevisions=19413475 nbUselessRevisions=13438170
7.84 nbAssignments=37513 nbFailedAssignments=17687 nbBacktracks=19684 nbVisitedNodes=67490 nbRestartNogoods=116
7.84 => wckTime=7.007 cpuTime=6.86 mem=15M815
11.03
11.03 search
11.03 run=17 nbConstraintChecks=76954735 nbPropagations=3620799 nbRevisions=28923196 nbUselessRevisions=20020852
11.03 nbAssignments=55360 nbFailedAssignments=25680 nbBacktracks=29536 nbVisitedNodes=99240 nbRestartNogoods=132
11.03 => wckTime=10.193 cpuTime=10.01 mem=15M815
16.10
16.10 search
16.10 run=18 nbConstraintChecks=116138752 nbPropagations=5409829 nbRevisions=43216413 nbUselessRevisions=29912069
16.10 nbAssignments=82833 nbFailedAssignments=38369 nbBacktracks=44315 nbVisitedNodes=148643 nbRestartNogoods=143
16.10 => wckTime=15.264 cpuTime=15.03 mem=15M815
21.12
21.12 search
21.12 run=19 nbConstraintChecks=154947375 nbPropagations=7789330 nbRevisions=62242401 nbUselessRevisions=43081964
21.12 nbAssignments=110059 nbFailedAssignments=50784 nbBacktracks=59127 nbVisitedNodes=197356 nbRestartNogoods=151
21.12 => wckTime=20.281 cpuTime=20.01 mem=15M815
21.12
21.12 global
21.12 nbConstraintChecks=155025262 nbPropagations=7790149 nbRevisions=62247633 nbUselessRevisions=43085943
21.12 nbRestartNogoods=151 solvingWckTime=20.282 solvingCpuTime=20.01 expiredTime=no totalExploration=yes
21.12 nbFoundSolutions=0 globalCpuTime=20.43
21.12 => wckTime=20.8 cpuTime=20.38 mem=15M815
21.12
21.12 s UNSATISFIABLE
21.12 d NODES 110059
21.12 d CHECKS 155025262
21.12
21.12 totalWckTime=20.882 totalCpuTime=20.43
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node2/watcher-223621-1168265910 -o ROOT/results/node2/solver-223621-1168265910 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223621-1168265910/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.88 0.49 0.37 5/87 10961
/proc/meminfo: memFree=1774872/2055920 swapFree=4191880/4192956
[pid=10960] ppid=10953 vsize=18540 CPUtime=0
/proc/10960/stat : 10960 (runsolver) R 10953 10960 10810 0 -1 4194368 17 0 0 0 0 0 0 0 20 0 1 0 174986702 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 206381313319 0 2147483391 4096 24578 0 0 0 17 0 0 0
/proc/10960/statm: 4635 279 244 17 0 2626 0
[startup+0.106223 s]
/proc/loadavg: 0.88 0.49 0.37 5/87 10961
/proc/meminfo: memFree=1774872/2055920 swapFree=4191880/4192956
[pid=10960] ppid=10953 vsize=914988 CPUtime=0.08
/proc/10960/stat : 10960 (java) R 10953 10960 10810 0 -1 0 2980 0 1 0 7 1 0 0 17 0 8 0 174986702 936947712 2726 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072926849 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10960/statm: 228747 2726 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.514284 s]
/proc/loadavg: 0.88 0.49 0.37 5/87 10961
/proc/meminfo: memFree=1774872/2055920 swapFree=4191880/4192956
[pid=10960] ppid=10953 vsize=915328 CPUtime=0.49
/proc/10960/stat : 10960 (java) R 10953 10960 10810 0 -1 0 7081 0 1 0 45 4 0 0 18 0 8 0 174986702 937295872 6820 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073584752 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10960/statm: 228832 6820 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33643 s]
/proc/loadavg: 0.88 0.49 0.37 3/101 10975
/proc/meminfo: memFree=1742120/2055920 swapFree=4191880/4192956
[pid=10960] ppid=10953 vsize=915452 CPUtime=1.3
/proc/10960/stat : 10960 (java) R 10953 10960 10810 0 -1 0 8695 0 1 0 123 7 0 0 24 0 8 0 174986702 937422848 8433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073790540 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10960/statm: 228863 8433 2524 14 0 215333 0
[pid=10960/tid=10965] ppid=10953 vsize=915452 CPUtime=0.03
/proc/10960/task/10965/stat : 10965 (java) S 10953 10960 10810 0 -1 64 244 0 0 0 3 0 0 0 17 0 8 0 174986706 937422848 8433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10960/tid=10968] ppid=10953 vsize=915452 CPUtime=0
/proc/10960/task/10968/stat : 10968 (java) S 10953 10960 10810 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174986706 937422848 8433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10960/tid=10970] ppid=10953 vsize=915452 CPUtime=0
/proc/10960/task/10970/stat : 10970 (java) S 10953 10960 10810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174986706 937422848 8433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10960/tid=10972] ppid=10953 vsize=915452 CPUtime=0
/proc/10960/task/10972/stat : 10972 (java) S 10953 10960 10810 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174986710 937422848 8433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10960/tid=10973] ppid=10953 vsize=915452 CPUtime=0.21
/proc/10960/task/10973/stat : 10973 (java) S 10953 10960 10810 0 -1 64 383 0 0 0 20 1 0 0 16 0 8 0 174986710 937422848 8433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10960/tid=10974] ppid=10953 vsize=915452 CPUtime=0
/proc/10960/task/10974/stat : 10974 (java) S 10953 10960 10810 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174986710 937422848 8433 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10960/tid=10975] ppid=10953 vsize=915452 CPUtime=0
/proc/10960/task/10975/stat : 10975 (java) S 10953 10960 10810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174986710 937422848 8433 18446744073709551615 134512640 134570532 4294956480 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) 915452
[startup+2.97373 s]
/proc/loadavg: 0.88 0.49 0.37 3/101 10975
/proc/meminfo: memFree=1741672/2055920 swapFree=4191880/4192956
[pid=10960] ppid=10953 vsize=915452 CPUtime=2.93
/proc/10960/stat : 10960 (java) R 10953 10960 10810 0 -1 0 8730 0 1 0 286 7 0 0 25 0 8 0 174986702 937422848 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073796448 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10960/statm: 228863 8467 2524 14 0 215333 0
[pid=10960/tid=10965] ppid=10953 vsize=915452 CPUtime=0.03
/proc/10960/task/10965/stat : 10965 (java) S 10953 10960 10810 0 -1 64 244 0 0 0 3 0 0 0 17 0 8 0 174986706 937422848 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10960/tid=10968] ppid=10953 vsize=915452 CPUtime=0
/proc/10960/task/10968/stat : 10968 (java) S 10953 10960 10810 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174986706 937422848 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10960/tid=10970] ppid=10953 vsize=915452 CPUtime=0
/proc/10960/task/10970/stat : 10970 (java) S 10953 10960 10810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174986706 937422848 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10960/tid=10972] ppid=10953 vsize=915452 CPUtime=0
/proc/10960/task/10972/stat : 10972 (java) S 10953 10960 10810 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174986710 937422848 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10960/tid=10973] ppid=10953 vsize=915452 CPUtime=0.23
/proc/10960/task/10973/stat : 10973 (java) S 10953 10960 10810 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 174986710 937422848 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10960/tid=10974] ppid=10953 vsize=915452 CPUtime=0
/proc/10960/task/10974/stat : 10974 (java) S 10953 10960 10810 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174986710 937422848 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10960/tid=10975] ppid=10953 vsize=915452 CPUtime=0
/proc/10960/task/10975/stat : 10975 (java) S 10953 10960 10810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174986710 937422848 8467 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.93
Current children cumulated vsize (KiB) 915452
[startup+6.27234 s]
/proc/loadavg: 0.97 0.52 0.37 3/101 10975
/proc/meminfo: memFree=1741480/2055920 swapFree=4191880/4192956
[pid=10960] ppid=10953 vsize=915452 CPUtime=6.19
/proc/10960/stat : 10960 (java) R 10953 10960 10810 0 -1 0 8738 0 1 0 612 7 0 0 25 0 8 0 174986702 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073780985 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10960/statm: 228863 8474 2524 14 0 215333 0
[pid=10960/tid=10965] ppid=10953 vsize=915452 CPUtime=0.03
/proc/10960/task/10965/stat : 10965 (java) S 10953 10960 10810 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 174986706 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10960/tid=10968] ppid=10953 vsize=915452 CPUtime=0
/proc/10960/task/10968/stat : 10968 (java) S 10953 10960 10810 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174986706 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10960/tid=10970] ppid=10953 vsize=915452 CPUtime=0
/proc/10960/task/10970/stat : 10970 (java) S 10953 10960 10810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174986706 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10960/tid=10972] ppid=10953 vsize=915452 CPUtime=0
/proc/10960/task/10972/stat : 10972 (java) S 10953 10960 10810 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174986710 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10960/tid=10973] ppid=10953 vsize=915452 CPUtime=0.23
/proc/10960/task/10973/stat : 10973 (java) S 10953 10960 10810 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 174986710 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10960/tid=10974] ppid=10953 vsize=915452 CPUtime=0
/proc/10960/task/10974/stat : 10974 (java) S 10953 10960 10810 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174986710 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10960/tid=10975] ppid=10953 vsize=915452 CPUtime=0
/proc/10960/task/10975/stat : 10975 (java) S 10953 10960 10810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174986710 937422848 8474 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915452
[startup+12.7465 s]
/proc/loadavg: 1.05 0.54 0.38 3/101 10975
/proc/meminfo: memFree=1741480/2055920 swapFree=4191880/4192956
[pid=10960] ppid=10953 vsize=915452 CPUtime=12.6
/proc/10960/stat : 10960 (java) R 10953 10960 10810 0 -1 0 8743 0 1 0 1253 7 0 0 25 0 8 0 174986702 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073808624 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/10960/statm: 228863 8479 2524 14 0 215333 0
[pid=10960/tid=10965] ppid=10953 vsize=915452 CPUtime=0.03
/proc/10960/task/10965/stat : 10965 (java) S 10953 10960 10810 0 -1 64 244 0 0 0 3 0 0 0 16 0 8 0 174986706 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=10960/tid=10968] ppid=10953 vsize=915452 CPUtime=0
/proc/10960/task/10968/stat : 10968 (java) S 10953 10960 10810 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 174986706 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10960/tid=10970] ppid=10953 vsize=915452 CPUtime=0
/proc/10960/task/10970/stat : 10970 (java) S 10953 10960 10810 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 174986706 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10960/tid=10972] ppid=10953 vsize=915452 CPUtime=0
/proc/10960/task/10972/stat : 10972 (java) S 10953 10960 10810 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 174986710 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10960/tid=10973] ppid=10953 vsize=915452 CPUtime=0.23
/proc/10960/task/10973/stat : 10973 (java) S 10953 10960 10810 0 -1 64 389 0 0 0 22 1 0 0 16 0 8 0 174986710 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10960/tid=10974] ppid=10953 vsize=915452 CPUtime=0
/proc/10960/task/10974/stat : 10974 (java) S 10953 10960 10810 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 174986710 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=10960/tid=10975] ppid=10953 vsize=915452 CPUtime=0
/proc/10960/task/10975/stat : 10975 (java) S 10953 10960 10810 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 174986710 937422848 8479 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 21.1722
CPU time (s): 20.9258
CPU user time (s): 20.8418
CPU system time (s): 0.083987
CPU usage (%): 98.8361
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.8418
system time used= 0.083987
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8837
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= 1510
involuntary context switches= 2165
runsolver used 0.033994 s user time and 0.069989 s system time
The end
Begin job on node2 on Mon Jan 8 14:18:30 UTC 2007
IDJOB= 223621
IDBENCH= 5660
FILE ID= node2/223621-1168265910
PBS_JOBID= 3482818
Free space on /tmp= 66339 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.5/rand-2-40-25-180-500-77_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223621-1168265910/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node2/watcher-223621-1168265910 -o ROOT/results/node2/solver-223621-1168265910 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar esac.xml 1 XSax /tmp/evaluation/223621-1168265910/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2791cdb02c36a6d16610fee3a7cdd30a
RANDOM SEED= 989624351
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.259
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 : 5931.00
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.259
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: 1777320 kB
Buffers: 36376 kB
Cached: 133744 kB
SwapCached: 288 kB
Active: 164740 kB
Inactive: 65560 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1777320 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 2736 kB
Writeback: 0 kB
Mapped: 78400 kB
Slab: 33252 kB
Committed_AS: 4506928 kB
PageTables: 2212 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= 66339 MiB
End job on node2 on Mon Jan 8 14:18:52 UTC 2007