0.36
0.36 Abscon 109 (November, 2006)
0.36
0.36 configuration
0.36 name=mac.xml
0.39
0.39 instance
0.39 name=/tmp/evaluation/228766-1168080913/unknown.xml
0.42
0.42 domains being loaded...
0.43
0.43 variables being loaded...
0.46 nbVariables=40 nbDomainTypes=1 minDomainSize=16 maxDomainSize=16
0.46 => wckTime=0.096 cpuTime=0.09 mem=6M951
0.46
0.46 relations being loaded...
0.53
0.53 constraints being loaded...
0.63 nbConstraints=250 nbRelationTypes=250 nbExtensionStructures=250 nbSharedExtensionStructures=0
0.63 nbConflictsStructures=250 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=1383 maxDegree=18
0.63 maxArity=2
0.63 => wckTime=0.27 cpuTime=0.2 mem=11M893
0.67
0.67 solver IterativeSystematicSolver being built...
0.82 => wckTime=0.458 cpuTime=0.32 mem=13M736
0.83
0.83 preprocessing
0.83 nbConstraintChecks=0 nbPropagations=40 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.83 detectedInconsistency=no
0.83 => wckTime=0.0030 cpuTime=0.0 mem=13M736
0.87
0.87 search
0.87 run=0 nbConstraintChecks=27286 nbPropagations=546 nbRevisions=4991 nbUselessRevisions=3832 nbAssignments=31
0.87 nbFailedAssignments=12 nbBacktracks=15 nbVisitedNodes=50 nbRestartNogoods=0 mapSize=11 nbInferences=0
0.87 nbTooLargeKeys=0
0.87 => wckTime=0.05 cpuTime=0.03 mem=14M711
0.89
0.89 search
0.89 run=1 nbConstraintChecks=65862 nbPropagations=1765 nbRevisions=16516 nbUselessRevisions=12688 nbAssignments=64
0.89 nbFailedAssignments=23 nbBacktracks=30 nbVisitedNodes=105 nbRestartNogoods=1 mapSize=26 nbInferences=0
0.89 nbTooLargeKeys=0
0.89 => wckTime=0.069 cpuTime=0.04 mem=14M711
0.91
0.91 search
0.91 run=2 nbConstraintChecks=109666 nbPropagations=3774 nbRevisions=35874 nbUselessRevisions=27549
0.91 nbAssignments=107 nbFailedAssignments=38 nbBacktracks=52 nbVisitedNodes=174 nbRestartNogoods=4 mapSize=44
0.91 nbInferences=0 nbTooLargeKeys=0
0.91 => wckTime=0.088 cpuTime=0.06 mem=14M711
0.93
0.93 search
0.93 run=3 nbConstraintChecks=169561 nbPropagations=7003 nbRevisions=67717 nbUselessRevisions=52171
0.93 nbAssignments=179 nbFailedAssignments=69 nbBacktracks=87 nbVisitedNodes=299 nbRestartNogoods=6 mapSize=74
0.93 nbInferences=0 nbTooLargeKeys=0
0.93 => wckTime=0.104 cpuTime=0.07 mem=14M711
0.95
0.95 search
0.95 run=4 nbConstraintChecks=267135 nbPropagations=11879 nbRevisions=116505 nbUselessRevisions=89830
0.95 nbAssignments=266 nbFailedAssignments=98 nbBacktracks=139 nbVisitedNodes=446 nbRestartNogoods=8 mapSize=118
0.95 nbInferences=0 nbTooLargeKeys=0
0.95 => wckTime=0.127 cpuTime=0.09 mem=14M711
0.98
0.98 search
0.98 run=5 nbConstraintChecks=406421 nbPropagations=19243 nbRevisions=190612 nbUselessRevisions=146564
0.98 nbAssignments=404 nbFailedAssignments=154 nbBacktracks=215 nbVisitedNodes=680 nbRestartNogoods=12 mapSize=181
0.98 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.161 cpuTime=0.12 mem=14M711
1.03
1.03 search
1.03 run=6 nbConstraintChecks=592536 nbPropagations=30064 nbRevisions=300177 nbUselessRevisions=230484
1.03 nbAssignments=598 nbFailedAssignments=230 nbBacktracks=328 nbVisitedNodes=1011 nbRestartNogoods=17 mapSize=272
1.03 nbInferences=0 nbTooLargeKeys=0
1.03 => wckTime=0.203 cpuTime=0.16 mem=14M711
1.10
1.10 search
1.10 run=7 nbConstraintChecks=916302 nbPropagations=46566 nbRevisions=469664 nbUselessRevisions=360087
1.10 nbAssignments=897 nbFailedAssignments=352 nbBacktracks=499 nbVisitedNodes=1528 nbRestartNogoods=21 mapSize=420
1.10 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.273 cpuTime=0.23 mem=14M711
1.19
1.19 search
1.19 run=8 nbConstraintChecks=1342291 nbPropagations=71406 nbRevisions=727008 nbUselessRevisions=557328
1.19 nbAssignments=1341 nbFailedAssignments=530 nbBacktracks=758 nbVisitedNodes=2320 nbRestartNogoods=27
1.19 mapSize=643 nbInferences=0 nbTooLargeKeys=0
1.19 => wckTime=0.368 cpuTime=0.32 mem=14M711
1.34
1.34 search
1.34 run=9 nbConstraintChecks=2073927 nbPropagations=108883 nbRevisions=1127179 nbUselessRevisions=864756
1.34 nbAssignments=2049 nbFailedAssignments=847 nbBacktracks=1144 nbVisitedNodes=3588 nbRestartNogoods=30
1.34 mapSize=977 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.519 cpuTime=0.47 mem=14M711
1.37
1.37 INFO : Stopping hyperNogood (mapSize=1026, nbTooLargekeys=0, mem=14M711)
1.52
1.52 search
1.52 run=10 nbConstraintChecks=3016838 nbPropagations=163381 nbRevisions=1708996 nbUselessRevisions=1310303
1.52 nbAssignments=3011 nbFailedAssignments=1226 nbBacktracks=1722 nbVisitedNodes=5259 nbRestartNogoods=36
1.52 => wckTime=0.698 cpuTime=0.64 mem=14M711
1.74
1.74 search
1.74 run=11 nbConstraintChecks=4281051 nbPropagations=241160 nbRevisions=2537167 nbUselessRevisions=1944399
1.74 nbAssignments=4372 nbFailedAssignments=1720 nbBacktracks=2586 nbVisitedNodes=7562 nbRestartNogoods=39
1.74 => wckTime=0.92 cpuTime=0.86 mem=14M711
2.07
2.07 search
2.07 run=12 nbConstraintChecks=6237645 nbPropagations=355054 nbRevisions=3750848 nbUselessRevisions=2874956
2.07 nbAssignments=6469 nbFailedAssignments=2512 nbBacktracks=3884 nbVisitedNodes=11167 nbRestartNogoods=42
2.07 => wckTime=1.25 cpuTime=1.19 mem=14M711
2.58
2.58 search
2.58 run=13 nbConstraintChecks=9384334 nbPropagations=526055 nbRevisions=5579877 nbUselessRevisions=4277864
2.58 nbAssignments=9762 nbFailedAssignments=3850 nbBacktracks=5832 nbVisitedNodes=16860 nbRestartNogoods=55
2.58 => wckTime=1.754 cpuTime=1.69 mem=14M711
3.27
3.27 search
3.27 run=14 nbConstraintChecks=13826104 nbPropagations=779438 nbRevisions=8294116 nbUselessRevisions=6364234
3.27 nbAssignments=14443 nbFailedAssignments=5606 nbBacktracks=8752 nbVisitedNodes=24908 nbRestartNogoods=72
3.27 => wckTime=2.447 cpuTime=2.38 mem=14M711
4.43
4.43 search
4.43 run=15 nbConstraintChecks=21459918 nbPropagations=1168440 nbRevisions=12491480 nbUselessRevisions=9593422
4.43 nbAssignments=21760 nbFailedAssignments=8537 nbBacktracks=13131 nbVisitedNodes=37753 nbRestartNogoods=78
4.43 => wckTime=3.608 cpuTime=3.54 mem=14M711
6.13
6.13 search
6.13 run=16 nbConstraintChecks=32576623 nbPropagations=1755460 nbRevisions=18840586 nbUselessRevisions=14475144
6.13 nbAssignments=32680 nbFailedAssignments=12883 nbBacktracks=19699 nbVisitedNodes=56783 nbRestartNogoods=90
6.13 => wckTime=5.309 cpuTime=5.24 mem=14M711
8.65
8.65 search
8.65 run=17 nbConstraintChecks=48931730 nbPropagations=2635424 nbRevisions=28343429 nbUselessRevisions=21776610
8.65 nbAssignments=48824 nbFailedAssignments=19169 nbBacktracks=29551 nbVisitedNodes=84715 nbRestartNogoods=103
8.65 => wckTime=7.828 cpuTime=7.75 mem=14M711
12.60
12.60 search
12.60 run=18 nbConstraintChecks=74327746 nbPropagations=3962938 nbRevisions=42709307 nbUselessRevisions=32811190
12.60 nbAssignments=73058 nbFailedAssignments=28619 nbBacktracks=44329 nbVisitedNodes=126786 nbRestartNogoods=108
12.60 => wckTime=11.772 cpuTime=11.68 mem=14M711
17.37
17.37 search
17.37 run=19 nbConstraintChecks=103981357 nbPropagations=5803274 nbRevisions=62667432 nbUselessRevisions=48130026
17.37 nbAssignments=100790 nbFailedAssignments=39407 nbBacktracks=61233 nbVisitedNodes=174785 nbRestartNogoods=117
17.37 => wckTime=16.545 cpuTime=16.45 mem=14M711
17.37
17.37 global
17.37 nbConstraintChecks=103981357 nbPropagations=5803314 nbRevisions=62667432 nbUselessRevisions=48130026
17.37 nbRestartNogoods=117 solvingWckTime=16.546 solvingCpuTime=16.46 expiredTime=no totalExploration=no
17.37 nbFoundSolutions=1 globalCpuTime=16.83
17.37 => wckTime=17.007 cpuTime=16.78 mem=14M711
17.37
17.37 s SATISFIABLE
17.37 v 11 7 1 9 0 2 14 12 3 14 6 10 5 12 4 9 9 10 9 4 0 15 15 1 2 6 7 1 8 4 1 5 4 14 2 12 7 12 14 14
17.37 d NODES 100790
17.37 d CHECKS 103981357
17.37
17.37 totalWckTime=17.082 totalCpuTime=16.83
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node39/watcher-228766-1168080913 -o ROOT/results/node39/solver-228766-1168080913 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228766-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
Current StackSize limit: 10240 KiB
/proc/loadavg: 0.21 0.47 1.04 4/68 21761
/proc/meminfo: memFree=1735056/2055920 swapFree=4192812/4192956
[pid=21760] ppid=21758 vsize=1784 CPUtime=0
/proc/21760/stat : 21760 (java) D 21758 21760 21328 0 -1 0 169 0 0 0 0 0 0 0 18 0 1 0 156492211 1826816 140 18446744073709551615 134512640 134570532 4294956640 18446744073709551615 4294960144 0 2147483391 4096 0 18446744072099781622 0 0 17 1 0 0
/proc/21760/statm: 446 144 110 14 0 91 0
[startup+0.105975 s]
/proc/loadavg: 0.21 0.47 1.04 4/68 21761
/proc/meminfo: memFree=1735056/2055920 swapFree=4192812/4192956
[pid=21760] ppid=21758 vsize=907676 CPUtime=0.02
/proc/21760/stat : 21760 (java) S 21758 21760 21328 0 -1 0 2184 0 1 0 1 1 0 0 17 0 4 0 156492211 929460224 1932 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 7368 18446744073709551615 0 0 17 0 0 0
/proc/21760/statm: 226919 1935 1098 14 0 214502 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 907676
[startup+0.518009 s]
/proc/loadavg: 0.21 0.47 1.04 4/68 21761
/proc/meminfo: memFree=1735056/2055920 swapFree=4192812/4192956
[pid=21760] ppid=21758 vsize=915328 CPUtime=0.43
/proc/21760/stat : 21760 (java) S 21758 21760 21328 0 -1 0 6429 0 1 0 39 4 0 0 16 0 8 0 156492211 937295872 6168 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21760/statm: 228832 6168 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 915328
[startup+1.34708 s]
/proc/loadavg: 0.21 0.47 1.04 2/75 21768
/proc/meminfo: memFree=1711640/2055920 swapFree=4192812/4192956
[pid=21760] ppid=21758 vsize=915452 CPUtime=1.25
/proc/21760/stat : 21760 (java) R 21758 21760 21328 0 -1 0 8585 0 1 0 120 5 0 0 16 0 8 0 156492211 937422848 8323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072925480 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21760/statm: 228863 8323 2513 14 0 215333 0
[pid=21760/tid=21762] ppid=21758 vsize=915452 CPUtime=0.03
/proc/21760/task/21762/stat : 21762 (java) S 21758 21760 21328 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 156492221 937422848 8323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21760/tid=21763] ppid=21758 vsize=915452 CPUtime=0
/proc/21760/task/21763/stat : 21763 (java) S 21758 21760 21328 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156492222 937422848 8323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21760/tid=21764] ppid=21758 vsize=915452 CPUtime=0
/proc/21760/task/21764/stat : 21764 (java) S 21758 21760 21328 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156492222 937422848 8323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21760/tid=21765] ppid=21758 vsize=915452 CPUtime=0
/proc/21760/task/21765/stat : 21765 (java) S 21758 21760 21328 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156492225 937422848 8323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21760/tid=21766] ppid=21758 vsize=915452 CPUtime=0.19
/proc/21760/task/21766/stat : 21766 (java) S 21758 21760 21328 0 -1 64 381 0 0 0 19 0 0 0 16 0 8 0 156492225 937422848 8323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21760/tid=21767] ppid=21758 vsize=915452 CPUtime=0
/proc/21760/task/21767/stat : 21767 (java) S 21758 21760 21328 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156492225 937422848 8323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21760/tid=21768] ppid=21758 vsize=915452 CPUtime=0
/proc/21760/task/21768/stat : 21768 (java) S 21758 21760 21328 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156492225 937422848 8323 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 915452
[startup+2.98523 s]
/proc/loadavg: 0.27 0.48 1.04 2/75 21768
/proc/meminfo: memFree=1711384/2055920 swapFree=4192812/4192956
[pid=21760] ppid=21758 vsize=915452 CPUtime=2.88
/proc/21760/stat : 21760 (java) R 21758 21760 21328 0 -1 0 8607 0 1 0 283 5 0 0 18 0 8 0 156492211 937422848 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073811880 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21760/statm: 228863 8344 2513 14 0 215333 0
[pid=21760/tid=21762] ppid=21758 vsize=915452 CPUtime=0.03
/proc/21760/task/21762/stat : 21762 (java) S 21758 21760 21328 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 156492221 937422848 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21760/tid=21763] ppid=21758 vsize=915452 CPUtime=0
/proc/21760/task/21763/stat : 21763 (java) S 21758 21760 21328 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156492222 937422848 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21760/tid=21764] ppid=21758 vsize=915452 CPUtime=0
/proc/21760/task/21764/stat : 21764 (java) S 21758 21760 21328 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156492222 937422848 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21760/tid=21765] ppid=21758 vsize=915452 CPUtime=0
/proc/21760/task/21765/stat : 21765 (java) S 21758 21760 21328 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156492225 937422848 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21760/tid=21766] ppid=21758 vsize=915452 CPUtime=0.2
/proc/21760/task/21766/stat : 21766 (java) S 21758 21760 21328 0 -1 64 388 0 0 0 20 0 0 0 16 0 8 0 156492225 937422848 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21760/tid=21767] ppid=21758 vsize=915452 CPUtime=0
/proc/21760/task/21767/stat : 21767 (java) S 21758 21760 21328 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156492225 937422848 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21760/tid=21768] ppid=21758 vsize=915452 CPUtime=0
/proc/21760/task/21768/stat : 21768 (java) S 21758 21760 21328 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156492225 937422848 8344 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.88
Current children cumulated vsize (KiB) 915452
[startup+6.26353 s]
/proc/loadavg: 0.27 0.48 1.04 2/75 21768
/proc/meminfo: memFree=1711384/2055920 swapFree=4192812/4192956
[pid=21760] ppid=21758 vsize=915452 CPUtime=6.15
/proc/21760/stat : 21760 (java) R 21758 21760 21328 0 -1 0 8615 0 1 0 610 5 0 0 20 0 8 0 156492211 937422848 8351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073791929 0 4 0 23759 18446744073709551615 0 0 17 0 0 0
/proc/21760/statm: 228863 8351 2513 14 0 215333 0
[pid=21760/tid=21762] ppid=21758 vsize=915452 CPUtime=0.03
/proc/21760/task/21762/stat : 21762 (java) S 21758 21760 21328 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 156492221 937422848 8351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21760/tid=21763] ppid=21758 vsize=915452 CPUtime=0
/proc/21760/task/21763/stat : 21763 (java) S 21758 21760 21328 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156492222 937422848 8351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21760/tid=21764] ppid=21758 vsize=915452 CPUtime=0
/proc/21760/task/21764/stat : 21764 (java) S 21758 21760 21328 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156492222 937422848 8351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21760/tid=21765] ppid=21758 vsize=915452 CPUtime=0
/proc/21760/task/21765/stat : 21765 (java) S 21758 21760 21328 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156492225 937422848 8351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21760/tid=21766] ppid=21758 vsize=915452 CPUtime=0.2
/proc/21760/task/21766/stat : 21766 (java) S 21758 21760 21328 0 -1 64 388 0 0 0 20 0 0 0 16 0 8 0 156492225 937422848 8351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21760/tid=21767] ppid=21758 vsize=915452 CPUtime=0
/proc/21760/task/21767/stat : 21767 (java) S 21758 21760 21328 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156492225 937422848 8351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21760/tid=21768] ppid=21758 vsize=915452 CPUtime=0
/proc/21760/task/21768/stat : 21768 (java) S 21758 21760 21328 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156492225 937422848 8351 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 915452
[startup+12.7481 s]
/proc/loadavg: 0.38 0.50 1.04 2/75 21768
/proc/meminfo: memFree=1711384/2055920 swapFree=4192812/4192956
[pid=21760] ppid=21758 vsize=915452 CPUtime=12.62
/proc/21760/stat : 21760 (java) R 21758 21760 21328 0 -1 0 8620 0 1 0 1257 5 0 0 25 0 8 0 156492211 937422848 8356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4072918517 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/21760/statm: 228863 8356 2513 14 0 215333 0
[pid=21760/tid=21762] ppid=21758 vsize=915452 CPUtime=0.03
/proc/21760/task/21762/stat : 21762 (java) S 21758 21760 21328 0 -1 64 241 0 0 0 3 0 0 0 16 0 8 0 156492221 937422848 8356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=21760/tid=21763] ppid=21758 vsize=915452 CPUtime=0
/proc/21760/task/21763/stat : 21763 (java) S 21758 21760 21328 0 -1 64 11 0 0 0 0 0 0 0 15 0 8 0 156492222 937422848 8356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=21760/tid=21764] ppid=21758 vsize=915452 CPUtime=0
/proc/21760/task/21764/stat : 21764 (java) S 21758 21760 21328 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 156492222 937422848 8356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21760/tid=21765] ppid=21758 vsize=915452 CPUtime=0
/proc/21760/task/21765/stat : 21765 (java) S 21758 21760 21328 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 156492225 937422848 8356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21760/tid=21766] ppid=21758 vsize=915452 CPUtime=0.2
/proc/21760/task/21766/stat : 21766 (java) S 21758 21760 21328 0 -1 64 388 0 0 0 20 0 0 0 16 0 8 0 156492225 937422848 8356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21760/tid=21767] ppid=21758 vsize=915452 CPUtime=0
/proc/21760/task/21767/stat : 21767 (java) S 21758 21760 21328 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 156492225 937422848 8356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=21760/tid=21768] ppid=21758 vsize=915452 CPUtime=0
/proc/21760/task/21768/stat : 21768 (java) S 21758 21760 21328 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 156492225 937422848 8356 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915452
Child status: 0
Real time (s): 17.4178
CPU time (s): 17.2724
CPU user time (s): 17.2044
CPU system time (s): 0.067989
CPU usage (%): 99.165
Max. virtual memory (cumulated for all children) (KiB): 915452
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.2044
system time used= 0.067989
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8710
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= 1171
involuntary context switches= 421
runsolver used 0.019996 s user time and 0.057991 s system time
The end
Begin job on node39 on Sat Jan 6 10:55:17 UTC 2007
IDJOB= 228766
IDBENCH= 6233
FILE ID= node39/228766-1168080913
PBS_JOBID= 3476106
Free space on /tmp= 66530 MiB
BENCH NAME= HOME/pub/bench/CPAI06/tightness/tightness0.35/rand-2-40-16-250-350-31_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228766-1168080913/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-228766-1168080913 -o ROOT/results/node39/solver-228766-1168080913 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/228766-1168080913/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 87d79b7f0a43cd9c3fda94d4a2e81b52
RANDOM SEED= 138697452
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.236
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.236
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: 1733736 kB
Buffers: 27576 kB
Cached: 203828 kB
SwapCached: 0 kB
Active: 75416 kB
Inactive: 176180 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1733736 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 1784 kB
Writeback: 0 kB
Mapped: 30368 kB
Slab: 56304 kB
Committed_AS: 3013052 kB
PageTables: 1620 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= 66532 MiB
End job on node39 on Sat Jan 6 10:55:54 UTC 2007