0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.34
0.34 instance
0.34 name=/tmp/evaluation/208614-1168074777/unknown.xml
0.37
0.37 domains being loaded...
0.37
0.37 variables being loaded...
0.40 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.40 => wckTime=0.096 cpuTime=0.08 mem=6M951
0.40
0.40 relations being loaded...
0.69
0.69 constraints being loaded...
0.85 nbConstraints=60 nbRelationTypes=60 nbExtensionStructures=60 nbSharedExtensionStructures=0
0.85 nbConflictsStructures=60 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
0.85 => wckTime=0.545 cpuTime=0.49 mem=44M576
0.94
0.94 solver IterativeSystematicSolver being built...
1.10 => wckTime=0.79 cpuTime=0.62 mem=21M666
1.10
1.10 preprocessing
1.10 nbConstraintChecks=0 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.10 detectedInconsistency=no
1.10 => wckTime=0.0030 cpuTime=0.0 mem=21M666
1.20
1.20 search
1.20 run=0 nbConstraintChecks=20514 nbValidityChecks=38931 nbPropagations=304 nbRevisions=3125
1.20 nbUselessRevisions=2556 nbAssignments=29 nbFailedAssignments=13 nbBacktracks=11 nbVisitedNodes=50
1.20 nbRestartNogoods=0 mapSize=8 nbInferences=0 nbTooLargeKeys=0
1.20 => wckTime=0.095 cpuTime=0.06 mem=21M666
1.27
1.27 search
1.27 run=1 nbConstraintChecks=70127 nbValidityChecks=135682 nbPropagations=1187 nbRevisions=13181
1.27 nbUselessRevisions=10537 nbAssignments=79 nbFailedAssignments=43 nbBacktracks=26 nbVisitedNodes=144
1.27 nbRestartNogoods=4 mapSize=23 nbInferences=0 nbTooLargeKeys=0
1.27 => wckTime=0.173 cpuTime=0.13 mem=21M666
1.34
1.34 search
1.34 run=2 nbConstraintChecks=113780 nbValidityChecks=225430 nbPropagations=2645 nbRevisions=30082
1.34 nbUselessRevisions=24005 nbAssignments=138 nbFailedAssignments=75 nbBacktracks=49 nbVisitedNodes=247
1.34 nbRestartNogoods=8 mapSize=40 nbInferences=0 nbTooLargeKeys=0
1.34 => wckTime=0.243 cpuTime=0.19 mem=21M666
1.45
1.45 search
1.45 run=3 nbConstraintChecks=187215 nbValidityChecks=378180 nbPropagations=5066 nbRevisions=58013
1.45 nbUselessRevisions=46091 nbAssignments=223 nbFailedAssignments=121 nbBacktracks=83 nbVisitedNodes=405
1.45 nbRestartNogoods=10 mapSize=73 nbInferences=0 nbTooLargeKeys=0
1.45 => wckTime=0.352 cpuTime=0.29 mem=21M666
1.57
1.57 search
1.57 run=4 nbConstraintChecks=275495 nbValidityChecks=569746 nbPropagations=8933 nbRevisions=101430
1.57 nbUselessRevisions=80294 nbAssignments=353 nbFailedAssignments=195 nbBacktracks=134 nbVisitedNodes=645
1.57 nbRestartNogoods=21 mapSize=122 nbInferences=0 nbTooLargeKeys=0
1.57 => wckTime=0.472 cpuTime=0.41 mem=21M666
1.79
1.79 search
1.79 run=5 nbConstraintChecks=439522 nbValidityChecks=912980 nbPropagations=15114 nbRevisions=170836
1.79 nbUselessRevisions=134972 nbAssignments=547 nbFailedAssignments=308 nbBacktracks=210 nbVisitedNodes=1011
1.79 nbRestartNogoods=26 mapSize=193 nbInferences=0 nbTooLargeKeys=0
1.79 => wckTime=0.688 cpuTime=0.62 mem=21M666
2.08
2.08 search
2.08 run=6 nbConstraintChecks=666189 nbValidityChecks=1370020 nbPropagations=24505 nbRevisions=276221
2.08 nbUselessRevisions=217587 nbAssignments=817 nbFailedAssignments=458 nbBacktracks=325 nbVisitedNodes=1508
2.08 nbRestartNogoods=30 mapSize=291 nbInferences=0 nbTooLargeKeys=0
2.08 => wckTime=0.979 cpuTime=0.91 mem=21M666
2.42
2.42 search
2.42 run=7 nbConstraintChecks=929178 nbValidityChecks=1930482 nbPropagations=38166 nbRevisions=430659
2.42 nbUselessRevisions=339062 nbAssignments=1224 nbFailedAssignments=691 nbBacktracks=495 nbVisitedNodes=2248
2.42 nbRestartNogoods=39 mapSize=439 nbInferences=0 nbTooLargeKeys=0
2.42 => wckTime=1.323 cpuTime=1.24 mem=21M666
3.00
3.00 search
3.00 run=8 nbConstraintChecks=1371624 nbValidityChecks=2823192 nbPropagations=57855 nbRevisions=654487
3.00 nbUselessRevisions=514791 nbAssignments=1769 nbFailedAssignments=977 nbBacktracks=751 nbVisitedNodes=3226
3.00 nbRestartNogoods=44 mapSize=649 nbInferences=0 nbTooLargeKeys=0
3.00 => wckTime=1.898 cpuTime=1.8 mem=21M666
3.87
3.87 search
3.87 run=9 nbConstraintChecks=2086660 nbValidityChecks=4290570 nbPropagations=87312 nbRevisions=988315
3.88 nbUselessRevisions=776092 nbAssignments=2632 nbFailedAssignments=1453 nbBacktracks=1135 nbVisitedNodes=4822
3.88 nbRestartNogoods=48 mapSize=996 nbInferences=0 nbTooLargeKeys=0
3.88 => wckTime=2.774 cpuTime=2.67 mem=22M633
3.90
3.90 INFO : Stopping hyperNogood (mapSize=1010, nbTooLargekeys=0, mem=22M633)
5.11
5.11 search
5.11 run=10 nbConstraintChecks=3085310 nbValidityChecks=6435122 nbPropagations=132445 nbRevisions=1494742
5.11 nbUselessRevisions=1172147 nbAssignments=4143 nbFailedAssignments=2383 nbBacktracks=1711 nbVisitedNodes=7627
5.11 nbRestartNogoods=54
5.11 => wckTime=4.011 cpuTime=3.9 mem=22M633
7.21
7.21 search
7.21 run=11 nbConstraintChecks=4881051 nbValidityChecks=10120356 nbPropagations=201179 nbRevisions=2278410
7.21 nbUselessRevisions=1786577 nbAssignments=6312 nbFailedAssignments=3684 nbBacktracks=2575 nbVisitedNodes=11686
7.21 nbRestartNogoods=66
7.21 => wckTime=6.111 cpuTime=5.99 mem=22M633
10.24
10.24 search
10.24 run=12 nbConstraintChecks=7386236 nbValidityChecks=15190723 nbPropagations=303729 nbRevisions=3453634
10.24 nbUselessRevisions=2706663 nbAssignments=9369 nbFailedAssignments=5438 nbBacktracks=3873 nbVisitedNodes=17321
10.24 nbRestartNogoods=81
10.24 => wckTime=9.137 cpuTime=9.02 mem=22M633
14.57
14.57 search
14.57 run=13 nbConstraintChecks=11071975 nbValidityChecks=22776227 nbPropagations=458893 nbRevisions=5238131
14.57 nbUselessRevisions=4104220 nbAssignments=14277 nbFailedAssignments=8395 nbBacktracks=5820 nbVisitedNodes=26465
14.57 nbRestartNogoods=97
14.57 => wckTime=13.474 cpuTime=13.35 mem=22M633
22.02
22.02 search
22.02 run=14 nbConstraintChecks=17409309 nbValidityChecks=35714970 nbPropagations=695190 nbRevisions=7949645
22.02 nbUselessRevisions=6219372 nbAssignments=21593 nbFailedAssignments=12786 nbBacktracks=8740 nbVisitedNodes=40311
22.02 nbRestartNogoods=104
22.02 => wckTime=20.915 cpuTime=20.79 mem=22M633
30.83
30.83 search
30.83 run=15 nbConstraintChecks=24824546 nbValidityChecks=50711082 nbPropagations=1036186 nbRevisions=11856541
30.83 nbUselessRevisions=9267040 nbAssignments=30965 nbFailedAssignments=17773 nbBacktracks=13121
30.83 nbVisitedNodes=57293 nbRestartNogoods=124
30.83 => wckTime=29.731 cpuTime=29.6 mem=22M633
41.79
41.79 search
41.79 run=16 nbConstraintChecks=34119507 nbValidityChecks=70087860 nbPropagations=1519030 nbRevisions=17366041
41.79 nbUselessRevisions=13571513 nbAssignments=44346 nbFailedAssignments=25595 nbBacktracks=18660
41.79 nbVisitedNodes=82017 nbRestartNogoods=142
41.79 => wckTime=40.694 cpuTime=40.56 mem=22M633
41.80
41.80 global
41.80 nbConstraintChecks=34119507 nbValidityChecks=70087860 nbPropagations=1519050 nbRevisions=17366041
41.80 nbUselessRevisions=13571513 nbRestartNogoods=142 solvingWckTime=40.695 solvingCpuTime=40.56 expiredTime=no
41.80 totalExploration=no nbFoundSolutions=1 globalCpuTime=41.25
41.80 => wckTime=41.488 cpuTime=41.19 mem=22M633
41.80
41.80 s SATISFIABLE
41.80 v 18 8 11 15 13 7 0 13 13 7 14 14 7 9 2 18 14 11 8 6
41.80 d NODES 44346
41.80 d CHECKS 34119507
41.80
41.80 totalWckTime=41.568 totalCpuTime=41.25
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node43/watcher-208614-1168074777 -o ROOT/results/node43/solver-208614-1168074777 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208614-1168074777/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: 1.77 1.95 1.90 4/73 7243
/proc/meminfo: memFree=1656768/2055920 swapFree=4192812/4192956
[pid=7242] ppid=7237 vsize=1500 CPUtime=0
/proc/7242/stat : 7242 (java) R 7237 7242 7106 0 -1 0 71 0 0 0 0 0 0 0 18 0 1 0 155876868 1536000 54 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4702816 0 0 4096 0 0 0 0 17 1 0 0
/proc/7242/statm: 375 68 55 14 0 8 0
[startup+0.104129 s]
/proc/loadavg: 1.77 1.95 1.90 4/73 7243
/proc/meminfo: memFree=1656768/2055920 swapFree=4192812/4192956
[pid=7242] ppid=7237 vsize=916012 CPUtime=0.07
/proc/7242/stat : 7242 (java) R 7237 7242 7106 0 -1 0 3005 0 1 0 6 1 0 0 16 0 8 0 155876868 937996288 2751 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4155581175 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7242/statm: 229003 2751 1430 14 0 215498 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 916012
[startup+0.512193 s]
/proc/loadavg: 1.77 1.95 1.90 4/73 7243
/proc/meminfo: memFree=1656768/2055920 swapFree=4192812/4192956
[pid=7242] ppid=7237 vsize=916352 CPUtime=0.49
/proc/7242/stat : 7242 (java) R 7237 7242 7106 0 -1 0 7713 0 1 0 45 4 0 0 19 0 8 0 155876868 938344448 7452 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7242/statm: 229088 7452 2137 14 0 215558 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 916352
[startup+1.33534 s]
/proc/loadavg: 1.77 1.95 1.90 4/87 7257
/proc/meminfo: memFree=1539664/2055920 swapFree=4192812/4192956
[pid=7242] ppid=7237 vsize=916484 CPUtime=1.31
/proc/7242/stat : 7242 (java) R 7237 7242 7106 0 -1 0 17664 0 1 0 121 10 0 0 25 0 8 0 155876868 938479616 17401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7242/statm: 229121 17401 2517 14 0 215591 0
[pid=7242/tid=7247] ppid=7237 vsize=916484 CPUtime=0.07
/proc/7242/task/7247/stat : 7247 (java) S 7237 7242 7106 0 -1 64 1888 0 0 0 7 0 0 0 16 0 8 0 155876872 938479616 17401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7242/tid=7248] ppid=7237 vsize=916484 CPUtime=0
/proc/7242/task/7248/stat : 7248 (java) S 7237 7242 7106 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155876872 938479616 17401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7242/tid=7249] ppid=7237 vsize=916484 CPUtime=0
/proc/7242/task/7249/stat : 7249 (java) S 7237 7242 7106 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155876872 938479616 17401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7242/tid=7254] ppid=7237 vsize=916484 CPUtime=0
/proc/7242/task/7254/stat : 7254 (java) S 7237 7242 7106 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155876875 938479616 17401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7242/tid=7255] ppid=7237 vsize=916484 CPUtime=0.16
/proc/7242/task/7255/stat : 7255 (java) S 7237 7242 7106 0 -1 64 358 0 0 0 16 0 0 0 15 0 8 0 155876875 938479616 17401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7242/tid=7256] ppid=7237 vsize=916484 CPUtime=0
/proc/7242/task/7256/stat : 7256 (java) S 7237 7242 7106 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155876875 938479616 17401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7242/tid=7257] ppid=7237 vsize=916484 CPUtime=0
/proc/7242/task/7257/stat : 7257 (java) S 7237 7242 7106 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155876875 938479616 17401 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 1.31
Current children cumulated vsize (KiB) 916484
[startup+2.98761 s]
/proc/loadavg: 1.77 1.95 1.90 3/87 7257
/proc/meminfo: memFree=1539536/2055920 swapFree=4192812/4192956
[pid=7242] ppid=7237 vsize=916484 CPUtime=2.96
/proc/7242/stat : 7242 (java) R 7237 7242 7106 0 -1 0 17683 0 1 0 286 10 0 0 25 0 8 0 155876868 938479616 17419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7242/statm: 229121 17419 2517 14 0 215591 0
[pid=7242/tid=7247] ppid=7237 vsize=916484 CPUtime=0.07
/proc/7242/task/7247/stat : 7247 (java) S 7237 7242 7106 0 -1 64 1888 0 0 0 7 0 0 0 17 0 8 0 155876872 938479616 17419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7242/tid=7248] ppid=7237 vsize=916484 CPUtime=0
/proc/7242/task/7248/stat : 7248 (java) S 7237 7242 7106 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155876872 938479616 17419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7242/tid=7249] ppid=7237 vsize=916484 CPUtime=0
/proc/7242/task/7249/stat : 7249 (java) S 7237 7242 7106 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155876872 938479616 17419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7242/tid=7254] ppid=7237 vsize=916484 CPUtime=0
/proc/7242/task/7254/stat : 7254 (java) S 7237 7242 7106 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155876875 938479616 17419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7242/tid=7255] ppid=7237 vsize=916484 CPUtime=0.21
/proc/7242/task/7255/stat : 7255 (java) S 7237 7242 7106 0 -1 64 377 0 0 0 20 1 0 0 16 0 8 0 155876875 938479616 17419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7242/tid=7256] ppid=7237 vsize=916484 CPUtime=0
/proc/7242/task/7256/stat : 7256 (java) S 7237 7242 7106 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155876875 938479616 17419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7242/tid=7257] ppid=7237 vsize=916484 CPUtime=0
/proc/7242/task/7257/stat : 7257 (java) S 7237 7242 7106 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155876875 938479616 17419 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 2.96
Current children cumulated vsize (KiB) 916484
[startup+6.27515 s]
/proc/loadavg: 1.78 1.95 1.90 3/87 7257
/proc/meminfo: memFree=1539152/2055920 swapFree=4192812/4192956
[pid=7242] ppid=7237 vsize=916484 CPUtime=6.25
/proc/7242/stat : 7242 (java) R 7237 7242 7106 0 -1 0 17695 0 1 0 614 11 0 0 25 0 8 0 155876868 938479616 17429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073754927 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7242/statm: 229121 17429 2517 14 0 215591 0
[pid=7242/tid=7247] ppid=7237 vsize=916484 CPUtime=0.07
/proc/7242/task/7247/stat : 7247 (java) S 7237 7242 7106 0 -1 64 1888 0 0 0 7 0 0 0 16 0 8 0 155876872 938479616 17429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7242/tid=7248] ppid=7237 vsize=916484 CPUtime=0
/proc/7242/task/7248/stat : 7248 (java) S 7237 7242 7106 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155876872 938479616 17429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7242/tid=7249] ppid=7237 vsize=916484 CPUtime=0
/proc/7242/task/7249/stat : 7249 (java) S 7237 7242 7106 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155876872 938479616 17429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7242/tid=7254] ppid=7237 vsize=916484 CPUtime=0
/proc/7242/task/7254/stat : 7254 (java) S 7237 7242 7106 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155876875 938479616 17429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7242/tid=7255] ppid=7237 vsize=916484 CPUtime=0.23
/proc/7242/task/7255/stat : 7255 (java) S 7237 7242 7106 0 -1 64 387 0 0 0 22 1 0 0 16 0 8 0 155876875 938479616 17429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7242/tid=7256] ppid=7237 vsize=916484 CPUtime=0
/proc/7242/task/7256/stat : 7256 (java) S 7237 7242 7106 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155876875 938479616 17429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7242/tid=7257] ppid=7237 vsize=916484 CPUtime=0
/proc/7242/task/7257/stat : 7257 (java) S 7237 7242 7106 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155876875 938479616 17429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 916484
[startup+12.7602 s]
/proc/loadavg: 1.80 1.95 1.90 3/87 7257
/proc/meminfo: memFree=1539160/2055920 swapFree=4192812/4192956
[pid=7242] ppid=7237 vsize=916484 CPUtime=12.73
/proc/7242/stat : 7242 (java) R 7237 7242 7106 0 -1 0 17696 0 1 0 1262 11 0 0 25 0 8 0 155876868 938479616 17429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073609022 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7242/statm: 229121 17429 2517 14 0 215591 0
[pid=7242/tid=7247] ppid=7237 vsize=916484 CPUtime=0.07
/proc/7242/task/7247/stat : 7247 (java) S 7237 7242 7106 0 -1 64 1888 0 0 0 7 0 0 0 16 0 8 0 155876872 938479616 17429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7242/tid=7248] ppid=7237 vsize=916484 CPUtime=0
/proc/7242/task/7248/stat : 7248 (java) S 7237 7242 7106 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155876872 938479616 17429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7242/tid=7249] ppid=7237 vsize=916484 CPUtime=0
/proc/7242/task/7249/stat : 7249 (java) S 7237 7242 7106 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155876872 938479616 17429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7242/tid=7254] ppid=7237 vsize=916484 CPUtime=0
/proc/7242/task/7254/stat : 7254 (java) S 7237 7242 7106 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155876875 938479616 17429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7242/tid=7255] ppid=7237 vsize=916484 CPUtime=0.23
/proc/7242/task/7255/stat : 7255 (java) S 7237 7242 7106 0 -1 64 387 0 0 0 22 1 0 0 16 0 8 0 155876875 938479616 17429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7242/tid=7256] ppid=7237 vsize=916484 CPUtime=0
/proc/7242/task/7256/stat : 7256 (java) S 7237 7242 7106 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155876875 938479616 17429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7242/tid=7257] ppid=7237 vsize=916484 CPUtime=0
/proc/7242/task/7257/stat : 7257 (java) S 7237 7242 7106 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155876875 938479616 17429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 12.73
Current children cumulated vsize (KiB) 916484
[startup+25.6124 s]
/proc/loadavg: 1.84 1.95 1.91 3/87 7257
/proc/meminfo: memFree=1539352/2055920 swapFree=4192812/4192956
[pid=7242] ppid=7237 vsize=916484 CPUtime=25.58
/proc/7242/stat : 7242 (java) R 7237 7242 7106 0 -1 0 17696 0 1 0 2547 11 0 0 25 0 8 0 155876868 938479616 17429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4073613884 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/7242/statm: 229121 17429 2517 14 0 215591 0
[pid=7242/tid=7247] ppid=7237 vsize=916484 CPUtime=0.07
/proc/7242/task/7247/stat : 7247 (java) S 7237 7242 7106 0 -1 64 1888 0 0 0 7 0 0 0 16 0 8 0 155876872 938479616 17429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=7242/tid=7248] ppid=7237 vsize=916484 CPUtime=0
/proc/7242/task/7248/stat : 7248 (java) S 7237 7242 7106 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155876872 938479616 17429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7242/tid=7249] ppid=7237 vsize=916484 CPUtime=0
/proc/7242/task/7249/stat : 7249 (java) S 7237 7242 7106 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155876872 938479616 17429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7242/tid=7254] ppid=7237 vsize=916484 CPUtime=0
/proc/7242/task/7254/stat : 7254 (java) S 7237 7242 7106 0 -1 64 0 0 0 0 0 0 0 0 22 0 8 0 155876875 938479616 17429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7242/tid=7255] ppid=7237 vsize=916484 CPUtime=0.23
/proc/7242/task/7255/stat : 7255 (java) S 7237 7242 7106 0 -1 64 387 0 0 0 22 1 0 0 16 0 8 0 155876875 938479616 17429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=7242/tid=7256] ppid=7237 vsize=916484 CPUtime=0
/proc/7242/task/7256/stat : 7256 (java) S 7237 7242 7106 0 -1 64 1 0 0 0 0 0 0 0 23 0 8 0 155876875 938479616 17429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
[pid=7242/tid=7257] ppid=7237 vsize=916484 CPUtime=0
/proc/7242/task/7257/stat : 7257 (java) S 7237 7242 7106 0 -1 64 2 0 0 0 0 0 0 0 15 0 8 0 155876875 938479616 17429 18446744073709551615 134512640 134570532 4294956480 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 0 0 0
Current children cumulated CPU time (s) 25.58
Current children cumulated vsize (KiB) 916484
Child status: 0
Real time (s): 41.8582
CPU time (s): 41.7786
CPU user time (s): 41.6507
CPU system time (s): 0.12798
CPU usage (%): 99.8099
Max. virtual memory (cumulated for all children) (KiB): 916484
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 41.6507
system time used= 0.12798
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17704
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= 1912
involuntary context switches= 2170
runsolver used 0.043993 s user time and 0.117982 s system time
The end
Begin job on node43 on Sat Jan 6 09:12:57 UTC 2007
IDJOB= 208614
IDBENCH= 4416
FILE ID= node43/208614-1168074777
PBS_JOBID= 3476026
Free space on /tmp= 66479 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-11_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208614-1168074777/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node43/watcher-208614-1168074777 -o ROOT/results/node43/solver-208614-1168074777 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208614-1168074777/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 32cc53e4f0704265d1f425c0c29d7523
RANDOM SEED= 877013233
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.278
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.278
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: 1657984 kB
Buffers: 25920 kB
Cached: 284704 kB
SwapCached: 0 kB
Active: 70956 kB
Inactive: 259680 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1657984 kB
SwapTotal: 4192956 kB
SwapFree: 4192812 kB
Dirty: 6088 kB
Writeback: 0 kB
Mapped: 30248 kB
Slab: 52968 kB
Committed_AS: 2878200 kB
PageTables: 1624 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= 66479 MiB
End job on node43 on Sat Jan 6 09:13:39 UTC 2007