0.33
0.33 Abscon 109 (November, 2006)
0.33
0.33 configuration
0.33 name=mac.xml
0.36
0.36 instance
0.36 name=/tmp/evaluation/227315-1168080781/unknown.xml
0.39
0.39 domains being loaded...
0.40
0.40 variables being loaded...
0.43 nbVariables=40 nbDomainTypes=1 minDomainSize=8 maxDomainSize=8
0.43 => wckTime=0.1 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.54
0.54 constraints being loaded...
0.72 nbConstraints=752 nbRelationTypes=753 nbExtensionStructures=752 nbSharedExtensionStructures=0
0.72 nbConflictsStructures=752 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=11885 maxDegree=39
0.72 maxArity=2
0.72 => wckTime=0.384 cpuTime=0.26 mem=11M848
0.76
0.76 solver IterativeSystematicSolver being built...
0.92 => wckTime=0.586 cpuTime=0.39 mem=14M16
0.93
0.93 preprocessing
0.93 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.93 detectedInconsistency=no
0.93 => wckTime=0.012 cpuTime=0.0 mem=14M16
0.97
0.97 search
0.97 run=0 nbConstraintChecks=13666 nbPropagations=379 nbRevisions=4344 nbUselessRevisions=3745 nbAssignments=22
0.97 nbFailedAssignments=4 nbBacktracks=10 nbVisitedNodes=34 nbRestartNogoods=0 mapSize=9 nbInferences=0
0.97 nbTooLargeKeys=0
0.97 => wckTime=0.045 cpuTime=0.02 mem=15M7
0.99
0.99 search
0.99 run=1 nbConstraintChecks=30552 nbPropagations=1135 nbRevisions=13541 nbUselessRevisions=11543 nbAssignments=51
0.99 nbFailedAssignments=10 nbBacktracks=27 nbVisitedNodes=76 nbRestartNogoods=2 mapSize=20 nbInferences=0
0.99 nbTooLargeKeys=0
0.99 => wckTime=0.07 cpuTime=0.03 mem=15M7
1.01
1.01 search
1.01 run=2 nbConstraintChecks=55011 nbPropagations=2423 nbRevisions=30684 nbUselessRevisions=26118 nbAssignments=90
1.01 nbFailedAssignments=19 nbBacktracks=50 nbVisitedNodes=136 nbRestartNogoods=4 mapSize=39 nbInferences=0
1.01 nbTooLargeKeys=0
1.01 => wckTime=0.087 cpuTime=0.04 mem=15M7
1.02
1.02 search
1.02 run=3 nbConstraintChecks=89313 nbPropagations=4434 nbRevisions=59008 nbUselessRevisions=50276
1.02 nbAssignments=151 nbFailedAssignments=37 nbBacktracks=88 nbVisitedNodes=231 nbRestartNogoods=6 mapSize=70
1.02 nbInferences=0 nbTooLargeKeys=0
1.02 => wckTime=0.105 cpuTime=0.06 mem=15M7
1.05
1.05 search
1.05 run=4 nbConstraintChecks=140712 nbPropagations=7503 nbRevisions=104638 nbUselessRevisions=89280
1.05 nbAssignments=234 nbFailedAssignments=62 nbBacktracks=140 nbVisitedNodes=366 nbRestartNogoods=7 mapSize=117
1.05 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.127 cpuTime=0.08 mem=15M7
1.08
1.08 search
1.08 run=5 nbConstraintChecks=223833 nbPropagations=12203 nbRevisions=176522 nbUselessRevisions=150680
1.08 nbAssignments=354 nbFailedAssignments=97 nbBacktracks=217 nbVisitedNodes=557 nbRestartNogoods=8 mapSize=181
1.08 nbInferences=0 nbTooLargeKeys=0
1.08 => wckTime=0.162 cpuTime=0.11 mem=15M7
1.13
1.13 search
1.13 run=6 nbConstraintChecks=346241 nbPropagations=19200 nbRevisions=288318 nbUselessRevisions=246275
1.13 nbAssignments=532 nbFailedAssignments=154 nbBacktracks=330 nbVisitedNodes=844 nbRestartNogoods=11 mapSize=276
1.13 nbInferences=0 nbTooLargeKeys=0
1.13 => wckTime=0.21 cpuTime=0.16 mem=15M7
1.19
1.19 search
1.19 run=7 nbConstraintChecks=508621 nbPropagations=29315 nbRevisions=454295 nbUselessRevisions=388633
1.19 nbAssignments=786 nbFailedAssignments=229 nbBacktracks=501 nbVisitedNodes=1256 nbRestartNogoods=16 mapSize=418
1.19 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.271 cpuTime=0.22 mem=15M7
1.28
1.28 search
1.28 run=8 nbConstraintChecks=745376 nbPropagations=43909 nbRevisions=697661 nbUselessRevisions=597368
1.28 nbAssignments=1157 nbFailedAssignments=337 nbBacktracks=757 nbVisitedNodes=1851 nbRestartNogoods=20
1.28 mapSize=624 nbInferences=0 nbTooLargeKeys=0
1.28 => wckTime=0.359 cpuTime=0.31 mem=15M7
1.42
1.42 search
1.42 run=9 nbConstraintChecks=1103529 nbPropagations=65420 nbRevisions=1061495 nbUselessRevisions=909670
1.42 nbAssignments=1710 nbFailedAssignments=496 nbBacktracks=1143 nbVisitedNodes=2755 nbRestartNogoods=26
1.42 mapSize=931 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.499 cpuTime=0.43 mem=15M7
1.46
1.46 INFO : Stopping hyperNogood (mapSize=1016, nbTooLargekeys=0, mem=15M7)
1.60
1.60 search
1.60 run=10 nbConstraintChecks=1666920 nbPropagations=97631 nbRevisions=1612334 nbUselessRevisions=1382852
1.60 nbAssignments=2554 nbFailedAssignments=756 nbBacktracks=1721 nbVisitedNodes=4148 nbRestartNogoods=34
1.60 => wckTime=0.684 cpuTime=0.6 mem=15M7
1.86
1.86 search
1.86 run=11 nbConstraintChecks=2530682 nbPropagations=145941 nbRevisions=2442513 nbUselessRevisions=2094755
1.86 nbAssignments=3805 nbFailedAssignments=1137 nbBacktracks=2586 nbVisitedNodes=6193 nbRestartNogoods=39
1.86 => wckTime=0.939 cpuTime=0.86 mem=15M7
2.21
2.21 search
2.21 run=12 nbConstraintChecks=3730406 nbPropagations=216596 nbRevisions=3677528 nbUselessRevisions=3156652
2.21 nbAssignments=5638 nbFailedAssignments=1664 nbBacktracks=3883 nbVisitedNodes=9169 nbRestartNogoods=45
2.21 => wckTime=1.293 cpuTime=1.21 mem=15M7
2.80
2.80 search
2.80 run=13 nbConstraintChecks=5751846 nbPropagations=324856 nbRevisions=5559405 nbUselessRevisions=4768871
2.80 nbAssignments=8490 nbFailedAssignments=2562 nbBacktracks=5829 nbVisitedNodes=13853 nbRestartNogoods=51
2.80 => wckTime=1.884 cpuTime=1.8 mem=15M7
3.60
3.60 search
3.60 run=14 nbConstraintChecks=8466028 nbPropagations=484386 nbRevisions=8340780 nbUselessRevisions=7154815
3.60 nbAssignments=12648 nbFailedAssignments=3792 nbBacktracks=8748 nbVisitedNodes=20626 nbRestartNogoods=57
3.60 => wckTime=2.681 cpuTime=2.6 mem=15M7
4.81
4.81 search
4.81 run=15 nbConstraintChecks=12580193 nbPropagations=720451 nbRevisions=12483973 nbUselessRevisions=10713919
4.81 nbAssignments=18853 nbFailedAssignments=5611 nbBacktracks=13128 nbVisitedNodes=30674 nbRestartNogoods=61
4.81 => wckTime=3.887 cpuTime=3.8 mem=15M7
6.72
6.72 search
6.72 run=16 nbConstraintChecks=19132160 nbPropagations=1077964 nbRevisions=18760675 nbUselessRevisions=16099582
6.72 nbAssignments=28276 nbFailedAssignments=8458 nbBacktracks=19696 nbVisitedNodes=46180 nbRestartNogoods=68
6.72 => wckTime=5.803 cpuTime=5.71 mem=15M7
9.49
9.49 search
9.49 run=17 nbConstraintChecks=28540532 nbPropagations=1611307 nbRevisions=28158692 nbUselessRevisions=24170904
9.49 nbAssignments=42260 nbFailedAssignments=12581 nbBacktracks=29549 nbVisitedNodes=69007 nbRestartNogoods=71
9.49 => wckTime=8.567 cpuTime=8.47 mem=15M7
13.71
13.71 search
13.71 run=18 nbConstraintChecks=42912836 nbPropagations=2411784 nbRevisions=42261609 nbUselessRevisions=36279285
13.71 nbAssignments=63288 nbFailedAssignments=18820 nbBacktracks=44330 nbVisitedNodes=103349 nbRestartNogoods=78
13.71 => wckTime=12.791 cpuTime=12.7 mem=15M7
20.09
20.09 search
20.09 run=19 nbConstraintChecks=64749363 nbPropagations=3614523 nbRevisions=63500189 nbUselessRevisions=54513267
20.09 nbAssignments=94723 nbFailedAssignments=28081 nbBacktracks=66498 nbVisitedNodes=154718 nbRestartNogoods=87
20.09 => wckTime=19.172 cpuTime=19.08 mem=15M7
20.12
20.12 search
20.12 run=20 nbConstraintChecks=64839331 nbPropagations=4818927 nbRevisions=84767219 nbUselessRevisions=72771537
20.12 nbAssignments=94851 nbFailedAssignments=28116 nbBacktracks=66592 nbVisitedNodes=154923 nbRestartNogoods=93
20.12 => wckTime=19.199 cpuTime=19.1 mem=15M7
20.12
20.12 global
20.12 nbConstraintChecks=64839331 nbPropagations=4818967 nbRevisions=84767219 nbUselessRevisions=72771537
20.12 nbRestartNogoods=93 solvingWckTime=19.199 solvingCpuTime=19.1 expiredTime=no totalExploration=yes
20.12 nbFoundSolutions=0 globalCpuTime=19.54
20.12 => wckTime=19.787 cpuTime=19.49 mem=15M7
20.12
20.12 s UNSATISFIABLE
20.12 d NODES 94851
20.12 d CHECKS 64839331
20.12
20.12 totalWckTime=19.868 totalCpuTime=19.56
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node58/watcher-227315-1168080781 -o ROOT/results/node58/solver-227315-1168080781 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227315-1168080781/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.13 0.73 1.31 3/73 29529
/proc/meminfo: memFree=1656512/2055920 swapFree=4192812/4192956
[pid=29528] ppid=29523 vsize=292 CPUtime=0
/proc/29528/stat : 29528 (java) R 29523 29528 29392 0 -1 0 52 0 0 0 0 0 0 0 20 0 1 0 156477091 299008 35 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4870948 0 0 4096 0 0 0 0 17 0 0 0
/proc/29528/statm: 73 35 27 14 0 5 0
[startup+0.108576 s]
/proc/loadavg: 0.13 0.73 1.31 3/73 29529
/proc/meminfo: memFree=1656512/2055920 swapFree=4192812/4192956
[pid=29528] ppid=29523 vsize=912588 CPUtime=0.07
/proc/29528/stat : 29528 (java) R 29523 29528 29392 0 -1 0 2750 0 1 0 6 1 0 0 20 0 8 0 156477091 934490112 2496 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072934906 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29528/statm: 228147 2496 1382 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912588
[startup+0.520612 s]
/proc/loadavg: 0.13 0.73 1.31 3/73 29529
/proc/meminfo: memFree=1656512/2055920 swapFree=4192812/4192956
[pid=29528] ppid=29523 vsize=915328 CPUtime=0.48
/proc/29528/stat : 29528 (java) R 29523 29528 29392 0 -1 0 6240 0 1 0 45 3 0 0 18 0 8 0 156477091 937295872 5979 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/29528/statm: 228832 5979 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.34268 s]
/proc/loadavg: 0.13 0.73 1.31 2/75 29543
/proc/meminfo: memFree=1634096/2055920 swapFree=4192812/4192956
[pid=29528] ppid=29523 vsize=915584 CPUtime=1.29
/proc/29528/stat : 29528 (java) R 29523 29528 29392 0 -1 0 8663 0 1 0 124 5 0 0 17 0 8 0 156477091 937558016 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072942745 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29528/statm: 228896 8401 2513 14 0 215366 0
[pid=29528/tid=29536] ppid=29523 vsize=915584 CPUtime=0.03
/proc/29528/task/29536/stat : 29536 (java) S 29523 29528 29392 0 -1 64 303 0 0 0 3 0 0 0 16 0 8 0 156477097 937558016 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29528/tid=29538] ppid=29523 vsize=915584 CPUtime=0
/proc/29528/task/29538/stat : 29538 (java) S 29523 29528 29392 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156477098 937558016 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29528/tid=29539] ppid=29523 vsize=915584 CPUtime=0
/proc/29528/task/29539/stat : 29539 (java) S 29523 29528 29392 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156477098 937558016 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29528/tid=29540] ppid=29523 vsize=915584 CPUtime=0
/proc/29528/task/29540/stat : 29540 (java) S 29523 29528 29392 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156477101 937558016 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29528/tid=29541] ppid=29523 vsize=915584 CPUtime=0.25
/proc/29528/task/29541/stat : 29541 (java) S 29523 29528 29392 0 -1 64 405 0 0 0 24 1 0 0 16 0 8 0 156477101 937558016 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29528/tid=29542] ppid=29523 vsize=915584 CPUtime=0
/proc/29528/task/29542/stat : 29542 (java) S 29523 29528 29392 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156477101 937558016 8401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29528/tid=29543] ppid=29523 vsize=915584 CPUtime=0
/proc/29528/task/29543/stat : 29543 (java) S 29523 29528 29392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156477101 937558016 8401 18446744073709551615 134512640 134570532 4294956480 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) 915584
[startup+2.97982 s]
/proc/loadavg: 0.20 0.73 1.31 2/75 29543
/proc/meminfo: memFree=1633840/2055920 swapFree=4192812/4192956
[pid=29528] ppid=29523 vsize=915584 CPUtime=2.93
/proc/29528/stat : 29528 (java) R 29523 29528 29392 0 -1 0 8698 0 1 0 287 6 0 0 25 0 8 0 156477091 937558016 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073908100 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29528/statm: 228896 8435 2513 14 0 215366 0
[pid=29528/tid=29536] ppid=29523 vsize=915584 CPUtime=0.03
/proc/29528/task/29536/stat : 29536 (java) S 29523 29528 29392 0 -1 64 303 0 0 0 3 0 0 0 16 0 8 0 156477097 937558016 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29528/tid=29538] ppid=29523 vsize=915584 CPUtime=0
/proc/29528/task/29538/stat : 29538 (java) S 29523 29528 29392 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156477098 937558016 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29528/tid=29539] ppid=29523 vsize=915584 CPUtime=0
/proc/29528/task/29539/stat : 29539 (java) S 29523 29528 29392 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156477098 937558016 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29528/tid=29540] ppid=29523 vsize=915584 CPUtime=0
/proc/29528/task/29540/stat : 29540 (java) S 29523 29528 29392 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156477101 937558016 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29528/tid=29541] ppid=29523 vsize=915584 CPUtime=0.27
/proc/29528/task/29541/stat : 29541 (java) S 29523 29528 29392 0 -1 64 418 0 0 0 26 1 0 0 16 0 8 0 156477101 937558016 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29528/tid=29542] ppid=29523 vsize=915584 CPUtime=0
/proc/29528/task/29542/stat : 29542 (java) S 29523 29528 29392 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156477101 937558016 8435 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29528/tid=29543] ppid=29523 vsize=915584 CPUtime=0
/proc/29528/task/29543/stat : 29543 (java) S 29523 29528 29392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156477101 937558016 8435 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) 915584
[startup+6.2611 s]
/proc/loadavg: 0.20 0.73 1.31 2/75 29551
/proc/meminfo: memFree=1633584/2055920 swapFree=4192812/4192956
[pid=29528] ppid=29523 vsize=915584 CPUtime=6.21
/proc/29528/stat : 29528 (java) R 29523 29528 29392 0 -1 0 8704 0 1 0 615 6 0 0 25 0 8 0 156477091 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073906596 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29528/statm: 228896 8440 2513 14 0 215366 0
[pid=29528/tid=29536] ppid=29523 vsize=915584 CPUtime=0.03
/proc/29528/task/29536/stat : 29536 (java) S 29523 29528 29392 0 -1 64 303 0 0 0 3 0 0 0 16 0 8 0 156477097 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29528/tid=29538] ppid=29523 vsize=915584 CPUtime=0
/proc/29528/task/29538/stat : 29538 (java) S 29523 29528 29392 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156477098 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29528/tid=29539] ppid=29523 vsize=915584 CPUtime=0
/proc/29528/task/29539/stat : 29539 (java) S 29523 29528 29392 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156477098 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29528/tid=29540] ppid=29523 vsize=915584 CPUtime=0
/proc/29528/task/29540/stat : 29540 (java) S 29523 29528 29392 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156477101 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29528/tid=29541] ppid=29523 vsize=915584 CPUtime=0.27
/proc/29528/task/29541/stat : 29541 (java) S 29523 29528 29392 0 -1 64 418 0 0 0 26 1 0 0 16 0 8 0 156477101 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29528/tid=29542] ppid=29523 vsize=915584 CPUtime=0
/proc/29528/task/29542/stat : 29542 (java) S 29523 29528 29392 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156477101 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29528/tid=29543] ppid=29523 vsize=915584 CPUtime=0
/proc/29528/task/29543/stat : 29543 (java) S 29523 29528 29392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156477101 937558016 8440 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 915584
[startup+12.7427 s]
/proc/loadavg: 0.32 0.74 1.30 3/75 29551
/proc/meminfo: memFree=1633592/2055920 swapFree=4192812/4192956
[pid=29528] ppid=29523 vsize=915584 CPUtime=12.69
/proc/29528/stat : 29528 (java) R 29523 29528 29392 0 -1 0 8709 0 1 0 1263 6 0 0 25 0 8 0 156477091 937558016 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073914092 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/29528/statm: 228896 8445 2513 14 0 215366 0
[pid=29528/tid=29536] ppid=29523 vsize=915584 CPUtime=0.03
/proc/29528/task/29536/stat : 29536 (java) S 29523 29528 29392 0 -1 64 303 0 0 0 3 0 0 0 16 0 8 0 156477097 937558016 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=29528/tid=29538] ppid=29523 vsize=915584 CPUtime=0
/proc/29528/task/29538/stat : 29538 (java) S 29523 29528 29392 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 156477098 937558016 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29528/tid=29539] ppid=29523 vsize=915584 CPUtime=0
/proc/29528/task/29539/stat : 29539 (java) S 29523 29528 29392 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156477098 937558016 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29528/tid=29540] ppid=29523 vsize=915584 CPUtime=0
/proc/29528/task/29540/stat : 29540 (java) S 29523 29528 29392 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156477101 937558016 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29528/tid=29541] ppid=29523 vsize=915584 CPUtime=0.27
/proc/29528/task/29541/stat : 29541 (java) S 29523 29528 29392 0 -1 64 418 0 0 0 26 1 0 0 16 0 8 0 156477101 937558016 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29528/tid=29542] ppid=29523 vsize=915584 CPUtime=0
/proc/29528/task/29542/stat : 29542 (java) S 29523 29528 29392 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156477101 937558016 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=29528/tid=29543] ppid=29523 vsize=915584 CPUtime=0
/proc/29528/task/29543/stat : 29543 (java) S 29523 29528 29392 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 156477101 937558016 8445 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 915584
Child status: 0
Real time (s): 20.1474
CPU time (s): 20.0909
CPU user time (s): 20.017
CPU system time (s): 0.073988
CPU usage (%): 99.7199
Max. virtual memory (cumulated for all children) (KiB): 915584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.017
system time used= 0.073988
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8804
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= 1530
involuntary context switches= 950
runsolver used 0.024996 s user time and 0.06299 s system time
The end
Begin job on node58 on Sat Jan 6 10:53:06 UTC 2007
IDJOB= 227315
IDBENCH= 6069
FILE ID= node58/227315-1168080781
PBS_JOBID= 3476180
Free space on /tmp= 66534 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.1/rand-2-40-8-753-100-65_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227315-1168080781/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node58/watcher-227315-1168080781 -o ROOT/results/node58/solver-227315-1168080781 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/227315-1168080781/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 1c1a721bf016466adc2036ba0d99c64b
RANDOM SEED= 308989459
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.223
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.223
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: 1658376 kB
Buffers: 22892 kB
Cached: 289092 kB
SwapCached: 0 kB
Active: 78384 kB
Inactive: 253624 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1658376 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 3800 kB
Writeback: 0 kB
Mapped: 30196 kB
Slab: 51332 kB
Committed_AS: 2221040 kB
PageTables: 1572 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= 66534 MiB
End job on node58 on Sat Jan 6 10:53:33 UTC 2007