0.31
0.31 Abscon 109 (November, 2006)
0.31
0.31 configuration
0.31 name=mac.xml
0.35
0.35 instance
0.35 name=/tmp/evaluation/210652-1168075103/unknown.xml
0.38
0.38 domains being loaded...
0.38
0.38 variables being loaded...
0.43 nbVariables=216 nbDomainTypes=1 minDomainSize=2 maxDomainSize=2
0.43 => wckTime=0.115 cpuTime=0.09 mem=6M951
0.43
0.43 predicates being loaded...
0.44
0.44 constraints being loaded...
0.64 nbConstraints=180 nbConflictsStructures=4 nbSharedConflictsStructures=176 nbSharedBinaryRepresentations=0
0.64 nbEvaluationManagers=4 nbSharedEvaluationManagers=176 maxDegree=13 maxArity=12
0.64 => wckTime=0.319 cpuTime=0.23 mem=11M827
0.68
0.68 solver IterativeSystematicSolver being built...
0.88 => wckTime=0.565 cpuTime=0.39 mem=17M802
0.89
0.89 preprocessing
0.89 nbConstraintChecks=0 nbPropagations=216 nbRevisions=0 nbUselessRevisions=0 nbRemovedValues=0
0.89 detectedInconsistency=no
0.89 => wckTime=0.0090 cpuTime=0.0 mem=17M802
0.99
0.99 search
0.99 run=0 nbConstraintChecks=4693 nbValidityChecks=234 nbPropagations=436 nbRevisions=415 nbUselessRevisions=188
0.99 nbAssignments=183 nbFailedAssignments=1 nbBacktracks=116 nbVisitedNodes=186 nbRestartNogoods=0 mapSize=1
0.99 nbInferences=0 nbTooLargeKeys=0
0.99 => wckTime=0.104 cpuTime=0.08 mem=17M802
1.05
1.05 search
1.05 run=1 nbConstraintChecks=16505 nbValidityChecks=680 nbPropagations=1141 nbRevisions=1339
1.05 nbUselessRevisions=597 nbAssignments=380 nbFailedAssignments=3 nbBacktracks=140 nbVisitedNodes=387
1.05 nbRestartNogoods=1 mapSize=4 nbInferences=0 nbTooLargeKeys=0
1.05 => wckTime=0.17 cpuTime=0.14 mem=17M802
1.10
1.10 search
1.10 run=2 nbConstraintChecks=24224 nbValidityChecks=1197 nbPropagations=2091 nbRevisions=2847
1.10 nbUselessRevisions=1333 nbAssignments=479 nbFailedAssignments=4 nbBacktracks=171 nbVisitedNodes=489
1.10 nbRestartNogoods=2 mapSize=6 nbInferences=0 nbTooLargeKeys=0
1.10 => wckTime=0.212 cpuTime=0.18 mem=17M802
1.15
1.15 search
1.15 run=3 nbConstraintChecks=39172 nbValidityChecks=1999 nbPropagations=3338 nbRevisions=5154
1.15 nbUselessRevisions=2545 nbAssignments=589 nbFailedAssignments=6 nbBacktracks=210 nbVisitedNodes=605
1.15 nbRestartNogoods=3 mapSize=11 nbInferences=1 nbTooLargeKeys=0
1.15 => wckTime=0.265 cpuTime=0.22 mem=17M802
1.23
1.23 search
1.23 run=4 nbConstraintChecks=63411 nbValidityChecks=3049 nbPropagations=4960 nbRevisions=8452
1.23 nbUselessRevisions=4335 nbAssignments=760 nbFailedAssignments=9 nbBacktracks=271 nbVisitedNodes=785
1.23 nbRestartNogoods=4 mapSize=18 nbInferences=3 nbTooLargeKeys=0
1.23 => wckTime=0.347 cpuTime=0.3 mem=17M802
1.31
1.31 search
1.31 run=5 nbConstraintChecks=85573 nbValidityChecks=3972 nbPropagations=6945 nbRevisions=12602
1.31 nbUselessRevisions=6566 nbAssignments=951 nbFailedAssignments=12 nbBacktracks=387 nbVisitedNodes=985
1.31 nbRestartNogoods=6 mapSize=25 nbInferences=4 nbTooLargeKeys=0
1.31 => wckTime=0.426 cpuTime=0.37 mem=17M802
1.41
1.41 search
1.41 run=6 nbConstraintChecks=111305 nbValidityChecks=5827 nbPropagations=9625 nbRevisions=18322
1.41 nbUselessRevisions=9656 nbAssignments=1204 nbFailedAssignments=17 nbBacktracks=502 nbVisitedNodes=1258
1.41 nbRestartNogoods=8 mapSize=41 nbInferences=14 nbTooLargeKeys=0
1.41 => wckTime=0.524 cpuTime=0.47 mem=17M802
1.66
1.66 search
1.66 run=7 nbConstraintChecks=240424 nbValidityChecks=11150 nbPropagations=13553 nbRevisions=27985
1.66 nbUselessRevisions=15148 nbAssignments=1495 nbFailedAssignments=43 nbBacktracks=682 nbVisitedNodes=1608
1.66 nbRestartNogoods=12 mapSize=89 nbInferences=14 nbTooLargeKeys=0
1.66 => wckTime=0.771 cpuTime=0.71 mem=18M777
1.84
1.84 search
1.84 run=8 nbConstraintChecks=303899 nbValidityChecks=15392 nbPropagations=18544 nbRevisions=41088
1.84 nbUselessRevisions=22780 nbAssignments=1898 nbFailedAssignments=60 nbBacktracks=942 nbVisitedNodes=2048
1.84 nbRestartNogoods=14 mapSize=121 nbInferences=14 nbTooLargeKeys=0
1.84 => wckTime=0.952 cpuTime=0.87 mem=18M777
2.19
2.19 search
2.19 run=9 nbConstraintChecks=485842 nbValidityChecks=25311 nbPropagations=26417 nbRevisions=62674
2.19 nbUselessRevisions=35046 nbAssignments=2498 nbFailedAssignments=107 nbBacktracks=1342 nbVisitedNodes=2775
2.19 nbRestartNogoods=19 mapSize=245 nbInferences=14 nbTooLargeKeys=0
2.19 => wckTime=1.306 cpuTime=1.22 mem=18M777
2.68
2.68 search
2.68 run=10 nbConstraintChecks=749677 nbValidityChecks=33817 nbPropagations=36746 nbRevisions=89382
2.68 nbUselessRevisions=49345 nbAssignments=3267 nbFailedAssignments=162 nbBacktracks=1924 nbVisitedNodes=3668
2.68 nbRestartNogoods=22 mapSize=365 nbInferences=14 nbTooLargeKeys=0
2.68 => wckTime=1.796 cpuTime=1.69 mem=18M777
3.44
3.44 search
3.44 run=11 nbConstraintChecks=1192820 nbValidityChecks=80342 nbPropagations=54283 nbRevisions=160653
3.44 nbUselessRevisions=94015 nbAssignments=4310 nbFailedAssignments=235 nbBacktracks=2793 nbVisitedNodes=5029
3.44 nbRestartNogoods=24 mapSize=680 nbInferences=14 nbTooLargeKeys=0
3.44 => wckTime=2.56 cpuTime=2.44 mem=18M777
3.79
3.79 search
3.79 run=12 nbConstraintChecks=1269635 nbValidityChecks=101599 nbPropagations=78367 nbRevisions=245430
3.79 nbUselessRevisions=145328 nbAssignments=5918 nbFailedAssignments=428 nbBacktracks=4092 nbVisitedNodes=7130
3.79 nbRestartNogoods=27 mapSize=1166 nbInferences=14 nbTooLargeKeys=0
3.79 => wckTime=2.908 cpuTime=2.79 mem=19M753
5.02
5.02 search
5.02 run=13 nbConstraintChecks=1982965 nbValidityChecks=131522 nbPropagations=112473 nbRevisions=347720
5.02 nbUselessRevisions=202848 nbAssignments=8193 nbFailedAssignments=665 nbBacktracks=6040 nbVisitedNodes=9928
5.02 nbRestartNogoods=34 mapSize=1685 nbInferences=14 nbTooLargeKeys=0
5.02 => wckTime=4.137 cpuTime=4.0 mem=19M753
5.87
5.87 search
5.87 run=14 nbConstraintChecks=2312684 nbValidityChecks=172440 nbPropagations=160457 nbRevisions=473781
5.87 nbUselessRevisions=269332 nbAssignments=11630 nbFailedAssignments=1073 nbBacktracks=8965 nbVisitedNodes=14411
5.87 nbRestartNogoods=38 mapSize=2726 nbInferences=14 nbTooLargeKeys=0
5.87 => wckTime=4.984 cpuTime=4.84 mem=20M728
6.06
6.06 INFO : Stopping hyperNogood (mapSize=2806, nbTooLargekeys=0, mem=20M728)
7.82
7.82 search
7.82 run=15 nbConstraintChecks=3582008 nbValidityChecks=216905 nbPropagations=223508 nbRevisions=625531
7.82 nbUselessRevisions=344261 nbAssignments=16461 nbFailedAssignments=1428 nbBacktracks=13345 nbVisitedNodes=20006
7.82 nbRestartNogoods=43
7.82 => wckTime=6.936 cpuTime=6.77 mem=20M728
11.14
11.14 search
11.14 run=16 nbConstraintChecks=5803250 nbValidityChecks=294763 nbPropagations=313014 nbRevisions=821937
11.14 nbUselessRevisions=433801 nbAssignments=23773 nbFailedAssignments=2066 nbBacktracks=19924 nbVisitedNodes=28674
11.14 nbRestartNogoods=47
11.14 => wckTime=10.257 cpuTime=10.08 mem=20M728
13.03
13.03 search
13.03 run=17 nbConstraintChecks=6750789 nbValidityChecks=447724 nbPropagations=453779 nbRevisions=1107443
13.03 nbUselessRevisions=555748 nbAssignments=35245 nbFailedAssignments=3571 nbBacktracks=29792 nbVisitedNodes=44143
13.03 nbRestartNogoods=52
13.03 => wckTime=12.144 cpuTime=11.94 mem=20M728
19.80
19.80 search
19.80 run=18 nbConstraintChecks=11218500 nbValidityChecks=620113 nbPropagations=652941 nbRevisions=1491561
19.80 nbUselessRevisions=709803 nbAssignments=51487 nbFailedAssignments=4923 nbBacktracks=44585 nbVisitedNodes=63364
19.80 nbRestartNogoods=55
19.80 => wckTime=18.916 cpuTime=18.68 mem=20M728
27.42
27.42 search
27.42 run=19 nbConstraintChecks=16116885 nbValidityChecks=852171 nbPropagations=928078 nbRevisions=2009727
27.42 nbUselessRevisions=905742 nbAssignments=75671 nbFailedAssignments=6825 nbBacktracks=66761 nbVisitedNodes=92024
27.42 nbRestartNogoods=59
27.42 => wckTime=26.534 cpuTime=26.26 mem=20M728
41.08
41.08 search
41.08 run=20 nbConstraintChecks=25185415 nbValidityChecks=1205827 nbPropagations=1319284 nbRevisions=2731434
41.08 nbUselessRevisions=1170300 nbAssignments=111453 nbFailedAssignments=9261 nbBacktracks=100019
41.08 nbVisitedNodes=133880 nbRestartNogoods=64
41.08 => wckTime=40.194 cpuTime=39.85 mem=20M728
58.63
58.63 search
58.63 run=21 nbConstraintChecks=36549953 nbValidityChecks=1717577 nbPropagations=1871201 nbRevisions=3751896
58.63 nbUselessRevisions=1536031 nbAssignments=165046 nbFailedAssignments=12873 nbBacktracks=149897
58.63 nbVisitedNodes=196284 nbRestartNogoods=67
58.63 => wckTime=57.743 cpuTime=57.32 mem=20M728
97.07
97.07 search
97.07 run=22 nbConstraintChecks=62433043 nbValidityChecks=2688718 nbPropagations=2746265 nbRevisions=5329332
97.07 nbUselessRevisions=2093374 nbAssignments=245871 nbFailedAssignments=18774 nbBacktracks=224734
97.07 nbVisitedNodes=293755 nbRestartNogoods=72
97.07 => wckTime=96.188 cpuTime=95.58 mem=20M728
157.14
157.14 search
157.14 run=23 nbConstraintChecks=103702834 nbValidityChecks=4090530 nbPropagations=4054295 nbRevisions=7714319
157.14 nbUselessRevisions=2956887 nbAssignments=344459 nbFailedAssignments=25273 nbBacktracks=316607
157.14 nbVisitedNodes=413040 nbRestartNogoods=75
157.14 => wckTime=156.257 cpuTime=155.37 mem=20M728
157.14
157.14 global
157.14 nbConstraintChecks=103702834 nbValidityChecks=4090530 nbPropagations=4054511 nbRevisions=7714319
157.14 nbUselessRevisions=2956887 nbRestartNogoods=75 solvingWckTime=156.259 solvingCpuTime=155.37 expiredTime=no
157.14 totalExploration=no nbFoundSolutions=1 globalCpuTime=155.82
157.14 => wckTime=156.825 cpuTime=155.76 mem=20M728
157.15
157.15 s SATISFIABLE
157.15 v 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0
157.15 d NODES 344459
157.15 d CHECKS 103702834
157.15
157.15 totalWckTime=156.908 totalCpuTime=155.82
runsolver version 3.1.3 (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w ROOT/results/node4/watcher-210652-1168075103 -o ROOT/results/node4/solver-210652-1168075103 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210652-1168075103/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.64 1.80 1.85 3/93 12123
/proc/meminfo: memFree=1048768/2055920 swapFree=4191880/4192956
[pid=12122] ppid=12120 vsize=18540 CPUtime=0
/proc/12122/stat : 12122 (runsolver) R 12120 12122 11997 0 -1 4194368 17 0 0 0 0 0 0 0 19 0 1 0 155905863 18984960 279 18446744073709551615 4194304 4267372 548682068960 18446744073709551615 259913215271 0 2147483391 4096 24578 0 0 0 17 1 0 0
/proc/12122/statm: 4635 279 244 17 0 2626 0
[startup+0.102869 s]
/proc/loadavg: 1.64 1.80 1.85 3/93 12123
/proc/meminfo: memFree=1048768/2055920 swapFree=4191880/4192956
[pid=12122] ppid=12120 vsize=914988 CPUtime=0.08
/proc/12122/stat : 12122 (java) R 12120 12122 11997 0 -1 0 2979 0 1 0 7 1 0 0 20 0 8 0 155905863 936947712 2725 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4072937049 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12122/statm: 228747 2725 1423 14 0 215242 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 914988
[startup+0.510908 s]
/proc/loadavg: 1.64 1.80 1.85 3/93 12123
/proc/meminfo: memFree=1048768/2055920 swapFree=4191880/4192956
[pid=12122] ppid=12120 vsize=915328 CPUtime=0.49
/proc/12122/stat : 12122 (java) R 12120 12122 11997 0 -1 0 6619 0 1 0 45 4 0 0 19 0 8 0 155905863 937295872 6358 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073542825 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12122/statm: 228832 6358 2144 14 0 215302 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 915328
[startup+1.33398 s]
/proc/loadavg: 1.64 1.80 1.85 3/100 12130
/proc/meminfo: memFree=1021960/2055920 swapFree=4191880/4192956
[pid=12122] ppid=12120 vsize=915460 CPUtime=1.3
/proc/12122/stat : 12122 (java) R 12120 12122 11997 0 -1 0 9460 0 1 0 123 7 0 0 24 0 8 0 155905863 937431040 9198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073847839 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12122/statm: 228865 9198 2532 14 0 215335 0
[pid=12122/tid=12124] ppid=12120 vsize=915460 CPUtime=0.03
/proc/12122/task/12124/stat : 12124 (java) S 12120 12122 11997 0 -1 64 216 0 0 0 3 0 0 0 16 0 8 0 155905867 937431040 9198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12125] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12125/stat : 12125 (java) S 12120 12122 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155905868 937431040 9198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12126] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12126/stat : 12126 (java) S 12120 12122 11997 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155905868 937431040 9198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12127] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12127/stat : 12127 (java) S 12120 12122 11997 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155905871 937431040 9198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12128] ppid=12120 vsize=915460 CPUtime=0.22
/proc/12122/task/12128/stat : 12128 (java) S 12120 12122 11997 0 -1 64 386 0 0 0 21 1 0 0 15 0 8 0 155905871 937431040 9198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12129] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12129/stat : 12129 (java) S 12120 12122 11997 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155905871 937431040 9198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12130] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12130/stat : 12130 (java) S 12120 12122 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155905871 937431040 9198 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 1.3
Current children cumulated vsize (KiB) 915460
[startup+2.98714 s]
/proc/loadavg: 1.64 1.80 1.85 3/100 12130
/proc/meminfo: memFree=1021320/2055920 swapFree=4191880/4192956
[pid=12122] ppid=12120 vsize=915460 CPUtime=2.94
/proc/12122/stat : 12122 (java) R 12120 12122 11997 0 -1 0 9644 0 1 0 286 8 0 0 25 0 8 0 155905863 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073819619 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12122/statm: 228865 9380 2532 14 0 215335 0
[pid=12122/tid=12124] ppid=12120 vsize=915460 CPUtime=0.03
/proc/12122/task/12124/stat : 12124 (java) S 12120 12122 11997 0 -1 64 216 0 0 0 3 0 0 0 17 0 8 0 155905867 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12125] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12125/stat : 12125 (java) S 12120 12122 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155905868 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12126] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12126/stat : 12126 (java) S 12120 12122 11997 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155905868 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12127] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12127/stat : 12127 (java) S 12120 12122 11997 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155905871 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12128] ppid=12120 vsize=915460 CPUtime=0.25
/proc/12122/task/12128/stat : 12128 (java) S 12120 12122 11997 0 -1 64 400 0 0 0 24 1 0 0 15 0 8 0 155905871 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12129] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12129/stat : 12129 (java) S 12120 12122 11997 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155905871 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12130] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12130/stat : 12130 (java) S 12120 12122 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155905871 937431040 9380 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 2.94
Current children cumulated vsize (KiB) 915460
[startup+6.27045 s]
/proc/loadavg: 1.67 1.81 1.85 3/100 12130
/proc/meminfo: memFree=1019336/2055920 swapFree=4191880/4192956
[pid=12122] ppid=12120 vsize=915460 CPUtime=6.19
/proc/12122/stat : 12122 (java) R 12120 12122 11997 0 -1 0 10169 0 1 0 611 8 0 0 25 0 8 0 155905863 937431040 9903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073652220 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12122/statm: 228865 9903 2532 14 0 215335 0
[pid=12122/tid=12124] ppid=12120 vsize=915460 CPUtime=0.03
/proc/12122/task/12124/stat : 12124 (java) S 12120 12122 11997 0 -1 64 216 0 0 0 3 0 0 0 16 0 8 0 155905867 937431040 9903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12125] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12125/stat : 12125 (java) S 12120 12122 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155905868 937431040 9903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12126] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12126/stat : 12126 (java) S 12120 12122 11997 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155905868 937431040 9903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12127] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12127/stat : 12127 (java) S 12120 12122 11997 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155905871 937431040 9903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12128] ppid=12120 vsize=915460 CPUtime=0.25
/proc/12122/task/12128/stat : 12128 (java) S 12120 12122 11997 0 -1 64 402 0 0 0 24 1 0 0 16 0 8 0 155905871 937431040 9903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12129] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12129/stat : 12129 (java) S 12120 12122 11997 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155905871 937431040 9903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12130] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12130/stat : 12130 (java) S 12120 12122 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155905871 937431040 9903 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 915460
[startup+12.7571 s]
/proc/loadavg: 1.70 1.81 1.86 3/100 12130
/proc/meminfo: memFree=1018888/2055920 swapFree=4191880/4192956
[pid=12122] ppid=12120 vsize=915460 CPUtime=12.62
/proc/12122/stat : 12122 (java) R 12120 12122 11997 0 -1 0 10177 0 1 0 1253 9 0 0 25 0 8 0 155905863 937431040 9910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073680594 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12122/statm: 228865 9910 2532 14 0 215335 0
[pid=12122/tid=12124] ppid=12120 vsize=915460 CPUtime=0.03
/proc/12122/task/12124/stat : 12124 (java) S 12120 12122 11997 0 -1 64 216 0 0 0 3 0 0 0 16 0 8 0 155905867 937431040 9910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12125] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12125/stat : 12125 (java) S 12120 12122 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155905868 937431040 9910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12126] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12126/stat : 12126 (java) S 12120 12122 11997 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155905868 937431040 9910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12127] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12127/stat : 12127 (java) S 12120 12122 11997 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155905871 937431040 9910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12128] ppid=12120 vsize=915460 CPUtime=0.26
/proc/12122/task/12128/stat : 12128 (java) S 12120 12122 11997 0 -1 64 403 0 0 0 25 1 0 0 17 0 8 0 155905871 937431040 9910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12129] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12129/stat : 12129 (java) S 12120 12122 11997 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155905871 937431040 9910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12130] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12130/stat : 12130 (java) S 12120 12122 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155905871 937431040 9910 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 915460
[startup+25.6191 s]
/proc/loadavg: 1.76 1.82 1.86 3/100 12130
/proc/meminfo: memFree=1018824/2055920 swapFree=4191880/4192956
[pid=12122] ppid=12120 vsize=915460 CPUtime=25.43
/proc/12122/stat : 12122 (java) R 12120 12122 11997 0 -1 0 10182 0 1 0 2534 9 0 0 25 0 8 0 155905863 937431040 9915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073651368 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12122/statm: 228865 9915 2532 14 0 215335 0
[pid=12122/tid=12124] ppid=12120 vsize=915460 CPUtime=0.03
/proc/12122/task/12124/stat : 12124 (java) S 12120 12122 11997 0 -1 64 216 0 0 0 3 0 0 0 16 0 8 0 155905867 937431040 9915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12125] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12125/stat : 12125 (java) S 12120 12122 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155905868 937431040 9915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12126] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12126/stat : 12126 (java) S 12120 12122 11997 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155905868 937431040 9915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12127] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12127/stat : 12127 (java) S 12120 12122 11997 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155905871 937431040 9915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12128] ppid=12120 vsize=915460 CPUtime=0.26
/proc/12122/task/12128/stat : 12128 (java) S 12120 12122 11997 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 155905871 937431040 9915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12129] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12129/stat : 12129 (java) S 12120 12122 11997 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155905871 937431040 9915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12130] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12130/stat : 12130 (java) S 12120 12122 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155905871 937431040 9915 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 915460
[startup+51.2396 s]
/proc/loadavg: 1.84 1.83 1.86 3/100 12130
/proc/meminfo: memFree=1018824/2055920 swapFree=4191880/4192956
[pid=12122] ppid=12120 vsize=915460 CPUtime=50.92
/proc/12122/stat : 12122 (java) R 12120 12122 11997 0 -1 0 10188 0 1 0 5083 9 0 0 25 0 8 0 155905863 937431040 9921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073479193 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12122/statm: 228865 9921 2532 14 0 215335 0
[pid=12122/tid=12124] ppid=12120 vsize=915460 CPUtime=0.03
/proc/12122/task/12124/stat : 12124 (java) S 12120 12122 11997 0 -1 64 216 0 0 0 3 0 0 0 16 0 8 0 155905867 937431040 9921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12125] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12125/stat : 12125 (java) S 12120 12122 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155905868 937431040 9921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12126] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12126/stat : 12126 (java) S 12120 12122 11997 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155905868 937431040 9921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12127] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12127/stat : 12127 (java) S 12120 12122 11997 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155905871 937431040 9921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12128] ppid=12120 vsize=915460 CPUtime=0.26
/proc/12122/task/12128/stat : 12128 (java) S 12120 12122 11997 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 155905871 937431040 9921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12129] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12129/stat : 12129 (java) S 12120 12122 11997 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155905871 937431040 9921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12130] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12130/stat : 12130 (java) S 12120 12122 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155905871 937431040 9921 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 915460
[startup+102.478 s]
/proc/loadavg: 1.93 1.85 1.86 3/100 12130
/proc/meminfo: memFree=1018824/2055920 swapFree=4191880/4192956
[pid=12122] ppid=12120 vsize=915460 CPUtime=101.91
/proc/12122/stat : 12122 (java) R 12120 12122 11997 0 -1 0 10194 0 1 0 10182 9 0 0 25 0 8 0 155905863 937431040 9927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4073652983 0 4 0 23759 18446744073709551615 0 0 17 1 0 0
/proc/12122/statm: 228865 9927 2532 14 0 215335 0
[pid=12122/tid=12124] ppid=12120 vsize=915460 CPUtime=0.03
/proc/12122/task/12124/stat : 12124 (java) S 12120 12122 11997 0 -1 64 216 0 0 0 3 0 0 0 16 0 8 0 155905867 937431040 9927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 0 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12125] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12125/stat : 12125 (java) S 12120 12122 11997 0 -1 64 11 0 0 0 0 0 0 0 16 0 8 0 155905868 937431040 9927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12126] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12126/stat : 12126 (java) S 12120 12122 11997 0 -1 64 5 0 0 0 0 0 0 0 15 0 8 0 155905868 937431040 9927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12127] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12127/stat : 12127 (java) S 12120 12122 11997 0 -1 64 0 0 0 0 0 0 0 0 18 0 8 0 155905871 937431040 9927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12128] ppid=12120 vsize=915460 CPUtime=0.26
/proc/12122/task/12128/stat : 12128 (java) S 12120 12122 11997 0 -1 64 403 0 0 0 25 1 0 0 16 0 8 0 155905871 937431040 9927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12129] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12129/stat : 12129 (java) S 12120 12122 11997 0 -1 64 1 0 0 0 0 0 0 0 19 0 8 0 155905871 937431040 9927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
[pid=12122/tid=12130] ppid=12120 vsize=915460 CPUtime=0
/proc/12122/task/12130/stat : 12130 (java) S 12120 12122 11997 0 -1 64 1 0 0 0 0 0 0 0 15 0 8 0 155905871 937431040 9927 18446744073709551615 134512640 134570532 4294956464 18446744073709551615 4294960144 0 4 0 23759 0 0 0 -1 1 0 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 915460
Child status: 0
Real time (s): 157.185
CPU time (s): 156.343
CPU user time (s): 156.233
CPU system time (s): 0.109983
CPU usage (%): 99.4643
Max. virtual memory (cumulated for all children) (KiB): 915460
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 156.233
system time used= 0.109983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10289
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= 4377
involuntary context switches= 6615
runsolver used 0.149977 s user time and 0.558915 s system time
The end
Begin job on node4 on Sat Jan 6 09:18:23 UTC 2007
IDJOB= 210652
IDBENCH= 4636
FILE ID= node4/210652-1168075103
PBS_JOBID= 3475793
Free space on /tmp= 66301 MiB
BENCH NAME= HOME/pub/bench/CPAI06/pseudoSeries/fpga/fpga-12-12.xml
COMMAND LINE= java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210652-1168075103/unknown.xml
RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-210652-1168075103 -o ROOT/results/node4/solver-210652-1168075103 -C 1800 -M 900 java -Xms756M -Xmx756M -XX:PermSize=10m -XX:MaxPermSize=10m -jar abscon109.jar mac.xml 1 XSax /tmp/evaluation/210652-1168075103/unknown.xml
META MD5SUM SOLVER= 9b91398c18c9fe54a6c4cfb50dadce08
MD5SUM BENCH= cb3185f95855e469231187fc6a83b09c
RANDOM SEED= 369653117
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: 1049248 kB
Buffers: 73832 kB
Cached: 667916 kB
SwapCached: 268 kB
Active: 553172 kB
Inactive: 357464 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1049248 kB
SwapTotal: 4192956 kB
SwapFree: 4191880 kB
Dirty: 1840 kB
Writeback: 0 kB
Mapped: 197156 kB
Slab: 80428 kB
Committed_AS: 4541428 kB
PageTables: 2676 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= 66301 MiB
End job on node4 on Sat Jan 6 09:21:00 UTC 2007