0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=mac.xml
0.36
0.36 instance
0.37 name=/tmp/evaluation/228870-1168080913/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.44 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.44 => wckTime=0.106 cpuTime=0.09 mem=6M951
0.44
0.44 relations being loaded...
0.52
0.52 constraints being loaded...
0.64 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.64 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1365 maxDegree=18
0.64 maxArity=2
0.64 => wckTime=0.303 cpuTime=0.22 mem=11M893
0.68
0.68 solver IterativeSystematicSolver being built...
0.85 => wckTime=0.516 cpuTime=0.35 mem=13M735
0.86
0.86 preprocessing
0.86 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.86 detectedInconsistency=no
0.86 => wckTime=0.0030 cpuTime=0.0 mem=13M735
0.91
0.91 search
0.91 run=0 nbConstraintChecks=23633 nbPropagations=418 nbRevisions=3579 nbUselessRevisions=2788 nbAssignments=20
0.91 nbFailedAssignments=5 nbBacktracks=10 nbVisitedNodes=31 nbRestartNogoods=0 mapSize=8 nbInferences=0
0.91 nbTooLargeKeys=0
0.91 => wckTime=0.054 cpuTime=0.02 mem=14M710
0.93
0.93 search
0.93 run=1 nbConstraintChecks=56171 nbPropagations=1400 nbRevisions=12791 nbUselessRevisions=9817 nbAssignments=49
0.93 nbFailedAssignments=14 nbBacktracks=25 nbVisitedNodes=79 nbRestartNogoods=2 mapSize=21 nbInferences=0
0.93 nbTooLargeKeys=0
0.93 => wckTime=0.074 cpuTime=0.04 mem=14M710
0.95
0.95 search
0.95 run=2 nbConstraintChecks=102978 nbPropagations=3183 nbRevisions=30114 nbUselessRevisions=23117
0.95 nbAssignments=94 nbFailedAssignments=28 nbBacktracks=50 nbVisitedNodes=153 nbRestartNogoods=4 mapSize=44
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.094 cpuTime=0.05 mem=14M710
0.96
0.96 search
0.96 run=3 nbConstraintChecks=162069 nbPropagations=6011 nbRevisions=58225 nbUselessRevisions=44722
0.96 nbAssignments=152 nbFailedAssignments=47 nbBacktracks=83 nbVisitedNodes=247 nbRestartNogoods=8 mapSize=69
0.96 nbInferences=0 nbTooLargeKeys=0
0.96 => wckTime=0.112 cpuTime=0.07 mem=14M710
0.98
0.98 search
0.98 run=4 nbConstraintChecks=245230 nbPropagations=10313 nbRevisions=101196 nbUselessRevisions=77863
0.98 nbAssignments=241 nbFailedAssignments=77 nbBacktracks=136 nbVisitedNodes=394 nbRestartNogoods=11 mapSize=114
0.98 nbInferences=0 nbTooLargeKeys=0
0.98 => wckTime=0.132 cpuTime=0.08 mem=14M710
1.02
1.02 search
1.02 run=5 nbConstraintChecks=398155 nbPropagations=17340 nbRevisions=174039 nbUselessRevisions=133887
1.02 nbAssignments=383 nbFailedAssignments=140 nbBacktracks=212 nbVisitedNodes=644 nbRestartNogoods=14 mapSize=180
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.169 cpuTime=0.12 mem=14M710
1.07
1.07 search
1.07 run=6 nbConstraintChecks=623966 nbPropagations=28309 nbRevisions=288330 nbUselessRevisions=221828
1.07 nbAssignments=587 nbFailedAssignments=223 nbBacktracks=325 nbVisitedNodes=1004 nbRestartNogoods=15 mapSize=285
1.07 nbInferences=0 nbTooLargeKeys=0
1.07 => wckTime=0.217 cpuTime=0.16 mem=14M710
1.14
1.14 search
1.14 run=7 nbConstraintChecks=941766 nbPropagations=44718 nbRevisions=460635 nbUselessRevisions=353882
1.14 nbAssignments=878 nbFailedAssignments=340 nbBacktracks=496 nbVisitedNodes=1507 nbRestartNogoods=20 mapSize=427
1.14 nbInferences=0 nbTooLargeKeys=0
1.14 => wckTime=0.287 cpuTime=0.23 mem=14M710
1.24
1.24 search
1.24 run=8 nbConstraintChecks=1416189 nbPropagations=69368 nbRevisions=721855 nbUselessRevisions=553697
1.24 nbAssignments=1334 nbFailedAssignments=534 nbBacktracks=752 nbVisitedNodes=2301 nbRestartNogoods=22
1.24 mapSize=645 nbInferences=0 nbTooLargeKeys=0
1.24 => wckTime=0.388 cpuTime=0.32 mem=14M710
1.38
1.38 search
1.38 run=9 nbConstraintChecks=2058076 nbPropagations=105468 nbRevisions=1104852 nbUselessRevisions=846963
1.38 nbAssignments=1975 nbFailedAssignments=785 nbBacktracks=1137 nbVisitedNodes=3408 nbRestartNogoods=30
1.38 mapSize=965 nbInferences=0 nbTooLargeKeys=0
1.38 => wckTime=0.528 cpuTime=0.45 mem=14M710
1.41
1.41 INFO : Stopping hyperNogood (mapSize=1016, nbTooLargekeys=0, mem=14M710)
1.57
1.57 search
1.57 run=10 nbConstraintChecks=3088317 nbPropagations=159229 nbRevisions=1677761 nbUselessRevisions=1285245
1.57 nbAssignments=2931 nbFailedAssignments=1157 nbBacktracks=1713 nbVisitedNodes=5073 nbRestartNogoods=35
1.57 => wckTime=0.716 cpuTime=0.63 mem=14M710
1.85
1.85 search
1.85 run=11 nbConstraintChecks=4737427 nbPropagations=241754 nbRevisions=2562051 nbUselessRevisions=1962246
1.85 nbAssignments=4416 nbFailedAssignments=1772 nbBacktracks=2578 nbVisitedNodes=7706 nbRestartNogoods=47
1.85 => wckTime=0.998 cpuTime=0.9 mem=14M710
2.22
2.22 search
2.22 run=12 nbConstraintChecks=6951950 nbPropagations=363421 nbRevisions=3863281 nbUselessRevisions=2957870
2.22 nbAssignments=6540 nbFailedAssignments=2590 nbBacktracks=3878 nbVisitedNodes=11387 nbRestartNogoods=50
2.22 => wckTime=1.366 cpuTime=1.27 mem=14M710
2.84
2.84 search
2.84 run=13 nbConstraintChecks=10657816 nbPropagations=550091 nbRevisions=5884771 nbUselessRevisions=4509686
2.84 nbAssignments=10011 nbFailedAssignments=4108 nbBacktracks=5826 nbVisitedNodes=17568 nbRestartNogoods=56
2.84 => wckTime=1.985 cpuTime=1.88 mem=14M710
3.64
3.64 search
3.64 run=14 nbConstraintChecks=15431758 nbPropagations=822018 nbRevisions=8805964 nbUselessRevisions=6747597
3.64 nbAssignments=14731 nbFailedAssignments=5903 nbBacktracks=8745 nbVisitedNodes=25697 nbRestartNogoods=59
3.64 => wckTime=2.792 cpuTime=2.68 mem=14M710
5.02
5.02 search
5.02 run=15 nbConstraintChecks=23875515 nbPropagations=1235687 nbRevisions=13274153 nbUselessRevisions=10161492
5.02 nbAssignments=22226 nbFailedAssignments=9014 nbBacktracks=13123 nbVisitedNodes=38913 nbRestartNogoods=70
5.02 => wckTime=4.168 cpuTime=4.04 mem=14M710
7.12
7.12 search
7.12 run=16 nbConstraintChecks=36581389 nbPropagations=1867305 nbRevisions=20162555 nbUselessRevisions=15441672
7.12 nbAssignments=33799 nbFailedAssignments=14016 nbBacktracks=19691 nbVisitedNodes=59574 nbRestartNogoods=80
7.12 => wckTime=6.265 cpuTime=6.12 mem=14M710
9.98
9.98 search
9.98 run=17 nbConstraintChecks=53809011 nbPropagations=2800565 nbRevisions=30310538 nbUselessRevisions=23220828
9.98 nbAssignments=50166 nbFailedAssignments=20524 nbBacktracks=29545 nbVisitedNodes=88104 nbRestartNogoods=86
9.98 => wckTime=9.127 cpuTime=8.95 mem=14M710
14.41
14.41 search
14.41 run=18 nbConstraintChecks=80872498 nbPropagations=4201420 nbRevisions=45541031 nbUselessRevisions=34897917
14.41 nbAssignments=75074 nbFailedAssignments=30649 nbBacktracks=44324 nbVisitedNodes=131692 nbRestartNogoods=95
14.41 => wckTime=13.56 cpuTime=13.34 mem=14M710
21.14
21.14 search
21.14 run=19 nbConstraintChecks=122475532 nbPropagations=6307206 nbRevisions=68461170 nbUselessRevisions=52456879
21.14 nbAssignments=112298 nbFailedAssignments=45699 nbBacktracks=66493 nbVisitedNodes=196951 nbRestartNogoods=104
21.14 => wckTime=20.288 cpuTime=20.01 mem=14M710
23.83
23.83 search
23.83 run=20 nbConstraintChecks=139173223 nbPropagations=8689535 nbRevisions=94411551 nbUselessRevisions=72330286
23.83 nbAssignments=126740 nbFailedAssignments=51623 nbBacktracks=75012 nbVisitedNodes=222322 nbRestartNogoods=117
23.83 => wckTime=22.981 cpuTime=22.68 mem=14M710
23.83
23.83 global
23.83 nbConstraintChecks=139173223 nbPropagations=8689575 nbRevisions=94411551 nbUselessRevisions=72330286
23.83 nbRestartNogoods=117 solvingWckTime=22.982 solvingCpuTime=22.68 expiredTime=no totalExploration=yes
23.83 nbFoundSolutions=0 globalCpuTime=23.09
23.83 => wckTime=23.501 cpuTime=23.04 mem=14M710
23.84
23.84 s UNSATISFIABLE
23.84 d NODES 126740
23.84 d CHECKS 139173223
23.84
23.84 totalWckTime=23.589 totalCpuTime=23.09
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node13/watcher-228870-1168080913 -o ROOT/results/node13/solver-228870-1168080913 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228870-1168080913/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
/proc/loadavg: 1.02 1.34 1.62 5/93 7834
/proc/meminfo: memFree=1226016/2055920 swapFree=4192812/4192956
[pid=7833] ppid=7831 vsize=18540 CPUtime=0
/proc/7833/stat : 7833 (runsolver) R 7831 7654 7654 0 -1 4194368 12 0 0 0 0 0 0 0 19 0 1 0 156487451 18984960 277 18446744073709551615 4194304 4267372 548682068944 18446744073709551615 269757437367 0 0 4096 24578 0 0 0 17 1 0 0
/proc/7833/statm: 4635 277 242 17 0 2626 0
Current StackSize limit: 10240 KiB
[startup+0.108304 s]
/proc/loadavg: 1.02 1.34 1.62 5/93 7834
/proc/meminfo: memFree=1226016/2055920 swapFree=4192812/4192956
[pid=7833] ppid=7831 vsize=914988 CPUtime=0.08
/proc/7833/stat : 7833 (java) R 7831 7833 7654 0 -1 0 2960 0 1 0 7 1 0 0 18 0 8 0 156487451 936947712 2706 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4154605312 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7833/statm: 228747 2706 1417 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.516355 s]
/proc/loadavg: 1.02 1.34 1.62 5/93 7834
/proc/meminfo: memFree=1226016/2055920 swapFree=4192812/4192956
[pid=7833] ppid=7831 vsize=915328 CPUtime=0.49
/proc/7833/stat : 7833 (java) R 7831 7833 7654 0 -1 0 6531 0 1 0 45 4 0 0 18 0 8 0 156487451 937295872 6270 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072942728 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7833/statm: 228832 6270 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33946 s]
/proc/loadavg: 1.10 1.35 1.62 3/100 7841
/proc/meminfo: memFree=1202600/2055920 swapFree=4192812/4192956
[pid=7833] ppid=7831 vsize=915452 CPUtime=1.29
/proc/7833/stat : 7833 (java) R 7831 7833 7654 0 -1 0 8579 0 1 0 123 6 0 0 24 0 8 0 156487451 937422848 8317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073791251 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7833/statm: 228863 8317 2513 14 0 215333 0
[pid=7833/tid=7835] ppid=7831 vsize=915452 CPUtime=0.03
/proc/7833/task/7835/stat : 7835 (java) S 7831 7833 7654 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 156487455 937422848 8317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7833/tid=7836] ppid=7831 vsize=915452 CPUtime=0
/proc/7833/task/7836/stat : 7836 (java) S 7831 7833 7654 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156487456 937422848 8317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7833/tid=7837] ppid=7831 vsize=915452 CPUtime=0
/proc/7833/task/7837/stat : 7837 (java) S 7831 7833 7654 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156487456 937422848 8317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7833/tid=7838] ppid=7831 vsize=915452 CPUtime=0
/proc/7833/task/7838/stat : 7838 (java) S 7831 7833 7654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156487459 937422848 8317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7833/tid=7839] ppid=7831 vsize=915452 CPUtime=0.23
/proc/7833/task/7839/stat : 7839 (java) S 7831 7833 7654 0 -1 64 381 0 0 0 22 1 0 0 15 0 8 0 156487459 937422848 8317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7833/tid=7840] ppid=7831 vsize=915452 CPUtime=0
/proc/7833/task/7840/stat : 7840 (java) S 7831 7833 7654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156487460 937422848 8317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7833/tid=7841] ppid=7831 vsize=915452 CPUtime=0
/proc/7833/task/7841/stat : 7841 (java) S 7831 7833 7654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156487460 937422848 8317 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 915452
[startup+2.99268 s]
/proc/loadavg: 1.10 1.35 1.62 3/100 7841
/proc/meminfo: memFree=1202344/2055920 swapFree=4192812/4192956
[pid=7833] ppid=7831 vsize=915452 CPUtime=2.94
/proc/7833/stat : 7833 (java) R 7831 7833 7654 0 -1 0 8607 0 1 0 287 7 0 0 25 0 8 0 156487451 937422848 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073794297 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7833/statm: 228863 8344 2513 14 0 215333 0
[pid=7833/tid=7835] ppid=7831 vsize=915452 CPUtime=0.03
/proc/7833/task/7835/stat : 7835 (java) S 7831 7833 7654 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 156487455 937422848 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7833/tid=7836] ppid=7831 vsize=915452 CPUtime=0
/proc/7833/task/7836/stat : 7836 (java) S 7831 7833 7654 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156487456 937422848 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7833/tid=7837] ppid=7831 vsize=915452 CPUtime=0
/proc/7833/task/7837/stat : 7837 (java) S 7831 7833 7654 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156487456 937422848 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7833/tid=7838] ppid=7831 vsize=915452 CPUtime=0
/proc/7833/task/7838/stat : 7838 (java) S 7831 7833 7654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156487459 937422848 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7833/tid=7839] ppid=7831 vsize=915452 CPUtime=0.25
/proc/7833/task/7839/stat : 7839 (java) S 7831 7833 7654 0 -1 64 389 0 0 0 24 1 0 0 16 0 8 0 156487459 937422848 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7833/tid=7840] ppid=7831 vsize=915452 CPUtime=0
/proc/7833/task/7840/stat : 7840 (java) S 7831 7833 7654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156487460 937422848 8344 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7833/tid=7841] ppid=7831 vsize=915452 CPUtime=0
/proc/7833/task/7841/stat : 7841 (java) S 7831 7833 7654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156487460 937422848 8344 18446744073709551615 134512640 134570532 4294956464 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) 915452
[startup+6.27712 s]
/proc/loadavg: 1.17 1.36 1.62 3/100 7841
/proc/meminfo: memFree=1202280/2055920 swapFree=4192812/4192956
[pid=7833] ppid=7831 vsize=915452 CPUtime=6.2
/proc/7833/stat : 7833 (java) R 7831 7833 7654 0 -1 0 8612 0 1 0 613 7 0 0 25 0 8 0 156487451 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073820122 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7833/statm: 228863 8348 2513 14 0 215333 0
[pid=7833/tid=7835] ppid=7831 vsize=915452 CPUtime=0.03
/proc/7833/task/7835/stat : 7835 (java) S 7831 7833 7654 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 156487455 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7833/tid=7836] ppid=7831 vsize=915452 CPUtime=0
/proc/7833/task/7836/stat : 7836 (java) S 7831 7833 7654 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156487456 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7833/tid=7837] ppid=7831 vsize=915452 CPUtime=0
/proc/7833/task/7837/stat : 7837 (java) S 7831 7833 7654 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156487456 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7833/tid=7838] ppid=7831 vsize=915452 CPUtime=0
/proc/7833/task/7838/stat : 7838 (java) S 7831 7833 7654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156487459 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7833/tid=7839] ppid=7831 vsize=915452 CPUtime=0.25
/proc/7833/task/7839/stat : 7839 (java) S 7831 7833 7654 0 -1 64 389 0 0 0 24 1 0 0 16 0 8 0 156487459 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7833/tid=7840] ppid=7831 vsize=915452 CPUtime=0
/proc/7833/task/7840/stat : 7840 (java) S 7831 7833 7654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156487460 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7833/tid=7841] ppid=7831 vsize=915452 CPUtime=0
/proc/7833/task/7841/stat : 7841 (java) S 7831 7833 7654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156487460 937422848 8348 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 915452
[startup+12.768 s]
/proc/loadavg: 1.24 1.37 1.62 3/100 7841
/proc/meminfo: memFree=1202344/2055920 swapFree=4192812/4192956
[pid=7833] ppid=7831 vsize=915452 CPUtime=12.62
/proc/7833/stat : 7833 (java) R 7831 7833 7654 0 -1 0 8617 0 1 0 1255 7 0 0 25 0 8 0 156487451 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918564 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7833/statm: 228863 8353 2513 14 0 215333 0
[pid=7833/tid=7835] ppid=7831 vsize=915452 CPUtime=0.03
/proc/7833/task/7835/stat : 7835 (java) S 7831 7833 7654 0 -1 64 242 0 0 0 3 0 0 0 16 0 8 0 156487455 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7833/tid=7836] ppid=7831 vsize=915452 CPUtime=0
/proc/7833/task/7836/stat : 7836 (java) S 7831 7833 7654 0 -1 64 10 0 0 0 0 0 0 0 16 0 8 0 156487456 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7833/tid=7837] ppid=7831 vsize=915452 CPUtime=0
/proc/7833/task/7837/stat : 7837 (java) S 7831 7833 7654 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156487456 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7833/tid=7838] ppid=7831 vsize=915452 CPUtime=0
/proc/7833/task/7838/stat : 7838 (java) S 7831 7833 7654 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 156487459 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7833/tid=7839] ppid=7831 vsize=915452 CPUtime=0.25
/proc/7833/task/7839/stat : 7839 (java) S 7831 7833 7654 0 -1 64 389 0 0 0 24 1 0 0 16 0 8 0 156487459 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7833/tid=7840] ppid=7831 vsize=915452 CPUtime=0
/proc/7833/task/7840/stat : 7840 (java) S 7831 7833 7654 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156487460 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7833/tid=7841] ppid=7831 vsize=915452 CPUtime=0
/proc/7833/task/7841/stat : 7841 (java) S 7831 7833 7654 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156487460 937422848 8353 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 23.8989
CPU time (s): 23.6034
CPU user time (s): 23.5254
CPU system time (s): 0.077988
CPU usage (%): 98.7635
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 23.5254
system time used= 0.077988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8717
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= 1571
involuntary context switches= 2786
runsolver used 0.030995 s user time and 0.090986 s system time
The end
Begin job on node13 on Sat Jan 6 10:55:17 UTC 2007
IDJOB= 228870
IDBENCH= 6242
FILE ID= node13/228870-1168080913
PBS_JOBID= 3475874
Free space on /tmp= 66317 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-47_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228870-1168080913/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-228870-1168080913 -o ROOT/results/node13/solver-228870-1168080913 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228870-1168080913/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 2d119a13e62e3aff46cbc10a664514ff
RANDOM SEED= 976629141
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: 1226496 kB
Buffers: 71568 kB
Cached: 561784 kB
SwapCached: 0 kB
Active: 441056 kB
Inactive: 292900 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1226496 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1816 kB
Writeback: 0 kB
Mapped: 129696 kB
Slab: 79836 kB
Committed_AS: 4495548 kB
PageTables: 2540 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= 66317 MiB
End job on node13 on Sat Jan 6 10:55:58 UTC 2007