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/208809-1168074846/unknown.xml
0.40
0.40 domains being loaded...
0.40
0.40 variables being loaded...
0.43 nbVariables=20 nbDomainTypes=1 minDomainSize=20 maxDomainSize=20
0.43 => wckTime=0.099 cpuTime=0.09 mem=6M951
0.43
0.43 relations being loaded...
0.72
0.72 constraints being loaded...
0.88 nbConstraints=59 nbRelationTypes=59 nbExtensionStructures=59 nbSharedExtensionStructures=0
0.88 nbConflictsStructures=59 nbSharedConflictsStructures=0 nbSharedBinaryRepresentations=0 maxDegree=14 maxArity=3
0.88 => wckTime=0.549 cpuTime=0.5 mem=43M462
0.96
0.96 solver IterativeSystematicSolver being built...
1.14 => wckTime=0.802 cpuTime=0.63 mem=21M493
1.14
1.14 preprocessing
1.14 nbConstraintChecks=0 nbPropagations=20 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
1.14 detectedInconsistency=no
1.14 => wckTime=0.0020 cpuTime=0.0 mem=21M493
1.25
1.25 search
1.25 run=0 nbConstraintChecks=27492 nbValidityChecks=52395 nbPropagations=361 nbRevisions=3770
1.25 nbUselessRevisions=2920 nbAssignments=28 nbFailedAssignments=14 nbBacktracks=11 nbVisitedNodes=52
1.25 nbRestartNogoods=0 mapSize=10 nbInferences=0 nbTooLargeKeys=0
1.25 => wckTime=0.111 cpuTime=0.07 mem=21M493
1.32
1.32 search
1.32 run=1 nbConstraintChecks=70335 nbValidityChecks=140213 nbPropagations=1265 nbRevisions=13728
1.32 nbUselessRevisions=10617 nbAssignments=72 nbFailedAssignments=39 nbBacktracks=26 nbVisitedNodes=133
1.32 nbRestartNogoods=4 mapSize=24 nbInferences=0 nbTooLargeKeys=0
1.32 => wckTime=0.183 cpuTime=0.13 mem=21M493
1.42
1.42 search
1.42 run=2 nbConstraintChecks=128827 nbValidityChecks=262999 nbPropagations=3029 nbRevisions=33569
1.42 nbUselessRevisions=26037 nbAssignments=145 nbFailedAssignments=86 nbBacktracks=49 nbVisitedNodes=268
1.42 nbRestartNogoods=8 mapSize=46 nbInferences=0 nbTooLargeKeys=0
1.42 => wckTime=0.283 cpuTime=0.23 mem=21M493
1.57
1.57 search
1.57 run=3 nbConstraintChecks=233247 nbValidityChecks=473741 nbPropagations=6077 nbRevisions=68118
1.57 nbUselessRevisions=52749 nbAssignments=237 nbFailedAssignments=141 nbBacktracks=82 nbVisitedNodes=444
1.57 nbRestartNogoods=12 mapSize=79 nbInferences=0 nbTooLargeKeys=0
1.57 => wckTime=0.433 cpuTime=0.37 mem=21M493
1.71
1.71 search
1.71 run=4 nbConstraintChecks=330464 nbValidityChecks=693405 nbPropagations=10405 nbRevisions=117544
1.71 nbUselessRevisions=90944 nbAssignments=377 nbFailedAssignments=227 nbBacktracks=132 nbVisitedNodes=700
1.71 nbRestartNogoods=24 mapSize=121 nbInferences=0 nbTooLargeKeys=0
1.71 => wckTime=0.57 cpuTime=0.5 mem=21M493
1.91
1.91 search
1.91 run=5 nbConstraintChecks=477863 nbValidityChecks=1000624 nbPropagations=17068 nbRevisions=192633
1.91 nbUselessRevisions=148909 nbAssignments=573 nbFailedAssignments=343 nbBacktracks=207 nbVisitedNodes=1065
1.91 nbRestartNogoods=30 mapSize=191 nbInferences=0 nbTooLargeKeys=0
1.91 => wckTime=0.777 cpuTime=0.7 mem=21M493
2.33
2.33 search
2.33 run=6 nbConstraintChecks=784542 nbValidityChecks=1658282 nbPropagations=27927 nbRevisions=317722
2.33 nbUselessRevisions=245936 nbAssignments=1001 nbFailedAssignments=652 nbBacktracks=320 nbVisitedNodes=1892
2.33 nbRestartNogoods=36 mapSize=300 nbInferences=0 nbTooLargeKeys=0
2.33 => wckTime=1.189 cpuTime=1.1 mem=21M493
2.83
2.83 search
2.83 run=7 nbConstraintChecks=1157285 nbValidityChecks=2454200 nbPropagations=44254 nbRevisions=504305
2.83 nbUselessRevisions=390741 nbAssignments=1488 nbFailedAssignments=966 nbBacktracks=490 nbVisitedNodes=2808
2.83 nbRestartNogoods=46 mapSize=458 nbInferences=0 nbTooLargeKeys=0
2.83 => wckTime=1.695 cpuTime=1.6 mem=21M493
3.82
3.82 search
3.82 run=8 nbConstraintChecks=1900589 nbValidityChecks=4010514 nbPropagations=70218 nbRevisions=801289
3.82 nbUselessRevisions=620576 nbAssignments=2244 nbFailedAssignments=1462 nbBacktracks=746 nbVisitedNodes=4273
3.82 nbRestartNogoods=56 mapSize=709 nbInferences=0 nbTooLargeKeys=0
3.82 => wckTime=2.682 cpuTime=2.56 mem=21M493
4.75
4.75 INFO : Stopping hyperNogood (mapSize=1027, nbTooLargekeys=0, mem=21M493)
4.83
4.83 search
4.83 run=9 nbConstraintChecks=2673722 nbValidityChecks=5704011 nbPropagations=106495 nbRevisions=1216928
4.83 nbUselessRevisions=942084 nbAssignments=3266 nbFailedAssignments=2095 nbBacktracks=1130 nbVisitedNodes=6171
4.83 nbRestartNogoods=66
4.83 => wckTime=3.689 cpuTime=3.55 mem=21M493
6.94
6.94 search
6.94 run=10 nbConstraintChecks=4329600 nbValidityChecks=9310632 nbPropagations=165877 nbRevisions=1910963
6.94 nbUselessRevisions=1479448 nbAssignments=5429 nbFailedAssignments=3677 nbBacktracks=1706 nbVisitedNodes=10384
6.94 nbRestartNogoods=71
6.94 => wckTime=5.801 cpuTime=5.65 mem=21M493
9.23
9.23 search
9.23 run=11 nbConstraintChecks=6126002 nbValidityChecks=13125858 nbPropagations=252026 nbRevisions=2904403
9.23 nbUselessRevisions=2248515 nbAssignments=7803 nbFailedAssignments=5183 nbBacktracks=2572 nbVisitedNodes=14842
9.23 nbRestartNogoods=85
9.23 => wckTime=8.094 cpuTime=7.94 mem=21M493
12.85
12.85 search
12.85 run=12 nbConstraintChecks=8957488 nbValidityChecks=19254950 nbPropagations=381388 nbRevisions=4388036
12.85 nbUselessRevisions=3397050 nbAssignments=11621 nbFailedAssignments=7700 nbBacktracks=3869 nbVisitedNodes=22113
12.85 nbRestartNogoods=92
12.85 => wckTime=11.715 cpuTime=11.54 mem=22M462
18.83
18.83 search
18.83 run=13 nbConstraintChecks=13664816 nbValidityChecks=29383276 nbPropagations=578553 nbRevisions=6654146
18.83 nbUselessRevisions=5153652 nbAssignments=17893 nbFailedAssignments=12021 nbBacktracks=5817 nbVisitedNodes=34178
18.83 nbRestartNogoods=114
18.83 => wckTime=17.695 cpuTime=17.49 mem=22M462
26.61
26.61 search
26.61 run=14 nbConstraintChecks=19762740 nbValidityChecks=42352211 nbPropagations=866582 nbRevisions=9940458
26.61 nbUselessRevisions=7704082 nbAssignments=25938 nbFailedAssignments=17144 nbBacktracks=8736 nbVisitedNodes=49362
26.61 nbRestartNogoods=129
26.61 => wckTime=25.47 cpuTime=25.23 mem=22M462
41.75
41.75 search
41.75 run=15 nbConstraintChecks=32042296 nbValidityChecks=68053840 nbPropagations=1316203 nbRevisions=15195060
41.75 nbUselessRevisions=11789289 nbAssignments=41878 nbFailedAssignments=28701 nbBacktracks=13115
41.75 nbVisitedNodes=80458 nbRestartNogoods=145
41.75 => wckTime=40.616 cpuTime=40.3 mem=22M462
59.31
59.31 search
59.31 run=16 nbConstraintChecks=45769322 nbValidityChecks=97381450 nbPropagations=1971277 nbRevisions=22752489
59.31 nbUselessRevisions=17667146 nbAssignments=60039 nbFailedAssignments=40292 nbBacktracks=19683
59.31 nbVisitedNodes=114726 nbRestartNogoods=172
59.31 => wckTime=58.174 cpuTime=57.77 mem=22M462
89.95
89.95 search
89.95 run=17 nbConstraintChecks=70359383 nbValidityChecks=149798266 nbPropagations=2963756 nbRevisions=34347422
89.95 nbUselessRevisions=26708818 nbAssignments=91042 nbFailedAssignments=61438 nbBacktracks=29536
89.95 nbVisitedNodes=174478 nbRestartNogoods=191
89.95 => wckTime=88.81 cpuTime=88.26 mem=22M462
90.00
90.00 search
90.00 run=18 nbConstraintChecks=70397017 nbValidityChecks=149878201 nbPropagations=3956843 nbRevisions=45948990
90.00 nbUselessRevisions=35755634 nbAssignments=91101 nbFailedAssignments=61460 nbBacktracks=29553
90.00 nbVisitedNodes=174573 nbRestartNogoods=207
90.00 => wckTime=88.861 cpuTime=88.31 mem=22M462
90.00
90.00 global
90.00 nbConstraintChecks=70397017 nbValidityChecks=149878201 nbPropagations=3956863 nbRevisions=45948990
90.00 nbUselessRevisions=35755634 nbRestartNogoods=207 solvingWckTime=88.862 solvingCpuTime=88.31 expiredTime=no
90.00 totalExploration=no nbFoundSolutions=1 globalCpuTime=89.0
90.00 => wckTime=89.667 cpuTime=88.95 mem=22M462
90.00
90.00 s SATISFIABLE
90.00 v 11 2 11 2 16 1 4 10 11 13 6 17 0 14 19 14 1 17 15 6
90.00 d NODES 91101
90.00 d CHECKS 70397017
90.00
90.00 totalWckTime=89.749 totalCpuTime=89.01
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node12/watcher-208809-1168074846 -o ROOT/results/node12/solver-208809-1168074846 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208809-1168074846/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.89 1.98 1.92 4/93 20856
/proc/meminfo: memFree=1536744/2055920 swapFree=4160348/4192956
[pid=20855] ppid=20853 vsize=1784 CPUtime=0
/proc/20855/stat : 20855 (java) R 20853 20855 20676 0 -1 0 169 0 0 0 0 0 0 0 19 0 1 0 155879934 1826816 140 18446744073709551615 134512640 134570532 4294956624 18446744073709551615 4294960144 0 2147483391 4096 0 0 0 0 17 1 0 0
/proc/20855/statm: 446 140 106 14 0 91 0
[startup+0.108873 s]
/proc/loadavg: 1.89 1.98 1.92 4/93 20856
/proc/meminfo: memFree=1536744/2055920 swapFree=4160348/4192956
[pid=20855] ppid=20853 vsize=912760 CPUtime=0.07
/proc/20855/stat : 20855 (java) R 20853 20855 20676 0 -1 0 2774 0 1 0 6 1 0 0 20 0 8 0 155879934 934666240 2520 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072923528 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20855/statm: 228190 2520 1386 14 0 215091 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 912760
[startup+0.516945 s]
/proc/loadavg: 1.89 1.98 1.92 4/93 20856
/proc/meminfo: memFree=1536744/2055920 swapFree=4160348/4192956
[pid=20855] ppid=20853 vsize=915328 CPUtime=0.48
/proc/20855/stat : 20855 (java) R 20853 20855 20676 0 -1 0 7232 0 1 0 44 4 0 0 22 0 8 0 155879934 937295872 6971 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4155769843 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20855/statm: 228832 6971 2137 14 0 215302 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 915328
[startup+1.33809 s]
/proc/loadavg: 1.89 1.98 1.92 3/100 20863
/proc/meminfo: memFree=1478128/2055920 swapFree=4160348/4192956
[pid=20855] ppid=20853 vsize=915460 CPUtime=1.29
/proc/20855/stat : 20855 (java) R 20853 20855 20676 0 -1 0 17367 0 1 0 120 9 0 0 25 0 8 0 155879934 937431040 17104 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073787030 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20855/statm: 228865 17104 2517 14 0 215335 0
[pid=20855/tid=20857] ppid=20853 vsize=915460 CPUtime=0.06
/proc/20855/task/20857/stat : 20857 (java) S 20853 20855 20676 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 155879940 937431040 17104 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20858] ppid=20853 vsize=915460 CPUtime=0
/proc/20855/task/20858/stat : 20858 (java) S 20853 20855 20676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155879941 937431040 17104 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20859] ppid=20853 vsize=915460 CPUtime=0
/proc/20855/task/20859/stat : 20859 (java) S 20853 20855 20676 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155879941 937431040 17104 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20860] ppid=20853 vsize=915460 CPUtime=0
/proc/20855/task/20860/stat : 20860 (java) S 20853 20855 20676 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155879944 937431040 17104 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20861] ppid=20853 vsize=915460 CPUtime=0.16
/proc/20855/task/20861/stat : 20861 (java) S 20853 20855 20676 0 -1 64 354 0 0 0 16 0 0 0 15 0 8 0 155879944 937431040 17104 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20862] ppid=20853 vsize=915460 CPUtime=0
/proc/20855/task/20862/stat : 20862 (java) S 20853 20855 20676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155879944 937431040 17104 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20863] ppid=20853 vsize=915460 CPUtime=0
/proc/20855/task/20863/stat : 20863 (java) S 20853 20855 20676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155879944 937431040 17104 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) 915460
[startup+2.98339 s]
/proc/loadavg: 1.89 1.98 1.92 3/100 20863
/proc/meminfo: memFree=1477936/2055920 swapFree=4160348/4192956
[pid=20855] ppid=20853 vsize=915460 CPUtime=2.93
/proc/20855/stat : 20855 (java) R 20853 20855 20676 0 -1 0 17390 0 1 0 284 9 0 0 25 0 8 0 155879934 937431040 17126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073738346 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20855/statm: 228865 17126 2517 14 0 215335 0
[pid=20855/tid=20857] ppid=20853 vsize=915460 CPUtime=0.06
/proc/20855/task/20857/stat : 20857 (java) S 20853 20855 20676 0 -1 64 1840 0 0 0 6 0 0 0 17 0 8 0 155879940 937431040 17126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20858] ppid=20853 vsize=915460 CPUtime=0
/proc/20855/task/20858/stat : 20858 (java) S 20853 20855 20676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155879941 937431040 17126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20859] ppid=20853 vsize=915460 CPUtime=0
/proc/20855/task/20859/stat : 20859 (java) S 20853 20855 20676 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155879941 937431040 17126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20860] ppid=20853 vsize=915460 CPUtime=0
/proc/20855/task/20860/stat : 20860 (java) S 20853 20855 20676 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155879944 937431040 17126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20861] ppid=20853 vsize=915460 CPUtime=0.23
/proc/20855/task/20861/stat : 20861 (java) S 20853 20855 20676 0 -1 64 376 0 0 0 22 1 0 0 16 0 8 0 155879944 937431040 17126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20862] ppid=20853 vsize=915460 CPUtime=0
/proc/20855/task/20862/stat : 20862 (java) S 20853 20855 20676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155879944 937431040 17126 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20863] ppid=20853 vsize=915460 CPUtime=0
/proc/20855/task/20863/stat : 20863 (java) S 20853 20855 20676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155879944 937431040 17126 18446744073709551615 134512640 134570532 4294956464 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) 915460
[startup+6.27899 s]
/proc/loadavg: 1.89 1.98 1.92 3/100 20863
/proc/meminfo: memFree=1477744/2055920 swapFree=4160348/4192956
[pid=20855] ppid=20853 vsize=915460 CPUtime=6.2
/proc/20855/stat : 20855 (java) R 20853 20855 20676 0 -1 0 17398 0 1 0 611 9 0 0 25 0 8 0 155879934 937431040 17132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073739232 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20855/statm: 228865 17132 2517 14 0 215335 0
[pid=20855/tid=20857] ppid=20853 vsize=915460 CPUtime=0.06
/proc/20855/task/20857/stat : 20857 (java) S 20853 20855 20676 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 155879940 937431040 17132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20858] ppid=20853 vsize=915460 CPUtime=0
/proc/20855/task/20858/stat : 20858 (java) S 20853 20855 20676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155879941 937431040 17132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20859] ppid=20853 vsize=915460 CPUtime=0
/proc/20855/task/20859/stat : 20859 (java) S 20853 20855 20676 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155879941 937431040 17132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20860] ppid=20853 vsize=915460 CPUtime=0
/proc/20855/task/20860/stat : 20860 (java) S 20853 20855 20676 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155879944 937431040 17132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20861] ppid=20853 vsize=915460 CPUtime=0.24
/proc/20855/task/20861/stat : 20861 (java) S 20853 20855 20676 0 -1 64 382 0 0 0 23 1 0 0 16 0 8 0 155879944 937431040 17132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20862] ppid=20853 vsize=915460 CPUtime=0
/proc/20855/task/20862/stat : 20862 (java) S 20853 20855 20676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155879944 937431040 17132 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20863] ppid=20853 vsize=915460 CPUtime=0
/proc/20855/task/20863/stat : 20863 (java) S 20853 20855 20676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155879944 937431040 17132 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) 915460
[startup+12.7642 s]
/proc/loadavg: 1.98 2.00 1.93 3/100 20863
/proc/meminfo: memFree=1477872/2055920 swapFree=4160348/4192956
[pid=20855] ppid=20853 vsize=915460 CPUtime=12.66
/proc/20855/stat : 20855 (java) R 20853 20855 20676 0 -1 0 17400 0 1 0 1256 10 0 0 25 0 8 0 155879934 937431040 17133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072918492 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20855/statm: 228865 17133 2517 14 0 215335 0
[pid=20855/tid=20857] ppid=20853 vsize=915460 CPUtime=0.06
/proc/20855/task/20857/stat : 20857 (java) S 20853 20855 20676 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 155879940 937431040 17133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20858] ppid=20853 vsize=915460 CPUtime=0
/proc/20855/task/20858/stat : 20858 (java) S 20853 20855 20676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155879941 937431040 17133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20859] ppid=20853 vsize=915460 CPUtime=0
/proc/20855/task/20859/stat : 20859 (java) S 20853 20855 20676 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155879941 937431040 17133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20860] ppid=20853 vsize=915460 CPUtime=0
/proc/20855/task/20860/stat : 20860 (java) S 20853 20855 20676 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155879944 937431040 17133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20861] ppid=20853 vsize=915460 CPUtime=0.24
/proc/20855/task/20861/stat : 20861 (java) S 20853 20855 20676 0 -1 64 383 0 0 0 23 1 0 0 16 0 8 0 155879944 937431040 17133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20862] ppid=20853 vsize=915460 CPUtime=0
/proc/20855/task/20862/stat : 20862 (java) S 20853 20855 20676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155879944 937431040 17133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20863] ppid=20853 vsize=915460 CPUtime=0
/proc/20855/task/20863/stat : 20863 (java) S 20853 20855 20676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155879944 937431040 17133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 915460
[startup+25.6355 s]
/proc/loadavg: 1.99 2.00 1.93 3/100 20863
/proc/meminfo: memFree=1477936/2055920 swapFree=4160348/4192956
[pid=20855] ppid=20853 vsize=915460 CPUtime=25.47
/proc/20855/stat : 20855 (java) R 20853 20855 20676 0 -1 0 17400 0 1 0 2537 10 0 0 25 0 8 0 155879934 937431040 17133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073731875 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20855/statm: 228865 17133 2517 14 0 215335 0
[pid=20855/tid=20857] ppid=20853 vsize=915460 CPUtime=0.06
/proc/20855/task/20857/stat : 20857 (java) S 20853 20855 20676 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 155879940 937431040 17133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20858] ppid=20853 vsize=915460 CPUtime=0
/proc/20855/task/20858/stat : 20858 (java) S 20853 20855 20676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155879941 937431040 17133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20859] ppid=20853 vsize=915460 CPUtime=0
/proc/20855/task/20859/stat : 20859 (java) S 20853 20855 20676 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155879941 937431040 17133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20860] ppid=20853 vsize=915460 CPUtime=0
/proc/20855/task/20860/stat : 20860 (java) S 20853 20855 20676 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155879944 937431040 17133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20861] ppid=20853 vsize=915460 CPUtime=0.24
/proc/20855/task/20861/stat : 20861 (java) S 20853 20855 20676 0 -1 64 383 0 0 0 23 1 0 0 16 0 8 0 155879944 937431040 17133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20862] ppid=20853 vsize=915460 CPUtime=0
/proc/20855/task/20862/stat : 20862 (java) S 20853 20855 20676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155879944 937431040 17133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20863] ppid=20853 vsize=915460 CPUtime=0
/proc/20855/task/20863/stat : 20863 (java) S 20853 20855 20676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155879944 937431040 17133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 915460
[startup+51.2681 s]
/proc/loadavg: 2.05 2.01 1.93 3/100 20863
/proc/meminfo: memFree=1478064/2055920 swapFree=4160348/4192956
[pid=20855] ppid=20853 vsize=915460 CPUtime=50.98
/proc/20855/stat : 20855 (java) R 20853 20855 20676 0 -1 0 17400 0 1 0 5088 10 0 0 25 0 8 0 155879934 937431040 17133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073740163 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/20855/statm: 228865 17133 2517 14 0 215335 0
[pid=20855/tid=20857] ppid=20853 vsize=915460 CPUtime=0.06
/proc/20855/task/20857/stat : 20857 (java) S 20853 20855 20676 0 -1 64 1840 0 0 0 6 0 0 0 16 0 8 0 155879940 937431040 17133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20858] ppid=20853 vsize=915460 CPUtime=0
/proc/20855/task/20858/stat : 20858 (java) S 20853 20855 20676 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155879941 937431040 17133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20859] ppid=20853 vsize=915460 CPUtime=0
/proc/20855/task/20859/stat : 20859 (java) S 20853 20855 20676 0 -1 64 5 0 0 0 0 0 0 0 16 0 8 0 155879941 937431040 17133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20860] ppid=20853 vsize=915460 CPUtime=0
/proc/20855/task/20860/stat : 20860 (java) S 20853 20855 20676 0 -1 64 1 0 0 0 0 0 0 0 18 0 8 0 155879944 937431040 17133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20861] ppid=20853 vsize=915460 CPUtime=0.24
/proc/20855/task/20861/stat : 20861 (java) S 20853 20855 20676 0 -1 64 383 0 0 0 23 1 0 0 16 0 8 0 155879944 937431040 17133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20862] ppid=20853 vsize=915460 CPUtime=0
/proc/20855/task/20862/stat : 20862 (java) S 20853 20855 20676 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155879944 937431040 17133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=20855/tid=20863] ppid=20853 vsize=915460 CPUtime=0
/proc/20855/task/20863/stat : 20863 (java) S 20853 20855 20676 0 -1 64 0 0 0 0 0 0 0 0 15 0 8 0 155879944 937431040 17133 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 90.0666
CPU time (s): 89.5534
CPU user time (s): 89.4324
CPU system time (s): 0.120981
CPU usage (%): 99.4302
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 89.4324
system time used= 0.120981
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17406
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= 2897
involuntary context switches= 5781
runsolver used 0.112982 s user time and 0.300954 s system time
The end
Begin job on node12 on Sat Jan 6 09:14:09 UTC 2007
IDJOB= 208809
IDBENCH= 4454
FILE ID= node12/208809-1168074846
PBS_JOBID= 3475783
Free space on /tmp= 66309 MiB
BENCH NAME= HOME/pub/bench/CPAI06/random/rand-3-20-20-fcd/rand-3-20-20-60-632-fcd-39_ext.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208809-1168074846/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-208809-1168074846 -o ROOT/results/node12/solver-208809-1168074846 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/208809-1168074846/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= 0597a0c8af63e6878b9e7f4bc8dfa89b
RANDOM SEED= 509118484
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.265
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.265
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: 1537160 kB
Buffers: 30192 kB
Cached: 254124 kB
SwapCached: 4684 kB
Active: 213060 kB
Inactive: 224552 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1537160 kB
SwapTotal: 4192956 kB
SwapFree: 4160348 kB
Dirty: 3040 kB
Writeback: 0 kB
Mapped: 173028 kB
Slab: 65724 kB
Committed_AS: 4734128 kB
PageTables: 2360 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= 66309 MiB
End job on node12 on Sat Jan 6 09:15:46 UTC 2007